soloforge 1.1.45 → 1.1.47

package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js

@@ -1,434 +0,0 @@
-/**
- * Builtin Contracts Extended — 契约层模块。
- *
- * 职责边界：
- * - 负责：BUILTIN_CONTRACTS_EXTENDED 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const BUILTIN_CONTRACTS_EXTENDED = [
-    // ── 31. 保留策略契约 ──
-    {
-        contract_id: "retention_policy_contract",
-        kind: "knowledge_evolution",
-        name: "保留策略契约",
-        state: "advisory",
-        owner_component: "engine/retention_policy",
-        owner_files: ["src/core/task_context/retention_policy.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: [],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: [],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: false,
-        promotion_conditions: ["所有记录类型有保留策略"],
-        demotion_conditions: ["清理策略删除仍被引用的 evidence"],
-        evidence_requirements: ["retention policy 测试通过"],
-    },
-    // ── 32. 知识生命周期契约（问题七） ──
-    {
-        contract_id: "knowledge_lifecycle_contract",
-        kind: "knowledge_lifecycle",
-        name: "知识生命周期契约",
-        state: "enforced",
-        owner_component: "engine/knowledge_lifecycle",
-        owner_files: ["src/context/knowledge/knowledge_lifecycle.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["knowledge_evolution_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["知识生命周期状态机完整测试"],
-        demotion_conditions: ["知识生命周期产生误判"],
-        evidence_requirements: ["知识生命周期场景矩阵通过"],
-    },
-    // ── 33. 知识演进契约（问题十四） ──
-    {
-        contract_id: "knowledge_evolution_contract",
-        kind: "knowledge_evolution",
-        name: "知识演进契约",
-        state: "enforced",
-        owner_component: "engine/knowledge_evolution",
-        owner_files: ["src/context/knowledge/knowledge_evolution.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["knowledge_lifecycle_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["Evidence-based promotion 有完整测试"],
-        demotion_conditions: ["知识演进产生误判"],
-        evidence_requirements: ["知识演进场景矩阵通过"],
-    },
-    // ── 34. 模板同步契约（问题二十五） ──
-    {
-        contract_id: "template_sync_contract",
-        kind: "template_sync",
-        name: "模板同步契约",
-        state: "enforced",
-        owner_component: "engine/template_sync",
-        owner_files: ["src/context/templates/template_sync.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["knowledge_lifecycle_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["模板同步 dry-run/apply 有完整测试"],
-        demotion_conditions: ["模板同步产生误判"],
-        evidence_requirements: ["模板同步场景矩阵通过"],
-    },
-    // ── 35. 适配器 Prompt 契约（问题三十一） ──
-    {
-        contract_id: "adapter_prompt_contract_entry",
-        kind: "adapter_prompt",
-        name: "适配器 Prompt 契约",
-        state: "enforced",
-        owner_component: "context/adapter_prompt_contract",
-        owner_files: ["src/context/adapter_prompt_contract.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["tool_invocation_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["adapter prompt 验证有完整测试"],
-        demotion_conditions: ["adapter prompt 验证产生误判"],
-        evidence_requirements: ["adapter prompt 场景矩阵通过"],
-    },
-    // ── 36. 文档治理契约（问题二十一） ──
-    {
-        contract_id: "documentation_governance_contract",
-        kind: "documentation_governance",
-        name: "文档治理契约",
-        state: "enforced",
-        owner_component: "engine/documentation_governance",
-        owner_files: ["src/context/knowledge/documentation_governance.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["文档治理有完整测试"],
-        demotion_conditions: ["文档治理产生误判"],
-        evidence_requirements: ["文档治理场景矩阵通过"],
-    },
-    // ── 38. 发布兼容契约（问题三十五） ──
-    {
-        contract_id: "release_compatibility_contract",
-        kind: "release_compatibility",
-        name: "发布兼容契约",
-        state: "enforced",
-        owner_component: "engine/release_compatibility",
-        owner_files: ["src/context/knowledge/release_compatibility.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["template_sync_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["发布兼容有完整测试"],
-        demotion_conditions: ["发布兼容产生误判"],
-        evidence_requirements: ["发布兼容场景矩阵通过"],
-    },
-    // ── 39. 语言策略覆盖契约（问题四十一） ──
-    {
-        contract_id: "language_policy_override_contract",
-        kind: "language_policy",
-        name: "语言策略覆盖契约",
-        state: "enforced",
-        owner_component: "engine/language_policy",
-        owner_files: ["src/context/knowledge/language_policy.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["language_policy_contract_entry"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["语言策略覆盖有完整测试"],
-        demotion_conditions: ["语言策略覆盖产生误判"],
-        evidence_requirements: ["语言策略覆盖场景矩阵通过"],
-    },
-    // ── 40. 中文语义优先契约（问题十） ──
-    {
-        contract_id: "chinese_semantic_priority_contract",
-        kind: "chinese_semantic",
-        name: "中文语义优先契约",
-        state: "enforced",
-        owner_component: "engine/chinese_semantic_priority",
-        owner_files: ["src/context/knowledge/chinese_semantic_priority.ts"],
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["language_policy_override_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["中文语义优先有完整测试"],
-        demotion_conditions: ["中文语义优先产生误判"],
-        evidence_requirements: ["中文语义优先场景矩阵通过"],
-    },
-    // ── 41. 扩展契约（问题三十九） ──
-    {
-        contract_id: "extension_contract",
-        kind: "extension",
-        name: "扩展契约",
-        state: "removed", // Phase A: extension_contract.ts 已删除
-        owner_component: "engine/extension_contract",
-        owner_files: [],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: [],
-        hard_fail_allowed: true,
-        promotion_conditions: ["扩展生命周期、权限授权有完整测试"],
-        demotion_conditions: ["扩展契约产生误判"],
-        evidence_requirements: ["扩展契约场景矩阵通过"],
-    },
-    // ── 42. 平台兼容契约（问题四十） ──
-    {
-        contract_id: "platform_compatibility_contract",
-        kind: "platform_compatibility",
-        name: "平台兼容契约",
-        state: "removed", // Phase A: platform_context.ts 已删除
-        owner_component: "engine/platform_context",
-        owner_files: [],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: [],
-        hard_fail_allowed: true,
-        promotion_conditions: ["跨平台路径安全有完整测试"],
-        demotion_conditions: ["平台兼容产生误判"],
-        evidence_requirements: ["平台兼容场景矩阵通过"],
-    },
-    // ── 43. 治理动作契约（问题十九） ──
-    {
-        contract_id: "governance_action_contract",
-        kind: "governance_action",
-        name: "治理动作契约",
-        state: "enforced",
-        owner_component: "engine/metric_governance",
-        owner_files: ["src/gate/contracts/metric_governance.ts"],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["metric_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["治理动作绑定有完整测试"],
-        demotion_conditions: ["治理动作产生误判"],
-        evidence_requirements: ["治理动作场景矩阵通过"],
-    },
-    // ── 44. 脑暴契约（问题四十二 Brainstorm） ──
-    {
-        contract_id: "brainstorm_contract",
-        kind: "brainstorm",
-        name: "脑暴/方案探索契约",
-        state: "enforced",
-        owner_component: "engine/brainstorm_contract",
-        owner_files: ["src/verify/contracts/brainstorm_contract.ts"],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["technology_decision_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["脑暴会话完整性有测试"],
-        demotion_conditions: ["脑暴契约产生误判"],
-        evidence_requirements: ["脑暴契约场景矩阵通过"],
-    },
-    // ── 45. 细节纪律契约（问题二十六） ──
-    {
-        contract_id: "detail_discipline_contract",
-        kind: "detail_discipline",
-        name: "细节纪律契约",
-        state: "enforced",
-        owner_component: "engine/detail_discipline",
-        owner_files: ["src/verify/contracts/detail_discipline.ts"],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["细节纪律检查有完整测试"],
-        demotion_conditions: ["细节纪律产生误判"],
-        evidence_requirements: ["细节纪律场景矩阵通过"],
-    },
-    // ── 46. 第一性原理契约（问题二十七） ──
-    {
-        contract_id: "first_principles_contract",
-        kind: "first_principles",
-        name: "第一性原理契约",
-        state: "enforced",
-        owner_component: "engine/first_principles",
-        owner_files: ["src/verify/contracts/first_principles.ts"],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["第一性原理检查有完整测试"],
-        demotion_conditions: ["第一性原理产生误判"],
-        evidence_requirements: ["第一性原理场景矩阵通过"],
-    },
-    // ── 48. 现有系统分析契约（问题五十） ──
-    {
-        contract_id: "existing_system_analysis_contract_entry",
-        kind: "existing_system_analysis",
-        name: "现有系统分析契约",
-        state: "enforced",
-        owner_component: "engine/existing_system_analysis",
-        owner_files: ["src/verify/contracts/existing_system_analysis.ts"],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["现有系统分析有完整测试"],
-        demotion_conditions: ["现有系统分析产生误判"],
-        evidence_requirements: ["现有系统分析场景矩阵通过"],
-    },
-    // ── 49. 编码准备契约（问题五十一） ──
-    {
-        contract_id: "coding_readiness_contract_entry",
-        kind: "coding_readiness",
-        name: "编码准备契约",
-        state: "enforced",
-        owner_component: "engine/coding_readiness_gate",
-        owner_files: ["src/gate/contracts/coding_readiness_gate.ts"],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["existing_system_analysis_contract_entry"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["编码准备门有完整测试"],
-        demotion_conditions: ["编码准备产生误判"],
-        evidence_requirements: ["编码准备场景矩阵通过"],
-    },
-    // ── 50. 本地验收契约（问题五十二） ──
-    {
-        contract_id: "local_acceptance_contract_entry",
-        kind: "local_acceptance",
-        name: "本地验收契约",
-        state: "enforced",
-        owner_component: "engine/local_docker_acceptance",
-        owner_files: ["src/verify/contracts/local_docker_acceptance.ts"],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["coding_readiness_contract_entry"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["本地验收有完整测试"],
-        demotion_conditions: ["本地验收产生误判"],
-        evidence_requirements: ["本地验收场景矩阵通过"],
-    },
-    // ── 51. 工作流模板包契约（问题五十三） ──
-    {
-        contract_id: "workflow_template_pack_contract_entry",
-        kind: "workflow_template_pack",
-        name: "工作流模板包契约",
-        state: "removed", // Phase A: workflow_template_pack.ts 已删除
-        owner_component: "engine/workflow_template_pack",
-        owner_files: [],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: [],
-        consumed_by: [],
-        hard_fail_allowed: true,
-        promotion_conditions: ["模板包消费 pipeline 有完整测试"],
-        demotion_conditions: ["模板包产生误判"],
-        evidence_requirements: ["模板包场景矩阵通过"],
-    },
-    // ── 52. 演进回归契约（问题五十四） ──
-    {
-        contract_id: "evolution_regression_contract_entry",
-        kind: "evolution_regression",
-        name: "演进回归契约",
-        state: "removed", // Phase A: evolution_regression_gate.ts 已删除
-        owner_component: "engine/evolution_regression_gate",
-        owner_files: [],
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: [],
-        hard_fail_allowed: true,
-        promotion_conditions: ["演进回归有完整测试"],
-        demotion_conditions: ["演进回归产生误判"],
-        evidence_requirements: ["演进回归场景矩阵通过"],
-    },
-    // ── 53. Plan Proposal First Gate 契约（问题五十五） ──
-    {
-        contract_id: "plan_proposal_gate_contract",
-        kind: "plan_proposal_gate",
-        name: "计划前置门契约",
-        state: "enforced",
-        owner_component: "engine/plan_proposal_gate",
-        owner_files: ["src/gate/plan_proposal_gate.ts"],
-        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["task_context_contract", "workflow_contract"],
-        consumed_by: ["core_experience_principle_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["PlanProposalFirstGate 场景A 通过"],
-        demotion_conditions: ["Plan Gate 产生大量误报"],
-        evidence_requirements: ["evaluatePlanProposalGate 无 hard_fail", "场景 A must-fail 全部触发"],
-    },
-    // ── 54. Core Experience Principle 契约（问题五十六） ──
-    {
-        contract_id: "core_experience_principle_contract",
-        kind: "core_experience_principle",
-        name: "核心体验原则契约",
-        state: "enforced",
-        owner_component: "engine/core_experience_principle",
-        owner_files: ["src/verify/audit/core_experience_principle.ts"],
-        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["plan_proposal_gate_contract", "verification_contract", "failure_report_contract"],
-        consumed_by: [],
-        hard_fail_allowed: true,
-        promotion_conditions: ["CoreExperiencePrincipleEvaluation 场景B 通过"],
-        demotion_conditions: ["体验原则检查产生大量误报"],
-        evidence_requirements: ["evaluateCoreExperiencePrinciple 无 hard_fail", "场景 B must-fail 全部触发"],
-    },
-];
-//# sourceMappingURL=builtin_contracts_extended.js.map

package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"builtin_contracts_extended.js","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/builtin_contracts_extended.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,0BAA0B,GAAqC;IAC1E,mBAAmB;IACnB;QACE,WAAW,EAAE,2BAA2B;QACxC,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,sBAAsB,CAAC;QAC7C,qBAAqB,EAAE,CAAC,uBAAuB,CAAC;KACjD;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,8CAA8C,CAAC;QAC7D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,eAAe,CAAC;QACvC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,yBAAyB;IACzB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,8CAA8C,CAAC;QAC7D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,gCAAgC,CAAC;QACxD,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,wBAAwB;QACrC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,sBAAsB;QACvC,WAAW,EAAE,CAAC,wCAAwC,CAAC;QACvD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,0BAA0B,CAAC;QAClD,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,iCAAiC;IACjC;QACE,WAAW,EAAE,+BAA+B;QAC5C,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,iCAAiC;QAClD,WAAW,EAAE,CAAC,wCAAwC,CAAC;QACvD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,CAAC;QACxC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,wBAAwB,CAAC;QAChD,mBAAmB,EAAE,CAAC,uBAAuB,CAAC;QAC9C,qBAAqB,EAAE,CAAC,uBAAuB,CAAC;KACjD;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,mCAAmC;QAChD,IAAI,EAAE,0BAA0B;QAChC,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,iCAAiC;QAClD,WAAW,EAAE,CAAC,mDAAmD,CAAC;QAClE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,gCAAgC;QAC7C,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,WAAW,EAAE,CAAC,gDAAgD,CAAC;QAC/D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,4BAA4B;IAC5B;QACE,WAAW,EAAE,mCAAmC;QAChD,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,wBAAwB;QACzC,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,oCAAoC;QACjD,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,kCAAkC;QACnD,WAAW,EAAE,CAAC,oDAAoD,CAAC;QACnE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,mCAAmC,CAAC;QACjD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,wBAAwB;IACxB;QACE,WAAW,EAAE,oBAAoB;QACjC,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,SAAS,EAAG,qCAAqC;QACxD,eAAe,EAAE,2BAA2B;QAC5C,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;QAC1C,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,yBAAyB;IACzB;QACE,WAAW,EAAE,iCAAiC;QAC9C,IAAI,EAAE,wBAAwB;QAC9B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,SAAS,EAAG,mCAAmC;QACtD,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,cAAc,CAAC;QACtC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,yBAAyB;IACzB;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,yCAAyC,CAAC;QACxD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iBAAiB,CAAC;QAC/B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,mCAAmC;IACnC;QACE,WAAW,EAAE,qBAAqB;QAClC,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,6CAA6C,CAAC;QAC5D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,YAAY,CAAC;QACpC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,2BAA2B;IAC3B;QACE,WAAW,EAAE,2BAA2B;QACxC,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,cAAc,CAAC;QACtC,mBAAmB,EAAE,CAAC,WAAW,CAAC;QAClC,qBAAqB,EAAE,CAAC,aAAa,CAAC;KACvC;IACD,2BAA2B;IAC3B;QACE,WAAW,EAAE,yCAAyC;QACtD,IAAI,EAAE,0BAA0B;QAChC,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,iCAAiC;QAClD,WAAW,EAAE,CAAC,kDAAkD,CAAC;QACjE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,cAAc,CAAC;KACxC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,iCAAiC;QAC9C,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,WAAW,EAAE,CAAC,6CAA6C,CAAC;QAC5D,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,yCAAyC,CAAC;QACvD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,YAAY,CAAC;QACpC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,iCAAiC;QAC9C,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,gCAAgC;QACjD,WAAW,EAAE,CAAC,iDAAiD,CAAC;QAChE,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,4BAA4B;IAC5B;QACE,WAAW,EAAE,uCAAuC;QACpD,IAAI,EAAE,wBAAwB;QAC9B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,SAAS,EAAG,yCAAyC;QAC5D,eAAe,EAAE,+BAA+B;QAChD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,sBAAsB,CAAC;QAC9C,mBAAmB,EAAE,CAAC,SAAS,CAAC;QAChC,qBAAqB,EAAE,CAAC,WAAW,CAAC;KACrC;IACD,0BAA0B;IAC1B;QACE,WAAW,EAAE,qCAAqC;QAClD,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,SAAS,EAAG,4CAA4C;QAC/D,eAAe,EAAE,kCAAkC;QACnD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,oBAAoB,EAAE,CAAC,gDAAgD,CAAC;QACxE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,+CAA+C;IAC/C;QACE,WAAW,EAAE,6BAA6B;QAC1C,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,2BAA2B;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,CAAC;QAC1D,WAAW,EAAE,CAAC,oCAAoC,CAAC;QACnD,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,8BAA8B,CAAC;QACtD,mBAAmB,EAAE,CAAC,kBAAkB,CAAC;QACzC,qBAAqB,EAAE,CAAC,sCAAsC,EAAE,qBAAqB,CAAC;KACvF;IACD,gDAAgD;IAChD;QACE,WAAW,EAAE,oCAAoC;QACjD,IAAI,EAAE,2BAA2B;QACjC,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,kCAAkC;QACnD,WAAW,EAAE,CAAC,+CAA+C,CAAC;QAC9D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,6BAA6B,EAAE,uBAAuB,EAAE,yBAAyB,CAAC;QAC/F,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,0CAA0C,CAAC;QAClE,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,6CAA6C,EAAE,qBAAqB,CAAC;KAC9F;CACO,CAAC"}

package/dist/shared/contracts/contract_registry/index.d.ts

@@ -1,8 +0,0 @@
-/**
- * 统一契约注册表 — 公共 API 重新导出
- *
- * 所有消费者应从此模块导入，保持与原始 contract_registry.ts 完全兼容的 API。
- */
-export type { ContractKind, ContractState, ContractRegistryEntry, ContractGovernanceFinding, ContractRegistrySummary, } from "./types.js";
-export { getAllContracts, getContractById, getContractByPolicyId, listContractsByKind, listContractsByState, listContracts, getContractRegistrySummary, canContractHardFail, runtimeHardFailGate, validateContractRegistry, validateWorkflowContractRefs, registerContract, createContractStateApplier, resetRegistry, getPolicyToContractMapping, } from "./registry.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/shared/contracts/contract_registry/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,YAAY,EACV,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,0BAA0B,EAC1B,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,4BAA4B,EAC5B,gBAAgB,EAChB,0BAA0B,EAC1B,aAAa,EACb,0BAA0B,GAC3B,MAAM,eAAe,CAAC"}

