soloforge 1.4.16 → 1.5.0

package/dist/engine/implementation_roadmap_registry.js

@@ -1,1340 +0,0 @@
-import { debug } from "./logger.js";
-// ── 数据 ──
-const PROBLEM_ENTRIES = [
-    // ── 前置完成 ──
-    {
-        id: "problem-1", label: "问题一",
-        title: "自动膨胀入口被 task_type 绑死，导致大量产物型/提取型/分析型语义被跳过",
-        status: "completed", priority: "pre_completed", batch_id: "batch-1",
-        completion_evidence: "4e98eb3",
-        related_mechanism_ids: ["mc-intent-router"], related_capability_ids: [],
-        owner_module: "src/engine/intent_router.ts",
-        test_files: ["tests/engine/intent_router.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-2", label: "问题二",
-        title: "setup.sh 是历史遗留入口，应删除避免安装心智冲突",
-        status: "completed", priority: "pre_completed", batch_id: "batch-1",
-        completion_evidence: "73286ef",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null,
-        test_files: ["tests/templates/no_setup_sh.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-3", label: "问题三",
-        title: "verify-test-counts.mjs 是过时测试数量门禁，应删除",
-        status: "completed", priority: "pre_completed", batch_id: "batch-1",
-        completion_evidence: "f514032",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null,
-        test_files: [],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-4", label: "问题四",
-        title: "SoloForge 可消费资产缺少消费覆盖矩阵",
-        status: "completed", priority: "pre_completed", batch_id: "batch-1",
-        completion_evidence: "2d71d40",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/consumable_asset_registry.ts",
-        test_files: ["tests/engine/consumable_asset_registry.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-5", label: "问题五",
-        title: "机制层缺少自治理，无法系统发现机制失效、空转和状态污染",
-        status: "completed", priority: "pre_completed", batch_id: "batch-1",
-        completion_evidence: "a344c85",
-        related_mechanism_ids: ["mc-intent-router", "mc-intent-expander", "mc-knowledge-injection-boundary", "mc-task-context-lifecycle", "mc-verifier"],
-        related_capability_ids: [],
-        owner_module: "src/engine/mechanism_contract_registry.ts",
-        test_files: ["tests/engine/mechanism_contract_registry.test.ts"],
-        memo_section: "## ",
-    },
-    // ── P0 / 第 1 批 ──
-    {
-        id: "problem-6", label: "问题六",
-        title: "项目配置不应默认自动落盘，必须区分运行时推断、现有项目探测和空项目蓝图",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        completion_evidence: "2707dbc",
-        related_mechanism_ids: ["mc-zero-config-init"], related_capability_ids: [],
-        owner_module: "src/engine/zero_config_init.ts",
-        test_files: ["tests/engine/zero_config_init.test.ts", "tests/engine/auto_init_cli.test.ts", "tests/engine/auto_init.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-8", label: "问题八",
-        title: "知识注入边界过粗，缺少分层优先级、状态约束、注入原因和排除原因",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        completion_evidence: "d4e1731",
-        related_mechanism_ids: ["mc-knowledge-injection-boundary", "mc-knowledge-matching"],
-        related_capability_ids: ["knowledge_sovereignty"],
-        owner_module: "src/engine/knowledge_injection_boundary.ts",
-        test_files: ["tests/engine/knowledge_injection_boundary.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-9", label: "问题九",
-        title: "机制层核心工作流停留在概念流程，缺少可执行契约、机制分工、降级边界和防退化治理",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: ["mc-task-context-lifecycle"],
-        related_capability_ids: ["task_context_lifecycle"],
-        owner_module: "src/engine/workflow_contract_registry.ts",
-        test_files: ["tests/engine/workflow_contract_registry.test.ts"],
-        completion_evidence: "workflow_contract_registry",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-22", label: "问题二十二",
-        title: "MCP 工具 / 适配器边界缺少 Tool Invocation Contract",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/tool_invocation_contract_registry.ts",
-        test_files: ["tests/engine/tool_invocation_contract_registry.test.ts"],
-        completion_evidence: "tool_invocation_contract_registry",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-23", label: "问题二十三",
-        title: "外部材料摄取边界缺少 Input Material Contract",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: ["mc-input-material-contract"], related_capability_ids: [],
-        owner_module: "src/engine/input_material_contract_registry.ts", test_files: ["tests/engine/input_material_contract_registry.test.ts"],
-        completion_evidence: "input_material_contract_registry.ts(4 exports) + tools.ts(sf_expand 行1280 await lazyInputMaterial → classifyIngestionStatus) + 输入材料契约规则.md + input_material_contract_registry.test.ts + validate-release Phase9",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-24", label: "问题二十四",
-        title: "输出产物管理缺少 Artifact Contract",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/artifact_contract_registry.ts", test_files: ["tests/engine/artifact_contract_registry.test.ts"],
-        completion_evidence: "artifact_contract_registry",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-29", label: "问题二十九",
-        title: "用户可见反馈体验缺少 User Feedback Contract",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/user_feedback_contract.ts", test_files: ["tests/engine/user_feedback_contract.test.ts"],
-        completion_evidence: "user_feedback_contract",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-32", label: "问题三十二",
-        title: "权限、隐私与敏感信息边界缺少 Privacy / Secret / Data Sovereignty Contract",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: [], related_capability_ids: ["secret_scan", "scope_hook"],
-        owner_module: "src/engine/privacy_secret_contract.ts", test_files: ["tests/engine/privacy_secret_contract.test.ts"],
-        completion_evidence: "privacy_secret_contract",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-33", label: "问题三十三",
-        title: "真实命令执行边界缺少 Command Execution Contract",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/command_execution_contract.ts", test_files: ["tests/engine/command_execution_contract.test.ts"],
-        completion_evidence: "command_execution_contract",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-37", label: "问题三十七",
-        title: "配置优先级与覆盖规则缺少 Configuration Precedence Contract",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/config_precedence_contract.ts", test_files: ["tests/engine/config_precedence_contract.test.ts"],
-        completion_evidence: "config_precedence_contract",
-        memo_section: "## ",
-    },
-    // ── P1 / 第 2 批 ──
-    {
-        id: "problem-11", label: "问题十一",
-        title: "机制层强制护栏边界过窄且缺少统一 Enforcement Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: ["scope_hook", "secret_scan"],
-        owner_module: "src/engine/enforcement_guard.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-12", label: "问题十二",
-        title: "机制层验证与交付缺少 Verification/Delivery Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: ["mc-verifier"], related_capability_ids: ["verify_command_generation"],
-        owner_module: "src/engine/verification_contract.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-13", label: "问题十三",
-        title: "机制层失败处理缺少 Failure Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/failure_report.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-15", label: "问题十五",
-        title: "机制族缺少 Mechanism Family Implementation Map",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/mechanism_family_registry.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-17", label: "问题十七",
-        title: "TaskContext 边界缺少 State Fact Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: ["mc-task-context-lifecycle"], related_capability_ids: ["task_context_lifecycle"],
-        owner_module: "src/engine/task_context.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-18", label: "问题十八",
-        title: "降级与容错策略过粗，缺少 Degradation Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/degradation.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-20", label: "问题二十",
-        title: "契约治理内核缺少统一 Contract Registry",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: ["governance_runtime_loop"],
-        owner_module: "src/engine/contract_registry.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-28", label: "问题二十八",
-        title: "多任务、并发与工作区污染缺少 Concurrency / Workspace Isolation Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: ["io_lock", "scope_lease"],
-        owner_module: "src/engine/workspace_lease.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-34", label: "问题三十四",
-        title: "测试策略缺少 Test Strategy Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/test_strategy.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-36", label: "问题三十六",
-        title: "错误码 / 诊断码体系缺少 Diagnostic Code Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/diagnostic_registry.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-38", label: "问题三十八",
-        title: "日志 / 审计 / 可观测性存储边界缺少 Observability Storage Contract",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/retention_policy.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-48", label: "问题四十八",
-        title: "中文语义优先与 Language Policy Contract 缺失",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-2",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/language_policy_contract.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    // ── P2 / 第 3 批 ──
-    {
-        id: "problem-7", label: "问题七",
-        title: "知识生命周期缺少自治理，且 active/core、staged/draft 等概念混淆",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "knowledge_lifecycle_enforced",
-        related_mechanism_ids: [], related_capability_ids: ["knowledge_sovereignty"],
-        owner_module: "src/engine/knowledge_lifecycle.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-10", label: "问题十",
-        title: "用户项目内缺少中文语义优先机制",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "chinese_semantic_priority_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/chinese_semantic_priority.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-14", label: "问题十四",
-        title: "知识演进缺少 Evidence-based Promotion Contract",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "knowledge_evolution_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/knowledge_evolution.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-21", label: "问题二十一",
-        title: "文档维护边界缺少 Documentation Governance Contract",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "documentation_governance_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/documentation_governance.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-25", label: "问题二十五",
-        title: "模板与知识同步升级缺少 Template Sync / Migration Contract",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "template_sync_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/template_sync.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-30", label: "问题三十",
-        title: "CLI / README / 用户心智边界缺少 User Promise Contract",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "user_promise_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/user_promise.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-31", label: "问题三十一",
-        title: "适配器工作流模板缺少 Adapter Prompt Contract",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "adapter_prompt_contract_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/adapter_prompt_contract.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-35", label: "问题三十五",
-        title: "Release / 版本兼容 / 迁移策略缺少 Release Compatibility Contract",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "release_compatibility_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/release_compatibility.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-41", label: "问题四十一",
-        title: "国际化与多语言项目覆盖缺少 Language Policy Override Contract",
-        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
-        completion_evidence: "language_policy_override_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/language_policy.ts",
-        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    // ── P3 / 第 4 批 ──
-    {
-        id: "problem-16", label: "问题十六",
-        title: "自主技术选型缺少 Decision Sovereignty Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "tools.ts checkDecisionSovereigntyGate (脱离 hasInstructionContract, requiresDecisionSovereignty 触发, 缺证据 blocked) → lazyTechnologyDecision → validateTechnologyDecision + evaluateDecisionExecution",
-        related_mechanism_ids: ["mc-decision-sovereignty"], related_capability_ids: [],
-        owner_module: "src/engine/technology_decision.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts", "tests/engine/s4_enforcement_gates.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-19", label: "问题十九",
-        title: "质量指标与监控缺少 Metric Contract 和 Action Binding",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "metric_governance_enforced",
-        related_mechanism_ids: ["mc-metric-governance"], related_capability_ids: [],
-        owner_module: "src/engine/metric_governance.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-26", label: "问题二十六",
-        title: "SoloForge 缺少 Detail Discipline Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "tools.ts checkDetailDisciplineGate (脱离 hasInstructionContract, requiresDetailDiscipline 触发, 缺证据 blocked) → lazyDetailDiscipline → performDetailCheck + generateRiskItems",
-        related_mechanism_ids: ["mc-detail-discipline"], related_capability_ids: [],
-        owner_module: "src/engine/detail_discipline.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts", "tests/engine/s4_enforcement_gates.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-27", label: "问题二十七",
-        title: "SoloForge 缺少 First Principles Reasoning Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "tools.ts checkFirstPrinciplesGate (脱离 hasInstructionContract, requiresFirstPrinciples 触发, 缺证据 blocked) → lazyFirstPrinciples → validateFirstPrinciplesForHighImpact",
-        related_mechanism_ids: ["mc-first-principles"], related_capability_ids: [],
-        owner_module: "src/engine/first_principles.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts", "tests/engine/s4_enforcement_gates.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-39", label: "问题三十九",
-        title: "插件 / 扩展机制边界缺少 Extension Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "extension_contract_enforced",
-        related_mechanism_ids: ["mc-extension-contract"], related_capability_ids: [],
-        owner_module: "src/engine/extension_contract.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-40", label: "问题四十",
-        title: "跨平台路径与环境兼容缺少 Platform Compatibility Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "platform_context_enforced",
-        related_mechanism_ids: ["mc-platform-compatibility"], related_capability_ids: [],
-        owner_module: "src/engine/platform_context.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-42", label: "问题四十二",
-        title: "脑暴与方案探索缺少 Brainstorm / Option Exploration Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "tools.ts checkBrainstormGate (脱离 hasInstructionContract, requiresBrainstorm 触发, 缺证据 blocked) → lazyBrainstormContract → validateBrainstormSession + canBrainstormAutoExecute",
-        related_mechanism_ids: ["mc-brainstorm-contract"], related_capability_ids: [],
-        owner_module: "src/engine/brainstorm_contract.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts", "tests/engine/s4_enforcement_gates.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-43", label: "问题四十三",
-        title: "落地修复优先级与分批方案缺少 Implementation Roadmap Contract",
-        status: "completed", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "roadmap_registry",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/implementation_roadmap_registry.ts",
-        test_files: ["tests/engine/implementation_roadmap_registry.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-49", label: "问题四十九",
-        title: "架构设计工作流缺少 Architecture Design Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "architecture_design_enforced",
-        related_mechanism_ids: ["mc-architecture-design"], related_capability_ids: [],
-        owner_module: "src/engine/architecture_design_contract.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-50", label: "问题五十",
-        title: "现有系统分析与差距分析缺少 ExistingSystemAnalysis + RequirementGapAnalysis",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "existing_system_analysis_enforced",
-        related_mechanism_ids: ["mc-existing-system-analysis"], related_capability_ids: [],
-        owner_module: "src/engine/existing_system_analysis.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-51", label: "问题五十一",
-        title: "编码准备与测试优先缺少 CodingReadinessGate + TestFirstPlan Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "coding_readiness_gate_enforced",
-        related_mechanism_ids: ["mc-coding-readiness"], related_capability_ids: [],
-        owner_module: "src/engine/coding_readiness_gate.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-52", label: "问题五十二",
-        title: "本地 Docker/浏览器验收缺少 LocalDockerAcceptance Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "local_docker_acceptance_enforced",
-        related_mechanism_ids: ["mc-local-acceptance"], related_capability_ids: [],
-        owner_module: "src/engine/local_docker_acceptance.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-53", label: "问题五十三",
-        title: "工作流模板包缺少 WorkflowTemplatePack Contract",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "workflow_template_pack_enforced",
-        related_mechanism_ids: ["mc-workflow-template-pack"], related_capability_ids: [],
-        owner_module: "src/engine/workflow_template_pack.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-54", label: "问题五十四",
-        title: "新增问题/批次/工作流缺少 Evolution Regression Gate",
-        status: "implemented_verified", priority: "P3", batch_id: "batch-4",
-        completion_evidence: "evolution_regression_gate_enforced",
-        related_mechanism_ids: ["mc-evolution-regression"], related_capability_ids: [],
-        owner_module: "src/engine/evolution_regression_gate.ts",
-        test_files: ["tests/engine/extension_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    // ── : 主链路接入防孤岛 ──
-    {
-        id: "problem-44", label: "问题四十四",
-        title: "新增能力主链路接入防孤岛机制 (Main Path Integration Contract)",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        completion_evidence: "wired_into_verifier_and_task_context_and_tools",
-        related_mechanism_ids: ["mc-verifier", "mc-task-context-lifecycle"],
-        related_capability_ids: ["verify_command_generation", "task_context_lifecycle"],
-        owner_module: "src/engine/main_path_integration_contract.ts",
-        test_files: [
-            "tests/engine/main_path_integration_contract.test.ts",
-            "tests/adapters/main_path_integration_gate.test.ts",
-        ],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-45", label: "问题四十五",
-        title: "双-layer 机制治理完整性 — 所有机制必须双-layer enforced",
-        status: "completed", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: ["mc-intent-router", "mc-workflow-contract", "mc-knowledge-injection-boundary", "mc-tool-invocation-contract", "mc-verifier", "mc-main-path-integration", "mc-privacy-boundary", "mc-command-execution", "mc-core-engineering-principles", "mc-delivery-gate", "mc-task-context-lifecycle", "mc-guard-evaluation", "mc-registry-infrastructure", "mc-zero-config-init", "mc-input-material-contract", "mc-user-feedback", "mc-artifact-contract", "mc-config-precedence", "mc-decision-sovereignty", "mc-brainstorm-contract", "mc-detail-discipline", "mc-first-principles", "mc-architecture-design", "mc-existing-system-analysis", "mc-coding-readiness", "mc-local-acceptance", "mc-evolution-regression", "mc-plan-proposal-gate", "mc-core-experience-principle", "mc-knowledge-asset-governance", "mc-intent-expander", "mc-extension-contract", "mc-platform-compatibility", "mc-workflow-template-pack", "mc-metric-governance", "mc-instruction-contract", "mc-evidence-grounding", "mc-architecture-decision-workshop", "mc-design-artifact-pack", "mc-standard-asset-contract", "mc-template-asset-visibility", "mc-decision-workshop", "mc-standard-asset-coverage", "mc-workflow-navigation-contract", "mc-ood-solid-contract", "mc-backend-implementation-contract", "mc-code-maintainability-observability-contract", "mc-mechanism-health", "mc-config-write-boundary", "mc-knowledge-governance", "mc-log-governance"],
-        related_capability_ids: [],
-        owner_module: "src/engine/dual_layer_mechanism_registry.ts",
-        test_files: ["tests/engine/dual_layer_mechanism_registry.test.ts"],
-        completion_evidence: "dual_layer_all_18",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-46", label: "问题四十六",
-        title: "核心工程执行原则缺少统一契约，Think Before Coding / Simplicity First / Surgical Changes / Goal-Driven Execution 散落在流程模板中，尚未形成可注入、可验证、可阻断的双层机制",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: ["mc-core-engineering-principles"],
-        related_capability_ids: [],
-        owner_module: "src/engine/core_engineering_principles.ts",
-        test_files: ["tests/engine/core_engineering_principles.test.ts"],
-        completion_evidence: "mc-core-engineering-principles 已实现并由 sf_expand/sf_verify 消费；Think Before Coding、Simplicity First、Surgical Changes、Goal-Driven Execution 均有真实验证路径；双层资产、引擎测试与 foundation 场景覆盖均已接入",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-47", label: "问题四十七",
-        title: "入口自然语言语义路由与 RouteDecision 主链路事实合同治理缺失，导致用户自然语言可能无法触发 SoloForge，或入口语义在膨胀、知识、workflow、验证、交付中被静默重判、覆盖或丢失",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-1",
-        related_mechanism_ids: ["mc-intent-router"],
-        related_capability_ids: [],
-        owner_module: "src/engine/intent_router.ts",
-        test_files: ["tests/engine/intent_router.test.ts"],
-        completion_evidence: "IntentRouteDecision 新增 inferred_materials/scope/constraints/language_policy/evidence/rejected_routes/conflicts 字段；UserPromptSubmit→sf_classify→IntentRouter→RouteDecision→sf_expand 主链路消费和 TaskContext 持久化已验证",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-58", label: "问题五十八",
-        title: "Instruction Contract 施工指令契约缺失",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-5",
-        related_mechanism_ids: ["mc-instruction-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/instruction_contract.ts",
-        test_files: ["tests/engine/instruction_contract.test.ts"],
-        completion_evidence: "instruction_contract_wired_into_tools_middleware",
-        memo_section: "## ",
-    },
-    {
-        id: "problem-60", label: "问题六十",
-        title: "Evidence-Grounded / Anti-Hallucination Contract 缺失",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-5",
-        related_mechanism_ids: ["mc-evidence-grounding"],
-        related_capability_ids: [],
-        owner_module: "src/engine/evidence_grounding_contract.ts",
-        test_files: ["tests/engine/evidence_grounding_contract.test.ts"],
-        completion_evidence: "evidence_grounding_contract_wired_into_sf_expand_verify_deliver",
-        memo_section: "## ",
-    },
-    // ── 第 5 批 / P0 ──
-    {
-        id: "problem-55", label: "问题五十五",
-        title: "AI 执行前缺少 Plan / Proposal First Gate，导致任何任务都可能不先给计划和方案就直接执行",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-5",
-        completion_evidence: "plan_proposal_gate_enforced",
-        related_mechanism_ids: ["mc-plan-proposal-gate"], related_capability_ids: [],
-        owner_module: "src/engine/plan_proposal_gate.ts",
-        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-56", label: "问题五十六",
-        title: "SoloForge 缺少 Core Experience Principle，导致机制可能很重、路径变长、规则变软、证据啰嗦或失败被伪完成",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-5",
-        completion_evidence: "core_experience_principle_enforced",
-        related_mechanism_ids: ["mc-core-experience-principle"], related_capability_ids: [],
-        owner_module: "src/engine/core_experience_principle.ts",
-        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-57", label: "问题五十七",
-        title: "知识资产标准化与反退化治理缺失，导致 templates/knowledge 与 templates/patterns 存在重复定义、格式漂移、权威边界不清和消费链路不可追踪",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-5",
-        completion_evidence: "knowledge_asset_governance_enforced",
-        related_mechanism_ids: ["mc-knowledge-asset-governance"], related_capability_ids: [],
-        owner_module: "src/engine/knowledge_asset_schema.ts",
-        test_files: ["tests/engine/release_gate_scenario_matrix.test.ts", "tests/engine/verification_scenario_matrix.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-59", label: "问题五十九",
-        title: "日志治理与用户可见输出标准化",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-5",
-        completion_evidence: "logger_governance_enforced",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: "src/engine/logger.ts",
-        test_files: ["tests/engine/logger.test.ts", "tests/engine/cli_output.test.ts"],
-        memo_section: "## ",
-    },
-    {
-        id: "problem-61", label: "问题六十一",
-        title: "高影响/不确定任务缺少通用决策研讨与用户确认闭环",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-6",
-        completion_evidence: "正式发布复验通过: sf_accept 为 strict_controlled 且要求 authorization + confirmed_by + confirmation_ref; delivery-validation 使用真实 sf_classify→sf_expand→sf_verify→sf_record_verification_execution→sf_accept→sf_deliver 工具链; 未显式确认负例不得写验收证据或放行交付; 组合意图覆盖 data_migration + security_policy; release issue scenario runner 具备 production_trace",
-        related_mechanism_ids: ["mc-decision-workshop", "mc-architecture-decision-workshop", "mc-decision-sovereignty"],
-        related_capability_ids: [],
-        owner_module: "src/engine/decision_workshop.ts",
-        test_files: ["tests/engine/decision_workshop.test.ts"],
-        memo_section: "docs/SoloForge-Batch6问题集.md#问题六十一",
-    },
-    {
-        id: "problem-62", label: "问题六十二",
-        title: "标准资产覆盖审计必须使用真实注册表与消费证据",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-6",
-        completion_evidence: "正式发布复验通过: 标准资产覆盖由权威显式注册、真实消费追踪和设计产物行为复验共同约束；不得仅凭注册存在关闭状态；audit-template-visibility 覆盖 215/215 且 0 未注册/0 泄漏",
-        related_mechanism_ids: ["mc-standard-asset-coverage", "mc-design-artifact-pack"],
-        related_capability_ids: [],
-        owner_module: "src/engine/standard_asset_coverage.ts",
-        test_files: ["tests/engine/standard_asset_coverage.test.ts"],
-        memo_section: "docs/SoloForge-Batch6问题集.md#问题六十二",
-    },
-    {
-        id: "problem-63", label: "问题六十三",
-        title: "标准资产契约化缺失，templates/** 全类型资产必须有权威元数据",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-6",
-        completion_evidence: "正式发布复验通过: 同一正式 api_spec 产物与同一 task 走真实 MCP 链路，已确认项目 PRD 作为 project_source_file 证据；sf_verify(draft)→sf_deliver(SF-CONTRACT-0003) 阻断，修复且补 OpenAPI 后 sf_verify 清零指令→sf_record_verification_execution→sf_accept(显式确认)→sf_deliver；api_spec 与标准 API 契约类型/路由路径口径已对齐",
-        related_mechanism_ids: ["mc-standard-asset-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/standard_asset_contract.ts",
-        test_files: ["tests/engine/standard_asset_contract.test.ts"],
-        memo_section: "docs/SoloForge-Batch6问题集.md#问题六十三",
-    },
-    {
-        id: "problem-64", label: "问题六十四",
-        title: "可见性必须覆盖同步、索引、查询、回退、注入、脚手架、CLI 与 MCP 全链路",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-6",
-        completion_evidence: "正式发布复验通过: 内置 React 与 Spring Boot 脚手架合同具备真实 applicable_tech_stack；sf_scaffold 对匹配栈生成、对不匹配栈零生成；测试不再使用 test-java 内存伪资产或技术栈 skip；同步/索引/注入边界已由 release issue scenario matrix、contract fail-closed 测试和 fresh smoke 覆盖",
-        related_mechanism_ids: ["mc-template-asset-visibility"],
-        related_capability_ids: [],
-        owner_module: "src/engine/template_asset_visibility.ts",
-        test_files: ["tests/engine/template_asset_visibility.test.ts"],
-        memo_section: "docs/SoloForge-Batch6问题集.md#问题六十四",
-    },
-    {
-        id: "problem-65", label: "问题六十五",
-        title: "全生命周期工作流导航契约缺失，用户和 AI 不知道下一步、边界与验收",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-6",
-        completion_evidence: "全部验证通过: mc-workflow-navigation-contract 已实现，soloforge next/next --json/stage 命令正常，sf_navigation MCP 工具已注册；init 后 configuration_pending 不再重复提示 init，陈旧任务在 sf_classify 被导航阻断；7 条禁止动作、release gate phase 16 及 3 个测试文件 48 条行为测试覆盖",
-        related_mechanism_ids: ["mc-workflow-navigation-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/next_action_planner.ts",
-        test_files: ["tests/engine/workflow_navigation_contract.test.ts", "tests/bin/cli_next_action.test.ts", "tests/adapters/workflow_navigation_mainpath.test.ts"],
-        memo_section: "docs/SoloForge-Batch6问题集.md#问题六十五",
-    },
-    {
-        id: "problem-66", label: "问题六十六",
-        title: "OOD/SOLID 设计与代码审查契约缺失，无法稳定产出符合面向对象设计原则的实现",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-7",
-        completion_evidence: "mc-ood-solid-contract 已实现并由 sf_expand/sf_review/sf_verify/sf_deliver 消费；复杂编码无 OOD 摘要返回 SF-OOD-6601，SRP/LSP/ISP/DIP 硬失败以 SF-OOD-6602 阻断交付；低风险任务不误阻断；双层资产、引擎测试、真实 MCP 测试与发布门禁行为检查均已接入",
-        related_mechanism_ids: ["mc-ood-solid-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/ood_solid_contract.ts",
-        test_files: ["tests/engine/ood_solid_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
-        memo_section: "docs/SoloForge-Batch7问题集.md#问题六十六",
-    },
-    {
-        id: "problem-67", label: "问题六十七",
-        title: "后端实现工程契约缺失，无法稳定约束 Controller、DTO、校验、事务、幂等、安全、审计和 API/DB 对齐",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-7",
-        completion_evidence: "mc-backend-implementation-contract 已实现并由 sf_expand/sf_review/sf_verify/sf_deliver 消费；后端实现无工作包返回 SF-BACKEND-6701，实体泄漏、无校验、事务外调、无幂等或安全证据不足以 SF-BACKEND-6702 阻断；API/OpenAPI/migration 对齐 finding、双层资产、真实 MCP 测试和发布门禁行为检查均已接入",
-        related_mechanism_ids: ["mc-backend-implementation-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/backend_implementation_contract.ts",
-        test_files: ["tests/engine/backend_implementation_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
-        memo_section: "docs/SoloForge-Batch7问题集.md#问题六十七",
-    },
-    {
-        id: "problem-68", label: "问题六十八",
-        title: "用户项目代码可维护性与可观测性契约缺失，无法强制必要注释、结构化日志、敏感信息脱敏和审计日志",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-8",
-        completion_evidence: "mc-code-maintainability-observability-contract 已实现并由 sf_expand/sf_review/sf_verify/sf_deliver 消费；业务编码无注释/日志工作包返回 SF-OBS-6801~6804 阻断；敏感信息泄漏、catch 吞异常、支付/权限无日志、迁移无审计日志以 hard_fail 阻断；低风险任务不误阻断；双层资产、引擎测试、真实 MCP 测试与发布门禁行为检查均已接入",
-        related_mechanism_ids: ["mc-code-maintainability-observability-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/code_maintainability_observability_contract.ts",
-        test_files: ["tests/engine/code_maintainability_observability_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
-        memo_section: "docs/SoloForge-Batch8问题集.md#问题六十八",
-    },
-    {
-        id: "problem-69", label: "问题六十九",
-        title: "知识资产与项目规则消费体系缺少完整防回归矩阵，templates/** 与 .soloforge/knowledge/** 无法保证长期真实消费",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-8",
-        completion_evidence: "已修复并复验：project_knowledge_system_regression_matrix.ts 固化 20 项完整矩阵，每项包含机制族、生产入口、must-fail、must-pass、release gate code 和文档引用；release gate 执行 PROJECT_KNOWLEDGE_SYSTEM_MATRIX_INCOMPLETE；项目知识合同、audit-project-knowledge、next/expand/review/verify/deliver 消费、sync 保护、技术栈过滤、可见性和消费 trace 已纳入防回归。",
-        related_mechanism_ids: ["mc-knowledge-injection-boundary", "mc-knowledge-asset-governance", "mc-template-asset-visibility", "mc-standard-asset-contract", "mc-workflow-navigation-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/project_knowledge_system_regression_matrix.ts",
-        test_files: ["tests/engine/project_knowledge_system_regression_matrix.test.ts", "tests/engine/project_knowledge_contract.test.ts"],
-        memo_section: "docs/SoloForge-Batch8问题集.md#问题六十九",
-    },
-    {
-        id: "problem-70", label: "问题七十",
-        title: "历史问题未按第一性原理抽象为长期机制族复审，容易按表面现象重复修补",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-8",
-        completion_evidence: "已修复并复验：historical_issue_mechanization_matrix.ts 覆盖 1..73 canonical 问题编号，每个机制族声明第一性原理不变量、生产入口、用户项目路径、must-fail、must-pass 和 release gate；禁止全编号兜底自证；validate-release 执行 HISTORICAL_FIRST_PRINCIPLES_MATRIX，缺编号、缺入口、缺行为证据即 hard_fail。",
-        related_mechanism_ids: ["mc-registry-infrastructure", "mc-workflow-navigation-contract", "mc-knowledge-injection-boundary", "mc-code-maintainability-observability-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/historical_issue_mechanization_matrix.ts",
-        test_files: ["tests/engine/historical_issue_mechanization_matrix.test.ts", "tests/scripts/batch_issue_details.test.ts"],
-        memo_section: "docs/SoloForge-Batch8问题集.md#问题七十",
-    },
-    {
-        id: "problem-71", label: "问题七十一",
-        title: "Java 后端模型分层注解契约缺失，Entity/DTO/VO/Request Lombok 策略无法稳定落地",
-        status: "implemented_verified", priority: "P1", batch_id: "batch-8",
-        completion_evidence: "已并入 mc-backend-implementation-contract：reviewBackendImplementationFiles 对 Java Entity 使用 @Data、Entity 缺 @Getter/@Setter、DTO/VO/Request/Response 缺 @Data 产生 model_lombok_contract hard_fail；Spring Boot 脚手架 Entity 默认 @Getter/@Setter，DTO 默认 @Data；release gate 行为检查 BACKEND_MODEL_LOMBOK_CONTRACT_FALSE_PASS 防回归。",
-        related_mechanism_ids: ["mc-backend-implementation-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/backend_implementation_contract.ts",
-        test_files: ["tests/engine/backend_implementation_contract.test.ts", "tests/engine/scaffolder.test.ts"],
-        memo_section: "docs/SoloForge-Batch8问题集.md#问题七十一",
-    },
-    {
-        id: "problem-73", label: "问题七十三",
-        title: "需求原型到设计实现追踪契约缺失，编码可能脱离已确认需求、原型、架构、详细设计、切片和验收标准",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-8",
-        completion_evidence: "已实现 mc-design-implementation-traceability-contract：traceability.ts 审计 REQ/PROTO/ARCH/DD/PHASE/SLICE/AC 追踪矩阵，audit-design-artifacts 将追踪矩阵纳入设计产物包，sf_expand 编码前要求 PHASE/SLICE/DD/AC 绑定，sf_verify 对真实 changed_files 复验追踪绑定，sf_deliver 阻断未闭合追踪状态；release gate 含缺矩阵、缺绑定和合法绑定 must-fail/must-pass 行为复验。",
-        related_mechanism_ids: ["mc-design-artifact-pack", "mc-evidence-grounding", "mc-workflow-navigation-contract"],
-        related_capability_ids: [],
-        owner_module: "src/engine/traceability.ts",
-        test_files: ["tests/engine/traceability.test.ts", "tests/engine/design_artifact_pack.test.ts"],
-        memo_section: "docs/SoloForge-Batch8问题集.md#问题七十三",
-    },
-    {
-        id: "problem-72", label: "问题七十二",
-        title: "MCP 控制面可信与受控生成链路缺失，AI 旁路实现后验证可能失效",
-        status: "implemented_verified", priority: "P0", batch_id: "batch-9",
-        completion_evidence: "mc-control-plane-trust-contract 已实现：control_plane_contract.ts 固化 15 类控制面问题和 30+ 枝叶细节，soloforge doctor 提供 MCP/adapter/state 诊断，check-bash 阻断 Bash 直接写 .soloforge/state，工具契约验证防止 read_only 写状态和 strict 死链路，受控生成链路评估阻断非 MCP 来源、验证范围不完整、验证计划冒充结果和 degraded 假交付；validate-release 新增 MCP 控制面可信与受控生成链路阶段防回归。",
-        related_mechanism_ids: ["mc-tool-invocation-contract", "mc-main-path-integration", "mc-workflow-navigation-contract", "mc-verifier", "mc-delivery-gate"],
-        related_capability_ids: [],
-        owner_module: "src/engine/control_plane_contract.ts",
-        test_files: ["tests/engine/control_plane_contract.test.ts", "tests/adapters/mcp_tool_boundary.test.ts"],
-        memo_section: "docs/SoloForge-Batch9问题集.md#问题七十二",
-    },
-];
-const IMPLEMENTATION_BATCHES = [
-    {
-        batch_id: "batch-1", priority: "P0",
-        goal: "主链路可用，不误判、不乱写",
-        included_problem_ids: ["problem-6", "problem-8", "problem-9", "problem-22", "problem-23", "problem-24", "problem-29", "problem-32", "problem-33", "problem-37", "problem-44", "problem-45", "problem-46", "problem-47"],
-        depends_on_batch_ids: [],
-        depends_on_pre_completed: ["problem-1", "problem-2", "problem-3", "problem-4", "problem-5"],
-        deliverables: [
-            "sf_expand 根据 route/execution_shape 选择 prompt",
-            "source extraction 能正确处理源码包输入",
-            "output artifact 默认写 .soloforge/output/{task_id}/",
-            "knowledge injection 生成 required/supporting/excluded report",
-            "strict controlled 工具受 next_allowed_tools 控制",
-            "基础 privacy/command guard 生效",
-            "用户反馈能区分 artifact_ready、manual_required、blocked、completed",
-            "配置解析能区分 runtime inference、confirmed config 和临时覆盖",
-        ],
-        acceptance_criteria: [
-            "从源码包抓取原型说明不得 skip",
-            "只读提取任务不得改业务源码",
-            "外部 zip 不得变成 write scope",
-            "required knowledge 缺失不得伪装完整注入",
-            "artifact 不得覆盖旧产物",
-            "sf_verify 默认 plan_only",
-            "secret 不得进入 prompt",
-            "completed 不得包含 blocking/manual_required/degraded",
-        ],
-        not_in_scope: [
-            "不做完整插件系统",
-            "不做全部 metrics/governance action",
-            "不重写所有知识生命周期",
-            "不更新正式设计文档为最终事实",
-        ],
-    },
-    {
-        batch_id: "batch-2", priority: "P1",
-        goal: "状态、证据、失败恢复和治理底座",
-        included_problem_ids: ["problem-11", "problem-12", "problem-13", "problem-15", "problem-17", "problem-18", "problem-20", "problem-28", "problem-34", "problem-36", "problem-38", "problem-48"],
-        depends_on_batch_ids: ["batch-1"],
-        depends_on_pre_completed: ["problem-5"],
-        deliverables: [
-            "TaskContext 只存 facts/refs",
-            "VerificationPlan 和 VerificationEvidence 分离",
-            "GuardEvaluationReport 接入写入/交付前",
-            "FailureReport + RecoveryPolicy 接入验证失败",
-            "DegradationEvent + RecoveryGate 接入能力不可用",
-            "WorkspaceLease 接入写入/交付",
-            "DiagnosticCode registry 初版",
-            "Observability storage 分层",
-            "TestStrategyContract 接入 contract registry",
-            "Mechanism family 映射表能反映真实实现状态",
-        ],
-        acceptance_criteria: [
-            "failed/blocked/requires_human 不能静默 done",
-            "delivery_readiness 不能触发 delivery execution",
-            "active write lease 冲突时 delivery blocked",
-            "blocking/critical 必须有 diagnostic code",
-            "stdout/stderr 不进 TaskContext 原文",
-            "enforced contract 无 lifecycle test 必须 fail",
-            "degradation 必须用户可见",
-            "retry budget exceeded 必须进入 FailureReport",
-        ],
-        not_in_scope: [
-            "不追求全部 capability enforced",
-            "不做复杂 dashboard",
-            "不自动降级/晋级能力状态",
-        ],
-    },
-    {
-        batch_id: "batch-3", priority: "P2",
-        goal: "知识、模板、文档和升级健康",
-        included_problem_ids: ["problem-7", "problem-10", "problem-14", "problem-21", "problem-25", "problem-30", "problem-31", "problem-35", "problem-41"],
-        depends_on_batch_ids: ["batch-1", "batch-2"],
-        depends_on_pre_completed: ["problem-4"],
-        deliverables: [
-            "Knowledge status + sovereignty 新模型",
-            "Evidence-based promotion gate",
-            "soloforge sync-templates dry-run/apply",
-            "soloforge sync-adapters dry-run/apply",
-            ".soloforge/version.json + soloforge migrate",
-            "CLI behavior matrix",
-            "README 与 CLI contract 对齐测试",
-            "LanguagePolicyConfig 支持 zh/en/bilingual",
-            "文档 eligibility 流程",
-        ],
-        acceptance_criteria: [
-            "用户修改模板不得覆盖",
-            "core knowledge 不得自动改",
-            "AI inference 不得直接 active/core",
-            "adapter prompt 不得含 forbidden claim",
-            "README 命令必须映射真实 CLI contract",
-            "migrate 默认 dry-run",
-            "未 verified 的备忘录决策不得写入正式设计文档",
-            "英文项目可配置 en_first，中文项目不被英文模板污染",
-        ],
-        not_in_scope: [
-            "不自动三方合并用户模板",
-            "不让设计文档记录施工流水",
-            "不一次性翻译所有模板",
-        ],
-    },
-    {
-        batch_id: "batch-4", priority: "P3",
-        goal: "扩展、平台兼容、高级治理、架构设计、编码准备、本地验收、模板包与演进回归",
-        included_problem_ids: [
-            "problem-16", "problem-19", "problem-26", "problem-27",
-            "problem-39", "problem-40", "problem-42", "problem-43",
-            "problem-49", "problem-50", "problem-51", "problem-52", "problem-53", "problem-54",
-        ],
-        depends_on_batch_ids: ["batch-1", "batch-2", "batch-3"],
-        depends_on_pre_completed: [],
-        deliverables: [
-            "ExtensionManifest / ExtensionGrant / ExtensionAuditReport",
-            "MetricContract + GovernanceFinding + GovernanceActionBinding",
-            "PlatformContext / NormalizedPathRef / PathSafetyCheck",
-            "TechnologyDecisionContract + DecisionSovereignty",
-            "DetailDisciplineCheck + DetailRiskItem",
-            "FirstPrinciplesFrame + FirstPrinciplesCheck",
-            "BrainstormSession + OptionExplorationRecord + OptionTradeoffMatrix",
-            "ArchitectureDesignContract + ArchitectureDesignReview",
-            "ExistingSystemAnalysisContract + RequirementGapAnalysis",
-            "CodingReadinessGate + TestFirstPlan + CodingCompletionReview",
-            "LocalDockerAcceptanceContract + BrowserAcceptanceEvidence",
-            "WorkflowTemplatePackContract + MechanismConsumptionMap",
-            "NewIssueRegressionGate + TemplateEvolutionImpact",
-        ],
-        acceptance_criteria: [
-            "第三方扩展不能自称 enforced",
-            "metrics 不得把 skipped/manual_required/degraded/plan_only 算 passed",
-            "governance action 不得自动触发高风险动作",
-            "symlink/case sensitivity/path separator/shell 差异不能绕过 scope",
-            "destructive/irreversible tech decision 必须 human gate",
-            "技术推荐不等于可执行决策",
-            "高影响机制变更必须有 fundamental_need",
-            "写入/覆盖/迁移必须有细节检查并接入验证与交付 gate",
-            "脑暴必须形成候选方案、取舍、反证、推荐与非目标",
-            "脑暴推荐不得绕过 Decision Sovereignty human gate",
-            "架构设计必须按 Architecture Design Contract 产出",
-            "输出目录名必须用户确认，未确认不得 delivered",
-            "后端默认优先 Java，前端默认优先最新稳定 Vue 生态",
-            "Mermaid sequenceDiagram 必须可渲染",
-            "existing_system + new_requirement 必须先做分析",
-            "coding 不能作为第一步，必须先通过 CodingReadinessGate",
-            "readiness_status=blocked/manual_required 时不得写实现代码",
-            "有可运行前端/全栈服务时不得只停在单测",
-            "浏览器验收失败必须 capture/classify/map/repair/rebuild/redeploy/rerun",
-            "最终必须给用户本地可访问 URL",
-            "workflow template pack 必须 indexed/registered/injected/consumed/verified",
-            "新增问题/Batch/workflow 必须经过 DuplicateIssueCheck",
-            "没有 NewIssueRegressionGate 的新增问题不得 accepted",
-        ],
-        not_in_scope: [
-            "不开放不受控插件生态",
-            "不为了跨平台支持绕过安全",
-            "不把全局原则变成空泛口号",
-            "不做真实 Docker 镜像构建（仅契约验证）",
-            "不做真实浏览器测试执行（仅计划验证）",
-        ],
-    },
-    {
-        batch_id: "batch-5", priority: "P0",
-        goal: "施工指令契约 + 日志治理 + 证据驱动与反幻觉",
-        included_problem_ids: ["problem-55", "problem-56", "problem-57", "problem-58", "problem-59", "problem-60"],
-        depends_on_batch_ids: ["batch-1", "batch-2", "batch-3", "batch-4"],
-        depends_on_pre_completed: [],
-        deliverables: [
-            "PlanProposalFirstGate 含 task_type→plan_level 映射与执行前拦截",
-            "CoreExperiencePrincipleContract 含 mechanism_strength/path_shortness/rule_hardness/experience_lightness",
-            "KnowledgeAssetSchema + Audit + Registry + DuplicateAndConflictDetector + ConsumptionSnapshot",
-            "InstructionContract + InstructionContractGate + InstructionContractAmendment",
-            "Logger 统一模块替代散落 console 调用 + OUTPUT_NOISE 门禁强化",
-            "EvidenceGroundingContract + UnsupportedClaimGate + FactClaimVerifier",
-        ],
-        acceptance_criteria: [
-            "无计划直接执行写入/编码/构建/迁移/发布 → hard fail",
-            "机制未接主链路或路径过长 → hard fail",
-            "知识资产缺 frontmatter/重复 canonical/缺 owner → hard fail",
-            "P0/P1 任务无 Instruction Contract 不得执行",
-            "console 调用未统一到 logger → OUTPUT_NOISE hard fail",
-            "无证据高风险 claim → blocked",
-            "generated_inference 不得单独支撑事实结论",
-            "validation_plan 不得冒充 validation_results",
-            "关键事实和交付结论必须有 evidence_refs",
-        ],
-        not_in_scope: [
-            "不要求所有问答都有完整计划",
-            "不一次性手工改写 170 个知识资产文件",
-            "不引入外部日志框架",
-            "不在 P0 MVP 强制接入 ES/Milvus",
-        ],
-    },
-    {
-        batch_id: "batch-6", priority: "P0",
-        goal: "架构决策研讨、可执行设计产物包、标准资产契约化与模板资产可见性闭环",
-        included_problem_ids: ["problem-61", "problem-62", "problem-63", "problem-64", "problem-65"],
-        depends_on_batch_ids: ["batch-1", "batch-2", "batch-3", "batch-4", "batch-5"],
-        depends_on_pre_completed: [],
-        deliverables: [
-            "ArchitectureDecisionWorkshopContract 六域确认门",
-            "DesignArtifactPackContract 与真实文件复验",
-            "API 字段级/OpenAPI/SQL/跨文档一致性阻断",
-            "既有设计文档 dry-run 审计与确认升级边界",
-            "StandardAssetContract 每类资产契约字段与 repair_reverify",
-            "TemplateAssetVisibilityContract 全链路访问控制与旧项目迁移",
-        ],
-        acceptance_criteria: [
-            "六域未确认不得生成正式架构设计",
-            "设计包未 implementation_ready 不得交付",
-            "字段缺失、SQL 无效和跨文档冲突必须阻断",
-            "普通 bugfix 不误触发完整设计工作流",
-            "P0 模板具备机器可读契约与 verifier",
-            "内部资产不进入用户项目，scaffold 不进入知识索引",
-        ],
-        not_in_scope: [
-            "不静默覆盖用户已有业务文档",
-            "不以 Markdown 替代 OpenAPI 或 SQL 权威",
-            "不删除 SoloForge 内部治理资产",
-            "不要求普通用户理解 asset_visibility 字段",
-        ],
-    },
-    {
-        batch_id: "batch-7", priority: "P1",
-        goal: "OOD/SOLID 与高级后端实现工程契约闭环，避免泛泛编码、过度设计和后端工程细节遗漏",
-        included_problem_ids: ["problem-66", "problem-67"],
-        depends_on_batch_ids: ["batch-1", "batch-2", "batch-3", "batch-4", "batch-5", "batch-6"],
-        depends_on_pre_completed: [],
-        deliverables: [
-            "OodSolidContract 与 SOLID 五原则 verifier",
-            "复杂业务编码前 OOD 设计摘要或工作包",
-            "sf_review 输出 SRP/OCP/LSP/ISP/DIP finding",
-            "sf_deliver 对高风险 SOLID hard_fail 阻断",
-            "简单任务 low-risk skip 与 overdesign finding",
-            "BackendImplementationContract 与后端实现工作包",
-            "Controller/DTO/Validation/Transaction/Idempotency/Permission/Audit/API-DB finding",
-            "sf_deliver 对高风险后端工程 hard_fail 阻断",
-        ],
-        acceptance_criteria: [
-            "复杂业务编码触发 OOD/SOLID 契约",
-            "Java/Spring、TypeScript/Node、React/Vue 有适配规则",
-            "SRP/OCP/LSP/ISP/DIP 典型违反可被真实审查路径识别",
-            "后端接口实现触发 Controller/DTO/校验/事务/幂等/安全/审计/API-DB 对齐契约",
-            "Controller 暴露 Entity、缺 DTO/校验、缺幂等、缺租户 scope、API/DB 漂移等高风险缺口可被真实路径识别",
-            "typo、配置、小脚本和简单 CRUD 不被重流程误拦",
-            "用户可见知识资产和 release gate 行为复验完成",
-        ],
-        not_in_scope: [
-            "不强制所有任务使用设计模式",
-            "不把简单 CRUD 全部改成 DDD",
-            "不把所有入参出参机械包装为对象",
-            "不替代项目自身架构规范",
-            "不把 SOLID 简化为静态关键字扫描",
-        ],
-    },
-    {
-        batch_id: "batch-8", priority: "P1",
-        goal: "用户项目代码可维护性与可观测性契约闭环，强制必要注释、结构化日志、敏感信息脱敏和审计日志",
-        included_problem_ids: ["problem-68", "problem-69", "problem-70", "problem-71", "problem-73"],
-        depends_on_batch_ids: ["batch-1", "batch-2", "batch-3", "batch-4", "batch-5", "batch-6", "batch-7"],
-        depends_on_pre_completed: [],
-        deliverables: [
-            "CodeMaintainabilityObservabilityContract 与代码可维护性/可观测性门禁",
-            "业务编码前注释与日志工作包",
-            "sf_review 输出日志缺失、敏感信息泄漏、注释质量 finding",
-            "sf_deliver 对 P0/P1 未闭合硬失败阻断",
-            "敏感信息泄漏 must-fail、catch 吞异常 must-fail",
-            "低风险任务 low-risk skip",
-            "项目 logger 识别与适配",
-            "Java Entity/DTO/VO/Request Lombok 分层契约",
-            "需求/原型/架构/详细设计/切片/验收追踪契约",
-        ],
-        acceptance_criteria: [
-            "业务编码触发注释与日志契约",
-            "支付/金额/权限/状态变更/外部调用有结构化日志",
-            "敏感信息泄漏被 hard_fail 阻断",
-            "catch 吞异常被 hard_fail 阻断",
-            "数据修复/迁移有审计日志",
-            "简单 getter/setter、文案、样式、测试 fixture 不被误拦",
-            "不同语言/框架识别项目现有 logger",
-            "用户可见知识资产和 release gate 行为复验完成",
-            "Spring Boot 脚手架生成物遵守 Entity @Getter/@Setter、DTO/VO/Request @Data",
-            "编码任务必须绑定 PHASE/SLICE/DD/AC，设计产物审计必须覆盖追踪矩阵",
-        ],
-        not_in_scope: [
-            "不强制每一行代码写注释",
-            "不强制所有项目使用同一个日志库",
-            "不治理 SoloForge 自身 logger.ts（已在 Batch 4 完成）",
-            "不把简单 CRUD 全部改成带日志的复杂代码",
-            "不替代项目自身日志规范",
-            "不为既有项目重新生成业务需求，只做追踪矩阵回填和后续切片绑定",
-        ],
-    },
-    {
-        batch_id: "batch-9", priority: "P0",
-        goal: "MCP 控制面可信与受控生成链路闭环，确保规则、契约、状态、验证和交付不能被旁路或假闭环绕过",
-        included_problem_ids: ["problem-72"],
-        depends_on_batch_ids: ["batch-1", "batch-2", "batch-3", "batch-4", "batch-5", "batch-6", "batch-7", "batch-8"],
-        depends_on_pre_completed: [],
-        deliverables: [
-            "ControlPlaneTrustContract 覆盖 MCP 可用性、可调用性、契约错标、死链路、旁路、来源归因、状态可信、证据真实性、范围完整性、降级可见、交付闭环、适配器漂移、版本漂移、并发竞态和恢复路径",
-            "soloforge doctor 控制面诊断入口",
-            "check-bash 状态旁路拦截",
-            "工具调用契约错标与死链路验证",
-            "受控生成链路来源、范围、证据和交付状态评估",
-            "validate-release 控制面可信行为门禁",
-        ],
-        acceptance_criteria: [
-            "MCP 工具注册与契约必须一一对应",
-            "写状态/文件/知识/外部系统的工具不得标记 read_only_bypass",
-            "需要确认的独立 strict 工具必须暴露授权路径",
-            "Bash/Edit/Write/脚本不得直接篡改 .soloforge/state",
-            "非 MCP 计划内产生的代码变更不得被后续验证冒充完整可信交付",
-            "changed_files 未覆盖实际变更或 verified_files 只覆盖子集时必须阻断交付",
-            "validation_plan 不得冒充 validation_result",
-            "degraded 工具链不得静默 delivered",
-            "Claude/Codex/Trae 适配器不得漂移到无控制面保护",
-            "每个 hard_fail 必须给出合法恢复动作，不得引导手动删除状态",
-        ],
-        not_in_scope: [
-            "不取代 MCP SDK 自身协议实现",
-            "不禁止用户显式手工编辑业务代码，但手工来源只能进入 limited verification",
-            "不要求所有只读分析都创建任务状态",
-            "不自动修复所有全局安装版本漂移",
-        ],
-    },
-];
-// ── 克隆辅助函数 ──
-function cloneProblemEntry(e) {
-    return {
-        ...e,
-        related_mechanism_ids: [...e.related_mechanism_ids],
-        related_capability_ids: [...e.related_capability_ids],
-        test_files: [...e.test_files],
-    };
-}
-function cloneBatch(b) {
-    return {
-        ...b,
-        included_problem_ids: [...b.included_problem_ids],
-        depends_on_batch_ids: [...b.depends_on_batch_ids],
-        depends_on_pre_completed: [...b.depends_on_pre_completed],
-        deliverables: [...b.deliverables],
-        acceptance_criteria: [...b.acceptance_criteria],
-        not_in_scope: [...b.not_in_scope],
-    };
-}
-// ── 查询：问题 ──
-/**
- * 列出所有问题条目。
- * @returns 所有问题条目的克隆副本列表
- */
-export function listAllProblems() {
-    debug("实施路线图", "listAllProblems() 开始执行，共", PROBLEM_ENTRIES.length, "条");
-    return PROBLEM_ENTRIES.map(cloneProblemEntry);
-}
-/**
- * 根据问题 ID 查找问题条目。
- * @param id - 问题 ID（如 "problem-1"）
- * @returns 匹配的问题条目克隆副本，未找到则返回 undefined
- */
-export function findProblemById(id) {
-    debug("实施路线图", "findProblemById() id=", id);
-    const e = PROBLEM_ENTRIES.find((p) => p.id === id);
-    return e ? cloneProblemEntry(e) : undefined;
-}
-/**
- * 根据状态列出问题条目。
- * @param status - 问题状态（completed / in_progress / planned / not_started）
- * @returns 符合条件的问题条目克隆副本列表
- */
-export function listProblemsByStatus(status) {
-    debug("实施路线图", "listProblemsByStatus() status=", status);
-    return PROBLEM_ENTRIES.filter((p) => p.status === status).map(cloneProblemEntry);
-}
-/**
- * 根据批次 ID 列出问题条目。
- * @param batchId - 批次 ID（如 "batch-1"）
- * @returns 属于该批次的问题条目克隆副本列表
- */
-export function listProblemsByBatch(batchId) {
-    debug("实施路线图", "listProblemsByBatch() batchId=", batchId);
-    return PROBLEM_ENTRIES.filter((p) => p.batch_id === batchId).map(cloneProblemEntry);
-}
-// ── 查询：批次 ──
-/**
- * 列出所有实施批次。
- * @returns 所有实施批次的克隆副本列表
- */
-export function listBatches() {
-    debug("实施路线图", "listBatches() 开始执行，共", IMPLEMENTATION_BATCHES.length, "个批次");
-    return IMPLEMENTATION_BATCHES.map(cloneBatch);
-}
-/**
- * 根据批次 ID 查找实施批次。
- * @param id - 批次 ID（如 "batch-1"）
- * @returns 匹配的实施批次克隆副本，未找到则返回 undefined
- */
-export function findBatchById(id) {
-    debug("实施路线图", "findBatchById() id=", id);
-    const b = IMPLEMENTATION_BATCHES.find((b) => b.batch_id === id);
-    return b ? cloneBatch(b) : undefined;
-}
-/**
- * 获取指定批次的所有依赖批次 ID（递归）。
- * @param batchId - 批次 ID
- * @returns 所有直接和间接依赖的批次 ID 列表
- */
-export function getBatchDependencies(batchId) {
-    debug("实施路线图", "getBatchDependencies() batchId=", batchId);
-    const direct = IMPLEMENTATION_BATCHES.find((b) => b.batch_id === batchId);
-    if (!direct)
-        return [];
-    const result = new Set();
-    const queue = [...direct.depends_on_batch_ids];
-    while (queue.length > 0) {
-        const next = queue.shift();
-        if (result.has(next))
-            continue;
-        result.add(next);
-        const dep = IMPLEMENTATION_BATCHES.find((b) => b.batch_id === next);
-        if (dep)
-            queue.push(...dep.depends_on_batch_ids);
-    }
-    return [...result];
-}
-/**
- * 检查指定批次是否全部完成。
- * @param batchId - 批次 ID
- * @returns 批次中所有问题是否均已标记为 completed
- */
-export function isBatchComplete(batchId) {
-    debug("实施路线图", "isBatchComplete() batchId=", batchId);
-    const batch = IMPLEMENTATION_BATCHES.find((b) => b.batch_id === batchId);
-    if (!batch)
-        return false;
-    return batch.included_problem_ids.every((pid) => {
-        const p = PROBLEM_ENTRIES.find((e) => e.id === pid);
-        return p?.status === "completed";
-    });
-}
-// ── 汇总 ──
-/**
- * 获取各状态问题的数量汇总。
- * @returns 各状态对应的问题数量映射
- */
-export function getProblemStatusSummary() {
-    debug("实施路线图", "getProblemStatusSummary() 开始执行");
-    const s = { completed: 0, implemented_verified: 0, implemented: 0, in_progress: 0, in_repair: 0, planned: 0, not_started: 0 };
-    for (const p of PROBLEM_ENTRIES)
-        s[p.status]++;
-    return s;
-}
-/**
- * 获取各优先级问题的数量汇总。
- * @returns 各优先级对应的问题数量映射
- */
-export function getProblemPrioritySummary() {
-    debug("实施路线图", "getProblemPrioritySummary() 开始执行");
-    const s = { pre_completed: 0, P0: 0, P1: 0, P2: 0, P3: 0 };
-    for (const p of PROBLEM_ENTRIES)
-        s[p.priority]++;
-    return s;
-}
-// ── 校验 ──
-/**
- * 校验实施路线图的一致性和完整性。
- * @description 检查问题/批次唯一性、已完成问题的完成证据、前置完成规范集、
- *              批次引用完整性、双向一致性等。
- * @param problems - 待校验的问题列表，默认使用内置数据
- * @param batches - 待校验的批次列表，默认使用内置数据
- * @returns 治理发现列表（hard_fail 为硬性错误，advisory 为建议项）
- */
-export function validateImplementationRoadmap(problems = PROBLEM_ENTRIES, batches = IMPLEMENTATION_BATCHES) {
-    debug("实施路线图", "validateImplementationRoadmap() 开始校验，问题", problems.length, "条，批次", batches.length, "个");
-    const findings = [];
-    // ── 唯一性校验 ──
-    const pIds = new Set();
-    const problemMap = new Map();
-    for (const p of problems) {
-        if (pIds.has(p.id)) {
-            findings.push({ severity: "hard_fail", subject_id: p.id, field: "id", message: `duplicate problem id: ${p.id}` });
-        }
-        pIds.add(p.id);
-        problemMap.set(p.id, p);
-    }
-    const bIds = new Set();
-    const batchMap = new Map();
-    for (const b of batches) {
-        if (bIds.has(b.batch_id)) {
-            findings.push({ severity: "hard_fail", subject_id: b.batch_id, field: "batch_id", message: `duplicate batch id: ${b.batch_id}` });
-        }
-        bIds.add(b.batch_id);
-        batchMap.set(b.batch_id, b);
-    }
-    // ── 已完成的问题必须有完成证据 ──
-    for (const p of problems) {
-        if (p.status === "completed" && !p.completion_evidence) {
-            findings.push({ severity: "hard_fail", subject_id: p.id, field: "completion_evidence", message: `completed problem without evidence: ${p.id}` });
-        }
-    }
-    // ── 前置完成规范集：problem-1..5 必须为 pre_completed / completed / batch_id=batch-1 ──
-    for (const p of problems) {
-        const n = parseInt(p.id.replace("problem-", ""), 10);
-        if (n >= 1 && n <= 5) {
-            if (p.priority !== "pre_completed") {
-                findings.push({ severity: "hard_fail", subject_id: p.id, field: "priority", message: `problem ${p.id} must be pre_completed, got ${p.priority}` });
-            }
-            if (p.status !== "completed") {
-                findings.push({ severity: "hard_fail", subject_id: p.id, field: "status", message: `problem ${p.id} must be completed, got ${p.status}` });
-            }
-            if (p.batch_id !== "batch-1") {
-                findings.push({ severity: "hard_fail", subject_id: p.id, field: "batch_id", message: `pre_completed problem ${p.id} must have batch_id=batch-1, got ${p.batch_id}` });
-            }
-        }
-    }
-    // ── problem 6..64 必须有非空 batch_id ──
-    for (const p of problems) {
-        const n = parseInt(p.id.replace("problem-", ""), 10);
-        if (n >= 6 && n <= 64) {
-            if (!p.batch_id) {
-                findings.push({ severity: "hard_fail", subject_id: p.id, field: "batch_id", message: `problem ${p.id} (>=6) must have a non-null batch_id` });
-            }
-        }
-    }
-    // ── 批次引用检查 ──
-    for (const b of batches) {
-        for (const pid of b.included_problem_ids) {
-            if (!pIds.has(pid)) {
-                findings.push({ severity: "hard_fail", subject_id: b.batch_id, field: "included_problem_ids", message: `batch ${b.batch_id} references non-existent problem: ${pid}` });
-            }
-        }
-        for (const bid of b.depends_on_batch_ids) {
-            if (!bIds.has(bid)) {
-                findings.push({ severity: "hard_fail", subject_id: b.batch_id, field: "depends_on_batch_ids", message: `batch ${b.batch_id} depends on non-existent batch: ${bid}` });
-            }
-        }
-    }
-    // ── 根据 batch.included_problem_ids 构建问题→批次索引 ──
-    const problemToBatch = new Map();
-    for (const b of batches) {
-        for (const pid of b.included_problem_ids) {
-            const prev = problemToBatch.get(pid);
-            if (prev) {
-                findings.push({ severity: "hard_fail", subject_id: pid, field: "batch_id", message: `problem ${pid} appears in multiple batches: ${prev} and ${b.batch_id}` });
-            }
-            problemToBatch.set(pid, b.batch_id);
-        }
-    }
-    // ── 每个非前置完成的问题必须恰好属于一个批次 ──
-    for (const p of problems) {
-        if (p.priority !== "pre_completed" && !problemToBatch.has(p.id)) {
-            findings.push({ severity: "hard_fail", subject_id: p.id, field: "batch_id", message: `non-pre-completed problem ${p.id} not in any batch` });
-        }
-    }
-    // ── 前置完成的问题必须是 completed 状态 ──
-    for (const p of problems) {
-        if (p.priority === "pre_completed" && p.status !== "completed") {
-            findings.push({ severity: "hard_fail", subject_id: p.id, field: "status", message: `pre_completed problem ${p.id} has status ${p.status}, expected completed` });
-        }
-    }
-    // ── 前置完成的问题不得出现在任何 batch.included_problem_ids 中 ──
-    for (const b of batches) {
-        for (const pid of b.included_problem_ids) {
-            const p = problemMap.get(pid);
-            if (p && p.priority === "pre_completed") {
-                findings.push({ severity: "hard_fail", subject_id: pid, field: "included_problem_ids", message: `pre_completed problem ${pid} must not appear in batch ${b.batch_id}.included_problem_ids` });
-            }
-        }
-    }
-    // ── 双向一致性：ProblemEntry.batch_id ↔ batch.included_problem_ids ──
-    for (const p of problems) {
-        if (p.priority === "pre_completed" || !p.batch_id)
-            continue;
-        const batch = batchMap.get(p.batch_id);
-        if (!batch) {
-            findings.push({ severity: "hard_fail", subject_id: p.id, field: "batch_id", message: `problem ${p.id} references non-existent batch: ${p.batch_id}` });
-            continue;
-        }
-        if (!batch.included_problem_ids.includes(p.id)) {
-            findings.push({ severity: "hard_fail", subject_id: p.id, field: "batch_id", message: `problem ${p.id} has batch_id=${p.batch_id} but that batch does not include it` });
-        }
-    }
-    for (const b of batches) {
-        for (const pid of b.included_problem_ids) {
-            const p = problemMap.get(pid);
-            if (p && p.batch_id !== b.batch_id) {
-                findings.push({ severity: "hard_fail", subject_id: pid, field: "batch_id", message: `batch ${b.batch_id} includes ${pid} but problem has batch_id=${p.batch_id}` });
-            }
-        }
-    }
-    // ── 建议项：test_files 为空 ──
-    for (const p of problems) {
-        if (p.status === "completed" && p.test_files.length === 0) {
-            findings.push({ severity: "advisory", subject_id: p.id, field: "test_files", message: `completed problem ${p.id} has no test_files` });
-        }
-    }
-    // ── 建议项：批次 not_in_scope 为空 ──
-    for (const b of batches) {
-        if (b.not_in_scope.length === 0) {
-            findings.push({ severity: "advisory", subject_id: b.batch_id, field: "not_in_scope", message: `batch ${b.batch_id} has no not_in_scope` });
-        }
-    }
-    return findings;
-}
-//# sourceMappingURL=implementation_roadmap_registry.js.map