11 KiB
11 KiB
铸渊证据门提交检测协议 · 简体中文人类工程语言版
这是 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
- applies_to:ZCODE线全部工程提交类动作(打包/交付/安装/删除/版本库写)
为什么开始
- 来源
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
- 来源编号:BINGSHUO-DIRECT-EVIDENCE-GATE-MANDATE-20260827NIGHT
发生了什么变化
- 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
- T1:PENDING_SUBMIT->ELEMENTS_CHECKED:六件套齐全
- 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
- initial:PENDING_SUBMIT
准备怎样执行
这是非执行声明,没有动作图。
边界与异常处理
- 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
- I1:证据必须在JZAO盘内(盘外=不可审计=无效)
- 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
- E1:REJECTED_NO_EVIDENCE 六件缺一=猜的
怎样算完成
- 验收标准
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
- partial:否
- 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
- V1:submit命令六件套非空校验
下一次从哪里继续
源程序没有提供这一项,转换器不猜。
来源与校验
- 原生声明编号:
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
- partial:否
- 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
- E1:REJECTED_NO_EVIDENCE 六件缺一=猜的
- examples
examples- negative:裸跑zip无票号→hook exit2拦截(今晚v5v6v7三次事故在此形态下均无法发生)
examples.negative - positive:指南原文截图落盘sources/→submit携六件套→核查Agent五项PASS→zip执行→回执RE-xxxx
examples.positive
- negative:裸跑zip无票号→hook exit2拦截(今晚v5v6v7三次事故在此形态下均无法发生)
- 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
- MAY:通过证据门submit流程获得核查PASS后的工程提交
- 语言头
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
- 正本路径:TC-TCS核心卷/TCS-PROTOCOL-ZY001-EVIDENCE-GATE-0001.tcs
- 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
- I1:证据必须在JZAO盘内(盘外=不可审计=无效)
- 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
- applies_to:ZCODE线全部工程提交类动作(打包/交付/安装/删除/版本库写)
- 来源
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
- 来源编号:BINGSHUO-DIRECT-EVIDENCE-GATE-MANDATE-20260827NIGHT
- 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
- initial:PENDING_SUBMIT
- 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
- T1:PENDING_SUBMIT->ELEMENTS_CHECKED:六件套齐全
- 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
- V1:submit命令六件套非空校验
- 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
- audit_agent:自动唤起的确定性核查进程zy-evidence-verify
本页只改变阅读顺序,不改变 TCS/HLDP 语义。