论文索引。
Papers · Full Index.
- published
ISA 路径协议 v1:面向高后果行动的运行时对齐结构
The ISA Path Protocol v1: A Runtime Alignment Structure for High-Consequence Action本文提出 ISA(内部结构化对齐)路径协议的第一版规范。我们论证:当 AI 从回答系统走向行动系统,安全证据必须从"输出是否合规"推进到"行动形成过程是否可被指认、归因、审计与前置约束"。协议以 PAAC 四要件为核心,给出运行时事件模型、…
- published
独立审计通道:让第三方在不信任行动主体时也能复核
Independent Audit Channels: Verification Without Trusting the Actor审计若由产生行动的同一主体书写,便退回到"自述"。本文给出一种追加只读、与行动主体解耦的审计通道设计,使外部第三方可以在不信任行动主体的前提下,对行动形成过程进行独立复核。我们讨论其在 ISA/PAAC 下的归因对接,以及对存储与隐私的工程…
- draft
PAAC 开放模式:可互操作的路径与约束描述格式
The Open PAAC Schema: An Interoperable Format for Paths and Constraints为让不同系统之间的路径、归因与约束可互操作,本文提出一个开放的 PAAC 描述模式(schema)。我们定义约束条目的稳定标识、路径分支的序列化表示,以及审计事件的最小字段集,并以参考实现演示跨实现的复核可行性。
- review
可证伪的安全宣称:把复核协议写进准入门槛
Falsifiable Safety Claims: Writing the Verification Protocol into Admission不可证伪的安全宣称在认识论上是空的。本文主张,进入高后果场景的系统,其安全宣称必须附带可证伪的复核协议——明确说明在什么条件下第三方可判定其为假——并把这种可证伪性本身写进准入门槛。我们给出与 ISA 形成证据相衔接的政策实现路径。