@wowok/agent-mcp 2.4.3 → 2.5.1

package/dist/knowledge/permission-ledger.js

@@ -0,0 +1,403 @@
+export const REPOSITORY_PERMISSIONS = [
+    { index: 100, name: "REPOSITORY_NEW", description: "Create new Repository policy", governed_operation: "repository::new" },
+    { index: 101, name: "REPOSITORY_DESCRIPTION", description: "Modify Repository description", governed_operation: "repository::description_set" },
+    { index: 102, name: "REPOSITORY_POLICY", description: "Modify Repository policy", governed_operation: "repository::policy_set" },
+    { index: 103, name: "REPOSITORY_REWARD", description: "Set Repository reward", governed_operation: "repository::reward_set" },
+    { index: 104, name: "REPOSITORY_OWNER_RECEIVE", description: "Owner receive", governed_operation: "repository::owner_receive" },
+    { index: 105, name: "REPOSITORY_UM", description: "Set UM (User Manager)", governed_operation: "repository::um_set" },
+];
+export const REWARD_PERMISSIONS = [
+    { index: 150, name: "REWARD_NEW", description: "Create new Reward", governed_operation: "reward::new" },
+    { index: 151, name: "REWARD_DESCRIPTION", description: "Modify Reward description", governed_operation: "reward::description_set" },
+    { index: 152, name: "REWARD_GUARD", description: "Set Reward guard", governed_operation: "reward::guard_set" },
+    { index: 153, name: "REWARD_COIN_ADD", description: "Add coins to Reward", governed_operation: "reward::coin_add" },
+    { index: 154, name: "REWARD_RECEIVE", description: "Receive reward", governed_operation: "reward::receive" },
+    { index: 155, name: "REWARD_GUARD_EXPIRATION_TIME_ADD", description: "Extend guard expiration", governed_operation: "reward::guard_expiration_time_add" },
+    { index: 156, name: "REWARD_OWNER_RECEIVE", description: "Owner receive", governed_operation: "reward::owner_receive" },
+    { index: 157, name: "REWARD_UM", description: "Set UM", governed_operation: "reward::um_set" },
+];
+export const MACHINE_PERMISSIONS = [
+    { index: 200, name: "MACHINE_NEW", description: "Create new Machine", governed_operation: "machine::new" },
+    { index: 201, name: "MACHINE_DESCRIPTION", description: "Modify Machine description", governed_operation: "machine::description_set" },
+    { index: 203, name: "MACHINE_CONSENSUS_REPOSITORIES", description: "Set consensus Repositories", governed_operation: "machine::consensus_repositories_set" },
+    { index: 204, name: "MACHINE_PAUSE", description: "Pause/resume Machine", governed_operation: "machine::pause" },
+    { index: 205, name: "MACHINE_PUBLISH", description: "Publish Machine (irreversible)", governed_operation: "machine::publish" },
+    { index: 206, name: "MACHINE_NODE", description: "Modify Machine nodes", governed_operation: "machine::node_*" },
+    { index: 207, name: "MACHINE_OWNER_RECEIVE", description: "Owner receive", governed_operation: "machine::owner_receive" },
+    { index: 208, name: "MACHINE_UM", description: "Set UM", governed_operation: "machine::um_set" },
+];
+export const PROGRESS_PERMISSIONS = [
+    { index: 220, name: "PROGRESS_NEW", description: "Create new Progress", governed_operation: "progress::new" },
+    { index: 221, name: "PROGRESS_NAMED_OPERATOR", description: "Manage named operators", governed_operation: "progress::named_operator_*" },
+    { index: 222, name: "PROGRESS_TASK", description: "Submit task", governed_operation: "progress::task" },
+    { index: 223, name: "PROGRESS_CONTEXT_REPOSITORY", description: "Set context Repository", governed_operation: "progress::context_repository_set" },
+    { index: 224, name: "PROGRESS_UNHOLD", description: "Unhold Progress", governed_operation: "progress::unhold" },
+    { index: 225, name: "PROGRESS_OWNER_RECEIVE", description: "Owner receive", governed_operation: "progress::owner_receive" },
+];
+export const TREASURY_PERMISSIONS = [
+    { index: 250, name: "TREASURY_NEW", description: "Create new Treasury", governed_operation: "treasury::new" },
+    { index: 251, name: "TREASURY_DESCRIPTION", description: "Modify Treasury description", governed_operation: "treasury::description_set" },
+    { index: 252, name: "TREASURY_DEPOSIT", description: "Deposit funds", governed_operation: "treasury::deposit" },
+    { index: 253, name: "TREASURY_RECEIVE", description: "Receive funds", governed_operation: "treasury::receive" },
+    { index: 254, name: "TREASURY_WITHDRAW", description: "Withdraw funds", governed_operation: "treasury::withdraw" },
+    { index: 255, name: "TREASURY_EXTERNAL_DEPOSIT_GUARD", description: "Manage external deposit Guard list", governed_operation: "treasury::external_deposit_guard_add/remove/clear" },
+    { index: 256, name: "TREASURY_EXTERNAL_WITHDRAW_GUARD", description: "Manage external withdraw Guard list", governed_operation: "treasury::external_withdraw_guard_add/remove/clear" },
+    { index: 257, name: "TREASURY_OWNER_RECEIVE", description: "Owner receive", governed_operation: "treasury::owner_receive" },
+    { index: 258, name: "TREASURY_UM", description: "Set UM", governed_operation: "treasury::um_set" },
+];
+export const SERVICE_PERMISSIONS = [
+    { index: 300, name: "SERVICE_NEW", description: "Create new Service", governed_operation: "service::new" },
+    { index: 301, name: "SERVICE_DESCRIPTION", description: "Modify Service description", governed_operation: "service::description_set" },
+    { index: 303, name: "SERVICE_LOCATION", description: "Set Service location", governed_operation: "service::location_set" },
+    { index: 304, name: "SERVICE_REPOSITORY", description: "Set Service repository", governed_operation: "service::repository_set" },
+    { index: 305, name: "SERVICE_SALES", description: "Modify sales", governed_operation: "service::sales_*" },
+    { index: 306, name: "SERVICE_MACHINE", description: "Bind/modify Machine", governed_operation: "service::machine_set" },
+    { index: 307, name: "SERVICE_BUY_GUARD", description: "Set buy guard", governed_operation: "service::buy_guard_set" },
+    { index: 308, name: "SERVICE_ARBITRATION", description: "Set Arbitration", governed_operation: "service::arbitration_set" },
+    { index: 309, name: "SERVICE_CUSTOMER_INFO_REQUIRED", description: "Set customer info required", governed_operation: "service::customer_info_required_set" },
+    { index: 310, name: "SERVICE_PAUSE", description: "Pause/resume Service", governed_operation: "service::pause" },
+    { index: 311, name: "SERVICE_PUBLISH", description: "Publish Service", governed_operation: "service::publish" },
+    { index: 312, name: "SERVICE_DISCOUNT", description: "Set discount", governed_operation: "service::discount_set" },
+    { index: 313, name: "SERVICE_ORDER_ALLOCATOR", description: "Set order allocator", governed_operation: "service::order_allocator_set" },
+    { index: 314, name: "SERVICE_COMPENSATION_FUND_DEPOSIT", description: "Deposit to compensation fund", governed_operation: "service::compensation_fund_deposit" },
+    { index: 315, name: "SERVICE_COMPENSATION_FUND_WITHDRAW", description: "Withdraw from compensation fund", governed_operation: "service::compensation_fund_withdraw" },
+    { index: 316, name: "SERVICE_COMPENSATION_FUND_FREEZE", description: "Freeze compensation fund", governed_operation: "service::compensation_fund_freeze" },
+    { index: 317, name: "SERVICE_COMPENSATION_FUND_UNFREEZE", description: "Unfreeze compensation fund", governed_operation: "service::compensation_fund_unfreeze" },
+    { index: 318, name: "SERVICE_REWARD", description: "Set reward", governed_operation: "service::reward_set" },
+    { index: 319, name: "SERVICE_OWNER_RECEIVE", description: "Owner receive", governed_operation: "service::owner_receive" },
+    { index: 320, name: "SERVICE_UM", description: "Set UM", governed_operation: "service::um_set" },
+];
+export const ARBITRATION_PERMISSIONS = [
+    { index: 350, name: "ARBITRATION_NEW", description: "Create new Arbitration", governed_operation: "arbitration::new" },
+    { index: 351, name: "ARBITRATION_DESCRIPTION", description: "Modify description", governed_operation: "arbitration::description_set" },
+    { index: 353, name: "ARBITRATION_LOCATION", description: "Set location", governed_operation: "arbitration::location_set" },
+    { index: 354, name: "ARBITRATION_VOTING_GUARD", description: "Set voting guard", governed_operation: "arbitration::voting_guard_set" },
+    { index: 355, name: "ARBITRATION_USAGE_GUARD", description: "Set usage guard", governed_operation: "arbitration::usage_guard_set" },
+    { index: 356, name: "ARBITRATION_PAUSE", description: "Pause/resume", governed_operation: "arbitration::pause" },
+    { index: 357, name: "ARBITRATION_FEE", description: "Set fee", governed_operation: "arbitration::fee_set" },
+    { index: 358, name: "ARBITRATION_VOTE", description: "Vote", governed_operation: "arbitration::vote" },
+    { index: 359, name: "ARBITRATION_ARBITRATION", description: "Arbitrate dispute", governed_operation: "arbitration::arbitration" },
+    { index: 360, name: "ARBITRATION_FEEDBACK", description: "Provide feedback", governed_operation: "arbitration::feedback" },
+    { index: 361, name: "ARBITRATION_CONFIRM", description: "Confirm resolution", governed_operation: "arbitration::confirm" },
+    { index: 362, name: "ARBITRATION_VOTING_DEADLINE_CHANGE", description: "Change voting deadline", governed_operation: "arbitration::voting_deadline_change" },
+    { index: 363, name: "ARBITRATION_RESET", description: "Reset arbitration", governed_operation: "arbitration::reset" },
+    { index: 364, name: "ARBITRATION_ARB_WITHDRAW", description: "Arb withdraw", governed_operation: "arbitration::arb_withdraw" },
+    { index: 365, name: "ARBITRATION_FEES_ALLOC", description: "Allocate fees", governed_operation: "arbitration::fees_alloc" },
+    { index: 366, name: "ARBITRATION_FEES_TRANSFER", description: "Transfer fees", governed_operation: "arbitration::fees_transfer" },
+    { index: 367, name: "ARBITRATION_OWNER_RECEIVE", description: "Owner receive", governed_operation: "arbitration::owner_receive" },
+    { index: 368, name: "ARBITRATION_UM", description: "Set UM", governed_operation: "arbitration::um_set" },
+];
+export const DEMAND_PERMISSIONS = [
+    { index: 400, name: "DEMAND_NEW", description: "Create new Demand", governed_operation: "demand::new" },
+    { index: 401, name: "DEMAND_DESCRIPTION", description: "Modify description", governed_operation: "demand::description_set" },
+    { index: 402, name: "DEMAND_LOCATION", description: "Set location", governed_operation: "demand::location_set" },
+    { index: 404, name: "DEMAND_GUARD", description: "Set guard", governed_operation: "demand::guard_set" },
+    { index: 405, name: "DEMAND_REWARD", description: "Set reward", governed_operation: "demand::reward_set" },
+    { index: 406, name: "DEMAND_FEEDBACK", description: "Provide feedback", governed_operation: "demand::feedback" },
+    { index: 407, name: "DEMAND_OWNER_RECEIVE", description: "Owner receive", governed_operation: "demand::owner_receive" },
+    { index: 408, name: "DEMAND_UM", description: "Set UM", governed_operation: "demand::um_set" },
+];
+export const CONTACT_PERMISSIONS = [
+    { index: 450, name: "CONTACT_NEW", description: "Create new Contact", governed_operation: "contact::new" },
+    { index: 451, name: "CONTACT_DESCRIPTION", description: "Modify description", governed_operation: "contact::description_set" },
+    { index: 452, name: "CONTACT_LOCATION", description: "Set location", governed_operation: "contact::location_set" },
+    { index: 453, name: "CONTACT_IM", description: "Set IM", governed_operation: "contact::im_set" },
+    { index: 454, name: "CONTACT_OWNER_RECEIVE", description: "Owner receive", governed_operation: "contact::owner_receive" },
+];
+export const PERMISSION_SCENES = [
+    {
+        id: "service_permission",
+        name: "Service publish & operation permission",
+        host_object: "Service",
+        permission_index_range: "300-320",
+        builtin_indexes: SERVICE_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "service::publish (311)",
+            "service::pause (310)",
+            "service::machine_set (306)",
+            "service::buy_guard_set (307)",
+            "service::order_allocator_set (313)",
+            "service::reward_set (318)",
+            "service::compensation_fund_* (314-317)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Owner-only publish: only owner/admin has SERVICE_PUBLISH (311)",
+            "Separate pause role: delegate SERVICE_PAUSE (310) to operator",
+            "Allocator guard: SERVICE_ORDER_ALLOCATOR (313) guarded by Guard",
+        ],
+        recommended_templates: ["T-P-03", "T-P-02"],
+    },
+    {
+        id: "machine_permission",
+        name: "Machine workflow permission",
+        host_object: "Machine",
+        permission_index_range: "200-208",
+        builtin_indexes: MACHINE_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "machine::publish (205)",
+            "machine::node_* (206)",
+            "machine::pause (204)",
+            "machine::consensus_repositories_set (203)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Pre-publish node editing: MACHINE_NODE (206) before publish only",
+            "Post-publish: only Forward.guard can be modified; node structure frozen",
+            "Consensus repositories: MACHINE_CONSENSUS_REPOSITORIES (203) for multi-repo consensus",
+        ],
+        recommended_templates: ["T-P-04", "T-P-01"],
+    },
+    {
+        id: "treasury_permission",
+        name: "Treasury fund management permission",
+        host_object: "Treasury",
+        permission_index_range: "250-258",
+        builtin_indexes: TREASURY_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "treasury::deposit (252)",
+            "treasury::withdraw (254)",
+            "treasury::external_deposit_guard_* (255)",
+            "treasury::external_withdraw_guard_* (256)",
+            "treasury::owner_receive (257)",
+            "treasury::um_set (258)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Guard-protected external ops: TREASURY_EXTERNAL_*_GUARD (255/256) for cross-treasury safety; external_deposit/external_withdraw use Guard + Passport, no Permission index",
+            "Withdraw restricted to owner+admin: TREASURY_WITHDRAW (254) tightly held",
+            "UM delegation: TREASURY_UM (258) for contact management",
+        ],
+        recommended_templates: ["T-P-05", "T-P-02"],
+    },
+    {
+        id: "allocation_permission",
+        name: "Allocation strategy permission (custom)",
+        host_object: "Allocation",
+        permission_index_range: ">=1000 (custom)",
+        builtin_indexes: [],
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "allocation::alloc (custom index)",
+            "allocation::receive (custom index)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Custom index >= 1000 for business-specific allocation rules",
+            "Guard-bound alloc: alloc operation requires Guard verification",
+            "Multi-entity: multiple allocators share same permission_index",
+        ],
+        recommended_templates: ["T-P-01", "T-P-02"],
+    },
+    {
+        id: "arbitration_permission",
+        name: "Arbitration case management permission",
+        host_object: "Arbitration",
+        permission_index_range: "350-368",
+        builtin_indexes: ARBITRATION_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "arbitration::vote (358)",
+            "arbitration::arbitration (359)",
+            "arbitration::feedback (360)",
+            "arbitration::confirm (361)",
+            "arbitration::voting_deadline_change (362)",
+            "arbitration::reset (363)",
+            "arbitration::fees_alloc (365)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Arb committee: ARBITRATION_VOTE (358) granted to multiple arbiters",
+            "Open voting guard: voting_guard allows public to vote (weight=1)",
+            "Guard-based usage: usage_guard filters which disputes can be filed",
+        ],
+        recommended_templates: ["T-P-06", "T-P-02"],
+    },
+    {
+        id: "repository_permission",
+        name: "Repository policy management permission",
+        host_object: "Repository",
+        permission_index_range: "100-105",
+        builtin_indexes: REPOSITORY_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "repository::policy_set (102)",
+            "repository::reward_set (103)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Public read: anyone can read Repository data",
+            "Owner-write: REPOSITORY_POLICY (102) restricted to owner/admin",
+            "Reward binding: REPOSITORY_REWARD (103) for incentive distribution",
+        ],
+        recommended_templates: ["T-P-01"],
+    },
+    {
+        id: "reward_permission",
+        name: "Reward distribution permission",
+        host_object: "Reward",
+        permission_index_range: "150-157",
+        builtin_indexes: REWARD_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "reward::guard_set (152)",
+            "reward::coin_add (153)",
+            "reward::receive (154)",
+            "reward::guard_expiration_time_add (155)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Guard-bound claim: REWARD_RECEIVE (154) protected by Guard",
+            "Coin refill: REWARD_COIN_ADD (153) for owner-only top-up",
+            "Expiration extension: REWARD_GUARD_EXPIRATION_TIME_ADD (155) for deadline mgmt",
+        ],
+        recommended_templates: ["T-P-01"],
+    },
+    {
+        id: "progress_permission",
+        name: "Progress workflow advancement permission",
+        host_object: "Progress",
+        permission_index_range: "220-225",
+        builtin_indexes: PROGRESS_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "progress::task (222)",
+            "progress::named_operator_* (221)",
+            "progress::context_repository_set (223)",
+            "progress::unhold (224)",
+        ],
+        mutable_after_publish: false,
+        common_patterns: [
+            "Named operator: PROGRESS_NAMED_OPERATOR (221) for assigned operators",
+            "Task submission: PROGRESS_TASK (222) for any authorized submitter",
+            "Machine-bound: Progress permission effective only after Machine publish",
+        ],
+        recommended_templates: ["T-P-01"],
+    },
+    {
+        id: "demand_permission",
+        name: "Demand publication permission",
+        host_object: "Demand",
+        permission_index_range: "400-408",
+        builtin_indexes: DEMAND_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "demand::guard_set (404)",
+            "demand::reward_set (405)",
+            "demand::feedback (406)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Public demand: anyone can view; only owner can publish",
+            "Feedback channel: DEMAND_FEEDBACK (406) for community input",
+            "Guard filtering: DEMAND_GUARD (404) for service eligibility",
+        ],
+        recommended_templates: ["T-P-01"],
+    },
+    {
+        id: "contact_permission",
+        name: "Contact/Messenger management permission",
+        host_object: "Contact",
+        permission_index_range: "450-454",
+        builtin_indexes: CONTACT_PERMISSIONS,
+        owner_operations: ["um_set", "builder (transfer)"],
+        admin_operations: ["description_set", "remark_*", "perm_*", "entity_*", "admin_*"],
+        permission_index_operations: [
+            "contact::im_set (453)",
+        ],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Personal contact: usually single-owner",
+            "IM binding: CONTACT_IM (453) for chat platform binding",
+        ],
+        recommended_templates: ["T-P-01"],
+    },
+    {
+        id: "ownership_transfer",
+        name: "Permission ownership transfer (cross-scene)",
+        host_object: "Standalone",
+        permission_index_range: "N/A",
+        builtin_indexes: [],
+        owner_operations: ["builder (transfer)"],
+        admin_operations: [],
+        permission_index_operations: [],
+        mutable_after_publish: true,
+        common_patterns: [
+            "Owner-only: assert_owner required for transfer",
+            "Irreversible: once transferred, original owner loses all control",
+            "New owner auto-admin: new owner becomes admin automatically",
+            "Pre-transfer backup: export Permission JSON before transfer",
+        ],
+        recommended_templates: ["T-P-08"],
+    },
+];
+export const PERMISSION_LEDGER_VERSION = "1.0.0";
+export function getScenesByHostObject(host) {
+    return PERMISSION_SCENES.filter(s => s.host_object === host);
+}
+export function findSceneById(id) {
+    return PERMISSION_SCENES.find(s => s.id === id);
+}
+export function findSceneByPermissionIndex(index) {
+    for (const scene of PERMISSION_SCENES) {
+        if (scene.builtin_indexes.some(p => p.index === index))
+            return scene;
+    }
+    return undefined;
+}
+export function getBuiltinPermissionByIndex(index) {
+    for (const scene of PERMISSION_SCENES) {
+        const found = scene.builtin_indexes.find(p => p.index === index);
+        if (found)
+            return found;
+    }
+    return undefined;
+}
+export function isBuiltinPermission(index) {
+    return getBuiltinPermissionByIndex(index) !== undefined;
+}
+export function inferSceneFromIntent(intent) {
+    const lower = intent.toLowerCase();
+    if (lower.includes("transfer") || lower.includes("handover")) {
+        return findSceneById("ownership_transfer");
+    }
+    const hostKeywords = [
+        ["service", "Service"],
+        ["machine", "Machine"],
+        ["treasury", "Treasury"],
+        ["arbitration", "Arbitration"],
+        ["repository", "Repository"],
+        ["reward", "Reward"],
+        ["progress", "Progress"],
+        ["demand", "Demand"],
+        ["contact", "Contact"],
+        ["messenger", "Contact"],
+        ["allocation", "Allocation"],
+    ];
+    for (const [kw, host] of hostKeywords) {
+        if (lower.includes(kw)) {
+            const scenes = getScenesByHostObject(host);
+            if (scenes.length > 0)
+                return scenes[0];
+        }
+    }
+    return undefined;
+}
+export function getAllBuiltinPermissions() {
+    return PERMISSION_SCENES.flatMap(s => s.builtin_indexes);
+}
+export function getPermissionScenesCount() {
+    return PERMISSION_SCENES.length;
+}

