soloforge 1.4.16 → 2.0.0

package/dist/engine/contracts/mechanism_contract_registry/contracts-platform.js

@@ -0,0 +1,378 @@
+/**
+ * Mechanism Contract Registry — 平台与扩展机制契约（9-28）。
+ *
+ * 包括 core_engineering_principles、delivery、input_material、
+ * user_feedback、artifact、extension、platform_compatibility、
+ * metric_governance、decision_sovereignty、brainstorm、detail_discipline、
+ * first_principles、architecture_design、decision_workshop、
+ * architecture_decision_workshop、standard_asset_coverage、design_artifact_pack、
+ * standard_asset_contract、template_asset_visibility、existing_system_analysis、
+ * coding_readiness、local_acceptance、workflow_template_pack、evolution_regression。
+ */
+/** 平台与扩展 P0 机制契约 */
+export const PLATFORM_CONTRACTS = [
+    // ── 9. core_engineering_principles ──
+    {
+        id: "mc-core-engineering-principles",
+        name: "Core Engineering Principles",
+        owner_module: "src/engine/audit/core_engineering_principles.ts",
+        owner_exports: ["checkCorePrinciples", "checkThinkBeforeCoding", "checkSimplicityFirst", "checkSurgicalChanges", "checkGoalDrivenExecution", "validateAntiCircumvention"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "sf_gate_check 验证阶段 / sf_governance_report 治理报告",
+        required_inputs: ["route", "execution_shape", "changed_files", "declared_scope"],
+        preconditions: ["分类已完成，route 和 execution_shape 已确定"],
+        outputs: ["CorePrinciplesReport", "CorePrinciplesCheckResult[]", "task_level"],
+        downstream_consumers: ["verifier", "governance_report", "adapter_tools"],
+        state_transitions: [
+            "principles_failed → repair_reverify",
+            "principles_passed → advance_next",
+        ],
+        failure_modes: [
+            "required 原则检查失败但被忽略",
+            "伪满足: 声称 passed 但无证据引用",
+            "blocking 不确定被伪装为 assumption",
+        ],
+        degradation_behavior: "检查模块不可用时降级为 advisory，不阻断主链路",
+        tests: ["tests/engine/core_engineering_principles.test.ts"],
+        lifecycle_tests: ["tests/engine/core_engineering_principles.test.ts", "tests/engine/dual_layer_mechanism_registry.test.ts"],
+    },
+    // ── 交付 ──
+    {
+        id: "mc-delivery-gate",
+        name: "Delivery Gate",
+        owner_module: "src/engine/audit/delivery.ts",
+        owner_exports: ["deliver", "generateChangelogEntry"],
+        mechanism_type: "delivery",
+        status: "enforced",
+        trigger: "sf_stage_advance 调用时，gate_check 通过后",
+        required_inputs: ["taskContext", "config"],
+        preconditions: ["verification passed", "no active write lease conflict"],
+        outputs: ["DeliveryResult", "ChangelogEntry"],
+        downstream_consumers: ["adapter_tools", "developer_sovereignty"],
+        failure_modes: [
+            "delivery without verification",
+            "commit conflict during push",
+            "PR creation failure",
+        ],
+        degradation_behavior: "delivery 失败时降级为 manual_required，保留 commit",
+        tests: ["tests/engine/delivery.test.ts"],
+        lifecycle_tests: ["tests/engine/delivery.test.ts"],
+    },
+    // ── zero_config_init（已移除：detector/fingerprint + resolver 替代）──
+    // ── 12. input_material_contract ──
+    {
+        id: "mc-input-material-contract",
+        name: "输入材料契约",
+        owner_module: "src/engine/pipeline/input_material_contract_registry.ts",
+        owner_exports: ["canSupportStrongConclusion", "isWriteAllowed"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "架构设计",
+        required_inputs: ["input_materials"],
+        preconditions: ["privacy_gate_pass"],
+        outputs: ["InputMaterialContract"],
+        downstream_consumers: ["sf_stage_execute", "privacy_gate"],
+        state_transitions: [],
+        cleanup_hooks: [],
+        failure_modes: ["unregistered_source", "invalid_material_type"],
+        degradation_behavior: "permissive mode fallback",
+        tests: ["tests/engine/input_material_contract_registry.test.ts"],
+        lifecycle_tests: ["tests/engine/input_material_contract_registry.test.ts"],
+    },
+    // ── 13. user_feedback ──
+    {
+        id: "mc-user-feedback",
+        name: "用户反馈契约",
+        owner_module: "src/engine/contracts/user_feedback_contract.ts",
+        owner_exports: ["createUserFeedbackMessage", "validateUserFeedbackContract", "getAllowedFeedbackKinds"],
+        mechanism_type: "feedback",
+        status: "enforced",
+        trigger: "联调验证",
+        required_inputs: ["verification_result"],
+        preconditions: [],
+        outputs: ["UserFeedbackMessage"],
+        downstream_consumers: ["sf_stage_advance", "sf_gate_check"],
+        state_transitions: [],
+        cleanup_hooks: [],
+        failure_modes: ["forbidden_wording", "severity_mismatch"],
+        degradation_behavior: "simple message fallback",
+        tests: ["tests/engine/user_feedback_contract.test.ts"],
+        lifecycle_tests: ["tests/engine/user_feedback_contract.test.ts"],
+    },
+    // ── 14. artifact_contract ──
+    {
+        id: "mc-artifact-contract",
+        name: "产物契约",
+        owner_module: "src/engine/contracts/artifact_contract_registry.ts",
+        owner_exports: ["canTransition", "transitionRequiresVerification"],
+        mechanism_type: "artifact_management",
+        status: "enforced",
+        trigger: "架构设计",
+        required_inputs: ["output_artifact"],
+        preconditions: [],
+        outputs: ["ArtifactContract", "OutputArtifact"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance"],
+        state_transitions: [],
+        cleanup_hooks: [],
+        failure_modes: ["missing_contract", "overwrite_violation"],
+        degradation_behavior: "manual artifact management fallback",
+        tests: ["tests/engine/artifact_contract_registry.test.ts"],
+        lifecycle_tests: ["tests/engine/artifact_contract_registry.test.ts"],
+    },
+    // ── config_precedence_contract（已移除：三层配置冲突检测替代优先级契约）──
+    // ══ 扩展平台机制契约 ══
+    // ── 16. extension_contract (problem-39) ──
+    {
+        id: "mc-extension-contract",
+        name: "扩展生命周期与权限管控",
+        owner_module: "src/engine/contracts/extension_contract.ts",
+        owner_exports: ["validateExtensionManifest", "evaluateExtensionLifecycle", "grantExtensionPermissions"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "扩展注册与权限申请时",
+        required_inputs: ["extension_manifest", "capability_declaration"],
+        preconditions: ["extension_id 非空"],
+        outputs: ["ExtensionManifest", "ExtensionLifecycleResult", "PermissionGrantResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check"],
+        failure_modes: ["第三方扩展自称 enforced", "高风险权限未审批", "非法生命周期转移"],
+        degradation_behavior: "扩展不合规时拒绝注册",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 17. platform_compatibility (problem-40) ──
+    {
+        id: "mc-platform-compatibility",
+        name: "跨平台路径安全",
+        owner_module: "src/engine/contracts/platform_context.ts",
+        owner_exports: ["normalizePathRef", "checkPathSafety", "detectPlatformContext"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "文件路径操作时",
+        required_inputs: ["raw_path", "platform_context", "scope_boundary"],
+        preconditions: ["scope_boundary 已设定"],
+        outputs: ["NormalizedPathRef", "PathSafetyCheck"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check"],
+        failure_modes: ["路径逃逸未检测", "大小写冲突", "scope 边界绕过"],
+        degradation_behavior: "路径不安全时拒绝操作",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 18. metric_governance (problem-19) ──
+    {
+        id: "mc-metric-governance",
+        name: "指标治理",
+        owner_module: "src/engine/contracts/metric_governance.ts",
+        owner_exports: ["evaluateMetrics", "evaluateGovernanceAction", "createGovernanceFinding"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "治理指标评估时",
+        required_inputs: ["metric_samples"],
+        preconditions: [],
+        outputs: ["MetricsEvaluationResult", "GovernanceFinding"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["skipped 算 passed", "高风险动作自动触发"],
+        degradation_behavior: "指标不合规时标记为 failed",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 19. decision_sovereignty (problem-16) ──
+    {
+        id: "mc-decision-sovereignty",
+        name: "技术决策主权",
+        owner_module: "src/engine/contracts/technology_decision.ts",
+        owner_exports: ["validateTechnologyDecision", "evaluateDecisionExecution", "createDecisionRecord"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "技术决策评估时",
+        required_inputs: ["decision_contract", "decision_record"],
+        preconditions: [],
+        outputs: ["TechnologyDecisionContract", "DecisionValidationResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check"],
+        failure_modes: ["architecture 无 human gate", "推荐状态可执行"],
+        degradation_behavior: "决策不合规时拒绝执行",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 20. brainstorm_contract (problem-41) ──
+    {
+        id: "mc-brainstorm-contract",
+        name: "脑暴与方案探索",
+        owner_module: "src/engine/contracts/brainstorm_contract.ts",
+        owner_exports: ["validateBrainstormSession", "canBrainstormAutoExecute", "createBrainstormSession"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "技术选择脑暴时",
+        required_inputs: ["problem_statement", "trigger"],
+        preconditions: [],
+        outputs: ["BrainstormSession", "BrainstormValidationResult"],
+        downstream_consumers: ["sf_stage_execute"],
+        failure_modes: ["脑暴无候选方案", "脑暴绕过决策主权"],
+        degradation_behavior: "脑暴不完整时阻断",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 21. detail_discipline (problem-26) ──
+    {
+        id: "mc-detail-discipline",
+        name: "细节纪律",
+        owner_module: "src/engine/contracts/detail_discipline.ts",
+        owner_exports: ["performDetailCheck", "checkDetailGateIntegration", "createDetailDisciplineContract"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "实现阶段细节检查时",
+        required_inputs: ["contract", "task_id", "phase"],
+        preconditions: [],
+        outputs: ["DetailDisciplineCheck", "DetailGateIntegrationResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check", "delivery"],
+        failure_modes: ["缺失关键维度", "未接入交付 gate"],
+        degradation_behavior: "细节不足时阻断",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 22. first_principles (problem-27) ──
+    {
+        id: "mc-first-principles",
+        name: "第一性原理",
+        owner_module: "src/engine/contracts/first_principles.ts",
+        owner_exports: ["performFirstPrinciplesCheck", "validateFirstPrinciplesForHighImpact", "createFirstPrinciplesFrame"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "高影响变更推理时",
+        required_inputs: ["problem_id", "user_goal"],
+        preconditions: [],
+        outputs: ["FirstPrinciplesFrame", "FirstPrinciplesCheckResult"],
+        downstream_consumers: ["sf_stage_execute"],
+        failure_modes: ["缺少 fundamental_need", "无法阻断错误前提"],
+        degradation_behavior: "推理不完整时阻断",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 23. architecture_design (problem-49) ──
+    {
+        id: "mc-architecture-design",
+        name: "架构设计审查",
+        owner_module: "src/engine/contracts/architecture_design_contract.ts",
+        owner_exports: ["reviewArchitectureDesign", "validateOutputDirectoryDecision", "validateMermaidDiagrams"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "架构设计阶段时",
+        required_inputs: ["architecture_contract"],
+        preconditions: [],
+        outputs: ["ArchitectureDesignContract", "ArchitectureReviewResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check"],
+        failure_modes: ["输出目录未确认", "Mermaid 不可渲染"],
+        degradation_behavior: "设计不合规时阻断交付",
+        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
+    },
+    // ── 第六批: 通用决策研讨机制（问题六十一） ──
+    {
+        id: "mc-decision-workshop",
+        name: "通用决策研讨机制",
+        owner_module: "src/engine/contracts/decision_workshop.ts",
+        owner_exports: ["requiresDecisionWorkshop", "createDecisionWorkshop", "evaluateDecisionWorkshop", "applyDecisionWorkshopGate"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "高影响/不确定任务执行前",
+        required_inputs: ["workflow_intent", "task_type", "intent"],
+        preconditions: ["任务意图已识别"],
+        outputs: ["DecisionWorkshopContract", "DecisionWorkshopGateResult"],
+        downstream_consumers: ["sf_stage_execute"],
+        failure_modes: ["必须域未确认即执行", "现有系统缺证据", "用户确认引用缺失"],
+        degradation_behavior: "缺决策或确认时返回待讨论清单并阻断执行",
+        tests: ["tests/engine/decision_workshop.test.ts"],
+        lifecycle_tests: ["tests/engine/decision_workshop.test.ts"],
+    },
+    // ── 第六批: 架构决策研讨机制（问题六十一内置子包） ──
+    {
+        id: "mc-architecture-decision-workshop",
+        name: "架构决策研讨与确认门",
+        owner_module: "src/engine/contracts/architecture_decision_workshop.ts",
+        owner_exports: ["createArchitectureDecisionWorkshop", "evaluateArchitectureDecisionWorkshop", "requiresArchitectureDecisionWorkshop"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "architecture_design 正式设计生成前",
+        required_inputs: ["workflow_intent", "architecture_decision_workshop"],
+        preconditions: ["架构意图已识别"],
+        outputs: ["ArchitectureDecisionWorkshopContract", "ArchitectureWorkshopGateResult"],
+        downstream_consumers: ["sf_stage_execute", "mc-architecture-design", "mc-design-artifact-pack"],
+        failure_modes: ["六类决策域未确认即生成正式架构设计", "现有系统缺现状差距证据", "决策返工未传播"],
+        degradation_behavior: "缺决策或确认时返回中文待讨论清单并阻断正式设计 prompt",
+        tests: ["tests/engine/architecture_decision_workshop.test.ts"],
+        lifecycle_tests: ["tests/adapters/architecture_design_workshop_mainpath.test.ts"],
+    },
+    // ── 第六批: 标准资产覆盖审计机制（问题六十二） ──
+    {
+        id: "mc-standard-asset-coverage",
+        name: "标准资产覆盖审计",
+        owner_module: "src/engine/templates/standard_asset_coverage.ts",
+        owner_exports: ["auditStandardAssetCoverage"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "发布门槛验证、validate-release",
+        required_inputs: ["rootDir", "consumableAssetPaths", "mechanismOwners"],
+        preconditions: ["consumable_asset_registry 已加载"],
+        outputs: ["StandardAssetCoverageReport"],
+        downstream_consumers: ["validate-release", "sf_gate_check"],
+        failure_modes: ["P0 资产缺少承载路径", "P0 资产未注册", "P0 资产缺少 owner"],
+        degradation_behavior: "覆盖缺口时 hard_fail 阻断发布",
+        tests: ["tests/engine/standard_asset_coverage.test.ts"],
+        lifecycle_tests: ["tests/engine/standard_asset_coverage.test.ts"],
+    },
+    // ── 第六批: 设计产物包机制（问题六十二子机制） ──
+    {
+        id: "mc-design-artifact-pack",
+        name: "设计产物包与存量复验门",
+        owner_module: "src/engine/contracts/design_artifact_pack.ts",
+        owner_exports: ["createDesignArtifactPack", "verifyDesignArtifactPack", "defaultDesignArtifactPaths"],
+        mechanism_type: "artifact_management",
+        status: "enforced",
+        trigger: "架构、数据库或 API 设计产物生成、升级和交付前",
+        required_inputs: ["confirmed_architecture_decisions", "design_artifact_paths"],
+        preconditions: ["架构决策已闭合或旧产物进入复验"],
+        outputs: ["DesignArtifactPackContract", "DesignArtifactVerificationResult"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["API 字段规格缺失", "SQL 不可执行", "跨文档冲突", "旧文档未经复验继续编码"],
+        degradation_behavior: "产物不一致时标记 verification_failed 并阻断编码/交付",
+        tests: ["tests/engine/design_artifact_pack.test.ts"],
+        lifecycle_tests: ["tests/adapters/architecture_design_workshop_mainpath.test.ts"],
+    },
+    // ── 第六批: 标准资产契约化（问题六十三） ──
+    {
+        id: "mc-standard-asset-contract",
+        name: "标准资产契约化",
+        owner_module: "src/engine/templates/standard_asset_contract.ts",
+        owner_exports: ["verifyStandardAssetContract", "getStandardAssetContractSchema", "matchTemplateContract", "verifyOutputAgainstContract", "createRepairReverifyDirective", "isLowRiskTask", "isDraftDocument"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "正式产物验收、模板同步和交付门",
+        required_inputs: ["template_path", "product_path"],
+        preconditions: ["产物路由匹配标准资产类型"],
+        outputs: ["StandardAssetContract", "ContractVerificationResult", "RepairReverifyDirective"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance", "CLI audit"],
+        failure_modes: ["P0 模板缺契约字段", "验收失败未进入 repair_reverify", "草稿被当作正式产物"],
+        degradation_behavior: "契约不完整时阻断交付并进入修复闭环",
+        tests: ["tests/engine/standard_asset_contract.test.ts"],
+        lifecycle_tests: ["tests/engine/standard_asset_contract.test.ts"],
+    },
+    // ── 第六批: 模板资产可见性与注入边界（问题六十四） ──
+    {
+        id: "mc-template-asset-visibility",
+        name: "模板资产可见性与注入边界",
+        owner_module: "src/engine/templates/template_asset_visibility.ts",
+        owner_exports: ["isInherentlyInternal", "inferVisibilityFromPath", "parseFrontmatterVisibility", "detectVisibilityConflict", "scanInternalTerms", "filterAssetsForUserProject", "filterSyncAssets", "checkAssetVisibilityGate", "filterByTechStack", "isScaffoldAsset", "isPackageInternalPath", "auditTemplateVisibility", "auditAllTemplateAssets"],
+        mechanism_type: "access_control",
+        status: "enforced",
+        trigger: "init、sync、索引、注入、审计和脚手架入口",
+        required_inputs: ["asset_path", "asset_frontmatter"],
+        preconditions: [],
+        outputs: ["AssetVisibilityReport", "VisibilityConflictResult", "SyncFilterResult"],
+        downstream_consumers: ["soloforge init", "sync-templates", "sf_stage_execute", "sf_gate_check", "sf_scaffold"],
+        failure_modes: ["内部资产泄漏到用户项目", "可见性冲突未解决", "fallback 绕过 gate"],
+        degradation_behavior: "冲突资产隔离并请求用户确认",
+        tests: ["tests/engine/template_asset_visibility.test.ts"],
+        lifecycle_tests: ["tests/engine/template_asset_visibility.test.ts"],
+    },
+];
+//# sourceMappingURL=contracts-platform.js.map

package/dist/engine/contracts/mechanism_contract_registry/contracts-platform.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts-platform.js","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/contracts-platform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,oBAAoB;AACpB,MAAM,CAAC,MAAM,kBAAkB,GAAwB;IACrD,uCAAuC;IACvC;QACE,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,6BAA6B;QACnC,YAAY,EAAE,iDAAiD;QAC/D,aAAa,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,2BAA2B,CAAC;QACzK,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,gDAAgD;QACzD,eAAe,EAAE,CAAC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,gBAAgB,CAAC;QAChF,aAAa,EAAE,CAAC,mCAAmC,CAAC;QACpD,OAAO,EAAE,CAAC,sBAAsB,EAAE,6BAA6B,EAAE,YAAY,CAAC;QAC9E,oBAAoB,EAAE,CAAC,UAAU,EAAE,mBAAmB,EAAE,eAAe,CAAC;QACxE,iBAAiB,EAAE;YACjB,qCAAqC;YACrC,kCAAkC;SACnC;QACD,aAAa,EAAE;YACb,qBAAqB;YACrB,uBAAuB;YACvB,6BAA6B;SAC9B;QACD,oBAAoB,EAAE,6BAA6B;QACnD,KAAK,EAAE,CAAC,kDAAkD,CAAC;QAC3D,eAAe,EAAE,CAAC,kDAAkD,EAAE,oDAAoD,CAAC;KAC5H;IACD,WAAW;IACX;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,YAAY,EAAE,8BAA8B;QAC5C,aAAa,EAAE,CAAC,SAAS,EAAE,wBAAwB,CAAC;QACpD,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,qCAAqC;QAC9C,eAAe,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC1C,aAAa,EAAE,CAAC,qBAAqB,EAAE,gCAAgC,CAAC;QACxE,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC7C,oBAAoB,EAAE,CAAC,eAAe,EAAE,uBAAuB,CAAC;QAChE,aAAa,EAAE;YACb,+BAA+B;YAC/B,6BAA6B;YAC7B,qBAAqB;SACtB;QACD,oBAAoB,EAAE,2CAA2C;QACjE,KAAK,EAAE,CAAC,+BAA+B,CAAC;QACxC,eAAe,EAAE,CAAC,+BAA+B,CAAC;KACnD;IAED,gEAAgE;IAEhE,oCAAoC;IACpC;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,yDAAyD;QACvE,aAAa,EAAE,CAAC,4BAA4B,EAAE,gBAAgB,CAAC;QAC/D,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,MAAM;QACf,eAAe,EAAE,CAAC,iBAAiB,CAAC;QACpC,aAAa,EAAE,CAAC,mBAAmB,CAAC;QACpC,OAAO,EAAE,CAAC,uBAAuB,CAAC;QAClC,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,cAAc,CAAC;QAC1D,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,CAAC,qBAAqB,EAAE,uBAAuB,CAAC;QAC/D,oBAAoB,EAAE,0BAA0B;QAChD,KAAK,EAAE,CAAC,uDAAuD,CAAC;QAChE,eAAe,EAAE,CAAC,uDAAuD,CAAC;KAC3E;IAED,0BAA0B;IAC1B;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,gDAAgD;QAC9D,aAAa,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,EAAE,yBAAyB,CAAC;QACvG,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,MAAM;QACf,eAAe,EAAE,CAAC,qBAAqB,CAAC;QACxC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC3D,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;QACzD,oBAAoB,EAAE,yBAAyB;QAC/C,KAAK,EAAE,CAAC,6CAA6C,CAAC;QACtD,eAAe,EAAE,CAAC,6CAA6C,CAAC;KACjE;IAED,8BAA8B;IAC9B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,oDAAoD;QAClE,aAAa,EAAE,CAAC,eAAe,EAAE,gCAAgC,CAAC;QAClE,cAAc,EAAE,qBAAqB;QACrC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,MAAM;QACf,eAAe,EAAE,CAAC,iBAAiB,CAAC;QACpC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;QAC/C,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAC3D,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QAC1D,oBAAoB,EAAE,qCAAqC;QAC3D,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,CAAC,iDAAiD,CAAC;KACrE;IAED,uDAAuD;IAEvD,iBAAiB;IAEjB,4CAA4C;IAC5C;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,4CAA4C;QAC1D,aAAa,EAAE,CAAC,2BAA2B,EAAE,4BAA4B,EAAE,2BAA2B,CAAC;QACvG,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,YAAY;QACrB,eAAe,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QACjE,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,mBAAmB,EAAE,0BAA0B,EAAE,uBAAuB,CAAC;QACnF,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC3D,aAAa,EAAE,CAAC,kBAAkB,EAAE,UAAU,EAAE,UAAU,CAAC;QAC3D,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,gDAAgD;IAChD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,0CAA0C;QACxD,aAAa,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,uBAAuB,CAAC;QAC/E,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,UAAU,EAAE,kBAAkB,EAAE,gBAAgB,CAAC;QACnE,aAAa,EAAE,CAAC,oBAAoB,CAAC;QACrC,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;QACjD,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC3D,aAAa,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC;QACjD,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,2CAA2C;IAC3C;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,iBAAiB,EAAE,0BAA0B,EAAE,yBAAyB,CAAC;QACzF,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,gBAAgB,CAAC;QACnC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,yBAAyB,EAAE,mBAAmB,CAAC;QACzD,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAC3D,aAAa,EAAE,CAAC,kBAAkB,EAAE,WAAW,CAAC;QAChD,oBAAoB,EAAE,kBAAkB;QACxC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,8CAA8C;IAC9C;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,6CAA6C;QAC3D,aAAa,EAAE,CAAC,4BAA4B,EAAE,2BAA2B,EAAE,sBAAsB,CAAC;QAClG,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;QACzD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;QACnE,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC3D,aAAa,EAAE,CAAC,2BAA2B,EAAE,SAAS,CAAC;QACvD,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,6CAA6C;IAC7C;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,6CAA6C;QAC3D,aAAa,EAAE,CAAC,2BAA2B,EAAE,0BAA0B,EAAE,yBAAyB,CAAC;QACnG,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,mBAAmB,EAAE,SAAS,CAAC;QACjD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;QAC5D,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;QAC1C,aAAa,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;QACtC,oBAAoB,EAAE,UAAU;QAChC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,2CAA2C;IAC3C;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,oBAAoB,EAAE,4BAA4B,EAAE,gCAAgC,CAAC;QACrG,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,WAAW;QACpB,eAAe,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC;QACjD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,uBAAuB,EAAE,6BAA6B,CAAC;QACjE,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,EAAE,UAAU,CAAC;QACvE,aAAa,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC;QACvC,oBAAoB,EAAE,SAAS;QAC/B,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,0CAA0C;IAC1C;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,0CAA0C;QACxD,aAAa,EAAE,CAAC,6BAA6B,EAAE,sCAAsC,EAAE,4BAA4B,CAAC;QACpH,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,UAAU;QACnB,eAAe,EAAE,CAAC,YAAY,EAAE,WAAW,CAAC;QAC5C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,sBAAsB,EAAE,4BAA4B,CAAC;QAC/D,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;QAC1C,aAAa,EAAE,CAAC,qBAAqB,EAAE,UAAU,CAAC;QAClD,oBAAoB,EAAE,UAAU;QAChC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,6CAA6C;IAC7C;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,sDAAsD;QACpE,aAAa,EAAE,CAAC,0BAA0B,EAAE,iCAAiC,EAAE,yBAAyB,CAAC;QACzG,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,uBAAuB,CAAC;QAC1C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;QACnE,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC3D,aAAa,EAAE,CAAC,SAAS,EAAE,cAAc,CAAC;QAC1C,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,6BAA6B;IAC7B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,0BAA0B,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,2BAA2B,CAAC;QAC9H,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,cAAc;QACvB,eAAe,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC3D,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,0BAA0B,EAAE,4BAA4B,CAAC;QACnE,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;QAC1C,aAAa,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;QACnD,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,wCAAwC,CAAC;QACjD,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,iCAAiC;IACjC;QACE,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,wDAAwD;QACtE,aAAa,EAAE,CAAC,oCAAoC,EAAE,sCAAsC,EAAE,sCAAsC,CAAC;QACrI,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,6BAA6B;QACtC,eAAe,EAAE,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;QACtE,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,sCAAsC,EAAE,gCAAgC,CAAC;QACnF,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,wBAAwB,EAAE,yBAAyB,CAAC;QAC/F,aAAa,EAAE,CAAC,mBAAmB,EAAE,aAAa,EAAE,SAAS,CAAC;QAC9D,oBAAoB,EAAE,gCAAgC;QACtD,KAAK,EAAE,CAAC,qDAAqD,CAAC;QAC9D,eAAe,EAAE,CAAC,8DAA8D,CAAC;KAClF;IAED,+BAA+B;IAC/B;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,iDAAiD;QAC/D,aAAa,EAAE,CAAC,4BAA4B,CAAC;QAC7C,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,yBAAyB;QAClC,eAAe,EAAE,CAAC,SAAS,EAAE,sBAAsB,EAAE,iBAAiB,CAAC;QACvE,aAAa,EAAE,CAAC,+BAA+B,CAAC;QAChD,OAAO,EAAE,CAAC,6BAA6B,CAAC;QACxC,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC3D,aAAa,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,eAAe,CAAC;QAC3D,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,8CAA8C,CAAC;QACvD,eAAe,EAAE,CAAC,8CAA8C,CAAC;KAClE;IAED,+BAA+B;IAC/B;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,8CAA8C;QAC5D,aAAa,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,EAAE,4BAA4B,CAAC;QACrG,cAAc,EAAE,qBAAqB;QACrC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,2BAA2B;QACpC,eAAe,EAAE,CAAC,kCAAkC,EAAE,uBAAuB,CAAC;QAC9E,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,4BAA4B,EAAE,kCAAkC,CAAC;QAC3E,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAC3D,aAAa,EAAE,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC;QACjE,oBAAoB,EAAE,uCAAuC;QAC7D,KAAK,EAAE,CAAC,2CAA2C,CAAC;QACpD,eAAe,EAAE,CAAC,8DAA8D,CAAC;KAClF;IAED,4BAA4B;IAC5B;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,iDAAiD;QAC/D,aAAa,EAAE,CAAC,6BAA6B,EAAE,gCAAgC,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,+BAA+B,EAAE,eAAe,EAAE,iBAAiB,CAAC;QAC7M,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,iBAAiB;QAC1B,eAAe,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,aAAa,EAAE,CAAC,cAAc,CAAC;QAC/B,OAAO,EAAE,CAAC,uBAAuB,EAAE,4BAA4B,EAAE,yBAAyB,CAAC;QAC3F,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,EAAE,WAAW,CAAC;QACxE,aAAa,EAAE,CAAC,YAAY,EAAE,yBAAyB,EAAE,WAAW,CAAC;QACrE,oBAAoB,EAAE,mBAAmB;QACzC,KAAK,EAAE,CAAC,8CAA8C,CAAC;QACvD,eAAe,EAAE,CAAC,8CAA8C,CAAC;KAClE;IAED,iCAAiC;IACjC;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,cAAc;QACpB,YAAY,EAAE,mDAAmD;QACjE,aAAa,EAAE,CAAC,sBAAsB,EAAE,yBAAyB,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,4BAA4B,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,yBAAyB,EAAE,wBAAwB,CAAC;QACrV,cAAc,EAAE,gBAAgB;QAChC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,0BAA0B;QACnC,eAAe,EAAE,CAAC,YAAY,EAAE,mBAAmB,CAAC;QACpD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,uBAAuB,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;QAClF,oBAAoB,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,eAAe,EAAE,aAAa,CAAC;QAC9G,aAAa,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,kBAAkB,CAAC;QAC9D,oBAAoB,EAAE,eAAe;QACrC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;CACF,CAAC"}

package/dist/engine/contracts/mechanism_contract_registry/index.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Mechanism Contract Registry — P0 自治理契约。
+ *
+ * 主管线上的每个 P0 机制都在此注册，包含精确的输入、输出、
+ * 失败模式和测试锚点，以便 validateMechanismContracts() 强制执行结构不变量。
+ *
+ * 模块拆分：
+ *   - types.ts              类型定义
+ *   - contracts-pipeline.ts  核心管线机制契约
+ *   - contracts-platform.ts  平台与扩展机制契约
+ *   - contracts-governance.ts 治理与安全机制契约
+ *   - contracts-audit.ts     审计与管线架构机制契约
+ *   - validation.ts          查询函数与治理验证
+ */
+export type { MechanismType, MechanismStatus, MechanismContract, MechanismGovernanceFinding, } from "./types.js";
+export { P0_MECHANISM_CONTRACTS } from "./validation.js";
+export { listMechanismContracts, findMechanismContractById, listMechanismContractsByStatus, } from "./validation.js";
+export { validateMechanismContracts } from "./validation.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/engine/contracts/mechanism_contract_registry/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,YAAY,EACV,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,0BAA0B,GAC3B,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAGzD,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/engine/contracts/mechanism_contract_registry/index.js

@@ -0,0 +1,21 @@
+/**
+ * Mechanism Contract Registry — P0 自治理契约。
+ *
+ * 主管线上的每个 P0 机制都在此注册，包含精确的输入、输出、
+ * 失败模式和测试锚点，以便 validateMechanismContracts() 强制执行结构不变量。
+ *
+ * 模块拆分：
+ *   - types.ts              类型定义
+ *   - contracts-pipeline.ts  核心管线机制契约
+ *   - contracts-platform.ts  平台与扩展机制契约
+ *   - contracts-governance.ts 治理与安全机制契约
+ *   - contracts-audit.ts     审计与管线架构机制契约
+ *   - validation.ts          查询函数与治理验证
+ */
+// ── P0 契约列表 ──
+export { P0_MECHANISM_CONTRACTS } from "./validation.js";
+// ── 查询函数 ──
+export { listMechanismContracts, findMechanismContractById, listMechanismContractsByStatus, } from "./validation.js";
+// ── 治理验证 ──
+export { validateMechanismContracts } from "./validation.js";
+//# sourceMappingURL=index.js.map

package/dist/engine/contracts/mechanism_contract_registry/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAUH,gBAAgB;AAChB,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,aAAa;AACb,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,iBAAiB,CAAC;AAEzB,aAAa;AACb,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/engine/contracts/mechanism_contract_registry/types.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Mechanism Contract Registry — 类型定义。
+ */
+export type MechanismType = "routing" | "classification" | "expansion" | "knowledge_matching" | "state_lifecycle" | "planning" | "verification" | "review" | "analysis" | "scaffolding" | "delivery" | "learning" | "governance" | "safety" | "observability" | "initialization" | "feedback" | "artifact_management" | "contract_enforcement" | "access_control";
+export type MechanismStatus = "enforced" | "advisory" | "experimental" | "deprecated";
+export interface MechanismContract {
+    id: string;
+    name: string;
+    owner_module: string;
+    owner_files?: string[];
+    owner_exports?: string[];
+    mechanism_type: MechanismType;
+    status: MechanismStatus;
+    trigger: string;
+    required_inputs: string[];
+    preconditions: string[];
+    outputs: string[];
+    downstream_consumers: string[];
+    state_transitions?: string[];
+    cleanup_hooks?: string[];
+    failure_modes: string[];
+    degradation_behavior: string;
+    tests: string[];
+    lifecycle_tests: string[];
+    notes?: string;
+}
+export interface MechanismGovernanceFinding {
+    severity: "hard_fail" | "advisory";
+    contract_id: string;
+    field: string;
+    message: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/engine/contracts/mechanism_contract_registry/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,aAAa,GACrB,SAAS,GACT,gBAAgB,GAChB,WAAW,GACX,oBAAoB,GACpB,iBAAiB,GACjB,UAAU,GACV,cAAc,GACd,QAAQ,GACR,UAAU,GACV,aAAa,GACb,UAAU,GACV,UAAU,GACV,YAAY,GACZ,QAAQ,GACR,eAAe,GACf,gBAAgB,GAChB,UAAU,GACV,qBAAqB,GACrB,sBAAsB,GACtB,gBAAgB,CAAC;AAErB,MAAM,MAAM,eAAe,GACvB,UAAU,GACV,UAAU,GACV,cAAc,GACd,YAAY,CAAC;AAEjB,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,aAAa,CAAC;IAC9B,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB"}

package/dist/engine/contracts/mechanism_contract_registry/types.js

@@ -0,0 +1,5 @@
+/**
+ * Mechanism Contract Registry — 类型定义。
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/engine/contracts/mechanism_contract_registry/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/types.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/engine/contracts/mechanism_contract_registry/validation.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Mechanism Contract Registry — 查询函数与治理验证。
+ */
+import type { MechanismContract, MechanismGovernanceFinding, MechanismStatus } from "./types.js";
+/** P0 级机制契约列表 */
+export declare const P0_MECHANISM_CONTRACTS: MechanismContract[];
+/**
+ * 执行 listMechanismContracts 操作
+ */
+export declare function listMechanismContracts(): MechanismContract[];
+/**
+ * 根据契约 ID 查找机制契约。
+ * @param id - 机制契约 ID
+ * @returns 匹配的机制契约，未找到时返回 undefined
+ */
+export declare function findMechanismContractById(id: string): MechanismContract | undefined;
+/**
+ * 执行 listMechanismContractsByStatus 操作
+ */
+export declare function listMechanismContractsByStatus(status: MechanismStatus): MechanismContract[];
+/**
+ * 校验机制契约的结构完整性和一致性。
+ * @param contracts - 待校验的契约列表，默认使用内置 P0 契约
+ * @param rootDir - 项目根目录，默认为当前工作目录
+ * @returns 治理发现列表（hard_fail 为硬性错误，advisory 为建议项）
+ */
+export declare function validateMechanismContracts(contracts?: MechanismContract[], rootDir?: string): MechanismGovernanceFinding[];
+//# sourceMappingURL=validation.d.ts.map

package/dist/engine/contracts/mechanism_contract_registry/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,OAAO,KAAK,EAAE,iBAAiB,EAAE,0BAA0B,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAQjG,iBAAiB;AACjB,eAAO,MAAM,sBAAsB,EAAE,iBAAiB,EAKrD,CAAC;AAIF;;GAEG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEnF;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,eAAe,GAAG,iBAAiB,EAAE,CAE3F;AAID;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,SAAS,GAAE,iBAAiB,EAA2B,EACvD,OAAO,GAAE,MAAsB,GAC9B,0BAA0B,EAAE,CA8F9B"}