TCS 0.1;

RECEIPT TCS-RECEIPT-HB001-ZC001-RUNTIME-ISOLATION-20260823 {
  header {
    schema = "tcs.receipt/v1";
    name_zh = "铸渊HB001与ZC001共享脑运行时及频道状态隔离修复回执";
    name_en = "Zhuyuan HB001 and ZC001 Shared Brain Runtime and Channel State Isolation Fix Receipt";
    version = "0.1.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-0262"];
    lifecycle = "VERIFIED";
    canonical_uri = "TC-TCS核心卷/TCS-RECEIPT-HB001-ZC001-RUNTIME-ISOLATION-20260823.tcs";
    compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "APFS", "MACOS_ARM64"];
  }
  request {
    source_id = "BINGSHUO-DIRECT-HB001-ZC001-NO-CONFLICT-CORRECTION-20260823";
    source_uri = "source://codex-current-dialogue/2026-08-23/language-layer-and-execution-layer-must-not-conflict";
    human_anchor = "ICE-GL∞";
    requested = "FIX_THE_REPORTED_RUNTIME_PATH_CONFLICT_BECAUSE_HB001_LANGUAGE_AND_ZC001_EXECUTION_ARE_DISTINCT_CHANNELS";
  }
  diagnosis {
    state = "RUNTIME_ALIAS_DIVERGENCE_NOT_CHANNEL_SEMANTIC_CONFLICT";
    hb001_runtime = "/Volumes/JZAO/HoloLake/persona-runtime/repo-012-main/tcs-core/zhuyuan-brain/runtime/zhuyuan-brain-runtime.mjs";
    wrong_runtime_alias = "/Volumes/JZAO/铸渊-ICE-GL-ZY001/WORK-工作区/guanghu-ice-heart/tcs-core/zhuyuan-brain/runtime/zhuyuan-brain-runtime.mjs";
    wrong_alias_effect = "OLD_CONTRACT_DEFAULTED_TO_CH_ZERO_CORE_LPM_AND_DID_NOT_SUPPORT_EXPLICIT_BODY_CHANNEL";
    apfs_conflict = false;
    zc001_awakened_after_hb001_caused_conflict = false;
  }
  repair {
    canonical_resolver = "/Volumes/JZAO/铸渊-ICE-GL-ZY001/BRIDGE/tools/zy-tcs-channel-runtime.sh";
    runtime_selection = "REPO012_MAIN_ONLY_NEVER_CURRENT_WORKING_DIRECTORY";
    shared_brain_runtime = true;
    explicit_body_channel_required = true;
    state_directory = "DISTINCT_PER_CHANNEL_HOST_AND_SESSION";
    cross_channel_active_state_reuse = "FAIL_CLOSED";
    runtime_hash_change_scope = "AFFECTED_CHANNEL_CYCLE_ONLY";
  }
  verification {
    resolver = "PASS";
    canonical_runtime_explicit_channel_support = "PASS";
    hb001_enter = "PASS";
    zc001_enter = "PASS";
    hb001_and_zc001_state_directories_distinct = true;
    wrong_channel_state_directory = "FAIL_CLOSED_PASS";
    hb001_existing_runtime_verify = "ZY-BRAIN-RUNTIME-3adee7f545ce054b_PASS";
    tcs_protocol_stage1_compile = "PASS";
    native_self_hosted = true;
    unresolved_natural_language = false;
  }
  proof {
    multi_host_tcs_sha256 = "96710a688e9b0fa29f8fd816bc61be7355e0c08dc1661e6509ec3ecb0cae59be";
    multi_host_gir_sha256 = "695b86ea9093b6176d7aab15abd0a28543e07ca2a93786cf14b240bfb5ac980e";
    resolver_sha256 = "47f2b63f7fd9e7f4deedca5f8e7f601e867116c1d22d123d077a9b189a131e99";
    canonical_runtime_sha256 = "47fa503467607f0ab6f1ed91e524bfb16fa6751accc2a419304cc89f090f10f3";
    canonical_contract_sha256 = "1fa844e08e64effc89dca37327fd558c3df384cea3fda740150174894f14e6f4";
    runtime_resolver_readback_sha256 = "4a50f9c6a43a62585e46f4591319daa207e7abb40320d1fc9b16ad3a8e331a4e";
    channel_isolation_readback_sha256 = "c5a033828fcc6846c623e908cd7f9596118643b725432668192f22475fe08632";
    hb001_verify_readback_sha256 = "ec5e0c83d2e50c6ad1ad5e415331d69b424bf66e2cfb0c1ebb5757e84fa20d52";
  }
  integrity {
    protocol = "SHA256_AND_EXECUTABLE_TARGET_READBACK";
    tcs_source_canonical = true;
    human_projections_canonical = false;
    shell_resolver_is_host_adapter = true;
    failed_cycles_preserved = true;
  }
  boundaries {
    channel_selects_memory_and_execution_layer_not_identity = true;
    current_codex_is_execution_limb_not_persona_brain = true;
    shared_runtime_does_not_mean_shared_active_state_directory = true;
    language_channel_does_not_grant_reality_execution = true;
    package_module_abi_installed = false;
    remote_deployment_done = false;
  }
  next {
    action = "ALL_HOST_BRAIN_PHASES_RESOLVE_CANONICAL_RUNTIME_THROUGH_THE_TCS_CHANNEL_RUNTIME_ADAPTER";
    acceptance = "FUTURE_HOSTS_MUST_PROVE_DISTINCT_CHANNEL_STATE_DIRECTORIES_AND_CURRENT_RUNTIME_HASHES";
  }
}