@wowok/agent-mcp 2.7.1 → 2.7.3

package/dist/knowledge/allocation-puzzle.js

@@ -1,298 +1 @@
-import { MAX_ALLOCATOR_COUNT, ALLOCATION_MAX_SHARING_COUNT, RATE_TOTAL_FULL, } from "./allocation-ledger.js";
-export function initPuzzleFromIntent(intent) {
-    const puzzle = {};
-    if (intent.action || intent.distribution_goal || intent.trigger_condition) {
-        puzzle.intent = {
-            action: intent.action ?? "create",
-            host_context: intent.host_context ?? "service_order_allocators",
-            trigger_condition: intent.trigger_condition ?? "",
-            distribution_goal: intent.distribution_goal ?? "",
-            failure_conditions: intent.failure_conditions ?? [],
-        };
-    }
-    puzzle.constraints = {
-        F_A_01_allocator_count_le_100: true,
-        F_A_02_sharing_count_le_100: true,
-        F_A_03_sharing_mode_valid: true,
-        F_A_04_at_most_1_surplus_per_allocator: true,
-        F_A_05_pure_rate_sum_eq_10000: true,
-        F_A_06_rate_plus_surplus_sum_le_10000: true,
-        F_A_07_amount_sum_ge_threshold: true,
-        F_A_08_amount_sum_le_max: true,
-        F_A_09_balance_ge_threshold_at_alloc: true,
-        F_A_10_payment_info_present: true,
-        F_A_11_allocators_not_empty: true,
-        F_A_12_order_at_most_1_allocation: true,
-        F_A_13_guard_identifier_is_address: true,
-        F_A_14_guard_addresses_unique: true,
-        F_A_15_order_allocators_immutable_after_publish: true,
-    };
-    return puzzle;
-}
-export function checkPuzzleCompleteness(puzzle) {
-    const missing = [];
-    const missing_details = [];
-    if (!puzzle.intent) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "Intent not specified (action + distribution_goal)" });
-    }
-    else if (!puzzle.intent.distribution_goal) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "distribution_goal is empty" });
-    }
-    else if (!puzzle.intent.host_context) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "host_context (trigger source) must be specified" });
-    }
-    if (!puzzle.binding) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: "Binding not specified (coin_type + guard_objects)" });
-    }
-    else if (!puzzle.binding.coin_type) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: "coin_type is missing" });
-    }
-    else if (puzzle.binding.guard_objects.length === 0) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: "guard_objects list is empty — at least 1 Guard required" });
-    }
-    if (!puzzle.data_source && puzzle.intent?.action === "create") {
-        missing.push("C");
-        missing_details.push({ dimension: "C", reason: "Data source not specified (allocators_config + payment_info)" });
-    }
-    else if (puzzle.data_source && puzzle.data_source.allocators_config.allocators.length === 0) {
-        missing.push("C");
-        missing_details.push({ dimension: "C", reason: "allocators_config.allocators is empty" });
-    }
-    if (!puzzle.operations) {
-        missing.push("D");
-        missing_details.push({ dimension: "D", reason: "Operations not enumerated" });
-    }
-    if (!puzzle.logic) {
-        missing.push("E");
-        missing_details.push({ dimension: "E", reason: "Logic flow (7-step alloc) not defined" });
-    }
-    if (!puzzle.constraints) {
-        missing.push("F");
-        missing_details.push({ dimension: "F", reason: "Constraints not checked" });
-    }
-    return {
-        dimensions: ["A", "B", "C", "D", "E", "F"],
-        missing,
-        missing_details,
-        complete: missing.length === 0,
-        next_step: missing.length === 0
-            ? "Puzzle complete — ready for confirmation text generation"
-            : `Next: complete dimension ${missing[0]} — ${missing_details[0].reason}`,
-    };
-}
-export function validateConstraints(puzzle) {
-    const violations = [];
-    if (!puzzle.data_source)
-        return violations;
-    const cfg = puzzle.data_source.allocators_config;
-    if (cfg.allocators.length > MAX_ALLOCATOR_COUNT) {
-        violations.push({
-            constraint_id: "F-A-01",
-            severity: "CRITICAL",
-            message: `Allocator count ${cfg.allocators.length} exceeds MAX_ALLOCATOR_COUNT ${MAX_ALLOCATOR_COUNT}`,
-            current_value: cfg.allocators.length,
-            limit: MAX_ALLOCATOR_COUNT,
-            related_move_error: "EALLOCATOR_COUNT_EXCEEDED (2)",
-        });
-    }
-    if (cfg.allocators.length === 0) {
-        violations.push({
-            constraint_id: "F-A-11",
-            severity: "CRITICAL",
-            message: "allocators.allocators is empty — at least 1 Allocator required",
-            related_move_error: "EALLOCATORS_EMPTY (8) / ENO_ALLOCATOR (3)",
-        });
-    }
-    const guardAddrs = cfg.allocators.map(a => a.guard);
-    const uniqueGuards = new Set(guardAddrs);
-    if (uniqueGuards.size !== guardAddrs.length) {
-        violations.push({
-            constraint_id: "F-A-14",
-            severity: "MEDIUM",
-            message: `Duplicate Guard addresses in allocators (${guardAddrs.length} entries, ${uniqueGuards.size} unique) — alloc_by_guard address match only hits the first, subsequent duplicate Allocators are never reachable`,
-        });
-    }
-    for (const allocator of cfg.allocators) {
-        if (allocator.sharing.length > ALLOCATION_MAX_SHARING_COUNT) {
-            violations.push({
-                constraint_id: "F-A-02",
-                severity: "CRITICAL",
-                message: `Allocator ${allocator.guard} has ${allocator.sharing.length} sharing entries, exceeds MAX_SHARING_COUNT ${ALLOCATION_MAX_SHARING_COUNT}`,
-                current_value: allocator.sharing.length,
-                limit: ALLOCATION_MAX_SHARING_COUNT,
-                related_move_error: "ESHARING_COUNT_EXCEEDED (10)",
-            });
-        }
-        for (const s of allocator.sharing) {
-            if (!["Amount", "Rate", "Surplus"].includes(s.mode)) {
-                violations.push({
-                    constraint_id: "F-A-03",
-                    severity: "CRITICAL",
-                    message: `Invalid sharing mode: ${s.mode}`,
-                    related_move_error: "ESHARING_MODE_INVALID (11)",
-                });
-            }
-        }
-        const surplusCount = allocator.sharing.filter(s => s.mode === "Surplus").length;
-        if (surplusCount > 1) {
-            violations.push({
-                constraint_id: "F-A-04",
-                severity: "HIGH",
-                message: `Allocator ${allocator.guard} has ${surplusCount} Surplus sharing — at most 1 allowed`,
-                current_value: surplusCount,
-                limit: 1,
-                related_move_error: "EMULTIPLE_SURPLUS (5)",
-            });
-        }
-        const rateSum = allocator.sharing
-            .filter(s => s.mode === "Rate")
-            .reduce((sum, s) => sum + Number(s.sharing), 0);
-        const hasSurplus = surplusCount > 0;
-        if (!hasSurplus && rateSum > 0 && rateSum !== RATE_TOTAL_FULL) {
-            violations.push({
-                constraint_id: "F-A-05",
-                severity: "HIGH",
-                message: `Pure Rate mode (no Surplus) sum ${rateSum} != ${RATE_TOTAL_FULL}`,
-                current_value: rateSum,
-                limit: RATE_TOTAL_FULL,
-                related_move_error: "ERATE_NOT_10000 (4)",
-            });
-        }
-        if (hasSurplus && rateSum > RATE_TOTAL_FULL) {
-            violations.push({
-                constraint_id: "F-A-06",
-                severity: "HIGH",
-                message: `Rate + Surplus mode sum ${rateSum} > ${RATE_TOTAL_FULL}`,
-                current_value: rateSum,
-                limit: RATE_TOTAL_FULL,
-                related_move_error: "ERATE_EXCEEDS_10000 (6)",
-            });
-        }
-        const amountSum = allocator.sharing
-            .filter(s => s.mode === "Amount")
-            .reduce((sum, s) => sum + Number(s.sharing), 0);
-        const threshold = Number(cfg.threshold);
-        if (amountSum > 0 && amountSum < threshold) {
-            violations.push({
-                constraint_id: "F-A-07",
-                severity: "HIGH",
-                message: `Amount sum ${amountSum} < threshold ${threshold}`,
-                current_value: amountSum,
-                limit: threshold,
-                related_move_error: "EAMOUNT_BELOW_THRESHOLD (12)",
-            });
-        }
-        if (allocator.max != null && amountSum > Number(allocator.max)) {
-            violations.push({
-                constraint_id: "F-A-08",
-                severity: "MEDIUM",
-                message: `Amount sum ${amountSum} > max ${Number(allocator.max)}`,
-                current_value: amountSum,
-                limit: Number(allocator.max),
-                related_move_error: "EAMOUNT_EXCEEDS_MAX (13)",
-            });
-        }
-        const guardIdSharing = allocator.sharing.find(s => typeof s.who === "object" && "GuardIdentifier" in s.who);
-        if (guardIdSharing) {
-        }
-    }
-    return violations;
-}
-export function generateConfirmationText(puzzle) {
-    const lines = [];
-    lines.push("═══ Allocation Confirmation ═══");
-    lines.push("");
-    if (puzzle.intent) {
-        lines.push(`Action: ${puzzle.intent.action}`);
-        lines.push(`Host context: ${puzzle.intent.host_context}`);
-        lines.push(`Trigger: ${puzzle.intent.trigger_condition}`);
-        lines.push(`Distribution goal: ${puzzle.intent.distribution_goal}`);
-        if (puzzle.intent.failure_conditions.length > 0) {
-            lines.push("Failure conditions:");
-            for (const fc of puzzle.intent.failure_conditions)
-                lines.push(`  - ${fc}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.binding) {
-        lines.push("─ Binding ──────────────");
-        lines.push(`Coin type: ${puzzle.binding.coin_type}`);
-        if (puzzle.binding.host_service)
-            lines.push(`Host Service: ${puzzle.binding.host_service}`);
-        if (puzzle.binding.host_arbitration)
-            lines.push(`Host Arbitration: ${puzzle.binding.host_arbitration}`);
-        if (puzzle.binding.bound_order)
-            lines.push(`Bound Order: ${puzzle.binding.bound_order}`);
-        if (puzzle.binding.trigger_node)
-            lines.push(`Trigger node: ${puzzle.binding.trigger_node}`);
-        lines.push(`Guard objects (${puzzle.binding.guard_objects.length}): ${puzzle.binding.guard_objects.join(", ")}`);
-        lines.push(`Payment info source: ${puzzle.binding.payment_info_source}`);
-        lines.push("");
-    }
-    if (puzzle.data_source) {
-        const cfg = puzzle.data_source.allocators_config;
-        lines.push("─ Data Source ──────────────");
-        lines.push(`Description: ${cfg.description}`);
-        lines.push(`Threshold: ${cfg.threshold}`);
-        lines.push(`Allocators: ${cfg.allocators.length}`);
-        cfg.allocators.forEach((a, i) => {
-            lines.push(`  [${i}] guard=${a.guard}, sharing=${a.sharing.length} items, fix=${a.fix ?? "0"}, max=${a.max ?? "null"}`);
-            a.sharing.forEach((s, j) => {
-                lines.push(`      (${j}) who=${JSON.stringify(s.who)}, sharing=${s.sharing}, mode=${s.mode}`);
-            });
-        });
-        lines.push(`Payment info for_object: ${puzzle.data_source.payment_info.for_object}`);
-        lines.push(`Coin source: ${puzzle.data_source.coin_source}`);
-        lines.push("");
-    }
-    if (puzzle.logic) {
-        lines.push("─ Logic ──────────────");
-        lines.push(`Guard matching: ${puzzle.logic.guard_matching_strategy}`);
-        lines.push(`alloc() flow (${puzzle.logic.alloc_flow.length} steps):`);
-        for (const step of puzzle.logic.alloc_flow) {
-            lines.push(`  ${step.step}. ${step.action}: ${step.description}`);
-        }
-        lines.push("");
-    }
-    const violations = validateConstraints(puzzle);
-    if (violations.length > 0) {
-        lines.push("─ Constraint Violations ──────────────");
-        for (const v of violations) {
-            lines.push(`  [${v.severity}] ${v.constraint_id}: ${v.message}`);
-        }
-        lines.push("");
-    }
-    return lines.join("\n");
-}
-export function buildDefaultAllocFlow() {
-    return [
-        { step: 1, action: "pre_check", description: "assert balance >= threshold, payment_info.is_some(), allocators not empty" },
-        { step: 2, action: "guard_lookup", description: "iterate allocators[], locate alloc.guard == alloc_by_guard address; on hit call passport::result_for_guard hard verification (failure aborts E_VERIFY_FAILED)" },
-        { step: 3, action: "rate_base_calc", description: "total_rates = max - fix (if max) else balance - fix" },
-        { step: 4, action: "sharing_distribution", description: "iterate sharing[], split by mode (Amount/Rate/Surplus placeholder)" },
-        { step: 5, action: "surplus_distribution", description: "withdraw_all to surplus_recipient (if any)" },
-        { step: 6, action: "recipient_resolution", description: "resolve address from GuardIdentifier(passport) / Entity(static) / Signer(tx sender)" },
-        { step: 7, action: "payment_creation", description: "create Payment object, push to self.payment vector" },
-    ];
-}
-export function buildDefaultRecipientRules() {
-    return [
-        { recipient_type: "GuardIdentifier", resolution_source: "passport_table", safety_level: "safe" },
-        { recipient_type: "Entity", resolution_source: "static_address", safety_level: "safe" },
-        { recipient_type: "Signer", resolution_source: "tx_sender", safety_level: "dangerous" },
-    ];
-}
-export function buildDefaultLogicPuzzle() {
-    return {
-        alloc_flow: buildDefaultAllocFlow(),
-        guard_matching_strategy: "caller_specified_guard",
-        recipient_resolution_rules: buildDefaultRecipientRules(),
-    };
-}
-export const ALLOCATION_PUZZLE_VERSION = "1.0.0";
+import{MAX_ALLOCATOR_COUNT,ALLOCATION_MAX_SHARING_COUNT,RATE_TOTAL_FULL}from'./allocation-ledger.js';export function initPuzzleFromIntent(a){const b={};return(a['action']||a['distribution_goal']||a['trigger_condition'])&&(b['intent']={'action':a['action']??'create','host_context':a['host_context']??'service_order_allocators','trigger_condition':a['trigger_condition']??'','distribution_goal':a['distribution_goal']??'','failure_conditions':a['failure_conditions']??[]}),b['constraints']={'F_A_01_allocator_count_le_100':!![],'F_A_02_sharing_count_le_100':!![],'F_A_03_sharing_mode_valid':!![],'F_A_04_at_most_1_surplus_per_allocator':!![],'F_A_05_pure_rate_sum_eq_10000':!![],'F_A_06_rate_plus_surplus_sum_le_10000':!![],'F_A_07_amount_sum_ge_threshold':!![],'F_A_08_amount_sum_le_max':!![],'F_A_09_balance_ge_threshold_at_alloc':!![],'F_A_10_payment_info_present':!![],'F_A_11_allocators_not_empty':!![],'F_A_12_order_at_most_1_allocation':!![],'F_A_13_guard_identifier_is_address':!![],'F_A_14_guard_addresses_unique':!![],'F_A_15_order_allocators_immutable_after_publish':!![]},b;}export function checkPuzzleCompleteness(a){const b=[],c=[];if(!a['intent'])b['push']('A'),c['push']({'dimension':'A','reason':'Intent\x20not\x20specified\x20(action\x20+\x20distribution_goal)'});else{if(!a['intent']['distribution_goal'])b['push']('A'),c['push']({'dimension':'A','reason':'distribution_goal\x20is\x20empty'});else!a['intent']['host_context']&&(b['push']('A'),c['push']({'dimension':'A','reason':'host_context\x20(trigger\x20source)\x20must\x20be\x20specified'}));}if(!a['binding'])b['push']('B'),c['push']({'dimension':'B','reason':'Binding\x20not\x20specified\x20(coin_type\x20+\x20guard_objects)'});else{if(!a['binding']['coin_type'])b['push']('B'),c['push']({'dimension':'B','reason':'coin_type\x20is\x20missing'});else a['binding']['guard_objects']['length']===0x0&&(b['push']('B'),c['push']({'dimension':'B','reason':'guard_objects\x20list\x20is\x20empty\x20—\x20at\x20least\x201\x20Guard\x20required'}));}if(!a['data_source']&&a['intent']?.['action']==='create')b['push']('C'),c['push']({'dimension':'C','reason':'Data\x20source\x20not\x20specified\x20(allocators_config\x20+\x20payment_info)'});else a['data_source']&&a['data_source']['allocators_config']['allocators']['length']===0x0&&(b['push']('C'),c['push']({'dimension':'C','reason':'allocators_config.allocators\x20is\x20empty'}));return!a['operations']&&(b['push']('D'),c['push']({'dimension':'D','reason':'Operations\x20not\x20enumerated'})),!a['logic']&&(b['push']('E'),c['push']({'dimension':'E','reason':'Logic\x20flow\x20(7-step\x20alloc)\x20not\x20defined'})),!a['constraints']&&(b['push']('F'),c['push']({'dimension':'F','reason':'Constraints\x20not\x20checked'})),{'dimensions':['A','B','C','D','E','F'],'missing':b,'missing_details':c,'complete':b['length']===0x0,'next_step':b['length']===0x0?'Puzzle\x20complete\x20—\x20ready\x20for\x20confirmation\x20text\x20generation':'Next:\x20complete\x20dimension\x20'+b[0x0]+'\x20—\x20'+c[0x0]['reason']};}export function validateConstraints(a){const b=[];if(!a['data_source'])return b;const c=a['data_source']['allocators_config'];c['allocators']['length']>MAX_ALLOCATOR_COUNT&&b['push']({'constraint_id':'F-A-01','severity':'CRITICAL','message':'Allocator\x20count\x20'+c['allocators']['length']+'\x20exceeds\x20MAX_ALLOCATOR_COUNT\x20'+MAX_ALLOCATOR_COUNT,'current_value':c['allocators']['length'],'limit':MAX_ALLOCATOR_COUNT,'related_move_error':'EALLOCATOR_COUNT_EXCEEDED\x20(2)'});c['allocators']['length']===0x0&&b['push']({'constraint_id':'F-A-11','severity':'CRITICAL','message':'allocators.allocators\x20is\x20empty\x20—\x20at\x20least\x201\x20Allocator\x20required','related_move_error':'EALLOCATORS_EMPTY\x20(8)\x20/\x20ENO_ALLOCATOR\x20(3)'});const d=c['allocators']['map'](f=>f['guard']),e=new Set(d);e['size']!==d['length']&&b['push']({'constraint_id':'F-A-14','severity':'MEDIUM','message':'Duplicate\x20Guard\x20addresses\x20in\x20allocators\x20('+d['length']+'\x20entries,\x20'+e['size']+'\x20unique)\x20—\x20alloc_by_guard\x20address\x20match\x20only\x20hits\x20the\x20first,\x20subsequent\x20duplicate\x20Allocators\x20are\x20never\x20reachable'});for(const f of c['allocators']){f['sharing']['length']>ALLOCATION_MAX_SHARING_COUNT&&b['push']({'constraint_id':'F-A-02','severity':'CRITICAL','message':'Allocator\x20'+f['guard']+'\x20has\x20'+f['sharing']['length']+'\x20sharing\x20entries,\x20exceeds\x20MAX_SHARING_COUNT\x20'+ALLOCATION_MAX_SHARING_COUNT,'current_value':f['sharing']['length'],'limit':ALLOCATION_MAX_SHARING_COUNT,'related_move_error':'ESHARING_COUNT_EXCEEDED\x20(10)'});for(const m of f['sharing']){!['Amount','Rate','Surplus']['includes'](m['mode'])&&b['push']({'constraint_id':'F-A-03','severity':'CRITICAL','message':'Invalid\x20sharing\x20mode:\x20'+m['mode'],'related_move_error':'ESHARING_MODE_INVALID\x20(11)'});}const g=f['sharing']['filter'](n=>n['mode']==='Surplus')['length'];g>0x1&&b['push']({'constraint_id':'F-A-04','severity':'HIGH','message':'Allocator\x20'+f['guard']+'\x20has\x20'+g+'\x20Surplus\x20sharing\x20—\x20at\x20most\x201\x20allowed','current_value':g,'limit':0x1,'related_move_error':'EMULTIPLE_SURPLUS\x20(5)'});const h=f['sharing']['filter'](n=>n['mode']==='Rate')['reduce']((n,o)=>n+Number(o['sharing']),0x0),i=g>0x0;!i&&h>0x0&&h!==RATE_TOTAL_FULL&&b['push']({'constraint_id':'F-A-05','severity':'HIGH','message':'Pure\x20Rate\x20mode\x20(no\x20Surplus)\x20sum\x20'+h+'\x20!=\x20'+RATE_TOTAL_FULL,'current_value':h,'limit':RATE_TOTAL_FULL,'related_move_error':'ERATE_NOT_10000\x20(4)'});i&&h>RATE_TOTAL_FULL&&b['push']({'constraint_id':'F-A-06','severity':'HIGH','message':'Rate\x20+\x20Surplus\x20mode\x20sum\x20'+h+'\x20>\x20'+RATE_TOTAL_FULL,'current_value':h,'limit':RATE_TOTAL_FULL,'related_move_error':'ERATE_EXCEEDS_10000\x20(6)'});const j=f['sharing']['filter'](n=>n['mode']==='Amount')['reduce']((n,o)=>n+Number(o['sharing']),0x0),k=Number(c['threshold']);j>0x0&&j<k&&b['push']({'constraint_id':'F-A-07','severity':'HIGH','message':'Amount\x20sum\x20'+j+'\x20<\x20threshold\x20'+k,'current_value':j,'limit':k,'related_move_error':'EAMOUNT_BELOW_THRESHOLD\x20(12)'});f['max']!=null&&j>Number(f['max'])&&b['push']({'constraint_id':'F-A-08','severity':'MEDIUM','message':'Amount\x20sum\x20'+j+'\x20>\x20max\x20'+Number(f['max']),'current_value':j,'limit':Number(f['max']),'related_move_error':'EAMOUNT_EXCEEDS_MAX\x20(13)'});const l=f['sharing']['find'](n=>typeof n['who']==='object'&&'GuardIdentifier'in n['who']);if(l){}}return b;}export function generateConfirmationText(a){const b=[];b['push']('═══\x20Allocation\x20Confirmation\x20═══'),b['push']('');if(a['intent']){b['push']('Action:\x20'+a['intent']['action']),b['push']('Host\x20context:\x20'+a['intent']['host_context']),b['push']('Trigger:\x20'+a['intent']['trigger_condition']),b['push']('Distribution\x20goal:\x20'+a['intent']['distribution_goal']);if(a['intent']['failure_conditions']['length']>0x0){b['push']('Failure\x20conditions:');for(const d of a['intent']['failure_conditions'])b['push']('\x20\x20-\x20'+d);}b['push']('');}if(a['binding']){b['push']('─\x20Binding\x20──────────────'),b['push']('Coin\x20type:\x20'+a['binding']['coin_type']);if(a['binding']['host_service'])b['push']('Host\x20Service:\x20'+a['binding']['host_service']);if(a['binding']['host_arbitration'])b['push']('Host\x20Arbitration:\x20'+a['binding']['host_arbitration']);if(a['binding']['bound_order'])b['push']('Bound\x20Order:\x20'+a['binding']['bound_order']);if(a['binding']['trigger_node'])b['push']('Trigger\x20node:\x20'+a['binding']['trigger_node']);b['push']('Guard\x20objects\x20('+a['binding']['guard_objects']['length']+'):\x20'+a['binding']['guard_objects']['join'](',\x20')),b['push']('Payment\x20info\x20source:\x20'+a['binding']['payment_info_source']),b['push']('');}if(a['data_source']){const e=a['data_source']['allocators_config'];b['push']('─\x20Data\x20Source\x20──────────────'),b['push']('Description:\x20'+e['description']),b['push']('Threshold:\x20'+e['threshold']),b['push']('Allocators:\x20'+e['allocators']['length']),e['allocators']['forEach']((f,g)=>{b['push']('\x20\x20['+g+']\x20guard='+f['guard']+',\x20sharing='+f['sharing']['length']+'\x20items,\x20fix='+(f['fix']??'0')+',\x20max='+(f['max']??'null')),f['sharing']['forEach']((h,k)=>{b['push']('\x20\x20\x20\x20\x20\x20('+k+')\x20who='+JSON['stringify'](h['who'])+',\x20sharing='+h['sharing']+',\x20mode='+h['mode']);});}),b['push']('Payment\x20info\x20for_object:\x20'+a['data_source']['payment_info']['for_object']),b['push']('Coin\x20source:\x20'+a['data_source']['coin_source']),b['push']('');}if(a['logic']){b['push']('─\x20Logic\x20──────────────'),b['push']('Guard\x20matching:\x20'+a['logic']['guard_matching_strategy']),b['push']('alloc()\x20flow\x20('+a['logic']['alloc_flow']['length']+'\x20steps):');for(const f of a['logic']['alloc_flow']){b['push']('\x20\x20'+f['step']+'.\x20'+f['action']+':\x20'+f['description']);}b['push']('');}const c=validateConstraints(a);if(c['length']>0x0){b['push']('─\x20Constraint\x20Violations\x20──────────────');for(const g of c){b['push']('\x20\x20['+g['severity']+']\x20'+g['constraint_id']+':\x20'+g['message']);}b['push']('');}return b['join']('\x0a');}export function buildDefaultAllocFlow(){return[{'step':0x1,'action':'pre_check','description':'assert\x20balance\x20>=\x20threshold,\x20payment_info.is_some(),\x20allocators\x20not\x20empty'},{'step':0x2,'action':'guard_lookup','description':'iterate\x20allocators[],\x20locate\x20alloc.guard\x20==\x20alloc_by_guard\x20address;\x20on\x20hit\x20call\x20passport::result_for_guard\x20hard\x20verification\x20(failure\x20aborts\x20E_VERIFY_FAILED)'},{'step':0x3,'action':'rate_base_calc','description':'total_rates\x20=\x20max\x20-\x20fix\x20(if\x20max)\x20else\x20balance\x20-\x20fix'},{'step':0x4,'action':'sharing_distribution','description':'iterate\x20sharing[],\x20split\x20by\x20mode\x20(Amount/Rate/Surplus\x20placeholder)'},{'step':0x5,'action':'surplus_distribution','description':'withdraw_all\x20to\x20surplus_recipient\x20(if\x20any)'},{'step':0x6,'action':'recipient_resolution','description':'resolve\x20address\x20from\x20GuardIdentifier(passport)\x20/\x20Entity(static)\x20/\x20Signer(tx\x20sender)'},{'step':0x7,'action':'payment_creation','description':'create\x20Payment\x20object,\x20push\x20to\x20self.payment\x20vector'}];}export function buildDefaultRecipientRules(){return[{'recipient_type':'GuardIdentifier','resolution_source':'passport_table','safety_level':'safe'},{'recipient_type':'Entity','resolution_source':'static_address','safety_level':'safe'},{'recipient_type':'Signer','resolution_source':'tx_sender','safety_level':'dangerous'}];}export function buildDefaultLogicPuzzle(){return{'alloc_flow':buildDefaultAllocFlow(),'guard_matching_strategy':'caller_specified_guard','recipient_resolution_rules':buildDefaultRecipientRules()};}export const ALLOCATION_PUZZLE_VERSION='1.0.0';