package/dist/shared/contracts/contract_registry/index.js

@@ -1,7 +0,0 @@
-/**
- * 统一契约注册表 — 公共 API 重新导出
- *
- * 所有消费者应从此模块导入，保持与原始 contract_registry.ts 完全兼容的 API。
- */
-export { getAllContracts, getContractById, getContractByPolicyId, listContractsByKind, listContractsByState, listContracts, getContractRegistrySummary, canContractHardFail, runtimeHardFailGate, validateContractRegistry, validateWorkflowContractRefs, registerContract, createContractStateApplier, resetRegistry, getPolicyToContractMapping, } from "./registry.js";
-//# sourceMappingURL=index.js.map

package/dist/shared/contracts/contract_registry/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,OAAO,EACL,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,0BAA0B,EAC1B,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,4BAA4B,EAC5B,gBAAgB,EAChB,0BAA0B,EAC1B,aAAa,EACb,0BAA0B,GAC3B,MAAM,eAAe,CAAC"}

package/dist/shared/contracts/contract_registry/registry.d.ts

@@ -1,62 +0,0 @@
-/**
- * Registry — 契约层模块。
- *
- * 职责边界：
- * - 负责：getAllContracts 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types、registry_internal、validation
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-import type { ContractKind, ContractState, ContractRegistryEntry, ContractRegistrySummary } from "./types.js";
-export type { ContractKind, ContractState, ContractRegistryEntry, ContractGovernanceFinding, ContractRegistrySummary, } from "./types.js";
-export { validateContractRegistry, validateWorkflowContractRefs } from "./validation.js";
-export { resetRegistry } from "./registry_internal.js";
-/** 获取所有契约条目 */
-export declare function getAllContracts(): ContractRegistryEntry[];
-/** 按 contract_id 获取 */
-export declare function getContractById(id: string): ContractRegistryEntry | undefined;
-/** 按 policy_id 查找对应 contract_id */
-export declare function getContractByPolicyId(policyId: string): ContractRegistryEntry | undefined;
-/** 按类型列出契约 */
-export declare function listContractsByKind(kind: ContractKind): ContractRegistryEntry[];
-/** 按状态列出契约 */
-export declare function listContractsByState(state: ContractState): ContractRegistryEntry[];
-/** 列出所有契约 */
-export declare function listContracts(): ContractRegistryEntry[];
-/** 注册表汇总统计 */
-export declare function getContractRegistrySummary(): ContractRegistrySummary;
-/**
- * 判断契约是否允许 hard fail。
- * 只有 state=enforced 且 hard_fail_allowed=true 的契约才能阻断。
- */
-export declare function canContractHardFail(contractId: string): boolean;
-/**
- * Runtime hard fail gate — 未登记的契约不得 hard fail。
- * 用于运行时检查 workflow 是否引用了合法的 guard/verification/failure 契约。
- */
-export declare function runtimeHardFailGate(contractId: string, context: "workflow" | "prompt" | "consumed_by"): {
-    allowed: boolean;
-    reason: string;
-};
-/** 注册新契约（运行时） */
-export declare function registerContract(entry: ContractRegistryEntry): {
-    success: boolean;
-    error?: string;
-};
-/** 工厂函数: 返回 applyContractStateOverride 闭包引用，仅供 ContractStateStore 使用 */
-export declare function createContractStateApplier(): (override: {
-    contract_id: string;
-    new_state: ContractState;
-    replacement_contract_id?: string;
-    migration_note?: string;
-}) => void;
-/** 获取所有 policy_id → contract_id 映射 */
-export declare function getPolicyToContractMapping(): Array<{
-    policy_id: string;
-    contract_id: string;
-}>;
-//# sourceMappingURL=registry.d.ts.map

