soloforge 1.1.45 → 1.1.47

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

@@ -1,304 +0,0 @@
-/**
- * Builtin Contracts Core 2 — 契约层模块。
- *
- * 职责边界：
- * - 负责：BUILTIN_CONTRACTS_CORE_2 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const BUILTIN_CONTRACTS_CORE_2 = [
-    // ── 16. 指标契约 ──
-    {
-        contract_id: "metric_contract",
-        kind: "metric",
-        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: [],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有治理指标有采集和聚合测试"],
-        demotion_conditions: ["指标采集影响性能"],
-        evidence_requirements: ["metric governance 场景矩阵通过"],
-    },
-    // ── 17. 语言策略契约 ──
-    {
-        contract_id: "language_policy_contract",
-        kind: "language_policy",
-        name: "语言策略契约",
-        state: "advisory",
-        owner_component: "engine/core_engineering_principles",
-        owner_files: ["src/verify/audit/core_engineering_principles.ts"],
-        test_files: ["tests/engine/core_engineering_principles.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_requirements: ["core engineering principles 测试通过"],
-    },
-    // ── 18. 任务上下文契约 ──
-    {
-        contract_id: "task_context_contract",
-        kind: "task_context",
-        name: "任务上下文契约",
-        state: "enforced",
-        owner_component: "engine/task_context",
-        owner_files: ["src/core/task_context.ts"],
-        test_files: ["tests/engine/task_context.test.ts"],
-        lifecycle_test_files: ["tests/engine/task_context.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: [],
-        consumed_by: ["workflow_contract", "main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["TaskContext 生命周期测试覆盖所有状态转移"],
-        demotion_conditions: ["TaskContext 逃逸（绕过状态机）"],
-        evidence_requirements: ["task_context 生命周期测试通过"],
-        policy_id: "CAP-001",
-        capability_ids: ["task_context_lifecycle"],
-    },
-    // ── 19. 技术决策契约 ──
-    {
-        contract_id: "technology_decision_contract",
-        kind: "decision_sovereignty",
-        name: "技术决策主权契约",
-        state: "enforced",
-        owner_component: "engine/technology_decision",
-        owner_files: ["src/gate/contracts/technology_decision.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: [],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["技术决策 human gate 覆盖所有高影响范围"],
-        demotion_conditions: ["技术决策误判阻断正常开发"],
-        evidence_requirements: ["decision sovereignty 场景矩阵通过"],
-    },
-    // ── 20. 知识演化契约 ──
-    {
-        contract_id: "knowledge_evolution_contract",
-        kind: "knowledge_evolution",
-        name: "知识演化契约",
-        state: "advisory",
-        owner_component: "engine/knowledge_sovereignty",
-        owner_files: ["src/context/knowledge/knowledge_sovereignty.ts"],
-        test_files: ["tests/engine/knowledge_sovereignty.test.ts"],
-        lifecycle_test_files: [],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["knowledge_injection_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: false,
-        promotion_conditions: ["知识演化生命周期有完整测试"],
-        demotion_conditions: ["知识演化逻辑产生误判"],
-        evidence_requirements: ["knowledge sovereignty 测试通过"],
-    },
-    // ── 21. 诊断码契约 ──
-    {
-        contract_id: "diagnostic_code_contract",
-        kind: "guard",
-        name: "诊断码契约",
-        state: "enforced",
-        owner_component: "engine/diagnostic_registry",
-        owner_files: ["src/shared/diagnostic_registry.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 blocking/critical 事件有诊断码"],
-        demotion_conditions: ["诊断码检查产生大量误报"],
-        evidence_requirements: ["diagnostic registry 测试通过"],
-    },
-    // ── 22. 强制护栏契约 ──
-    {
-        contract_id: "enforcement_guard_contract",
-        kind: "guard",
-        name: "强制护栏契约",
-        state: "enforced",
-        owner_component: "engine/enforcement_guard",
-        owner_files: ["src/verify/contracts/enforcement_guard.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["diagnostic_code_contract", "command_execution_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["覆盖七类护栏且有 must-fail 测试"],
-        demotion_conditions: ["护栏阻断产生大量误报"],
-        evidence_requirements: ["enforcement guard 测试通过"],
-    },
-    // ── 23. 验证契约 ──
-    {
-        contract_id: "verification_contract",
-        kind: "verification",
-        name: "验证契约",
-        state: "enforced",
-        owner_component: "engine/verification_contract",
-        owner_files: ["src/verify/contracts/verification_contract.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["main_path_integration_contract"],
-        consumed_by: ["delivery_readiness_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["VerificationPlan 与 VerificationEvidence 分离有测试"],
-        demotion_conditions: ["验证契约检查产生大量误报"],
-        evidence_requirements: ["verification contract 测试通过"],
-    },
-    // ── 24. 交付就绪契约 ──
-    {
-        contract_id: "delivery_readiness_contract",
-        kind: "delivery",
-        name: "交付就绪契约",
-        state: "enforced",
-        owner_component: "engine/delivery_readiness",
-        owner_files: ["src/domain/delivery_readiness.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["verification_contract", "enforcement_guard_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["交付许可不触发交付执行有测试"],
-        demotion_conditions: ["交付门控产生大量误报"],
-        evidence_requirements: ["delivery readiness 测试通过"],
-    },
-    // ── 25. 失败报告契约 ──
-    {
-        contract_id: "failure_report_contract",
-        kind: "failure",
-        name: "失败报告契约",
-        state: "enforced",
-        owner_component: "engine/failure_report",
-        owner_files: ["src/verify/audit/failure_report.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["diagnostic_code_contract", "failure_recovery_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 FailureClass 有恢复策略和测试"],
-        demotion_conditions: ["失败分类产生大量误判"],
-        evidence_requirements: ["failure report 测试通过"],
-    },
-    // ── 26. 降级事件契约 ──
-    {
-        contract_id: "degradation_event_contract",
-        kind: "degradation",
-        name: "降级事件契约",
-        state: "enforced",
-        owner_component: "engine/degradation",
-        owner_files: ["src/verify/audit/degradation.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["diagnostic_code_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["降级事件用户可见有测试"],
-        demotion_conditions: ["降级检查产生大量误报"],
-        evidence_requirements: ["degradation 测试通过"],
-    },
-    // ── 27. 工作区隔离契约 ──
-    {
-        contract_id: "workspace_isolation_contract",
-        kind: "guard",
-        name: "工作区隔离契约",
-        state: "enforced",
-        owner_component: "engine/workspace_lease",
-        owner_files: ["src/server/tools/lazy_loaders.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["diagnostic_code_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["并发冲突检测有测试"],
-        demotion_conditions: ["lease 冲突检测产生大量误报"],
-        evidence_requirements: ["workspace lease 测试通过"],
-    },
-    // ── 28. 测试策略契约 ──
-    {
-        contract_id: "test_strategy_contract",
-        kind: "verification",
-        name: "测试策略契约",
-        state: "advisory",
-        owner_component: "engine/test_strategy",
-        owner_files: ["src/verify/audit/test_strategy.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: [],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: false,
-        promotion_conditions: ["enforced contract lifecycle test 覆盖完整"],
-        demotion_conditions: ["测试策略检查产生大量误报"],
-        evidence_requirements: ["test strategy 测试通过"],
-    },
-    // ── 29. 机制族映射契约 ──
-    {
-        contract_id: "mechanism_family_contract",
-        kind: "mechanism_family",
-        name: "机制族映射契约",
-        state: "deprecated",
-        owner_component: "engine/contract_registry",
-        owner_files: ["src/shared/contracts/contract_registry/registry.ts"],
-        test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_test_files: [],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["contract_governance"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: false,
-        promotion_conditions: ["所有设计机制族有 owner module 和测试"],
-        demotion_conditions: ["机制族映射产生大量误报"],
-        evidence_requirements: ["mechanism family registry 测试通过"],
-        migration_note: "机制族映射已合并到 contract_registry 和 dual_layer_mechanism_registry",
-    },
-    // ── 30. 语言策略契约 ──
-    {
-        contract_id: "language_policy_contract_entry",
-        kind: "language_policy",
-        name: "语言策略契约",
-        state: "advisory",
-        owner_component: "engine/language_policy_contract",
-        owner_files: ["src/context/knowledge/language_policy_contract.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_requirements: ["language policy 测试通过"],
-    },
-];
-//# sourceMappingURL=builtin_contracts_core_2.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"builtin_contracts_core_2.js","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/builtin_contracts_core_2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAqC;IACxE,iBAAiB;IACjB;QACE,WAAW,EAAE,iBAAiB;QAC9B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,MAAM;QACZ,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,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,gBAAgB,CAAC;QACxC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,0BAA0B,CAAC;KACpD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,0BAA0B;QACvC,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,oCAAoC;QACrD,WAAW,EAAE,CAAC,iDAAiD,CAAC;QAChE,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,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,kBAAkB,CAAC;QAC1C,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,kCAAkC,CAAC;KAC5D;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,uBAAuB;QACpC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,qBAAqB;QACtC,WAAW,EAAE,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,mCAAmC,CAAC;QACjD,oBAAoB,EAAE,CAAC,mCAAmC,CAAC;QAC3D,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,mBAAmB,EAAE,gCAAgC,CAAC;QACpE,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,4BAA4B,CAAC;QACpD,mBAAmB,EAAE,CAAC,uBAAuB,CAAC;QAC9C,qBAAqB,EAAE,CAAC,uBAAuB,CAAC;QAChD,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,CAAC,wBAAwB,CAAC;KAC3C;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,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,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,2BAA2B,CAAC;QACnD,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,6BAA6B,CAAC;KACvD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,WAAW,EAAE,CAAC,gDAAgD,CAAC;QAC/D,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,eAAe,CAAC;QACvC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,4BAA4B,CAAC;KACtD;IACD,kBAAkB;IAClB;QACE,WAAW,EAAE,0BAA0B;QACvC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,4BAA4B;QAC7C,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,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,6BAA6B,CAAC;QACrD,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,qBAAqB,EAAE,CAAC,0BAA0B,CAAC;KACpD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,2CAA2C,CAAC;QAC1D,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,EAAE,4BAA4B,CAAC;QACtE,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,uBAAuB,CAAC;QAC/C,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,wBAAwB,CAAC;KAClD;IACD,iBAAiB;IACjB;QACE,WAAW,EAAE,uBAAuB;QACpC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,8BAA8B;QAC/C,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,gCAAgC,CAAC;QAC9C,WAAW,EAAE,CAAC,6BAA6B,CAAC;QAC5C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,+CAA+C,CAAC;QACvE,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,4BAA4B,CAAC;KACtD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,6BAA6B;QAC1C,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,2BAA2B;QAC5C,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,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,4BAA4B,CAAC;QACnE,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,gBAAgB,CAAC;QACxC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,yBAAyB,CAAC;KACnD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,yBAAyB;QACtC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,uBAAuB;QACxC,WAAW,EAAE,CAAC,oCAAoC,CAAC;QACnD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,EAAE,2BAA2B,CAAC;QACrE,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,0BAA0B,CAAC;QAClD,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,qBAAqB,CAAC;KAC/C;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,oBAAoB;QACrC,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,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,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,kBAAkB,CAAC;KAC5C;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,wBAAwB;QACzC,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,CAAC,mDAAmD,CAAC;QAC3E,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,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,kBAAkB,CAAC;QACzC,qBAAqB,EAAE,CAAC,sBAAsB,CAAC;KAChD;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,wBAAwB;QACrC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,sBAAsB;QACvC,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,uCAAuC,CAAC;QAC/D,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE,CAAC,oBAAoB,CAAC;KAC9C;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,2BAA2B;QACxC,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,YAAY;QACnB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,oDAAoD,CAAC;QACnE,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,2BAA2B,CAAC;QACnD,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,qBAAqB,EAAE,CAAC,gCAAgC,CAAC;QACzD,cAAc,EAAE,6DAA6D;KAC9E;IACD,mBAAmB;IACnB;QACE,WAAW,EAAE,gCAAgC;QAC7C,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,iCAAiC;QAClD,WAAW,EAAE,CAAC,mDAAmD,CAAC;QAClE,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,gBAAgB,CAAC;QACxC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,sBAAsB,CAAC;KAChD;CACO,CAAC"}

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

@@ -1,16 +0,0 @@
-/**
- * Builtin Contracts Extended — 契约层模块。
- *
- * 职责边界：
- * - 负责：BUILTIN_CONTRACTS_EXTENDED 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-import type { ContractRegistryEntry } from "./types.js";
-export declare const BUILTIN_CONTRACTS_EXTENDED: readonly ContractRegistryEntry[];
-//# sourceMappingURL=builtin_contracts_extended.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"builtin_contracts_extended.d.ts","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/builtin_contracts_extended.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAExD,eAAO,MAAM,0BAA0B,EAAE,SAAS,qBAAqB,EAma7D,CAAC"}