soloforge 1.4.16 → 2.0.0

package/dist/engine/mechanism_contract_registry.js

@@ -1,1224 +0,0 @@
-/**
- * Mechanism Contract Registry — P0 自治理契约。
- *
- * 主管线上的每个 P0 机制都在此注册，包含精确的输入、输出、
- * 失败模式和测试锚点，以便 validateMechanismContracts() 强制执行结构不变量。
- */
-import fs from "node:fs";
-import path from "node:path";
-// ── P0 契约 ──
-/** P0 级机制契约列表 */
-export const P0_MECHANISM_CONTRACTS = [
-    // ── 1. intent_router ──
-    {
-        id: "mc-intent-router",
-        name: "Intent Router",
-        owner_module: "src/engine/intent_router.ts",
-        owner_exports: ["routeIntent"],
-        mechanism_type: "routing",
-        status: "enforced",
-        trigger: "sf_classify 调用后、classifier 分类前",
-        required_inputs: ["intent"],
-        preconditions: ["intent 非空字符串"],
-        outputs: ["route_decision", "route", "execution_shape", "mutation_allowed", "input_materials", "output_artifact", "pipeline_hint", "missing_required_inputs"],
-        downstream_consumers: ["classifier", "intent_expander", "task_planner"],
-        failure_modes: [
-            "artifact_generation 被 skip（应路由到 code_change 或 artifact_generation）",
-            "source_extraction 允许 mutation（应为 read-only）",
-            "direct_answer 与产物语义混淆（应区分回答与生成）",
-        ],
-        degradation_behavior: "路由失败时默认降级为 code_change，写入 route_decision.degraded=true",
-        tests: ["tests/engine/intent_router.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 2. classifier (deprecated → mc-intent-router) ──
-    {
-        id: "mc-classifier",
-        name: "Classifier (deprecated → mc-intent-router)",
-        owner_module: "src/engine/classifier.ts",
-        owner_exports: ["classify"],
-        mechanism_type: "classification",
-        status: "deprecated",
-        trigger: "sf_classify 调用时，routeIntent 之后",
-        required_inputs: ["intent", "route_decision"],
-        preconditions: ["route_decision 已由 intent_router 生成"],
-        outputs: ["task_type", "risk", "complexity", "ambiguity", "affected_repos", "mode", "strategy", "route_decision"],
-        downstream_consumers: ["intent_router (compatibility display)", "task_context", "compatibility display"],
-        failure_modes: [
-            "task_type 覆盖 route_decision 的裁决结果",
-            "strategy 字段被当作入口裁决而非兼容展示",
-        ],
-        degradation_behavior: "classifier 仅提供兼容字段和辅助分类，不能重新夺回入口裁决权；route_decision 始终由 intent_router 决定",
-        tests: ["tests/engine/classifier.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-        notes: "已废弃: classifier 是 intent_router 的一部分，正式机制 ID 为 mc-intent-router。owner_mechanism_id 必须指向 mc-intent-router。",
-    },
-    // ── 3. intent_expander ──
-    {
-        id: "mc-intent-expander",
-        name: "Intent Expander",
-        owner_module: "src/engine/intent_expander.ts",
-        owner_exports: ["expand"],
-        mechanism_type: "expansion",
-        status: "enforced",
-        trigger: "sf_expand 调用时",
-        required_inputs: ["classification", "route_decision", "matched_knowledge"],
-        preconditions: ["任务处于 classifying 或 clarifying 状态", "route_decision 已生成"],
-        outputs: ["expansion", "prompt", "scope", "acceptance_criteria"],
-        downstream_consumers: ["sf_expand handler", "executor", "verifier"],
-        failure_modes: [
-            "source_extraction 路由的 prompt 包含代码修改指令而非产物提取指令",
-            "read_only_analysis 生成的 prompt 包含修改源码的指令",
-            "circuit breaker 置信度不足时仍生成执行指令而非澄清请求",
-        ],
-        degradation_behavior: "confidence < 阈值时返回 clarification prompt 而非执行指令，consumption_mode=required 的模板缺失时报错",
-        tests: ["tests/engine/intent_expander_integration.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 4. knowledge_matching (deprecated → mc-knowledge-injection-boundary) ──
-    {
-        id: "mc-knowledge-matching",
-        name: "Knowledge Matching (deprecated → mc-knowledge-injection-boundary)",
-        owner_module: "src/knowledge/index_manager.ts",
-        owner_exports: ["KnowledgeIndexManager"],
-        mechanism_type: "knowledge_matching",
-        status: "deprecated",
-        trigger: "expand() 内部调用 knowledgeIndex.query()",
-        required_inputs: ["route_decision", "output_artifact.kind", "pipeline_hint", "knowledge_index"],
-        preconditions: ["knowledge index 已 build"],
-        outputs: ["matched_patterns", "injected_templates"],
-        downstream_consumers: ["intent_expander prompt builder"],
-        failure_modes: [
-            "prototype_spec output_artifact 未命中原型说明模版",
-            "required knowledge 缺失时退回 code prompt 而非报错",
-            "draft/quarantine 状态知识默认注入 prompt",
-            "三道门过滤后无注入结果但无注入报告",
-        ],
-        degradation_behavior: "整体 advisory，但 required branch（prototype_spec → 原型说明模版）为 enforced：缺失时必须报错而非静默降级。其他分支缺失时优雅降级为空匹配",
-        tests: ["tests/engine/intent_expander_integration.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-        notes: "已废弃: knowledge_matching 是 knowledge_injection_boundary 的一部分，正式机制 ID 为 mc-knowledge-injection-boundary。",
-    },
-    // ── 5. knowledge_injection_boundary ──
-    {
-        id: "mc-knowledge-injection-boundary",
-        name: "Knowledge Injection Boundary",
-        owner_module: "src/engine/knowledge_injection_boundary.ts",
-        owner_exports: ["enforceKnowledgeInjectionBoundary", "validateInjectionReport"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "expand() 内 queryKnowledgeForRoute 后的三道门过滤",
-        required_inputs: ["knowledge_entries", "route_decision", "consumable_assets", "budget"],
-        preconditions: ["knowledge index 已 build", "route_decision 已生成"],
-        outputs: ["KnowledgeInjectionReport (indexed, injectable, injected_required, injected_supporting, advisory_only, excluded, missing_required_knowledge, governance_findings, conflicts, budget)"],
-        downstream_consumers: ["prompt builder", "intent_expander ExpandResult"],
-        failure_modes: [
-            "draft/quarantine/deprecated 状态知识绕过边界进入 prompt",
-            "错误 route 注入错误模板（如 code_change 注入了 source_extraction 模板）",
-            "consumption_mode=required 资产缺失时静默降级而非报错",
-            "pending_review 知识出现在 injected 而非 advisory_only",
-            "core 知识被 normal 知识静默覆盖无 conflict 记录",
-            "budget 不足时 required 被 supporting 挤掉",
-            "无 KnowledgeInjectionReport 生成",
-        ],
-        degradation_behavior: "draft/quarantine/deprecated 知识被过滤，不进入 prompt。pending_review 进入 advisory_only 带 warning。route 不匹配时跳过模板注入。budget 不足时优先保留 required",
-        tests: [
-            "tests/engine/knowledge_injection_boundary.test.ts",
-            "tests/engine/intent_expander_integration.test.ts",
-            "tests/engine/knowledge_isolation.test.ts",
-            "tests/engine/knowledge_sovereignty.test.ts",
-        ],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 6. task_context_lifecycle ──
-    {
-        id: "mc-task-context-lifecycle",
-        name: "Task Context Lifecycle",
-        owner_module: "src/engine/task_context.ts",
-        owner_exports: ["TaskContextManager"],
-        mechanism_type: "state_lifecycle",
-        status: "enforced",
-        trigger: "sf_classify/sf_expand/sf_verify/sf_learn 调用时",
-        required_inputs: ["intent", "product_profile", "classification_before_expand", "expansion_before_executing", "execution_before_verifying"],
-        preconditions: ["stateDir 已初始化"],
-        outputs: ["task_state", "task_id", "current_status"],
-        downstream_consumers: ["sf_expand", "sf_verify", "sf_learn", "sf_status", "workspace_resumer"],
-        state_transitions: [
-            "init → classifying",
-            "classifying → expanding",
-            "classifying → clarifying",
-            "clarifying → expanding",
-            "expanding → executing",
-            "executing → verifying",
-            "verifying → learning",
-            "learning → done",
-            "learning → retrying",
-            "retrying → expanding",
-        ],
-        cleanup_hooks: [
-            "clear_diff_ownership",
-            "release_scope_lease",
-            "clear_current_active_task_pointer",
-        ],
-        failure_modes: [
-            "classifying 状态直接调用 sf_verify（应先 expand）",
-            "executing 状态再次 sf_expand（不可重入）",
-            "done 状态调用 sf_expand（任务已结束）",
-        ],
-        degradation_behavior: "非法状态转换返回 isError，不静默忽略",
-        tests: ["tests/engine/task_context.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 7. verifier ──
-    {
-        id: "mc-verifier",
-        name: "Verifier",
-        owner_module: "src/engine/verifier.ts",
-        owner_exports: ["generateVerifyCommands"],
-        mechanism_type: "verification",
-        status: "enforced",
-        trigger: "sf_verify 调用时",
-        required_inputs: ["expansion", "execution_shape", "changed_files_or_output_artifact"],
-        preconditions: ["任务处于 executing 状态", "已有 expansion 结果"],
-        outputs: ["verify_commands", "verification_result", "evidence"],
-        downstream_consumers: ["sf_verify handler", "task_context", "sf_learn"],
-        failure_modes: [
-            "single_artifact/source_extraction 默认要求 build+test（应为轻量验证）",
-            "verification 结果未保存到 task context 就标记 done/learning",
-        ],
-        degradation_behavior: "execution_shape 决定验证策略：code_execution 用完整 build+test，single_artifact/source_extraction 用轻量检查",
-        tests: ["tests/engine/verifier_phase25.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 8. workspace_resumer (deprecated → mc-task-context-lifecycle) ──
-    {
-        id: "mc-workspace-resumer",
-        name: "Workspace Resumer (deprecated → mc-task-context-lifecycle)",
-        owner_module: "src/engine/workspace_resumer.ts",
-        owner_exports: ["scanAndResume", "cleanupStaleTasks"],
-        mechanism_type: "state_lifecycle",
-        status: "deprecated",
-        trigger: "sf_status action=resume 或会话启动时",
-        required_inputs: ["task_state_directory", "current_task_pointer", "active_task_list"],
-        preconditions: ["stateDir 存在"],
-        outputs: ["resume_report", "active_task_candidates", "cleanup_report"],
-        downstream_consumers: ["sf_status", "sf_resume_workspace", "TaskContextManager"],
-        state_transitions: [
-            "found_executing → resume_to_executing",
-            "found_verifying → resume_to_verifying",
-            "found_retrying → resume_to_retrying",
-        ],
-        cleanup_hooks: [
-            "cleanupOrphanLeases",
-            "cleanupStaleTasks",
-            "current_pointer_repair",
-        ],
-        failure_modes: [
-            "中断后 current pointer 指向已完成的任务",
-            "orphan scope lease 未清理导致 scope 被永久占用",
-        ],
-        degradation_behavior: "corrupt task 标记为 unrecoverable，不阻塞其他任务恢复",
-        tests: ["tests/engine/workspace_resumer.test.ts"],
-        lifecycle_tests: ["tests/engine/workspace_resumer.test.ts", "tests/adapters/tools_lifecycle.test.ts"],
-        notes: "已废弃: workspace_resumer 是 task_context_lifecycle 的一部分，正式机制 ID 为 mc-task-context-lifecycle。",
-    },
-    // ── 9. core_engineering_principles ──
-    {
-        id: "mc-core-engineering-principles",
-        name: "Core Engineering Principles",
-        owner_module: "src/engine/core_engineering_principles.ts",
-        owner_exports: ["checkCorePrinciples", "checkThinkBeforeCoding", "checkSimplicityFirst", "checkSurgicalChanges", "checkGoalDrivenExecution", "validateAntiCircumvention"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "sf_verify 验证阶段 / 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/delivery.ts",
-        owner_exports: ["deliver", "generateChangelogEntry"],
-        mechanism_type: "delivery",
-        status: "enforced",
-        trigger: "sf_deliver 调用时，verify 通过后",
-        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"],
-    },
-    // ── 11. zero_config_init ──
-    {
-        id: "mc-zero-config-init",
-        name: "零配置初始化",
-        owner_module: "src/engine/zero_config_init.ts",
-        owner_exports: ["detectFingerprint", "generateConfigDraft", "validateConfigDraft"],
-        mechanism_type: "initialization",
-        status: "enforced",
-        trigger: "sf_init",
-        required_inputs: ["project_path"],
-        preconditions: [],
-        outputs: ["ProjectConfig"],
-        downstream_consumers: ["sf_expand", "sf_verify", "sf_validate"],
-        state_transitions: [],
-        cleanup_hooks: [],
-        failure_modes: ["fingerprint_collision", "config_parse_error"],
-        degradation_behavior: "manual config fallback",
-        tests: ["tests/engine/zero_config_init.test.ts"],
-        lifecycle_tests: ["tests/engine/zero_config_init.test.ts"],
-    },
-    // ── 12. input_material_contract ──
-    {
-        id: "mc-input-material-contract",
-        name: "输入材料契约",
-        owner_module: "src/engine/input_material_contract_registry.ts",
-        owner_exports: ["canSupportStrongConclusion", "isWriteAllowed"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "sf_expand",
-        required_inputs: ["input_materials"],
-        preconditions: ["privacy_gate_pass"],
-        outputs: ["InputMaterialContract"],
-        downstream_consumers: ["sf_expand", "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/user_feedback_contract.ts",
-        owner_exports: ["createUserFeedbackMessage", "validateUserFeedbackContract", "getAllowedFeedbackKinds"],
-        mechanism_type: "feedback",
-        status: "enforced",
-        trigger: "sf_verify",
-        required_inputs: ["verification_result"],
-        preconditions: [],
-        outputs: ["UserFeedbackMessage"],
-        downstream_consumers: ["sf_learn", "sf_deliver"],
-        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/artifact_contract_registry.ts",
-        owner_exports: ["canTransition", "transitionRequiresVerification"],
-        mechanism_type: "artifact_management",
-        status: "enforced",
-        trigger: "sf_expand",
-        required_inputs: ["output_artifact"],
-        preconditions: [],
-        outputs: ["ArtifactContract", "OutputArtifact"],
-        downstream_consumers: ["sf_deliver", "sf_verify"],
-        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"],
-    },
-    // ── 15. config_precedence ──
-    {
-        id: "mc-config-precedence",
-        name: "配置优先级契约",
-        owner_module: "src/engine/config_precedence_contract.ts",
-        owner_exports: ["listPrecedenceRules", "getPrecedenceRank"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "sf_init",
-        required_inputs: ["field_key"],
-        preconditions: [],
-        outputs: ["ConfigPrecedenceResult"],
-        downstream_consumers: ["sf_init", "sf_validate"],
-        state_transitions: [],
-        cleanup_hooks: [],
-        failure_modes: ["invalid_override", "circular_dependency"],
-        degradation_behavior: "default config fallback",
-        tests: ["tests/engine/config_precedence_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/config_precedence_contract.test.ts"],
-    },
-    // ══ 扩展平台机制契约 ══
-    // ── 16. extension_contract (problem-39) ──
-    {
-        id: "mc-extension-contract",
-        name: "扩展生命周期与权限管控",
-        owner_module: "src/engine/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_expand", "sf_verify"],
-        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/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_expand", "sf_verify"],
-        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/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_verify", "sf_learn"],
-        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_svereignty (problem-16) ──
-    {
-        id: "mc-decision-sovereignty",
-        name: "技术决策主权",
-        owner_module: "src/engine/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_expand", "sf_verify"],
-        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/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_expand"],
-        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/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_expand", "sf_verify", "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/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_expand"],
-        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/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_expand", "sf_verify"],
-        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/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_expand"],
-        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/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_expand", "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/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_verify"],
-        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/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_verify", "sf_deliver"],
-        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/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_verify", "sf_deliver", "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/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_expand", "sf_verify", "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"],
-    },
-    // ── 24. existing_system_analysis (problem-50) ──
-    {
-        id: "mc-existing-system-analysis",
-        name: "现有系统分析与差距分析",
-        owner_module: "src/engine/existing_system_analysis.ts",
-        owner_exports: ["detectProjectContext", "checkAnalysisGate", "createExistingSystemAnalysis"],
-        mechanism_type: "analysis",
-        status: "enforced",
-        trigger: "existing_system 项目启动时",
-        required_inputs: ["has_existing_system", "has_new_requirement"],
-        preconditions: [],
-        outputs: ["ProjectContext", "AnalysisGateResult"],
-        downstream_consumers: ["sf_expand"],
-        failure_modes: ["existing_system 未分析"],
-        degradation_behavior: "未分析时阻断后续流程",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 25. coding_readiness (problem-51) ──
-    {
-        id: "mc-coding-readiness",
-        name: "编码准备门与测试优先",
-        owner_module: "src/engine/coding_readiness_gate.ts",
-        owner_exports: ["evaluateCodingReadiness", "createTestFirstPlan", "performMainlineConsumptionCheck"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "编码开始前",
-        required_inputs: ["coding_readiness_contract", "preconditions"],
-        preconditions: [],
-        outputs: ["ReadinessEvaluationResult", "TestFirstPlan"],
-        downstream_consumers: ["sf_expand"],
-        failure_modes: ["编码作为第一步", "blocked 状态允许编码"],
-        degradation_behavior: "准备不足时阻断编码",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 26. local_acceptance (problem-52) ──
-    {
-        id: "mc-local-acceptance",
-        name: "本地 Docker/浏览器验收",
-        owner_module: "src/engine/local_docker_acceptance.ts",
-        owner_exports: ["validateFinalAccess", "requiresLocalAcceptance", "performBrowserAcceptance"],
-        mechanism_type: "verification",
-        status: "enforced",
-        trigger: "本地验收阶段",
-        required_inputs: ["final_access", "project_run_mode"],
-        preconditions: [],
-        outputs: ["LocalDockerAcceptanceContract", "FinalAccessValidationResult"],
-        downstream_consumers: ["sf_verify", "delivery"],
-        failure_modes: ["无本地 URL", "浏览器验收失败未修复"],
-        degradation_behavior: "验收不通过时阻断交付",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 27. workflow_template_pack (problem-53) ──
-    {
-        id: "mc-workflow-template-pack",
-        name: "工作流模板包消费",
-        owner_module: "src/engine/workflow_template_pack.ts",
-        owner_exports: ["validateWorkflowTemplatePack", "advanceTemplateConsumptionStatus", "createTemplateConsumptionEvidence"],
-        mechanism_type: "artifact_management",
-        status: "enforced",
-        trigger: "模板消费验证时",
-        required_inputs: ["pack_contract", "consumption_evidences"],
-        preconditions: [],
-        outputs: ["WorkflowTemplatePackContract", "PackValidationResult"],
-        downstream_consumers: ["sf_expand", "sf_verify"],
-        failure_modes: ["模板停在中间状态", "消费 pipeline 不完整"],
-        degradation_behavior: "消费不完整时阻断",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 28. evolution_regression (problem-54) ──
-    {
-        id: "mc-evolution-regression",
-        name: "演进回归与新问题门控",
-        owner_module: "src/engine/evolution_regression_gate.ts",
-        owner_exports: ["performEvolutionGate", "checkDuplicateIssue", "createNewIssueRegressionGate"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "新问题登记时",
-        required_inputs: ["issue_candidate"],
-        preconditions: [],
-        outputs: ["NewIssueRegressionGate", "EvolutionGateResult"],
-        downstream_consumers: ["sf_expand"],
-        failure_modes: ["重复问题未检测", "无门控被接受"],
-        degradation_behavior: "门控未通过时拒绝问题",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 29. plan_proposal_gate (problem-55) ──
-    {
-        id: "mc-plan-proposal-gate",
-        name: "Plan / Proposal First Gate",
-        owner_module: "src/engine/plan_proposal_gate.ts",
-        owner_exports: ["evaluatePlanProposalGate", "requirePlanBeforeAction", "validateActionWithinPlan", "createPlanProposalEvidence", "inferPlanGateTaskType"],
-        mechanism_type: "planning",
-        status: "enforced",
-        trigger: "classify/route 后、expand/executing 前",
-        required_inputs: ["task_id", "task_type", "user_intent"],
-        preconditions: ["sf_classify 已完成"],
-        outputs: ["PlanProposalGateResult", "PlanProposalEvidence", "UserConfirmationRef", "VerificationPlanRef"],
-        downstream_consumers: ["sf_expand", "sf_execute", "sf_deliver", "ToolInvocation", "CommandContract"],
-        failure_modes: ["缺计划执行写入", "高风险无确认", "计划外动作", "review 被升级为执行"],
-        degradation_behavior: "Plan Gate 未通过时阻断写入/编码/构建/Docker/迁移/发布/交付",
-        tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-    },
-    // ── 30. core_experience_principle (problem-56) ──
-    {
-        id: "mc-core-experience-principle",
-        name: "Core Experience Principle",
-        owner_module: "src/engine/core_experience_principle.ts",
-        owner_exports: ["evaluateCoreExperiencePrinciple", "evaluateNoFalseCompletion", "evaluateMechanismFriction", "evaluateUserVisibleOutput", "createCoreExperiencePrincipleContract"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "新增机制/模板/workflow/Batch 问题时",
-        required_inputs: ["task_id", "workflow_id", "mechanism_evaluation_params"],
-        preconditions: ["新增机制已注册"],
-        outputs: ["CoreExperiencePrincipleEvaluation", "UserPathFrictionReport", "EvidenceSufficiencyReport", "RepairOrManualRequiredDecision"],
-        downstream_consumers: ["sf_verify", "sf_deliver", "validate-mechanisms", "ReleaseGate"],
-        failure_modes: ["机制未接主线", "用户路径过长", "硬规则降级", "假完成"],
-        degradation_behavior: "体验原则违反时阻断交付/发布",
-        tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-    },
-    // ── 31. knowledge_asset_governance (problem-57) ──
-    {
-        id: "mc-knowledge-asset-governance",
-        name: "Knowledge Asset Governance",
-        owner_module: "src/engine/knowledge_asset_schema.ts",
-        owner_exports: ["validateKnowledgeAssets", "buildKnowledgeAssetRegistry", "detectDuplicateAndConflicts", "resolveCanonicalAuthority"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "知识资产新增/修改/同步/迁移时",
-        required_inputs: ["knowledge_assets", "template_paths"],
-        preconditions: ["templates/knowledge/** 存在"],
-        outputs: ["KnowledgeAssetAuditReport", "KnowledgeConsumptionSnapshot", "KnowledgeAssetGenerationGateResult", "KnowledgeAssetMigrationPlan"],
-        downstream_consumers: ["intent_router", "intent_expander", "verifier", "adapter_prompt", "sync/migration", "observability"],
-        failure_modes: ["缺 frontmatter", "重复 canonical", "owner 缺失", "deprecated 被注入", "消费链路不可追踪"],
-        degradation_behavior: "知识资产审计失败时阻断注入",
-        tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-    },
-    // ══ DL-only 机制补入 MC ══
-    // ── 32. workflow_contract ──
-    {
-        id: "mc-workflow-contract",
-        name: "工作流契约",
-        owner_module: "src/engine/workflow_contract_registry.ts",
-        owner_exports: ["resolveWorkflow", "validateWorkflowContracts"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "sf_classify/sf_expand 路由后",
-        required_inputs: ["route_decision", "workflow_id"],
-        preconditions: ["route 已确定"],
-        outputs: ["WorkflowContract", "WorkflowTrace"],
-        downstream_consumers: ["sf_expand", "sf_verify", "sf_deliver"],
-        failure_modes: ["workflow 缺失 required_mechanism", "workflow 与 route 不匹配"],
-        degradation_behavior: "workflow 未命中时降级为默认 workflow",
-        tests: ["tests/engine/workflow_contract_registry.test.ts"],
-        lifecycle_tests: ["tests/engine/workflow_contract_registry.test.ts"],
-    },
-    // ── 33. tool_invocation_contract ──
-    {
-        id: "mc-tool-invocation-contract",
-        name: "工具调用契约",
-        owner_module: "src/adapters/claude_code/tools.ts",
-        owner_exports: ["registerTools", "checkWriteToolPlanGate"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "MCP tool 调用时",
-        required_inputs: ["tool_name", "tool_args"],
-        preconditions: [],
-        outputs: ["ToolResult"],
-        downstream_consumers: ["sf_classify", "sf_expand", "sf_verify", "sf_learn", "sf_deliver"],
-        failure_modes: ["tool 参数缺失", "tool 返回结构不符合契约"],
-        degradation_behavior: "tool 调用失败时返回错误信息",
-        tests: ["tests/adapters/tools_lifecycle.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 34. main_path_integration ──
-    {
-        id: "mc-main-path-integration",
-        name: "主链路集成",
-        owner_module: "src/engine/main_path_integration_contract.ts",
-        owner_exports: ["orphanGate", "auditIntegration", "validateMainPathIntegration"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "sf_verify 验证阶段",
-        required_inputs: ["changed_files", "route_decision"],
-        preconditions: [],
-        outputs: ["MainPathIntegrationReport"],
-        downstream_consumers: ["sf_verify", "sf_learn"],
-        failure_modes: ["孤岛模块未接入主链路"],
-        degradation_behavior: "孤岛模块不阻断但报告为 finding",
-        tests: ["tests/engine/main_path_integration_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/main_path_integration_contract.test.ts"],
-    },
-    // ── 35. privacy_boundary ──
-    {
-        id: "mc-privacy-boundary",
-        name: "隐私边界",
-        owner_module: "src/engine/privacy_secret_contract.ts",
-        owner_exports: ["scanTextSensitivity", "evaluatePrivacyGate", "redactSensitiveText"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "sf_expand 扩展前",
-        required_inputs: ["intent", "input_materials"],
-        preconditions: [],
-        outputs: ["PrivacyCheckResult"],
-        downstream_consumers: ["sf_expand", "sf_deliver"],
-        failure_modes: ["敏感数据泄漏到 prompt", "生产数据进入代码"],
-        degradation_behavior: "隐私检查失败时阻断扩展",
-        tests: ["tests/engine/privacy_secret_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/privacy_secret_contract.test.ts"],
-    },
-    // ── 36. command_execution ──
-    {
-        id: "mc-command-execution",
-        name: "命令执行契约",
-        owner_module: "src/engine/command_execution_contract.ts",
-        owner_exports: ["validateCommand"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "命令执行前",
-        required_inputs: ["command", "risk_level"],
-        preconditions: [],
-        outputs: ["CommandValidationResult"],
-        downstream_consumers: ["sf_verify", "sf_deliver"],
-        failure_modes: ["destructive 命令未确认", "命令注入"],
-        degradation_behavior: "高风险命令需要人工确认",
-        tests: ["tests/engine/command_execution_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/command_execution_contract.test.ts"],
-    },
-    // ── 37. guard_evaluation ──
-    {
-        id: "mc-guard-evaluation",
-        name: "护栏评估",
-        owner_module: "src/engine/enforcement_guard.ts",
-        owner_exports: ["listAllGuards", "evaluateWriteGuard", "validateGuardContractIds"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "sf_expand/sf_verify 阶段",
-        required_inputs: ["route", "mechanism_status"],
-        preconditions: [],
-        outputs: ["GuardEvaluationResult"],
-        downstream_consumers: ["sf_expand", "sf_verify", "sf_deliver"],
-        failure_modes: ["required 机制未 enforced", "guard 绕过"],
-        degradation_behavior: "guard 失败时阻断流程",
-        tests: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/verification_scenario_matrix.test.ts"],
-    },
-    // ── 38. registry_infrastructure ──
-    {
-        id: "mc-registry-infrastructure",
-        name: "注册表基础设施",
-        owner_module: "src/engine/consumable_asset_registry.ts",
-        owner_exports: ["listBuiltinConsumableAssets", "findConsumableAssetByPath"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "初始化时",
-        required_inputs: ["asset_path", "mechanism_id"],
-        preconditions: [],
-        outputs: ["ConsumableAssetRef[]"],
-        downstream_consumers: ["intent_router", "intent_expander", "verifier", "claude_md"],
-        failure_modes: ["资产注册不一致", "owner_mechanism_id 不存在"],
-        degradation_behavior: "注册表不一致时报告为 finding",
-        tests: ["tests/engine/consumable_asset_registry.test.ts"],
-        lifecycle_tests: ["tests/engine/consumable_asset_registry.test.ts"],
-    },
-    // ── 39. instruction_contract ──
-    {
-        id: "mc-instruction-contract",
-        name: "施工指令契约",
-        owner_module: "src/engine/instruction_contract.ts",
-        owner_exports: ["validateInstructionContract", "registerInstructionIssueCandidate", "checkInstructionCompleteness", "enforceInstructionBeforeImplementation"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "写操作/实现/编码前",
-        required_inputs: ["task_id", "goal", "scope", "non_goals", "output_location", "acceptance_criteria", "bypass_prohibited"],
-        preconditions: [],
-        outputs: ["InstructionValidationResult", "InstructionEnforcementResult"],
-        downstream_consumers: ["sf_expand", "registerSafeTool middleware", "sf_verify", "sf_deliver"],
-        failure_modes: ["施工指令缺失必填字段", "blocked 状态指令被放行", "空值假通过"],
-        degradation_behavior: "指令不完整时阻断，不可降级",
-        tests: ["tests/engine/instruction_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/instruction_contract.test.ts"],
-    },
-    // ── 40. evidence_grounding ──
-    {
-        id: "mc-evidence-grounding",
-        name: "证据驱动与反幻觉契约",
-        owner_module: "src/engine/evidence_grounding_contract.ts",
-        owner_exports: [
-            "createEvidenceGroundingSystem",
-            "assessTaskRisk",
-            "EvidenceSourceRegistry",
-            "FactClaimVerifier",
-            "UnsupportedClaimGate",
-            "GroundedContextBuilder",
-            "EvidenceConflictDetector",
-            "HallucinationRiskClassifier",
-        ],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "高风险任务的事实声明、验证结论、交付结论必须经过证据校验",
-        required_inputs: ["task_risk_level", "fact_claims", "evidence_sources"],
-        preconditions: ["任务已分类", "施工指令存在"],
-        outputs: ["EvidenceMatrix", "EvidenceGateResult"],
-        downstream_consumers: ["sf_expand", "sf_verify", "sf_deliver", "instruction_contract"],
-        failure_modes: [
-            "SF-EVIDENCE-6001: 高风险任务存在无证据声明 (hard_fail, 补充证据或标注不确定)",
-            "SF-EVIDENCE-6002: 高风险任务缺少证据矩阵 (hard_fail, 构建证据矩阵)",
-        ],
-        degradation_behavior: "低风险任务降级为advisory，不阻断",
-        tests: ["tests/engine/evidence_grounding_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/evidence_grounding_contract.test.ts"],
-    },
-    // ── 全生命周期工作流导航契约 ──
-    {
-        id: "mc-workflow-navigation-contract",
-        name: "全生命周期工作流导航契约",
-        owner_module: "src/engine/next_action_planner.ts",
-        owner_files: ["src/engine/next_action_planner.ts", "src/engine/stale_current_task_detector.ts"],
-        owner_exports: [
-            "planNextAction",
-            "computeDisallowedActions",
-        ],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "soloforge next, soloforge stage, sf_navigation, 以及\"下一步\"\"继续\"\"现在能写代码吗\"等模糊推进意图",
-        required_inputs: ["project_path"],
-        preconditions: [],
-        outputs: ["NextActionPlan", "ExecutableWorkPackage", "StaleCurrentTaskResult"],
-        downstream_consumers: ["cli_next", "cli_stage", "cli_status", "sf_navigation", "release_readiness_gate"],
-        state_transitions: [],
-        cleanup_hooks: [],
-        failure_modes: [
-            "SF-NAV-6501: 设计审计失败仍尝试编码 (hard_fail, 完成设计审计)",
-            "SF-NAV-6502: 配置未确认仍尝试任务 (hard_fail, 确认配置)",
-            "SF-NAV-6503: 陈旧任务阻塞新任务 (hard_fail, 归档或恢复旧任务)",
-            "SF-NAV-6504: repair directive 未清零仍交付 (hard_fail, 完成修复复验)",
-        ],
-        degradation_behavior: "导航失败时降级为 advisory，不阻断",
-        tests: ["tests/engine/workflow_navigation_contract.test.ts", "tests/bin/cli_next_action.test.ts", "tests/adapters/workflow_navigation_mainpath.test.ts"],
-        lifecycle_tests: ["tests/adapters/workflow_navigation_mainpath.test.ts"],
-    },
-    {
-        id: "mc-ood-solid-contract",
-        name: "OOD 与 SOLID 实现契约",
-        owner_module: "src/engine/ood_solid_contract.ts",
-        owner_exports: ["requiresOodSolidContract", "evaluateOodDesignGate", "reviewSolidCode", "hasBlockingSolidFindings"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "复杂业务编码、对象边界设计、代码审查、验证和交付",
-        required_inputs: ["task_id", "intent", "changed_files"],
-        preconditions: ["任务已分类"],
-        outputs: ["OodDesignSummary", "SolidReviewFinding", "OodSolidGateResult"],
-        downstream_consumers: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
-        failure_modes: [
-            "SF-OOD-6601: 复杂编码缺少 OOD/SOLID 摘要",
-            "SF-OOD-6602: SRP/LSP/ISP/DIP 硬失败仍尝试交付",
-        ],
-        degradation_behavior: "低风险文案或简单配置修改不触发重设计，仅对过度设计给出 warning",
-        tests: ["tests/engine/ood_solid_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
-        lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
-    },
-    {
-        id: "mc-backend-implementation-contract",
-        name: "后端实现工程契约",
-        owner_module: "src/engine/backend_implementation_contract.ts",
-        owner_exports: ["requiresBackendImplementationContract", "evaluateBackendImplementationGate", "reviewBackendImplementationFiles", "hasBlockingBackendFindings"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "后端接口、数据写入、安全或一致性实现的编码、审查、验证和交付",
-        required_inputs: ["task_id", "intent", "changed_files"],
-        preconditions: ["任务已分类"],
-        outputs: ["BackendImplementationWorkPackage", "BackendImplementationFinding", "BackendImplementationGateResult"],
-        downstream_consumers: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
-        failure_modes: [
-            "SF-BACKEND-6701: 后端实现缺少工程工作包",
-            "SF-BACKEND-6702: DTO/事务/幂等/权限/审计硬失败仍尝试交付",
-        ],
-        degradation_behavior: "非后端和低风险文本任务不触发后端实现门禁",
-        tests: ["tests/engine/backend_implementation_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
-        lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
-    },
-    {
-        id: "mc-code-maintainability-observability-contract",
-        name: "代码可维护性与可观测性契约",
-        owner_module: "src/engine/code_maintainability_observability_contract.ts",
-        owner_exports: [
-            "requiresCodeObservabilityContract",
-            "evaluateCodeObservabilityGate",
-            "reviewCodeObservability",
-            "detectSensitiveLogs",
-            "reviewMissingLogs",
-            "reviewCommentQuality",
-            "reviewLoggerUsage",
-            "detectProjectLogger",
-            "isLowRiskChange",
-            "hasBlockingObservabilityFindings",
-            "verifyChangedFilesObservability",
-            "evaluateDeliveryBlock",
-        ],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "业务编码、接口实现、状态流转、支付、权限、迁移脚本、异常处理、外部调用的编码、审查、验证和交付",
-        required_inputs: ["task_id", "intent", "changed_files"],
-        preconditions: ["任务已分类"],
-        outputs: ["CodeObservabilityWorkPackage", "CodeObservabilityFinding", "CodeObservabilityGateResult"],
-        downstream_consumers: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
-        failure_modes: [
-            "SF-OBS-6801: 敏感信息泄漏日志",
-            "SF-OBS-6802: catch 吞异常无日志",
-            "SF-OBS-6803: 支付/金额/权限变更无日志",
-            "SF-OBS-6804: 数据修复/迁移无审计日志",
-        ],
-        degradation_behavior: "纯样式、文案、简单 getter/setter、测试 fixture、低风险只读查询不触发可维护性与可观测性门禁",
-        tests: ["tests/engine/code_maintainability_observability_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
-        lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
-    },
-    {
-        id: "mc-mechanism-health",
-        name: "机制运行时健康度",
-        owner_module: "src/engine/mechanism_health_check.ts",
-        owner_exports: ["runFullHealthCheck", "detectLazyDeadImports", "detectUnconsumedMechanismIds", "scanModuleExports"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "validate-mechanisms 与 validate-release 执行机制死代码、lazy import 和未消费机制检查",
-        required_inputs: ["rootDir"],
-        preconditions: ["源码可读"],
-        outputs: ["MechanismHealthReport"],
-        downstream_consumers: ["cmdValidateMechanisms", "validate-release"],
-        failure_modes: ["lazy import 只声明未调用", "机制资产缺失", "机制身份未注册"],
-        degradation_behavior: "离线治理机制，不影响用户项目运行时路径",
-        tests: ["tests/engine/mechanism_health_check.test.ts"],
-        lifecycle_tests: ["tests/engine/mechanism_health_check.test.ts"],
-    },
-    {
-        id: "mc-config-write-boundary",
-        name: "配置落盘边界",
-        owner_module: "src/engine/config_write_boundary.ts",
-        owner_exports: ["classifyConfigContext", "isWriteAllowed", "validateWriteBoundary", "getWriteConfirmationPrompt"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "init、sync-templates 等管理命令准备写入 SoloForge 管理文件",
-        required_inputs: ["project_path", "target_path"],
-        preconditions: ["项目路径可读"],
-        outputs: ["ConfigWriteDecision", "WriteBoundaryViolation"],
-        downstream_consumers: ["cmdSyncTemplates", "validate-release"],
-        failure_modes: ["运行时推断自动落盘", "已有项目未确认写入管理文件"],
-        degradation_behavior: "空项目初始化允许写入，已有项目需要确认",
-        tests: ["tests/engine/config_write_boundary.test.ts"],
-        lifecycle_tests: ["tests/engine/config_write_boundary.test.ts"],
-    },
-    {
-        id: "mc-knowledge-governance",
-        name: "知识治理统一入口",
-        owner_module: "src/engine/knowledge_governance_gate.ts",
-        owner_exports: ["runKnowledgeGovernanceCheck", "checkSemanticCompliance", "checkEvolutionEvidence", "checkDocumentationGovernance", "checkLanguagePolicyCompliance"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "validate、sync-templates 与 validate-release 执行知识生命周期、语义、文档和语言策略检查",
-        required_inputs: ["KnowledgeGovernanceContext"],
-        preconditions: ["知识资产可读"],
-        outputs: ["KnowledgeGovernanceReport"],
-        downstream_consumers: ["cmdValidate", "cmdSyncTemplates", "validate-release"],
-        failure_modes: ["知识晋级无证据", "用户可见语义污染", "设计文档承载未验证事实"],
-        degradation_behavior: "默认作为治理报告输出，hard_fail 仅阻断发布或明确 apply",
-        tests: ["tests/engine/knowledge_governance_gate.test.ts"],
-        lifecycle_tests: ["tests/engine/knowledge_governance_gate.test.ts"],
-    },
-    {
-        id: "mc-log-governance",
-        name: "日志治理与用户输出纯净",
-        owner_module: "src/engine/log_governance.ts",
-        owner_exports: ["enforceLogGovernance", "classifyOutputVisibility", "validateLogFormat", "assessOutputNoise", "evaluateFeedbackOutputQuality"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "用户反馈、交付输出和 validate-release 输出噪音检查",
-        required_inputs: ["output"],
-        preconditions: ["输出内容可检查"],
-        outputs: ["LogGovernanceReport"],
-        downstream_consumers: ["assessCepForUserFeedback", "validate-release"],
-        failure_modes: ["内部噪音泄漏", "JSON stdout 污染", "直接 console 输出"],
-        degradation_behavior: "默认不改变成功路径，只阻断输出污染和发布噪音",
-        tests: ["tests/engine/log_governance.test.ts"],
-        lifecycle_tests: ["tests/engine/log_governance.test.ts"],
-    },
-];
-// ── 查询函数 ──
-/**
- * 执行 listMechanismContracts 操作
- */
-export function listMechanismContracts() {
-    return P0_MECHANISM_CONTRACTS;
-}
-/**
- * 根据契约 ID 查找机制契约。
- * @param id - 机制契约 ID
- * @returns 匹配的机制契约，未找到时返回 undefined
- */
-export function findMechanismContractById(id) {
-    return P0_MECHANISM_CONTRACTS.find((c) => c.id === id);
-}
-/**
- * 执行 listMechanismContractsByStatus 操作
- */
-export function listMechanismContractsByStatus(status) {
-    return P0_MECHANISM_CONTRACTS.filter((c) => c.status === status);
-}
-// ── 治理验证 ──
-/**
- * 校验机制契约的结构完整性和一致性。
- * @param contracts - 待校验的契约列表，默认使用内置 P0 契约
- * @param rootDir - 项目根目录，默认为当前工作目录
- * @returns 治理发现列表（hard_fail 为硬性错误，advisory 为建议项）
- */
-export function validateMechanismContracts(contracts = P0_MECHANISM_CONTRACTS, rootDir = process.cwd()) {
-    const findings = [];
-    const seenIds = new Set();
-    for (const c of contracts) {
-        // 重复 id
-        if (seenIds.has(c.id)) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "id", message: `Duplicate id: ${c.id}` });
-        }
-        seenIds.add(c.id);
-        // owner_module 文件存在性
-        if (!fs.existsSync(path.join(rootDir, c.owner_module))) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "owner_module", message: `Module not found: ${c.owner_module}` });
-        }
-        // owner_exports 验证：每个导出必须在模块文件中存在
-        if (c.owner_exports?.length && fs.existsSync(path.join(rootDir, c.owner_module))) {
-            const moduleContent = fs.readFileSync(path.join(rootDir, c.owner_module), "utf-8");
-            for (const exp of c.owner_exports) {
-                if (!moduleContent.includes(exp)) {
-                    findings.push({ severity: "hard_fail", contract_id: c.id, field: "owner_exports", message: `Export not found in module: ${exp}` });
-                }
-            }
-        }
-        // enforced 状态必须有 lifecycle_tests
-        if (c.status === "enforced" && c.lifecycle_tests.length === 0) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: "Enforced mechanism must have lifecycle_tests" });
-        }
-        // 测试文件存在性
-        for (const t of c.tests) {
-            if (!fs.existsSync(path.join(rootDir, t))) {
-                findings.push({ severity: "hard_fail", contract_id: c.id, field: "tests", message: `Test file not found: ${t}` });
-            }
-        }
-        // lifecycle_tests 文件存在性
-        for (const t of c.lifecycle_tests) {
-            if (!fs.existsSync(path.join(rootDir, t))) {
-                findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: `Lifecycle test file not found: ${t}` });
-            }
-        }
-        // required_inputs 非空
-        if (c.required_inputs.length === 0) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "required_inputs", message: "required_inputs must not be empty" });
-        }
-        // outputs 非空
-        if (c.outputs.length === 0) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "outputs", message: "outputs must not be empty" });
-        }
-        // downstream_consumers 非空
-        if (c.downstream_consumers.length === 0) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "downstream_consumers", message: "downstream_consumers must not be empty" });
-        }
-        // state_lifecycle 必须有 state_transitions
-        if (c.mechanism_type === "state_lifecycle" && (!c.state_transitions || c.state_transitions.length === 0)) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "state_transitions", message: "state_lifecycle mechanism must have state_transitions" });
-        }
-        // 有 cleanup_hooks 但无 lifecycle_tests
-        if (c.cleanup_hooks && c.cleanup_hooks.length > 0 && c.lifecycle_tests.length === 0) {
-            findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: "Mechanism with cleanup_hooks must have lifecycle_tests" });
-        }
-        // ── 建议性检查 ──
-        // failure_modes 为空
-        if (c.failure_modes.length === 0) {
-            findings.push({ severity: "advisory", contract_id: c.id, field: "failure_modes", message: "failure_modes is empty" });
-        }
-        // degradation_behavior 为空或过短
-        if (!c.degradation_behavior || c.degradation_behavior.length < 10) {
-            findings.push({ severity: "advisory", contract_id: c.id, field: "degradation_behavior", message: "degradation_behavior is empty or too short" });
-        }
-        // 通用 downstream_consumers
-        if (c.downstream_consumers.includes("unknown")) {
-            findings.push({ severity: "advisory", contract_id: c.id, field: "downstream_consumers", message: "downstream_consumers contains generic 'unknown'" });
-        }
-        // 已废弃但无 notes
-        if (c.status === "deprecated" && !c.notes) {
-            findings.push({ severity: "advisory", contract_id: c.id, field: "notes", message: "Deprecated mechanism must have notes explaining removal" });
-        }
-    }
-    return findings;
-}
-//# sourceMappingURL=mechanism_contract_registry.js.map