soloforge 1.1.43 → 1.1.45

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_governance.js

@@ -1,283 +0,0 @@
-/**
- * Mechanisms Governance — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_CONTRACTS_GOVERNANCE 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const MECHANISM_CONTRACTS_GOVERNANCE = [
-    // ── 机制运行时健康度 ──
-    {
-        mechanism_id: "mc-mechanism-health",
-        mechanism_name: "机制运行时健康度",
-        owner_issue_id: "Q5长期机制化",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [{ path: "templates/shared/机制自治理.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
-            injected_stages: ["verify", "*"],
-            injected_workflows: ["validate-mechanisms", "validate-release"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: false,
-            enforcers: [],
-            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "derived_registry"],
-            entrypoints: [],
-            state_effects: [],
-            hard_fail_conditions: ["lazy import 未调用", "机制资产未注册", "机制身份未消费"],
-            degradation_behavior: "离线治理机制，仅发布和维护命令阻断",
-        },
-        evidence_layer: {
-            outputs: ["MechanismHealthReport"],
-            reports: ["mechanism_health_report"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: [],
-            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
-            regression_cases: ["lazy import 未调用 → hard_fail", "机制资产缺失 → hard_fail"],
-            drift_checks: ["注册表与消费路径一致"],
-        },
-        status: "deprecated",
-    },
-    {
-        mechanism_id: "mc-config-write-boundary",
-        mechanism_name: "配置落盘边界",
-        owner_issue_id: "Q6长期机制化",
-        priority: "P2",
-        template_layer: {
-            required: true,
-            assets: [{ path: "templates/shared/配置落盘边界.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
-            injected_stages: ["*"],
-            injected_workflows: ["init", "sync-templates"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/context/config/config_write_boundary.ts"],
-            registries: ["mechanism_contract_registry", "derived_registry"],
-            entrypoints: ["classifyConfigContext", "isWriteAllowed", "validateWriteBoundary"],
-            state_effects: [],
-            hard_fail_conditions: ["运行时推断自动落盘", "已有项目未确认写入"],
-            degradation_behavior: "空项目初始化允许，已有项目需要确认",
-        },
-        evidence_layer: {
-            outputs: ["ConfigWriteDecision"],
-            reports: ["write_boundary_violation"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/config_write_boundary.test.ts"],
-            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
-            regression_cases: ["runtime inference 写配置 → blocked", "greenfield init → allowed"],
-            drift_checks: ["CLI 写入路径与边界一致"],
-        },
-        status: "dual_layer_enforced",
-    },
-    {
-        mechanism_id: "mc-knowledge-governance",
-        mechanism_name: "知识治理统一入口",
-        owner_issue_id: "Q7/Q10/Q14/Q21/Q41长期机制化",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [{ path: "templates/shared/知识治理.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
-            injected_stages: ["verify", "*", "*"],
-            injected_workflows: ["validate", "sync-templates", "validate-release"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/context/knowledge/knowledge_governance_gate.ts"],
-            registries: ["mechanism_contract_registry", "derived_registry"],
-            entrypoints: ["runKnowledgeGovernanceCheck", "checkSemanticCompliance", "checkEvolutionEvidence", "checkDocumentationGovernance"],
-            state_effects: [],
-            hard_fail_conditions: ["知识晋级无证据", "中文语义污染", "设计文档承载未验证事实"],
-            degradation_behavior: "validate 输出治理报告，apply 与 release gate 执行阻断",
-        },
-        evidence_layer: {
-            outputs: ["KnowledgeGovernanceReport"],
-            reports: ["knowledge_governance_report"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/knowledge_lifecycle.test.ts"],
-            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
-            regression_cases: ["知识晋级无证据 → hard_fail", "中文语义污染 → warning"],
-            drift_checks: ["知识治理入口调用下游模块"],
-        },
-        status: "dual_layer_enforced",
-    },
-    {
-        mechanism_id: "mc-log-governance",
-        mechanism_name: "日志治理与用户输出纯净",
-        owner_issue_id: "Q59/Q29长期机制化",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [{ path: "templates/shared/日志治理.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
-            injected_stages: ["verify", "*"],
-            injected_workflows: ["sf_work", "sf_gate", "validate-release"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/shared/log_governance.ts"],
-            registries: ["mechanism_contract_registry", "derived_registry"],
-            entrypoints: ["enforceLogGovernance", "evaluateFeedbackOutputQuality", "assessOutputNoise"],
-            state_effects: [],
-            hard_fail_conditions: ["内部噪音输出", "JSON stdout 污染", "直接 console 输出"],
-            degradation_behavior: "默认不影响正常输出，仅阻断噪音和污染",
-        },
-        evidence_layer: {
-            outputs: ["LogGovernanceReport"],
-            reports: ["log_governance_report"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/log_governance.test.ts"],
-            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
-            regression_cases: ["内部噪音 → hard_fail", "正常中文输出 → pass"],
-            drift_checks: ["logger 与输出治理一致"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 门禁引擎 ──
-    {
-        mechanism_id: "mc-stage-gate-engine",
-        mechanism_name: "门禁引擎",
-        owner_issue_id: "问题六十九",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/design/enforced.md", asset_kind: "stage_gate", consumption_mode: "copy_only" },
-                { path: "templates/build/enforced.md", asset_kind: "stage_gate", consumption_mode: "copy_only" },
-                { path: "templates/verify/enforced.md", asset_kind: "stage_gate", consumption_mode: "copy_only" },
-                { path: "templates/operate/enforced.md", asset_kind: "stage_gate", consumption_mode: "copy_only" },
-                { path: "templates/shared/切片聚合检查.md", asset_kind: "stage_gate", consumption_mode: "copy_only" },
-            ],
-            injected_stages: ["build", "*"],
-            injected_workflows: ["pipeline"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/certainty_gate.ts"],
-            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
-            entrypoints: ["evaluateCertaintyGate", "evaluatePlanProposalGate"],
-            state_effects: ["gate_result → allow/block"],
-            hard_fail_conditions: ["门禁配置缺失", "校验产物不完整"],
-            degradation_behavior: "缺失配置时 advisory 不阻断",
-        },
-        evidence_layer: {
-            outputs: ["GateCheckResult"],
-            reports: ["StageGateReport"],
-            diagnostic_codes: ["gate-config-missing", "gate-artifact-incomplete"],
-            task_context_facts: ["gate_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/design_lifecycle_contract.test.ts"],
-            runtime_checks: ["gate_checked_before_stage"],
-            regression_cases: ["missing_config_advisory", "artifact_incomplete_blocked"],
-            drift_checks: ["gate_config_matches_registry"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 回退路由 ──
-    {
-        mechanism_id: "mc-rollback-router",
-        mechanism_name: "回退路由",
-        owner_issue_id: "问题六十九",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/build/耦合检测.md", asset_kind: "pipeline_rule", consumption_mode: "copy_only" },
-                { path: "templates/verify/试运行熔断.md", asset_kind: "pipeline_rule", consumption_mode: "copy_only" },
-            ],
-            injected_stages: ["build", "*"],
-            injected_workflows: ["pipeline"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/core/domain_transition.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["getAllowedTransitions", "isTransitionAllowed"],
-            state_effects: ["rollback → 上游阶段"],
-            hard_fail_conditions: ["回退目标不存在", "回退循环"],
-            degradation_behavior: "无可用回退路径时 stop_escalate",
-        },
-        evidence_layer: {
-            outputs: ["RollbackTarget"],
-            reports: ["RollbackReport"],
-            diagnostic_codes: ["rollback-target-missing", "rollback-cycle"],
-            task_context_facts: ["rollback_history"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/design_lifecycle_contract.test.ts"],
-            runtime_checks: ["rollback_target_resolved"],
-            regression_cases: ["no_rollback_target_stop", "rollback_cycle_prevented"],
-            drift_checks: ["rollback_paths_match_design"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 切片执行器 ──
-    {
-        mechanism_id: "mc-slice-executor",
-        mechanism_name: "切片执行器",
-        owner_issue_id: "问题六十九",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/design/切片计划.md", asset_kind: "pipeline_artifact", consumption_mode: "copy_only" },
-            ],
-            injected_stages: ["build"],
-            injected_workflows: ["pipeline"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: [],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: [],
-            state_effects: ["slice_context → 隔离执行"],
-            hard_fail_conditions: ["切片间隔离违反", "切片依赖循环"],
-            degradation_behavior: "隔离违反时阻断当前切片",
-        },
-        evidence_layer: {
-            outputs: ["SliceExecutionResult", "SliceReviewResult"],
-            reports: ["SliceExecutionReport"],
-            diagnostic_codes: ["slice-isolation-violation", "slice-dependency-cycle"],
-            task_context_facts: ["completed_slices"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/design_lifecycle_contract.test.ts"],
-            runtime_checks: ["slice_isolation_enforced"],
-            regression_cases: ["isolation_violation_blocked", "single_slice_reviewable"],
-            drift_checks: ["slice_plan_matches_registry"],
-        },
-        status: "deprecated",
-    },
-];
-//# sourceMappingURL=mechanisms_governance.js.map

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_governance.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_governance.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_governance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,8BAA8B,GAAiC;IAC1E,iBAAiB;IACjB;QACE,YAAY,EAAE,qBAAqB;QACnC,cAAc,EAAE,UAAU;QAC1B,cAAc,EAAE,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;YAC3G,eAAe,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC;YAChC,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;YAC/D,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,CAAC,+BAA+B,EAAE,6BAA6B,EAAE,kBAAkB,CAAC;YAChG,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,EAAE;YACjB,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,SAAS,EAAE,SAAS,CAAC;YAC/D,oBAAoB,EAAE,mBAAmB;SAC1C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC;YACpC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,EAAE;YACT,cAAc,EAAE,CAAC,gCAAgC,CAAC;YAClD,gBAAgB,EAAE,CAAC,6BAA6B,EAAE,oBAAoB,CAAC;YACvE,YAAY,EAAE,CAAC,YAAY,CAAC;SAC7B;QACD,MAAM,EAAE,YAAY;KACrB;IACD;QACE,YAAY,EAAE,0BAA0B;QACxC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;YAC5G,eAAe,EAAE,CAAC,GAAG,CAAC;YACtB,kBAAkB,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;YAC9C,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,6CAA6C,CAAC;YAC1D,UAAU,EAAE,CAAC,6BAA6B,EAAE,kBAAkB,CAAC;YAC/D,WAAW,EAAE,CAAC,uBAAuB,EAAE,gBAAgB,EAAE,uBAAuB,CAAC;YACjF,aAAa,EAAE,EAAE;YACjB,oBAAoB,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;YAChD,oBAAoB,EAAE,mBAAmB;SAC1C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,OAAO,EAAE,CAAC,0BAA0B,CAAC;YACrC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,4CAA4C,CAAC;YACrD,cAAc,EAAE,CAAC,gCAAgC,CAAC;YAClD,gBAAgB,EAAE,CAAC,iCAAiC,EAAE,2BAA2B,CAAC;YAClF,YAAY,EAAE,CAAC,eAAe,CAAC;SAChC;QACD,MAAM,EAAE,qBAAqB;KAC9B;IACD;QACE,YAAY,EAAE,yBAAyB;QACvC,cAAc,EAAE,UAAU;QAC1B,cAAc,EAAE,yBAAyB;QACzC,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;YAC1G,eAAe,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC;YACrC,kBAAkB,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,kBAAkB,CAAC;YACtE,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,oDAAoD,CAAC;YACjE,UAAU,EAAE,CAAC,6BAA6B,EAAE,kBAAkB,CAAC;YAC/D,WAAW,EAAE,CAAC,6BAA6B,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,8BAA8B,CAAC;YACjI,aAAa,EAAE,EAAE;YACjB,oBAAoB,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,aAAa,CAAC;YAC1D,oBAAoB,EAAE,2CAA2C;SAClE;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,2BAA2B,CAAC;YACtC,OAAO,EAAE,CAAC,6BAA6B,CAAC;YACxC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,+CAA+C,CAAC;YACxD,cAAc,EAAE,CAAC,gCAAgC,CAAC;YAClD,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;YAC7D,YAAY,EAAE,CAAC,cAAc,CAAC;SAC/B;QACD,MAAM,EAAE,qBAAqB;KAC9B;IACD;QACE,YAAY,EAAE,mBAAmB;QACjC,cAAc,EAAE,aAAa;QAC7B,cAAc,EAAE,cAAc;QAC9B,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;YAC1G,eAAe,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC;YAChC,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,kBAAkB,CAAC;YAC9D,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,8BAA8B,CAAC;YAC3C,UAAU,EAAE,CAAC,6BAA6B,EAAE,kBAAkB,CAAC;YAC/D,WAAW,EAAE,CAAC,sBAAsB,EAAE,+BAA+B,EAAE,mBAAmB,CAAC;YAC3F,aAAa,EAAE,EAAE;YACjB,oBAAoB,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,eAAe,CAAC;YACnE,oBAAoB,EAAE,oBAAoB;SAC3C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,0CAA0C,CAAC;YACnD,cAAc,EAAE,CAAC,gCAAgC,CAAC;YAClD,gBAAgB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;YACvD,YAAY,EAAE,CAAC,gBAAgB,CAAC;SACjC;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,aAAa;IACb;QACE,YAAY,EAAE,sBAAsB;QACpC,cAAc,EAAE,MAAM;QACtB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,8BAA8B,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE;gBACjG,EAAE,IAAI,EAAE,6BAA6B,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE;gBAChG,EAAE,IAAI,EAAE,8BAA8B,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE;gBACjG,EAAE,IAAI,EAAE,+BAA+B,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE;gBAClG,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE;aAChG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC;YAC/B,kBAAkB,EAAE,CAAC,UAAU,CAAC;YAChC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,4BAA4B,CAAC;YACzC,UAAU,EAAE,CAAC,6BAA6B,EAAE,2BAA2B,CAAC;YACxE,WAAW,EAAE,CAAC,uBAAuB,EAAE,0BAA0B,CAAC;YAClE,aAAa,EAAE,CAAC,2BAA2B,CAAC;YAC5C,oBAAoB,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;YAC3C,oBAAoB,EAAE,oBAAoB;SAC3C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,iBAAiB,CAAC;YAC5B,OAAO,EAAE,CAAC,iBAAiB,CAAC;YAC5B,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,CAAC;YACrE,kBAAkB,EAAE,CAAC,aAAa,CAAC;SACpC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,qDAAqD,CAAC;YAC9D,cAAc,EAAE,CAAC,2BAA2B,CAAC;YAC7C,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,6BAA6B,CAAC;YAC5E,YAAY,EAAE,CAAC,8BAA8B,CAAC;SAC/C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,aAAa;IACb;QACE,YAAY,EAAE,oBAAoB;QAClC,cAAc,EAAE,MAAM;QACtB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,eAAe,EAAE,gBAAgB,EAAE,WAAW,EAAE;gBAC/F,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,eAAe,EAAE,gBAAgB,EAAE,WAAW,EAAE;aAClG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC;YAC/B,kBAAkB,EAAE,CAAC,UAAU,CAAC;YAChC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,+BAA+B,CAAC;YAC5C,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,uBAAuB,EAAE,qBAAqB,CAAC;YAC7D,aAAa,EAAE,CAAC,iBAAiB,CAAC;YAClC,oBAAoB,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;YACzC,oBAAoB,EAAE,wBAAwB;SAC/C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,gBAAgB,CAAC;YAC3B,OAAO,EAAE,CAAC,gBAAgB,CAAC;YAC3B,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,gBAAgB,CAAC;YAC/D,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;SACzC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,qDAAqD,CAAC;YAC9D,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,0BAA0B,CAAC;YACzE,YAAY,EAAE,CAAC,6BAA6B,CAAC;SAC9C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,cAAc;IACd;QACE,YAAY,EAAE,mBAAmB;QACjC,cAAc,EAAE,OAAO;QACvB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,WAAW,EAAE;aACrG;YACD,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,UAAU,CAAC;YAChC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,CAAC,sBAAsB,CAAC;YACvC,oBAAoB,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;YAC3C,oBAAoB,EAAE,aAAa;SACpC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,CAAC;YACtD,OAAO,EAAE,CAAC,sBAAsB,CAAC;YACjC,gBAAgB,EAAE,CAAC,2BAA2B,EAAE,wBAAwB,CAAC;YACzE,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;SACzC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,qDAAqD,CAAC;YAC9D,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,gBAAgB,EAAE,CAAC,6BAA6B,EAAE,yBAAyB,CAAC;YAC5E,YAAY,EAAE,CAAC,6BAA6B,CAAC;SAC9C;QACD,MAAM,EAAE,YAAY;KACrB;CACF,CAAC"}

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_infra.d.ts

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

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_infra.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_infra.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_infra.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAE1E,eAAO,MAAM,yBAAyB,EAAE,0BAA0B,EAwPjE,CAAC"}

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_infra.js

@@ -1,256 +0,0 @@
-/**
- * Mechanisms Infra — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_CONTRACTS_INFRA 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const MECHANISM_CONTRACTS_INFRA = [
-    // ── 11. 任务上下文生命周期（补齐） ──
-    {
-        mechanism_id: "mc-task-context-lifecycle",
-        mechanism_name: "任务上下文生命周期",
-        owner_issue_id: "问题十七",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/任务上下文生命周期.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/shared/任务上下文生命周期.md", asset_kind: "capability_knowledge_doc", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design", "*"],
-            injected_workflows: ["code_change", "verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/core/task_context.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["create", "updateStatus", "load"],
-            state_effects: ["status transitions", "fact accumulation"],
-            hard_fail_conditions: ["invalid status transition", "stdout/stderr in TaskContext"],
-            degradation_behavior: "TaskContext 不可用时降级为无状态模式",
-        },
-        evidence_layer: {
-            outputs: ["TaskContext"],
-            reports: ["TaskContextSnapshot"],
-            diagnostic_codes: ["invalid-transition", "forbidden-field"],
-            task_context_facts: ["status", "verification_result", "injection_report"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/task_context.test.ts"],
-            runtime_checks: ["status_transition_gate"],
-            regression_cases: ["no_invalid_transition", "no_stdout_in_context"],
-            drift_checks: ["context_fields_match_spec"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 12. 执行守卫评估（补齐） ──
-    {
-        mechanism_id: "mc-guard-evaluation",
-        mechanism_name: "执行守卫评估",
-        owner_issue_id: "问题十一",
-        priority: "P2",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/执行守卫评估.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["build", "design"],
-            injected_workflows: ["code_change", "verification"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/verifier.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["generateVerifyCommands"],
-            state_effects: ["guard_evaluation_executed"],
-            hard_fail_conditions: ["guard_bypass"],
-            degradation_behavior: "guard 评估集成在各契约内，无独立降级",
-        },
-        evidence_layer: {
-            outputs: ["VerifyResult"],
-            reports: ["GuardEvaluationReport"],
-            diagnostic_codes: ["guard-failure"],
-            task_context_facts: ["guard_status"],
-        },
-        verification_layer: {
-            tests: ["tests/verify/verifier_phase25.test.ts"],
-            runtime_checks: ["guard_evaluation_gate"],
-            regression_cases: ["guard_blocks_execution"],
-            drift_checks: ["guard_rules_match_verifier"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 13. 注册表基础设施（补齐） ──
-    {
-        mechanism_id: "mc-registry-infrastructure",
-        mechanism_name: "注册表基础设施",
-        owner_issue_id: "问题五",
-        priority: "P2",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/注册表基础设施.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["*"],
-            injected_workflows: ["init"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: [
-                "src/verify/contracts/mechanism_contract_registry/index.ts",
-                "src/domain/asset_registry/derived_registry.ts",
-            ],
-            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
-            entrypoints: ["listMechanismContracts", "scanDerivedRegistry"],
-            state_effects: ["contract registration", "asset discovery"],
-            hard_fail_conditions: ["registry entry missing lifecycle test"],
-            degradation_behavior: "registry 不可用时整体降级",
-        },
-        evidence_layer: {
-            outputs: ["MechanismContract[]", "DerivedAsset[]"],
-            reports: ["RegistryHealthReport"],
-            diagnostic_codes: ["missing-lifecycle-test"],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/contract_registry.test.ts", "tests/domain/derived_registry.test.ts"],
-            runtime_checks: ["registry_health_check"],
-            regression_cases: ["all_contracts_have_lifecycle_tests"],
-            drift_checks: ["registry_entries_match_code_modules"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── mc-zero-config-init（已移除：detector/fingerprint + resolver 替代）──
-    // ── 15. 输入材料契约 ──
-    {
-        mechanism_id: "mc-input-material-contract",
-        mechanism_name: "输入材料契约",
-        owner_issue_id: "问题二十三",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/输入材料契约.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["build", "*", "design"],
-            injected_workflows: ["expand", "privacy_gate"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/domain/input_material_contract_registry.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["canSupportStrongConclusion", "isWriteAllowed"],
-            state_effects: ["material_validated"],
-            hard_fail_conditions: ["unregistered material source"],
-            degradation_behavior: "降级为宽松模式",
-        },
-        evidence_layer: {
-            outputs: ["InputMaterialContract[]"],
-            reports: ["MaterialValidationReport"],
-            diagnostic_codes: ["unregistered-material"],
-            task_context_facts: ["material_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/input_material_contract_registry.test.ts"],
-            runtime_checks: ["material_contract_valid"],
-            regression_cases: ["unregistered_source_blocked"],
-            drift_checks: ["material_types_match_registry"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 16. 用户反馈契约（/四十四） ──
-    {
-        mechanism_id: "mc-user-feedback",
-        mechanism_name: "用户反馈契约",
-        owner_issue_id: "问题二十九",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/用户反馈契约.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["build"],
-            injected_workflows: ["verify", "deliver"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/user_feedback_contract.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["createUserFeedbackMessage", "validateUserFeedbackContract", "getAllowedFeedbackKinds"],
-            state_effects: ["feedback_generated"],
-            hard_fail_conditions: ["forbidden wording in feedback", "verification_summary masking"],
-            degradation_behavior: "降级为简单消息",
-        },
-        evidence_layer: {
-            outputs: ["UserFeedbackMessage[]", "UserFeedbackGovernanceFinding[]"],
-            reports: ["FeedbackValidationReport"],
-            diagnostic_codes: ["forbidden-wording", "severity-mismatch"],
-            task_context_facts: ["feedback_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/user_feedback_contract.test.ts"],
-            runtime_checks: ["feedback_contract_valid"],
-            regression_cases: ["blocked_kind_for_verify"],
-            drift_checks: ["feedback_kinds_match_tools"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 17. 产物契约 ──
-    {
-        mechanism_id: "mc-artifact-contract",
-        mechanism_name: "产物契约",
-        owner_issue_id: "问题二十四",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/产物契约.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["build", "design"],
-            injected_workflows: ["expand", "deliver"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/domain/contracts/artifact_contract_registry.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["canTransition", "transitionRequiresVerification"],
-            state_effects: ["artifact_created"],
-            hard_fail_conditions: ["artifact without contract", "overwrite without policy"],
-            degradation_behavior: "降级为手动产物管理",
-        },
-        evidence_layer: {
-            outputs: ["ArtifactContract[]", "OutputArtifact"],
-            reports: ["ArtifactValidationReport"],
-            diagnostic_codes: ["missing-contract", "overwrite-violation"],
-            task_context_facts: ["artifact_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/artifact_contract_registry.test.ts"],
-            runtime_checks: ["artifact_contract_valid"],
-            regression_cases: ["no_artifact_without_contract"],
-            drift_checks: ["artifact_types_match_registry"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── mc-config-precedence（已移除：三层配置冲突检测替代优先级契约）──
-];
-//# sourceMappingURL=mechanisms_infra.js.map

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_infra.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_infra.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_infra.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,yBAAyB,GAAiC;IACrE,0BAA0B;IAC1B;QACE,YAAY,EAAE,2BAA2B;QACzC,cAAc,EAAE,WAAW;QAC3B,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,+BAA+B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBACrG,EAAE,IAAI,EAAE,+BAA+B,EAAE,UAAU,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,YAAY,EAAE;aAClH;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC;YACzC,kBAAkB,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,UAAU,CAAC;YAC/D,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,0BAA0B,CAAC;YACvC,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC;YAC/C,aAAa,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,CAAC;YAC1D,oBAAoB,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,CAAC;YACnF,oBAAoB,EAAE,0BAA0B;SACjD;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,aAAa,CAAC;YACxB,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,gBAAgB,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;YAC3D,kBAAkB,EAAE,CAAC,QAAQ,EAAE,qBAAqB,EAAE,kBAAkB,CAAC;SAC1E;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,wCAAwC,CAAC;YACjD,cAAc,EAAE,CAAC,wBAAwB,CAAC;YAC1C,gBAAgB,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;YACnE,YAAY,EAAE,CAAC,2BAA2B,CAAC;SAC5C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,uBAAuB;IACvB;QACE,YAAY,EAAE,qBAAqB;QACnC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACnG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YACpC,kBAAkB,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC;YACnD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,8BAA8B,CAAC;YAC3C,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,wBAAwB,CAAC;YACvC,aAAa,EAAE,CAAC,2BAA2B,CAAC;YAC5C,oBAAoB,EAAE,CAAC,cAAc,CAAC;YACtC,oBAAoB,EAAE,uBAAuB;SAC9C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,cAAc,CAAC;YACzB,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,gBAAgB,EAAE,CAAC,eAAe,CAAC;YACnC,kBAAkB,EAAE,CAAC,cAAc,CAAC;SACrC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,uCAAuC,CAAC;YAChD,cAAc,EAAE,CAAC,uBAAuB,CAAC;YACzC,gBAAgB,EAAE,CAAC,wBAAwB,CAAC;YAC5C,YAAY,EAAE,CAAC,4BAA4B,CAAC;SAC7C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,wBAAwB;IACxB;QACE,YAAY,EAAE,4BAA4B;QAC1C,cAAc,EAAE,SAAS;QACzB,cAAc,EAAE,KAAK;QACrB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,6BAA6B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACpG;YACD,eAAe,EAAE,CAAC,GAAG,CAAC;YACtB,kBAAkB,EAAE,CAAC,MAAM,CAAC;YAC5B,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE;gBACT,2DAA2D;gBAC3D,+CAA+C;aAChD;YACD,UAAU,EAAE,CAAC,6BAA6B,EAAE,2BAA2B,CAAC;YACxE,WAAW,EAAE,CAAC,wBAAwB,EAAE,qBAAqB,CAAC;YAC9D,aAAa,EAAE,CAAC,uBAAuB,EAAE,iBAAiB,CAAC;YAC3D,oBAAoB,EAAE,CAAC,uCAAuC,CAAC;YAC/D,oBAAoB,EAAE,mBAAmB;SAC1C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;YAClD,OAAO,EAAE,CAAC,sBAAsB,CAAC;YACjC,gBAAgB,EAAE,CAAC,wBAAwB,CAAC;YAC5C,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,wCAAwC,EAAE,uCAAuC,CAAC;YAC1F,cAAc,EAAE,CAAC,uBAAuB,CAAC;YACzC,gBAAgB,EAAE,CAAC,oCAAoC,CAAC;YACxD,YAAY,EAAE,CAAC,qCAAqC,CAAC;SACtD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,mEAAmE;IAEnE,mBAAmB;IACnB;QACE,YAAY,EAAE,4BAA4B;QAC1C,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACnG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC;YACzC,kBAAkB,EAAE,CAAC,QAAQ,EAAE,cAAc,CAAC;YAC9C,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,gDAAgD,CAAC;YAC7D,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,4BAA4B,EAAE,gBAAgB,CAAC;YAC7D,aAAa,EAAE,CAAC,oBAAoB,CAAC;YACrC,oBAAoB,EAAE,CAAC,8BAA8B,CAAC;YACtD,oBAAoB,EAAE,SAAS;SAChC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,yBAAyB,CAAC;YACpC,OAAO,EAAE,CAAC,0BAA0B,CAAC;YACrC,gBAAgB,EAAE,CAAC,uBAAuB,CAAC;YAC3C,kBAAkB,EAAE,CAAC,iBAAiB,CAAC;SACxC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,4DAA4D,CAAC;YACrE,cAAc,EAAE,CAAC,yBAAyB,CAAC;YAC3C,gBAAgB,EAAE,CAAC,6BAA6B,CAAC;YACjD,YAAY,EAAE,CAAC,+BAA+B,CAAC;SAChD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,yBAAyB;IACzB;QACE,YAAY,EAAE,kBAAkB;QAChC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACnG;YACD,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;YACzC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,gDAAgD,CAAC;YAC7D,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,EAAE,yBAAyB,CAAC;YACrG,aAAa,EAAE,CAAC,oBAAoB,CAAC;YACrC,oBAAoB,EAAE,CAAC,+BAA+B,EAAE,8BAA8B,CAAC;YACvF,oBAAoB,EAAE,SAAS;SAChC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,uBAAuB,EAAE,iCAAiC,CAAC;YACrE,OAAO,EAAE,CAAC,0BAA0B,CAAC;YACrC,gBAAgB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;YAC5D,kBAAkB,EAAE,CAAC,iBAAiB,CAAC;SACxC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,kDAAkD,CAAC;YAC3D,cAAc,EAAE,CAAC,yBAAyB,CAAC;YAC3C,gBAAgB,EAAE,CAAC,yBAAyB,CAAC;YAC7C,YAAY,EAAE,CAAC,4BAA4B,CAAC;SAC7C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,iBAAiB;IACjB;QACE,YAAY,EAAE,sBAAsB;QACpC,cAAc,EAAE,MAAM;QACtB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACjG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YACpC,kBAAkB,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;YACzC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,oDAAoD,CAAC;YACjE,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,eAAe,EAAE,gCAAgC,CAAC;YAChE,aAAa,EAAE,CAAC,kBAAkB,CAAC;YACnC,oBAAoB,EAAE,CAAC,2BAA2B,EAAE,0BAA0B,CAAC;YAC/E,oBAAoB,EAAE,WAAW;SAClC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;YACjD,OAAO,EAAE,CAAC,0BAA0B,CAAC;YACrC,gBAAgB,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;YAC7D,kBAAkB,EAAE,CAAC,iBAAiB,CAAC;SACxC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,sDAAsD,CAAC;YAC/D,cAAc,EAAE,CAAC,yBAAyB,CAAC;YAC3C,gBAAgB,EAAE,CAAC,8BAA8B,CAAC;YAClD,YAAY,EAAE,CAAC,+BAA+B,CAAC;SAChD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,iDAAiD;CAClD,CAAC"}

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_platform.d.ts

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

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_platform.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_platform.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_platform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAE1E,eAAO,MAAM,4BAA4B,EAAE,0BAA0B,EAkdpE,CAAC"}