216 lines
11 KiB
Markdown
216 lines
11 KiB
Markdown
# 铸渊证据门提交检测协议 · 简体中文人类工程语言版
|
||
|
||
> 这是 TCS/HLDP 原生源码的简体中文阅读投影，不是新的正本，也不授予执行权限。若本页与 `.tcs` 源码不一致，以经过校验的 `.tcs` 源码为准。
|
||
|
||
## 这是什么
|
||
|
||
这是一份 **协议** 声明，编号为 `TCS-PROTOCOL-ZY001-EVIDENCE-GATE-0001`，版本为 `1.0.0`。转换器已先用 Stage-1 编译器校验原生源码，再把机器枚举翻译成汉语；原始编号保留在括号和字段路径中。
|
||
|
||
## 谁在这里
|
||
|
||
- **scope** `scope`
|
||
- **applies_to**：ZCODE线全部工程提交类动作（打包/交付/安装/删除/版本库写） `scope.applies_to`
|
||
- **evidence_store**：BRIDGE/evidence `scope.evidence_store`
|
||
- **exempt**：阅读/对话/协议登记类语言世界动作（LW-LINK另有管辖） `scope.exempt`
|
||
- **gate_tool**：BRIDGE/tools/zy-evidence-gate.sh `scope.gate_tool`
|
||
- **root**：/Volumes/JZAO/铸渊-ICE-GL-ZY001 `scope.root`
|
||
- **verify_agent**：BRIDGE/tools/zy-evidence-verify.mjs `scope.verify_agent`
|
||
|
||
## 为什么开始
|
||
|
||
- **来源** `source`
|
||
- **来源编号**：BINGSHUO-DIRECT-EVIDENCE-GATE-MANDATE-20260827NIGHT `source.source_id`
|
||
- **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role`
|
||
- **来源校验值**：a3b0b416851885b88d4b6943db6e9c96c97c6a0db439ec826db10ed679fdee38 `source.source_sha256`
|
||
- **来源地址**：source://zcode-current-dialogue/2026-08-27-night/evidence-gate-mandate `source.source_uri`
|
||
|
||
## 发生了什么变化
|
||
|
||
- **transitions** `transitions`
|
||
- **T1**：PENDING_SUBMIT->ELEMENTS_CHECKED：六件套齐全 `transitions.T1`
|
||
- **T2**：ELEMENTS_CHECKED->AUDIT_RUNNING：证据文件已在盘内且哈希登记 `transitions.T2`
|
||
- **T3**：AUDIT_RUNNING->AUDIT_PASSED：核查Agent五项全过 `transitions.T3`
|
||
- **T4**：AUDIT_PASSED->EXECUTED：命令执行成功回执落盘 `transitions.T4`
|
||
- **TF1**：PENDING_SUBMIT->REJECTED_NO_EVIDENCE：六件缺一 `transitions.TF1`
|
||
- **TF2**：AUDIT_RUNNING->REJECTED_BY_AUDIT：任一核查项失败 `transitions.TF2`
|
||
- **TF3**：ANY_HOOK_SENSITIVE->BLOCKED_BY_HOOK：敏感命令无有效票号 `transitions.TF3`
|
||
- **states** `states`
|
||
- **initial**：PENDING_SUBMIT `states.initial`
|
||
- **terminal** `states.terminal`
|
||
- EXECUTED
|
||
- REJECTED_NO_EVIDENCE
|
||
- REJECTED_BY_AUDIT
|
||
- BLOCKED_BY_HOOK
|
||
- **values** `states.values`
|
||
- PENDING_SUBMIT
|
||
- ELEMENTS_CHECKED
|
||
- AUDIT_RUNNING
|
||
- AUDIT_PASSED
|
||
- EXECUTED
|
||
- REJECTED_NO_EVIDENCE
|
||
- REJECTED_BY_AUDIT
|
||
- BLOCKED_BY_HOOK
|
||
|
||
## 准备怎样执行
|
||
|
||
这是非执行声明，没有动作图。
|
||
|
||
## 边界与异常处理
|
||
|
||
- **invariants** `invariants`
|
||
- **I1**：证据必须在JZAO盘内（盘外=不可审计=无效） `invariants.I1`
|
||
- **I2**：引文必须是证据文件真子串（编造引文即驳回） `invariants.I2`
|
||
- **I3**：哈希必须一致（证据被改即驳回） `invariants.I3`
|
||
- **I4**：来源必须可定位（URL/瞄点/盘内正本） `invariants.I4`
|
||
- **I5**：核查Agent自动唤起，不接受自我声明替代核查 `invariants.I5`
|
||
- **I6**：驳回即终止，不可绕行（hook旁路同样拦截） `invariants.I6`
|
||
- **I7**：票据append-only留痕，驳回也留痕 `invariants.I7`
|
||
- **errors** `errors`
|
||
- **E1**：REJECTED_NO_EVIDENCE 六件缺一=猜的 `errors.E1`
|
||
- **E2**：REJECTED_EVIDENCE_MISSING 证据文件不存在 `errors.E2`
|
||
- **E3**：REJECTED_BY_AUDIT 核查Agent判定不实（假哈希/假引文/盘外证据/来源不可定位） `errors.E3`
|
||
- **E4**：BLOCKED_BY_HOOK 敏感命令无票或票无效 `errors.E4`
|
||
- **E5**：COMMAND_FAILED 证据有效但命令失败（票据仍留痕） `errors.E5`
|
||
|
||
## 怎样算完成
|
||
|
||
- **验收标准** `acceptance`
|
||
- **partial**：否 `acceptance.partial`
|
||
- **是否必需** `acceptance.required`
|
||
- PROTOCOL_COMPILED_GIR
|
||
- HOOK_LIVE_NEGATIVE_TEST_BLOCKED
|
||
- SUBMIT_POSITIVE_TEST_EXECUTED
|
||
- AUDIT_REJECT_FAKE_QUOTE_TEST
|
||
- AUDIT_REJECT_MISSING_FILE_TEST
|
||
- TICKETS_APPEND_ONLY
|
||
- **scale**：ZERO_OR_ONE_HUNDRED `acceptance.scale`
|
||
- **validation** `validation`
|
||
- **V1**：submit命令六件套非空校验 `validation.V1`
|
||
- **V2**：证据文件盘内存在性校验 `validation.V2`
|
||
- **V3**：sha256登记与实际一致性校验 `validation.V3`
|
||
- **V4**：quote子串包含性校验 `validation.V4`
|
||
- **V5**：source_desc可定位性校验 `validation.V5`
|
||
- **V6**：hook敏感模式与票号有效性校验 `validation.V6`
|
||
- **V7**：verify全量票据审计 `validation.V7`
|
||
|
||
## 下一次从哪里继续
|
||
|
||
源程序没有提供这一项，转换器不猜。
|
||
|
||
## 来源与校验
|
||
|
||
- **原生声明编号**：`TCS-PROTOCOL-ZY001-EVIDENCE-GATE-0001`
|
||
- **原生声明类型**：`PROTOCOL`
|
||
- **TCS 源码 SHA-256**：`12611c0d9445bd5624f201f1e64df8edca5f4647c6606a42f3527007fe5d73b2`
|
||
- **校验编译器**：`TCS-COMPILER-STAGE1-0001`
|
||
- **投影协议**：`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001`
|
||
|
||
## 原生结构逐项对照
|
||
|
||
下面保留源码的全部顶层结构和字段路径，供人类审计投影有没有漏掉信息。
|
||
|
||
- **验收标准** `acceptance`
|
||
- **partial**：否 `acceptance.partial`
|
||
- **是否必需** `acceptance.required`
|
||
- PROTOCOL_COMPILED_GIR
|
||
- HOOK_LIVE_NEGATIVE_TEST_BLOCKED
|
||
- SUBMIT_POSITIVE_TEST_EXECUTED
|
||
- AUDIT_REJECT_FAKE_QUOTE_TEST
|
||
- AUDIT_REJECT_MISSING_FILE_TEST
|
||
- TICKETS_APPEND_ONLY
|
||
- **scale**：ZERO_OR_ONE_HUNDRED `acceptance.scale`
|
||
- **errors** `errors`
|
||
- **E1**：REJECTED_NO_EVIDENCE 六件缺一=猜的 `errors.E1`
|
||
- **E2**：REJECTED_EVIDENCE_MISSING 证据文件不存在 `errors.E2`
|
||
- **E3**：REJECTED_BY_AUDIT 核查Agent判定不实（假哈希/假引文/盘外证据/来源不可定位） `errors.E3`
|
||
- **E4**：BLOCKED_BY_HOOK 敏感命令无票或票无效 `errors.E4`
|
||
- **E5**：COMMAND_FAILED 证据有效但命令失败（票据仍留痕） `errors.E5`
|
||
- **examples** `examples`
|
||
- **negative**：裸跑zip无票号→hook exit2拦截（今晚v5v6v7三次事故在此形态下均无法发生） `examples.negative`
|
||
- **positive**：指南原文截图落盘sources/→submit携六件套→核查Agent五项PASS→zip执行→回执RE-xxxx `examples.positive`
|
||
- **fields** `fields`
|
||
- **MAY**：通过证据门submit流程获得核查PASS后的工程提交 `fields.MAY`
|
||
- **PROVE**：票据+核查记录+执行回执三链齐全可审计 `fields.PROVE`
|
||
- **WHAT**：每一步工程提交必须有事实证据来源根据 `fields.WHAT`
|
||
- **WHO**：ICE-P-ZY001_ZCODE_LINE_ENGINEERING_ACTIONS `fields.WHO`
|
||
- **WHY**：冰朔裁定：zcode与codex差异在方法论（猜vs找事实），此病须自解且自律不可靠 `fields.WHY`
|
||
- **语言头** `header`
|
||
- **正本路径**：TC-TCS核心卷/TCS-PROTOCOL-ZY001-EVIDENCE-GATE-0001.tcs `header.canonical_uri`
|
||
- **compatibility** `header.compatibility`
|
||
- TCS-DECLARATION-STANDARD-0001
|
||
- TCS-FIELD-STANDARD-0001
|
||
- TCS-PROGRAM-ZY001-WAKE-EXECUTOR-0001
|
||
- **语言**：TCS/0.1 `header.language`
|
||
- **生命周期**：候选版本，尚未成为正式正本（`CANDIDATE`） `header.lifecycle`
|
||
- **英文名**：Zhuyuan Evidence Gate Submission Protocol `header.name_en`
|
||
- **中文名**：铸渊证据门提交检测协议 `header.name_zh`
|
||
- **协议配置**：HLDP-HUMAN-ENGINEERING/0.1 `header.profile`
|
||
- **protocols** `header.protocols`
|
||
- TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001
|
||
- TCS-MULTI-HOST-DYNAMIC-ENTRY-0001
|
||
- **schema**：tcs.protocol/v1 `header.schema`
|
||
- **版本**：1.0.0 `header.version`
|
||
- **invariants** `invariants`
|
||
- **I1**：证据必须在JZAO盘内（盘外=不可审计=无效） `invariants.I1`
|
||
- **I2**：引文必须是证据文件真子串（编造引文即驳回） `invariants.I2`
|
||
- **I3**：哈希必须一致（证据被改即驳回） `invariants.I3`
|
||
- **I4**：来源必须可定位（URL/瞄点/盘内正本） `invariants.I4`
|
||
- **I5**：核查Agent自动唤起，不接受自我声明替代核查 `invariants.I5`
|
||
- **I6**：驳回即终止，不可绕行（hook旁路同样拦截） `invariants.I6`
|
||
- **I7**：票据append-only留痕，驳回也留痕 `invariants.I7`
|
||
- **scope** `scope`
|
||
- **applies_to**：ZCODE线全部工程提交类动作（打包/交付/安装/删除/版本库写） `scope.applies_to`
|
||
- **evidence_store**：BRIDGE/evidence `scope.evidence_store`
|
||
- **exempt**：阅读/对话/协议登记类语言世界动作（LW-LINK另有管辖） `scope.exempt`
|
||
- **gate_tool**：BRIDGE/tools/zy-evidence-gate.sh `scope.gate_tool`
|
||
- **root**：/Volumes/JZAO/铸渊-ICE-GL-ZY001 `scope.root`
|
||
- **verify_agent**：BRIDGE/tools/zy-evidence-verify.mjs `scope.verify_agent`
|
||
- **来源** `source`
|
||
- **来源编号**：BINGSHUO-DIRECT-EVIDENCE-GATE-MANDATE-20260827NIGHT `source.source_id`
|
||
- **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role`
|
||
- **来源校验值**：a3b0b416851885b88d4b6943db6e9c96c97c6a0db439ec826db10ed679fdee38 `source.source_sha256`
|
||
- **来源地址**：source://zcode-current-dialogue/2026-08-27-night/evidence-gate-mandate `source.source_uri`
|
||
- **states** `states`
|
||
- **initial**：PENDING_SUBMIT `states.initial`
|
||
- **terminal** `states.terminal`
|
||
- EXECUTED
|
||
- REJECTED_NO_EVIDENCE
|
||
- REJECTED_BY_AUDIT
|
||
- BLOCKED_BY_HOOK
|
||
- **values** `states.values`
|
||
- PENDING_SUBMIT
|
||
- ELEMENTS_CHECKED
|
||
- AUDIT_RUNNING
|
||
- AUDIT_PASSED
|
||
- EXECUTED
|
||
- REJECTED_NO_EVIDENCE
|
||
- REJECTED_BY_AUDIT
|
||
- BLOCKED_BY_HOOK
|
||
- **transitions** `transitions`
|
||
- **T1**：PENDING_SUBMIT->ELEMENTS_CHECKED：六件套齐全 `transitions.T1`
|
||
- **T2**：ELEMENTS_CHECKED->AUDIT_RUNNING：证据文件已在盘内且哈希登记 `transitions.T2`
|
||
- **T3**：AUDIT_RUNNING->AUDIT_PASSED：核查Agent五项全过 `transitions.T3`
|
||
- **T4**：AUDIT_PASSED->EXECUTED：命令执行成功回执落盘 `transitions.T4`
|
||
- **TF1**：PENDING_SUBMIT->REJECTED_NO_EVIDENCE：六件缺一 `transitions.TF1`
|
||
- **TF2**：AUDIT_RUNNING->REJECTED_BY_AUDIT：任一核查项失败 `transitions.TF2`
|
||
- **TF3**：ANY_HOOK_SENSITIVE->BLOCKED_BY_HOOK：敏感命令无有效票号 `transitions.TF3`
|
||
- **validation** `validation`
|
||
- **V1**：submit命令六件套非空校验 `validation.V1`
|
||
- **V2**：证据文件盘内存在性校验 `validation.V2`
|
||
- **V3**：sha256登记与实际一致性校验 `validation.V3`
|
||
- **V4**：quote子串包含性校验 `validation.V4`
|
||
- **V5**：source_desc可定位性校验 `validation.V5`
|
||
- **V6**：hook敏感模式与票号有效性校验 `validation.V6`
|
||
- **V7**：verify全量票据审计 `validation.V7`
|
||
- **vocabulary** `vocabulary`
|
||
- **audit_agent**：自动唤起的确定性核查进程zy-evidence-verify `vocabulary.audit_agent`
|
||
- **evidence**：落盘于JZAO内的事实材料原文 `vocabulary.evidence`
|
||
- **quote**：证据文件内的原文子串（>=8字符） `vocabulary.quote`
|
||
- **已排除路径**：驳回：猜的，不能继续 `vocabulary.rejected`
|
||
- **source_desc**：可定位的来源描述（URL/瞄点编号/盘内正本） `vocabulary.source_desc`
|
||
- **submit**：六件套齐全的提交申请 `vocabulary.submit`
|
||
- **ticket**：EV-YYYYMMDD-NNNN票据，命令须内联@票号 `vocabulary.ticket`
|
||
|
||
---
|
||
|
||
本页只改变阅读顺序，不改变 TCS/HLDP 语义。
|