soloforge 1.2.20 → 1.3.1

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,98 @@ 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", "mc-evidence-grounding", "mc-architecture-decision-workshop", "mc-design-artifact-pack"],
         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-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: "architecture_decision_workshop.ts + tools.ts(sf_expand checkArchitectureDecisionWorkshopGate) + workflow_template.ts(wf-architecture-workshop-first) + validate-release Batch6 phase",
+        related_mechanism_ids: ["mc-architecture-decision-workshop", "mc-architecture-design", "mc-decision-sovereignty"],
+        related_capability_ids: [],
+        owner_module: "src/engine/architecture_decision_workshop.ts",
+        test_files: ["tests/engine/architecture_decision_workshop.test.ts", "tests/adapters/architecture_design_workshop_mainpath.test.ts"],
+        memo_section: "docs/SoloForge-Batch6问题集.md#问题六十一",
+    },
+    {
+        id: "problem-62", label: "问题六十二",
+        title: "设计产物包标准、存量文档升级复验和跨文档可执行性交付门缺失",
+        status: "implemented_verified", priority: "P0", batch_id: "batch-6",
+        completion_evidence: "design_artifact_pack.ts + tools.ts(sf_verify/sf_deliver/checkDesignArtifactWriteGate) + soloforge.ts(audit/upgrade-design-artifacts) + validate-release Batch6 phase",
+        related_mechanism_ids: ["mc-design-artifact-pack", "mc-architecture-decision-workshop", "mc-architecture-design"],
+        related_capability_ids: [],
+        owner_module: "src/engine/design_artifact_pack.ts",
+        test_files: ["tests/engine/design_artifact_pack.test.ts", "tests/adapters/architecture_design_workshop_mainpath.test.ts"],
+        memo_section: "docs/SoloForge-Batch6问题集.md#问题六十二",
+    },
 ];
 const IMPLEMENTATION_BATCHES = [
     {
@@ -513,30 +694,115 @@ 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",
+        ],
         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 镜像构建（仅契约验证）",
+            "不做真实浏览器测试执行（仅计划验证）",
+        ],
+    },
+    {
+        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"],
+        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 审计与确认升级边界",
+        ],
+        acceptance_criteria: [
+            "六域未确认不得生成正式架构设计",
+            "设计包未 implementation_ready 不得交付",
+            "字段缺失、SQL 无效和跨文档冲突必须阻断",
+            "普通 bugfix 不误触发完整设计工作流",
+        ],
+        not_in_scope: [
+            "不静默覆盖用户已有业务文档",
+            "不以 Markdown 替代 OpenAPI 或 SQL 权威",
         ],
     },
 ];
@@ -566,7 +832,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 +841,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 +851,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 +860,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 +869,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 +878,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 +888,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 +911,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 +926,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 +937,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 +953,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();
@@ -729,10 +995,10 @@ export function validateImplementationRoadmap(problems = PROBLEM_ENTRIES, batche
             }
         }
     }
-    // ── problem 6..42 必须有非空 batch_id ──
+    // ── problem 6..60 必须有非空 batch_id ──
     for (const p of problems) {
         const n = parseInt(p.id.replace("problem-", ""), 10);
-        if (n >= 6 && n <= 42) {
+        if (n >= 6 && n <= 60) {
             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` });
             }