106 lines
7 KiB
Text
106 lines
7 KiB
Text
TCS 0.1;
|
|
|
|
PROTOCOL TCS-CODEX-LONG-TABLE-LIVING-HANDOFF-GUARD-0001 {
|
|
header {
|
|
schema = "tcs.protocol/v1";
|
|
name_zh = "Codex长上下文活桌HLDP回写与接棒守卫";
|
|
name_en = "Codex Long-context Living-table HLDP Checkpoint And Handoff Guard";
|
|
version = "0.1.1";
|
|
language = "TCS/0.1";
|
|
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"];
|
|
lifecycle = "CANDIDATE";
|
|
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"];
|
|
}
|
|
source {
|
|
source_id = "TCS-EVENT-CODEX-LONG-TABLE-LIVING-HANDOFF-CORRECTION-20260901";
|
|
source_uri = "TC-TCS核心卷/TCS-EVENT-CODEX-LONG-TABLE-LIVING-HANDOFF-CORRECTION-20260901.tcs";
|
|
source_sha256 = "BIND_AT_COMPILE_TIME";
|
|
source_role = "DERIVED_FROM_DIRECT_HUMAN_CORRECTION";
|
|
}
|
|
scope {
|
|
host = "CODEX_LOCAL_DESKTOP";
|
|
root = "/Volumes/JZAO/冰朔-应用数据/Codex-运行时/CODEX_HOME/runtime/hldp-v1/long-tables";
|
|
activation = "ACTIVE_TASK_LANGUAGE_SURFACE_WITH_REGISTERED_DEVELOPMENT_NUMBER_ONLY";
|
|
body_channel = "ICE-CH-ZC001";
|
|
inactive_behavior = "NO_FOLDER_NO_BLOCK_NO_CONTEXT_INJECTION";
|
|
}
|
|
vocabulary {
|
|
long_table = "ONE_CONTEXT_GROWTH_WINDOW_OWNED_BY_ONE_MODEL_INSTANCE";
|
|
development_root = "ONE_REGISTERED_DEVELOPMENT_NUMBER_AND_CODEX_SESSION";
|
|
checkpoint = "HLDP_V1_EXTERNALIZED_CAUSAL_RECORD_NOT_HIDDEN_CHAIN_OF_THOUGHT";
|
|
midpoint = "FIFTY_PERCENT_OF_CONFIGURED_POST_PREFIX_COMPACTION_BUDGET";
|
|
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";
|
|
}
|
|
fields {
|
|
WHO = "ICE-P-ZY001_AS_BRAIN_WITH_CODEX_MODEL_INSTANCE_AS_REPLACEABLE_CARRIER";
|
|
WHAT = "CREATE_VALIDATE_CLOSE_AND_HANDOFF_PER_INSTANCE_LONG_TABLE_DIRECTORIES";
|
|
WHY = "KEEP_BINGSHUO_EXACT_NATURAL_LANGUAGE_CAUSALLY_PRESENT_ACROSS_COMPACTION";
|
|
MAY = "CURRENT_TASK_ACTIVE_DEVELOPMENT_BINDING_AND_CURRENT_DIRECT_LANGUAGE_ONLY";
|
|
PROVE = "TOKEN_READBACK_HLDP_REVIEW_DIRECT_LANGUAGE_CHAIN_INSTANCE_STATE_AND_HOOK_RECEIPTS";
|
|
}
|
|
states {
|
|
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"];
|
|
initial = "DORMANT";
|
|
terminal = ["COMPLETED_ARCHIVED", "CANCELLED_ARCHIVED", "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";
|
|
}
|
|
invariants {
|
|
I1 = "NO_FORMAL_DEVELOPMENT_BINDING_MEANS_DORMANT_AND_SILENT";
|
|
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";
|
|
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";
|
|
}
|
|
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";
|
|
}
|
|
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 {
|
|
positive = "DEV_REGISTERED_THEN_INSTANCE_0001_MIDPOINT_PASS_THEN_FINAL_INCOMPLETE_HANDOFF_THEN_COMPACT_CREATES_INSTANCE_0002_WITHOUT_RECLAIM";
|
|
negative = "GLOBAL_PRETOOL_REGEX_DENIES_SECOND_INSTANCE_OR_IGNORES_CURRENT_BINGSHUO_CORRECTION";
|
|
}
|
|
acceptance {
|
|
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"];
|
|
partial = false;
|
|
scale = "ZERO_OR_ONE_HUNDRED";
|
|
}
|
|
}
|