论文索引。
Papers · Full Index.
状态表示研究成熟度，是否公开访问需另行批准。
- 预印本
The ISA Path Protocol v1: A Runtime Alignment Structure for High-Consequence Action
ISA 路径协议 v1：面向高后果行动的运行时对齐结构本文提出 ISA（内部结构化对齐）路径协议的第一版规范。我们论证：当 AI 从回答系统走向行动系统，安全证据必须从“输出是否合规”推进到“行动形成过程是否可被指认、归因、审计与前置约束”。
- 预印本
Independent Audit Channels: Verification Without Trusting the Actor
独立审计通道：让第三方在不信任行动主体时也能复核审计者由产生行动的同一主体书写，便退回到“自述”。本文给出一种追加只读、与行动主体解耦的审计通道设计。
- 工作论文
Falsifiable Safety Claims: Writing the Verification Protocol into Admission
可证伪的安全宣称：把复核协议写进准入门槛不可证伪的安全宣称在认识论上是空的。本文主张，进入高后果场景的系统，其安全宣称必须附带可证伪的复核协议。