soloforge 1.4.16 → 2.0.0

package/dist/engine/contracts/mechanism_contract_registry/contracts-governance.js

@@ -0,0 +1,444 @@
+/**
+ * Mechanism Contract Registry — 治理与安全机制契约（29-48）。
+ *
+ * 包括 plan_proposal_gate、core_experience_principle、knowledge_asset_governance、
+ * workflow_contract、tool_invocation_contract、main_path_integration、privacy_boundary、
+ * command_execution、guard_evaluation、registry_infrastructure、instruction_contract、
+ * evidence_grounding、workflow_navigation、ood_solid、backend_implementation、
+ * code_maintainability_observability、mechanism_health、config_write_boundary、
+ * knowledge_governance、log_governance。
+ */
+/** 治理与安全 P0 机制契约 */
+export const GOVERNANCE_CONTRACTS = [
+    // ── 29. plan_proposal_gate (problem-55) ──
+    {
+        id: "mc-plan-proposal-gate",
+        name: "Plan / Proposal First Gate",
+        owner_module: "src/engine/pipeline/plan_proposal_gate.ts",
+        owner_exports: ["evaluatePlanProposalGate", "requirePlanBeforeAction", "validateActionWithinPlan", "createPlanProposalEvidence", "inferPlanGateTaskType"],
+        mechanism_type: "planning",
+        status: "enforced",
+        trigger: "classify/route 后、expand/executing 前",
+        required_inputs: ["task_id", "task_type", "user_intent"],
+        preconditions: ["sf_command 已完成"],
+        outputs: ["PlanProposalGateResult", "PlanProposalEvidence", "UserConfirmationRef", "VerificationPlanRef"],
+        downstream_consumers: ["sf_stage_execute", "编码与单元测试", "sf_gate_check", "ToolInvocation", "CommandContract"],
+        failure_modes: ["缺计划执行写入", "高风险无确认", "计划外动作", "review 被升级为执行"],
+        degradation_behavior: "Plan Gate 未通过时阻断写入/编码/构建/Docker/迁移/发布/交付",
+        tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+    },
+    // ── 30. core_experience_principle (problem-56) ──
+    {
+        id: "mc-core-experience-principle",
+        name: "Core Experience Principle",
+        owner_module: "src/engine/audit/core_experience_principle.ts",
+        owner_exports: ["evaluateCoreExperiencePrinciple", "evaluateNoFalseCompletion", "evaluateMechanismFriction", "evaluateUserVisibleOutput", "createCoreExperiencePrincipleContract"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "新增机制/模板/workflow/Batch 问题时",
+        required_inputs: ["task_id", "workflow_id", "mechanism_evaluation_params"],
+        preconditions: ["新增机制已注册"],
+        outputs: ["CoreExperiencePrincipleEvaluation", "UserPathFrictionReport", "EvidenceSufficiencyReport", "RepairOrManualRequiredDecision"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance", "validate-mechanisms", "ReleaseGate"],
+        failure_modes: ["机制未接主线", "用户路径过长", "硬规则降级", "假完成"],
+        degradation_behavior: "体验原则违反时阻断交付/发布",
+        tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+    },
+    // ── 31. knowledge_asset_governance (problem-57) ──
+    {
+        id: "mc-knowledge-asset-governance",
+        name: "Knowledge Asset Governance",
+        owner_module: "src/engine/knowledge/knowledge_asset_schema.ts",
+        owner_exports: ["validateKnowledgeAssets", "buildKnowledgeAssetRegistry", "detectDuplicateAndConflicts", "resolveCanonicalAuthority"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "知识资产新增/修改/同步/迁移时",
+        required_inputs: ["knowledge_assets", "template_paths"],
+        preconditions: ["templates/** 存在"],
+        outputs: ["KnowledgeAssetAuditReport", "KnowledgeConsumptionSnapshot", "KnowledgeAssetGenerationGateResult", "KnowledgeAssetMigrationPlan"],
+        downstream_consumers: ["state_machine", "stage_executor", "verifier", "adapter_prompt", "sync/migration", "observability"],
+        failure_modes: ["缺 frontmatter", "重复 canonical", "owner 缺失", "deprecated 被注入", "消费链路不可追踪"],
+        degradation_behavior: "知识资产审计失败时阻断注入",
+        tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
+    },
+    // ══ DL-only 机制补入 MC ══
+    // ── 32. workflow_contract ──
+    {
+        id: "mc-workflow-contract",
+        name: "工作流契约",
+        owner_module: "src/engine/workflow/workflow_contract_registry.ts",
+        owner_exports: ["resolveWorkflowInfoByStage", "getAllWorkflowMechanismIds"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "sf_command/sf_stage_execute 路由后",
+        required_inputs: ["command_state", "workflow_id"],
+        preconditions: ["command_state 已校验"],
+        outputs: ["ResolvedWorkflowInfo", "WorkflowTrace"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["workflow 缺失 required_mechanism", "workflow 与 command_state 不匹配"],
+        degradation_behavior: "workflow 未命中时降级为默认 workflow",
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        lifecycle_tests: ["tests/engine/workflow_contract_registry.test.ts"],
+    },
+    // ── 33. tool_invocation_contract ──
+    {
+        id: "mc-tool-invocation-contract",
+        name: "工具调用契约",
+        owner_module: "src/server/tools/index.ts",
+        owner_exports: ["registerTools", "checkWriteToolPlanGate"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "MCP tool 调用时",
+        required_inputs: ["tool_name", "tool_args"],
+        preconditions: [],
+        outputs: ["ToolResult"],
+        downstream_consumers: ["sf_command", "sf_stage_execute", "sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["tool 参数缺失", "tool 返回结构不符合契约"],
+        degradation_behavior: "tool 调用失败时返回错误信息",
+        tests: ["tests/adapters/tools_lifecycle.test.ts"],
+        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
+    },
+    // ── 34. main_path_integration ──
+    {
+        id: "mc-main-path-integration",
+        name: "主链路集成",
+        owner_module: "src/engine/audit/main_path_integration_contract.ts",
+        owner_exports: ["orphanGate", "auditIntegration", "validateMainPathIntegration"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "sf_gate_check 验证阶段",
+        required_inputs: ["changed_files", "stage_context"],
+        preconditions: [],
+        outputs: ["MainPathIntegrationReport"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["孤岛模块未接入主链路"],
+        degradation_behavior: "孤岛模块不阻断但报告为 finding",
+        tests: ["tests/engine/main_path_integration_contract.test.ts"],
+        lifecycle_tests: ["tests/engine/main_path_integration_contract.test.ts"],
+    },
+    // ── 35. privacy_boundary ──
+    {
+        id: "mc-privacy-boundary",
+        name: "隐私边界",
+        owner_module: "src/engine/audit/privacy_secret_contract.ts",
+        owner_exports: ["scanTextSensitivity", "evaluatePrivacyGate", "redactSensitiveText"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "sf_stage_execute 扩展前",
+        required_inputs: ["intent", "input_materials"],
+        preconditions: [],
+        outputs: ["PrivacyCheckResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check"],
+        failure_modes: ["敏感数据泄漏到 prompt", "生产数据进入代码"],
+        degradation_behavior: "隐私检查失败时阻断扩展",
+        tests: ["tests/engine/privacy_secret_contract.test.ts"],
+        lifecycle_tests: ["tests/engine/privacy_secret_contract.test.ts"],
+    },
+    // ── 36. command_execution ──
+    {
+        id: "mc-command-execution",
+        name: "命令执行契约",
+        owner_module: "src/engine/contracts/command_execution_contract.ts",
+        owner_exports: ["validateCommand"],
+        mechanism_type: "safety",
+        status: "enforced",
+        trigger: "命令执行前",
+        required_inputs: ["command", "risk_level"],
+        preconditions: [],
+        outputs: ["CommandValidationResult"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["destructive 命令未确认", "命令注入"],
+        degradation_behavior: "高风险命令需要人工确认",
+        tests: ["tests/engine/command_execution_contract.test.ts"],
+        lifecycle_tests: ["tests/engine/command_execution_contract.test.ts"],
+    },
+    // ── 37. guard_evaluation ──
+    {
+        id: "mc-guard-evaluation",
+        name: "护栏评估",
+        owner_module: "src/engine/contracts/enforcement_guard.ts",
+        owner_exports: ["listAllGuards", "evaluateWriteGuard", "validateGuardContractIds"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "sf_stage_execute/sf_gate_check 阶段",
+        required_inputs: ["route", "mechanism_status"],
+        preconditions: [],
+        outputs: ["GuardEvaluationResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["required 机制未 enforced", "guard 绕过"],
+        degradation_behavior: "guard 失败时阻断流程",
+        tests: ["tests/engine/verification_scenario_matrix.test.ts"],
+        lifecycle_tests: ["tests/engine/verification_scenario_matrix.test.ts"],
+    },
+    // ── 38. registry_infrastructure ──
+    {
+        id: "mc-registry-infrastructure",
+        name: "注册表基础设施",
+        owner_module: "src/engine/templates/consumable_asset_registry.ts",
+        owner_exports: ["listBuiltinConsumableAssets", "findConsumableAssetByPath"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "初始化时",
+        required_inputs: ["asset_path", "mechanism_id"],
+        preconditions: [],
+        outputs: ["ConsumableAssetRef[]"],
+        downstream_consumers: ["state_machine", "stage_executor", "verifier", "claude_md"],
+        failure_modes: ["资产注册不一致", "owner_mechanism_id 不存在"],
+        degradation_behavior: "注册表不一致时报告为 finding",
+        tests: ["tests/engine/consumable_asset_registry.test.ts"],
+        lifecycle_tests: ["tests/engine/consumable_asset_registry.test.ts"],
+    },
+    // ── 39. instruction_contract ──
+    {
+        id: "mc-instruction-contract",
+        name: "施工指令契约",
+        owner_module: "src/engine/contracts/instruction_contract.ts",
+        owner_exports: ["validateInstructionContract", "registerInstructionIssueCandidate", "checkInstructionCompleteness", "enforceInstructionBeforeImplementation"],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "写操作/实现/编码前",
+        required_inputs: ["task_id", "goal", "scope", "non_goals", "output_location", "acceptance_criteria", "bypass_prohibited"],
+        preconditions: [],
+        outputs: ["InstructionValidationResult", "InstructionEnforcementResult"],
+        downstream_consumers: ["sf_stage_execute", "registerSafeTool middleware", "sf_gate_check", "sf_stage_advance"],
+        failure_modes: ["施工指令缺失必填字段", "blocked 状态指令被放行", "空值假通过"],
+        degradation_behavior: "指令不完整时阻断，不可降级",
+        tests: ["tests/engine/instruction_contract.test.ts"],
+        lifecycle_tests: ["tests/engine/instruction_contract.test.ts"],
+    },
+    // ── 40. evidence_grounding ──
+    {
+        id: "mc-evidence-grounding",
+        name: "证据驱动与反幻觉契约",
+        owner_module: "src/engine/contracts/evidence_grounding_contract.ts",
+        owner_exports: [
+            "createEvidenceGroundingSystem",
+            "assessTaskRisk",
+            "EvidenceSourceRegistry",
+            "FactClaimVerifier",
+            "UnsupportedClaimGate",
+            "GroundedContextBuilder",
+            "EvidenceConflictDetector",
+            "HallucinationRiskClassifier",
+        ],
+        mechanism_type: "governance",
+        status: "enforced",
+        trigger: "高风险任务的事实声明、验证结论、交付结论必须经过证据校验",
+        required_inputs: ["task_risk_level", "fact_claims", "evidence_sources"],
+        preconditions: ["任务已分类", "施工指令存在"],
+        outputs: ["EvidenceMatrix", "EvidenceGateResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check", "sf_stage_advance", "instruction_contract"],
+        failure_modes: [
+            "SF-EVIDENCE-6001: 高风险任务存在无证据声明 (hard_fail, 补充证据或标注不确定)",
+            "SF-EVIDENCE-6002: 高风险任务缺少证据矩阵 (hard_fail, 构建证据矩阵)",
+        ],
+        degradation_behavior: "低风险任务降级为advisory，不阻断",
+        tests: ["tests/engine/evidence_grounding_contract.test.ts"],
+        lifecycle_tests: ["tests/engine/evidence_grounding_contract.test.ts"],
+    },
+    // ── 全生命周期工作流导航契约 ──
+    {
+        id: "mc-workflow-navigation-contract",
+        name: "全生命周期工作流导航契约",
+        owner_module: "src/engine/workflow/next_action_planner.ts",
+        owner_files: ["src/engine/workflow/next_action_planner.ts", "src/engine/pipeline/stale_current_task_detector.ts"],
+        owner_exports: [
+            "planNextAction",
+            "computeDisallowedActions",
+        ],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "soloforge next, soloforge stage, sf_next, 以及\"下一步\"\"继续\"\"现在能写代码吗\"等模糊推进意图",
+        required_inputs: ["project_path"],
+        preconditions: [],
+        outputs: ["NextActionPlan", "ExecutableWorkPackage", "StaleCurrentTaskResult"],
+        downstream_consumers: ["cli_next", "cli_stage", "cli_status", "sf_command", "release_readiness_gate"],
+        state_transitions: [],
+        cleanup_hooks: [],
+        failure_modes: [
+            "SF-NAV-6501: 设计审计失败仍尝试编码 (hard_fail, 完成设计审计)",
+            "SF-NAV-6502: 配置未确认仍尝试任务 (hard_fail, 确认配置)",
+            "SF-NAV-6503: 陈旧任务阻塞新任务 (hard_fail, 归档或恢复旧任务)",
+            "SF-NAV-6504: repair directive 未清零仍交付 (hard_fail, 完成修复复验)",
+        ],
+        degradation_behavior: "导航失败时降级为 advisory，不阻断",
+        tests: ["tests/engine/workflow_navigation_contract.test.ts", "tests/bin/cli_next_action.test.ts", "tests/adapters/workflow_navigation_mainpath.test.ts"],
+        lifecycle_tests: ["tests/adapters/workflow_navigation_mainpath.test.ts"],
+    },
+    {
+        id: "mc-ood-solid-contract",
+        name: "OOD 与 SOLID 实现契约",
+        owner_module: "src/engine/contracts/ood_solid_contract.ts",
+        owner_exports: ["requiresOodSolidContract", "evaluateOodDesignGate", "reviewSolidCode", "hasBlockingSolidFindings"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "复杂业务编码、对象边界设计、代码审查、验证和交付",
+        required_inputs: ["task_id", "intent", "changed_files"],
+        preconditions: ["任务已分类"],
+        outputs: ["OodDesignSummary", "SolidReviewFinding", "OodSolidGateResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check", "sf_stage_advance"],
+        failure_modes: [
+            "SF-OOD-6601: 复杂编码缺少 OOD/SOLID 摘要",
+            "SF-OOD-6602: SRP/LSP/ISP/DIP 硬失败仍尝试交付",
+        ],
+        degradation_behavior: "低风险文案或简单配置修改不触发重设计，仅对过度设计给出 warning",
+        tests: ["tests/engine/ood_solid_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+        lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
+    },
+    {
+        id: "mc-backend-implementation-contract",
+        name: "后端实现工程契约",
+        owner_module: "src/engine/contracts/backend_implementation_contract.ts",
+        owner_exports: ["requiresBackendImplementationContract", "evaluateBackendImplementationGate", "reviewBackendImplementationFiles", "hasBlockingBackendFindings"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "后端接口、数据写入、安全或一致性实现的编码、审查、验证和交付",
+        required_inputs: ["task_id", "intent", "changed_files"],
+        preconditions: ["任务已分类"],
+        outputs: ["BackendImplementationWorkPackage", "BackendImplementationFinding", "BackendImplementationGateResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check", "sf_stage_advance"],
+        failure_modes: [
+            "SF-BACKEND-6701: 后端实现缺少工程工作包",
+            "SF-BACKEND-6702: DTO/事务/幂等/权限/审计硬失败仍尝试交付",
+        ],
+        degradation_behavior: "非后端和低风险文本任务不触发后端实现门禁",
+        tests: ["tests/engine/backend_implementation_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+        lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
+    },
+    {
+        id: "mc-code-maintainability-observability-contract",
+        name: "代码可维护性与可观测性契约",
+        owner_module: "src/engine/contracts/code_maintainability_observability_contract.ts",
+        owner_exports: [
+            "requiresCodeObservabilityContract",
+            "evaluateCodeObservabilityGate",
+            "reviewCodeObservability",
+            "detectSensitiveLogs",
+            "reviewMissingLogs",
+            "reviewCommentQuality",
+            "reviewLoggerUsage",
+            "detectProjectLogger",
+            "isLowRiskChange",
+            "hasBlockingObservabilityFindings",
+            "verifyChangedFilesObservability",
+            "evaluateDeliveryBlock",
+        ],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "业务编码、接口实现、状态流转、支付、权限、迁移脚本、异常处理、外部调用的编码、审查、验证和交付",
+        required_inputs: ["task_id", "intent", "changed_files"],
+        preconditions: ["任务已分类"],
+        outputs: ["CodeObservabilityWorkPackage", "CodeObservabilityFinding", "CodeObservabilityGateResult"],
+        downstream_consumers: ["sf_stage_execute", "sf_gate_check", "sf_stage_advance"],
+        failure_modes: [
+            "SF-OBS-6801: 敏感信息泄漏日志",
+            "SF-OBS-6802: catch 吞异常无日志",
+            "SF-OBS-6803: 支付/金额/权限变更无日志",
+            "SF-OBS-6804: 数据修复/迁移无审计日志",
+        ],
+        degradation_behavior: "纯样式、文案、简单 getter/setter、测试 fixture、低风险只读查询不触发可维护性与可观测性门禁",
+        tests: ["tests/engine/code_maintainability_observability_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+        lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
+    },
+    {
+        id: "mc-code-quality-gate",
+        name: "代码质量门禁（防 AI 偷懒）",
+        owner_module: "src/engine/contracts/lazy_pattern_detector.ts",
+        owner_exports: [
+            "detectLazyPatterns",
+        ],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "代码变更的写入（Hook 实时拦截）和验证阶段（sf_gate_check）",
+        required_inputs: ["changed_files", "file_content"],
+        preconditions: ["文件路径为 .ts 或 .md"],
+        outputs: ["LazyPatternFinding", "ErrorPathFinding", "BehaviorCoverageFinding"],
+        downstream_consumers: ["sf_gate_check", "sf_stage_advance", "check-write hook", "check-bash hook"],
+        failure_modes: [
+            "SF-LAZY-001: 空函数体",
+            "SF-LAZY-002: 未实现占位",
+            "SF-LAZY-003: 空 catch 块",
+            "SF-LAZY-004: 未实现注释",
+            "SF-ERROR-PATH: 错误处理路径验证失败",
+        ],
+        degradation_behavior: ".d.ts / .test.ts / .spec.ts 豁免部分检测；纯样式文案不触发",
+        tests: [
+            "tests/engine/lazy_pattern_detector.test.ts",
+            "tests/engine/error_path_verifier.test.ts",
+            "tests/engine/behavior_coverage_verifier.test.ts",
+        ],
+        lifecycle_tests: ["tests/architecture/architecture_boundary.test.ts"],
+    },
+    {
+        id: "mc-mechanism-health",
+        name: "机制运行时健康度",
+        owner_module: "src/engine/contracts/mechanism_health_check.ts",
+        owner_exports: ["runFullHealthCheck", "detectLazyDeadImports", "detectUnconsumedMechanismIds", "scanModuleExports"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "validate-mechanisms 与 validate-release 执行机制死代码、lazy import 和未消费机制检查",
+        required_inputs: ["rootDir"],
+        preconditions: ["源码可读"],
+        outputs: ["MechanismHealthReport"],
+        downstream_consumers: ["cmdValidateMechanisms", "validate-release"],
+        failure_modes: ["lazy import 只声明未调用", "机制资产缺失", "机制身份未注册"],
+        degradation_behavior: "离线治理机制，不影响用户项目运行时路径",
+        tests: ["tests/engine/mechanism_health_check.test.ts"],
+        lifecycle_tests: ["tests/engine/mechanism_health_check.test.ts"],
+    },
+    {
+        id: "mc-config-write-boundary",
+        name: "配置落盘边界",
+        owner_module: "src/engine/config/config_write_boundary.ts",
+        owner_exports: ["classifyConfigContext", "isWriteAllowed", "validateWriteBoundary", "getWriteConfirmationPrompt"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "init、sync-templates 等管理命令准备写入 SoloForge 管理文件",
+        required_inputs: ["project_path", "target_path"],
+        preconditions: ["项目路径可读"],
+        outputs: ["ConfigWriteDecision", "WriteBoundaryViolation"],
+        downstream_consumers: ["cmdSyncTemplates", "validate-release"],
+        failure_modes: ["运行时推断自动落盘", "已有项目未确认写入管理文件"],
+        degradation_behavior: "空项目初始化允许写入，已有项目需要确认",
+        tests: ["tests/engine/config_write_boundary.test.ts"],
+        lifecycle_tests: ["tests/engine/config_write_boundary.test.ts"],
+    },
+    {
+        id: "mc-knowledge-governance",
+        name: "知识治理统一入口",
+        owner_module: "src/engine/knowledge/knowledge_governance_gate.ts",
+        owner_exports: ["runKnowledgeGovernanceCheck", "checkSemanticCompliance", "checkEvolutionEvidence", "checkDocumentationGovernance", "checkLanguagePolicyCompliance"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "validate、sync-templates 与 validate-release 执行知识生命周期、语义、文档和语言策略检查",
+        required_inputs: ["KnowledgeGovernanceContext"],
+        preconditions: ["知识资产可读"],
+        outputs: ["KnowledgeGovernanceReport"],
+        downstream_consumers: ["cmdValidate", "cmdSyncTemplates", "validate-release"],
+        failure_modes: ["知识晋级无证据", "用户可见语义污染", "设计文档承载未验证事实"],
+        degradation_behavior: "默认作为治理报告输出，hard_fail 仅阻断发布或明确 apply",
+        tests: ["tests/engine/knowledge_injection_boundary.test.ts"],
+        lifecycle_tests: ["tests/engine/knowledge_injection_boundary.test.ts"],
+    },
+    {
+        id: "mc-log-governance",
+        name: "日志治理与用户输出纯净",
+        owner_module: "src/engine/core/log_governance.ts",
+        owner_exports: ["enforceLogGovernance", "classifyOutputVisibility", "validateLogFormat", "assessOutputNoise", "evaluateFeedbackOutputQuality"],
+        mechanism_type: "contract_enforcement",
+        status: "enforced",
+        trigger: "用户反馈、交付输出和 validate-release 输出噪音检查",
+        required_inputs: ["output"],
+        preconditions: ["输出内容可检查"],
+        outputs: ["LogGovernanceReport"],
+        downstream_consumers: ["assessCepForUserFeedback", "validate-release"],
+        failure_modes: ["内部噪音泄漏", "JSON stdout 污染", "直接 console 输出"],
+        degradation_behavior: "默认不改变成功路径，只阻断输出污染和发布噪音",
+        tests: ["tests/engine/log_governance.test.ts"],
+        lifecycle_tests: ["tests/engine/log_governance.test.ts"],
+    },
+];
+//# sourceMappingURL=contracts-governance.js.map

package/dist/engine/contracts/mechanism_contract_registry/contracts-governance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts-governance.js","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/contracts-governance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,oBAAoB;AACpB,MAAM,CAAC,MAAM,oBAAoB,GAAwB;IACvD,4CAA4C;IAC5C;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,4BAA4B;QAClC,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,0BAA0B,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,uBAAuB,CAAC;QACzJ,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,qCAAqC;QAC9C,eAAe,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC;QACxD,aAAa,EAAE,CAAC,gBAAgB,CAAC;QACjC,OAAO,EAAE,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACzG,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,CAAC;QAC3G,aAAa,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC;QAC9D,oBAAoB,EAAE,0CAA0C;QAChE,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IACD,mDAAmD;IACnD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,YAAY,EAAE,+CAA+C;QAC7D,aAAa,EAAE,CAAC,iCAAiC,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,uCAAuC,CAAC;QAClL,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,4BAA4B;QACrC,eAAe,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,6BAA6B,CAAC;QAC1E,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,gCAAgC,CAAC;QACvI,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,aAAa,CAAC;QACjG,aAAa,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC;QACnD,oBAAoB,EAAE,gBAAgB;QACtC,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IACD,oDAAoD;IACpD;QACE,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,4BAA4B;QAClC,YAAY,EAAE,gDAAgD;QAC9D,aAAa,EAAE,CAAC,yBAAyB,EAAE,6BAA6B,EAAE,6BAA6B,EAAE,2BAA2B,CAAC;QACrI,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,kBAAkB;QAC3B,eAAe,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;QACvD,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,EAAE,oCAAoC,EAAE,6BAA6B,CAAC;QAC3I,oBAAoB,EAAE,CAAC,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,eAAe,CAAC;QAC1H,aAAa,EAAE,CAAC,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,CAAC;QAC1F,oBAAoB,EAAE,eAAe;QACrC,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IAED,wBAAwB;IAExB,8BAA8B;IAC9B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,mDAAmD;QACjE,aAAa,EAAE,CAAC,4BAA4B,EAAE,4BAA4B,CAAC;QAC3E,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,iCAAiC;QAC1C,eAAe,EAAE,CAAC,eAAe,EAAE,aAAa,CAAC;QACjD,aAAa,EAAE,CAAC,mBAAmB,CAAC;QACpC,OAAO,EAAE,CAAC,sBAAsB,EAAE,eAAe,CAAC;QAClD,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC;QAC/E,aAAa,EAAE,CAAC,gCAAgC,EAAE,8BAA8B,CAAC;QACjF,oBAAoB,EAAE,6BAA6B;QACnD,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,CAAC,iDAAiD,CAAC;KACrE;IAED,qCAAqC;IACrC;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QAC1D,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,cAAc;QACvB,eAAe,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QAC3C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,YAAY,CAAC;QACvB,oBAAoB,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC;QAC7F,aAAa,EAAE,CAAC,WAAW,EAAE,gBAAgB,CAAC;QAC9C,oBAAoB,EAAE,kBAAkB;QACxC,KAAK,EAAE,CAAC,wCAAwC,CAAC;QACjD,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,kCAAkC;IAClC;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,oDAAoD;QAClE,aAAa,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,6BAA6B,CAAC;QAChF,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,oBAAoB;QAC7B,eAAe,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACnD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,2BAA2B,CAAC;QACtC,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAC3D,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,qDAAqD,CAAC;QAC9D,eAAe,EAAE,CAAC,qDAAqD,CAAC;KACzE;IAED,6BAA6B;IAC7B;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,6CAA6C;QAC3D,aAAa,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACpF,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,sBAAsB;QAC/B,eAAe,EAAE,CAAC,QAAQ,EAAE,iBAAiB,CAAC;QAC9C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,oBAAoB,CAAC;QAC/B,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC3D,aAAa,EAAE,CAAC,gBAAgB,EAAE,UAAU,CAAC;QAC7C,oBAAoB,EAAE,aAAa;QACnC,KAAK,EAAE,CAAC,8CAA8C,CAAC;QACvD,eAAe,EAAE,CAAC,8CAA8C,CAAC;KAClE;IAED,8BAA8B;IAC9B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,oDAAoD;QAClE,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,OAAO;QAChB,eAAe,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC;QAC1C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,yBAAyB,CAAC;QACpC,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAC3D,aAAa,EAAE,CAAC,mBAAmB,EAAE,MAAM,CAAC;QAC5C,oBAAoB,EAAE,aAAa;QACnC,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,CAAC,iDAAiD,CAAC;KACrE;IAED,6BAA6B;IAC7B;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,eAAe,EAAE,oBAAoB,EAAE,0BAA0B,CAAC;QAClF,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,mCAAmC;QAC5C,eAAe,EAAE,CAAC,OAAO,EAAE,kBAAkB,CAAC;QAC9C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,uBAAuB,CAAC;QAClC,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC;QAC/E,aAAa,EAAE,CAAC,uBAAuB,EAAE,UAAU,CAAC;QACpD,oBAAoB,EAAE,eAAe;QACrC,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IAED,oCAAoC;IACpC;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,mDAAmD;QACjE,aAAa,EAAE,CAAC,6BAA6B,EAAE,2BAA2B,CAAC;QAC3E,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,MAAM;QACf,eAAe,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC/C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,sBAAsB,CAAC;QACjC,oBAAoB,EAAE,CAAC,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,WAAW,CAAC;QAClF,aAAa,EAAE,CAAC,SAAS,EAAE,wBAAwB,CAAC;QACpD,oBAAoB,EAAE,oBAAoB;QAC1C,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,iCAAiC;IACjC;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,8CAA8C;QAC5D,aAAa,EAAE,CAAC,6BAA6B,EAAE,mCAAmC,EAAE,8BAA8B,EAAE,wCAAwC,CAAC;QAC7J,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,YAAY;QACrB,eAAe,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QACzH,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,6BAA6B,EAAE,8BAA8B,CAAC;QACxE,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC;QAC9G,aAAa,EAAE,CAAC,YAAY,EAAE,iBAAiB,EAAE,OAAO,CAAC;QACzD,oBAAoB,EAAE,eAAe;QACrC,KAAK,EAAE,CAAC,2CAA2C,CAAC;QACpD,eAAe,EAAE,CAAC,2CAA2C,CAAC;KAC/D;IAED,+BAA+B;IAC/B;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,qDAAqD;QACnE,aAAa,EAAE;YACb,+BAA+B;YAC/B,gBAAgB;YAChB,wBAAwB;YACxB,mBAAmB;YACnB,sBAAsB;YACtB,wBAAwB;YACxB,0BAA0B;YAC1B,6BAA6B;SAC9B;QACD,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,8BAA8B;QACvC,eAAe,EAAE,CAAC,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACvE,aAAa,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;QAClC,OAAO,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;QACjD,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,EAAE,sBAAsB,CAAC;QACvG,aAAa,EAAE;YACb,wDAAwD;YACxD,mDAAmD;SACpD;QACD,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,kDAAkD,CAAC;QAC3D,eAAe,EAAE,CAAC,kDAAkD,CAAC;KACtE;IAED,qBAAqB;IACrB;QACE,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,cAAc;QACpB,YAAY,EAAE,4CAA4C;QAC1D,WAAW,EAAE,CAAC,4CAA4C,EAAE,oDAAoD,CAAC;QACjH,aAAa,EAAE;YACb,gBAAgB;YAChB,0BAA0B;SAC3B;QACD,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,6EAA6E;QACtF,eAAe,EAAE,CAAC,cAAc,CAAC;QACjC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,gBAAgB,EAAE,uBAAuB,EAAE,wBAAwB,CAAC;QAC9E,oBAAoB,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,wBAAwB,CAAC;QACrG,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE;YACb,8CAA8C;YAC9C,2CAA2C;YAC3C,8CAA8C;YAC9C,0DAA0D;SAC3D;QACD,oBAAoB,EAAE,uBAAuB;QAC7C,KAAK,EAAE,CAAC,mDAAmD,EAAE,mCAAmC,EAAE,qDAAqD,CAAC;QACxJ,eAAe,EAAE,CAAC,qDAAqD,CAAC;KACzE;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,YAAY,EAAE,4CAA4C;QAC1D,aAAa,EAAE,CAAC,0BAA0B,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,0BAA0B,CAAC;QACnH,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,0BAA0B;QACnC,eAAe,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,eAAe,CAAC;QACvD,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,oBAAoB,CAAC;QACzE,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC;QAC/E,aAAa,EAAE;YACb,kCAAkC;YAClC,uCAAuC;SACxC;QACD,oBAAoB,EAAE,qCAAqC;QAC3D,KAAK,EAAE,CAAC,yCAAyC,EAAE,yDAAyD,CAAC;QAC7G,eAAe,EAAE,CAAC,yDAAyD,CAAC;KAC7E;IACD;QACE,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,yDAAyD;QACvE,aAAa,EAAE,CAAC,uCAAuC,EAAE,mCAAmC,EAAE,kCAAkC,EAAE,4BAA4B,CAAC;QAC/J,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,gCAAgC;QACzC,eAAe,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,eAAe,CAAC;QACvD,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,CAAC,kCAAkC,EAAE,8BAA8B,EAAE,iCAAiC,CAAC;QAChH,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC;QAC/E,aAAa,EAAE;YACb,8BAA8B;YAC9B,0CAA0C;SAC3C;QACD,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,sDAAsD,EAAE,yDAAyD,CAAC;QAC1H,eAAe,EAAE,CAAC,yDAAyD,CAAC;KAC7E;IACD;QACE,EAAE,EAAE,gDAAgD;QACpD,IAAI,EAAE,eAAe;QACrB,YAAY,EAAE,qEAAqE;QACnF,aAAa,EAAE;YACb,mCAAmC;YACnC,+BAA+B;YAC/B,yBAAyB;YACzB,qBAAqB;YACrB,mBAAmB;YACnB,sBAAsB;YACtB,mBAAmB;YACnB,qBAAqB;YACrB,iBAAiB;YACjB,kCAAkC;YAClC,iCAAiC;YACjC,uBAAuB;SACxB;QACD,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,iDAAiD;QAC1D,eAAe,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,eAAe,CAAC;QACvD,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,CAAC,8BAA8B,EAAE,0BAA0B,EAAE,6BAA6B,CAAC;QACpG,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC;QAC/E,aAAa,EAAE;YACb,uBAAuB;YACvB,2BAA2B;YAC3B,4BAA4B;YAC5B,2BAA2B;SAC5B;QACD,oBAAoB,EAAE,0DAA0D;QAChF,KAAK,EAAE,CAAC,kEAAkE,EAAE,yDAAyD,CAAC;QACtI,eAAe,EAAE,CAAC,yDAAyD,CAAC;KAC7E;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,iBAAiB;QACvB,YAAY,EAAE,+CAA+C;QAC7D,aAAa,EAAE;YACb,oBAAoB;SACrB;QACD,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,wCAAwC;QACjD,eAAe,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,yBAAyB,CAAC;QAC9E,oBAAoB,EAAE,CAAC,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,iBAAiB,CAAC;QAClG,aAAa,EAAE;YACb,mBAAmB;YACnB,oBAAoB;YACpB,wBAAwB;YACxB,oBAAoB;YACpB,2BAA2B;SAC5B;QACD,oBAAoB,EAAE,6CAA6C;QACnE,KAAK,EAAE;YACL,4CAA4C;YAC5C,0CAA0C;YAC1C,iDAAiD;SAClD;QACD,eAAe,EAAE,CAAC,kDAAkD,CAAC;KACtE;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,gDAAgD;QAC9D,aAAa,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,EAAE,8BAA8B,EAAE,mBAAmB,CAAC;QACnH,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,qEAAqE;QAC9E,eAAe,EAAE,CAAC,SAAS,CAAC;QAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;QACvB,OAAO,EAAE,CAAC,uBAAuB,CAAC;QAClC,oBAAoB,EAAE,CAAC,uBAAuB,EAAE,kBAAkB,CAAC;QACnE,aAAa,EAAE,CAAC,oBAAoB,EAAE,QAAQ,EAAE,SAAS,CAAC;QAC1D,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,6CAA6C,CAAC;QACtD,eAAe,EAAE,CAAC,6CAA6C,CAAC;KACjE;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,4CAA4C;QAC1D,aAAa,EAAE,CAAC,uBAAuB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,4BAA4B,CAAC;QACjH,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,8CAA8C;QACvD,eAAe,EAAE,CAAC,cAAc,EAAE,aAAa,CAAC;QAChD,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,CAAC;QAC1D,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;QAC9D,aAAa,EAAE,CAAC,WAAW,EAAE,eAAe,CAAC;QAC7C,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,4CAA4C,CAAC;QACrD,eAAe,EAAE,CAAC,4CAA4C,CAAC;KAChE;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,mDAAmD;QACjE,aAAa,EAAE,CAAC,6BAA6B,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,8BAA8B,EAAE,+BAA+B,CAAC;QACpK,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,kEAAkE;QAC3E,eAAe,EAAE,CAAC,4BAA4B,CAAC;QAC/C,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,CAAC,2BAA2B,CAAC;QACtC,oBAAoB,EAAE,CAAC,aAAa,EAAE,kBAAkB,EAAE,kBAAkB,CAAC;QAC7E,aAAa,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,CAAC;QACrD,oBAAoB,EAAE,qCAAqC;QAC3D,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,mCAAmC;QACjD,aAAa,EAAE,CAAC,sBAAsB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,+BAA+B,CAAC;QAC9I,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,oCAAoC;QAC7C,eAAe,EAAE,CAAC,QAAQ,CAAC;QAC3B,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,oBAAoB,EAAE,CAAC,0BAA0B,EAAE,kBAAkB,CAAC;QACtE,aAAa,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,eAAe,CAAC;QAC5D,oBAAoB,EAAE,wBAAwB;QAC9C,KAAK,EAAE,CAAC,qCAAqC,CAAC;QAC9C,eAAe,EAAE,CAAC,qCAAqC,CAAC;KACzD;CACF,CAAC"}

package/dist/engine/contracts/mechanism_contract_registry/contracts-pipeline.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Mechanism Contract Registry — 核心管线机制契约（1-8）。
+ *
+ * 包括 command_router（command_state_verifier）、classifier（task_planner 兼容）、
+ * intent_expander、knowledge_matching、knowledge_injection_boundary、
+ * task_context_lifecycle、verifier、workspace_resumer。
+ */
+import type { MechanismContract } from "./types.js";
+/** 核心管线 P0 机制契约 */
+export declare const PIPELINE_CONTRACTS: MechanismContract[];
+//# sourceMappingURL=contracts-pipeline.d.ts.map

package/dist/engine/contracts/mechanism_contract_registry/contracts-pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts-pipeline.d.ts","sourceRoot":"","sources":["../../../../src/engine/contracts/mechanism_contract_registry/contracts-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD,mBAAmB;AACnB,eAAO,MAAM,kBAAkB,EAAE,iBAAiB,EAoPjD,CAAC"}