package/dist/shared/contracts/contract_registry/registry.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,YAAY,CAAC;AAKpB,YAAY,EACV,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,wBAAwB,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAGzF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAIvD,eAAe;AACf,wBAAgB,eAAe,IAAI,qBAAqB,EAAE,CAEzD;AAED,uBAAuB;AACvB,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,qBAAqB,GAAG,SAAS,CAG7E;AAED,mCAAmC;AACnC,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,qBAAqB,GAAG,SAAS,CAKzF;AAED,cAAc;AACd,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,YAAY,GAAG,qBAAqB,EAAE,CAI/E;AAED,cAAc;AACd,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,qBAAqB,EAAE,CAIlF;AAED,aAAa;AACb,wBAAgB,aAAa,IAAI,qBAAqB,EAAE,CAEvD;AAED,cAAc;AACd,wBAAgB,0BAA0B,IAAI,uBAAuB,CAwCpE;AAID;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAI/D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,UAAU,GAAG,QAAQ,GAAG,aAAa,GAC7C;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAuDtC;AAID,iBAAiB;AACjB,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAOnG;AA2BD,wEAAwE;AACxE,wBAAgB,0BAA0B,IAAI,CAAC,QAAQ,EAAE;IACvD,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,aAAa,CAAC;IACzB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,KAAK,IAAI,CAET;AAED,sCAAsC;AACtC,wBAAgB,0BAA0B,IAAI,KAAK,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,CAQ9F"}