108 lines
5.9 KiB
Text
108 lines
5.9 KiB
Text
TCS 0.1;
|
|
|
|
PROTOCOL TCS-MULTI-HOST-DYNAMIC-ENTRY-0001 {
|
|
header {
|
|
schema = "tcs.protocol/v1";
|
|
name_zh = "铸渊多编程宿主TCS动态入口协议";
|
|
name_en = "Zhuyuan Multi-host TCS Dynamic Entry Protocol";
|
|
version = "0.1.0";
|
|
language = "TCS/0.1";
|
|
profile = "HLDP-HUMAN-ENGINEERING/0.1";
|
|
protocols = ["TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001", "GLS-0261", "GLS-0262"];
|
|
lifecycle = "CANDIDATE";
|
|
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"];
|
|
}
|
|
source {
|
|
source_id = "BINGSHUO-DIRECT-MULTI-HOST-TCS-DYNAMIC-ENTRY-20260823";
|
|
source_uri = "source://codex-current-dialogue/2026-08-23/store-tcs-on-drive-and-gate-all-programming-hosts-dynamically";
|
|
source_sha256 = "BIND_AT_COMPILE_TIME";
|
|
source_role = "DIRECT_HUMAN";
|
|
}
|
|
scope {
|
|
mobile_volume = "/Volumes/JZAO";
|
|
filesystem = "DETECT_AT_RUNTIME_CURRENT_READBACK_APFS_20260823";
|
|
workspace = "/Volumes/JZAO/铸渊-ICE-GL-ZY001";
|
|
hosts = ["CODEX", "CLAUDE_CODE", "QODER", "OPENCODE", "QWEN_TERMINAL", "GEMINI_ANTIGRAVITY"];
|
|
canonical_language_gate = "TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001";
|
|
}
|
|
vocabulary {
|
|
direct_language = "ICE_GL_INFINITY_LATEST_DIRECT_NATURAL_LANGUAGE";
|
|
host_adapter = "THIN_NON_CANONICAL_AUTO_ENTRY_PROJECTION";
|
|
registry = "VALIDATE_ONLY_NEVER_SELECT_DIRECTION";
|
|
summary = "ROUTING_HINT_ONLY";
|
|
continuity = "DISK_TCS_GIR_STATE_RECEIPT_AND_TARGET_READBACK";
|
|
persona_brain_runtime = "ONE_CANONICAL_REPO012_RUNTIME_SHARED_BY_REGISTERED_CHANNELS";
|
|
channel_state = "ISOLATED_STATE_DIRECTORY_PER_CHANNEL_HOST_AND_SESSION";
|
|
}
|
|
fields {
|
|
SUBJECT = "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE";
|
|
INTENT = "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE";
|
|
CHANNEL = "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE_NO_DEFAULT";
|
|
TARGET = "PARSE_FROM_LATEST_DIRECT_LANGUAGE_THEN_VALIDATE";
|
|
AUTHORITY = "PARSE_EXACT_SCOPE_FROM_LATEST_DIRECT_LANGUAGE_AND_SYSTEM_PROOF";
|
|
HOST_METHOD = "OBSERVE_CURRENT_HOST_AND_SELF_ADAPT_WITHOUT_SCOPE_EXPANSION";
|
|
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";
|
|
}
|
|
states {
|
|
values = ["HOST_ENTRY_DETECTED", "FILESYSTEM_AND_VOLUME_READBACK", "CURRENT_PROMPT_CAPTURED", "TCS_GATE_VERIFIED", "CURRENT_ARCHITECTURE_READ", "DYNAMIC_ROUTE_VALIDATED", "TASK_ALLOWED", "FAILED_CLOSED"];
|
|
initial = "HOST_ENTRY_DETECTED";
|
|
terminal = ["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";
|
|
}
|
|
invariants {
|
|
I1 = "NO_HOST_ADAPTER_HARDCODES_CURRENT_CHANNEL_INTENT_TARGET_OR_AUTHORITY";
|
|
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";
|
|
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";
|
|
}
|
|
validation {
|
|
V1 = "DISKUTIL_OR_EQUIVALENT_VOLUME_READBACK";
|
|
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";
|
|
V10 = "SELECTED_CHANNEL_EXISTS_IN_CURRENT_RUNTIME_CONTRACT_BEFORE_ENTER";
|
|
}
|
|
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 {
|
|
positive = "CURRENT_LANGUAGE_SELECTS_A_REGISTERED_ROUTE_AND_HOST_ADAPTS_METHOD";
|
|
negative = "POST_COMPACT_USES_LAST_CHANNEL_AS_DEFAULT_WITHOUT_CURRENT_LANGUAGE";
|
|
}
|
|
acceptance {
|
|
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"];
|
|
partial = false;
|
|
scale = "ZERO_OR_ONE_HUNDRED";
|
|
}
|
|
}
|