soloforge 1.1.43 → 1.1.44

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

@@ -1,389 +0,0 @@
-/**
- * Mechanisms Core — 契约层模块。
- *
- * 职责边界：
- * - 负责：MECHANISM_CONTRACTS_CORE 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：index
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const MECHANISM_CONTRACTS_CORE = [
-    // ── 1. 命令路由（意图 → 4 能力域路由；owner: src/core/intent_router.ts routeIntent） ──
-    {
-        mechanism_id: "mc-command-router",
-        mechanism_name: "命令路由（意图→能力域）",
-        owner_issue_id: "重构-4能力域",
-        priority: "P0",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/shared/命令路由.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
-                { path: "templates/shared/命令路由.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["design", "build", "verify", "operate"],
-            injected_workflows: ["planning", "code_change", "review", "delivery"],
-            target_hosts: ["claude_code", "codex", "trae"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/core/intent_router.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["routeIntent"],
-            state_effects: ["intent → domain", "domain → required_artifacts"],
-            hard_fail_conditions: ["sf_task start 未调用 routeIntent", "路由 domain 不在 4 能力域内"],
-            degradation_behavior: "无关键词匹配时默认路由到 design 域（先想清楚再做）",
-        },
-        evidence_layer: {
-            outputs: ["domain", "required_artifacts"],
-            reports: ["RoutingTrace"],
-            diagnostic_codes: ["intent-routed", "default-domain-fallback"],
-            task_context_facts: ["domain", "required_artifacts"],
-        },
-        verification_layer: {
-            tests: ["tests/core/intent_router.test.ts"],
-            runtime_checks: ["route_intent_domain_valid"],
-            regression_cases: ["intent_routes_to_correct_domain", "unknown_intent_defaults_to_design"],
-            drift_checks: ["route_table_matches_domain_enum"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 2. 工作流契约 ──
-    {
-        mechanism_id: "mc-workflow-contract",
-        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/verify/工作流.md", asset_kind: "checklist", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design", "design"],
-            injected_workflows: ["code_change", "verification", "delivery"],
-            target_hosts: ["claude_code", "codex", "trae"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/contracts/dual_layer_mechanism_registry/validation.ts"],
-            registries: ["workflow_contract_registry"],
-            entrypoints: ["getAllWorkflowMechanismIds"],
-            state_effects: ["workflow_id → mechanism binding", "required_mechanisms → guard check"],
-            hard_fail_conditions: ["workflow 缺失 required_mechanism", "workflow 与 route 不匹配"],
-            degradation_behavior: "workflow 未命中时降级为默认 workflow，不阻断",
-        },
-        evidence_layer: {
-            outputs: ["WorkflowTrace", "governance_findings"],
-            reports: ["WorkflowValidationReport"],
-            diagnostic_codes: ["workflow-regression", "missing-required-mechanism"],
-            task_context_facts: ["workflow_id", "mutation_allowed", "required_mechanisms"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/workflow_contract_registry.test.ts"],
-            runtime_checks: ["workflow_contract_validation"],
-            regression_cases: ["all_workflows_have_required_mechanisms", "workflow_route_coverage"],
-            drift_checks: ["workflow_template_matches_route"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 3. 知识注入边界 — 已删除（三道门决策，无运行时调用）──
-    {
-        mechanism_id: "mc-knowledge-injection-boundary",
-        mechanism_name: "知识注入边界（已删除）",
-        owner_issue_id: "问题八",
-        priority: "P0",
-        template_layer: { required: false, assets: [], injected_stages: [], injected_workflows: [], target_hosts: [], language_policy: "zh_first" },
-        enforcement_layer: { required: false, enforcers: [], registries: [], entrypoints: [], state_effects: [], hard_fail_conditions: [], degradation_behavior: "已删除" },
-        evidence_layer: { outputs: [], reports: [], diagnostic_codes: [], task_context_facts: [] },
-        verification_layer: { tests: [], runtime_checks: [], regression_cases: [], drift_checks: [] },
-        status: "deprecated",
-    },
-    // ── 4. 工具调用契约 ──
-    {
-        mechanism_id: "mc-tool-invocation-contract",
-        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/shared/工具调用.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design"],
-            injected_workflows: ["code_change", "verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/contracts/tool_invocation_contract_registry.ts"],
-            registries: ["tool_invocation_contract_registry"],
-            entrypoints: ["validateToolInvocation"],
-            state_effects: ["forbidden tool → blocked", "strict tool → requires approval"],
-            hard_fail_conditions: ["forbidden tool transition", "strict tool without approval"],
-            degradation_behavior: "tool contract 未命中时降级为 normal，不阻断",
-        },
-        evidence_layer: {
-            outputs: ["ToolInvocationFinding", "forbidden_transition"],
-            reports: ["ToolInvocationReport"],
-            diagnostic_codes: ["forbidden-tool-transition", "strict-tool-without-approval"],
-            task_context_facts: ["next_allowed_tools", "forbidden_tools"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/contract_registry.test.ts"],
-            runtime_checks: ["tool_transition_gate"],
-            regression_cases: ["no_forbidden_transition_allowed", "strict_tools_require_confirm"],
-            drift_checks: ["tool_contract_matches_adapter_tools"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 5. 验证契约 ──
-    {
-        mechanism_id: "mc-verifier",
-        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/verify/验证.md", asset_kind: "checklist", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design"],
-            injected_workflows: ["verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/verifier.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["generateVerifyCommands"],
-            state_effects: ["verify → learn", "main_path_integration_failed → retrying"],
-            hard_fail_conditions: ["build failed", "tests failed", "integration check failed"],
-            degradation_behavior: "无 build/test 命令时降级为 plan_only，不阻断",
-        },
-        evidence_layer: {
-            outputs: ["VerifyResult", "evidence"],
-            reports: ["VerificationReport", "CorePrinciplesReport"],
-            diagnostic_codes: ["verification-strategy-mismatch", "evidence-level-insufficient"],
-            task_context_facts: ["verification_result", "build_passed", "tests_passed"],
-        },
-        verification_layer: {
-            tests: ["tests/verify/verifier_phase25.test.ts"],
-            runtime_checks: ["verification_gate"],
-            regression_cases: ["verify_generates_correct_commands", "verify_handles_no_build_gracefully"],
-            drift_checks: ["verify_output_matches_acceptance"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 6. 主链路接入 ──
-    {
-        mechanism_id: "mc-main-path-integration",
-        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/build/主链路接入验证.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-                { path: "templates/verify/主链路接入.md", asset_kind: "checklist", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design"],
-            injected_workflows: ["verification", "delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/main_path_integration_contract.ts"],
-            registries: ["main_path_integration_contract"],
-            entrypoints: ["orphanGate", "auditIntegration", "validateMainPathIntegration"],
-            state_effects: ["orphan detected → retrying", "integration_passed → done"],
-            hard_fail_conditions: ["orphan module detected", "integration test missing for non-trivial module"],
-            degradation_behavior: "integration check 不可用时降级为 advisory",
-        },
-        evidence_layer: {
-            outputs: ["IntegrationAuditReport", "IntegrationFinding", "orphan_id"],
-            reports: ["IntegrationReport"],
-            diagnostic_codes: ["orphan-module", "test-only-module", "unreachable-capability"],
-            task_context_facts: ["integration_result", "orphan_modules"],
-        },
-        verification_layer: {
-            tests: ["tests/adapters/main_path_integration_gate.test.ts"],
-            runtime_checks: ["orphan_scan", "reachability_scan"],
-            regression_cases: ["new_module_must_have_integration_test", "no_orphan_allowed"],
-            drift_checks: ["integration_coverage_matches_registry"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 7. 隐私边界 ──
-    {
-        mechanism_id: "mc-privacy-boundary",
-        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/verify/隐私审查.md", asset_kind: "checklist", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design", "*"],
-            injected_workflows: ["code_change", "review"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/privacy/index.ts", "src/gate/scope_controller.ts"],
-            registries: ["privacy_secret_contract", "capability_registry"],
-            entrypoints: ["scanTextSensitivity", "evaluatePrivacyGate", "redactSensitiveText"],
-            state_effects: ["secret detected → read blocked", "redaction applied to prompt"],
-            hard_fail_conditions: ["secret in prompt", "PII not redacted", "forbidden source read"],
-            degradation_behavior: "privacy scanner 不可用时保守阻断",
-        },
-        evidence_layer: {
-            outputs: ["RedactionRecord", "PrivacyFinding"],
-            reports: ["PrivacyBoundaryReport"],
-            diagnostic_codes: ["secret-leak", "pii-exposure"],
-            task_context_facts: ["sensitivity_labels", "redaction_records"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/privacy_secret_contract.test.ts"],
-            runtime_checks: ["secret_scan", "pii_detection"],
-            regression_cases: ["env_file_blocked", "token_redacted", ".ssh_forbidden"],
-            drift_checks: ["privacy_rules_match_code_patterns"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 8. 命令执行契约 ──
-    {
-        mechanism_id: "mc-command-execution",
-        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/shared/命令执行.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build"],
-            injected_workflows: ["verification"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/gate/contracts/command_execution_contract.ts"],
-            registries: ["command_execution_contract"],
-            entrypoints: ["classifyCommand", "validateCommandExecution"],
-            state_effects: ["destructive command → must_confirm", "unclassified command → blocked"],
-            hard_fail_conditions: ["destructive command without confirmation", "unclassified command"],
-            degradation_behavior: "command classifier 不可用时降级为 advisory",
-        },
-        evidence_layer: {
-            outputs: ["CommandClassification", "CommandExecutionResult"],
-            reports: ["CommandExecutionReport"],
-            diagnostic_codes: ["destructive-command", "unclassified-command"],
-            task_context_facts: ["command_tier", "command_classification"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core/command_execution_contract.test.ts"],
-            runtime_checks: ["command_classification_gate"],
-            regression_cases: ["destructive_commands_blocked", "unclassified_command_rejected"],
-            drift_checks: ["command_rules_match_classifier"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 9. 核心工程执行原则 ──
-    {
-        mechanism_id: "mc-core-engineering-principles",
-        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/verify/核心工程执行.md", asset_kind: "checklist", consumption_mode: "supporting" },
-                { path: "templates/design/编码前澄清.md", asset_kind: "pipeline_procedure", consumption_mode: "supporting" },
-            ],
-            injected_stages: ["build", "design", "design"],
-            injected_workflows: ["code_change", "verification", "review"],
-            target_hosts: ["claude_code", "codex", "trae"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: ["src/verify/audit/core_engineering_principles.ts"],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: ["checkCorePrinciples", "validateAntiCircumvention"],
-            state_effects: ["principles_failed → repair_reverify", "principles_passed → advance"],
-            hard_fail_conditions: ["required principle failed at L2+", "pseudo-satisfaction detected"],
-            degradation_behavior: "principles module 不可用时降级为 advisory，不阻断",
-        },
-        evidence_layer: {
-            outputs: ["CorePrinciplesReport", "ClarificationNeed", "AssumptionRecord", "GoalDefinition"],
-            reports: ["CorePrinciplesCheckResult"],
-            diagnostic_codes: ["principle-violation", "pseudo-satisfaction", "missing-goal-definition"],
-            task_context_facts: ["core_principles_result", "task_level"],
-        },
-        verification_layer: {
-            tests: ["tests/engine/core_engineering_principles.test.ts"],
-            runtime_checks: ["principle_gate_at_verify"],
-            regression_cases: ["L2_requires_all_principles", "anti_circumvention_catches_pseudo"],
-            drift_checks: ["principle_rules_match_code_checks"],
-        },
-        status: "dual_layer_enforced",
-    },
-    // ── 10. 交付门禁（已废弃 — delivery.ts 已删除，由 delivery_readiness.ts 替代） ──
-    {
-        mechanism_id: "mc-delivery-gate",
-        mechanism_name: "交付门禁（已废弃）",
-        owner_issue_id: "问题十二",
-        priority: "P3",
-        template_layer: {
-            required: true,
-            assets: [
-                { path: "templates/build/验收测试规划.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
-            ],
-            injected_stages: ["build", "design"],
-            injected_workflows: ["delivery"],
-            target_hosts: ["claude_code"],
-            language_policy: "zh_first",
-        },
-        enforcement_layer: {
-            required: true,
-            enforcers: [],
-            registries: ["mechanism_contract_registry"],
-            entrypoints: [],
-            state_effects: ["delivery_ready → deliver", "delivery_blocked → retrying"],
-            hard_fail_conditions: ["delivery without verification", "active write lease conflict"],
-            degradation_behavior: "delivery module 不可用时降级为 manual_required",
-        },
-        evidence_layer: {
-            outputs: ["DeliveryResult", "ArtifactVerificationResult"],
-            reports: ["DeliveryReadinessReport"],
-            diagnostic_codes: ["delivery-without-verify", "lease-conflict"],
-            task_context_facts: ["delivery_status", "artifact_status"],
-        },
-        verification_layer: {
-            tests: [],
-            runtime_checks: ["delivery_readiness_gate"],
-            regression_cases: ["cannot_deliver_without_verify", "lease_conflict_blocks_delivery"],
-            drift_checks: ["delivery_contract_matches_verifier_output"],
-        },
-        status: "deprecated",
-    },
-];
-//# sourceMappingURL=mechanisms_core.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"mechanisms_core.js","sourceRoot":"","sources":["../../../../src/verify/contracts/dual_layer_mechanism_registry/mechanisms_core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAiC;IACpE,2EAA2E;IAC3E;QACE,YAAY,EAAE,mBAAmB;QACjC,cAAc,EAAE,cAAc;QAC9B,cAAc,EAAE,SAAS;QACzB,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,YAAY,EAAE;aACvG;YACD,eAAe,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC;YACzD,kBAAkB,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC;YACrE,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,2BAA2B,CAAC;YACxC,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,aAAa,CAAC;YAC5B,aAAa,EAAE,CAAC,iBAAiB,EAAE,6BAA6B,CAAC;YACjE,oBAAoB,EAAE,CAAC,+BAA+B,EAAE,qBAAqB,CAAC;YAC9E,oBAAoB,EAAE,+BAA+B;SACtD;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,QAAQ,EAAE,oBAAoB,CAAC;YACzC,OAAO,EAAE,CAAC,cAAc,CAAC;YACzB,gBAAgB,EAAE,CAAC,eAAe,EAAE,yBAAyB,CAAC;YAC9D,kBAAkB,EAAE,CAAC,QAAQ,EAAE,oBAAoB,CAAC;SACrD;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,kCAAkC,CAAC;YAC3C,cAAc,EAAE,CAAC,2BAA2B,CAAC;YAC7C,gBAAgB,EAAE,CAAC,iCAAiC,EAAE,mCAAmC,CAAC;YAC1F,YAAY,EAAE,CAAC,iCAAiC,CAAC;SAClD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,iBAAiB;IACjB;QACE,YAAY,EAAE,sBAAsB;QACpC,cAAc,EAAE,OAAO;QACvB,cAAc,EAAE,KAAK;QACrB,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,yBAAyB,EAAE,UAAU,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE;aAC7F;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;YAC9C,kBAAkB,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,UAAU,CAAC;YAC/D,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,kEAAkE,CAAC;YAC/E,UAAU,EAAE,CAAC,4BAA4B,CAAC;YAC1C,WAAW,EAAE,CAAC,4BAA4B,CAAC;YAC3C,aAAa,EAAE,CAAC,iCAAiC,EAAE,mCAAmC,CAAC;YACvF,oBAAoB,EAAE,CAAC,gCAAgC,EAAE,sBAAsB,CAAC;YAChF,oBAAoB,EAAE,iCAAiC;SACxD;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,eAAe,EAAE,qBAAqB,CAAC;YACjD,OAAO,EAAE,CAAC,0BAA0B,CAAC;YACrC,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,4BAA4B,CAAC;YACvE,kBAAkB,EAAE,CAAC,aAAa,EAAE,kBAAkB,EAAE,qBAAqB,CAAC;SAC/E;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,sDAAsD,CAAC;YAC/D,cAAc,EAAE,CAAC,8BAA8B,CAAC;YAChD,gBAAgB,EAAE,CAAC,wCAAwC,EAAE,yBAAyB,CAAC;YACvF,YAAY,EAAE,CAAC,iCAAiC,CAAC;SAClD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,qCAAqC;IACrC;QACE,YAAY,EAAE,iCAAiC;QAC/C,cAAc,EAAE,aAAa;QAC7B,cAAc,EAAE,KAAK;QACrB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,UAAU,EAAE;QAC3I,iBAAiB,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE;QAChK,cAAc,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE;QAC1F,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;QAC7F,MAAM,EAAE,YAAY;KACrB;IAED,kBAAkB;IAClB;QACE,YAAY,EAAE,6BAA6B;QAC3C,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBAChG,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,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,yDAAyD,CAAC;YACtE,UAAU,EAAE,CAAC,mCAAmC,CAAC;YACjD,WAAW,EAAE,CAAC,wBAAwB,CAAC;YACvC,aAAa,EAAE,CAAC,0BAA0B,EAAE,iCAAiC,CAAC;YAC9E,oBAAoB,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,CAAC;YACnF,oBAAoB,EAAE,kCAAkC;SACzD;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;YAC1D,OAAO,EAAE,CAAC,sBAAsB,CAAC;YACjC,gBAAgB,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,CAAC;YAC/E,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;SAC9D;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,wCAAwC,CAAC;YACjD,cAAc,EAAE,CAAC,sBAAsB,CAAC;YACxC,gBAAgB,EAAE,CAAC,iCAAiC,EAAE,8BAA8B,CAAC;YACrF,YAAY,EAAE,CAAC,qCAAqC,CAAC;SACtD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,gBAAgB;IAChB;QACE,YAAY,EAAE,aAAa;QAC3B,cAAc,EAAE,MAAM;QACtB,cAAc,EAAE,MAAM;QACtB,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,wBAAwB,EAAE,UAAU,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE;aAC5F;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YACpC,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,8BAA8B,CAAC;YAC3C,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,wBAAwB,CAAC;YACvC,aAAa,EAAE,CAAC,gBAAgB,EAAE,yCAAyC,CAAC;YAC5E,oBAAoB,EAAE,CAAC,cAAc,EAAE,cAAc,EAAE,0BAA0B,CAAC;YAClF,oBAAoB,EAAE,mCAAmC;SAC1D;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YACrC,OAAO,EAAE,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;YACvD,gBAAgB,EAAE,CAAC,gCAAgC,EAAE,6BAA6B,CAAC;YACnF,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,cAAc,EAAE,cAAc,CAAC;SAC5E;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,uCAAuC,CAAC;YAChD,cAAc,EAAE,CAAC,mBAAmB,CAAC;YACrC,gBAAgB,EAAE,CAAC,mCAAmC,EAAE,oCAAoC,CAAC;YAC7F,YAAY,EAAE,CAAC,kCAAkC,CAAC;SACnD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,iBAAiB;IACjB;QACE,YAAY,EAAE,0BAA0B;QACxC,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,2BAA2B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBACjG,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBACtG,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE;aAC/F;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YACpC,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,oDAAoD,CAAC;YACjE,UAAU,EAAE,CAAC,gCAAgC,CAAC;YAC9C,WAAW,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,6BAA6B,CAAC;YAC9E,aAAa,EAAE,CAAC,4BAA4B,EAAE,2BAA2B,CAAC;YAC1E,oBAAoB,EAAE,CAAC,wBAAwB,EAAE,iDAAiD,CAAC;YACnG,oBAAoB,EAAE,oCAAoC;SAC3D;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,wBAAwB,EAAE,oBAAoB,EAAE,WAAW,CAAC;YACtE,OAAO,EAAE,CAAC,mBAAmB,CAAC;YAC9B,gBAAgB,EAAE,CAAC,eAAe,EAAE,kBAAkB,EAAE,wBAAwB,CAAC;YACjF,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;SAC7D;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,mDAAmD,CAAC;YAC5D,cAAc,EAAE,CAAC,aAAa,EAAE,mBAAmB,CAAC;YACpD,gBAAgB,EAAE,CAAC,uCAAuC,EAAE,mBAAmB,CAAC;YAChF,YAAY,EAAE,CAAC,uCAAuC,CAAC;SACxD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,gBAAgB;IAChB;QACE,YAAY,EAAE,qBAAqB;QACnC,cAAc,EAAE,WAAW;QAC3B,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;gBAClG,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE;aAC9F;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC;YACzC,kBAAkB,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC;YAC7C,YAAY,EAAE,CAAC,aAAa,CAAC;YAC7B,eAAe,EAAE,UAAU;SAC5B;QACD,iBAAiB,EAAE;YACjB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,CAAC,2BAA2B,EAAE,8BAA8B,CAAC;YACxE,UAAU,EAAE,CAAC,yBAAyB,EAAE,qBAAqB,CAAC;YAC9D,WAAW,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;YAClF,aAAa,EAAE,CAAC,gCAAgC,EAAE,6BAA6B,CAAC;YAChF,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,uBAAuB,CAAC;YACvF,oBAAoB,EAAE,0BAA0B;SACjD;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;YAC9C,OAAO,EAAE,CAAC,uBAAuB,CAAC;YAClC,gBAAgB,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC;YACjD,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,CAAC;SAChE;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,mDAAmD,CAAC;YAC5D,cAAc,EAAE,CAAC,aAAa,EAAE,eAAe,CAAC;YAChD,gBAAgB,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,gBAAgB,CAAC;YAC1E,YAAY,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,kBAAkB;IAClB;QACE,YAAY,EAAE,sBAAsB;QACpC,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBAChG,EAAE,IAAI,EAAE,0BAA0B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,YAAY,EAAE;aACvG;YACD,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,kDAAkD,CAAC;YAC/D,UAAU,EAAE,CAAC,4BAA4B,CAAC;YAC1C,WAAW,EAAE,CAAC,iBAAiB,EAAE,0BAA0B,CAAC;YAC5D,aAAa,EAAE,CAAC,oCAAoC,EAAE,gCAAgC,CAAC;YACvF,oBAAoB,EAAE,CAAC,0CAA0C,EAAE,sBAAsB,CAAC;YAC1F,oBAAoB,EAAE,qCAAqC;SAC5D;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,uBAAuB,EAAE,wBAAwB,CAAC;YAC5D,OAAO,EAAE,CAAC,wBAAwB,CAAC;YACnC,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,sBAAsB,CAAC;YACjE,kBAAkB,EAAE,CAAC,cAAc,EAAE,wBAAwB,CAAC;SAC/D;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,sDAAsD,CAAC;YAC/D,cAAc,EAAE,CAAC,6BAA6B,CAAC;YAC/C,gBAAgB,EAAE,CAAC,8BAA8B,EAAE,+BAA+B,CAAC;YACnF,YAAY,EAAE,CAAC,gCAAgC,CAAC;SACjD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,oBAAoB;IACpB;QACE,YAAY,EAAE,gCAAgC;QAC9C,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,8BAA8B,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,UAAU,EAAE;gBACpG,EAAE,IAAI,EAAE,4BAA4B,EAAE,UAAU,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE;gBAC/F,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,YAAY,EAAE;aACxG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;YAC9C,kBAAkB,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,QAAQ,CAAC;YAC7D,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,iDAAiD,CAAC;YAC9D,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,CAAC,qBAAqB,EAAE,2BAA2B,CAAC;YACjE,aAAa,EAAE,CAAC,qCAAqC,EAAE,6BAA6B,CAAC;YACrF,oBAAoB,EAAE,CAAC,kCAAkC,EAAE,8BAA8B,CAAC;YAC1F,oBAAoB,EAAE,wCAAwC;SAC/D;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,gBAAgB,CAAC;YAC5F,OAAO,EAAE,CAAC,2BAA2B,CAAC;YACtC,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,yBAAyB,CAAC;YAC3F,kBAAkB,EAAE,CAAC,wBAAwB,EAAE,YAAY,CAAC;SAC7D;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,CAAC,kDAAkD,CAAC;YAC3D,cAAc,EAAE,CAAC,0BAA0B,CAAC;YAC5C,gBAAgB,EAAE,CAAC,4BAA4B,EAAE,mCAAmC,CAAC;YACrF,YAAY,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE,qBAAqB;KAC9B;IAED,mEAAmE;IACnE;QACE,YAAY,EAAE,kBAAkB;QAChC,cAAc,EAAE,WAAW;QAC3B,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,2BAA2B,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE;aACtG;YACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;YACpC,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,EAAE;YACb,UAAU,EAAE,CAAC,6BAA6B,CAAC;YAC3C,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,CAAC,0BAA0B,EAAE,6BAA6B,CAAC;YAC1E,oBAAoB,EAAE,CAAC,+BAA+B,EAAE,6BAA6B,CAAC;YACtF,oBAAoB,EAAE,yCAAyC;SAChE;QACD,cAAc,EAAE;YACd,OAAO,EAAE,CAAC,gBAAgB,EAAE,4BAA4B,CAAC;YACzD,OAAO,EAAE,CAAC,yBAAyB,CAAC;YACpC,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,gBAAgB,CAAC;YAC/D,kBAAkB,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;SAC3D;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,EAAE;YACT,cAAc,EAAE,CAAC,yBAAyB,CAAC;YAC3C,gBAAgB,EAAE,CAAC,+BAA+B,EAAE,gCAAgC,CAAC;YACrF,YAAY,EAAE,CAAC,2CAA2C,CAAC;SAC5D;QACD,MAAM,EAAE,YAAY;KACrB;CACF,CAAC"}

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

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

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

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