soloforge 1.3.2 → 1.3.4

package/dist/engine/dual_layer_mechanism_registry.js

@@ -35,6 +35,7 @@ const KNOWN_REGISTRIES = new Set([
     "decision_contract",
     "dual_layer_mechanism_registry",
     "contract_registry",
+    "explicit_asset_registry",
 ]);
 // ── 契约到 LayerMap 的转换 ──
 function contractToLayerMap(c) {
@@ -1772,6 +1773,321 @@ const MECHANISM_CONTRACTS = [
         },
         status: "dual_layer_enforced",
     },
+    // ── 38. 全生命周期工作流导航契约 ──
+    {
+        mechanism_id: "mc-workflow-navigation-contract",
+        mechanism_name: "全生命周期工作流导航契约",
+        owner_issue_id: "问题六十五",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/工作流导航契约规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/全生命周期工作流导航.md", asset_kind: "knowledge_procedure", consumption_mode: "required" },
+            ],
+            injected_routes: ["*"],
+            injected_workflows: ["sf_navigation", "soloforge_next", "soloforge_stage"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/next_action_planner.ts", "src/engine/stale_current_task_detector.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["planNextAction", "detectStaleCurrentTask"],
+            state_effects: ["navigation_snapshot", "stale_task_resolution"],
+            hard_fail_conditions: ["设计审计失败仍编码", "配置未确认仍任务", "陈旧任务阻塞新任务", "repair directive 未清零仍交付"],
+            degradation_behavior: "降级为 advisory，不阻断",
+        },
+        evidence_layer: {
+            outputs: ["NextActionPlan", "ExecutableWorkPackage", "StaleCurrentTaskResult"],
+            reports: ["navigation_snapshot"],
+            diagnostic_codes: ["SF-NAV-6501", "SF-NAV-6502", "SF-NAV-6503", "SF-NAV-6504"],
+            task_context_facts: [],
+        },
+        verification_layer: {
+            tests: ["tests/engine/workflow_navigation_contract.test.ts", "tests/bin/cli_next_action.test.ts", "tests/adapters/workflow_navigation_mainpath.test.ts"],
+            runtime_checks: ["validate-release 工作流导航行为验证"],
+            regression_cases: ["未初始化 → sf_init", "陈旧任务 → resume/archive/start_new", "设计失败 → 禁止编码"],
+            drift_checks: ["adapter prompt 包含导航规则", "status/validate 消费同一模块"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-ood-solid-contract",
+        mechanism_name: "OOD 与 SOLID 实现契约",
+        owner_issue_id: "问题六十六",
+        priority: "P1",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/OOD与SOLID设计规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/OOD设计工作流.md", asset_kind: "knowledge_procedure", consumption_mode: "required" },
+                { path: "templates/knowledge/review_rules/SOLID代码审查规则.md", asset_kind: "review_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/acceptance_templates/OOD设计摘要模版.md", asset_kind: "acceptance_template", consumption_mode: "supporting" },
+                { path: "templates/patterns/SOLID设计规范.md", asset_kind: "pattern", consumption_mode: "supporting" },
+            ],
+            injected_routes: ["code_change", "artifact_generation", "multi_stage_plan"],
+            injected_workflows: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/ood_solid_contract.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["evaluateOodDesignGate", "reviewSolidCode", "hasBlockingSolidFindings"],
+            state_effects: ["ood_solid_summary", "ood_solid_findings"],
+            hard_fail_conditions: ["复杂编码无设计摘要", "SRP/LSP/ISP/DIP 硬失败仍交付"],
+            degradation_behavior: "简单任务不触发；低风险过度设计只警告",
+        },
+        evidence_layer: {
+            outputs: ["OodDesignSummary", "SolidReviewFinding"],
+            reports: ["ood_solid_findings"],
+            diagnostic_codes: ["SF-OOD-6601", "SF-OOD-6602"],
+            task_context_facts: ["ood_solid_summary", "ood_solid_findings"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/ood_solid_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+            runtime_checks: ["validate-release OOD/SOLID 行为验证"],
+            regression_cases: ["复杂服务无摘要 → blocked", "Controller 业务逻辑 → blocked", "低风险修改 → not_applicable"],
+            drift_checks: ["模板资产与工具消费一致"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-backend-implementation-contract",
+        mechanism_name: "后端实现工程契约",
+        owner_issue_id: "问题六十七",
+        priority: "P1",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/后端实现工程契约规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/后端接口实现工作流.md", asset_kind: "knowledge_procedure", consumption_mode: "required" },
+                { path: "templates/knowledge/review_rules/后端实现工程审查规则.md", asset_kind: "review_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/acceptance_templates/后端实现验收清单.md", asset_kind: "acceptance_template", consumption_mode: "supporting" },
+                { path: "templates/patterns/后端实现工程规范.md", asset_kind: "pattern", consumption_mode: "supporting" },
+            ],
+            injected_routes: ["code_change", "artifact_generation", "multi_stage_plan"],
+            injected_workflows: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/backend_implementation_contract.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["evaluateBackendImplementationGate", "reviewBackendImplementationFiles", "hasBlockingBackendFindings"],
+            state_effects: ["backend_implementation_work_package", "backend_implementation_findings"],
+            hard_fail_conditions: ["后端编码无工程工作包", "实体暴露/无校验/事务外调/无幂等/无安全审计仍交付"],
+            degradation_behavior: "非后端或低风险文本任务不触发",
+        },
+        evidence_layer: {
+            outputs: ["BackendImplementationWorkPackage", "BackendImplementationFinding"],
+            reports: ["backend_implementation_findings"],
+            diagnostic_codes: ["SF-BACKEND-6701", "SF-BACKEND-6702"],
+            task_context_facts: ["backend_implementation_work_package", "backend_implementation_findings"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/backend_implementation_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+            runtime_checks: ["validate-release 后端工程契约行为验证"],
+            regression_cases: ["API 实现无工作包 → blocked", "写接口无 DTO 校验 → blocked", "事务内外部调用 → blocked"],
+            drift_checks: ["模板资产与工具消费一致"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-code-maintainability-observability-contract",
+        mechanism_name: "代码可维护性与可观测性契约",
+        owner_issue_id: "问题六十八",
+        priority: "P1",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/代码注释与日志契约规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/rules/敏感信息日志规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/review/代码可维护性与可观测性审查.md", asset_kind: "review_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/acceptance_templates/代码注释与日志验收模板.md", asset_kind: "acceptance_template", consumption_mode: "supporting" },
+            ],
+            injected_routes: ["code_change", "artifact_generation", "multi_stage_plan"],
+            injected_workflows: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/code_maintainability_observability_contract.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["evaluateCodeObservabilityGate", "reviewCodeObservability", "detectSensitiveLogs", "hasBlockingObservabilityFindings"],
+            state_effects: ["code_observability_work_package", "code_observability_findings"],
+            hard_fail_conditions: [
+                "敏感信息泄漏日志 (SF-OBS-6801)",
+                "catch 吞异常无日志 (SF-OBS-6802)",
+                "支付/金额/权限变更无日志 (SF-OBS-6803)",
+                "数据修复/迁移无审计日志 (SF-OBS-6804)",
+                "前端生产代码裸 console.log",
+            ],
+            degradation_behavior: "纯样式、文案、简单 getter/setter、测试 fixture、低风险只读查询不触发",
+        },
+        evidence_layer: {
+            outputs: ["CodeObservabilityWorkPackage", "CodeObservabilityFinding"],
+            reports: ["code_observability_findings"],
+            diagnostic_codes: ["SF-OBS-6801", "SF-OBS-6802", "SF-OBS-6803", "SF-OBS-6804"],
+            task_context_facts: ["code_observability_work_package", "code_observability_findings"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/code_maintainability_observability_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+            runtime_checks: ["validate-release 代码可维护性与可观测性行为验证"],
+            regression_cases: ["支付无日志 → blocked", "敏感信息进日志 → blocked", "catch 吞异常 → blocked", "简单 getter 不误拦 → not_applicable"],
+            drift_checks: ["模板资产与工具消费一致"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-mechanism-health",
+        mechanism_name: "机制运行时健康度",
+        owner_issue_id: "Q5长期机制化",
+        priority: "P1",
+        template_layer: {
+            required: true,
+            assets: [{ path: "templates/knowledge/rules/机制自治理规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
+            injected_routes: ["verification", "operation"],
+            injected_workflows: ["validate-mechanisms", "validate-release"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/mechanism_health_check.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "explicit_asset_registry"],
+            entrypoints: ["runFullHealthCheck", "detectLazyDeadImports", "detectUnconsumedMechanismIds"],
+            state_effects: [],
+            hard_fail_conditions: ["lazy import 未调用", "机制资产未注册", "机制身份未消费"],
+            degradation_behavior: "离线治理机制，仅发布和维护命令阻断",
+        },
+        evidence_layer: {
+            outputs: ["MechanismHealthReport"],
+            reports: ["mechanism_health_report"],
+            diagnostic_codes: [],
+            task_context_facts: [],
+        },
+        verification_layer: {
+            tests: ["tests/engine/mechanism_health_check.test.ts"],
+            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
+            regression_cases: ["lazy import 未调用 → hard_fail", "机制资产缺失 → hard_fail"],
+            drift_checks: ["注册表与消费路径一致"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-config-write-boundary",
+        mechanism_name: "配置落盘边界",
+        owner_issue_id: "Q6长期机制化",
+        priority: "P2",
+        template_layer: {
+            required: true,
+            assets: [{ path: "templates/knowledge/rules/配置落盘边界规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
+            injected_routes: ["operation"],
+            injected_workflows: ["init", "sync-templates"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/config_write_boundary.ts"],
+            registries: ["mechanism_contract_registry", "explicit_asset_registry"],
+            entrypoints: ["classifyConfigContext", "isWriteAllowed", "validateWriteBoundary"],
+            state_effects: [],
+            hard_fail_conditions: ["运行时推断自动落盘", "已有项目未确认写入"],
+            degradation_behavior: "空项目初始化允许，已有项目需要确认",
+        },
+        evidence_layer: {
+            outputs: ["ConfigWriteDecision"],
+            reports: ["write_boundary_violation"],
+            diagnostic_codes: [],
+            task_context_facts: [],
+        },
+        verification_layer: {
+            tests: ["tests/engine/config_write_boundary.test.ts"],
+            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
+            regression_cases: ["runtime inference 写配置 → blocked", "greenfield init → allowed"],
+            drift_checks: ["CLI 写入路径与边界一致"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-knowledge-governance",
+        mechanism_name: "知识治理统一入口",
+        owner_issue_id: "Q7/Q10/Q14/Q21/Q41长期机制化",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [{ path: "templates/knowledge/rules/知识治理规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
+            injected_routes: ["verification", "operation", "knowledge_update"],
+            injected_workflows: ["validate", "sync-templates", "validate-release"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/knowledge_governance_gate.ts"],
+            registries: ["mechanism_contract_registry", "explicit_asset_registry"],
+            entrypoints: ["runKnowledgeGovernanceCheck", "checkSemanticCompliance", "checkEvolutionEvidence", "checkDocumentationGovernance"],
+            state_effects: [],
+            hard_fail_conditions: ["知识晋级无证据", "中文语义污染", "设计文档承载未验证事实"],
+            degradation_behavior: "validate 输出治理报告，apply 与 release gate 执行阻断",
+        },
+        evidence_layer: {
+            outputs: ["KnowledgeGovernanceReport"],
+            reports: ["knowledge_governance_report"],
+            diagnostic_codes: [],
+            task_context_facts: [],
+        },
+        verification_layer: {
+            tests: ["tests/engine/knowledge_governance_gate.test.ts"],
+            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
+            regression_cases: ["知识晋级无证据 → hard_fail", "中文语义污染 → warning"],
+            drift_checks: ["知识治理入口调用下游模块"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-log-governance",
+        mechanism_name: "日志治理与用户输出纯净",
+        owner_issue_id: "Q59/Q29长期机制化",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [{ path: "templates/knowledge/rules/日志治理规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" }],
+            injected_routes: ["verification", "operation"],
+            injected_workflows: ["sf_learn", "sf_deliver", "validate-release"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/log_governance.ts"],
+            registries: ["mechanism_contract_registry", "explicit_asset_registry"],
+            entrypoints: ["enforceLogGovernance", "evaluateFeedbackOutputQuality", "assessOutputNoise"],
+            state_effects: [],
+            hard_fail_conditions: ["内部噪音输出", "JSON stdout 污染", "直接 console 输出"],
+            degradation_behavior: "默认不影响正常输出，仅阻断噪音和污染",
+        },
+        evidence_layer: {
+            outputs: ["LogGovernanceReport"],
+            reports: ["log_governance_report"],
+            diagnostic_codes: [],
+            task_context_facts: [],
+        },
+        verification_layer: {
+            tests: ["tests/engine/log_governance.test.ts"],
+            runtime_checks: ["validate-release 历史问题长期机制化行为验证"],
+            regression_cases: ["内部噪音 → hard_fail", "正常中文输出 → pass"],
+            drift_checks: ["logger 与输出治理一致"],
+        },
+        status: "dual_layer_enforced",
+    },
 ];
 // ── 已废弃机制 ID 别名映射 ──
 // 旧 ID → 正式 ID。旧 ID 在 MC 中标记为 deprecated，模板/知识资产必须指向正式 ID。
@@ -2042,7 +2358,8 @@ export function validateMechanismLayerMaps(maps = MECHANISM_CONTRACTS.map(contra
         const workflowMechanismIds = new Set(listWorkflowContracts().flatMap((w) => w.required_mechanisms));
         for (const ce of m.code_enforcers) {
             const ceNorm = ce.replace(/\\/g, "/");
-            const isKnown = knownMechanismIds.size > 0 && listMechanismContracts().some((mc) => mc.owner_module.replace(/\\/g, "/") === ceNorm);
+            const isKnown = knownMechanismIds.size > 0 && listMechanismContracts().some((mc) => mc.owner_module.replace(/\\/g, "/") === ceNorm
+                || (mc.owner_files ?? []).some((ownerFile) => ownerFile.replace(/\\/g, "/") === ceNorm));
             const isCapKnown = knownCapabilityIds.size > 0 && getAllCapabilities().some((cap) => cap.code_files.some((cf) => cf.replace(/\\/g, "/") === ceNorm));
             // 检查此机制是否被任何工作流的 required_mechanisms 引用
             const isWorkflowKnown = workflowMechanismIds.has(m.mechanism_id);