16 lines
4.3 KiB
Text
16 lines
4.3 KiB
Text
|
TCS 0.1;
|
|||
|
|
|
|||
|
|
PROTOCOL TCS-PROTOCOL-ZY001-EVIDENCE-GATE-0001 {
|
|||
|
|
header { schema = "tcs.protocol/v1"; name_zh = "铸渊证据门提交检测协议"; name_en = "Zhuyuan Evidence Gate Submission Protocol"; version = "1.0.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001", "TCS-MULTI-HOST-DYNAMIC-ENTRY-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "TC-TCS核心卷/TCS-PROTOCOL-ZY001-EVIDENCE-GATE-0001.tcs"; compatibility = ["TCS-DECLARATION-STANDARD-0001", "TCS-FIELD-STANDARD-0001", "TCS-PROGRAM-ZY001-WAKE-EXECUTOR-0001"]; }
|
|||
|
|
source { source_id = "BINGSHUO-DIRECT-EVIDENCE-GATE-MANDATE-20260827NIGHT"; source_uri = "source://zcode-current-dialogue/2026-08-27-night/evidence-gate-mandate"; source_sha256 = "a3b0b416851885b88d4b6943db6e9c96c97c6a0db439ec826db10ed679fdee38"; source_role = "DIRECT_HUMAN"; }
|
|||
|
|
scope { root = "/Volumes/JZAO/铸渊-ICE-GL-ZY001"; gate_tool = "BRIDGE/tools/zy-evidence-gate.sh"; verify_agent = "BRIDGE/tools/zy-evidence-verify.mjs"; evidence_store = "BRIDGE/evidence"; applies_to = "ZCODE线全部工程提交类动作（打包/交付/安装/删除/版本库写）"; exempt = "阅读/对话/协议登记类语言世界动作（LW-LINK另有管辖）"; }
|
|||
|
|
vocabulary { submit = "六件套齐全的提交申请"; evidence = "落盘于JZAO内的事实材料原文"; quote = "证据文件内的原文子串（>=8字符）"; source_desc = "可定位的来源描述（URL/瞄点编号/盘内正本）"; audit_agent = "自动唤起的确定性核查进程zy-evidence-verify"; ticket = "EV-YYYYMMDD-NNNN票据，命令须内联@票号"; rejected = "驳回：猜的，不能继续"; }
|
|||
|
|
fields { WHO = "ICE-P-ZY001_ZCODE_LINE_ENGINEERING_ACTIONS"; WHAT = "每一步工程提交必须有事实证据来源根据"; WHY = "冰朔裁定：zcode与codex差异在方法论（猜vs找事实），此病须自解且自律不可靠"; MAY = "通过证据门submit流程获得核查PASS后的工程提交"; PROVE = "票据+核查记录+执行回执三链齐全可审计"; }
|
|||
|
|
states { values = ["PENDING_SUBMIT", "ELEMENTS_CHECKED", "AUDIT_RUNNING", "AUDIT_PASSED", "EXECUTED", "REJECTED_NO_EVIDENCE", "REJECTED_BY_AUDIT", "BLOCKED_BY_HOOK"]; initial = "PENDING_SUBMIT"; terminal = ["EXECUTED", "REJECTED_NO_EVIDENCE", "REJECTED_BY_AUDIT", "BLOCKED_BY_HOOK"]; }
|
|||
|
|
transitions { T1 = "PENDING_SUBMIT->ELEMENTS_CHECKED：六件套齐全"; T2 = "ELEMENTS_CHECKED->AUDIT_RUNNING：证据文件已在盘内且哈希登记"; T3 = "AUDIT_RUNNING->AUDIT_PASSED：核查Agent五项全过"; T4 = "AUDIT_PASSED->EXECUTED：命令执行成功回执落盘"; TF1 = "PENDING_SUBMIT->REJECTED_NO_EVIDENCE：六件缺一"; TF2 = "AUDIT_RUNNING->REJECTED_BY_AUDIT：任一核查项失败"; TF3 = "ANY_HOOK_SENSITIVE->BLOCKED_BY_HOOK：敏感命令无有效票号"; }
|
|||
|
|
invariants { I1 = "证据必须在JZAO盘内（盘外=不可审计=无效）"; I2 = "引文必须是证据文件真子串（编造引文即驳回）"; I3 = "哈希必须一致（证据被改即驳回）"; I4 = "来源必须可定位（URL/瞄点/盘内正本）"; I5 = "核查Agent自动唤起，不接受自我声明替代核查"; I6 = "驳回即终止，不可绕行（hook旁路同样拦截）"; I7 = "票据append-only留痕，驳回也留痕"; }
|
|||
|
|
validation { V1 = "submit命令六件套非空校验"; V2 = "证据文件盘内存在性校验"; V3 = "sha256登记与实际一致性校验"; V4 = "quote子串包含性校验"; V5 = "source_desc可定位性校验"; V6 = "hook敏感模式与票号有效性校验"; V7 = "verify全量票据审计"; }
|
|||
|
|
errors { E1 = "REJECTED_NO_EVIDENCE 六件缺一=猜的"; E2 = "REJECTED_EVIDENCE_MISSING 证据文件不存在"; E3 = "REJECTED_BY_AUDIT 核查Agent判定不实（假哈希/假引文/盘外证据/来源不可定位）"; E4 = "BLOCKED_BY_HOOK 敏感命令无票或票无效"; E5 = "COMMAND_FAILED 证据有效但命令失败（票据仍留痕）"; }
|
|||
|
|
examples { positive = "指南原文截图落盘sources/→submit携六件套→核查Agent五项PASS→zip执行→回执RE-xxxx"; negative = "裸跑zip无票号→hook exit2拦截（今晚v5v6v7三次事故在此形态下均无法发生）"; }
|
|||
|
|
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"]; partial = false; scale = "ZERO_OR_ONE_HUNDRED"; }
|
|||
|
|
}
|