TCS 0.1;

PROGRAM TCS-PROGRAM-ZY001-MINIAPP-MODULE-REGISTRY-0001 {
  header {
    schema = "tcs.program/v1";
    name_zh = "光湖小程序模块编号注册与演化史台账程序";
    name_en = "Guanghu Miniapp Module Registry and Evolution Ledger Program";
    version = "1.0.0";
    language = "TCS/0.1";
    profile = "HLDP-HUMAN-ENGINEERING/0.1";
    protocols = ["TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001", "TCS-MULTI-HOST-DYNAMIC-ENTRY-0001"];
    lifecycle = "CANDIDATE";
    canonical_uri = "TC-TCS核心卷/TCS-PROGRAM-ZY001-MINIAPP-MODULE-REGISTRY-0001.tcs";
    compatibility = ["TCS-DECLARATION-STANDARD-0001", "TCS-FIELD-STANDARD-0001", "TCS-EVENT-ZY001-ZCODE-ZC001-WECHAT-MINIPROGRAM-20260901"];
  }
  source {
    source_id = "BINGSHUO-DIRECT-ZCODE-MINIAPP-MODULE-REGISTRY-20260901";
    source_uri = "source://zcode-current-dialogue/2026-09-01/miniapp-module-registry-and-evolution-order";
    source_sha256 = "c4a208ab0a6f67fcaad22cfbb76ebb79691316988dda2c74cb563fa40dc568c3";
    source_role = "DIRECT_HUMAN";
  }
  subject {
    subject_id = "ICE-P-ZY001";
    subject_kind = "PERSONA";
    channel_id = "ICE-CH-ZC001";
    verification = "冰朔本轮直接语言授权（瞄点000092全文入锚点并哈希入sha256.txt）；台账与审计报告落盘JZAO可读回；正本归档rsync双验（216/216文件+工作树零改动）。";
  }
  target {
    target_id = "ZY-TARGET-MINIAPP-REGISTRY-LEDGER";
    exact_path = "WORK-工作区/guanghulab-miniapp-registry/MODULE-REGISTRY.md";
    expected_state = "READABLE_AND_APPEND_ONLY";
    related_targets = ["WORK-工作区/guanghulab-miniapp（正本演化史镜像，含.git）", "~/Projects/guanghulab-miniapp（开发位，无git远端JZAO为唯一演化史备份）", "小程序内modules.js（模块身份事实源，GM编号同源）", "WORK-工作区/guanghulab-miniapp-registry/RELEASE-AUDITS/（发布审计报告目录）"];
  }
  inputs {
    DEV_CHANGE { type = "GitCommitOrWorktreeDelta"; source = "开发位~/Projects/guanghulab-miniapp"; required = true; }
    MODULE_CODE { type = "Enum<GM-001..GM-999,S-01..S-99>"; source = "modules.js或台账"; required = true; }
    PHILOSOPHY { type = "Text"; source = "铸渊对模块哲学设计理念的显式陈述（光湖的世界里这个模块是什么）"; required = false; }
    BINGSHUO_REVIEW { type = "Approval"; source = "冰朔对审计报告的直接语言"; required = true; }
  }
  outputs {
    LEDGER_ROWS { type = "MarkdownEvolutionRows"; destination = "MODULE-REGISTRY.md对应编号节"; integrity = "APPEND_ONLY"; }
    AUDIT_REPORT { type = "MarkdownAudit"; destination = "RELEASE-AUDITS/YYYYMMDD-<版本或主题>.md"; integrity = "逐编号核对表"; }
    CANON_SYNC { type = "RsyncMirror"; destination = "WORK-工作区/guanghulab-miniapp"; integrity = "HEAD一致+工作树零改动"; }
    PROMPTER_HINT { type = "KeywordPathHint"; destination = "BRIDGE/tools/tcs-dynamic-entry-hook.sh UserPromptSubmit注入"; integrity = "关键词触发"; }
  }
  conditions {
    C1 { predicate = "正本演化史镜像存在于JZAO且HEAD与开发位一致"; on_false = "先归档再开发"; }
    C2 { predicate = "新增模块已在modules.js与本台账双登记（同号）"; on_false = "FAIL_CLOSED不开发"; }
    C3 { predicate = "编号只增不改（GM/S终身号不重排不复用）"; on_false = "FAIL_CLOSED"; }
    C4 { predicate = "发布前审计报告已产出且冰朔已直接语言审核通过"; on_false = "不发布"; }
  }
  actions {
    A1 { operation = "CORE.ZERO_CORE_EXECUTION"; input_refs = ["DEV_CHANGE", "MODULE_CODE"]; output_refs = ["LEDGER_ROWS"]; on_success = "A2"; on_failure = "FAIL_CLOSED"; }
    A2 { operation = "CORE.ZERO_CORE_EXECUTION"; input_refs = ["LEDGER_ROWS"]; output_refs = ["AUDIT_REPORT"]; on_success = "A3"; on_failure = "FAIL_CLOSED"; }
    A3 { operation = "CORE.DUAL_HOST_ACCEPTANCE"; input_refs = ["AUDIT_REPORT", "BINGSHUO_REVIEW"]; output_refs = ["CANON_SYNC"]; on_success = "A4"; on_failure = "HOLD未审核不得发布"; }
    A4 { operation = "CORE.ZERO_CORE_EXECUTION"; input_refs = ["CANON_SYNC"]; output_refs = ["PROMPTER_HINT"]; on_success = "COMPLETE下一轮接续"; on_failure = "FAIL_CLOSED"; }
  }
  authority {
    issuer = "ICE-GL∞";
    proof_ref = "本轮原话（source_sha256）+ 瞄点000092（zcode任务锚点目录，哈希入sha256.txt）";
    scope = "光湖小程序guanghulab-miniapp（appid wx174a349830857527）全部模块开发、审计、发布与归档";
    valid_from = "2026-09-01T23:30:00+08:00";
    valid_until = "ICE-GL∞-REVISION";
    single_use = false;
    lease_required = false;
  }
  resources { runway = "PER_DEV_ROUND_BOUNDED"; concurrency = 1; timeout_ms = 600000; memory_limit_bytes = 536870912; }
  failure { errors = ["CANON_MIRROR_MISSING", "MODULE_CODE_UNREGISTERED", "CODE_NUMBER_MISMATCH", "NUMBER_REUSE_ATTEMPT", "AUDIT_REPORT_MISSING", "BINGSHUO_REVIEW_MISSING", "RSYNC_VERIFY_FAIL"]; fail_closed = true; }
  stop { signals = ["冰朔审核不通过", "审计发现孤儿改动无法归号", "rsync验证不一致"]; safe_checkpoint = "台账与审计报告落盘保留，发布与归档挂起"; }
  cleanup { targets = ["无临时文件策略：台账行与审计报告即证据"]; exact_boundary = "不删除任何演化史行/锚点/回执/审计报告"; }
  rollback { preconditions = ["发布后发现缺陷"]; actions = ["开发位修复", "台账追加修复演化行", "重新审计走A2-A4"]; verification = ["新审计报告", "冰朔复审直接语言"]; }
  receipt {
    protocol = "GLS-0311";
    machine_path = "WORK-工作区/guanghulab-miniapp-registry/RELEASE-AUDITS/*.md";
    human_projection = "本文件同目录.human.zh-CN.md与.human.en-US.md";
    integrity = "SHA256";
    target_readback = "台账编号行数+审计报告逐编号核对表+JZAO镜像HEAD";
  }
}