soloforge 1.2.20 → 1.3.0

package/dist/engine/implementation_roadmap_registry.js

@@ -1,9 +1,4 @@
-/**
- * Implementation Roadmap Contract 的落地注册表。
- *
- * 将 42 个追踪问题映射到 4 个实施批次（P0-P3），
- * 提供查询、校验和跨注册表一致性检查能力。
- */
+import { debug } from "./logger.js";
 // ── 数据 ──
 const PROBLEM_ENTRIES = [
     // ── 前置完成 ──
@@ -52,7 +47,7 @@ const PROBLEM_ENTRIES = [
         title: "机制层缺少自治理，无法系统发现机制失效、空转和状态污染",
         status: "completed", priority: "pre_completed", batch_id: null,
         completion_evidence: "a344c85",
-        related_mechanism_ids: ["mc-intent-router", "mc-classifier", "mc-intent-expander", "mc-knowledge-matching", "mc-knowledge-injection-boundary", "mc-task-context-lifecycle", "mc-verifier", "mc-workspace-resumer"],
+        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"],
@@ -104,9 +99,10 @@ const PROBLEM_ENTRIES = [
     {
         id: "problem-23", label: "问题二十三",
         title: "外部材料摄取边界缺少 Input Material Contract",
-        status: "planned", priority: "P0", batch_id: "batch-1",
+        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: "## ",
     },
     {
@@ -160,7 +156,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/enforcement_guard.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -168,7 +164,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/verification_contract.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -176,7 +172,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/failure_report.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -184,7 +180,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/mechanism_family_registry.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -192,7 +188,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/task_context.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -200,7 +196,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/degradation.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -208,7 +204,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/contract_registry.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -216,7 +212,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/workspace_lease.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -224,7 +220,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/test_strategy.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -232,7 +228,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/diagnostic_registry.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -240,7 +236,7 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        owner_module: "src/engine/retention_policy.ts", test_files: ["tests/engine/verification_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
@@ -248,129 +244,169 @@ const PROBLEM_ENTRIES = [
         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/batch2_scenario_matrix.test.ts"],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "knowledge_lifecycle_enforced",
         related_mechanism_ids: [], related_capability_ids: ["knowledge_sovereignty"],
-        owner_module: null, test_files: [],
+        owner_module: "src/engine/knowledge_lifecycle.ts",
+        test_files: ["tests/engine/knowledge_scenario_matrix.test.ts"],
         memo_section: "## ",
     },
     {
         id: "problem-10", label: "问题十",
         title: "用户项目内缺少中文语义优先机制",
-        status: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "chinese_semantic_priority_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "knowledge_evolution_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "documentation_governance_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "template_sync_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "user_promise_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "adapter_prompt_contract_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "release_compatibility_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P2", batch_id: "batch-3",
+        status: "implemented_verified", priority: "P2", batch_id: "batch-3",
+        completion_evidence: "language_policy_override_enforced",
         related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P3", batch_id: "batch-4",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P3", batch_id: "batch-4",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P3", batch_id: "batch-4",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P3", batch_id: "batch-4",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P3", batch_id: "batch-4",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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: "planned", priority: "P3", batch_id: "batch-4",
-        related_mechanism_ids: [], related_capability_ids: [],
-        owner_module: null, test_files: [],
+        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-41-brainstorm", label: "问题四十一(Brainstorm)",
+        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: "## ",
     },
     {
@@ -383,6 +419,66 @@ const PROBLEM_ENTRIES = [
         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: "问题四十四",
@@ -402,13 +498,24 @@ const PROBLEM_ENTRIES = [
         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"],
+        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"],
         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-58", label: "问题五十八",
+        title: "Instruction Contract 施工指令契约缺失",
+        status: "implemented_verified", priority: "P0", batch_id: "batch-4",
+        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: "## ",
+    },
 ];
 const IMPLEMENTATION_BATCHES = [
     {
@@ -513,30 +620,60 @@ const IMPLEMENTATION_BATCHES = [
     },
     {
         batch_id: "batch-4", priority: "P3",
-        goal: "扩展、平台兼容和高级治理",
-        included_problem_ids: ["problem-16", "problem-19", "problem-26", "problem-27", "problem-39", "problem-40", "problem-42"],
+        goal: "扩展、平台兼容、高级治理、架构设计、编码准备、本地验收、模板包与演进回归",
+        included_problem_ids: [
+            "problem-16", "problem-19", "problem-26", "problem-27",
+            "problem-39", "problem-40", "problem-41-brainstorm", "problem-42",
+            "problem-49", "problem-50", "problem-51", "problem-52", "problem-53", "problem-54", "problem-58",
+        ],
         depends_on_batch_ids: ["batch-1", "batch-2", "batch-3"],
         depends_on_pre_completed: [],
         deliverables: [
-            "ExtensionManifest / ExtensionGrant",
-            "MetricContract + GovernanceFinding action binding",
-            "PlatformContext / NormalizedPathRef",
-            "TechnologyDecisionContract",
-            "DetailDisciplineCheck",
-            "FirstPrinciplesFrame",
+            "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 算 passed",
-            "symlink 外部路径不能绕过 scope",
-            "destructive tech decision 必须 human gate",
+            "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 镜像构建（仅契约验证）",
+            "不做真实浏览器测试执行（仅计划验证）",
         ],
     },
 ];
@@ -566,7 +703,7 @@ function cloneBatch(b) {
  * @returns 所有问题条目的克隆副本列表
  */
 export function listAllProblems() {
-    console.error("[soloForge] 实施路线图: listAllProblems() 开始执行，共", PROBLEM_ENTRIES.length, "条");
+    debug("实施路线图", "listAllProblems() 开始执行，共", PROBLEM_ENTRIES.length, "条");
     return PROBLEM_ENTRIES.map(cloneProblemEntry);
 }
 /**
@@ -575,7 +712,7 @@ export function listAllProblems() {
  * @returns 匹配的问题条目克隆副本，未找到则返回 undefined
  */
 export function findProblemById(id) {
-    console.error("[soloForge] 实施路线图: findProblemById() id=", id);
+    debug("实施路线图", "findProblemById() id=", id);
     const e = PROBLEM_ENTRIES.find((p) => p.id === id);
     return e ? cloneProblemEntry(e) : undefined;
 }
@@ -585,7 +722,7 @@ export function findProblemById(id) {
  * @returns 符合条件的问题条目克隆副本列表
  */
 export function listProblemsByStatus(status) {
-    console.error("[soloForge] 实施路线图: listProblemsByStatus() status=", status);
+    debug("实施路线图", "listProblemsByStatus() status=", status);
     return PROBLEM_ENTRIES.filter((p) => p.status === status).map(cloneProblemEntry);
 }
 /**
@@ -594,7 +731,7 @@ export function listProblemsByStatus(status) {
  * @returns 属于该批次的问题条目克隆副本列表
  */
 export function listProblemsByBatch(batchId) {
-    console.error("[soloForge] 实施路线图: listProblemsByBatch() batchId=", batchId);
+    debug("实施路线图", "listProblemsByBatch() batchId=", batchId);
     return PROBLEM_ENTRIES.filter((p) => p.batch_id === batchId).map(cloneProblemEntry);
 }
 // ── 查询：批次 ──
@@ -603,7 +740,7 @@ export function listProblemsByBatch(batchId) {
  * @returns 所有实施批次的克隆副本列表
  */
 export function listBatches() {
-    console.error("[soloForge] 实施路线图: listBatches() 开始执行，共", IMPLEMENTATION_BATCHES.length, "个批次");
+    debug("实施路线图", "listBatches() 开始执行，共", IMPLEMENTATION_BATCHES.length, "个批次");
     return IMPLEMENTATION_BATCHES.map(cloneBatch);
 }
 /**
@@ -612,7 +749,7 @@ export function listBatches() {
  * @returns 匹配的实施批次克隆副本，未找到则返回 undefined
  */
 export function findBatchById(id) {
-    console.error("[soloForge] 实施路线图: findBatchById() id=", id);
+    debug("实施路线图", "findBatchById() id=", id);
     const b = IMPLEMENTATION_BATCHES.find((b) => b.batch_id === id);
     return b ? cloneBatch(b) : undefined;
 }
@@ -622,7 +759,7 @@ export function findBatchById(id) {
  * @returns 所有直接和间接依赖的批次 ID 列表
  */
 export function getBatchDependencies(batchId) {
-    console.error("[soloForge] 实施路线图: getBatchDependencies() batchId=", batchId);
+    debug("实施路线图", "getBatchDependencies() batchId=", batchId);
     const direct = IMPLEMENTATION_BATCHES.find((b) => b.batch_id === batchId);
     if (!direct)
         return [];
@@ -645,7 +782,7 @@ export function getBatchDependencies(batchId) {
  * @returns 批次中所有问题是否均已标记为 completed
  */
 export function isBatchComplete(batchId) {
-    console.error("[soloForge] 实施路线图: isBatchComplete() batchId=", batchId);
+    debug("实施路线图", "isBatchComplete() batchId=", batchId);
     const batch = IMPLEMENTATION_BATCHES.find((b) => b.batch_id === batchId);
     if (!batch)
         return false;
@@ -660,7 +797,7 @@ export function isBatchComplete(batchId) {
  * @returns 各状态对应的问题数量映射
  */
 export function getProblemStatusSummary() {
-    console.error("[soloForge] 实施路线图: getProblemStatusSummary() 开始执行");
+    debug("实施路线图", "getProblemStatusSummary() 开始执行");
     const s = { completed: 0, implemented_verified: 0, implemented: 0, in_progress: 0, planned: 0, not_started: 0 };
     for (const p of PROBLEM_ENTRIES)
         s[p.status]++;
@@ -671,7 +808,7 @@ export function getProblemStatusSummary() {
  * @returns 各优先级对应的问题数量映射
  */
 export function getProblemPrioritySummary() {
-    console.error("[soloForge] 实施路线图: 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]++;
@@ -687,7 +824,7 @@ export function getProblemPrioritySummary() {
  * @returns 治理发现列表（hard_fail 为硬性错误，advisory 为建议项）
  */
 export function validateImplementationRoadmap(problems = PROBLEM_ENTRIES, batches = IMPLEMENTATION_BATCHES) {
-    console.error("[soloForge] 实施路线图: validateImplementationRoadmap() 开始校验，问题", problems.length, "条，批次", batches.length, "个");
+    debug("实施路线图", "validateImplementationRoadmap() 开始校验，问题", problems.length, "条，批次", batches.length, "个");
     const findings = [];
     // ── 唯一性校验 ──
     const pIds = new Set();