soloforge 1.1.44 → 1.1.46

package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js

@@ -1,194 +0,0 @@
-/**
- * Contracts-Pipeline — 契约层模块。
- *
- * 职责边界：
- * - 负责：PIPELINE_CONTRACTS 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-/** 核心管线 P0 机制契约 */
-export const PIPELINE_CONTRACTS = [
-    // ── 1. 命令路由（意图 → 4 能力域路由；owner: src/core/intent_router.ts routeIntent） ──
-    {
-        id: "mc-command-router",
-        name: "命令路由（意图→能力域）",
-        owner_module: "src/core/intent_router.ts",
-        owner_exports: ["routeIntent"],
-        mechanism_type: "routing",
-        status: "enforced",
-        trigger: "sf_task（start 动作）调用时，将用户意图文本路由到 4 能力域之一",
-        required_inputs: ["intent", "system_context"],
-        preconditions: ["intent 非空字符串", "4 能力域枚举已定义"],
-        outputs: ["domain", "required_artifacts"],
-        downstream_consumers: ["sf_task handler", "task_context", "domain_engine"],
-        failure_modes: [
-            "sf_task start 未调用 routeIntent 直接进入执行",
-            "路由结果 domain 不在 design/build/verify/operate 之内",
-        ],
-        degradation_behavior: "无关键词匹配时默认路由到 design 域（先想清楚再做），不阻断",
-        tests: ["tests/core/intent_router.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 3. intent_expander ──
-    {
-        id: "mc-intent-expander",
-        name: "Intent Expander",
-        owner_module: "src/gate/privacy_gates.ts",
-        owner_exports: ["runPrivacyGate"],
-        mechanism_type: "expansion",
-        status: "enforced",
-        trigger: "sf_work 调用时",
-        required_inputs: ["classification", "domain", "matched_knowledge"],
-        preconditions: ["任务处于执行阶段", "domain 已由 routeIntent 确定"],
-        outputs: ["expansion", "prompt", "scope", "acceptance_criteria"],
-        downstream_consumers: ["sf_work handler", "executor", "verifier"],
-        failure_modes: [
-            "source_extraction 路由的 prompt 包含代码修改指令而非产物提取指令",
-            "read_only_analysis 生成的 prompt 包含修改源码的指令",
-            "circuit breaker 置信度不足时仍生成执行指令而非澄清请求",
-        ],
-        degradation_behavior: "confidence < 阈值时返回 clarification prompt 而非执行指令，consumption_mode=required 的模板缺失时报错",
-        tests: ["tests/core/scope_checker.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 4. knowledge_matching (deprecated → mc-knowledge-injection-boundary) ──
-    {
-        id: "mc-knowledge-matching",
-        name: "Knowledge Matching (deprecated → mc-knowledge-injection-boundary)",
-        owner_module: "src/context/knowledge/index_manager.ts",
-        owner_exports: ["KnowledgeIndexManager"],
-        mechanism_type: "knowledge_matching",
-        status: "deprecated",
-        trigger: "expand() 内部调用 knowledgeIndex.query()",
-        required_inputs: ["domain", "output_artifact.kind", "pipeline_hint", "knowledge_index"],
-        preconditions: ["knowledge index 已 build"],
-        outputs: ["matched_patterns", "injected_templates"],
-        downstream_consumers: ["stage_executor prompt builder"],
-        failure_modes: [
-            "prototype_spec output_artifact 未命中原型说明模版",
-            "required knowledge 缺失时退回 code prompt 而非报错",
-            "draft/quarantine 状态知识默认注入 prompt",
-            "三道门过滤后无注入结果但无注入报告",
-        ],
-        degradation_behavior: "整体 advisory，但 required branch（prototype_spec → 原型说明模版）为 enforced：缺失时必须报错而非静默降级。其他分支缺失时优雅降级为空匹配",
-        tests: [],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-        notes: "已废弃: knowledge_matching 是 knowledge_injection_boundary 的一部分，正式机制 ID 为 mc-knowledge-injection-boundary。不可删除代码：index_manager.query() 仍被 intent_expander 直接调用作为知识检索入口，且 parseEntry() 是知识索引构建的必经路径，删除会破坏整个知识管道。",
-    },
-    // ── 5. knowledge_injection_boundary — 已删除（三道门决策，无运行时调用）──
-    {
-        id: "mc-knowledge-injection-boundary",
-        name: "Knowledge Injection Boundary（已删除）",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "safety",
-        status: "deprecated",
-        trigger: "",
-        required_inputs: [],
-        preconditions: [],
-        outputs: [],
-        downstream_consumers: [],
-        failure_modes: [],
-        degradation_behavior: "已删除",
-        tests: [],
-        lifecycle_tests: [],
-    },
-    // ── 6. task_context_lifecycle ──
-    {
-        id: "mc-task-context-lifecycle",
-        name: "Task Context Lifecycle",
-        owner_module: "src/core/task_context.ts",
-        owner_exports: ["TaskContextManager"],
-        mechanism_type: "state_lifecycle",
-        status: "enforced",
-        trigger: "sf_task/sf_work/sf_gate/sf_work 调用时",
-        required_inputs: ["intent", "product_profile", "classification_before_expand", "expansion_before_executing", "execution_before_verifying"],
-        preconditions: ["stateDir 已初始化"],
-        outputs: ["task_state", "task_id", "current_status"],
-        downstream_consumers: ["sf_work", "sf_gate", "sf_work", "sf_task", "workspace_resumer"],
-        state_transitions: [
-            "init → classifying",
-            "classifying → expanding",
-            "classifying → clarifying",
-            "clarifying → expanding",
-            "expanding → executing",
-            "executing → verifying",
-            "verifying → learning",
-            "learning → done",
-            "learning → retrying",
-            "retrying → expanding",
-        ],
-        cleanup_hooks: [
-            "clear_diff_ownership",
-            "release_scope_lease",
-            "clear_current_active_task_pointer",
-        ],
-        failure_modes: [
-            "classifying 状态直接调用 sf_gate（应先 expand）",
-            "executing 状态再次 sf_work（不可重入）",
-            "done 状态调用 sf_work（任务已结束）",
-        ],
-        degradation_behavior: "非法状态转换返回 isError，不静默忽略",
-        tests: ["tests/engine/task_context.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 7. verifier ──
-    {
-        id: "mc-verifier",
-        name: "Verifier",
-        owner_module: "src/verify/audit/verifier.ts",
-        owner_exports: ["generateVerifyCommands"],
-        mechanism_type: "verification",
-        status: "enforced",
-        trigger: "sf_gate 调用时",
-        required_inputs: ["expansion", "execution_shape", "changed_files_or_output_artifact"],
-        preconditions: ["任务处于 executing 状态", "已有 expansion 结果"],
-        outputs: ["verify_commands", "verification_result", "evidence"],
-        downstream_consumers: ["sf_gate handler", "task_context", "sf_work"],
-        failure_modes: [
-            "single_artifact/source_extraction 默认要求 build+test（应为轻量验证）",
-            "verification 结果未保存到 task context 就标记 done/learning",
-        ],
-        degradation_behavior: "execution_shape 决定验证策略：code_execution 用完整 build+test，single_artifact/source_extraction 用轻量检查",
-        tests: ["tests/engine/verifier_phase25.test.ts"],
-        lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
-    },
-    // ── 8. workspace_resumer (deprecated → mc-task-context-lifecycle) ──
-    {
-        id: "mc-workspace-resumer",
-        name: "Workspace Resumer (deprecated → mc-task-context-lifecycle)",
-        owner_module: "src/server/tools/lazy_loaders.ts",
-        owner_exports: ["scanAndResume", "cleanupStaleTasks"],
-        mechanism_type: "state_lifecycle",
-        status: "deprecated",
-        trigger: "sf_task action=resume 或会话启动时",
-        required_inputs: ["task_state_directory", "current_task_pointer", "active_task_list"],
-        preconditions: ["stateDir 存在"],
-        outputs: ["resume_report", "active_task_candidates", "cleanup_report"],
-        downstream_consumers: ["sf_task", "TaskContextManager"],
-        state_transitions: [
-            "found_executing → resume_to_executing",
-            "found_verifying → resume_to_verifying",
-            "found_retrying → resume_to_retrying",
-        ],
-        cleanup_hooks: [
-            "cleanupOrphanLeases",
-            "cleanupStaleTasks",
-            "current_pointer_repair",
-        ],
-        failure_modes: [
-            "中断后 current pointer 指向已完成的任务",
-            "orphan scope lease 未清理导致 scope 被永久占用",
-        ],
-        degradation_behavior: "corrupt task 标记为 unrecoverable，不阻塞其他任务恢复",
-        tests: ["tests/engine/workspace_resumer.test.ts"],
-        lifecycle_tests: ["tests/engine/workspace_resumer.test.ts", "tests/adapters/tools_lifecycle.test.ts"],
-        notes: "已废弃: workspace_resumer 是 task_context_lifecycle 的一部分，正式机制 ID 为 mc-task-context-lifecycle。不可删除代码：scanAndResume() 仍被 sf_task handler 作为会话恢复入口调用，cleanupStaleTasks() 是状态清理的唯一路径，删除会导致中断任务无法恢复。",
-    },
-];
-//# sourceMappingURL=contracts-pipeline.js.map

package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"contracts-pipeline.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/contracts-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,mBAAmB;AACnB,MAAM,CAAC,MAAM,kBAAkB,GAAwB;IACrD,2EAA2E;IAC3E;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,cAAc;QACpB,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,aAAa,CAAC;QAC9B,cAAc,EAAE,SAAS;QACzB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,yCAAyC;QAClD,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QAC7C,aAAa,EAAE,CAAC,cAAc,EAAE,YAAY,CAAC;QAC7C,OAAO,EAAE,CAAC,QAAQ,EAAE,oBAAoB,CAAC;QACzC,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,eAAe,CAAC;QAC1E,aAAa,EAAE;YACb,sCAAsC;YACtC,+CAA+C;SAChD;QACD,oBAAoB,EAAE,mCAAmC;QACzD,KAAK,EAAE,CAAC,kCAAkC,CAAC;QAC3C,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,2BAA2B;IAC3B;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,gBAAgB,CAAC;QACjC,cAAc,EAAE,WAAW;QAC3B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,aAAa;QACtB,eAAe,EAAE,CAAC,gBAAgB,EAAE,QAAQ,EAAE,mBAAmB,CAAC;QAClE,aAAa,EAAE,CAAC,UAAU,EAAE,0BAA0B,CAAC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,CAAC;QAChE,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,UAAU,EAAE,UAAU,CAAC;QACjE,aAAa,EAAE;YACb,+CAA+C;YAC/C,yCAAyC;YACzC,qCAAqC;SACtC;QACD,oBAAoB,EAAE,mFAAmF;QACzG,KAAK,EAAE,CAAC,kCAAkC,CAAC;QAC3C,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,6EAA6E;IAC7E;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,mEAAmE;QACzE,YAAY,EAAE,wCAAwC;QACtD,aAAa,EAAE,CAAC,uBAAuB,CAAC;QACxC,cAAc,EAAE,oBAAoB;QACpC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,sCAAsC;QAC/C,eAAe,EAAE,CAAC,QAAQ,EAAE,sBAAsB,EAAE,eAAe,EAAE,iBAAiB,CAAC;QACvF,aAAa,EAAE,CAAC,yBAAyB,CAAC;QAC1C,OAAO,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,CAAC;QACnD,oBAAoB,EAAE,CAAC,+BAA+B,CAAC;QACvD,aAAa,EAAE;YACb,0CAA0C;YAC1C,2CAA2C;YAC3C,kCAAkC;YAClC,mBAAmB;SACpB;QACD,oBAAoB,EAAE,gGAAgG;QACtH,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,CAAC,wCAAwC,CAAC;QAC3D,KAAK,EAAE,6MAA6M;KACrN;IAED,2DAA2D;IAC3D;QACE,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,mCAAmC;QACzC,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE,EAAE;QACnB,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,EAAE;QACX,oBAAoB,EAAE,EAAE;QACxB,aAAa,EAAE,EAAE;QACjB,oBAAoB,EAAE,KAAK;QAC3B,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,EAAE;KACpB;IAED,kCAAkC;IAClC;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,wBAAwB;QAC9B,YAAY,EAAE,0BAA0B;QACxC,aAAa,EAAE,CAAC,oBAAoB,CAAC;QACrC,cAAc,EAAE,iBAAiB;QACjC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,qCAAqC;QAC9C,eAAe,EAAE,CAAC,QAAQ,EAAE,iBAAiB,EAAE,8BAA8B,EAAE,4BAA4B,EAAE,4BAA4B,CAAC;QAC1I,aAAa,EAAE,CAAC,eAAe,CAAC;QAChC,OAAO,EAAE,CAAC,YAAY,EAAE,SAAS,EAAE,gBAAgB,CAAC;QACpD,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,mBAAmB,CAAC;QACvF,iBAAiB,EAAE;YACjB,oBAAoB;YACpB,yBAAyB;YACzB,0BAA0B;YAC1B,wBAAwB;YACxB,uBAAuB;YACvB,uBAAuB;YACvB,sBAAsB;YACtB,iBAAiB;YACjB,qBAAqB;YACrB,sBAAsB;SACvB;QACD,aAAa,EAAE;YACb,sBAAsB;YACtB,qBAAqB;YACrB,mCAAmC;SACpC;QACD,aAAa,EAAE;YACb,uCAAuC;YACvC,8BAA8B;YAC9B,0BAA0B;SAC3B;QACD,oBAAoB,EAAE,wBAAwB;QAC9C,KAAK,EAAE,CAAC,mCAAmC,CAAC;QAC5C,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,oBAAoB;IACpB;QACE,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,8BAA8B;QAC5C,aAAa,EAAE,CAAC,wBAAwB,CAAC;QACzC,cAAc,EAAE,cAAc;QAC9B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,aAAa;QACtB,eAAe,EAAE,CAAC,WAAW,EAAE,iBAAiB,EAAE,kCAAkC,CAAC;QACrF,aAAa,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;QACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,CAAC;QAC/D,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,SAAS,CAAC;QACpE,aAAa,EAAE;YACb,2DAA2D;YAC3D,oDAAoD;SACrD;QACD,oBAAoB,EAAE,8FAA8F;QACpH,KAAK,EAAE,CAAC,uCAAuC,CAAC;QAChD,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,sEAAsE;IACtE;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,4DAA4D;QAClE,YAAY,EAAE,kCAAkC;QAChD,aAAa,EAAE,CAAC,eAAe,EAAE,mBAAmB,CAAC;QACrD,cAAc,EAAE,iBAAiB;QACjC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,8BAA8B;QACvC,eAAe,EAAE,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,CAAC,aAAa,CAAC;QAC9B,OAAO,EAAE,CAAC,eAAe,EAAE,wBAAwB,EAAE,gBAAgB,CAAC;QACtE,oBAAoB,EAAE,CAAC,SAAS,EAAE,oBAAoB,CAAC;QACvD,iBAAiB,EAAE;YACjB,uCAAuC;YACvC,uCAAuC;YACvC,qCAAqC;SACtC;QACD,aAAa,EAAE;YACb,qBAAqB;YACrB,mBAAmB;YACnB,wBAAwB;SACzB;QACD,aAAa,EAAE;YACb,8BAA8B;YAC9B,sCAAsC;SACvC;QACD,oBAAoB,EAAE,0CAA0C;QAChE,KAAK,EAAE,CAAC,wCAAwC,CAAC;QACjD,eAAe,EAAE,CAAC,wCAAwC,EAAE,wCAAwC,CAAC;QACrG,KAAK,EAAE,6LAA6L;KACrM;CACF,CAAC"}

package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts

@@ -1,17 +0,0 @@
-/**
- * Contracts-Platform — 契约层模块。
- *
- * 职责边界：
- * - 负责：PLATFORM_CONTRACTS 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-import type { MechanismContract } from "./types.js";
-/** 平台与扩展 P0 机制契约 */
-export declare const PLATFORM_CONTRACTS: MechanismContract[];
-//# sourceMappingURL=contracts-platform.d.ts.map

package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contracts-platform.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/contracts-platform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD,oBAAoB;AACpB,eAAO,MAAM,kBAAkB,EAAE,iBAAiB,EAgXjD,CAAC"}

package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js

@@ -1,365 +0,0 @@
-/**
- * Contracts-Platform — 契约层模块。
- *
- * 职责边界：
- * - 负责：PLATFORM_CONTRACTS 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-/** 平台与扩展 P0 机制契约 */
-export const PLATFORM_CONTRACTS = [
-    // ── 9. core_engineering_principles ──
-    {
-        id: "mc-core-engineering-principles",
-        name: "Core Engineering Principles",
-        owner_module: "src/verify/audit/core_engineering_principles.ts",
-        owner_exports: ["checkCorePrinciples", "checkThinkBeforeCoding", "checkSimplicityFirst", "checkSurgicalChanges", "checkGoalDrivenExecution", "validateAntiCircumvention"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "sf_gate 验证阶段 / sf_doctor check_type=full 治理报告",
-        required_inputs: ["route", "execution_shape", "changed_files", "declared_scope"],
-        preconditions: ["分类已完成，route 和 execution_shape 已确定"],
-        outputs: ["CorePrinciplesReport", "CorePrinciplesCheckResult[]", "task_level"],
-        downstream_consumers: ["verifier", "governance_report", "adapter_tools"],
-        state_transitions: [
-            "principles_failed → repair_reverify",
-            "principles_passed → advance_next",
-        ],
-        failure_modes: [
-            "required 原则检查失败但被忽略",
-            "伪满足: 声称 passed 但无证据引用",
-            "blocking 不确定被伪装为 assumption",
-        ],
-        degradation_behavior: "检查模块不可用时降级为 advisory，不阻断主链路",
-        tests: ["tests/engine/core_engineering_principles.test.ts"],
-        lifecycle_tests: ["tests/engine/core_engineering_principles.test.ts", "tests/engine/dual_layer_mechanism_registry.test.ts"],
-    },
-    // ── 交付 ──（已废弃 — delivery.ts 已删除，由 delivery_readiness.ts 替代）
-    {
-        id: "mc-delivery-gate",
-        name: "Delivery Gate（已废弃）",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "delivery",
-        status: "deprecated",
-        trigger: "sf_work 调用时，gate_check 通过后",
-        required_inputs: ["taskContext", "config"],
-        preconditions: ["verification passed", "no active write lease conflict"],
-        outputs: ["DeliveryResult", "ChangelogEntry"],
-        downstream_consumers: ["adapter_tools", "developer_sovereignty"],
-        failure_modes: [
-            "delivery without verification",
-            "commit conflict during push",
-            "PR creation failure",
-        ],
-        degradation_behavior: "delivery 失败时降级为 manual_required，保留 commit",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        notes: "已废弃: delivery.ts 已删除，交付门禁功能由 delivery_readiness.ts 替代。",
-    },
-    // ── zero_config_init（已移除：detector/fingerprint + resolver 替代）──
-    // ── 12. input_material_contract ──
-    {
-        id: "mc-input-material-contract",
-        name: "输入材料契约",
-        owner_module: "src/domain/input_material_contract_registry.ts",
-        owner_exports: ["canSupportStrongConclusion", "isWriteAllowed"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "design",
-        required_inputs: ["input_materials"],
-        preconditions: ["privacy_gate_pass"],
-        outputs: ["InputMaterialContract"],
-        downstream_consumers: ["sf_work", "privacy_gate"],
-        state_transitions: [],
-        cleanup_hooks: [],
-        failure_modes: ["unregistered_source", "invalid_material_type"],
-        degradation_behavior: "permissive mode fallback",
-        tests: ["tests/engine/input_material_contract_registry.test.ts"],
-        lifecycle_tests: ["tests/engine/input_material_contract_registry.test.ts"],
-    },
-    // ── 13. user_feedback ──
-    {
-        id: "mc-user-feedback",
-        name: "用户反馈契约",
-        owner_module: "src/verify/contracts/user_feedback_contract.ts",
-        owner_exports: ["createUserFeedbackMessage", "validateUserFeedbackContract", "getAllowedFeedbackKinds"],
-        mechanism_type: "feedback",
-        status: "enforced",
-        trigger: "verify",
-        required_inputs: ["verification_result"],
-        preconditions: [],
-        outputs: ["UserFeedbackMessage"],
-        downstream_consumers: ["sf_work", "sf_gate"],
-        state_transitions: [],
-        cleanup_hooks: [],
-        failure_modes: ["forbidden_wording", "severity_mismatch"],
-        degradation_behavior: "simple message fallback",
-        tests: ["tests/engine/user_feedback_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/user_feedback_contract.test.ts"],
-    },
-    // ── 14. artifact_contract ──
-    {
-        id: "mc-artifact-contract",
-        name: "产物契约",
-        owner_module: "src/domain/contracts/artifact_contract_registry.ts",
-        owner_exports: ["canTransition", "transitionRequiresVerification"],
-        mechanism_type: "artifact_management",
-        status: "enforced",
-        trigger: "design",
-        required_inputs: ["output_artifact"],
-        preconditions: [],
-        outputs: ["ArtifactContract", "OutputArtifact"],
-        downstream_consumers: ["sf_gate", "sf_work"],
-        state_transitions: [],
-        cleanup_hooks: [],
-        failure_modes: ["missing_contract", "overwrite_violation"],
-        degradation_behavior: "manual artifact management fallback",
-        tests: ["tests/engine/artifact_contract_registry.test.ts"],
-        lifecycle_tests: ["tests/engine/artifact_contract_registry.test.ts"],
-    },
-    // ── config_precedence_contract（已移除：三层配置冲突检测替代优先级契约）──
-    // ══ 扩展平台机制契约 ══
-    // ── 16. extension_contract (problem-39) ──
-    // Phase A: 代码文件已删除，标记为 deprecated
-    {
-        id: "mc-extension-contract",
-        name: "扩展生命周期与权限管控",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "safety",
-        status: "deprecated",
-        trigger: "扩展注册与权限申请时",
-        required_inputs: ["extension_manifest", "capability_declaration"],
-        preconditions: ["extension_id 非空"],
-        outputs: ["ExtensionManifest", "ExtensionLifecycleResult", "PermissionGrantResult"],
-        downstream_consumers: ["sf_work", "sf_gate"],
-        failure_modes: ["第三方扩展自称 enforced", "高风险权限未审批", "非法生命周期转移"],
-        degradation_behavior: "扩展不合规时拒绝注册",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 17. platform_compatibility (problem-40) ──
-    // Phase A: 代码文件已删除，标记为 deprecated
-    {
-        id: "mc-platform-compatibility",
-        name: "跨平台路径安全",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "safety",
-        status: "deprecated",
-        trigger: "文件路径操作时",
-        required_inputs: ["raw_path", "platform_context", "scope_boundary"],
-        preconditions: ["scope_boundary 已设定"],
-        outputs: ["NormalizedPathRef", "PathSafetyCheck"],
-        downstream_consumers: ["sf_work", "sf_gate"],
-        failure_modes: ["路径逃逸未检测", "大小写冲突", "scope 边界绕过"],
-        degradation_behavior: "路径不安全时拒绝操作",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 18. metric_governance (problem-19) ──
-    {
-        id: "mc-metric-governance",
-        name: "指标治理",
-        owner_module: "src/gate/contracts/metric_governance.ts",
-        owner_exports: ["evaluateMetrics", "evaluateGovernanceAction", "createGovernanceFinding"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "治理指标评估时",
-        required_inputs: ["metric_samples"],
-        preconditions: [],
-        outputs: ["MetricsEvaluationResult", "GovernanceFinding"],
-        downstream_consumers: ["sf_gate", "sf_work"],
-        failure_modes: ["skipped 算 passed", "高风险动作自动触发"],
-        degradation_behavior: "指标不合规时标记为 failed",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 19. decision_sovereignty (problem-16) ──
-    {
-        id: "mc-decision-sovereignty",
-        name: "技术决策主权",
-        owner_module: "src/gate/contracts/technology_decision.ts",
-        owner_exports: ["validateTechnologyDecision", "evaluateDecisionExecution", "createDecisionRecord"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "技术决策评估时",
-        required_inputs: ["decision_contract", "decision_record"],
-        preconditions: [],
-        outputs: ["TechnologyDecisionContract", "DecisionValidationResult"],
-        downstream_consumers: ["sf_work", "sf_gate"],
-        failure_modes: ["architecture 无 human gate", "推荐状态可执行"],
-        degradation_behavior: "决策不合规时拒绝执行",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 20. brainstorm_contract (problem-41) ──
-    {
-        id: "mc-brainstorm-contract",
-        name: "脑暴与方案探索",
-        owner_module: "src/verify/contracts/brainstorm_contract.ts",
-        owner_exports: ["validateBrainstormSession", "canBrainstormAutoExecute", "createBrainstormSession"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "技术选择脑暴时",
-        required_inputs: ["problem_statement", "trigger"],
-        preconditions: [],
-        outputs: ["BrainstormSession", "BrainstormValidationResult"],
-        downstream_consumers: ["sf_work"],
-        failure_modes: ["脑暴无候选方案", "脑暴绕过决策主权"],
-        degradation_behavior: "脑暴不完整时阻断",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 21. detail_discipline (problem-26) ──
-    {
-        id: "mc-detail-discipline",
-        name: "细节纪律",
-        owner_module: "src/verify/contracts/detail_discipline.ts",
-        owner_exports: ["performDetailCheck", "checkDetailGateIntegration", "createDetailDisciplineContract"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "实现阶段细节检查时",
-        required_inputs: ["contract", "task_id", "phase"],
-        preconditions: [],
-        outputs: ["DetailDisciplineCheck", "DetailGateIntegrationResult"],
-        downstream_consumers: ["sf_work", "sf_gate", "delivery"],
-        failure_modes: ["缺失关键维度", "未接入交付 gate"],
-        degradation_behavior: "细节不足时阻断",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 22. first_principles (problem-27) ──
-    {
-        id: "mc-first-principles",
-        name: "第一性原理",
-        owner_module: "src/verify/contracts/first_principles.ts",
-        owner_exports: ["performFirstPrinciplesCheck", "validateFirstPrinciplesForHighImpact", "createFirstPrinciplesFrame"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "高影响变更推理时",
-        required_inputs: ["problem_id", "user_goal"],
-        preconditions: [],
-        outputs: ["FirstPrinciplesFrame", "FirstPrinciplesCheckResult"],
-        downstream_consumers: ["sf_work"],
-        failure_modes: ["缺少 fundamental_need", "无法阻断错误前提"],
-        degradation_behavior: "推理不完整时阻断",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 第六批: 通用决策研讨机制（问题六十一） ──
-    {
-        id: "mc-decision-workshop",
-        name: "通用决策研讨机制",
-        owner_module: "src/verify/contracts/decision_workshop.ts",
-        owner_exports: ["requiresDecisionWorkshop", "createDecisionWorkshop", "evaluateDecisionWorkshop", "applyDecisionWorkshopGate"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "高影响/不确定任务执行前",
-        required_inputs: ["workflow_intent", "task_type", "intent"],
-        preconditions: ["任务意图已识别"],
-        outputs: ["DecisionWorkshopContract", "DecisionWorkshopGateResult"],
-        downstream_consumers: ["sf_work"],
-        failure_modes: ["必须域未确认即执行", "现有系统缺证据", "用户确认引用缺失"],
-        degradation_behavior: "缺决策或确认时返回待讨论清单并阻断执行",
-        tests: ["tests/engine/decision_workshop.test.ts"],
-        lifecycle_tests: ["tests/engine/decision_workshop.test.ts"],
-    },
-    // ── 第六批: 架构决策研讨机制（问题六十一内置子包） ──
-    {
-        id: "mc-architecture-decision-workshop",
-        name: "架构决策研讨与确认门",
-        owner_module: "src/verify/contracts/architecture_decision_workshop.ts",
-        owner_exports: ["createArchitectureDecisionWorkshop", "evaluateArchitectureDecisionWorkshop", "requiresArchitectureDecisionWorkshop"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "architecture_design 正式设计生成前",
-        required_inputs: ["workflow_intent", "architecture_decision_workshop"],
-        preconditions: ["架构意图已识别"],
-        outputs: ["ArchitectureDecisionWorkshopContract", "ArchitectureWorkshopGateResult"],
-        downstream_consumers: ["sf_work", "mc-design-artifact-pack"],
-        failure_modes: ["六类决策域未确认即生成正式架构设计", "现有系统缺现状差距证据", "决策返工未传播"],
-        degradation_behavior: "缺决策或确认时返回中文待讨论清单并阻断正式设计 prompt",
-        tests: ["tests/engine/architecture_decision_workshop.test.ts"],
-        lifecycle_tests: ["tests/adapters/architecture_design_workshop_mainpath.test.ts"],
-    },
-    // ── 第六批: 标准资产覆盖审计机制（问题六十二） ──
-    {
-        id: "mc-standard-asset-coverage",
-        name: "标准资产覆盖审计",
-        owner_module: "src/context/templates/standard_asset_coverage.ts",
-        owner_exports: ["auditStandardAssetCoverage"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "发布门槛验证、validate-release",
-        required_inputs: ["rootDir", "consumableAssetPaths", "mechanismOwners"],
-        preconditions: ["consumable_asset_registry 已加载"],
-        outputs: ["StandardAssetCoverageReport"],
-        downstream_consumers: ["validate-release", "sf_gate"],
-        failure_modes: ["P0 资产缺少承载路径", "P0 资产未注册", "P0 资产缺少 owner"],
-        degradation_behavior: "覆盖缺口时 hard_fail 阻断发布",
-        tests: ["tests/engine/standard_asset_coverage.test.ts"],
-        lifecycle_tests: ["tests/engine/standard_asset_coverage.test.ts"],
-    },
-    // ── 第六批: 设计产物包机制（问题六十二子机制） ──
-    {
-        id: "mc-design-artifact-pack",
-        name: "设计产物包与存量复验门",
-        owner_module: "src/domain/contracts/design_artifact_pack.ts",
-        owner_exports: ["createDesignArtifactPack", "verifyDesignArtifactPack", "defaultDesignArtifactPaths"],
-        mechanism_type: "artifact_management",
-        status: "enforced",
-        trigger: "架构、数据库或 API 设计产物生成、升级和交付前",
-        required_inputs: ["confirmed_architecture_decisions", "design_artifact_paths"],
-        preconditions: ["架构决策已闭合或旧产物进入复验"],
-        outputs: ["DesignArtifactPackContract", "DesignArtifactVerificationResult"],
-        downstream_consumers: ["sf_gate", "sf_work"],
-        failure_modes: ["API 字段规格缺失", "SQL 不可执行", "跨文档冲突", "旧文档未经复验继续编码"],
-        degradation_behavior: "产物不一致时标记 verification_failed 并阻断编码/交付",
-        tests: ["tests/engine/design_artifact_pack.test.ts"],
-        lifecycle_tests: ["tests/adapters/architecture_design_workshop_mainpath.test.ts"],
-    },
-    // ── 第六批: 标准资产契约化（问题六十三） ──
-    {
-        id: "mc-standard-asset-contract",
-        name: "标准资产契约化",
-        owner_module: "src/context/templates/standard_asset_contract.ts",
-        owner_exports: ["verifyStandardAssetContract", "getStandardAssetContractSchema", "matchTemplateContract", "verifyOutputAgainstContract", "createRepairReverifyDirective", "isLowRiskTask", "isDraftDocument"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "正式产物验收、模板同步和交付门",
-        required_inputs: ["template_path", "product_path"],
-        preconditions: ["产物路由匹配标准资产类型"],
-        outputs: ["StandardAssetContract", "ContractVerificationResult", "RepairReverifyDirective"],
-        downstream_consumers: ["sf_gate", "sf_work", "CLI audit"],
-        failure_modes: ["P0 模板缺契约字段", "验收失败未进入 repair_reverify", "草稿被当作正式产物"],
-        degradation_behavior: "契约不完整时阻断交付并进入修复闭环",
-        tests: ["tests/engine/standard_asset_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/standard_asset_contract.test.ts"],
-    },
-    // ── 第六批: 模板资产可见性与注入边界（问题六十四） ──
-    {
-        id: "mc-template-asset-visibility",
-        name: "模板资产可见性与注入边界",
-        owner_module: "src/context/templates/template_asset_visibility.ts",
-        owner_exports: ["isInherentlyInternal", "inferVisibilityFromPath", "parseFrontmatterVisibility", "detectVisibilityConflict", "scanInternalTerms", "filterAssetsForUserProject", "filterSyncAssets", "checkAssetVisibilityGate", "filterByTechStack", "isScaffoldAsset", "isPackageInternalPath", "auditTemplateVisibility", "auditAllTemplateAssets"],
-        mechanism_type: "access_control",
-        status: "enforced",
-        trigger: "init、sync、索引、注入、审计和脚手架入口",
-        required_inputs: ["asset_path", "asset_frontmatter"],
-        preconditions: [],
-        outputs: ["AssetVisibilityReport", "VisibilityConflictResult", "SyncFilterResult"],
-        downstream_consumers: ["soloforge init", "sync-templates", "sf_work", "sf_gate", "sf_scaffold"],
-        failure_modes: ["内部资产泄漏到用户项目", "可见性冲突未解决", "fallback 绕过 gate"],
-        degradation_behavior: "冲突资产隔离并请求用户确认",
-        tests: ["tests/engine/template_asset_visibility.test.ts"],
-        lifecycle_tests: ["tests/engine/template_asset_visibility.test.ts"],
-    },
-];
-//# sourceMappingURL=contracts-platform.js.map

package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"contracts-platform.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/contracts-platform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,oBAAoB;AACpB,MAAM,CAAC,MAAM,kBAAkB,GAAwB;IACrD,uCAAuC;IACvC;QACE,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,6BAA6B;QACnC,YAAY,EAAE,iDAAiD;QAC/D,aAAa,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,2BAA2B,CAAC;QACzK,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,+CAA+C;QACxD,eAAe,EAAE,CAAC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,gBAAgB,CAAC;QAChF,aAAa,EAAE,CAAC,mCAAmC,CAAC;QACpD,OAAO,EAAE,CAAC,sBAAsB,EAAE,6BAA6B,EAAE,YAAY,CAAC;QAC9E,oBAAoB,EAAE,CAAC,UAAU,EAAE,mBAAmB,EAAE,eAAe,CAAC;QACxE,iBAAiB,EAAE;YACjB,qCAAqC;YACrC,kCAAkC;SACnC;QACD,aAAa,EAAE;YACb,qBAAqB;YACrB,uBAAuB;YACvB,6BAA6B;SAC9B;QACD,oBAAoB,EAAE,6BAA6B;QACnD,KAAK,EAAE,CAAC,kDAAkD,CAAC;QAC3D,eAAe,EAAE,CAAC,kDAAkD,EAAE,oDAAoD,CAAC;KAC5H;IACD,6DAA6D;IAC7D;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,oBAAoB;QAC1B,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,4BAA4B;QACrC,eAAe,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC1C,aAAa,EAAE,CAAC,qBAAqB,EAAE,gCAAgC,CAAC;QACxE,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC7C,oBAAoB,EAAE,CAAC,eAAe,EAAE,uBAAuB,CAAC;QAChE,aAAa,EAAE;YACb,+BAA+B;YAC/B,6BAA6B;YAC7B,qBAAqB;SACtB;QACD,oBAAoB,EAAE,2CAA2C;QACjE,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;QACnE,KAAK,EAAE,wDAAwD;KAChE;IAED,gEAAgE;IAEhE,oCAAoC;IACpC;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,gDAAgD;QAC9D,aAAa,EAAE,CAAC,4BAA4B,EAAE,gBAAgB,CAAC;QAC/D,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,CAAC,iBAAiB,CAAC;QACpC,aAAa,EAAE,CAAC,mBAAmB,CAAC;QACpC,OAAO,EAAE,CAAC,uBAAuB,CAAC;QAClC,oBAAoB,EAAE,CAAC,SAAS,EAAE,cAAc,CAAC;QACjD,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,CAAC,qBAAqB,EAAE,uBAAuB,CAAC;QAC/D,oBAAoB,EAAE,0BAA0B;QAChD,KAAK,EAAE,CAAC,uDAAuD,CAAC;QAChE,eAAe,EAAE,CAAC,uDAAuD,CAAC;KAC3E;IAED,0BAA0B;IAC1B;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,gDAAgD;QAC9D,aAAa,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,EAAE,yBAAyB,CAAC;QACvG,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,CAAC,qBAAqB,CAAC;QACxC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;QACzD,oBAAoB,EAAE,yBAAyB;QAC/C,KAAK,EAAE,CAAC,6CAA6C,CAAC;QACtD,eAAe,EAAE,CAAC,6CAA6C,CAAC;KACjE;IAED,8BAA8B;IAC9B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,oDAAoD;QAClE,aAAa,EAAE,CAAC,eAAe,EAAE,gCAAgC,CAAC;QAClE,cAAc,EAAE,qBAAqB;QACrC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,CAAC,iBAAiB,CAAC;QACpC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;QAC/C,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QAC1D,oBAAoB,EAAE,qCAAqC;QAC3D,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,CAAC,iDAAiD,CAAC;KACrE;IAED,uDAAuD;IAEvD,iBAAiB;IAEjB,4CAA4C;IAC5C,kCAAkC;IAClC;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,YAAY;QACrB,eAAe,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QACjE,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,mBAAmB,EAAE,0BAA0B,EAAE,uBAAuB,CAAC;QACnF,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,kBAAkB,EAAE,UAAU,EAAE,UAAU,CAAC;QAC3D,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,gDAAgD;IAChD,kCAAkC;IAClC;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,UAAU,EAAE,kBAAkB,EAAE,gBAAgB,CAAC;QACnE,aAAa,EAAE,CAAC,oBAAoB,CAAC;QACrC,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;QACjD,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC;QACjD,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,2CAA2C;IAC3C;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,yCAAyC;QACvD,aAAa,EAAE,CAAC,iBAAiB,EAAE,0BAA0B,EAAE,yBAAyB,CAAC;QACzF,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,gBAAgB,CAAC;QACnC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,yBAAyB,EAAE,mBAAmB,CAAC;QACzD,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,kBAAkB,EAAE,WAAW,CAAC;QAChD,oBAAoB,EAAE,kBAAkB;QACxC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,8CAA8C;IAC9C;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,4BAA4B,EAAE,2BAA2B,EAAE,sBAAsB,CAAC;QAClG,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;QACzD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;QACnE,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,2BAA2B,EAAE,SAAS,CAAC;QACvD,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,6CAA6C;IAC7C;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,6CAA6C;QAC3D,aAAa,EAAE,CAAC,2BAA2B,EAAE,0BAA0B,EAAE,yBAAyB,CAAC;QACnG,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,mBAAmB,EAAE,SAAS,CAAC;QACjD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;QAC5D,oBAAoB,EAAE,CAAC,SAAS,CAAC;QACjC,aAAa,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;QACtC,oBAAoB,EAAE,UAAU;QAChC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,2CAA2C;IAC3C;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,oBAAoB,EAAE,4BAA4B,EAAE,gCAAgC,CAAC;QACrG,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,WAAW;QACpB,eAAe,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC;QACjD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,uBAAuB,EAAE,6BAA6B,CAAC;QACjE,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC;QACxD,aAAa,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC;QACvC,oBAAoB,EAAE,SAAS;QAC/B,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,0CAA0C;IAC1C;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,0CAA0C;QACxD,aAAa,EAAE,CAAC,6BAA6B,EAAE,sCAAsC,EAAE,4BAA4B,CAAC;QACpH,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,UAAU;QACnB,eAAe,EAAE,CAAC,YAAY,EAAE,WAAW,CAAC;QAC5C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,sBAAsB,EAAE,4BAA4B,CAAC;QAC/D,oBAAoB,EAAE,CAAC,SAAS,CAAC;QACjC,aAAa,EAAE,CAAC,qBAAqB,EAAE,UAAU,CAAC;QAClD,oBAAoB,EAAE,UAAU;QAChC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,6BAA6B;IAC7B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,0BAA0B,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,2BAA2B,CAAC;QAC9H,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,cAAc;QACvB,eAAe,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC3D,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,0BAA0B,EAAE,4BAA4B,CAAC;QACnE,oBAAoB,EAAE,CAAC,SAAS,CAAC;QACjC,aAAa,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;QACnD,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,wCAAwC,CAAC;QACjD,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,iCAAiC;IACjC;QACE,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,wDAAwD;QACtE,aAAa,EAAE,CAAC,oCAAoC,EAAE,sCAAsC,EAAE,sCAAsC,CAAC;QACrI,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,6BAA6B;QACtC,eAAe,EAAE,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;QACtE,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,sCAAsC,EAAE,gCAAgC,CAAC;QACnF,oBAAoB,EAAE,CAAC,SAAS,EAAE,yBAAyB,CAAC;QAC5D,aAAa,EAAE,CAAC,mBAAmB,EAAE,aAAa,EAAE,SAAS,CAAC;QAC9D,oBAAoB,EAAE,gCAAgC;QACtD,KAAK,EAAE,CAAC,qDAAqD,CAAC;QAC9D,eAAe,EAAE,CAAC,8DAA8D,CAAC;KAClF;IAED,+BAA+B;IAC/B;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,kDAAkD;QAChE,aAAa,EAAE,CAAC,4BAA4B,CAAC;QAC7C,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,yBAAyB;QAClC,eAAe,EAAE,CAAC,SAAS,EAAE,sBAAsB,EAAE,iBAAiB,CAAC;QACvE,aAAa,EAAE,CAAC,+BAA+B,CAAC;QAChD,OAAO,EAAE,CAAC,6BAA6B,CAAC;QACxC,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,SAAS,CAAC;QACrD,aAAa,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,eAAe,CAAC;QAC3D,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,8CAA8C,CAAC;QACvD,eAAe,EAAE,CAAC,8CAA8C,CAAC;KAClE;IAED,+BAA+B;IAC/B;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,8CAA8C;QAC5D,aAAa,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,EAAE,4BAA4B,CAAC;QACrG,cAAc,EAAE,qBAAqB;QACrC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,2BAA2B;QACpC,eAAe,EAAE,CAAC,kCAAkC,EAAE,uBAAuB,CAAC;QAC9E,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,4BAA4B,EAAE,kCAAkC,CAAC;QAC3E,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC;QACjE,oBAAoB,EAAE,uCAAuC;QAC7D,KAAK,EAAE,CAAC,2CAA2C,CAAC;QACpD,eAAe,EAAE,CAAC,8DAA8D,CAAC;KAClF;IAED,4BAA4B;IAC5B;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,kDAAkD;QAChE,aAAa,EAAE,CAAC,6BAA6B,EAAE,gCAAgC,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,+BAA+B,EAAE,eAAe,EAAE,iBAAiB,CAAC;QAC7M,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,iBAAiB;QAC1B,eAAe,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,aAAa,EAAE,CAAC,cAAc,CAAC;QAC/B,OAAO,EAAE,CAAC,uBAAuB,EAAE,4BAA4B,EAAE,yBAAyB,CAAC;QAC3F,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;QACzD,aAAa,EAAE,CAAC,YAAY,EAAE,yBAAyB,EAAE,WAAW,CAAC;QACrE,oBAAoB,EAAE,mBAAmB;QACzC,KAAK,EAAE,CAAC,8CAA8C,CAAC;QACvD,eAAe,EAAE,CAAC,8CAA8C,CAAC;KAClE;IAED,iCAAiC;IACjC;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,cAAc;QACpB,YAAY,EAAE,oDAAoD;QAClE,aAAa,EAAE,CAAC,sBAAsB,EAAE,yBAAyB,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,4BAA4B,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,yBAAyB,EAAE,wBAAwB,CAAC;QACrV,cAAc,EAAE,gBAAgB;QAChC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,0BAA0B;QACnC,eAAe,EAAE,CAAC,YAAY,EAAE,mBAAmB,CAAC;QACpD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,uBAAuB,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;QAClF,oBAAoB,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC;QAC/F,aAAa,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,kBAAkB,CAAC;QAC9D,oBAAoB,EAAE,eAAe;QACrC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;CACF,CAAC"}

package/dist/verify/contracts/mechanism_contract_registry/index.d.ts

@@ -1,19 +0,0 @@
-/**
- * Mechanism Contract Registry — P0 自治理契约。
- *
- * 主管线上的每个 P0 机制都在此注册，包含精确的输入、输出、
- * 失败模式和测试锚点，以便 validateMechanismContracts() 强制执行结构不变量。
- *
- * 模块拆分：
- *   - types.ts              类型定义
- *   - contracts-pipeline.ts  核心管线机制契约
- *   - contracts-platform.ts  平台与扩展机制契约
- *   - contracts-governance.ts 治理与安全机制契约
- *   - contracts-audit.ts     审计与管线架构机制契约
- *   - validation.ts          查询函数与治理验证
- */
-export type { MechanismType, MechanismStatus, MechanismContract, MechanismGovernanceFinding, } from "./types.js";
-export { P0_MECHANISM_CONTRACTS } from "./validation.js";
-export { listMechanismContracts, findMechanismContractById, listMechanismContractsByStatus, } from "./validation.js";
-export { validateMechanismContracts } from "./validation.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/verify/contracts/mechanism_contract_registry/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,YAAY,EACV,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,0BAA0B,GAC3B,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAGzD,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC"}