soloforge 1.1.43 → 1.1.44

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_release.js

@@ -1,290 +0,0 @@
-/**
- * Mechanisms Release — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_CONTRACTS_RELEASE 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const MECHANISM_CONTRACTS_RELEASE = [
-    // ── 20. 现有系统分析 ──
-    {
-        mechanism_id: "mc-existing-system-analysis",
-        mechanism_name: "现有系统差距分析",
-        owner_issue_id: "问题五十",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/design/现有系统差距分析.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-            ],
-            injected_stages: ["*", "design"],
-            injected_workflows: ["existing_system_gap_analysis"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/existing_system_analysis.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["detectProjectContext", "checkAnalysisGate"],
-            state_effects: ["analysis_gate → allow/block coding"],
-            hard_fail_conditions: ["existing_system 未分析", "未知项目类型未 human gate"],
-            degradation_behavior: "未分析时阻断编码",
-        },
-        evidence_layer: {
-            outputs: ["ProjectContextDetection", "AnalysisGateResult"],
-            reports: ["ExistingSystemAnalysisReport"],
-            diagnostic_codes: ["analysis-not-done", "unknown-project-type"],
-            task_context_facts: ["analysis_gate_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["analysis_gate_checked"],
-            regression_cases: ["unanalyzed_blocks_coding", "unknown_type_requires_human"],
-            drift_checks: ["analysis_matches_coding_readiness"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 21. 编码准备门 ──
-    {
-        mechanism_id: "mc-coding-readiness",
-        mechanism_name: "编码准备门",
-        owner_issue_id: "问题五十一",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/build/测试优先编码.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-            ],
-            injected_stages: ["build"],
-            injected_workflows: ["test_first_coding", "code_change"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/contracts/coding_readiness_gate.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["evaluateCodingReadiness", "createTestFirstPlan"],
-            state_effects: ["coding_readiness → allow/block implementation"],
-            hard_fail_conditions: ["缺少验证计划", "编码不是第一步但无准备"],
-            degradation_behavior: "编码准备不足时阻断实现",
-        },
-        evidence_layer: {
-            outputs: ["CodingReadinessContract", "CodingReadinessEvaluation"],
-            reports: ["CodingReadinessReport"],
-            diagnostic_codes: ["no-verification-plan", "coding-first-without-prep"],
-            task_context_facts: ["coding_readiness_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["verification_plan_present"],
-            regression_cases: ["no_plan_blocks_coding", "test_first_required"],
-            drift_checks: ["readiness_matches_code_change"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 22. 本地浏览器验收 ──
-    {
-        mechanism_id: "mc-local-acceptance",
-        mechanism_name: "本地浏览器验收",
-        owner_issue_id: "问题五十二",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/verify/本地浏览器验收.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-            ],
-            injected_stages: ["verify", "*"],
-            injected_workflows: ["local_browser_acceptance"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/local_docker_acceptance.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["validateFinalAccess", "performBrowserAcceptance"],
-            state_effects: ["final_access → allow/block delivery"],
-            hard_fail_conditions: ["无本地 URL", "有可运行服务但只停在单测"],
-            degradation_behavior: "无本地 URL 时阻断交付",
-        },
-        evidence_layer: {
-            outputs: ["LocalDockerAcceptanceContract", "FinalAccessValidation"],
-            reports: ["LocalAcceptanceReport"],
-            diagnostic_codes: ["no-local-url", "unit-test-only"],
-            task_context_facts: ["acceptance_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["final_urls_provided"],
-            regression_cases: ["no_url_blocks_delivery", "docker_priority"],
-            drift_checks: ["acceptance_matches_delivery"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 23. 演进回归门控 ──
-    {
-        mechanism_id: "mc-evolution-regression",
-        mechanism_name: "演进回归门控",
-        owner_issue_id: "问题五十四",
-        priority: "P2",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/演进回归门控.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["*"],
-            injected_workflows: [],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: false,
-            enforcers: [],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: [],
-            state_effects: ["evolution_gate → allow/block new issue"],
-            hard_fail_conditions: ["重复问题未检测", "pending 状态通过"],
-            degradation_behavior: "演进门控不通过时阻断",
-        },
-        evidence_layer: {
-            outputs: ["EvolutionGateResult", "DuplicateCheckResult"],
-            reports: ["EvolutionRegressionReport"],
-            diagnostic_codes: ["duplicate-issue", "pending-gate"],
-            task_context_facts: ["evolution_gate_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["evolution_gate_checked"],
-            regression_cases: ["pending_blocks", "duplicate_detected"],
-            drift_checks: ["evolution_gate_matches_issues"],
-        },
-        status: "deprecated",
-    },
-    // ── 机制 ──
-    // ── plan_proposal_gate (问题五十五) ──
-    {
-        mechanism_id: "mc-plan-proposal-gate",
-        mechanism_name: "Plan / Proposal First Gate",
-        owner_issue_id: "问题五十五",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/计划前置门.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["build", "*", "*", "verify"],
-            injected_workflows: ["all"],
-            target_hosts: ["claude_code", "codex", "trae"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/plan_proposal_gate.ts"],
-            registries: ["mechanism_contract_registry", "contract_registry"],
-            entrypoints: ["evaluatePlanProposalGate", "requirePlanBeforeAction", "validateActionWithinPlan"],
-            state_effects: ["plan_gate_status → passed/blocked/manual_required"],
-            hard_fail_conditions: ["缺计划写入", "高风险无确认", "计划外动作", "review被升级为执行"],
-            degradation_behavior: "Plan Gate 未通过时阻断所有写入动作",
-        },
-        evidence_layer: {
-            outputs: ["PlanProposalGateResult", "PlanProposalEvidence", "UserConfirmationRef", "VerificationPlanRef"],
-            reports: ["PlanProposalGateEvaluation"],
-            diagnostic_codes: ["SF-PLAN-5001", "SF-PLAN-5002", "SF-PLAN-5003", "SF-PLAN-5010"],
-            task_context_facts: ["plan_proposal_gate", "plan_proposal_evidence", "user_confirmation_ref", "verification_plan_ref"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-            runtime_checks: ["plan_gate_evaluated_before_write", "confirmation_required_for_high_risk"],
-            regression_cases: ["code_change_no_plan_blocked", "high_risk_no_confirmation_blocked", "scope_expand_requires_reconfirm"],
-            drift_checks: ["plan_gate_status_matches_actual"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── core_experience_principle (问题五十六) ──
-    {
-        mechanism_id: "mc-core-experience-principle",
-        mechanism_name: "Core Experience Principle",
-        owner_issue_id: "问题五十六",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/核心体验原则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["all"],
-            injected_workflows: ["all"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/core_experience_principle.ts"],
-            registries: ["mechanism_contract_registry", "contract_registry"],
-            entrypoints: ["evaluateCoreExperiencePrinciple", "evaluateNoFalseCompletion", "evaluateMechanismFriction"],
-            state_effects: ["evaluation → passed/blocked/manual_required"],
-            hard_fail_conditions: ["机制未接主线", "用户路径过长", "硬规则降级为warning", "假完成"],
-            degradation_behavior: "体验原则违反时阻断 Release Gate",
-        },
-        evidence_layer: {
-            outputs: ["CoreExperiencePrincipleEvaluation", "UserPathFrictionReport", "RepairOrManualRequiredDecision"],
-            reports: ["CoreExperiencePrincipleReport"],
-            diagnostic_codes: ["SF-EXP-5601", "SF-EXP-5602", "SF-EXP-5603", "SF-EXP-5605", "SF-EXP-5607"],
-            task_context_facts: ["core_experience_evaluation"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
-            runtime_checks: ["all_new_mechanisms_evaluated", "no_fake_completion"],
-            regression_cases: ["false_completion_blocked", "hard_fail_downgrade_blocked", "heavy_process_on_low_risk_blocked"],
-            drift_checks: ["core_experience_vs_new_mechanisms"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 31. 意图扩展 ──
-    {
-        mechanism_id: "mc-intent-expander",
-        mechanism_name: "意图扩展",
-        owner_issue_id: "问题三",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/design/任务拆解.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-            ],
-            injected_stages: ["build", "*", "design", "design"],
-            injected_workflows: ["code_change", "planning"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/privacy_gates.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["runPrivacyGate"],
-            state_effects: ["expansion → prompt/scope/acceptance_criteria", "matched_knowledge → template_injection"],
-            hard_fail_conditions: ["expansion 无 stage 上下文", "required 模板缺失且未报错"],
-            degradation_behavior: "confidence < 阈值时返回 clarification prompt 而非执行指令",
-        },
-        evidence_layer: {
-            outputs: ["ExpandResult", "prompt", "scope", "acceptance_criteria"],
-            reports: ["ExpansionReport"],
-            diagnostic_codes: ["expansion-low-confidence", "expansion-missing-required-template"],
-            task_context_facts: ["expansion", "prompt"],
-        },
-        verification_layer: {
-            tests: ["tests/core/scope_checker.test.ts"],
-            runtime_checks: ["expansion_requires_stage_context"],
-            regression_cases: ["source_extraction_no_code_modification", "read_only_no_modification"],
-            drift_checks: [],
-        },
-        status: "dual_layer_enforced",
-    },
-];
-//# sourceMappingURL=mechanisms_release.js.map

package/dist/verify/contracts/dual_layer_mechanism_registry/mechanisms_release.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_release.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_release.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,2BAA2B,GAAiC;IACvE,mBAAmB;IACnB;QACE,YAAY,EAAE,6BAA6B;QAC3C,cAAc,EAAE,UAAU;QAC1B,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,8BAA8B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACzG;YACD,eAAe,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC;YAChC,kBAAkB,EAAE,CAAC,8BAA8B,CAAC;YACpD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,kDAAkD,CAAC;YAC/D,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,CAAC;YAC1D,aAAa,EAAE,CAAC,oCAAoC,CAAC;YACrD,oBAAoB,EAAE,CAAC,qBAAqB,EAAE,oBAAoB,CAAC;YACnE,oBAAoB,EAAE,UAAU;SACjC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,yBAAyB,EAAE,oBAAoB,CAAC;YAC1D,OAAO,EAAE,CAAC,8BAA8B,CAAC;YACzC,gBAAgB,EAAE,CAAC,mBAAmB,EAAE,sBAAsB,CAAC;YAC/D,kBAAkB,EAAE,CAAC,sBAAsB,CAAC;SAC7C;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,uBAAuB,CAAC;YACzC,gBAAgB,EAAE,CAAC,0BAA0B,EAAE,6BAA6B,CAAC;YAC7E,YAAY,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,kBAAkB;IAClB;QACE,YAAY,EAAE,qBAAqB;QACnC,cAAc,EAAE,OAAO;QACvB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACtG;YACD,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,mBAAmB,EAAE,aAAa,CAAC;YACxD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,6CAA6C,CAAC;YAC1D,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,yBAAyB,EAAE,qBAAqB,CAAC;YAC/D,aAAa,EAAE,CAAC,+CAA+C,CAAC;YAChE,oBAAoB,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC;YAC/C,oBAAoB,EAAE,aAAa;SACpC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,yBAAyB,EAAE,2BAA2B,CAAC;YACjE,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,gBAAgB,EAAE,CAAC,sBAAsB,EAAE,2BAA2B,CAAC;YACvE,kBAAkB,EAAE,CAAC,yBAAyB,CAAC;SAChD;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,2BAA2B,CAAC;YAC7C,gBAAgB,EAAE,CAAC,uBAAuB,EAAE,qBAAqB,CAAC;YAClE,YAAY,EAAE,CAAC,+BAA+B,CAAC;SAChD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,oBAAoB;IACpB;QACE,YAAY,EAAE,qBAAqB;QACnC,cAAc,EAAE,SAAS;QACzB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,6BAA6B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACxG;YACD,eAAe,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC;YAChC,kBAAkB,EAAE,CAAC,0BAA0B,CAAC;YAChD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,iDAAiD,CAAC;YAC9D,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,CAAC;YAChE,aAAa,EAAE,CAAC,qCAAqC,CAAC;YACtD,oBAAoB,EAAE,CAAC,SAAS,EAAE,cAAc,CAAC;YACjD,oBAAoB,EAAE,eAAe;SACtC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,+BAA+B,EAAE,uBAAuB,CAAC;YACnE,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,gBAAgB,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;YACpD,kBAAkB,EAAE,CAAC,mBAAmB,CAAC;SAC1C;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,qBAAqB,CAAC;YACvC,gBAAgB,EAAE,CAAC,wBAAwB,EAAE,iBAAiB,CAAC;YAC/D,YAAY,EAAE,CAAC,6BAA6B,CAAC;SAC9C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,mBAAmB;IACnB;QACE,YAAY,EAAE,yBAAyB;QACvC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACnG;YACD,eAAe,EAAE,CAAC,GAAG,CAAC;YACtB,kBAAkB,EAAE,EAAE;YACtB,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,CAAC,wCAAwC,CAAC;YACzD,oBAAoB,EAAE,CAAC,SAAS,EAAE,cAAc,CAAC;YACjD,oBAAoB,EAAE,YAAY;SACnC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,qBAAqB,EAAE,sBAAsB,CAAC;YACxD,OAAO,EAAE,CAAC,2BAA2B,CAAC;YACtC,gBAAgB,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;YACrD,kBAAkB,EAAE,CAAC,uBAAuB,CAAC;SAC9C;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,wBAAwB,CAAC;YAC1C,gBAAgB,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;YAC1D,YAAY,EAAE,CAAC,+BAA+B,CAAC;SAChD;QACD,MAAM,EAAE,YAAY;KACrB;IACD,WAAW;IACX,mCAAmC;IACnC;QACE,YAAY,EAAE,uBAAuB;QACrC,cAAc,EAAE,4BAA4B;QAC5C,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aAClG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC;YAC9C,kBAAkB,EAAE,CAAC,KAAK,CAAC;YAC3B,YAAY,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC;YAC9C,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,gCAAgC,CAAC;YAC7C,UAAU,EAAE,CAAC,6BAA6B,EAAE,mBAAmB,CAAC;YAChE,WAAW,EAAE,CAAC,0BAA0B,EAAE,yBAAyB,EAAE,0BAA0B,CAAC;YAChG,aAAa,EAAE,CAAC,mDAAmD,CAAC;YACpE,oBAAoB,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,CAAC;YAClE,oBAAoB,EAAE,wBAAwB;SAC/C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;YACzG,OAAO,EAAE,CAAC,4BAA4B,CAAC;YACvC,gBAAgB,EAAE,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,CAAC;YAClF,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,uBAAuB,CAAC;SACvH;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,mDAAmD,CAAC;YAC5D,cAAc,EAAE,CAAC,kCAAkC,EAAE,qCAAqC,CAAC;YAC3F,gBAAgB,EAAE,CAAC,6BAA6B,EAAE,mCAAmC,EAAE,iCAAiC,CAAC;YACzH,YAAY,EAAE,CAAC,iCAAiC,CAAC;SAClD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IACD,0CAA0C;IAC1C;QACE,YAAY,EAAE,8BAA8B;QAC5C,cAAc,EAAE,2BAA2B;QAC3C,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACnG;YACD,eAAe,EAAE,CAAC,KAAK,CAAC;YACxB,kBAAkB,EAAE,CAAC,KAAK,CAAC;YAC3B,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,+CAA+C,CAAC;YAC5D,UAAU,EAAE,CAAC,6BAA6B,EAAE,mBAAmB,CAAC;YAChE,WAAW,EAAE,CAAC,iCAAiC,EAAE,2BAA2B,EAAE,2BAA2B,CAAC;YAC1G,aAAa,EAAE,CAAC,6CAA6C,CAAC;YAC9D,oBAAoB,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,CAAC;YAClE,oBAAoB,EAAE,wBAAwB;SAC/C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,EAAE,gCAAgC,CAAC;YAC1G,OAAO,EAAE,CAAC,+BAA+B,CAAC;YAC1C,gBAAgB,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,CAAC;YAC7F,kBAAkB,EAAE,CAAC,4BAA4B,CAAC;SACnD;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,mDAAmD,CAAC;YAC5D,cAAc,EAAE,CAAC,8BAA8B,EAAE,oBAAoB,CAAC;YACtE,gBAAgB,EAAE,CAAC,0BAA0B,EAAE,6BAA6B,EAAE,mCAAmC,CAAC;YAClH,YAAY,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IACD,iBAAiB;IACjB;QACE,YAAY,EAAE,oBAAoB;QAClC,cAAc,EAAE,MAAM;QACtB,cAAc,EAAE,KAAK;QACrB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACrG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC;YACnD,kBAAkB,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC;YAC/C,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,2BAA2B,CAAC;YACxC,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,gBAAgB,CAAC;YAC/B,aAAa,EAAE,CAAC,8CAA8C,EAAE,wCAAwC,CAAC;YACzG,oBAAoB,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,CAAC;YACpE,oBAAoB,EAAE,gDAAgD;SACvE;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,CAAC;YACnE,OAAO,EAAE,CAAC,iBAAiB,CAAC;YAC5B,gBAAgB,EAAE,CAAC,0BAA0B,EAAE,qCAAqC,CAAC;YACrF,kBAAkB,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;SAC5C;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,kCAAkC,CAAC;YAC3C,cAAc,EAAE,CAAC,kCAAkC,CAAC;YACpD,gBAAgB,EAAE,CAAC,wCAAwC,EAAE,2BAA2B,CAAC;YACzF,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,qBAAqB;KAC9B;CACF,CAAC"}

package/dist/verify/contracts/dual_layer_mechanism_registry/shared.d.ts

@@ -1,18 +0,0 @@
-/**
- * Shared — 契约层模块。
- *
- * 职责边界：
- * - 负责：KNOWN_REGISTRIES 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-import type { MechanismLayerMap, DualLayerMechanismContract } from "../../../types/index.js";
-export declare const KNOWN_REGISTRIES: Set<string>;
-export declare function contractToLayerMap(c: DualLayerMechanismContract): MechanismLayerMap;
-export declare const INFRASTRUCTURE_EXCEPTIONS: Set<string>;
-//# sourceMappingURL=shared.d.ts.map

package/dist/verify/contracts/dual_layer_mechanism_registry/shared.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/shared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,0BAA0B,EAC3B,MAAM,yBAAyB,CAAC;AAIjC,eAAO,MAAM,gBAAgB,aAkB3B,CAAC;AAIH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,0BAA0B,GAAG,iBAAiB,CA6BnF;AAID,eAAO,MAAM,yBAAyB,aAIpC,CAAC"}

package/dist/verify/contracts/dual_layer_mechanism_registry/shared.js

@@ -1,71 +0,0 @@
-/**
- * Shared — 契约层模块。
- *
- * 职责边界：
- * - 负责：KNOWN_REGISTRIES 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-// ── 已知注册表名称 ──
-export const KNOWN_REGISTRIES = new Set([
-    "mechanism_contract_registry",
-    "workflow_contract_registry",
-    "tool_invocation_contract_registry",
-    "consumable_asset_registry",
-    "capability_registry",
-    "artifact_contract_registry",
-    "input_material_contract_registry",
-    "main_path_integration_contract",
-    "command_execution_contract",
-    // config_precedence_contract 已移除（三层配置冲突检测替代优先级契约）
-    "privacy_secret_contract",
-    "user_feedback_contract",
-    "decision_contract",
-    "dual_layer_mechanism_registry",
-    "contract_registry",
-    "derived_registry",
-    "probe_registry",
-]);
-// ── 契约到 LayerMap 的转换 ──
-export function contractToLayerMap(c) {
-    return {
-        mechanism_id: c.mechanism_id,
-        mechanism_name: c.mechanism_name,
-        owner_issue_id: c.owner_issue_id,
-        priority: c.priority,
-        template_assets: c.template_layer.assets,
-        template_consumers: c.template_layer.injected_stages,
-        code_enforcers: c.enforcement_layer.enforcers,
-        code_entrypoints: c.enforcement_layer.entrypoints,
-        registries: c.enforcement_layer.registries,
-        evidence_outputs: c.evidence_layer.outputs,
-        diagnostics: c.evidence_layer.diagnostic_codes,
-        tests: c.verification_layer.tests,
-        status: c.status,
-        layer_status: c.status,
-        injected_stages: c.template_layer.injected_stages,
-        injected_workflows: c.template_layer.injected_workflows,
-        target_hosts: c.template_layer.target_hosts,
-        language_policy: c.template_layer.language_policy,
-        state_effects: c.enforcement_layer.state_effects,
-        hard_fail_conditions: c.enforcement_layer.hard_fail_conditions,
-        degradation_behavior: c.enforcement_layer.degradation_behavior,
-        reports: c.evidence_layer.reports,
-        task_context_facts: c.evidence_layer.task_context_facts,
-        runtime_checks: c.verification_layer.runtime_checks,
-        regression_cases: c.verification_layer.regression_cases,
-        drift_checks: c.verification_layer.drift_checks,
-    };
-}
-// ── 基础设施文件豁免（这些是注册表本身，不在其他注册表中追踪） ──
-export const INFRASTRUCTURE_EXCEPTIONS = new Set([
-    "src/verify/contracts/dual_layer_mechanism_registry/index.ts",
-    "src/verify/contracts/mechanism_contract_registry/index.ts",
-    "src/domain/asset_registry/consumable_asset_registry/registry.ts",
-]);
-//# sourceMappingURL=shared.js.map

package/dist/verify/contracts/dual_layer_mechanism_registry/shared.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/shared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,gBAAgB;AAEhB,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IACtC,6BAA6B;IAC7B,4BAA4B;IAC5B,mCAAmC;IACnC,2BAA2B;IAC3B,qBAAqB;IACrB,4BAA4B;IAC5B,kCAAkC;IAClC,gCAAgC;IAChC,4BAA4B;IAC5B,kDAAkD;IAClD,yBAAyB;IACzB,wBAAwB;IACxB,mBAAmB;IACnB,+BAA+B;IAC/B,mBAAmB;IACnB,kBAAkB;IAClB,gBAAgB;CACjB,CAAC,CAAC;AAEH,yBAAyB;AAEzB,MAAM,UAAU,kBAAkB,CAAC,CAA6B;IAC9D,OAAO;QACL,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,MAAM;QACxC,kBAAkB,EAAE,CAAC,CAAC,cAAc,CAAC,eAAe;QACpD,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC,SAAS;QAC7C,gBAAgB,EAAE,CAAC,CAAC,iBAAiB,CAAC,WAAW;QACjD,UAAU,EAAE,CAAC,CAAC,iBAAiB,CAAC,UAAU;QAC1C,gBAAgB,EAAE,CAAC,CAAC,cAAc,CAAC,OAAO;QAC1C,WAAW,EAAE,CAAC,CAAC,cAAc,CAAC,gBAAgB;QAC9C,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,KAAK;QACjC,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,YAAY,EAAE,CAAC,CAAC,MAAM;QACtB,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,eAAe;QACjD,kBAAkB,EAAE,CAAC,CAAC,cAAc,CAAC,kBAAkB;QACvD,YAAY,EAAE,CAAC,CAAC,cAAc,CAAC,YAAY;QAC3C,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,eAAe;QACjD,aAAa,EAAE,CAAC,CAAC,iBAAiB,CAAC,aAAa;QAChD,oBAAoB,EAAE,CAAC,CAAC,iBAAiB,CAAC,oBAAoB;QAC9D,oBAAoB,EAAE,CAAC,CAAC,iBAAiB,CAAC,oBAAoB;QAC9D,OAAO,EAAE,CAAC,CAAC,cAAc,CAAC,OAAO;QACjC,kBAAkB,EAAE,CAAC,CAAC,cAAc,CAAC,kBAAkB;QACvD,cAAc,EAAE,CAAC,CAAC,kBAAkB,CAAC,cAAc;QACnD,gBAAgB,EAAE,CAAC,CAAC,kBAAkB,CAAC,gBAAgB;QACvD,YAAY,EAAE,CAAC,CAAC,kBAAkB,CAAC,YAAY;KAChD,CAAC;AACJ,CAAC;AAED,sCAAsC;AAEtC,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IAC/C,6DAA6D;IAC7D,2DAA2D;IAC3D,iEAAiE;CAClE,CAAC,CAAC"}

package/dist/verify/contracts/dual_layer_mechanism_registry/validation.d.ts

@@ -1,66 +0,0 @@
-/**
- * Validation — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_ALIASES 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：node:fs、node:path、index、workflow_contract_registry、capability_registry、shared
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：读写本地文件（详见代码内路径）
- */
-import type { MechanismLayerMap, DualLayerGovernanceFinding } from "../../../types/index.js";
-export declare function getAllWorkflowMechanismIds(): Set<string>;
-export declare const MECHANISM_ALIASES: Record<string, string>;
-/**
- * 列出所有机制的层级映射。
- * @returns 机制层级映射列表
- */
-export declare function listMechanismLayerMaps(): MechanismLayerMap[];
-/**
- * 根据机制 ID 查找层级映射。
- * @param id - 机制 ID
- * @returns 机制层级映射，未找到时返回 undefined
- */
-export declare function findLayerMapByMechanismId(id: string): MechanismLayerMap | undefined;
-/**
- * 按优先级列出机制层级映射。
- * @param priority - 优先级（P0/P1/P2/P3）
- * @returns 指定优先级的机制层级映射列表
- * @deprecated 无运行时消费者，保留备用
- */
-/**
- * 按状态列出机制层级映射。
- * @param status - 双层机制状态
- * @returns 指定状态的机制层级映射列表
- * @deprecated 无运行时消费者，保留备用
- */
-export interface DualLayerCompleteness {
-    mechanism_id: string;
-    has_template_layer: boolean;
-    has_code_layer: boolean;
-    has_evidence: boolean;
-    has_tests: boolean;
-    has_registries: boolean;
-    is_complete: boolean;
-    missing: string[];
-}
-/**
- * 检查机制的双层完整性。
- * 验证模板层、代码层、证据、测试和注册表是否齐全，并检查文件是否实际存在于磁盘。
- * @param map - 机制层级映射
- * @param rootDir - 项目根目录，用于文件存在性检查（默认当前目录）
- * @returns 双层完整性检查结果
- */
-export declare function checkDualLayerCompleteness(map: MechanismLayerMap, rootDir?: string): DualLayerCompleteness;
-/**
- * 验证机制层级映射的合规性。
- * 检查 ID 唯一性、模板/代码缺口、文件存在性、入口点等。
- * @param maps - 机制层级映射列表（默认使用所有契约）
- * @param rootDir - 项目根目录（默认当前目录）
- * @returns 治理发现列表
- */
-export declare function validateMechanismLayerMaps(maps?: MechanismLayerMap[], rootDir?: string, _options?: Record<string, unknown>): DualLayerGovernanceFinding[];
-//# sourceMappingURL=validation.d.ts.map

package/dist/verify/contracts/dual_layer_mechanism_registry/validation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EACV,iBAAiB,EAEjB,0BAA0B,EAC3B,MAAM,yBAAyB,CAAC;AAUjC,wBAAgB,0BAA0B,IAAI,GAAG,CAAC,MAAM,CAAC,CAExD;AAgDD,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CASpD,CAAC;AAIF;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEnF;AAED;;;;;GAKG;AAEH;;;;;GAKG;AAIH,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,iBAAiB,EACtB,OAAO,GAAE,MAAsB,GAC9B,qBAAqB,CAwCvB;AAID;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,GAAE,iBAAiB,EAAgD,EACvE,OAAO,GAAE,MAAsB,EAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,0BAA0B,EAAE,CAwP9B"}