159 lines
8.1 KiB
JSON
159 lines
8.1 KiB
JSON
{
|
|
"compiled_from": {
|
|
"compiler_id": "TCS-COMPILER-STAGE1-0001",
|
|
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
|
|
"source_sha256": "6181df04003cbbac27729efef404356bacae04c75a67a4f3ba22e87677293b5c"
|
|
},
|
|
"declaration": {
|
|
"acceptance": {
|
|
"partial": false,
|
|
"required": [
|
|
"MODEL_CONTEXT_WINDOW_1050000_CONFIG_READBACK",
|
|
"AUTO_COMPACT_POST_PREFIX_BUDGET_READBACK",
|
|
"DORMANT_UNREGISTERED_TEST",
|
|
"MIDPOINT_REQUIRED_TEST",
|
|
"HLDP_REVIEW_PASS_AND_FAIL_TEST",
|
|
"FINAL_PRECOMPACT_BLOCK_TEST",
|
|
"COMPACT_AUTO_HANDOFF_TEST",
|
|
"DIRECT_LANGUAGE_REBASE_TEST",
|
|
"NO_RECLAIM_TEST",
|
|
"HOOK_TRUST_READBACK"
|
|
],
|
|
"scale": "ZERO_OR_ONE_HUNDRED"
|
|
},
|
|
"errors": {
|
|
"E1": "REGISTERED_TABLE_TOKEN_SOURCE_UNAVAILABLE_MARK_UNKNOWN_AND_DO_NOT_FAKE_WATERMARK",
|
|
"E2": "MIDPOINT_CHECKPOINT_INVALID_KEEP_REQUIRED_AND_REQUEST_MODEL_CORRECTION",
|
|
"E3": "FINAL_CHECKPOINT_INVALID_STOP_PRECOMPACT_AND_EXPOSE_EXACT_REPAIR_PATH",
|
|
"E4": "MULTIPLE_ACTIVE_INSTANCE_DIRECTORIES_FAIL_CLOSED_INSIDE_THIS_DEVELOPMENT_ONLY",
|
|
"E5": "DIRECT_LANGUAGE_CHAIN_CHANGED_MARK_RULE_REBASE_REQUIRED_WITHOUT_BLOCKING_HUMAN_INPUT",
|
|
"E6": "UNREGISTERED_DEVELOPMENT_REQUEST_MUST_NOT_CREATE_OR_CLAIM_A_TABLE",
|
|
"E7": "NON_JZAO_PERSISTENT_ROOT_FAILS_CLOSED_FOR_FORMAL_LONG_TABLE_ACTIVATION",
|
|
"E8": "TABLE_STORAGE_BUDGET_EXCEEDED_FAILS_CLOSED_INSIDE_THIS_DEVELOPMENT_ONLY"
|
|
},
|
|
"examples": {
|
|
"negative": "GLOBAL_PRETOOL_REGEX_DENIES_SECOND_INSTANCE_OR_IGNORES_CURRENT_BINGSHUO_CORRECTION",
|
|
"positive": "DEV_REGISTERED_THEN_INSTANCE_0001_MIDPOINT_PASS_THEN_FINAL_INCOMPLETE_HANDOFF_THEN_COMPACT_CREATES_INSTANCE_0002_WITHOUT_RECLAIM"
|
|
},
|
|
"fields": {
|
|
"MAY": "CURRENT_TASK_ACTIVE_DEVELOPMENT_BINDING_AND_CURRENT_DIRECT_LANGUAGE_ONLY",
|
|
"PROVE": "TOKEN_READBACK_HLDP_REVIEW_DIRECT_LANGUAGE_CHAIN_INSTANCE_STATE_AND_HOOK_RECEIPTS",
|
|
"WHAT": "CREATE_VALIDATE_CLOSE_AND_HANDOFF_PER_INSTANCE_LONG_TABLE_DIRECTORIES",
|
|
"WHO": "ICE-P-ZY001_AS_BRAIN_WITH_CODEX_MODEL_INSTANCE_AS_REPLACEABLE_CARRIER",
|
|
"WHY": "KEEP_BINGSHUO_EXACT_NATURAL_LANGUAGE_CAUSALLY_PRESENT_ACROSS_COMPACTION"
|
|
},
|
|
"header": {
|
|
"canonical_uri": "TC-TCS核心卷/TCS-CODEX-LONG-TABLE-LIVING-HANDOFF-GUARD-0001.tcs",
|
|
"compatibility": [
|
|
"TCS-COMPILER-STAGE1-0001",
|
|
"GIR/1",
|
|
"HLDP-v1.0",
|
|
"CODEX-HOOKS"
|
|
],
|
|
"language": "TCS/0.1",
|
|
"lifecycle": "CANDIDATE",
|
|
"name_en": "Codex Long-context Living-table HLDP Checkpoint And Handoff Guard",
|
|
"name_zh": "Codex长上下文活桌HLDP回写与接棒守卫",
|
|
"profile": "HLDP-HUMAN-ENGINEERING/0.1",
|
|
"protocols": [
|
|
"GLS-0400",
|
|
"GLS-0411",
|
|
"GLS-0836",
|
|
"GLS-0311",
|
|
"TCS-EVENT-CODEX-LONG-TABLE-LIVING-HANDOFF-CORRECTION-20260901",
|
|
"TCS-EVENT-CODEX-LONG-TABLE-JZAO-STORAGE-BOUNDARY-CORRECTION-20260901"
|
|
],
|
|
"schema": "tcs.protocol/v1",
|
|
"version": "0.1.1"
|
|
},
|
|
"invariants": {
|
|
"I1": "NO_FORMAL_DEVELOPMENT_BINDING_MEANS_DORMANT_AND_SILENT",
|
|
"I10": "CHANNEL_PERSONA_INSTANCE_DEVELOPMENT_AND_REALITY_AUTHORITY_IDENTITIES_REMAIN_DISTINCT",
|
|
"I11": "PRECOMPACT_MAY_STOP_COMPACTION_ONLY_FOR_AN_ACTIVE_REGISTERED_TABLE_MISSING_A_REQUIRED_FINAL_CHECKPOINT",
|
|
"I12": "COMPLETION_ARCHIVE_CANCELLATION_AND_HANDOFF_ARE_NOT_INTERCHANGEABLE",
|
|
"I13": "ALL_PERSISTENT_RUNTIME_TABLE_CHECKPOINT_STATE_LOG_AND_TEST_ARTIFACTS_MUST_RESOLVE_UNDER_VOLUMES_JZAO",
|
|
"I14": "ONE_DEVELOPMENT_ROOT_MUST_NOT_EXCEED_256_MIB_OR_2048_FILES_BY_DEFAULT",
|
|
"I15": "TOKEN_WATERMARK_SCANNING_READS_AT_MOST_A_BOUNDED_TRANSCRIPT_TAIL_AND_NEVER_COPIES_THE_FULL_TRANSCRIPT_INTO_EACH_TABLE",
|
|
"I2": "ONE_SESSION_MAY_HAVE_MULTIPLE_INSTANCE_DIRECTORIES_BUT_ONE_ACTIVE_INSTANCE_ONLY",
|
|
"I3": "A_HANDOFF_MARKED_INSTANCE_NEVER_REQUIRES_RECLAIM_OF_THE_SAME_DEVELOPMENT_NUMBER",
|
|
"I4": "USER_PROMPT_SUBMIT_IS_NEVER_BLOCKED_AND_CURRENT_DIRECT_LANGUAGE_ALWAYS_ADVANCES_THE_TABLE_RULE_REVISION",
|
|
"I5": "DIRECT_LANGUAGE_FULL_CONTENT_IS_REREAD_AT_CHECKPOINT_TIME_AND_ITS_CHAIN_HASH_IS_RECORDED",
|
|
"I6": "HLDP_NODES_MUST_PRESERVE_TRIGGER_EMERGENCE_LOCK_WHY_SOURCES_AND_REJECTED",
|
|
"I7": "PERSISTED_REASONING_MEANS_AUDITABLE_CAUSAL_JUDGMENT_NOT_PRIVATE_HIDDEN_MODEL_CHAIN_OF_THOUGHT",
|
|
"I8": "SUMMARY_HAS_NAVIGATION_AUTHORITY_ONLY",
|
|
"I9": "HOOK_MECHANISM_IS_FIXED_BUT_TABLE_CONTENT_THRESHOLDS_STATUS_AND_CORRECTIONS_ARE_LIVE_DATA"
|
|
},
|
|
"scope": {
|
|
"activation": "ACTIVE_TASK_LANGUAGE_SURFACE_WITH_REGISTERED_DEVELOPMENT_NUMBER_ONLY",
|
|
"body_channel": "ICE-CH-ZC001",
|
|
"host": "CODEX_LOCAL_DESKTOP",
|
|
"inactive_behavior": "NO_FOLDER_NO_BLOCK_NO_CONTEXT_INJECTION",
|
|
"root": "/Volumes/JZAO/冰朔-应用数据/Codex-运行时/CODEX_HOME/runtime/hldp-v1/long-tables"
|
|
},
|
|
"source": {
|
|
"source_id": "TCS-EVENT-CODEX-LONG-TABLE-LIVING-HANDOFF-CORRECTION-20260901",
|
|
"source_role": "DERIVED_FROM_DIRECT_HUMAN_CORRECTION",
|
|
"source_sha256": "BIND_AT_COMPILE_TIME",
|
|
"source_uri": "TC-TCS核心卷/TCS-EVENT-CODEX-LONG-TABLE-LIVING-HANDOFF-CORRECTION-20260901.tcs"
|
|
},
|
|
"states": {
|
|
"initial": "DORMANT",
|
|
"terminal": [
|
|
"COMPLETED_ARCHIVED",
|
|
"CANCELLED_ARCHIVED",
|
|
"FAILED_CLOSED_IN_REGISTERED_TABLE"
|
|
],
|
|
"values": [
|
|
"DORMANT",
|
|
"ACTIVE_BEFORE_MIDPOINT",
|
|
"MIDPOINT_CHECKPOINT_REQUIRED",
|
|
"ACTIVE_AFTER_MIDPOINT",
|
|
"FINAL_CHECKPOINT_REQUIRED",
|
|
"COMPLETED_ARCHIVED",
|
|
"INCOMPLETE_HANDOFF",
|
|
"CANCELLED_ARCHIVED",
|
|
"COMPACT_BLOCKED_MISSING_CHECKPOINT",
|
|
"FAILED_CLOSED_IN_REGISTERED_TABLE"
|
|
]
|
|
},
|
|
"transitions": {
|
|
"T1": "DORMANT->ACTIVE_BEFORE_MIDPOINT_WHEN_FORMAL_DEVELOPMENT_SURFACE_BINDS",
|
|
"T2": "ACTIVE_BEFORE_MIDPOINT->MIDPOINT_CHECKPOINT_REQUIRED_AT_GROWTH_RATIO_0_50",
|
|
"T3": "MIDPOINT_CHECKPOINT_REQUIRED->ACTIVE_AFTER_MIDPOINT_AFTER_HLDP_REVIEW_PASS",
|
|
"T4": "ACTIVE_AFTER_MIDPOINT->FINAL_CHECKPOINT_REQUIRED_AT_GROWTH_RATIO_0_90_OR_PRECOMPACT",
|
|
"T5": "FINAL_CHECKPOINT_REQUIRED->COMPLETED_ARCHIVED_WHEN_TASK_STATUS_COMPLETED",
|
|
"T6": "FINAL_CHECKPOINT_REQUIRED->INCOMPLETE_HANDOFF_WHEN_TASK_STATUS_INCOMPLETE_HANDOFF",
|
|
"T7": "FINAL_CHECKPOINT_REQUIRED->CANCELLED_ARCHIVED_WHEN_CURRENT_DIRECT_LANGUAGE_CANCELS",
|
|
"T8": "INCOMPLETE_HANDOFF->ACTIVE_BEFORE_MIDPOINT_ON_SESSION_START_COMPACT_WITH_NEW_INSTANCE_ID_AND_SAME_DEVELOPMENT_NUMBER",
|
|
"TF": "PRECOMPACT_WITHOUT_VALID_FINAL_CHECKPOINT->COMPACT_BLOCKED_MISSING_CHECKPOINT"
|
|
},
|
|
"validation": {
|
|
"V1": "READ_LATEST_TOKEN_COUNT_FROM_HOOK_TRANSCRIPT_PATH_WITH_SCHEMA_TOLERANCE",
|
|
"V2": "MEASURE_GROWTH_FROM_INSTANCE_BASELINE_AGAINST_CONFIGURED_POST_PREFIX_BUDGET",
|
|
"V3": "REVIEW_CHECKPOINT_WITH_CURRENT_HLDP_V1_VERIFIER_AND_CAUSAL_REVIEW",
|
|
"V4": "MATCH_DEVELOPMENT_SESSION_INSTANCE_PHASE_AND_DIRECT_LANGUAGE_CHAIN",
|
|
"V5": "VERIFY_MIDPOINT_AT_OR_AFTER_0_50_AND_FINAL_AT_OR_AFTER_0_90_OR_PRECOMPACT",
|
|
"V6": "VERIFY_COMPACT_CONTINUATION_CREATES_SUCCESSOR_LINK_WITHOUT_NEW_CLAIM",
|
|
"V7": "VERIFY_NEW_DIRECT_LANGUAGE_INVALIDATES_ONLY_STALE_CHECKPOINT_REVISION_NOT_THE_DEVELOPMENT_BINDING"
|
|
},
|
|
"vocabulary": {
|
|
"checkpoint": "HLDP_V1_EXTERNALIZED_CAUSAL_RECORD_NOT_HIDDEN_CHAIN_OF_THOUGHT",
|
|
"development_root": "ONE_REGISTERED_DEVELOPMENT_NUMBER_AND_CODEX_SESSION",
|
|
"final_watermark": "NINETY_PERCENT_OF_CONFIGURED_POST_PREFIX_COMPACTION_BUDGET",
|
|
"handoff": "NEXT_INSTANCE_CONTINUES_SAME_DEVELOPMENT_WITHOUT_RECLAIM",
|
|
"live_rule": "CURRENT_DIRECT_LANGUAGE_CAN_REBASE_THIS_TABLE_WITHOUT_RESTART",
|
|
"long_table": "ONE_CONTEXT_GROWTH_WINDOW_OWNED_BY_ONE_MODEL_INSTANCE",
|
|
"midpoint": "FIFTY_PERCENT_OF_CONFIGURED_POST_PREFIX_COMPACTION_BUDGET"
|
|
}
|
|
},
|
|
"executable": false,
|
|
"identity": {
|
|
"declaration_id": "TCS-CODEX-LONG-TABLE-LIVING-HANDOFF-GUARD-0001",
|
|
"declaration_kind": "PROTOCOL",
|
|
"language_version": "0.1"
|
|
},
|
|
"native_self_hosted": true,
|
|
"natural_language_is_typed_data": true,
|
|
"schema": "guanghu.declaration-gir/v1",
|
|
"unresolved_natural_language": false
|
|
}
|