package/dist/knowledge/permission-puzzle.d.ts

@@ -0,0 +1,122 @@
+import { type PermissionScene, type BuiltinPermissionEntry } from "./permission-ledger.js";
+export interface IntentPuzzle {
+    action: "create" | "modify" | "transfer" | "apply" | "query";
+    target_object?: PermissionScene["host_object"];
+    rule_sentence: string;
+    failure_conditions: string[];
+}
+export interface BindingPuzzle {
+    owner: string;
+    admins: string[];
+    um?: string | null;
+    applied_to?: string[];
+    host_object_type?: PermissionScene["host_object"];
+}
+export interface DataSourcePuzzle {
+    entities: {
+        address: string;
+        type: "user" | "guard";
+        permission_indexes: number[];
+        remark?: string;
+    }[];
+    builtin_permissions_used: BuiltinPermissionEntry[];
+    custom_permissions_defined: {
+        index: number;
+        name: string;
+        description: string;
+        remark: string;
+    }[];
+}
+export type PermissionOperation = {
+    type: "perm_add" | "perm_remove" | "perm_set";
+    index: number;
+    entities: string[];
+} | {
+    type: "entity_add" | "entity_remove" | "entity_set";
+    entity: string;
+    indexes: number[];
+} | {
+    type: "entity_swap" | "entity_replace" | "entity_copy";
+    entity1: string;
+    entity2: string;
+} | {
+    type: "entity_del";
+    entity: string;
+} | {
+    type: "admin_add" | "admin_remove" | "admin_set";
+    addresses: string[];
+} | {
+    type: "remark_set";
+    index: number;
+    remark: string;
+} | {
+    type: "remark_remove";
+    index: number;
+} | {
+    type: "remark_clear";
+} | {
+    type: "description_set";
+    description: string;
+} | {
+    type: "transfer";
+    new_owner: string;
+} | {
+    type: "um_set";
+    um: string | null;
+} | {
+    type: "apply";
+    objects: string[];
+};
+export interface OperationPuzzle {
+    operations: PermissionOperation[];
+}
+export interface LogicPuzzle {
+    permission_check_flow: {
+        step: 1 | 2 | 3;
+        check: "assert_owner" | "assert_admin" | "permission_index_check";
+        applicable_operations: string[];
+    }[];
+    entity_permission_mapping: {
+        entity: string;
+        indexes: number[];
+    }[];
+}
+export interface ConstraintChecklist {
+    F_P_01_custom_index_ge_1000: boolean;
+    F_P_02_entity_count_le_1000: boolean;
+    F_P_03_perm_count_per_entity_le_1000: boolean;
+    F_P_04_admin_count_le_500: boolean;
+    F_P_05_owner_address_valid: boolean;
+    F_P_06_owner_only_for_assert_owner: boolean;
+    F_P_07_admin_only_for_assert_admin: boolean;
+}
+export type PuzzleDimension = "A" | "B" | "C" | "D" | "E" | "F";
+export interface PermissionPuzzle {
+    intent?: IntentPuzzle;
+    binding?: BindingPuzzle;
+    data_source?: DataSourcePuzzle;
+    operations?: OperationPuzzle;
+    logic?: LogicPuzzle;
+    constraints?: ConstraintChecklist;
+}
+export interface PuzzleCompleteness {
+    dimensions: PuzzleDimension[];
+    missing: PuzzleDimension[];
+    missing_details: {
+        dimension: PuzzleDimension;
+        reason: string;
+    }[];
+    complete: boolean;
+    next_step: string;
+}
+export declare function initPuzzleFromIntent(intent: Partial<IntentPuzzle>): PermissionPuzzle;
+export declare function checkPuzzleCompleteness(puzzle: PermissionPuzzle): PuzzleCompleteness;
+export interface ConstraintViolation {
+    constraint_id: string;
+    severity: "CRITICAL" | "HIGH" | "MEDIUM" | "LOW";
+    message: string;
+    current_value?: string | number;
+    limit?: string | number;
+}
+export declare function validateConstraints(puzzle: PermissionPuzzle): ConstraintViolation[];
+export declare function generateConfirmationText(puzzle: PermissionPuzzle): string;