soloforge 1.1.43 → 1.1.45

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

@@ -1,415 +0,0 @@
-/**
- * Mechanisms Extension — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_CONTRACTS_EXTENSION 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const MECHANISM_CONTRACTS_EXTENSION = [
-    // ══ 扩展平台双层机制 ══
-    // ── 15. 决策主权 ──
-    {
-        mechanism_id: "mc-decision-sovereignty",
-        mechanism_name: "技术决策主权",
-        owner_issue_id: "问题十六",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/技术决策主权.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/design/架构设计.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design"],
-            injected_workflows: ["code_change", "architecture_design", "existing_system_gap_analysis"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/contracts/technology_decision.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["validateTechnologyDecision", "evaluateDecisionExecution"],
-            state_effects: ["decision_status → allow/block"],
-            hard_fail_conditions: ["architecture 决策无 human gate", "推荐状态允许执行"],
-            degradation_behavior: "决策不合规时阻断执行",
-        },
-        evidence_layer: {
-            outputs: ["TechnologyDecisionContract", "DecisionValidationResult"],
-            reports: ["DecisionReview"],
-            diagnostic_codes: ["no-human-gate", "executing-recommended"],
-            task_context_facts: ["decision_scope", "decision_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["decision_human_gate_present"],
-            regression_cases: ["architecture_requires_human_gate", "recommended_cannot_execute"],
-            drift_checks: ["decision_status_matches_workflow"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 16. 脑暴与方案探索 ──
-    {
-        mechanism_id: "mc-brainstorm-contract",
-        mechanism_name: "脑暴与方案探索",
-        owner_issue_id: "问题四十二",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/脑暴与方案探索.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/design/架构设计.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["design", "design"],
-            injected_workflows: ["architecture_design", "existing_system_gap_analysis"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/brainstorm_contract.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["validateBrainstormSession", "canBrainstormAutoExecute"],
-            state_effects: ["brainstorm_status → allow/block auto-execute"],
-            hard_fail_conditions: ["脑暴无候选方案", "脑暴绕过决策主权"],
-            degradation_behavior: "脑暴不完整时阻断",
-        },
-        evidence_layer: {
-            outputs: ["BrainstormSession", "BrainstormValidationResult"],
-            reports: ["BrainstormReview"],
-            diagnostic_codes: ["empty-session", "auto-execute-blocked"],
-            task_context_facts: ["brainstorm_trigger", "brainstorm_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["brainstorm_has_options"],
-            regression_cases: ["cannot_auto_execute", "empty_session_invalid"],
-            drift_checks: ["brainstorm_options_match_decision"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 17. 细节纪律 ──
-    {
-        mechanism_id: "mc-detail-discipline",
-        mechanism_name: "细节纪律",
-        owner_issue_id: "问题二十六",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/细节纪律.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/build/测试优先编码.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "verify"],
-            injected_workflows: ["code_change", "test_first_coding", "local_browser_acceptance"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/detail_discipline.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["performDetailCheck", "checkDetailGateIntegration"],
-            state_effects: ["detail_check_status → allow/block delivery"],
-            hard_fail_conditions: ["缺失关键维度", "blocking 检查未接入交付 gate"],
-            degradation_behavior: "细节不足时阻断交付",
-        },
-        evidence_layer: {
-            outputs: ["DetailDisciplineCheck", "DetailGateIntegrationResult"],
-            reports: ["DetailDisciplineReport"],
-            diagnostic_codes: ["missing-dimension", "gate-not-integrated"],
-            task_context_facts: ["detail_check_status", "blocking"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["detail_dimensions_covered"],
-            regression_cases: ["blocking_without_gate_fails", "missing_dimension_blocks"],
-            drift_checks: ["detail_check_matches_workflow"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 18. 第一性原理 ──
-    {
-        mechanism_id: "mc-first-principles",
-        mechanism_name: "第一性原理",
-        owner_issue_id: "问题二十七",
-        priority: "P1",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/design/第一性原理推理.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/design/架构设计.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["design", "design"],
-            injected_workflows: ["architecture_design", "existing_system_gap_analysis"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/first_principles.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["performFirstPrinciplesCheck", "validateFirstPrinciplesForHighImpact"],
-            state_effects: ["first_principles_status → allow/block"],
-            hard_fail_conditions: ["缺少 fundamental_need", "高影响变更未推理"],
-            degradation_behavior: "推理不完整时阻断",
-        },
-        evidence_layer: {
-            outputs: ["FirstPrinciplesFrame", "FirstPrinciplesCheckResult"],
-            reports: ["FirstPrinciplesReview"],
-            diagnostic_codes: ["missing-fundamental-need", "high-impact-unframed"],
-            task_context_facts: ["first_principles_status"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/extension_scenario_matrix.test.ts"],
-            runtime_checks: ["fundamental_need_present"],
-            regression_cases: ["missing_fundamental_need_fails", "high_impact_requires_frame"],
-            drift_checks: ["principles_frame_matches_decision"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 发布问题: 通用决策研讨机制（问题六十一） ──
-    // 架构决策研讨作为内置子包保留，mc-architecture-decision-workshop 不代表整个问题六十一
-    {
-        mechanism_id: "mc-decision-workshop",
-        mechanism_name: "通用决策研讨机制",
-        owner_issue_id: "问题六十一",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/通用决策研讨.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["design", "design"],
-            injected_workflows: ["architecture_design", "technology_selection", "data_migration", "security_policy", "deployment", "refactor"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/decision_workshop.ts", "src/server/tools/index.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["evaluateDecisionWorkshop", "createDecisionWorkshop", "evaluateDecisionWorkshop", "applyDecisionWorkshopGate"],
-            state_effects: ["decision_workshop → allow/block execution"],
-            hard_fail_conditions: ["必须域未确认", "现有系统证据缺失", "用户确认引用缺失"],
-            degradation_behavior: "返回待讨论域和待确认清单",
-        },
-        evidence_layer: {
-            outputs: ["DecisionWorkshopContract", "DecisionWorkshopGateResult"],
-            reports: ["DecisionRecord"],
-            diagnostic_codes: ["SF-DECISION-WORKSHOP-REQUIRED"],
-            task_context_facts: ["decision_workshop"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/decision_workshop.test.ts"],
-            runtime_checks: ["all_required_domains_confirmed"],
-            regression_cases: ["tech_selection_blocks_without_confirmation", "low_risk_skips_workshop"],
-            drift_checks: ["workshop_matches_task_intent"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 发布问题: 架构决策研讨与确认门（问题六十一内置子包） ──
-    {
-        mechanism_id: "mc-architecture-decision-workshop",
-        mechanism_name: "架构决策研讨与确认门",
-        owner_issue_id: "问题六十一",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/design/架构设计.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/design/架构设计.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-            ],
-            injected_stages: ["design"],
-            injected_workflows: ["architecture_design"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/architecture_decision_workshop.ts", "src/server/tools/index.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["evaluateArchitectureDecisionWorkshop", "checkArchitectureDecisionWorkshopGate"],
-            state_effects: ["architecture_decision_workshop → allow/block formal design generation"],
-            hard_fail_conditions: ["七域决策未确认（六架构域 + 触发扩展域如重构迁移）", "现有系统证据缺失", "输出范围未确认"],
-            degradation_behavior: "返回待讨论域和待确认清单",
-        },
-        evidence_layer: {
-            outputs: ["ArchitectureDecisionWorkshopContract", "ArchitectureWorkshopGateResult"],
-            reports: ["ArchitectureDecisionRecord"],
-            diagnostic_codes: ["SF-ARCH-WORKSHOP-REQUIRED"],
-            task_context_facts: ["architecture_decision_workshop"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/architecture_decision_workshop.test.ts", "tests/adapters/architecture_design_workshop_mainpath.test.ts"],
-            runtime_checks: ["seven_domains_confirmed"],
-            regression_cases: ["missing_confirmation_blocks_design", "low_risk_skips_workshop"],
-            drift_checks: ["workshop_matches_architecture_output"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 发布问题: 标准资产覆盖机制（问题六十二） ──
-    // mc-design-artifact-pack 仅作为首批 P0 子机制保留
-    {
-        mechanism_id: "mc-standard-asset-coverage",
-        mechanism_name: "标准资产覆盖审计",
-        owner_issue_id: "问题六十二",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/标准资产覆盖.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["validate", "design"],
-            injected_workflows: ["all"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/context/templates/standard_asset_coverage.ts"],
-            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
-            entrypoints: ["auditStandardAssetCoverage"],
-            state_effects: ["coverage_report → 覆盖完整性"],
-            hard_fail_conditions: ["P0 资产缺少标准承载路径", "P0 资产未注册", "P0 资产缺少 owner"],
-            degradation_behavior: "覆盖缺口时阻断发布",
-        },
-        evidence_layer: {
-            outputs: ["StandardAssetCoverageReport", "StandardAssetCoverageEntry"],
-            reports: [],
-            diagnostic_codes: ["SF-COVERAGE-0001"],
-            task_context_facts: ["standard_asset_coverage"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/standard_asset_coverage.test.ts"],
-            runtime_checks: ["all_p0_types_covered"],
-            regression_cases: ["missing_bearer_blocks", "unregistered_asset_blocks"],
-            drift_checks: ["coverage_matches_registry"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 发布问题: 设计产物包与存量复验门（问题六十二子机制） ──
-    {
-        mechanism_id: "mc-design-artifact-pack",
-        mechanism_name: "设计产物包与存量复验门",
-        owner_issue_id: "问题六十二",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/设计产物包.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/design/设计产物生成与复验.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-            ],
-            injected_stages: ["design", "design"],
-            injected_workflows: ["architecture_design"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/domain/contracts/design_artifact_pack.ts", "src/server/tools/index.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["verifyDesignArtifactPack"],
-            state_effects: ["design_artifact_pack → implementation_ready/block delivery"],
-            hard_fail_conditions: ["字段级 API 缺失", "SQL 无效", "跨产物冲突", "旧文档未复验"],
-            degradation_behavior: "复验失败时阻断编码与交付并请求修复",
-        },
-        evidence_layer: {
-            outputs: ["DesignArtifactPackContract", "DesignArtifactVerificationResult"],
-            reports: ["DesignConsistencyReport"],
-            diagnostic_codes: ["SF-DESIGN-PACK-VERIFY-FAILED", "SF-DESIGN-PACK-NOT-READY"],
-            task_context_facts: ["design_artifact_pack"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/design_artifact_pack.test.ts", "tests/adapters/architecture_design_workshop_mainpath.test.ts"],
-            runtime_checks: ["real_design_files_verified"],
-            regression_cases: ["api_fields_required", "postgres_invalid_sql_blocks", "cross_document_conflict_blocks"],
-            drift_checks: ["openapi_sql_markdown_consistency"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 发布问题: 标准资产契约化 ──
-    {
-        mechanism_id: "mc-standard-asset-contract",
-        mechanism_name: "标准资产契约化",
-        owner_issue_id: "问题六十三",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/验收模版输出契约.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["design", "design"],
-            injected_workflows: ["architecture_design"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/context/templates/standard_asset_contract.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["verifyStandardAssetContract"],
-            state_effects: ["template_verified → 允许下游消费"],
-            hard_fail_conditions: ["P0 模板缺契约字段", "验收失败未进入 repair_reverify"],
-            degradation_behavior: "验收失败时阻断编码与交付并请求修复",
-        },
-        evidence_layer: {
-            outputs: ["StandardAssetContract", "ContractVerificationResult"],
-            reports: [],
-            diagnostic_codes: ["SF-CONTRACT-0001", "SF-CONTRACT-0002", "SF-CONTRACT-0003"],
-            task_context_facts: ["template_verified"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/standard_asset_contract.test.ts"],
-            runtime_checks: ["contract_fields_complete"],
-            regression_cases: ["api_field_table_missing_blocks", "draft_not_used_for_implementation"],
-            drift_checks: ["contract_matches_template_content"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 发布问题: 模板资产可见性与注入边界 ──
-    {
-        mechanism_id: "mc-template-asset-visibility",
-        mechanism_name: "模板资产可见性与注入边界",
-        owner_issue_id: "问题六十四",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/模版资产可见性.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-            ],
-            injected_stages: ["init", "sync-templates", "validate", "design"],
-            injected_workflows: ["all"],
-            target_hosts: ["claude_code", "codex", "trae"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/context/templates/template_asset_visibility.ts"],
-            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
-            entrypoints: ["filterAssetsForUserProject", "checkAssetVisibilityGate"],
-            state_effects: ["internal 资产不同步到用户项目", "scaffold 不进入知识索引"],
-            hard_fail_conditions: ["内部资产泄漏到用户项目", "可见性冲突未解决"],
-            degradation_behavior: "冲突资产隔离并请求用户确认",
-        },
-        evidence_layer: {
-            outputs: ["AssetVisibilityReport", "VisibilityConflictResult"],
-            reports: [],
-            diagnostic_codes: ["SF-ASSET-0001", "SF-ASSET-0002", "SF-ASSET-0003"],
-            task_context_facts: ["asset_visibility"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/template_asset_visibility.test.ts"],
-            runtime_checks: ["all_assets_have_visibility_metadata"],
-            regression_cases: ["internal_not_synced", "scaffold_not_indexed", "fallback_respects_gate"],
-            drift_checks: ["visibility_field_matches_content"],
-        },
-        status: "dual_layer_enforced",
-    },
-];
-//# sourceMappingURL=mechanisms_extension.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_extension.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_extension.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,6BAA6B,GAAiC;IACzE,iBAAiB;IAEjB,iBAAiB;IACjB;QACE,YAAY,EAAE,yBAAyB;QACvC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,MAAM;QACtB,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;gBAClG,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,YAAY,EAAE;aACvG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YACpC,kBAAkB,EAAE,CAAC,aAAa,EAAE,qBAAqB,EAAE,8BAA8B,CAAC;YAC1F,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,2CAA2C,CAAC;YACxD,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,4BAA4B,EAAE,2BAA2B,CAAC;YACxE,aAAa,EAAE,CAAC,+BAA+B,CAAC;YAChD,oBAAoB,EAAE,CAAC,6BAA6B,EAAE,UAAU,CAAC;YACjE,oBAAoB,EAAE,YAAY;SACnC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;YACnE,OAAO,EAAE,CAAC,gBAAgB,CAAC;YAC3B,gBAAgB,EAAE,CAAC,eAAe,EAAE,uBAAuB,CAAC;YAC5D,kBAAkB,EAAE,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;SAC1D;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,6BAA6B,CAAC;YAC/C,gBAAgB,EAAE,CAAC,kCAAkC,EAAE,4BAA4B,CAAC;YACpF,YAAY,EAAE,CAAC,kCAAkC,CAAC;SACnD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,oBAAoB;IACpB;QACE,YAAY,EAAE,wBAAwB;QACtC,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,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBACnG,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,YAAY,EAAE;aACvG;YACD,eAAe,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACrC,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;YAC3E,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,2BAA2B,EAAE,0BAA0B,CAAC;YACtE,aAAa,EAAE,CAAC,8CAA8C,CAAC;YAC/D,oBAAoB,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;YAC7C,oBAAoB,EAAE,UAAU;SACjC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;YAC5D,OAAO,EAAE,CAAC,kBAAkB,CAAC;YAC7B,gBAAgB,EAAE,CAAC,eAAe,EAAE,sBAAsB,CAAC;YAC3D,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,CAAC;SAChE;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,wBAAwB,CAAC;YAC1C,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,uBAAuB,CAAC;YAClE,YAAY,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,iBAAiB;IACjB;QACE,YAAY,EAAE,sBAAsB;QACpC,cAAc,EAAE,MAAM;QACtB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBAChG,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,YAAY,EAAE;aACxG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YACpC,kBAAkB,EAAE,CAAC,aAAa,EAAE,mBAAmB,EAAE,0BAA0B,CAAC;YACpF,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,2CAA2C,CAAC;YACxD,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,oBAAoB,EAAE,4BAA4B,CAAC;YACjE,aAAa,EAAE,CAAC,4CAA4C,CAAC;YAC7D,oBAAoB,EAAE,CAAC,QAAQ,EAAE,uBAAuB,CAAC;YACzD,oBAAoB,EAAE,WAAW;SAClC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,uBAAuB,EAAE,6BAA6B,CAAC;YACjE,OAAO,EAAE,CAAC,wBAAwB,CAAC;YACnC,gBAAgB,EAAE,CAAC,mBAAmB,EAAE,qBAAqB,CAAC;YAC9D,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,UAAU,CAAC;SACxD;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,2BAA2B,CAAC;YAC7C,gBAAgB,EAAE,CAAC,6BAA6B,EAAE,0BAA0B,CAAC;YAC7E,YAAY,EAAE,CAAC,+BAA+B,CAAC;SAChD;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,6BAA6B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBACnG,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,YAAY,EAAE;aACvG;YACD,eAAe,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACrC,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;YAC3E,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,0CAA0C,CAAC;YACvD,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,6BAA6B,EAAE,sCAAsC,CAAC;YACpF,aAAa,EAAE,CAAC,uCAAuC,CAAC;YACxD,oBAAoB,EAAE,CAAC,qBAAqB,EAAE,UAAU,CAAC;YACzD,oBAAoB,EAAE,UAAU;SACjC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,sBAAsB,EAAE,4BAA4B,CAAC;YAC/D,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,gBAAgB,EAAE,CAAC,0BAA0B,EAAE,sBAAsB,CAAC;YACtE,kBAAkB,EAAE,CAAC,yBAAyB,CAAC;SAChD;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,gBAAgB,EAAE,CAAC,gCAAgC,EAAE,4BAA4B,CAAC;YAClF,YAAY,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,8BAA8B;IAC9B,8DAA8D;IAC9D;QACE,YAAY,EAAE,sBAAsB;QACpC,cAAc,EAAE,UAAU;QAC1B,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,QAAQ,EAAE,QAAQ,CAAC;YACrC,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,YAAY,EAAE,UAAU,CAAC;YAClI,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,2CAA2C,EAAE,2BAA2B,CAAC;YACrF,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,0BAA0B,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,2BAA2B,CAAC;YAC5H,aAAa,EAAE,CAAC,2CAA2C,CAAC;YAC5D,oBAAoB,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;YACxD,oBAAoB,EAAE,cAAc;SACrC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,0BAA0B,EAAE,4BAA4B,CAAC;YACnE,OAAO,EAAE,CAAC,gBAAgB,CAAC;YAC3B,gBAAgB,EAAE,CAAC,+BAA+B,CAAC;YACnD,kBAAkB,EAAE,CAAC,mBAAmB,CAAC;SAC1C;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,6CAA6C,CAAC;YACtD,cAAc,EAAE,CAAC,gCAAgC,CAAC;YAClD,gBAAgB,EAAE,CAAC,4CAA4C,EAAE,yBAAyB,CAAC;YAC3F,YAAY,EAAE,CAAC,8BAA8B,CAAC;SAC/C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,oCAAoC;IACpC;QACE,YAAY,EAAE,mCAAmC;QACjD,cAAc,EAAE,YAAY;QAC5B,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBAChG,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACrG;YACD,eAAe,EAAE,CAAC,QAAQ,CAAC;YAC3B,kBAAkB,EAAE,CAAC,qBAAqB,CAAC;YAC3C,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,wDAAwD,EAAE,2BAA2B,CAAC;YAClG,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,sCAAsC,EAAE,uCAAuC,CAAC;YAC9F,aAAa,EAAE,CAAC,uEAAuE,CAAC;YACxF,oBAAoB,EAAE,CAAC,4BAA4B,EAAE,UAAU,EAAE,SAAS,CAAC;YAC3E,oBAAoB,EAAE,cAAc;SACrC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,sCAAsC,EAAE,gCAAgC,CAAC;YACnF,OAAO,EAAE,CAAC,4BAA4B,CAAC;YACvC,gBAAgB,EAAE,CAAC,2BAA2B,CAAC;YAC/C,kBAAkB,EAAE,CAAC,gCAAgC,CAAC;SACvD;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,0DAA0D,EAAE,8DAA8D,CAAC;YACnI,cAAc,EAAE,CAAC,yBAAyB,CAAC;YAC3C,gBAAgB,EAAE,CAAC,oCAAoC,EAAE,yBAAyB,CAAC;YACnF,YAAY,EAAE,CAAC,sCAAsC,CAAC;SACvD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,8BAA8B;IAC9B,yCAAyC;IACzC;QACE,YAAY,EAAE,4BAA4B;QAC1C,cAAc,EAAE,UAAU;QAC1B,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,UAAU,EAAE,QAAQ,CAAC;YACvC,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,kDAAkD,CAAC;YAC/D,UAAU,EAAE,CAAC,6BAA6B,EAAE,2BAA2B,CAAC;YACxE,WAAW,EAAE,CAAC,4BAA4B,CAAC;YAC3C,aAAa,EAAE,CAAC,yBAAyB,CAAC;YAC1C,oBAAoB,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,eAAe,CAAC;YACpE,oBAAoB,EAAE,WAAW;SAClC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,6BAA6B,EAAE,4BAA4B,CAAC;YACtE,OAAO,EAAE,EAAE;YACX,gBAAgB,EAAE,CAAC,kBAAkB,CAAC;YACtC,kBAAkB,EAAE,CAAC,yBAAyB,CAAC;SAChD;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,8CAA8C,CAAC;YACvD,cAAc,EAAE,CAAC,sBAAsB,CAAC;YACxC,gBAAgB,EAAE,CAAC,uBAAuB,EAAE,2BAA2B,CAAC;YACxE,YAAY,EAAE,CAAC,2BAA2B,CAAC;SAC5C;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,oCAAoC;IACpC;QACE,YAAY,EAAE,yBAAyB;QACvC,cAAc,EAAE,aAAa;QAC7B,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;gBACjG,EAAE,IAAI,EAAE,+BAA+B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aAC1G;YACD,eAAe,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACrC,kBAAkB,EAAE,CAAC,qBAAqB,CAAC;YAC3C,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,8CAA8C,EAAE,2BAA2B,CAAC;YACxF,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,0BAA0B,CAAC;YACzC,aAAa,EAAE,CAAC,4DAA4D,CAAC;YAC7E,oBAAoB,EAAE,CAAC,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC;YACjE,oBAAoB,EAAE,mBAAmB;SAC1C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,4BAA4B,EAAE,kCAAkC,CAAC;YAC3E,OAAO,EAAE,CAAC,yBAAyB,CAAC;YACpC,gBAAgB,EAAE,CAAC,8BAA8B,EAAE,0BAA0B,CAAC;YAC9E,kBAAkB,EAAE,CAAC,sBAAsB,CAAC;SAC7C;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,EAAE,8DAA8D,CAAC;YACzH,cAAc,EAAE,CAAC,4BAA4B,CAAC;YAC9C,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,6BAA6B,EAAE,gCAAgC,CAAC;YAC1G,YAAY,EAAE,CAAC,kCAAkC,CAAC;SACnD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,sBAAsB;IACtB;QACE,YAAY,EAAE,4BAA4B;QAC1C,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,8BAA8B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACrG;YACD,eAAe,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACrC,kBAAkB,EAAE,CAAC,qBAAqB,CAAC;YAC3C,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,6BAA6B,CAAC;YAC5C,aAAa,EAAE,CAAC,4BAA4B,CAAC;YAC7C,oBAAoB,EAAE,CAAC,YAAY,EAAE,yBAAyB,CAAC;YAC/D,oBAAoB,EAAE,mBAAmB;SAC1C;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,uBAAuB,EAAE,4BAA4B,CAAC;YAChE,OAAO,EAAE,EAAE;YACX,gBAAgB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,kBAAkB,CAAC;YAC9E,kBAAkB,EAAE,CAAC,mBAAmB,CAAC;SAC1C;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,mDAAmD,CAAC;YAC5D,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,gBAAgB,EAAE,CAAC,gCAAgC,EAAE,mCAAmC,CAAC;YACzF,YAAY,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,2BAA2B;IAC3B;QACE,YAAY,EAAE,8BAA8B;QAC5C,cAAc,EAAE,cAAc;QAC9B,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,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACpG;YACD,eAAe,EAAE,CAAC,MAAM,EAAE,gBAAgB,EAAE,UAAU,EAAE,QAAQ,CAAC;YACjE,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,oDAAoD,CAAC;YACjE,UAAU,EAAE,CAAC,6BAA6B,EAAE,2BAA2B,CAAC;YACxE,WAAW,EAAE,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;YACvE,aAAa,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;YAC1D,oBAAoB,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC;YACjD,oBAAoB,EAAE,eAAe;SACtC;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,uBAAuB,EAAE,0BAA0B,CAAC;YAC9D,OAAO,EAAE,EAAE;YACX,gBAAgB,EAAE,CAAC,eAAe,EAAE,eAAe,EAAE,eAAe,CAAC;YACrE,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;SACzC;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,gDAAgD,CAAC;YACzD,cAAc,EAAE,CAAC,qCAAqC,CAAC;YACvD,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,sBAAsB,EAAE,wBAAwB,CAAC;YAC3F,YAAY,EAAE,CAAC,kCAAkC,CAAC;SACnD;QACD,MAAM,EAAE,qBAAqB;KAC9B;CACF,CAAC"}

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

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

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

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