# 语义识别与意识指标的预先方法协议

2026-10-28，先于实现保存。下面是有限、确定的本站模型，只检查推理条件；不训练语言模型、不估计真实意识、不计算任何版本的Φ，也不复现COGITATE。所有结果精确枚举，无随机采样。

## A 形式观测与指称映射

三个符号a、b、c与三个对象圆、方、三角，候选世界为全部6个双射。形式观测只有符号序列a b c a；假定各符号独立且概率1/3，所有映射下序列概率均为1/81，形式观测不携带对象标签。比较四种额外约束：无锚点；a→圆；a→圆且b→方；a→圆且a→方（矛盾）。

检查：候选总数6；无锚点均有相同精确似然；一锚点剩2；两锚点剩1；矛盾约束剩0。额外锚点排除映射，不等于证明主体具备人类理解。此例只涉及本协议中外部指称的可识别性，不否认语言中的结构、推理或概念角色。

## B 信号跟随刺激还是报告条件

二元刺激条件S、报告要求Q。两个候选组织均产生报告R=S∧Q。组织A的候选信号N=S；组织B的候选信号N=S∧Q。枚举S、Q的四种组合。

检查：Q=1时两种组织的(N,R)一致；Q=0且S=1时N分别为1、0而R同为0；Q=0且S=0负控制均为(0,0)。S是实验条件，不是现象体验的真值；N也没有预先被定义为意识。无报告的差异可以区分这里的信号依赖，却不会自动识别体验，现实无报告操纵还须控制注意、任务负荷和推断有效性。

## C 失败预测与辅助前提

三个二元变量T、A、M分别表示候选理论条件、辅助机制条件、测量有效条件；只在这个确定模型中设可见结果O=T∧A∧M。枚举8种赋值。

检查：O=0后剩7种赋值；其中仍有T=1的赋值；若另有独立证据固定A=M=1，则O=0只允许T=0。

这不是给理论增加事后豁免：辅助条件应事先说明并接受独立检查。真实研究有噪声与统计不确定性，不能把此真值表直接当作对某项神经理论的反驳或保护。

## 保存与失败规则

共11项预定检查。保存全部映射、各约束下候选、精确似然、四种报告条件和八行前提表；保存本协议及实现SHA256。任何检查失败均停止“通过”报告，先检查实现与协议，不事后改动预定期望追随结果。交互页面只显示核验过的有限条件。