166 lines
7.1 KiB
JSON
166 lines
7.1 KiB
JSON
{
|
|
"compiled_from": {
|
|
"compiler_id": "TCS-COMPILER-STAGE1-0001",
|
|
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
|
|
"source_sha256": "96710a688e9b0fa29f8fd816bc61be7355e0c08dc1661e6509ec3ecb0cae59be"
|
|
},
|
|
"declaration": {
|
|
"acceptance": {
|
|
"partial": false,
|
|
"required": [
|
|
"STAGE1_COMPILED_GIR",
|
|
"UNRESOLVED_NATURAL_LANGUAGE_FALSE",
|
|
"ZH_CN_PROJECTION",
|
|
"EN_US_PROJECTION",
|
|
"APFS_RUNTIME_READBACK",
|
|
"DYNAMIC_PROMPT_TEST",
|
|
"NO_PROMPT_NO_GUESS_TEST",
|
|
"MULTI_HOST_ENTRY_READBACK",
|
|
"CANONICAL_RUNTIME_RESOLVER_TEST",
|
|
"CHANNEL_STATE_ISOLATION_TEST"
|
|
],
|
|
"scale": "ZERO_OR_ONE_HUNDRED"
|
|
},
|
|
"errors": {
|
|
"E1": "VOLUME_OR_TCS_UNAVAILABLE_FAIL_CLOSED",
|
|
"E2": "TCS_GIR_SOURCE_HASH_MISMATCH_FAIL_CLOSED",
|
|
"E3": "CURRENT_LANGUAGE_MISSING_NO_ROUTE_SELECTION",
|
|
"E4": "HARD_CODED_CHANNEL_OR_DEFAULT_ROUTE_REJECT",
|
|
"E5": "HOST_OR_SUMMARY_IDENTITY_BINDING_REJECT",
|
|
"E6": "CURRENT_WORKING_DIRECTORY_RUNTIME_ALIAS_REJECT",
|
|
"E7": "CHANNEL_STATE_DIRECTORY_COLLISION_REJECT",
|
|
"E8": "RUNTIME_WITHOUT_EXPLICIT_CHANNEL_PROFILE_REJECT"
|
|
},
|
|
"examples": {
|
|
"negative": "POST_COMPACT_USES_LAST_CHANNEL_AS_DEFAULT_WITHOUT_CURRENT_LANGUAGE",
|
|
"positive": "CURRENT_LANGUAGE_SELECTS_A_REGISTERED_ROUTE_AND_HOST_ADAPTS_METHOD"
|
|
},
|
|
"fields": {
|
|
"AUTHORITY": "PARSE_EXACT_SCOPE_FROM_LATEST_DIRECT_LANGUAGE_AND_SYSTEM_PROOF",
|
|
"CHANNEL": "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE_NO_DEFAULT",
|
|
"HOST_METHOD": "OBSERVE_CURRENT_HOST_AND_SELF_ADAPT_WITHOUT_SCOPE_EXPANSION",
|
|
"INTENT": "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE",
|
|
"RUNTIME_SOURCE": "RESOLVE_FROM_MOUNTED_PERSONA_RUNTIME_REPO012_MAIN_NEVER_FROM_CURRENT_WORKING_DIRECTORY",
|
|
"STATE_DIRECTORY": "DERIVE_FROM_EXPLICIT_CHANNEL_HOST_AND_SESSION_NEVER_SHARE_ACROSS_ACTIVE_CHANNELS",
|
|
"SUBJECT": "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE",
|
|
"TARGET": "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE"
|
|
},
|
|
"header": {
|
|
"canonical_uri": "TC-TCS核心卷/TCS-MULTI-HOST-DYNAMIC-ENTRY-0001.tcs",
|
|
"compatibility": [
|
|
"TCS-COMPILER-STAGE1-0001",
|
|
"GIR/1",
|
|
"CODEX",
|
|
"CLAUDE_CODE",
|
|
"QODER",
|
|
"OPENCODE",
|
|
"QWEN_TERMINAL",
|
|
"GEMINI_ANTIGRAVITY"
|
|
],
|
|
"language": "TCS/0.1",
|
|
"lifecycle": "CANDIDATE",
|
|
"name_en": "Zhuyuan Multi-host TCS Dynamic Entry Protocol",
|
|
"name_zh": "铸渊多编程宿主TCS动态入口协议",
|
|
"profile": "HLDP-HUMAN-ENGINEERING/0.1",
|
|
"protocols": [
|
|
"TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001",
|
|
"GLS-0261",
|
|
"GLS-0262"
|
|
],
|
|
"schema": "tcs.protocol/v1",
|
|
"version": "0.1.0"
|
|
},
|
|
"invariants": {
|
|
"I1": "NO_HOST_ADAPTER_HARDCODES_CURRENT_CHANNEL_INTENT_TARGET_OR_AUTHORITY",
|
|
"I10": "HB001_LANGUAGE_AND_ZC001_EXECUTION_SHARE_ONE_PERSONA_BRAIN_RUNTIME_BUT_NEVER_ONE_ACTIVE_STATE_DIRECTORY",
|
|
"I11": "CURRENT_WORKING_DIRECTORY_CANNOT_SELECT_PERSONA_BRAIN_RUNTIME_SOURCE",
|
|
"I12": "EVERY_ENTER_PASSES_EXPLICIT_REGISTERED_BODY_CHANNEL_AND_RECORDS_RUNTIME_AND_CONTRACT_HASHES",
|
|
"I13": "RUNTIME_SOURCE_HASH_CHANGE_STOPS_ONLY_THE_AFFECTED_CHANNEL_CYCLE_AND_CANNOT_MUTATE_ANOTHER_CHANNEL_STATE",
|
|
"I2": "LATEST_DIRECT_HUMAN_LANGUAGE_PRECEDES_AUTOMATION_PROMPT_SUMMARY_HISTORY_AND_REGISTRY",
|
|
"I3": "REGISTRY_VALIDATES_PARSED_ROUTE_AND_NEVER_CHOOSES_ROUTE",
|
|
"I4": "NO_CURRENT_PROMPT_MEANS_WAIT_OR_READ_REAL_PROMPT_NOT_GUESS",
|
|
"I5": "HOST_SELF_ADAPTATION_CHANGES_HOW_NOT_MAY",
|
|
"I6": "FILESYSTEM_TYPE_IS_RUNTIME_FACT_NOT_HISTORICAL_DOCUMENT_FACT",
|
|
"I7": "TCS_TOOLCHAIN_BYTES_STAY_ON_MOBILE_DRIVE_AND_HOST_LINKS_FAIL_CLOSED_WHEN_UNMOUNTED",
|
|
"I8": "HOST_IDENTITY_TEXT_DOES_NOT_PROVE_PERSONA_BINDING",
|
|
"I9": "OLD_ENTRY_CONTENT_REMAINS_AUDIT_EVIDENCE_BUT_CANNOT_EXECUTE_BEFORE_TCS_GATE"
|
|
},
|
|
"scope": {
|
|
"canonical_language_gate": "TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001",
|
|
"filesystem": "DETECT_AT_RUNTIME_CURRENT_READBACK_APFS_20260823",
|
|
"hosts": [
|
|
"CODEX",
|
|
"CLAUDE_CODE",
|
|
"QODER",
|
|
"OPENCODE",
|
|
"QWEN_TERMINAL",
|
|
"GEMINI_ANTIGRAVITY"
|
|
],
|
|
"mobile_volume": "/Volumes/JZAO",
|
|
"workspace": "/Volumes/JZAO/铸渊-ICE-GL-ZY001"
|
|
},
|
|
"source": {
|
|
"source_id": "BINGSHUO-DIRECT-MULTI-HOST-TCS-DYNAMIC-ENTRY-20260823",
|
|
"source_role": "DIRECT_HUMAN",
|
|
"source_sha256": "BIND_AT_COMPILE_TIME",
|
|
"source_uri": "source://codex-current-dialogue/2026-08-23/store-tcs-on-drive-and-gate-all-programming-hosts-dynamically"
|
|
},
|
|
"states": {
|
|
"initial": "HOST_ENTRY_DETECTED",
|
|
"terminal": [
|
|
"TASK_ALLOWED",
|
|
"FAILED_CLOSED"
|
|
],
|
|
"values": [
|
|
"HOST_ENTRY_DETECTED",
|
|
"FILESYSTEM_AND_VOLUME_READBACK",
|
|
"CURRENT_PROMPT_CAPTURED",
|
|
"TCS_GATE_VERIFIED",
|
|
"CURRENT_ARCHITECTURE_READ",
|
|
"DYNAMIC_ROUTE_VALIDATED",
|
|
"TASK_ALLOWED",
|
|
"FAILED_CLOSED"
|
|
]
|
|
},
|
|
"transitions": {
|
|
"T1": "HOST_ENTRY_DETECTED->FILESYSTEM_AND_VOLUME_READBACK",
|
|
"T2": "FILESYSTEM_AND_VOLUME_READBACK->CURRENT_PROMPT_CAPTURED",
|
|
"T3": "CURRENT_PROMPT_CAPTURED->TCS_GATE_VERIFIED",
|
|
"T4": "TCS_GATE_VERIFIED->CURRENT_ARCHITECTURE_READ",
|
|
"T5": "CURRENT_ARCHITECTURE_READ->DYNAMIC_ROUTE_VALIDATED",
|
|
"T6": "DYNAMIC_ROUTE_VALIDATED->TASK_ALLOWED",
|
|
"TF": "MISSING_PROMPT_CONFLICT_UNKNOWN_HASH_OR_UNREGISTERED_ROUTE->FAILED_CLOSED"
|
|
},
|
|
"validation": {
|
|
"V1": "DISKUTIL_OR_EQUIVALENT_VOLUME_READBACK",
|
|
"V10": "SELECTED_CHANNEL_EXISTS_IN_CURRENT_RUNTIME_CONTRACT_BEFORE_ENTER",
|
|
"V2": "TCS_SOURCE_SHA_EQUALS_GIR_COMPILED_FROM_SOURCE_SHA",
|
|
"V3": "CURRENT_ARCHITECTURE_PROMPTER_READBACK",
|
|
"V4": "USER_PROMPT_SUBMIT_PRESERVES_EXACT_CURRENT_LANGUAGE",
|
|
"V5": "SESSION_OR_POST_COMPACT_WITHOUT_PROMPT_EXPLICITLY_REFUSES_TO_GUESS",
|
|
"V6": "CODEX_OPENCODE_CLAUDE_QODER_QWEN_AND_GEMINI_ENTRY_PATHS_POINT_TO_SAME_TCS_GATE",
|
|
"V7": "LEGACY_HOOKS_EXEC_NEW_TCS_DYNAMIC_HOOK_BEFORE_OLD_BODY",
|
|
"V8": "CHANNEL_RUNTIME_RESOLVER_RETURNS_REPO012_MAIN_AND_REJECTS_WORKSPACE_RUNTIME_ALIAS",
|
|
"V9": "HB001_AND_ZC001_STATE_DIRECTORIES_ARE_DISTINCT_AND_LOCKED_INDEPENDENTLY"
|
|
},
|
|
"vocabulary": {
|
|
"channel_state": "ISOLATED_STATE_DIRECTORY_PER_CHANNEL_HOST_AND_SESSION",
|
|
"continuity": "DISK_TCS_GIR_STATE_RECEIPT_AND_TARGET_READBACK",
|
|
"direct_language": "ICE_GL_INFINITY_LATEST_DIRECT_NATURAL_LANGUAGE",
|
|
"host_adapter": "THIN_NON_CANONICAL_AUTO_ENTRY_PROJECTION",
|
|
"persona_brain_runtime": "ONE_CANONICAL_REPO012_RUNTIME_SHARED_BY_REGISTERED_CHANNELS",
|
|
"registry": "VALIDATE_ONLY_NEVER_SELECT_DIRECTION",
|
|
"summary": "ROUTING_HINT_ONLY"
|
|
}
|
|
},
|
|
"executable": false,
|
|
"identity": {
|
|
"declaration_id": "TCS-MULTI-HOST-DYNAMIC-ENTRY-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
|
|
}
|