soloforge 1.1.43 → 1.1.45

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

@@ -1,423 +0,0 @@
-/**
- * Mechanisms Audit — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_CONTRACTS_AUDIT 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const MECHANISM_CONTRACTS_AUDIT = [
-    // ── 代码审查 ──
-    {
-        mechanism_id: "mc-code-review",
-        mechanism_name: "verify",
-        owner_issue_id: "审计补注册",
-        priority: "P1",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build"],
-            injected_workflows: ["verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/code_reviewer.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["reviewCode"],
-            state_effects: ["review_result → advisory"],
-            hard_fail_conditions: [],
-            degradation_behavior: "代码审查结果为纯信息性，不阻断",
-        },
-        evidence_layer: {
-            outputs: ["CodeReviewResult"],
-            reports: ["CodeReviewReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/code_reviewer.test.ts"],
-            runtime_checks: ["code_review_run_before_delivery"],
-            regression_cases: ["review_finding_recorded"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 设计生命周期契约 ──
-    {
-        mechanism_id: "mc-design-lifecycle",
-        mechanism_name: "设计生命周期契约",
-        owner_issue_id: "审计补注册",
-        priority: "P0",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build", "*"],
-            injected_workflows: ["pipeline"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/domain/contracts/design_lifecycle_contract.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["listDesignLifecycleStageContracts", "validateDesignLifecycleContract"],
-            state_effects: ["validation.ts → lifecycle validation"],
-            hard_fail_conditions: ["阶段产物不完整", "跳过阶段"],
-            degradation_behavior: "阶段产物缺失时报告为 finding",
-        },
-        evidence_layer: {
-            outputs: ["DesignLifecycleStageContract", "DesignLifecycleContractFinding"],
-            reports: ["DesignLifecycleReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/design_lifecycle_contract.test.ts"],
-            runtime_checks: ["lifecycle_stages_covered"],
-            regression_cases: ["all_stages_have_contracts"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── API 契约守卫 ──
-    {
-        mechanism_id: "mc-api-contract-guard",
-        mechanism_name: "API 契约守卫",
-        owner_issue_id: "审计补注册",
-        priority: "P1",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build"],
-            injected_workflows: ["verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/contracts/contract_guard.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["checkContractChanges"],
-            state_effects: ["contract_guard_result → allow/advisory"],
-            hard_fail_conditions: ["契约破坏性变更"],
-            degradation_behavior: "守卫检查不可用时降级为 advisory",
-        },
-        evidence_layer: {
-            outputs: ["ContractGuardResult"],
-            reports: ["ContractGuardReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/contract_guard.test.ts"],
-            runtime_checks: ["contract_breaking_change_detected"],
-            regression_cases: ["breaking_change_caught"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── Diff 所有权追踪 ──
-    {
-        mechanism_id: "mc-diff-ownership",
-        mechanism_name: "Diff 所有权追踪",
-        owner_issue_id: "审计补注册",
-        priority: "P0",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build"],
-            injected_workflows: ["code_change", "verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/diff_ownership.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["captureBaseline", "casCheck", "recordTaskWrite", "summarizeOwnership"],
-            state_effects: ["ownership_snapshot → conflict detection"],
-            hard_fail_conditions: [],
-            degradation_behavior: "CAS 校验失败时仅 advisory",
-        },
-        evidence_layer: {
-            outputs: ["OwnershipSnapshot", "CasCheckResult", "OwnershipSummary"],
-            reports: ["DiffOwnershipReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/diff_ownership.test.ts"],
-            runtime_checks: ["ownership_tracked"],
-            regression_cases: ["cas_mismatch_detected"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── LLM 网关 ──
-    {
-        mechanism_id: "mc-llm-gateway",
-        mechanism_name: "LLM 网关",
-        owner_issue_id: "审计补注册",
-        priority: "P1",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build", "*"],
-            injected_workflows: ["code_change", "planning"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/shared/llm_gateway.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["LLMGateway"],
-            state_effects: ["budget_status → circuit_breaker"],
-            hard_fail_conditions: ["预算超限"],
-            degradation_behavior: "断路器触发后阻断调用，需手动 reset",
-        },
-        evidence_layer: {
-            outputs: ["LLMGatewayResult", "budget_status"],
-            reports: ["LLMGatewayReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/llm_gateway.test.ts"],
-            runtime_checks: ["budget_tracked"],
-            regression_cases: ["circuit_breaker_triggers"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 模板机制审计 ──
-    {
-        mechanism_id: "mc-template-mechanism-audit",
-        mechanism_name: "模板机制审计",
-        owner_issue_id: "审计补注册",
-        priority: "P2",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["*"],
-            injected_workflows: ["validate-mechanisms", "validate-release"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/context/templates/template_mechanism_auditor.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["auditTemplateMechanisms", "isInjectionAllowed"],
-            state_effects: ["audit_report → finding"],
-            hard_fail_conditions: ["模板与机制不匹配"],
-            degradation_behavior: "审计失败时报告 finding",
-        },
-        evidence_layer: {
-            outputs: ["TemplateMechanismAuditReport"],
-            reports: ["TemplateAuditReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/foundation_dual_layer.test.ts"],
-            runtime_checks: ["template_mechanism_consistency"],
-            regression_cases: ["template_mechanism_mismatch_detected"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 范围控制器 ──
-    {
-        mechanism_id: "mc-scope-control",
-        mechanism_name: "范围控制器",
-        owner_issue_id: "审计补注册",
-        priority: "P0",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build"],
-            injected_workflows: ["code_change", "verification"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/scope_controller.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["checkScope"],
-            state_effects: ["scope_check → allowed/blocked"],
-            hard_fail_conditions: ["scope 边界绕过"],
-            degradation_behavior: "scope 检查不可用时保守阻断",
-        },
-        evidence_layer: {
-            outputs: ["ScopeCheckResult"],
-            reports: ["ScopeControlReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/scope_controller.test.ts"],
-            runtime_checks: ["scope_boundary_enforced"],
-            regression_cases: ["out_of_scope_blocked"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 运行时安全 ──
-    {
-        mechanism_id: "mc-runtime-safety",
-        mechanism_name: "运行时安全",
-        owner_issue_id: "审计补注册",
-        priority: "P0",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build"],
-            injected_workflows: ["verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/runtime_safety.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["buildEvidenceChain", "verifyEvidenceChain", "classifyCommand", "checkMigrationContract", "checkSupplyChain"],
-            state_effects: ["command_classification → safety tier", "evidence_chain → integrity"],
-            hard_fail_conditions: [],
-            degradation_behavior: "安全检查不可用时保守阻断",
-        },
-        evidence_layer: {
-            outputs: ["ClassifiedCommand", "EvidenceBlock", "MigrationCheckResult", "SupplyChainCheckResult"],
-            reports: ["RuntimeSafetyReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/runtime_safety.test.ts"],
-            runtime_checks: ["evidence_chain_integrity"],
-            regression_cases: ["destructive_command_classified"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 诊断码契约 ──
-    {
-        mechanism_id: "mc-diagnostic-code-contract",
-        mechanism_name: "诊断码契约",
-        owner_issue_id: "审计补注册",
-        priority: "P2",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["*"],
-            injected_workflows: ["all"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/shared/diagnostic_registry.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["registerDiagnostic", "getDiagnosticByCode", "listAllDiagnostics", "validateDiagnosticCoverage"],
-            state_effects: ["diagnostic_registry → coverage_report"],
-            hard_fail_conditions: ["诊断码重复"],
-            degradation_behavior: "注册失败时返回错误信息",
-        },
-        evidence_layer: {
-            outputs: ["DiagnosticCodeEntry", "DiagnosticCoverageReport"],
-            reports: ["DiagnosticCoverageReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/verification_scenario_matrix.test.ts"],
-            runtime_checks: ["diagnostic_coverage_complete"],
-            regression_cases: ["duplicate_code_rejected"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 契约状态存储 ──
-    {
-        mechanism_id: "mc-contract-state-lifecycle",
-        mechanism_name: "契约状态存储",
-        owner_issue_id: "审计补注册",
-        priority: "P2",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["*"],
-            injected_workflows: ["all"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: [],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: [],
-            state_effects: ["contract_state → lifecycle"],
-            hard_fail_conditions: ["无效状态转换"],
-            degradation_behavior: "状态存储不可用时降级为内存模式",
-        },
-        evidence_layer: {
-            outputs: ["ContractState"],
-            reports: ["ContractStateReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/contract_registry.test.ts"],
-            runtime_checks: ["contract_state_valid"],
-            regression_cases: ["invalid_transition_rejected"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 技术债务追踪 ──
-    {
-        mechanism_id: "mc-tech-debt-lifecycle",
-        mechanism_name: "技术债务追踪",
-        owner_issue_id: "审计补注册",
-        priority: "P2",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["*"],
-            injected_workflows: ["validate-release"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/debt_tracker.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["DebtTracker"],
-            state_effects: ["debt_report → threshold_check"],
-            hard_fail_conditions: ["债务阈值溢出"],
-            degradation_behavior: "债务追踪不可用时降级为 advisory",
-        },
-        evidence_layer: {
-            outputs: ["DebtReport", "DebtThresholdResult"],
-            reports: ["DebtTrackerReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/audit/debt_tracker.test.ts"],
-            runtime_checks: ["debt_threshold_tracked"],
-            regression_cases: ["threshold_overflow_detected"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-];
-//# sourceMappingURL=mechanisms_audit.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_audit.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,yBAAyB,GAAiC;IACrE,aAAa;IACb;QACE,YAAY,EAAE,gBAAgB;QAC9B,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YAChD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,mCAAmC,CAAC;YAChD,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,YAAY,CAAC;YAC3B,aAAa,EAAE,CAAC,0BAA0B,CAAC;YAC3C,oBAAoB,EAAE,EAAE;YACxB,oBAAoB,EAAE,iBAAiB;SACxC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,kBAAkB,CAAC;YAC7B,OAAO,EAAE,CAAC,kBAAkB,CAAC;YAC7B,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,yCAAyC,CAAC;YAClD,cAAc,EAAE,CAAC,iCAAiC,CAAC;YACnD,gBAAgB,EAAE,CAAC,yBAAyB,CAAC;YAC7C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,iBAAiB;IACjB;QACE,YAAY,EAAE,qBAAqB;QACnC,cAAc,EAAE,UAAU;QAC1B,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC;YAC/B,kBAAkB,EAAE,CAAC,UAAU,CAAC;YAChC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,mDAAmD,CAAC;YAChE,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,mCAAmC,EAAE,iCAAiC,CAAC;YACrF,aAAa,EAAE,CAAC,sCAAsC,CAAC;YACvD,oBAAoB,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;YACzC,oBAAoB,EAAE,oBAAoB;SAC3C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,8BAA8B,EAAE,gCAAgC,CAAC;YAC3E,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,qDAAqD,CAAC;YAC9D,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,gBAAgB,EAAE,CAAC,2BAA2B,CAAC;YAC/C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,iBAAiB;IACjB;QACE,YAAY,EAAE,uBAAuB;QACrC,cAAc,EAAE,UAAU;QAC1B,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YAChD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,sCAAsC,CAAC;YACnD,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,sBAAsB,CAAC;YACrC,aAAa,EAAE,CAAC,wCAAwC,CAAC;YACzD,oBAAoB,EAAE,CAAC,SAAS,CAAC;YACjC,oBAAoB,EAAE,sBAAsB;SAC7C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,0CAA0C,CAAC;YACnD,cAAc,EAAE,CAAC,mCAAmC,CAAC;YACrD,gBAAgB,EAAE,CAAC,wBAAwB,CAAC;YAC5C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,mBAAmB;IACnB;QACE,YAAY,EAAE,mBAAmB;QACjC,cAAc,EAAE,YAAY;QAC5B,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,UAAU,CAAC;YAC/D,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,4BAA4B,CAAC;YACzC,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,iBAAiB,EAAE,UAAU,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;YACrF,aAAa,EAAE,CAAC,yCAAyC,CAAC;YAC1D,oBAAoB,EAAE,EAAE;YACxB,oBAAoB,EAAE,qBAAqB;SAC5C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,CAAC;YACpE,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,0CAA0C,CAAC;YACnD,cAAc,EAAE,CAAC,mBAAmB,CAAC;YACrC,gBAAgB,EAAE,CAAC,uBAAuB,CAAC;YAC3C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,eAAe;IACf;QACE,YAAY,EAAE,gBAAgB;QAC9B,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC;YAC/B,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,YAAY,CAAC;YAC3B,aAAa,EAAE,CAAC,iCAAiC,CAAC;YAClD,oBAAoB,EAAE,CAAC,MAAM,CAAC;YAC9B,oBAAoB,EAAE,sBAAsB;SAC7C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;YAC9C,OAAO,EAAE,CAAC,kBAAkB,CAAC;YAC7B,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,uCAAuC,CAAC;YAChD,cAAc,EAAE,CAAC,gBAAgB,CAAC;YAClC,gBAAgB,EAAE,CAAC,0BAA0B,CAAC;YAC9C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,eAAe;IACf;QACE,YAAY,EAAE,6BAA6B;QAC3C,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,GAAG,CAAC;YACtB,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;YAC/D,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,qDAAqD,CAAC;YAClE,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,yBAAyB,EAAE,oBAAoB,CAAC;YAC9D,aAAa,EAAE,CAAC,wBAAwB,CAAC;YACzC,oBAAoB,EAAE,CAAC,UAAU,CAAC;YAClC,oBAAoB,EAAE,iBAAiB;SACxC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,8BAA8B,CAAC;YACzC,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,4CAA4C,CAAC;YACrD,cAAc,EAAE,CAAC,gCAAgC,CAAC;YAClD,gBAAgB,EAAE,CAAC,sCAAsC,CAAC;YAC1D,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,cAAc;IACd;QACE,YAAY,EAAE,kBAAkB;QAChC,cAAc,EAAE,OAAO;QACvB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC;YACnD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,8BAA8B,CAAC;YAC3C,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,YAAY,CAAC;YAC3B,aAAa,EAAE,CAAC,+BAA+B,CAAC;YAChD,oBAAoB,EAAE,CAAC,YAAY,CAAC;YACpC,oBAAoB,EAAE,kBAAkB;SACzC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,kBAAkB,CAAC;YAC7B,OAAO,EAAE,CAAC,oBAAoB,CAAC;YAC/B,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,4CAA4C,CAAC;YACrD,cAAc,EAAE,CAAC,yBAAyB,CAAC;YAC3C,gBAAgB,EAAE,CAAC,sBAAsB,CAAC;YAC1C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,cAAc;IACd;QACE,YAAY,EAAE,mBAAmB;QACjC,cAAc,EAAE,OAAO;QACvB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YAChD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,oCAAoC,CAAC;YACjD,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,kBAAkB,CAAC;YAC3H,aAAa,EAAE,CAAC,sCAAsC,EAAE,4BAA4B,CAAC;YACrF,oBAAoB,EAAE,EAAE;YACxB,oBAAoB,EAAE,cAAc;SACrC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,mBAAmB,EAAE,eAAe,EAAE,sBAAsB,EAAE,wBAAwB,CAAC;YACjG,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,0CAA0C,CAAC;YACnD,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,gBAAgB,EAAE,CAAC,gCAAgC,CAAC;YACpD,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,cAAc;IACd;QACE,YAAY,EAAE,6BAA6B;QAC3C,cAAc,EAAE,OAAO;QACvB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,GAAG,CAAC;YACtB,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,mCAAmC,CAAC;YAChD,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,4BAA4B,CAAC;YAC9G,aAAa,EAAE,CAAC,uCAAuC,CAAC;YACxD,oBAAoB,EAAE,CAAC,OAAO,CAAC;YAC/B,oBAAoB,EAAE,aAAa;SACpC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,CAAC;YAC5D,OAAO,EAAE,CAAC,0BAA0B,CAAC;YACrC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,mDAAmD,CAAC;YAC5D,cAAc,EAAE,CAAC,8BAA8B,CAAC;YAChD,gBAAgB,EAAE,CAAC,yBAAyB,CAAC;YAC7C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,eAAe;IACf;QACE,YAAY,EAAE,6BAA6B;QAC3C,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,GAAG,CAAC;YACtB,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,EAAE;YACb,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,CAAC,4BAA4B,CAAC;YAC7C,oBAAoB,EAAE,CAAC,QAAQ,CAAC;YAChC,oBAAoB,EAAE,iBAAiB;SACxC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,eAAe,CAAC;YAC1B,OAAO,EAAE,CAAC,qBAAqB,CAAC;YAChC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,wCAAwC,CAAC;YACjD,cAAc,EAAE,CAAC,sBAAsB,CAAC;YACxC,gBAAgB,EAAE,CAAC,6BAA6B,CAAC;YACjD,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,eAAe;IACf;QACE,YAAY,EAAE,wBAAwB;QACtC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,GAAG,CAAC;YACtB,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;YACxC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,kCAAkC,CAAC;YAC/C,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,aAAa,CAAC;YAC5B,aAAa,EAAE,CAAC,+BAA+B,CAAC;YAChD,oBAAoB,EAAE,CAAC,QAAQ,CAAC;YAChC,oBAAoB,EAAE,sBAAsB;SAC7C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,YAAY,EAAE,qBAAqB,CAAC;YAC9C,OAAO,EAAE,CAAC,mBAAmB,CAAC;YAC9B,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,yCAAyC,CAAC;YAClD,cAAc,EAAE,CAAC,wBAAwB,CAAC;YAC1C,gBAAgB,EAAE,CAAC,6BAA6B,CAAC;YACjD,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;CACF,CAAC"}

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

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_audit_tail.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_audit_tail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAE1E,eAAO,MAAM,8BAA8B,EAAE,0BAA0B,EA4EtE,CAAC"}

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

@@ -1,90 +0,0 @@
-/**
- * Mechanisms Audit Tail — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_CONTRACTS_AUDIT_TAIL 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const MECHANISM_CONTRACTS_AUDIT_TAIL = [
-    // ── 变更协调 ──
-    {
-        mechanism_id: "mc-change-coordination",
-        mechanism_name: "变更协调",
-        owner_issue_id: "审计补注册",
-        priority: "P1",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build"],
-            injected_workflows: ["code_change", "verification"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/change_coordinator.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["checkConflicts"],
-            state_effects: ["coordination_check → conflict_report"],
-            hard_fail_conditions: [],
-            degradation_behavior: "协调检查不可用时允许但标记 advisory",
-        },
-        evidence_layer: {
-            outputs: ["CoordinationCheckResult"],
-            reports: ["ChangeCoordinationReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/verify/change_coordinator.test.ts"],
-            runtime_checks: ["conflict_detection"],
-            regression_cases: ["conflict_detected"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-    // ── 测试质量保证 ──
-    {
-        mechanism_id: "mc-test-quality-assurance",
-        mechanism_name: "测试质量保证",
-        owner_issue_id: "审计补注册",
-        priority: "P1",
-        template_layer: {
-            required: false,
-            assets: [],
-            injected_stages: ["build"],
-            injected_workflows: ["verification"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/test_quality.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["analyzeTestQuality", "parseLcov"],
-            state_effects: ["test_quality_report → coverage_check"],
-            hard_fail_conditions: ["测试覆盖不足"],
-            degradation_behavior: "质量数据不可用时降级为 advisory",
-        },
-        evidence_layer: {
-            outputs: ["TestQualityReport", "CoverageMap"],
-            reports: ["TestQualityReport"],
-            diagnostic_codes: [],
-            task_context_facts: [],
-        },
-        verification_layer: {
-            tests: ["tests/engine/audit/test_quality.test.ts"],
-            runtime_checks: ["test_quality_checked"],
-            regression_cases: ["low_coverage_detected"],
-            drift_checks: [],
-        },
-        status: "code_only_enforced",
-    },
-];
-//# sourceMappingURL=mechanisms_audit_tail.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_audit_tail.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_audit_tail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,8BAA8B,GAAiC;IAC1E,aAAa;IACb;QACE,YAAY,EAAE,wBAAwB;QACtC,cAAc,EAAE,MAAM;QACtB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC;YACnD,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,kCAAkC,CAAC;YAC/C,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,gBAAgB,CAAC;YAC/B,aAAa,EAAE,CAAC,sCAAsC,CAAC;YACvD,oBAAoB,EAAE,EAAE;YACxB,oBAAoB,EAAE,wBAAwB;SAC/C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,yBAAyB,CAAC;YACpC,OAAO,EAAE,CAAC,0BAA0B,CAAC;YACrC,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,yCAAyC,CAAC;YAClD,cAAc,EAAE,CAAC,oBAAoB,CAAC;YACtC,gBAAgB,EAAE,CAAC,mBAAmB,CAAC;YACvC,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;IAED,eAAe;IACf;QACE,YAAY,EAAE,2BAA2B;QACzC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,EAAE;YACV,eAAe,EAAE,CAAC,OAAO,CAAC;YAC1B,kBAAkB,EAAE,CAAC,cAAc,CAAC;YACpC,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,kCAAkC,CAAC;YAC/C,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,oBAAoB,EAAE,WAAW,CAAC;YAChD,aAAa,EAAE,CAAC,sCAAsC,CAAC;YACvD,oBAAoB,EAAE,CAAC,QAAQ,CAAC;YAChC,oBAAoB,EAAE,sBAAsB;SAC7C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,mBAAmB,EAAE,aAAa,CAAC;YAC7C,OAAO,EAAE,CAAC,mBAAmB,CAAC;YAC9B,gBAAgB,EAAE,EAAE;YACpB,kBAAkB,EAAE,EAAE;SACvB;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,yCAAyC,CAAC;YAClD,cAAc,EAAE,CAAC,sBAAsB,CAAC;YACxC,gBAAgB,EAAE,CAAC,uBAAuB,CAAC;YAC3C,YAAY,EAAE,EAAE;SACjB;QACD,MAAM,EAAE,oBAAoB;KAC7B;CACF,CAAC"}

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

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_core.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAE1E,eAAO,MAAM,wBAAwB,EAAE,0BAA0B,EA+XhE,CAAC"}