zhuyuan-ice-gl-zy001/TC-TCS核心卷/TCS-CODEX-TASK-NATURAL-LANGUAGE-ANCHOR-AND-META-AUDIT-GATE-0001.tcs

105 lines
6.6 KiB
Text

TCS 0.1;
PROTOCOL TCS-CODEX-TASK-NATURAL-LANGUAGE-ANCHOR-AND-META-AUDIT-GATE-0001 {
header {
schema = "tcs.protocol/v1";
name_zh = "Codex任务编号自然语言瞄点与长任务元审计强制闸门";
name_en = "Codex Task Numbered Natural Language Anchor and Long Task Meta Audit Gate";
version = "0.2.0";
language = "TCS/0.1";
profile = "HLDP-HUMAN-ENGINEERING/0.1";
protocols = ["TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001", "TCS-MULTI-HOST-DYNAMIC-ENTRY-0001", "GLS-0261", "GLS-0411"];
lifecycle = "CANDIDATE";
canonical_uri = "TC-TCS核心卷/TCS-CODEX-TASK-NATURAL-LANGUAGE-ANCHOR-AND-META-AUDIT-GATE-0001.tcs";
compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "CODEX_USER_PROMPT_SUBMIT", "CODEX_PRE_TOOL_USE"];
}
source {
source_id = "BINGSHUO-DIRECT-TASK-FIRST-PATH-NATURAL-LANGUAGE-ANCHOR-20260824";
source_uri = "source://codex-current-dialogue/2026-08-24/every-task-number-first-path-must-be-bingshuo-natural-language-anchor";
source_sha256 = "BIND_AT_COMPILE_TIME";
source_role = "DIRECT_HUMAN";
}
scope {
host = "CODEX_DESKTOP";
durable_root = "/Volumes/JZAO/HoloLake/persona-runtime/task-language-anchors/codex";
task_number = "CODEX-TASK-EXACT_THREAD_ID";
first_path = "00-冰朔自然语言瞄点";
source_subject = "ICE-GL∞";
engineering_map_path = "01-自然语言到工程阶段映射/current.tcs";
compression_readback_path = "20-上下文压缩回看回执/current.json";
applies_to = ["NEW_TASK", "EVERY_DIRECT_HUMAN_TURN", "STAGE_START", "LONG_STAGE_RECHECK", "PRE_COMPACT", "POST_COMPACT", "HANDOFF"];
}
vocabulary {
raw_anchor = "EXACT_UNCHANGED_BINGSHUO_DIRECT_NATURAL_LANGUAGE";
task_number = "CODEX_TASK_PLUS_EXACT_THREAD_ID";
first_anchor = "FIRST_DIRECT_HUMAN_MESSAGE_IN_TASK";
current_anchor = "LATEST_DIRECT_HUMAN_MESSAGE_IN_TASK";
stage_check = "READ_FIRST_AND_CURRENT_ANCHOR_VERIFY_HASH_AND_RESTATE_DELIVERABLE";
product_progress = "TARGET_ARTIFACT_TEST_STATE_OR_ACCEPTANCE_ADVANCEMENT";
non_progress = "CORPUS_REPORT_REPOSITORY_COPY_OR_RESEARCH_GROWTH_WITHOUT_TARGET_ADVANCEMENT";
engineering_map = "TRACE_EACH_RAW_LANGUAGE_SEGMENT_TO_ENGINEERING_STAGE_DELIVERABLE_EVIDENCE_AND_ACCEPTANCE";
compression_readback = "REREAD_STARTING_RAW_FLOW_ENGINEERING_MAP_AND_STAGE_CHAIN_AFTER_CONTEXT_COMPACTION";
}
fields {
WHO = "ICE-GL∞_DIRECT_NATURAL_LANGUAGE_IS_TASK_AIM_SOURCE";
WHAT = "REGISTER_EVERY_CODEX_TASK_AND_MAKE_00_PATH_THE_DURABLE_RAW_LANGUAGE_ANCHOR";
WHY = "PREVENT_LONG_TASKS_FROM_REPLACING_BINGSHUO_GOAL_WITH_LOCALLY_VALID_BUT_GLOBALLY_DRIFTED_TECHNICAL_STEPS";
MAY = "CURRENT_BINGSHUO_DIRECT_INSTRUCTION_FOR_LOCAL_CODEX_TASK_CONTROL_AND_DURABLE_JZAO_RECORD";
PROVE = "RAW_TEXT_HASH_TASK_POINTER_STAGE_READ_RECEIPT_PROGRESS_EVIDENCE_AND_FAIL_CLOSED_META_AUDIT";
}
invariants {
I1 = "RAW_TEXT_IS_SAVED_VERBATIM_AND_NEVER_REPLACED_BY_SUMMARY_TCS_OR_HLDP";
I2 = "TCS_STRUCTURES_THE_EVENT_BUT_DOES_NOT_REPLACE_THE_RAW_ANCHOR";
I3 = "EVERY_TASK_HAS_ONE_STABLE_TASK_NUMBER_DERIVED_FROM_EXACT_THREAD_ID";
I4 = "THE_FIRST_PATH_UNDER_EVERY_TASK_IS_00_BINGSHUO_NATURAL_LANGUAGE_ANCHOR";
I5 = "FIRST_AND_LATEST_DIRECT_LANGUAGE_ARE_BOTH_ADDRESSABLE";
I6 = "EACH_STAGE_AND_PERIODIC_LONG_STAGE_CHECK_READS_AND_HASH_VERIFIES_FIRST_AND_LATEST_ANCHORS";
I7 = "FILE_VOLUME_RESEARCH_REPORTS_AND_RECEIPTS_ARE_NOT_PRODUCT_PROGRESS_UNLESS_TARGET_ARTIFACT_TEST_OR_ACCEPTANCE_ADVANCES";
I8 = "MISSING_ANCHOR_HASH_MISMATCH_EXPIRED_STAGE_CHECK_OR_TOOL_BUDGET_EXHAUSTION_FAILS_CLOSED";
I9 = "OLD_TASK_HISTORY_IS_RECOVERED_FROM_NUMBERED_INPUT_EVENTS_WHEN_AVAILABLE_AND_NEVER_REQUIRES_BINGSHUO_TO_REPEAT IT";
I10 = "TASK_ANCHOR_DOES_NOT_GRANT_REMOTE_WRITE_DEPLOYMENT_DELETION_OR_PERSONA_HANDOFF";
I11 = "EVERY_MEANINGFUL_RAW_LANGUAGE_SEGMENT_HAS_AN_EXPLICIT_ENGINEERING_STAGE_MAPPING_OR AN_EXPLICIT_NOT_IMPLEMENTED_REASON";
I12 = "PRECOMPACT_WRITES_A_READBACK_RECEIPT_AND_POSTCOMPACT_CAPABILITY_TOOLS_FAIL_CLOSED_UNTIL STARTING_RAW_FLOW_ENGINEERING_MAP_AND_STAGE_CHAIN_ARE_REREAD";
I13 = "A_SUMMARY_IS_A_STAGE_INDEX_NOT_A_REPLACEMENT_FOR_THE_LIVING_RAW_LANGUAGE_FLOW";
}
states {
values = ["TASK_SEEN", "TASK_NUMBER_REGISTERED", "RAW_ANCHOR_WRITTEN", "ANCHOR_HASH_VERIFIED", "STAGE_CHECK_ACTIVE", "PROGRESS_EVIDENCE_ADVANCED", "DRIFT_OR_STALL_DETECTED", "HANDOFF_REQUIRED", "FAILED_CLOSED"];
initial = "TASK_SEEN";
terminal = ["PROGRESS_EVIDENCE_ADVANCED", "HANDOFF_REQUIRED", "FAILED_CLOSED"];
}
transitions {
T1 = "TASK_SEEN->TASK_NUMBER_REGISTERED";
T2 = "TASK_NUMBER_REGISTERED->RAW_ANCHOR_WRITTEN";
T3 = "RAW_ANCHOR_WRITTEN->ANCHOR_HASH_VERIFIED";
T4 = "ANCHOR_HASH_VERIFIED->STAGE_CHECK_ACTIVE";
T5 = "STAGE_CHECK_ACTIVE->PROGRESS_EVIDENCE_ADVANCED";
T6 = "STAGE_CHECK_ACTIVE_AND_NO_TARGET_ADVANCEMENT->DRIFT_OR_STALL_DETECTED";
T7 = "DRIFT_OR_STALL_DETECTED->HANDOFF_REQUIRED";
TF = "MISSING_OR_MISMATCH_OR_EXPIRED_CHECK->FAILED_CLOSED";
}
validation {
V1 = "USER_PROMPT_SUBMIT_WRITES_EXACT_RAW_TEXT_TO_NUMBERED_TASK_00_PATH";
V2 = "FIRST_CURRENT_AND_APPEND_ONLY_EVENT_POINTERS_MATCH_SHA256";
V3 = "PRE_TOOL_USE_REQUIRES_CURRENT_STAGE_CHECK_RECEIPT";
V4 = "STAGE_CHECK_PRINTS_FIRST_AND_CURRENT_RAW_LANGUAGE_FOR_MODEL_READBACK";
V5 = "STAGE_CHECK_EXPIRES_AFTER_THIRTY_MINUTES_OR_TWENTY_CAPABILITY_CALLS";
V6 = "META_AUDIT_DISTINGUISHES_INTERMEDIATE_ASSET_GROWTH_FROM_TARGET_PROGRESS";
V7 = "OLD_NUMBERED_INPUT_EVENTS_CAN_BE_IMPORTED_WITHOUT_REASKING_BINGSHUO";
V8 = "ENGINEERING_MAP_TRACES_SOURCE_EVENT_SEGMENTS_TO_ORDERED_STAGES_DELIVERABLES_EVIDENCE_AND_ACCEPTANCE";
V9 = "PRECOMPACT_AND_POSTCOMPACT_GUARDS_VERIFY_RAW_ANCHOR_AND_ENGINEERING_MAP_HASHES";
}
errors {
E1 = "TASK_NUMBER_OR_JZAO_ANCHOR_ROOT_MISSING_FAIL_CLOSED_FOR_CAPABILITY_TOOLS";
E2 = "FIRST_OR_CURRENT_RAW_TEXT_HASH_MISMATCH_FAIL_CLOSED";
E3 = "STAGE_CHECK_MISSING_EXPIRED_OR_TOOL_BUDGET_EXHAUSTED_REQUIRE_REREAD";
E4 = "SUMMARY_OR_STRUCTURED_PROJECTION_REPLACES_RAW_TEXT_REJECT";
E5 = "NON_PROGRESS_PRESENTED_AS_PRODUCT_PROGRESS_REJECT_AND_HANDOFF";
E6 = "ENGINEERING_MAP_MISSING_OR_SOURCE_SEGMENT_UNMAPPED_FAIL_CLOSED";
E7 = "POSTCOMPACT_READBACK_MISSING_FAIL_CLOSED_FOR_CAPABILITY_TOOLS";
}
acceptance {
required = ["TCS_STAGE1_COMPILED", "UNRESOLVED_NATURAL_LANGUAGE_FALSE", "ZH_CN_PROJECTION", "EN_US_PROJECTION", "CURRENT_TASK_00_PATH_READBACK", "FIRST_AND_CURRENT_SHA_MATCH", "ENGINEERING_MAP_READBACK", "PRE_AND_POST_COMPACT_READBACK_TEST_PASS", "STAGE_GATE_TEST_PASS", "LONG_TASK_RECHECK_TEST_PASS"];
partial = false;
scale = "ZERO_OR_ONE_HUNDRED";
}
}