soloforge 1.1.45 → 1.1.47

package/dist/server/tools/middleware/budget_check.js

@@ -1,69 +0,0 @@
-/**
- * LLM Token 预算检查 — 从 middleware.ts 抽出的独立关切。
- *
- * 职责边界：
- * - 负责：在调用 AI 能力前校验 LLMGateway 的 Token 预算
- * - 不负责：合同授权、工作区校验、denied_paths
- *
- * 被谁调用：middleware.performToolCall
- * 调用谁：LLMGateway.request / SoloForgeError 类型
- *
- * 数据流：(toolName, aiOp, taskId) → { allowed, violation?, warning? }
- * 持久化：无
- *
- * CORE-001：超预算时硬熔断（hard_fail）；网关自身异常降级放行并返回 warning。
- */
-import { debug } from "../../../shared/logger.js";
-/**
- * 工具 → AI 操作类型映射。
- *
- * 设计依据（预算墙根治，P0-1）：预算只管「真实 AI 生成」。SoloForge 的真实 AI 调用是
- * Claude 本身（由 harness 触发，不经 LLMGateway），此处仅对「会触发 code_generation 的工具」
- * 做 token 影子记账。验证类 / 审查类 / 报告类工具零 LLM 调用，不进映射表，永不被预算墙堵。
- */
-const TOOL_AI_OPERATIONS = {
-    // v2 域架构工具
-    sf_work: "code_generation", // act 动作触发 AI 生成代码
-};
-/**
- * 检查工具调用的 LLM Token 预算。
- *
- * @param toolName 工具名
- * @param invocationId 调用 ID（写入 violation 用）
- * @param taskId 任务 ID
- * @param gateway LLM 网关
- * @returns 预算检查结果（violation 表示硬阻断，warning 表示软警告）
- */
-export function checkTokenBudget(toolName, invocationId, taskId, gateway) {
-    const aiOp = TOOL_AI_OPERATIONS[toolName];
-    if (!aiOp)
-        return {};
-    try {
-        const budgetResult = gateway.request(aiOp, taskId);
-        if (!budgetResult.allowed) {
-            // 超预算 → 硬熔断阻断
-            return {
-                violation: {
-                    invocation_id: invocationId,
-                    tool_name: toolName,
-                    violation_type: "guard_blocked",
-                    severity: "hard_fail",
-                    reason: `Token 预算不足: ${budgetResult.reason ?? "未知原因"}`,
-                    recovery: "等待预算恢复后重试，或使用 sf_doctor 查看可执行操作",
-                },
-            };
-        }
-        // 放行但存在 reason 时记录为警告，供后续 response 注入
-        if (budgetResult.reason) {
-            return { warning: budgetResult.reason };
-        }
-        return {};
-    }
-    catch (budgetErr) {
-        // 网关自身异常不阻断业务，降级放行并记录警告
-        const errMsg = budgetErr instanceof Error ? budgetErr.message : String(budgetErr);
-        debug("middleware", `LLMGateway 检查异常（降级放行）: ${errMsg}`);
-        return { warning: `LLMGateway 检查异常（降级放行）: ${errMsg}` };
-    }
-}
-//# sourceMappingURL=budget_check.js.map

package/dist/server/tools/middleware/budget_check.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"budget_check.js","sourceRoot":"","sources":["../../../../src/server/tools/middleware/budget_check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAIlD;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAoC;IAC1D,WAAW;IACX,OAAO,EAAE,iBAAiB,EAAY,mBAAmB;CAC1D,CAAC;AAUF;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAgB,EAChB,YAAoB,EACpB,MAA0B,EAC1B,OAAmB;IAEnB,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;YAC1B,cAAc;YACd,OAAO;gBACL,SAAS,EAAE;oBACT,aAAa,EAAE,YAAY;oBAC3B,SAAS,EAAE,QAAQ;oBACnB,cAAc,EAAE,eAAe;oBAC/B,QAAQ,EAAE,WAAW;oBACrB,MAAM,EAAE,eAAe,YAAY,CAAC,MAAM,IAAI,MAAM,EAAE;oBACtD,QAAQ,EAAE,iCAAiC;iBAC5C;aACF,CAAC;QACJ,CAAC;QACD,sCAAsC;QACtC,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;YACxB,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC;QAC1C,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,SAAS,EAAE,CAAC;QACnB,wBAAwB;QACxB,MAAM,MAAM,GAAG,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAClF,KAAK,CAAC,YAAY,EAAE,0BAA0B,MAAM,EAAE,CAAC,CAAC;QACxD,OAAO,EAAE,OAAO,EAAE,0BAA0B,MAAM,EAAE,EAAE,CAAC;IACzD,CAAC;AACH,CAAC"}

