/**
 * Batch 3 共享契约骨架 — 9 个问题共用的类型定义和注册表。
 *
 * 骨架名称与问题正文定义的 interface/contract 名一致，不另起平行模型。
 * 继承 Batch 1+2 骨架（ContractRegistryEntry、DiagnosticCode 等），只扩展不重定义。
 */
// ── Batch 3 不变量 ──
export const KNOWLEDGE_TEMPLATE_INVARIANTS = [
    "core knowledge 不得被 AI inference 或自动机制修改",
    "draft / quarantine / pending_review 知识不得自动晋级 active/core",
    "知识晋级必须有人工签署或等效 evidence",
    "用户修改的模板不得被模板同步覆盖",
    "模板同步必须 dry-run 先行，apply 必须用户确认",
    "adapter prompt 不得包含超出宿主能力的 forbidden claim",
    "adapter prompt 必须包含 next_allowed_tools 约束",
    "README 命令必须映射到真实 CLI contract，漂移必须检测",
    "未 verified 的备忘录决策不得写入正式设计文档",
    "设计文档不得记录施工流水",
    "migrate 默认 dry-run，apply 必须用户确认",
    "升级后用户项目已有配置不得被覆盖",
    "英文项目可配置 en_first，中文项目不被英文模板污染",
    "知识主权使用 sovereignty（normal / core），不另起 knowledge_sovereignty_level",
    "知识生命周期状态使用 knowledge_lifecycle_status，不使用泛称 status",
    "语言策略使用 language_policy_status，不使用泛称 status",
];
//# sourceMappingURL=knowledge_template_contracts.js.map