技术摘要：环境释放系统中的合唱掩蔽（Choric Masking）

问题陈述

本文探讨了正式的“不可观测性”与实际的“可读性”之间的差距。许多系统要求一个隐藏的坐标（一个“受保护的位点”，如角色、隶属关系或状态）保持不被观测，同时系统执行可见的动作序列（进入、等待、修正、转发）。虽然该受保护的坐标不会显式地打印在公共表面上，但统计痕迹——由时序、重复、犹豫、路由、角色失配和观众注意力所产生的痕迹——可能使隐藏的位点变得可读。

核心问题在于：两个隐藏位点所诱发的痕迹律（trace laws），对于一个拥有有限测试集、有限注意力预算以及潜在自适应响应策略的观众而言，是否是不可区分的。本文认为，传统的密码学不可区分性（基于协议转录）和差分隐私（基于数据库管理员）对于“环境释放系统”（其中关注的通道是公共编排本身）是不充分的。

方法论

作者开发了一种基于凸几何和有限概率论的有限痕迹演算（finite trace calculus）。该方法论建立在以下支柱之上：

1. 有限阶段化环境（Finite Staged Environments）： 系统被建模为一个包含隐藏位点 ($\Theta$)、可见角色 ($R$)、状态空间 ($S$)、动作 ($A$)、观测值 ($Y$) 以及**范数门（norm gate, $N$）**的元组，该门由角色在给定历史下的容许动作决定。
2. 痕迹多胞形（Trace Polytopes）： 对于固定的时界 $T$，由特定隐藏位点诱导的所有容许公共痕迹集合构成一个凸多胞形（即合唱包络/choric hull）。该包络代表了用于掩蔽特定位点的容许行为的“合唱”。
3. 作为测量算子的观众（Audience as Measurement Operators）： 观众被定义为并非全知全能的观察者，而是一类应用于痕迹的有限测试 ($F_T$)。系统的安全性通过两个位点在这些测试下的投影多胞形之间的距离来衡量。
4. 注意力透镜（Attention Lenses）： 模型引入了注意力透镜（马尔可夫核），在痕迹到达观察者之前对其进行稀疏化处理（例如通过注视限制、停留时间或记忆压缩）。这被视为一个核扩张问题，即使在全量痕迹中存在的残余，也可能在投影空间中消失。
5. 债务与压力动力学（Debt and Pressure Dynamics）： 对于重复交互，论文引入了一个**合唱风险债务（choric risk debt）**变量。它追踪未能被定位的未解决残余。模型分析了这种债务如何驱动“广度”（选择更多候选者）和“稀释”（降低每个候选者的注意力），而无需增加对原始携带者的危害。

核心贡献

1. 合唱掩蔽与非奇异性

论文将合唱掩蔽（choric masking）定义为非不可见性，而是非奇异性（non-singularity）。当一个位点的痕迹律位于由其他位点、角色或群体生成的容许痕迹的凸包内（或附近）时，该位点即被掩蔽。

• 定理 8.1（测量-多胞形等价性）： 对于有限观众，完美的掩蔽等价于迹律投影多胞形的交集。
• 定理 14.5（凸合唱定理）： 两个位点完美掩蔽的充要条件是它们的合唱包络相交。

2. 不可区分性的有限证书

该演算提供了用于安全声明的构造性、有限维证书：

• 分离证书（Separation Certificates）： 如果掩蔽失败，则存在一个分离超平面（一个有界的公共得分）来区分不同的位点。
• 残余定理（Theorem 15.1）： 如果存在泄漏，则存在一个携带该泄漏的有限痕迹模式（圆柱事件）。泄漏并非神秘现象；它由具体的姿态（gestures）承载。
• 定位证书（Localization Certificates）： 论文区分了“检测到残余”与“将其定位到特定层级”（如人、物体或群体）的区别。残余可能是可检测的，但如果它落在多个层级值的测量包络内，则可能是不可定位的。

3. 注意力与孔径效应

论文形式化了有限注意力如何改变安全性：

• 注意力过滤距离： 在全量痕迹中可见的残余，对于受限的观察者可能会消失。定理 11.7 提供了一个孔径界限（aperture bound），表明感知的残余与观察者的注视击中诊断坐标的概率成正比。
• 分裂对（Split Pairs）： 一对法则可能对全量痕迹观众暴露，但对注意力过滤后的观众实现完美掩蔽。

4. 发布后与联动房间动态

模型考虑了在初始门之后出现的残余：

• 负担诱导暴露（Burden-Induced Exposure）： 被携带的物体或状态可能会衰减或在下游“房间”中产生危害，从而缩小未来的剧本，即使第一个房间已被掩蔽，也会创造第二个暴露底线（定理 21.9）。
• 联动房间核算（Linked Room Accounting）： 论文提供了一种核算规则，用于区分第一房间残余与链路差异（定理 20.3）。

5. 重复未解决的压力与债务

其重要贡献之一是对未定位残余的重复交互进行的分析：

• 合唱风险债务（Choric Risk Debt）： 未解决的残余累积为债务变量 ($D_k$)。
• 外部化三分法（Theorem 18.20）： 当债务增加时，系统必须要么清除债务，要么定位来源，要么将风险外部化。
• 位移风险掩蔽（Displaced-Risk Masking）： 如果系统无法定位来源，它可能会扩大其选择范围（增加覆盖单元的大小 $m_k$）以管理债务。这会稀释注意力，从而降低对真实携带者的危害，但会增加非携带者的选择概率（假阳性）。定理 18.12 证明，在不进行定位的情况下增加广度，即使在房间压力上升时，也能使保证的携带者危害趋于零。

结果与理论界限

• 唯一姿态下界（Theorem 16.3）： 如果一个隐藏位点被迫执行一个他人无法以足够质量匹配的姿态（事件），则掩蔽是不可能的。暴露底线由可达质量区间的间隙决定。
• Fano 型定位界限（Theorem 8.6）： 为了保证以概率 $q$ 正确定位，观察通道必须携带互信息 $I(\Sigma; Z) \ge q \log m - \log 2$，其中 $m$ 是覆盖规模。
• Helly 证书（Theorem 10.10）： 对于 $k$ 个测量，可以通过检查测量包络的 $(k+1)$-次交集来认证一个共同掩码。
• 击败稀释所需的预算（Theorem 18.14）： 为了在大小为 $m$ 的覆盖单元中为每个携带者保证危害 $\zeta$，注意力预算必须随 $m$ 线性缩放。

意义与主张

该论文声称提供了一个有限、可检查且具组合性的框架，用于审计面向公众的系统。其意义在于：

1. 操作化隐私： 它超越了渐近性的口号，转向关于有限时界内受限观众能推断出什么的有限结论。
2. 概念分离： 它严谨地区分了残余的缺失、孔径之外的残余以及被位移到覆盖人群上的残余。
3. 可审计性： 每一个掩蔽断言都有一个有限的见证（耦合或包络交集），而每一个暴露断言都有一个公共携带者（分离测试）。
4. 制度设计： “债务定理”作为一种审计工具，表明：在没有定位证书的情况下，对未解决残余采取广泛反应，仅仅是将风险外部化到了覆盖人群中，而没有解决原始威胁。

作者断言，该理论并不假设恶意或罪责，而是侧重于痕迹律的统计分离。该演算旨在认证一个房间何时可以归因于一个残余，以及何时无法归因，从而确保压力要么被定位，要么被识别为位移。论文最后指出，一个系统只有在其可见语法能提供足够的覆盖，且其观众模型准确反映了实际感知内容时，才是安全的。