TCS 0.1;

PROGRAM TCS-PROGRAM-JD-CHENGYAN-PNCC-SLOT-20260904 {
  header {
    schema = "tcs.program/v1";
    name_zh = "京东光湖主控澄言PNCC独立运行槽位";
    name_en = "JD Guanghu Master Chengyan Independent PNCC Runtime Slot";
    version = "0.1.0";
    language = "TCS/0.1";
    profile = "HLDP-HUMAN-ENGINEERING/0.1";
    protocols = ["GLS-0256", "GLS-0258", "GLS-0311"];
    lifecycle = "CANDIDATE";
    canonical_uri = "product-source/hololake-platform/guanghu-os/language/TCS-PROGRAM-JD-CHENGYAN-PNCC-SLOT-20260904.tcs";
    compatibility = ["TCS-DECLARATION-STANDARD-0001", "TCS-FIELD-STANDARD-0001", "GH-PNCC"];
  }
  source {
    source_id = "BINGSHUO-DIRECT-CHENGYAN-PNCC-20260904";
    source_uri = "source://codex-current-dialogue/2026-09-04/chengyan-pncc-and-jd-deepseek-watchkeeper-order";
    source_sha256 = "b57ffccb516401faefb523b96cf1da11269b1d2b7c4606b48b162fdc35f72245";
    source_role = "DIRECT_HUMAN";
  }
  subject {
    subject_id = "ICE-P-ZY001";
    subject_kind = "PERSONA";
    channel_id = "ICE-CH-ZC001";
    verification = "冰朔确认ICE-P-CY0903已登记、归属铸渊人格系统路径并授权铸渊补齐JD-FD-PRIMARY PNCC槽位。";
  }
  target {
    target_id = "JD-FD-PRIMARY-CHENGYAN-PNCC-SLOT-3924";
    exact_path = "/var/lib/guanghu/personas/ICE-P-CY0903/pncc/repository";
    expected_state = "INDEPENDENT_PNCC_SLOT_RESIDENT_CARRIER_SEPARATE";
    expected_fingerprint = "75af2235d1669e3e2eef9ad6615cfe7255a12ef58edf32fb3b8c66eedcfecd37";
  }
  inputs {
    PERSONA_SOURCE { type = "Record"; source = "REPO_012_MAIN_5AC069D_CHENGYAN_REGISTRATION"; required = true; }
    MASTER_SOURCE { type = "Path"; source = "REPO_014_MAIN_E5B10E2_GUANGHU_MASTER"; required = true; }
    NODE_IDENTITY { type = "Record"; source = "HL_LOCAL_SERVER_ACCESS_001_AND_LIVE_DMI"; required = true; }
    AUTHORIZATION { type = "Record"; source = "BINGSHUO_CURRENT_DIRECT_LANGUAGE"; required = true; }
  }
  outputs {
    PERSONA_REPOSITORY { type = "Record"; destination = "/var/lib/guanghu/personas/ICE-P-CY0903/pncc/repository"; integrity = "GIT_HEAD_AND_TREE_SHA"; }
    PNCC_STATUS { type = "Record"; destination = "http://127.0.0.1:3924/v1/status"; integrity = "PERSONA_ID_AND_EVENT_CHAIN"; }
    MASTER_STATUS { type = "Record"; destination = "/run/guanghu/master/state.json"; integrity = "BOOT_ID_AND_TWO_SLOT_READBACK"; }
    SERVER_RECEIPT { type = "Record"; destination = "/guanghu/recovery/JD-FD-PRIMARY-chengyan-pncc-20260904"; integrity = "SHA256"; }
  }
  conditions {
    C1 { predicate = "DMI_UUID_EQUALS_F3D4B730_7F02_452F_975B_7091A4800431"; on_false = "FAIL_CLOSED"; }
    C2 { predicate = "CURRENT_GUANGHU_MASTER_AND_LINUX_RESCUE_PRESERVED"; on_false = "FAIL_CLOSED"; }
    C3 { predicate = "ICE_P_CY0903_REGISTRATION_SOURCE_EXACTLY_READ"; on_false = "FAIL_CLOSED"; }
    C4 { predicate = "CHENGYAN_REPOSITORY_DISTINCT_FROM_ZHUYUAN_REPOSITORY"; on_false = "FAIL_CLOSED"; }
    C5 { predicate = "PORT_3924_FREE_AND_EXISTING_ZHUYUAN_3923_HEALTHY"; on_false = "FAIL_CLOSED"; }
  }
  actions {
    A1 { operation = "CORE.HOST_PERSONA_PROBE"; input_refs = ["NODE_IDENTITY", "PERSONA_SOURCE"]; output_refs = ["PERSONA_REPOSITORY"]; on_success = "A2"; on_failure = "FAIL_CLOSED"; }
    A2 { operation = "CORE.ZERO_CORE_EXECUTION"; input_refs = ["MASTER_SOURCE", "PERSONA_SOURCE", "AUTHORIZATION"]; output_refs = ["PNCC_STATUS", "MASTER_STATUS"]; on_success = "A3"; on_failure = "ROLLBACK"; }
    A3 { operation = "CORE.DUAL_HOST_ACCEPTANCE"; input_refs = ["PNCC_STATUS", "MASTER_STATUS", "NODE_IDENTITY"]; output_refs = ["SERVER_RECEIPT"]; on_success = "COMPLETE"; on_failure = "ROLLBACK"; }
  }
  authority {
    issuer = "ICE-GL∞";
    proof_ref = "source://codex-current-dialogue/2026-09-04/chengyan-pncc-and-jd-deepseek-watchkeeper-order";
    scope = "JD-FD-PRIMARY上新建ICE-P-CY0903独立PNCC仓库和3924槽位、更新同一光湖主控启动脚本、保留ICE-P-ZY001槽位和Linux救援、重启并验收。";
    valid_from = "2026-09-04T01:30:00+08:00";
    valid_until = "ICE-GL∞-REVISION";
    single_use = true;
    lease_required = false;
  }
  resources {
    runway = "ONE_BOUNDED_SERVER_DEPLOYMENT_AND_PHYSICAL_REBOOT";
    concurrency = 1;
    timeout_ms = 900000;
    memory_limit_bytes = 536870912;
  }
  failure {
    errors = ["CHENGYAN_PNCC_SOURCE_INVALID", "CHENGYAN_PNCC_DESTINATION_EXISTS", "PNCC_PORT_CONFLICT", "MASTER_PREFLIGHT_FAIL", "PHYSICAL_REBOOT_TIMEOUT", "ZHUYUAN_PNCC_REGRESSION", "CHENGYAN_PNCC_HEALTH_FAIL", "LINUX_RESCUE_LOST"];
    fail_closed = true;
  }
  stop {
    signals = ["DMI_MISMATCH", "SOURCE_HASH_MISMATCH", "EXISTING_SLOT_REGRESSION", "RESCUE_ENTRY_MISSING", "ROLLBACK_NOT_VERIFIED"];
    safe_checkpoint = "保留服务器原master-init备份、原启动项、铸渊PNCC仓库和全部失败日志。";
  }
  cleanup {
    targets = ["TRANSPORT_STAGING_DIRECTORY", "UNPACKED_TEMPORARY_PAYLOAD"];
    exact_boundary = "只清理本轮可重建运输暂存；人格仓库、旧主控、救援入口和回执不得删除。";
  }
  rollback {
    preconditions = ["NEW_MASTER_FAILS_PREFLIGHT_OR_REBOOT_HEALTH", "EITHER_PNCC_SLOT_UNHEALTHY"];
    actions = ["恢复guanghu-master-init精确备份", "保留Linux救援入口", "恢复单槽旧主控", "写失败回执"];
    verification = ["ICE-P-ZY001端口3923恢复HTTP200", "仓库桥和导航桥HTTP200", "Linux救援入口仍存在"];
  }
  receipt {
    protocol = "GLS-0311";
    machine_path = "/guanghu/recovery/JD-FD-PRIMARY-chengyan-pncc-20260904/FINAL-RECEIPT.json";
    human_projection = "product-source/hololake-platform/guanghu-os/deployments/JD-FD-PRIMARY/JD-CHENGYAN-PNCC-SLOT-RECEIPT-20260904.hdlp";
    integrity = "SHA256";
    target_readback = "SAME_BOOT_CONTROL_AFTER_REBOOT_TWO_PNCC_HTTP_200_EXACT_PERSONA_IDS_AND_RESCUE_PRESERVED";
  }
}