package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts

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

package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"builtin_contracts_core.d.ts","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/builtin_contracts_core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAExD,eAAO,MAAM,wBAAwB,EAAE,SAAS,qBAAqB,EAmS3D,CAAC"}

package/dist/shared/contracts/contract_registry/builtin_contracts_core.js

@@ -1,306 +0,0 @@
-/**
- * Builtin Contracts Core — 契约层模块。
- *
- * 职责边界：
- * - 负责：BUILTIN_CONTRACTS_CORE_1 等 契约层职责
- * - 不负责：不属于本模块的职责由对应模块承担
- *
- * 被谁调用：契约验证、注册表查询
- * 调用谁：types
- *
- * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
- * 持久化：无持久化（纯计算/内存态）
- */
-export const BUILTIN_CONTRACTS_CORE_1 = [
-    // ── 1. 工作流契约 ──
-    {
-        contract_id: "workflow_contract",
-        kind: "workflow",
-        name: "工作流契约",
-        state: "enforced",
-        owner_component: "engine/workflow_contract_registry",
-        owner_files: ["src/verify/contracts/dual_layer_mechanism_registry/validation.ts"],
-        test_files: ["tests/engine/workflow_contract_registry.test.ts"],
-        lifecycle_test_files: ["tests/engine/workflow_contract_registry.test.ts"],
-        knowledge_refs: ["templates/shared/工作流契约.md"],
-        prompt_refs: [],
-        depends_on: ["command_state_contract"],
-        consumed_by: ["tool_invocation_contract", "main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 workflow 有集成测试"],
-        demotion_conditions: ["workflow regression check 漏检"],
-        evidence_requirements: ["getAllWorkflowMechanismIds mechanism coverage valid"],
-        policy_id: "CAP-021",
-        capability_ids: ["workflow_contract"],
-    },
-    // ── 2. 工具调用契约 ──
-    {
-        contract_id: "tool_invocation_contract",
-        kind: "guard",
-        name: "工具调用契约",
-        state: "enforced",
-        owner_component: "engine/tool_invocation_contract_registry",
-        owner_files: ["src/gate/contracts/tool_invocation_contract_registry.ts"],
-        test_files: ["tests/engine/tool_invocation_contract_registry.test.ts"],
-        lifecycle_test_files: ["tests/engine/tool_invocation_contract_registry.test.ts"],
-        knowledge_refs: ["templates/shared/工具调用.md"],
-        prompt_refs: [],
-        depends_on: ["workflow_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 MCP tool 有 invocation test"],
-        demotion_conditions: ["tool invocation regression 漏检"],
-        evidence_requirements: ["validateToolInvocation 无 hard_fail"],
-        policy_id: "CAP-022",
-        capability_ids: ["tool_invocation_contract"],
-    },
-    // ── 3. 机制契约 ──
-    {
-        contract_id: "mechanism_contract",
-        kind: "mechanism_family",
-        name: "机制契约",
-        state: "enforced",
-        owner_component: "engine/mechanism_contract_registry",
-        owner_files: ["src/verify/contracts/mechanism_contract_registry/validation.ts"],
-        test_files: ["tests/engine/mechanism_contract_registry.test.ts"],
-        lifecycle_test_files: ["tests/engine/mechanism_contract_registry.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["workflow_contract", "tool_invocation_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 P0 机制有 lifecycle test"],
-        demotion_conditions: ["机制 regression check 漏检"],
-        evidence_requirements: ["validateMechanismContracts 无 hard_fail"],
-    },
-    // ── 4. 产物契约 ──
-    {
-        contract_id: "artifact_contract",
-        kind: "delivery",
-        name: "产物契约",
-        state: "enforced",
-        owner_component: "engine/artifact_contract_registry",
-        owner_files: ["src/domain/contracts/artifact_contract_registry.ts"],
-        test_files: ["tests/engine/artifact_contract_registry.test.ts"],
-        lifecycle_test_files: ["tests/engine/artifact_contract_registry.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["workflow_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 artifact kind 有测试"],
-        demotion_conditions: ["artifact regression 漏检"],
-        evidence_requirements: ["validateArtifactContracts 无 hard_fail"],
-    },
-    // ── 5. 输入物料契约 ──
-    {
-        contract_id: "input_material_contract",
-        kind: "verification",
-        name: "输入物料契约",
-        state: "enforced",
-        owner_component: "engine/input_material_contract_registry",
-        owner_files: ["src/domain/input_material_contract_registry.ts"],
-        test_files: ["tests/engine/input_material_contract_registry.test.ts"],
-        lifecycle_test_files: ["tests/engine/input_material_contract_registry.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["privacy_secret_contract"],
-        consumed_by: ["workflow_contract", "main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 material kind 有测试"],
-        demotion_conditions: ["material regression 漏检"],
-        evidence_requirements: ["input material contract 验证通过"],
-    },
-    // ── 6. 命令执行契约 ──
-    {
-        contract_id: "command_execution_contract",
-        kind: "guard",
-        name: "命令执行契约",
-        state: "enforced",
-        owner_component: "engine/command_execution_contract",
-        owner_files: ["src/gate/contracts/command_execution_contract.ts"],
-        test_files: ["tests/engine/command_execution_contract.test.ts"],
-        lifecycle_test_files: ["tests/engine/command_execution_contract.test.ts"],
-        knowledge_refs: ["templates/shared/命令执行.md"],
-        prompt_refs: [],
-        depends_on: ["tool_invocation_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["覆盖所有 destructive 命令模式"],
-        demotion_conditions: ["destructive 命令漏检"],
-        evidence_requirements: ["命令分级测试通过"],
-        policy_id: "CAP-025",
-        capability_ids: ["command_execution"],
-    },
-    // ── 7. 隐私/敏感信息契约 ──
-    {
-        contract_id: "privacy_secret_contract",
-        kind: "guard",
-        name: "隐私/敏感信息契约",
-        state: "enforced",
-        owner_component: "engine/privacy_secret_contract",
-        owner_files: ["src/gate/privacy/index.ts"],
-        test_files: ["tests/engine/privacy_secret_contract.test.ts"],
-        lifecycle_test_files: ["tests/engine/privacy_secret_contract.test.ts"],
-        knowledge_refs: ["templates/shared/敏感信息处理.md"],
-        prompt_refs: [],
-        depends_on: [],
-        consumed_by: ["input_material_contract", "main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["覆盖所有 PII 类型"],
-        demotion_conditions: ["secret scanner 产生大量误报"],
-        evidence_requirements: ["RedactionRecord 测试通过"],
-        policy_id: "CAP-024",
-        capability_ids: ["privacy_secret"],
-    },
-    // ── config_precedence_contract（已移除：三层配置冲突检测替代优先级契约）──
-    // ── 9. 用户反馈契约 ──
-    {
-        contract_id: "user_feedback_contract",
-        kind: "delivery",
-        name: "用户反馈契约",
-        state: "enforced",
-        owner_component: "engine/user_feedback_contract",
-        owner_files: ["src/verify/contracts/user_feedback_contract.ts"],
-        test_files: ["tests/engine/user_feedback_contract.test.ts"],
-        lifecycle_test_files: ["tests/engine/user_feedback_contract.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: [],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有反馈类型有测试"],
-        demotion_conditions: ["反馈回归漏检"],
-        evidence_requirements: ["用户反馈契约验证通过"],
-    },
-    // ── 10. 主链路接入契约 ──
-    {
-        contract_id: "main_path_integration_contract",
-        kind: "verification",
-        name: "主链路接入防孤岛契约",
-        state: "enforced",
-        owner_component: "engine/main_path_integration_contract",
-        owner_files: ["src/verify/audit/main_path_integration_contract.ts"],
-        test_files: ["tests/engine/main_path_integration_contract.test.ts"],
-        lifecycle_test_files: ["tests/engine/main_path_integration_contract.test.ts"],
-        knowledge_refs: ["templates/shared/防孤岛实现.md"],
-        prompt_refs: [],
-        depends_on: [
-            "workflow_contract",
-            "tool_invocation_contract",
-            "mechanism_contract",
-            "artifact_contract",
-        ],
-        consumed_by: ["contract_governance"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有 enforced 模块有 entry trace"],
-        demotion_conditions: ["orphan scan 产生大量误报"],
-        evidence_requirements: ["validateMainPathIntegration 无 hard_fail"],
-        policy_id: "CAP-023",
-        capability_ids: ["main_path_integration"],
-    },
-    // ── 11. 写范围校验契约（sf_work 写入前拦截，owner: src/core/scope_checker.ts checkScope） ──
-    {
-        contract_id: "command_state_contract",
-        kind: "workflow",
-        name: "写范围校验契约",
-        state: "enforced",
-        owner_component: "engine/scope_checker",
-        owner_files: ["src/core/scope_checker.ts"],
-        test_files: ["tests/core/scope_checker.test.ts"],
-        lifecycle_test_files: ["tests/core/scope_checker.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: [],
-        consumed_by: ["workflow_contract"],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有写范围校验有测试"],
-        demotion_conditions: ["写范围校验回归漏检"],
-        evidence_requirements: ["checkScope 无 hard_fail"],
-    },
-    // ── 12. 契约治理契约（问题二十自治理） ──
-    {
-        contract_id: "contract_governance",
-        kind: "verification",
-        name: "契约治理契约",
-        state: "enforced",
-        owner_component: "engine/contract_registry",
-        owner_files: ["src/shared/contracts/contract_registry/registry.ts"],
-        test_files: ["tests/engine/contract_registry.test.ts"],
-        lifecycle_test_files: ["tests/engine/contract_registry.test.ts"],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: [
-            "main_path_integration_contract",
-            "workflow_contract",
-            "tool_invocation_contract",
-        ],
-        consumed_by: [],
-        hard_fail_allowed: true,
-        promotion_conditions: ["所有核心契约已在 Unified Contract Registry 登记"],
-        demotion_conditions: ["契约治理检查产生大量误报"],
-        evidence_requirements: [
-            "validateContractRegistry 无 hard_fail",
-            "所有核心 contract 已登记",
-            "policy_id 到 contract_id 映射完整",
-        ],
-    },
-    // ── 13. 知识注入契约 — 已删除（三道门决策，无运行时调用）──
-    {
-        contract_id: "knowledge_injection_contract",
-        kind: "knowledge_injection",
-        name: "知识注入契约（已删除）",
-        state: "removed",
-        owner_component: "",
-        owner_files: [],
-        test_files: [],
-        lifecycle_test_files: [],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: [],
-        consumed_by: [],
-        hard_fail_allowed: false,
-        promotion_conditions: [],
-        demotion_conditions: [],
-        evidence_requirements: [],
-    },
-    // ── 14. 失败/恢复契约 ──
-    {
-        contract_id: "failure_recovery_contract",
-        kind: "failure",
-        name: "失败/恢复契约",
-        state: "advisory",
-        owner_component: "engine/failure_classifier",
-        owner_files: ["src/verify/audit/failure_classifier.ts"],
-        test_files: ["tests/engine/failure_classifier.test.ts"],
-        lifecycle_test_files: [],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["workflow_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: false,
-        promotion_conditions: ["所有失败分类有恢复策略测试"],
-        demotion_conditions: ["失败恢复逻辑产生误判"],
-        evidence_requirements: ["failure classifier 测试通过"],
-    },
-    // ── 15. 降级契约 ──
-    {
-        contract_id: "degradation_contract",
-        kind: "degradation",
-        name: "降级契约",
-        state: "advisory",
-        owner_component: "engine/runtime_safety",
-        owner_files: ["src/verify/audit/runtime_safety.ts"],
-        test_files: ["tests/engine/runtime_safety.test.ts"],
-        lifecycle_test_files: [],
-        knowledge_refs: [],
-        prompt_refs: [],
-        depends_on: ["failure_recovery_contract"],
-        consumed_by: ["main_path_integration_contract"],
-        hard_fail_allowed: false,
-        promotion_conditions: ["降级事件用户可见测试通过"],
-        demotion_conditions: ["降级逻辑产生误判"],
-        evidence_requirements: ["runtime safety 测试通过"],
-    },
-];
-//# sourceMappingURL=builtin_contracts_core.js.map

package/dist/shared/contracts/contract_registry/builtin_contracts_core.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"builtin_contracts_core.js","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/builtin_contracts_core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAqC;IACxE,iBAAiB;IACjB;QACE,WAAW,EAAE,mBAAmB;QAChC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,mCAAmC;QACpD,WAAW,EAAE,CAAC,kEAAkE,CAAC;QACjF,UAAU,EAAE,CAAC,iDAAiD,CAAC;QAC/D,oBAAoB,EAAE,CAAC,iDAAiD,CAAC;QACzE,cAAc,EAAE,CAAC,2BAA2B,CAAC;QAC7C,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,WAAW,EAAE,CAAC,0BAA0B,EAAE,gCAAgC,CAAC;QAC3E,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,mBAAmB,CAAC;QAC3C,mBAAmB,EAAE,CAAC,8BAA8B,CAAC;QACrD,qBAAqB,EAAE,CAAC,qDAAqD,CAAC;QAC9E,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,CAAC,mBAAmB,CAAC;KACtC;IACD,kBAAkB;IAClB;QACE,WAAW,EAAE,0BAA0B;QACvC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0CAA0C;QAC3D,WAAW,EAAE,CAAC,yDAAyD,CAAC;QACxE,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,oBAAoB,EAAE,CAAC,wDAAwD,CAAC;QAChF,cAAc,EAAE,CAAC,0BAA0B,CAAC;QAC5C,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,mBAAmB,CAAC;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,+BAA+B,CAAC;QACvD,mBAAmB,EAAE,CAAC,+BAA+B,CAAC;QACtD,qBAAqB,EAAE,CAAC,oCAAoC,CAAC;QAC7D,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,CAAC,0BAA0B,CAAC;KAC7C;IACD,gBAAgB;IAChB;QACE,WAAW,EAAE,oBAAoB;QACjC,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,oCAAoC;QACrD,WAAW,EAAE,CAAC,gEAAgE,CAAC;QAC/E,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,oBAAoB,EAAE,CAAC,kDAAkD,CAAC;QAC1E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,mBAAmB,EAAE,0BAA0B,CAAC;QAC7D,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,0BAA0B,CAAC;QAClD,mBAAmB,EAAE,CAAC,wBAAwB,CAAC;QAC/C,qBAAqB,EAAE,CAAC,wCAAwC,CAAC;KAClE;IACD,gBAAgB;IAChB;QACE,WAAW,EAAE,mBAAmB;QAChC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,mCAAmC;QACpD,WAAW,EAAE,CAAC,oDAAoD,CAAC;QACnE,UAAU,EAAE,CAAC,iDAAiD,CAAC;QAC/D,oBAAoB,EAAE,CAAC,iDAAiD,CAAC;QACzE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,mBAAmB,CAAC;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,sBAAsB,CAAC;QAC9C,mBAAmB,EAAE,CAAC,wBAAwB,CAAC;QAC/C,qBAAqB,EAAE,CAAC,uCAAuC,CAAC;KACjE;IACD,kBAAkB;IAClB;QACE,WAAW,EAAE,yBAAyB;QACtC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,yCAAyC;QAC1D,WAAW,EAAE,CAAC,gDAAgD,CAAC;QAC/D,UAAU,EAAE,CAAC,uDAAuD,CAAC;QACrE,oBAAoB,EAAE,CAAC,uDAAuD,CAAC;QAC/E,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,WAAW,EAAE,CAAC,mBAAmB,EAAE,gCAAgC,CAAC;QACpE,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,sBAAsB,CAAC;QAC9C,mBAAmB,EAAE,CAAC,wBAAwB,CAAC;QAC/C,qBAAqB,EAAE,CAAC,8BAA8B,CAAC;KACxD;IACD,kBAAkB;IAClB;QACE,WAAW,EAAE,4BAA4B;QACzC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,mCAAmC;QACpD,WAAW,EAAE,CAAC,kDAAkD,CAAC;QACjE,UAAU,EAAE,CAAC,iDAAiD,CAAC;QAC/D,oBAAoB,EAAE,CAAC,iDAAiD,CAAC;QACzE,cAAc,EAAE,CAAC,0BAA0B,CAAC;QAC5C,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,0BAA0B,CAAC;QACxC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,uBAAuB,CAAC;QAC/C,mBAAmB,EAAE,CAAC,kBAAkB,CAAC;QACzC,qBAAqB,EAAE,CAAC,UAAU,CAAC;QACnC,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,CAAC,mBAAmB,CAAC;KACtC;IACD,qBAAqB;IACrB;QACE,WAAW,EAAE,yBAAyB;QACtC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,gCAAgC;QACjD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,8CAA8C,CAAC;QAC5D,oBAAoB,EAAE,CAAC,8CAA8C,CAAC;QACtE,cAAc,EAAE,CAAC,4BAA4B,CAAC;QAC9C,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,yBAAyB,EAAE,gCAAgC,CAAC;QAC1E,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,mBAAmB,EAAE,CAAC,uBAAuB,CAAC;QAC9C,qBAAqB,EAAE,CAAC,sBAAsB,CAAC;QAC/C,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,CAAC,gBAAgB,CAAC;KACnC;IACD,uDAAuD;IACvD,kBAAkB;IAClB;QACE,WAAW,EAAE,wBAAwB;QACrC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,+BAA+B;QAChD,WAAW,EAAE,CAAC,gDAAgD,CAAC;QAC/D,UAAU,EAAE,CAAC,6CAA6C,CAAC;QAC3D,oBAAoB,EAAE,CAAC,6CAA6C,CAAC;QACrE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,WAAW,CAAC;QACnC,mBAAmB,EAAE,CAAC,QAAQ,CAAC;QAC/B,qBAAqB,EAAE,CAAC,YAAY,CAAC;KACtC;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,gCAAgC;QAC7C,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,uCAAuC;QACxD,WAAW,EAAE,CAAC,oDAAoD,CAAC;QACnE,UAAU,EAAE,CAAC,qDAAqD,CAAC;QACnE,oBAAoB,EAAE,CAAC,qDAAqD,CAAC;QAC7E,cAAc,EAAE,CAAC,2BAA2B,CAAC;QAC7C,WAAW,EAAE,EAAE;QACf,UAAU,EAAE;YACV,mBAAmB;YACnB,0BAA0B;YAC1B,oBAAoB;YACpB,mBAAmB;SACpB;QACD,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,6BAA6B,CAAC;QACrD,mBAAmB,EAAE,CAAC,oBAAoB,CAAC;QAC3C,qBAAqB,EAAE,CAAC,yCAAyC,CAAC;QAClE,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,CAAC,uBAAuB,CAAC;KAC1C;IACD,+EAA+E;IAC/E;QACE,WAAW,EAAE,wBAAwB;QACrC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,sBAAsB;QACvC,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,oBAAoB,EAAE,CAAC,kCAAkC,CAAC;QAC1D,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,YAAY,CAAC;QACpC,mBAAmB,EAAE,CAAC,WAAW,CAAC;QAClC,qBAAqB,EAAE,CAAC,wBAAwB,CAAC;KAClD;IACD,4BAA4B;IAC5B;QACE,WAAW,EAAE,qBAAqB;QAClC,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,0BAA0B;QAC3C,WAAW,EAAE,CAAC,oDAAoD,CAAC;QACnE,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,oBAAoB,EAAE,CAAC,wCAAwC,CAAC;QAChE,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE;YACV,gCAAgC;YAChC,mBAAmB;YACnB,0BAA0B;SAC3B;QACD,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,CAAC,uCAAuC,CAAC;QAC/D,mBAAmB,EAAE,CAAC,cAAc,CAAC;QACrC,qBAAqB,EAAE;YACrB,sCAAsC;YACtC,mBAAmB;YACnB,8BAA8B;SAC/B;KACF;IACD,sCAAsC;IACtC;QACE,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,SAAS;QAChB,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,EAAE;QACxB,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,EAAE;KAC1B;IACD,oBAAoB;IACpB;QACE,WAAW,EAAE,2BAA2B;QACxC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,2BAA2B;QAC5C,WAAW,EAAE,CAAC,wCAAwC,CAAC;QACvD,UAAU,EAAE,CAAC,yCAAyC,CAAC;QACvD,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,mBAAmB,CAAC;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,eAAe,CAAC;QACvC,mBAAmB,EAAE,CAAC,YAAY,CAAC;QACnC,qBAAqB,EAAE,CAAC,yBAAyB,CAAC;KACnD;IACD,iBAAiB;IACjB;QACE,WAAW,EAAE,sBAAsB;QACnC,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,uBAAuB;QACxC,WAAW,EAAE,CAAC,oCAAoC,CAAC;QACnD,UAAU,EAAE,CAAC,qCAAqC,CAAC;QACnD,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,2BAA2B,CAAC;QACzC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,CAAC,cAAc,CAAC;QACtC,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,qBAAqB,EAAE,CAAC,qBAAqB,CAAC;KAC/C;CACO,CAAC"}

package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts

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

package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"builtin_contracts_core_2.d.ts","sourceRoot":"","sources":["../../../../src/shared/contracts/contract_registry/builtin_contracts_core_2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAExD,eAAO,MAAM,wBAAwB,EAAE,SAAS,qBAAqB,EAiS3D,CAAC"}