soloforge 1.1.45 → 1.1.47

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

@@ -1,428 +0,0 @@
-/**
- * Contracts-Audit — 契约层模块。
- *
- * 职责边界：
- * - 负责：AUDIT_CONTRACTS 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-/** 管道核心 + 审计补注册 P0 机制契约 */
-export const AUDIT_CONTRACTS = [
-    // ══════════════════════════════════════════════════
-    // 管线核心机制（工作流管线架构新增）
-    // ══════════════════════════════════════════════════
-    // ── 门禁引擎 ──
-    {
-        id: "mc-stage-gate-engine",
-        name: "门禁引擎",
-        owner_module: "src/gate/certainty_gate.ts",
-        owner_exports: ["evaluateCertaintyGate"],
-        mechanism_type: "governance",
-        /** 三级确定性门禁，由 certainty_gate.ts 承载（certainty_gate.ts 真实存在，DL 标 enforced，此 status 修正对齐） */
-        status: "enforced",
-        trigger: "每个域执行前",
-        required_inputs: ["当前域", "gate配置(YAML)", "待校验产物"],
-        preconditions: ["gate配置文件存在"],
-        outputs: ["GateCheckResult"],
-        downstream_consumers: ["域执行器", "域契约"],
-        failure_modes: ["门禁配置缺失", "校验产物不完整"],
-        degradation_behavior: "缺失配置时 advisory 不阻断",
-        tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-    },
-    // ── 回退路由 ──
-    {
-        id: "mc-rollback-router",
-        name: "回退路由",
-        owner_module: "src/core/domain_transition.ts",
-        owner_exports: ["resolveRollbackTarget", "executeRollback"],
-        mechanism_type: "state_lifecycle",
-        status: "enforced",
-        trigger: "阶段执行失败或门禁阻断时",
-        required_inputs: ["当前阶段", "回退类型", "回退原因"],
-        preconditions: ["存在可回退的上游阶段"],
-        outputs: ["RollbackTarget", "回退指令"],
-        downstream_consumers: ["管线执行器", "阶段契约"],
-        state_transitions: [
-            "design → design",
-            "build → design",
-            "verify → design",
-            "design → design",
-            "build → design",
-            "verify → build",
-        ],
-        failure_modes: ["回退目标不存在", "回退循环"],
-        degradation_behavior: "无可用回退路径时 stop_escalate",
-        tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-    },
-    // ── 切片执行器 ──
-    {
-        id: "mc-slice-executor",
-        name: "切片执行器",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "planning",
-        status: "deprecated",
-        trigger: "build 域执行时",
-        required_inputs: ["切片计划", "已通过切片列表"],
-        preconditions: ["切片计划已生成"],
-        outputs: ["SliceExecutionResult", "SliceReviewResult"],
-        downstream_consumers: ["build 域", "verify 域"],
-        failure_modes: ["切片间隔离违反", "切片依赖循环"],
-        degradation_behavior: "隔离违反时阻断当前切片",
-        tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-    },
-    // ══════════════════════════════════════════════════
-    // 审计补注册：14 个已实现模块注册为正式机制
-    // ══════════════════════════════════════════════════
-    // ── 代码审查 ──
-    {
-        id: "mc-code-review",
-        name: "verify",
-        owner_module: "src/verify/audit/code_reviewer.ts",
-        owner_exports: ["reviewCode"],
-        mechanism_type: "review",
-        status: "enforced",
-        trigger: "build 域完成后、交付前",
-        required_inputs: ["changed_files", "task_context"],
-        preconditions: ["代码变更已发生"],
-        outputs: ["CodeReviewResult"],
-        downstream_consumers: ["sf_gate", "sf_work", "verify 域"],
-        failure_modes: ["审查发现未反馈到管道", "hotfix 跳过审查", "task_id 始终为空"],
-        degradation_behavior: "代码审查结果为纯信息性，不阻断后续操作",
-        tests: ["tests/engine/code_reviewer.test.ts"],
-        lifecycle_tests: ["tests/engine/code_reviewer.test.ts"],
-    },
-    // ── 设计生命周期契约 ──
-    {
-        id: "mc-design-lifecycle",
-        name: "设计生命周期契约",
-        owner_module: "src/domain/contracts/design_lifecycle_contract.ts",
-        owner_exports: ["listDesignLifecycleStageContracts", "validateDesignLifecycleContract"],
-        mechanism_type: "state_lifecycle",
-        status: "enforced",
-        trigger: "管线阶段流转时",
-        required_inputs: ["stage_id", "artifacts"],
-        preconditions: ["项目配置已加载"],
-        outputs: ["DesignLifecycleStageContract", "DesignLifecycleContractFinding"],
-        downstream_consumers: ["管线执行器", "门禁引擎", "回退路由"],
-        state_transitions: [
-            "design → design",
-            "design → design",
-            "design → design",
-            "design → design",
-            "design → build",
-            "build → verify",
-            "verify → verify",
-        ],
-        failure_modes: ["阶段产物不完整", "跳过阶段"],
-        degradation_behavior: "阶段产物缺失时报告为 finding",
-        tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-        lifecycle_tests: ["tests/engine/design_lifecycle_contract.test.ts"],
-    },
-    // ── API 契约守卫 ──
-    {
-        id: "mc-api-contract-guard",
-        name: "API 契约守卫",
-        owner_module: "src/gate/contracts/contract_guard.ts",
-        owner_exports: ["checkContractChanges"],
-        mechanism_type: "contract_enforcement",
-        status: "enforced",
-        trigger: "契约文件变更时",
-        required_inputs: ["contract_files", "change_context"],
-        preconditions: ["契约文件存在"],
-        outputs: ["ContractGuardResult"],
-        downstream_consumers: ["sf_gate", "sf_work"],
-        failure_modes: ["契约破坏性变更未检测", "向后兼容性违规"],
-        degradation_behavior: "守卫检查不可用时降级为 advisory",
-        tests: ["tests/engine/contract_guard.test.ts"],
-        lifecycle_tests: ["tests/engine/contract_guard.test.ts"],
-    },
-    // ── Diff 所有权追踪 ──
-    {
-        id: "mc-diff-ownership",
-        name: "Diff 所有权追踪",
-        owner_module: "src/gate/diff_ownership.ts",
-        owner_exports: ["captureBaseline", "casCheck", "recordTaskWrite", "summarizeOwnership"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "写入操作前后",
-        required_inputs: ["file_path", "task_id"],
-        preconditions: ["scope lease 已获取"],
-        outputs: ["OwnershipSnapshot", "CasCheckResult", "OwnershipSummary"],
-        downstream_consumers: ["sf_work", "sf_gate", "conflict_gate"],
-        failure_modes: ["CAS 校验失败仅 advisory", "taskId 无认证", "store 损坏静默丢弃"],
-        degradation_behavior: "CAS 校验失败时产生 advisory 结果，写入始终继续",
-        tests: ["tests/engine/diff_ownership.test.ts"],
-        lifecycle_tests: ["tests/engine/diff_ownership.test.ts"],
-    },
-    // ── LLM 网关 ──
-    {
-        id: "mc-llm-gateway",
-        name: "LLM 网关",
-        owner_module: "src/shared/llm_gateway.ts",
-        owner_exports: ["LLMGateway"],
-        mechanism_type: "observability",
-        status: "enforced",
-        trigger: "LLM 调用时",
-        required_inputs: ["model_id", "prompt", "budget"],
-        preconditions: ["网关已初始化"],
-        outputs: ["LLMGatewayResult", "budget_status"],
-        downstream_consumers: ["sf_work", "sf_work", "sf_gate"],
-        failure_modes: ["断路器触发后无自动恢复", "置信度门控依赖调用方诚实", "无操作超时"],
-        degradation_behavior: "断路器触发后阻断所有调用，需手动 reset()",
-        tests: ["tests/engine/llm_gateway.test.ts"],
-        lifecycle_tests: ["tests/engine/llm_gateway.test.ts"],
-    },
-    // ── 模板机制审计 ──
-    {
-        id: "mc-template-mechanism-audit",
-        name: "模板机制审计",
-        owner_module: "src/context/templates/template_mechanism_auditor.ts",
-        owner_exports: ["auditTemplateMechanisms", "isInjectionAllowed"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "validate-mechanisms 与 validate-release",
-        required_inputs: ["rootDir"],
-        preconditions: ["模板目录存在"],
-        outputs: ["TemplateMechanismAuditReport"],
-        downstream_consumers: ["validate-mechanisms", "validate-release"],
-        failure_modes: ["模板与机制不匹配", "注入规则不一致"],
-        degradation_behavior: "审计失败时报告 finding，不阻断",
-        tests: ["tests/engine/foundation_dual_layer.test.ts"],
-        lifecycle_tests: ["tests/engine/foundation_dual_layer.test.ts"],
-    },
-    // ── Scope 控制 ──
-    {
-        id: "mc-scope-control",
-        name: "范围控制器",
-        owner_module: "src/gate/scope_controller.ts",
-        owner_exports: ["checkScope"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "文件操作前",
-        required_inputs: ["file_path", "allowed_paths"],
-        preconditions: ["scope 已定义"],
-        outputs: ["ScopeCheckResult"],
-        downstream_consumers: ["sf_work", "sf_gate", "diff_ownership"],
-        failure_modes: ["Gitleaks 结果被丢弃", "scope 边界绕过"],
-        degradation_behavior: "scope 检查不可用时保守阻断",
-        tests: ["tests/engine/scope_controller.test.ts"],
-        lifecycle_tests: ["tests/engine/scope_controller.test.ts"],
-    },
-    // ── 运行时安全 ──
-    {
-        id: "mc-runtime-safety",
-        name: "运行时安全",
-        owner_module: "src/verify/audit/runtime_safety.ts",
-        owner_exports: ["buildEvidenceChain", "verifyEvidenceChain", "classifyCommand", "checkMigrationContract", "checkSupplyChain"],
-        mechanism_type: "safety",
-        status: "enforced",
-        trigger: "命令执行和证据收集时",
-        required_inputs: ["command", "evidence"],
-        preconditions: [],
-        outputs: ["ClassifiedCommand", "EvidenceBlock", "MigrationCheckResult", "SupplyChainCheckResult"],
-        downstream_consumers: ["sf_gate", "sf_work", "command_execution_contract"],
-        failure_modes: ["证据哈希截断", "证据链未在生产中使用", "迁移回滚校验同义反复", "供应链只验证文件名"],
-        degradation_behavior: "安全检查不可用时保守阻断",
-        tests: ["tests/engine/runtime_safety.test.ts"],
-        lifecycle_tests: ["tests/engine/verification_scenario_matrix.test.ts"],
-    },
-    // ── 诊断码契约 ──
-    {
-        id: "mc-diagnostic-code-contract",
-        name: "诊断码契约",
-        owner_module: "src/shared/diagnostic_registry.ts",
-        owner_exports: ["registerDiagnostic", "getDiagnosticByCode", "listAllDiagnostics", "validateDiagnosticCoverage"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "诊断码注册与验证时",
-        required_inputs: ["diagnostic_code", "area", "severity"],
-        preconditions: [],
-        outputs: ["DiagnosticCodeEntry", "DiagnosticCoverageReport"],
-        downstream_consumers: ["validate-release", "enforcement_guard", "所有契约模块"],
-        failure_modes: ["诊断码重复", "诊断码覆盖不完整"],
-        degradation_behavior: "注册失败时返回错误信息",
-        tests: ["tests/engine/verification_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/verification_scenario_matrix.test.ts"],
-    },
-    // ── 契约状态存储 ──
-    {
-        id: "mc-contract-state-lifecycle",
-        name: "契约状态存储",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "state_lifecycle",
-        status: "deprecated",
-        trigger: "契约状态读写时",
-        required_inputs: ["contract_id", "state_data"],
-        preconditions: [],
-        outputs: ["ContractState"],
-        downstream_consumers: ["所有契约模块", "validate-release"],
-        state_transitions: [
-            "draft → active",
-            "active → deprecated",
-            "active → suspended",
-            "suspended → active",
-        ],
-        failure_modes: ["状态转换无效", "并发写入冲突"],
-        degradation_behavior: "状态存储不可用时降级为内存模式",
-        tests: ["tests/engine/contract_registry.test.ts"],
-        lifecycle_tests: ["tests/engine/contract_registry.test.ts"],
-    },
-    // ── 技术债务追踪 ──
-    {
-        id: "mc-tech-debt-lifecycle",
-        name: "技术债务追踪",
-        owner_module: "src/verify/audit/debt_tracker.ts",
-        owner_exports: ["DebtTracker"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "validate-release 与技术债务评估时",
-        required_inputs: ["debt_records", "thresholds"],
-        preconditions: [],
-        outputs: ["DebtReport", "DebtThresholdResult"],
-        downstream_consumers: ["validate-release", "governance_report"],
-        failure_modes: ["债务阈值溢出", "债务记录不一致"],
-        degradation_behavior: "债务追踪不可用时降级为 advisory",
-        tests: ["tests/engine/debt_tracker.test.ts"],
-        lifecycle_tests: ["tests/engine/debt_tracker.test.ts"],
-    },
-    // ── 变更协调 ──
-    {
-        id: "mc-change-coordination",
-        name: "变更协调",
-        owner_module: "src/verify/change_coordinator.ts",
-        owner_exports: ["checkConflicts"],
-        mechanism_type: "analysis",
-        status: "enforced",
-        trigger: "多任务并发变更时",
-        required_inputs: ["changed_files", "task_contexts"],
-        preconditions: [],
-        outputs: ["CoordinationCheckResult"],
-        downstream_consumers: ["sf_work", "sf_gate"],
-        failure_modes: ["变更冲突未检测", "协调结果不一致"],
-        degradation_behavior: "协调检查不可用时允许但标记为 advisory",
-        tests: ["tests/verify/change_coordinator.test.ts"],
-        lifecycle_tests: ["tests/verify/change_coordinator.test.ts"],
-    },
-    // ── 测试质量保证 ──
-    {
-        id: "mc-test-quality-assurance",
-        name: "测试质量保证",
-        owner_module: "src/verify/audit/test_quality.ts",
-        owner_exports: ["analyzeTestQuality", "parseLcov"],
-        mechanism_type: "verification",
-        status: "enforced",
-        trigger: "验证阶段测试质量评估",
-        required_inputs: ["test_files", "coverage_data"],
-        preconditions: [],
-        outputs: ["TestQualityReport", "CoverageMap"],
-        downstream_consumers: ["sf_gate", "validate-release"],
-        failure_modes: ["测试覆盖不足", "测试质量不达标"],
-        degradation_behavior: "质量数据不可用时降级为 advisory",
-        tests: ["tests/engine/test_quality.test.ts"],
-        lifecycle_tests: ["tests/engine/test_quality.test.ts"],
-    },
-    // ── 配置自动修复（已移除：intent.yaml 三层配置取代 repair 逻辑）──
-    // ── 24. existing_system_analysis (problem-50) ──
-    {
-        id: "mc-existing-system-analysis",
-        name: "现有系统分析与差距分析",
-        owner_module: "src/verify/contracts/existing_system_analysis.ts",
-        owner_exports: ["detectProjectContext", "checkAnalysisGate", "createExistingSystemAnalysis"],
-        mechanism_type: "analysis",
-        status: "enforced",
-        trigger: "existing_system 项目启动时",
-        required_inputs: ["has_existing_system", "has_new_requirement"],
-        preconditions: [],
-        outputs: ["ProjectContext", "AnalysisGateResult"],
-        downstream_consumers: ["sf_work"],
-        failure_modes: ["existing_system 未分析"],
-        degradation_behavior: "未分析时阻断后续流程",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 25. coding_readiness (problem-51) ──
-    {
-        id: "mc-coding-readiness",
-        name: "编码准备门与测试优先",
-        owner_module: "src/gate/contracts/coding_readiness_gate.ts",
-        owner_exports: ["evaluateCodingReadiness", "createTestFirstPlan", "performMainlineConsumptionCheck"],
-        mechanism_type: "governance",
-        status: "enforced",
-        trigger: "编码开始前",
-        required_inputs: ["coding_readiness_contract", "preconditions"],
-        preconditions: [],
-        outputs: ["ReadinessEvaluationResult", "TestFirstPlan"],
-        downstream_consumers: ["sf_work"],
-        failure_modes: ["编码作为第一步", "blocked 状态允许编码"],
-        degradation_behavior: "准备不足时阻断编码",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 26. local_acceptance (problem-52) ──
-    {
-        id: "mc-local-acceptance",
-        name: "本地 Docker/浏览器验收",
-        owner_module: "src/verify/contracts/local_docker_acceptance.ts",
-        owner_exports: ["validateFinalAccess", "requiresLocalAcceptance", "performBrowserAcceptance"],
-        mechanism_type: "verification",
-        status: "enforced",
-        trigger: "本地验收阶段",
-        required_inputs: ["final_access", "project_run_mode"],
-        preconditions: [],
-        outputs: ["LocalDockerAcceptanceContract", "FinalAccessValidationResult"],
-        downstream_consumers: ["sf_gate", "delivery"],
-        failure_modes: ["无本地 URL", "浏览器验收失败未修复"],
-        degradation_behavior: "验收不通过时阻断交付",
-        tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-        lifecycle_tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-    },
-    // ── 27. workflow_template_pack (problem-53) ──
-    // Phase A: 代码文件已删除，标记为 deprecated
-    {
-        id: "mc-workflow-template-pack",
-        name: "工作流模板包消费",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "artifact_management",
-        status: "deprecated",
-        trigger: "模板消费验证时",
-        required_inputs: ["pack_contract", "consumption_evidences"],
-        preconditions: [],
-        outputs: ["WorkflowTemplatePackContract", "PackValidationResult"],
-        downstream_consumers: ["sf_work", "sf_gate"],
-        failure_modes: ["模板停在中间状态", "消费 pipeline 不完整"],
-        degradation_behavior: "消费不完整时阻断",
-        tests: [],
-        lifecycle_tests: [],
-    },
-    // ── 28. evolution_regression (problem-54) ──
-    // Phase A: 代码文件已删除，标记为 deprecated
-    {
-        id: "mc-evolution-regression",
-        name: "演进回归与新问题门控",
-        owner_module: "",
-        owner_exports: [],
-        mechanism_type: "governance",
-        status: "deprecated",
-        trigger: "新问题登记时",
-        required_inputs: ["issue_candidate"],
-        preconditions: [],
-        outputs: ["NewIssueRegressionGate", "EvolutionGateResult"],
-        downstream_consumers: ["sf_work"],
-        failure_modes: ["重复问题未检测", "无门控被接受"],
-        degradation_behavior: "门控未通过时拒绝问题",
-        tests: [],
-        lifecycle_tests: [],
-    },
-];
-//# sourceMappingURL=contracts-audit.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"contracts-audit.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/contracts-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,2BAA2B;AAC3B,MAAM,CAAC,MAAM,eAAe,GAAwB;IAClD,qDAAqD;IACrD,oBAAoB;IACpB,qDAAqD;IAErD,aAAa;IACb;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,4BAA4B;QAC1C,aAAa,EAAE,CAAC,uBAAuB,CAAC;QACxC,cAAc,EAAE,YAAY;QAC5B,yFAAyF;QACzF,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC;QACjD,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,OAAO,EAAE,CAAC,iBAAiB,CAAC;QAC5B,oBAAoB,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;QACrC,aAAa,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;QACpC,oBAAoB,EAAE,oBAAoB;QAC1C,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,aAAa;IACb;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,+BAA+B;QAC7C,aAAa,EAAE,CAAC,uBAAuB,EAAE,iBAAiB,CAAC;QAC3D,cAAc,EAAE,iBAAiB;QACjC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,cAAc;QACvB,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;QACzC,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,OAAO,EAAE,CAAC,gBAAgB,EAAE,MAAM,CAAC;QACnC,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QACvC,iBAAiB,EAAE;YACjB,iBAAiB;YACjB,gBAAgB;YAChB,iBAAiB;YACjB,iBAAiB;YACjB,gBAAgB;YAChB,gBAAgB;SACjB;QACD,aAAa,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;QAClC,oBAAoB,EAAE,wBAAwB;QAC9C,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,cAAc;IACd;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,YAAY;QACrB,eAAe,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QACpC,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,CAAC;QACtD,oBAAoB,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;QAC7C,aAAa,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;QACpC,oBAAoB,EAAE,aAAa;QACnC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,qDAAqD;IACrD,yBAAyB;IACzB,qDAAqD;IAErD,aAAa;IACb;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,mCAAmC;QACjD,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,gBAAgB;QACzB,eAAe,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,kBAAkB,CAAC;QAC7B,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC;QACxD,aAAa,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC;QAC5D,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,oCAAoC,CAAC;QAC7C,eAAe,EAAE,CAAC,oCAAoC,CAAC;KACxD;IAED,iBAAiB;IACjB;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,mDAAmD;QACjE,aAAa,EAAE,CAAC,mCAAmC,EAAE,iCAAiC,CAAC;QACvF,cAAc,EAAE,iBAAiB;QACjC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;QAC1C,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,8BAA8B,EAAE,gCAAgC,CAAC;QAC3E,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;QAC/C,iBAAiB,EAAE;YACjB,iBAAiB;YACjB,iBAAiB;YACjB,iBAAiB;YACjB,iBAAiB;YACjB,gBAAgB;YAChB,gBAAgB;YAChB,iBAAiB;SAClB;QACD,aAAa,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;QAClC,oBAAoB,EAAE,oBAAoB;QAC1C,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,iBAAiB;IACjB;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,sCAAsC;QACpD,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QACrD,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC;QACxC,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,qCAAqC,CAAC;QAC9C,eAAe,EAAE,CAAC,qCAAqC,CAAC;KACzD;IAED,mBAAmB;IACnB;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,4BAA4B;QAC1C,aAAa,EAAE,CAAC,iBAAiB,EAAE,UAAU,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;QACvF,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,CAAC,WAAW,EAAE,SAAS,CAAC;QACzC,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,CAAC;QACpE,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,CAAC;QAC7D,aAAa,EAAE,CAAC,oBAAoB,EAAE,YAAY,EAAE,cAAc,CAAC;QACnE,oBAAoB,EAAE,gCAAgC;QACtD,KAAK,EAAE,CAAC,qCAAqC,CAAC;QAC9C,eAAe,EAAE,CAAC,qCAAqC,CAAC;KACzD;IAED,eAAe;IACf;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,cAAc,EAAE,eAAe;QAC/B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC;QACjD,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC9C,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;QACvD,aAAa,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,OAAO,CAAC;QACvD,oBAAoB,EAAE,0BAA0B;QAChD,KAAK,EAAE,CAAC,kCAAkC,CAAC;QAC3C,eAAe,EAAE,CAAC,kCAAkC,CAAC;KACtD;IAED,eAAe;IACf;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,qDAAqD;QACnE,aAAa,EAAE,CAAC,yBAAyB,EAAE,oBAAoB,CAAC;QAChE,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,wCAAwC;QACjD,eAAe,EAAE,CAAC,SAAS,CAAC;QAC5B,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,CAAC,8BAA8B,CAAC;QACzC,oBAAoB,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;QACjE,aAAa,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;QACtC,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,4CAA4C,CAAC;QACrD,eAAe,EAAE,CAAC,4CAA4C,CAAC;KAChE;IAED,iBAAiB;IACjB;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,8BAA8B;QAC5C,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,OAAO;QAChB,eAAe,EAAE,CAAC,WAAW,EAAE,eAAe,CAAC;QAC/C,aAAa,EAAE,CAAC,WAAW,CAAC;QAC5B,OAAO,EAAE,CAAC,kBAAkB,CAAC;QAC7B,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC;QAC9D,aAAa,EAAE,CAAC,gBAAgB,EAAE,YAAY,CAAC;QAC/C,oBAAoB,EAAE,kBAAkB;QACxC,KAAK,EAAE,CAAC,uCAAuC,CAAC;QAChD,eAAe,EAAE,CAAC,uCAAuC,CAAC;KAC3D;IAED,cAAc;IACd;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,oCAAoC;QAClD,aAAa,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,kBAAkB,CAAC;QAC7H,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,YAAY;QACrB,eAAe,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;QACxC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,eAAe,EAAE,sBAAsB,EAAE,wBAAwB,CAAC;QACjG,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,4BAA4B,CAAC;QAC1E,aAAa,EAAE,CAAC,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,CAAC;QAClE,oBAAoB,EAAE,cAAc;QACpC,KAAK,EAAE,CAAC,qCAAqC,CAAC;QAC9C,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IAED,cAAc;IACd;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,mCAAmC;QACjD,aAAa,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,4BAA4B,CAAC;QAChH,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,WAAW;QACpB,eAAe,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,UAAU,CAAC;QACxD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,CAAC;QAC5D,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,QAAQ,CAAC;QACzE,aAAa,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;QACpC,oBAAoB,EAAE,aAAa;QACnC,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IAED,eAAe;IACf;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,iBAAiB;QACjC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;QAC9C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,eAAe,CAAC;QAC1B,oBAAoB,EAAE,CAAC,QAAQ,EAAE,kBAAkB,CAAC;QACpD,iBAAiB,EAAE;YACjB,gBAAgB;YAChB,qBAAqB;YACrB,oBAAoB;YACpB,oBAAoB;SACrB;QACD,aAAa,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QACnC,oBAAoB,EAAE,iBAAiB;QACvC,KAAK,EAAE,CAAC,wCAAwC,CAAC;QACjD,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,eAAe;IACf;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,kCAAkC;QAChD,aAAa,EAAE,CAAC,aAAa,CAAC;QAC9B,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,2BAA2B;QACpC,eAAe,EAAE,CAAC,cAAc,EAAE,YAAY,CAAC;QAC/C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,YAAY,EAAE,qBAAqB,CAAC;QAC9C,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;QAC/D,aAAa,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;QACpC,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,mCAAmC,CAAC;QAC5C,eAAe,EAAE,CAAC,mCAAmC,CAAC;KACvD;IAED,aAAa;IACb;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,kCAAkC;QAChD,aAAa,EAAE,CAAC,gBAAgB,CAAC;QACjC,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,UAAU;QACnB,eAAe,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACnD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,yBAAyB,CAAC;QACpC,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QACrC,oBAAoB,EAAE,yBAAyB;QAC/C,KAAK,EAAE,CAAC,yCAAyC,CAAC;QAClD,eAAe,EAAE,CAAC,yCAAyC,CAAC;KAC7D;IAED,eAAe;IACf;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,kCAAkC;QAChD,aAAa,EAAE,CAAC,oBAAoB,EAAE,WAAW,CAAC;QAClD,cAAc,EAAE,cAAc;QAC9B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,YAAY;QACrB,eAAe,EAAE,CAAC,YAAY,EAAE,eAAe,CAAC;QAChD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,aAAa,CAAC;QAC7C,oBAAoB,EAAE,CAAC,SAAS,EAAE,kBAAkB,CAAC;QACrD,aAAa,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;QACpC,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,mCAAmC,CAAC;QAC5C,eAAe,EAAE,CAAC,mCAAmC,CAAC;KACvD;IAED,gDAAgD;IAEhD,kDAAkD;IAClD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,kDAAkD;QAChE,aAAa,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,8BAA8B,CAAC;QAC5F,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,uBAAuB;QAChC,eAAe,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;QAC/D,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;QACjD,oBAAoB,EAAE,CAAC,SAAS,CAAC;QACjC,aAAa,EAAE,CAAC,qBAAqB,CAAC;QACtC,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,0CAA0C;IAC1C;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,6CAA6C;QAC3D,aAAa,EAAE,CAAC,yBAAyB,EAAE,qBAAqB,EAAE,iCAAiC,CAAC;QACpG,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,OAAO;QAChB,eAAe,EAAE,CAAC,2BAA2B,EAAE,eAAe,CAAC;QAC/D,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,2BAA2B,EAAE,eAAe,CAAC;QACvD,oBAAoB,EAAE,CAAC,SAAS,CAAC;QACjC,aAAa,EAAE,CAAC,SAAS,EAAE,gBAAgB,CAAC;QAC5C,oBAAoB,EAAE,WAAW;QACjC,KAAK,EAAE,CAAC,gDAAgD,CAAC;QACzD,eAAe,EAAE,CAAC,gDAAgD,CAAC;KACpE;IAED,0CAA0C;IAC1C;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,iBAAiB;QACvB,YAAY,EAAE,iDAAiD;QAC/D,aAAa,EAAE,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,0BAA0B,CAAC;QAC7F,cAAc,EAAE,cAAc;QAC9B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,CAAC,cAAc,EAAE,kBAAkB,CAAC;QACrD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,+BAA+B,EAAE,6BAA6B,CAAC;QACzE,oBAAoB,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;QAC7C,aAAa,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC;QACxC,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,UAAU;QAChB,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,qBAAqB;QACrC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,CAAC,eAAe,EAAE,uBAAuB,CAAC;QAC3D,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,8BAA8B,EAAE,sBAAsB,CAAC;QACjE,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,UAAU,EAAE,iBAAiB,CAAC;QAC9C,oBAAoB,EAAE,UAAU;QAChC,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,EAAE;KACpB;IAED,8CAA8C;IAC9C,kCAAkC;IAClC;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,CAAC,iBAAiB,CAAC;QACpC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,wBAAwB,EAAE,qBAAqB,CAAC;QAC1D,oBAAoB,EAAE,CAAC,SAAS,CAAC;QACjC,aAAa,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;QACpC,oBAAoB,EAAE,YAAY;QAClC,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,EAAE;KACpB;CACF,CAAC"}

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

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

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

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