@wowok/agent-mcp 2.7.1 → 2.7.3

package/dist/knowledge/order-puzzle.js

@@ -1,255 +1 @@
-import { MAX_AGENT_COUNT, } from "@wowok/wowok";
-import { ORDER_SCENES, findSceneById, inferSceneFromIntent, } from "./order-ledger.js";
-export function initPuzzleFromIntent(intent) {
-    const puzzle = {};
-    if (intent.action || intent.rule_sentence) {
-        puzzle.intent = {
-            action: intent.action ?? "buy",
-            lifecycle_phase: intent.lifecycle_phase ?? "P-O-01_Created",
-            rule_sentence: intent.rule_sentence ?? "",
-            failure_conditions: intent.failure_conditions ?? [],
-        };
-    }
-    puzzle.constraints = {
-        F_O_01_no_permission_uses_owner_agent: true,
-        F_O_02_machine_is_snapshot: true,
-        F_O_03_compound_creation_via_service_buy: true,
-        F_O_04_progress_binding_freezes_owner_agent: true,
-        F_O_05_claimed_by_irreversible_blocks_dispute: true,
-        F_O_06_only_new_order_event_emitted: true,
-        F_O_07_dispute_max_10: true,
-        F_O_08_agent_max_10_actual_11: true,
-        F_O_09_no_store_cannot_be_nested: true,
-        F_O_10_sdk_builder_equals_move_owner: true,
-        F_O_11_receive_blocks_during_delivering: true,
-        F_O_12_agent_cannot_receive: true,
-        F_O_13_e_progress_not_specified_dual_semantics: true,
-        F_O_14_buy_is_atomic: true,
-        F_O_15_package_only_callbacks: true,
-        F_O_16_order_allocation_1_to_1: true,
-        F_O_17_order_progress_1_to_1: true,
-        F_O_18_wip_hash_no_empty_string: true,
-        F_O_19_saleitem_item_to_purchaseditem_name: true,
-        F_O_20_time_auto_set: true,
-        F_O_21_new_order_event_fields: true,
-        F_O_22_required_info_contact_or_wts: true,
-        F_O_23_transfer_to_irreversible: true,
-        F_O_24_sdk_no_client_side_count_check: true,
-        F_O_25_service_decoupled_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 + rule_sentence)" });
-    }
-    else if (!puzzle.intent.rule_sentence) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "rule_sentence is empty" });
-    }
-    if (!puzzle.binding) {
-        if (puzzle.intent?.action === "buy") {
-            missing.push("B");
-            missing_details.push({ dimension: "B", reason: "Binding not specified (service + items + owner)" });
-        }
-    }
-    else if (puzzle.intent?.action === "buy" && !puzzle.binding.service) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: "service address missing" });
-    }
-    if (!puzzle.data_source && puzzle.intent?.action === "buy") {
-        missing.push("C");
-        missing_details.push({ dimension: "C", reason: "Data source not specified (where fields come from)" });
-    }
-    if (!puzzle.operations) {
-        if (puzzle.intent && puzzle.intent.action !== "buy") {
-            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 not defined (state transitions + mutex)" });
-    }
-    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.binding) {
-        const b = puzzle.binding;
-        if (b.agents.length > MAX_AGENT_COUNT) {
-            violations.push({
-                constraint_id: "F-O-08",
-                severity: "HIGH",
-                message: `Agent count ${b.agents.length} exceeds MAX_AGENT_COUNT ${MAX_AGENT_COUNT} (⚠️ Move actually allows 11 due to <= bug)`,
-                current_value: b.agents.length,
-                limit: MAX_AGENT_COUNT,
-            });
-        }
-        for (const item of b.items) {
-            if (!item.wip_hash || item.wip_hash === "") {
-                violations.push({
-                    constraint_id: "F-O-18",
-                    severity: "HIGH",
-                    message: `Item "${item.name}" has empty wip_hash (Move rejects empty string)`,
-                });
-            }
-        }
-    }
-    if (puzzle.operations) {
-        for (const op of puzzle.operations.operations) {
-            if (op.type === "agent_set" && puzzle.binding?.progress) {
-                violations.push({
-                    constraint_id: "F-O-04",
-                    severity: "HIGH",
-                    message: "Cannot set agent: Progress already bound (aborts E_PROGRESS_NOT_SPECIFIED — note dual semantics)",
-                });
-            }
-            if (op.type === "transfer_to") {
-                violations.push({
-                    constraint_id: "F-O-23",
-                    severity: "CRITICAL",
-                    message: `transfer_to is IRREVERSIBLE — new owner ${op.new_owner} will take over ALL permissions`,
-                });
-            }
-            if (op.type === "agent_set" && op.agents.length > MAX_AGENT_COUNT) {
-                violations.push({
-                    constraint_id: "F-O-08",
-                    severity: "HIGH",
-                    message: `agent_set with ${op.agents.length} agents exceeds MAX_AGENT_COUNT ${MAX_AGENT_COUNT}`,
-                    current_value: op.agents.length,
-                    limit: MAX_AGENT_COUNT,
-                });
-            }
-        }
-    }
-    return violations;
-}
-export function generateConfirmationText(puzzle) {
-    const lines = [];
-    lines.push("═══ Order Confirmation ═══");
-    lines.push("");
-    if (puzzle.intent) {
-        lines.push(`Action: ${puzzle.intent.action}`);
-        lines.push(`Lifecycle phase: ${puzzle.intent.lifecycle_phase}`);
-        lines.push(`Intent: ${puzzle.intent.rule_sentence}`);
-        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) {
-        const b = puzzle.binding;
-        lines.push("─ Binding (Service snapshot) ──────────────");
-        lines.push(`Service: ${b.service}`);
-        lines.push(`Machine snapshot: ${b.machine_snapshot ?? "(none — no workflow)"}`);
-        lines.push(`Discount: ${b.discount ?? "(none)"}`);
-        lines.push(`Items: ${b.items.length}`);
-        for (const i of b.items) {
-            lines.push(`  - ${i.name} x${i.quantity} @ ${i.price} (wip: ${i.wip_hash.slice(0, 10)}...)`);
-        }
-        lines.push(`Amount: ${b.amount} MIST`);
-        lines.push(`Owner (Move) / Builder (SDK): ${b.owner}`);
-        lines.push(`Agents: ${b.agents.length > 0 ? b.agents.join(", ") : "(none)"}`);
-        lines.push(`Progress: ${b.progress ?? "(not bound)"}`);
-        lines.push(`Allocation: ${b.allocation ?? "(not bound)"}`);
-        lines.push("");
-    }
-    if (puzzle.data_source) {
-        lines.push("─ Data Source ──────────────");
-        const d = puzzle.data_source;
-        lines.push(`Service: ${d.service_source}`);
-        lines.push(`Machine: ${d.machine_source}`);
-        lines.push(`Amount: ${d.amount_source}`);
-        lines.push(`Owner: ${d.owner_source}`);
-        if (d.progress_source !== "none")
-            lines.push(`Progress: ${d.progress_source}`);
-        if (d.allocation_source !== "none")
-            lines.push(`Allocation: ${d.allocation_source}`);
-        lines.push("");
-    }
-    if (puzzle.operations && puzzle.operations.operations.length > 0) {
-        lines.push("─ Operations ──────────────");
-        for (const op of puzzle.operations.operations)
-            lines.push(`  - ${JSON.stringify(op)}`);
-        lines.push("");
-    }
-    if (puzzle.logic) {
-        lines.push("─ Logic ──────────────");
-        lines.push(`State transitions: ${puzzle.logic.state_transitions.length}`);
-        lines.push(`Field mutex rules: ${puzzle.logic.field_mutex.length}`);
-        lines.push(`Cross-object flows: ${puzzle.logic.cross_object_flows.length}`);
-        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 verifySnapshotMechanism(puzzle) {
-    if (!puzzle.binding) {
-        return { snapshot_understood: false, message: "Binding not specified — cannot verify snapshot" };
-    }
-    if (puzzle.binding.machine_snapshot && !puzzle.data_source) {
-        return {
-            snapshot_understood: false,
-            message: "machine_snapshot set but data_source missing — cannot confirm snapshot semantics",
-        };
-    }
-    if (puzzle.binding.machine_snapshot && puzzle.data_source?.machine_source !== "service_machine_snapshot") {
-        return {
-            snapshot_understood: false,
-            message: `machine_source is ${puzzle.data_source?.machine_source}, expected "service_machine_snapshot"`,
-        };
-    }
-    return {
-        snapshot_understood: true,
-        message: "Snapshot mechanism correctly captured: machine is copied from service.machine at buy time",
-    };
-}
-export function inferLifecyclePhase(order) {
-    if (order.claimed_by)
-        return "P-O-04_Claimed";
-    if (order.progress) {
-        if (order.progress_at_terminal)
-            return "P-O-05_Completed";
-        if (order.progress_at_cancel)
-            return "P-O-06_Cancelled";
-        return "P-O-02_Progressing";
-    }
-    if (order.dispute && order.dispute.length > 0)
-        return "P-O-03_Disputed";
-    return "P-O-01_Created";
-}
-export function matchSceneFromPuzzle(puzzle) {
-    if (!puzzle.intent)
-        return undefined;
-    return inferSceneFromIntent(puzzle.intent.rule_sentence) ?? inferSceneFromIntent(puzzle.intent.action);
-}
-export function listAllScenes() {
-    return ORDER_SCENES;
-}
-export function lookupScene(id) {
-    return findSceneById(id);
-}
+import{MAX_AGENT_COUNT}from'@wowok/wowok';import{ORDER_SCENES,findSceneById,inferSceneFromIntent}from'./order-ledger.js';export function initPuzzleFromIntent(a){const b={};return(a['action']||a['rule_sentence'])&&(b['intent']={'action':a['action']??'buy','lifecycle_phase':a['lifecycle_phase']??'P-O-01_Created','rule_sentence':a['rule_sentence']??'','failure_conditions':a['failure_conditions']??[]}),b['constraints']={'F_O_01_no_permission_uses_owner_agent':!![],'F_O_02_machine_is_snapshot':!![],'F_O_03_compound_creation_via_service_buy':!![],'F_O_04_progress_binding_freezes_owner_agent':!![],'F_O_05_claimed_by_irreversible_blocks_dispute':!![],'F_O_06_only_new_order_event_emitted':!![],'F_O_07_dispute_max_10':!![],'F_O_08_agent_max_10_actual_11':!![],'F_O_09_no_store_cannot_be_nested':!![],'F_O_10_sdk_builder_equals_move_owner':!![],'F_O_11_receive_blocks_during_delivering':!![],'F_O_12_agent_cannot_receive':!![],'F_O_13_e_progress_not_specified_dual_semantics':!![],'F_O_14_buy_is_atomic':!![],'F_O_15_package_only_callbacks':!![],'F_O_16_order_allocation_1_to_1':!![],'F_O_17_order_progress_1_to_1':!![],'F_O_18_wip_hash_no_empty_string':!![],'F_O_19_saleitem_item_to_purchaseditem_name':!![],'F_O_20_time_auto_set':!![],'F_O_21_new_order_event_fields':!![],'F_O_22_required_info_contact_or_wts':!![],'F_O_23_transfer_to_irreversible':!![],'F_O_24_sdk_no_client_side_count_check':!![],'F_O_25_service_decoupled_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+\x20rule_sentence)'});else!a['intent']['rule_sentence']&&(b['push']('A'),c['push']({'dimension':'A','reason':'rule_sentence\x20is\x20empty'}));if(!a['binding'])a['intent']?.['action']==='buy'&&(b['push']('B'),c['push']({'dimension':'B','reason':'Binding\x20not\x20specified\x20(service\x20+\x20items\x20+\x20owner)'}));else a['intent']?.['action']==='buy'&&!a['binding']['service']&&(b['push']('B'),c['push']({'dimension':'B','reason':'service\x20address\x20missing'}));return!a['data_source']&&a['intent']?.['action']==='buy'&&(b['push']('C'),c['push']({'dimension':'C','reason':'Data\x20source\x20not\x20specified\x20(where\x20fields\x20come\x20from)'})),!a['operations']&&(a['intent']&&a['intent']['action']!=='buy'&&(b['push']('D'),c['push']({'dimension':'D','reason':'Operations\x20not\x20enumerated'}))),!a['logic']&&(b['push']('E'),c['push']({'dimension':'E','reason':'Logic\x20flow\x20not\x20defined\x20(state\x20transitions\x20+\x20mutex)'})),!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 c=[];if(a['binding']){const d=a['binding'];d['agents']['length']>MAX_AGENT_COUNT&&c['push']({'constraint_id':'F-O-08','severity':'HIGH','message':'Agent\x20count\x20'+d['agents']['length']+'\x20exceeds\x20MAX_AGENT_COUNT\x20'+MAX_AGENT_COUNT+'\x20(⚠️\x20Move\x20actually\x20allows\x2011\x20due\x20to\x20<=\x20bug)','current_value':d['agents']['length'],'limit':MAX_AGENT_COUNT});for(const e of d['items']){(!e['wip_hash']||e['wip_hash']==='')&&c['push']({'constraint_id':'F-O-18','severity':'HIGH','message':'Item\x20\x22'+e['name']+'\x22\x20has\x20empty\x20wip_hash\x20(Move\x20rejects\x20empty\x20string)'});}}if(a['operations'])for(const f of a['operations']['operations']){f['type']==='agent_set'&&a['binding']?.['progress']&&c['push']({'constraint_id':'F-O-04','severity':'HIGH','message':'Cannot\x20set\x20agent:\x20Progress\x20already\x20bound\x20(aborts\x20E_PROGRESS_NOT_SPECIFIED\x20—\x20note\x20dual\x20semantics)'}),f['type']==='transfer_to'&&c['push']({'constraint_id':'F-O-23','severity':'CRITICAL','message':'transfer_to\x20is\x20IRREVERSIBLE\x20—\x20new\x20owner\x20'+f['new_owner']+'\x20will\x20take\x20over\x20ALL\x20permissions'}),f['type']==='agent_set'&&f['agents']['length']>MAX_AGENT_COUNT&&c['push']({'constraint_id':'F-O-08','severity':'HIGH','message':'agent_set\x20with\x20'+f['agents']['length']+'\x20agents\x20exceeds\x20MAX_AGENT_COUNT\x20'+MAX_AGENT_COUNT,'current_value':f['agents']['length'],'limit':MAX_AGENT_COUNT});}return c;}export function generateConfirmationText(a){const c=[];c['push']('═══\x20Order\x20Confirmation\x20═══'),c['push']('');if(a['intent']){c['push']('Action:\x20'+a['intent']['action']),c['push']('Lifecycle\x20phase:\x20'+a['intent']['lifecycle_phase']),c['push']('Intent:\x20'+a['intent']['rule_sentence']);if(a['intent']['failure_conditions']['length']>0x0){c['push']('Failure\x20conditions:');for(const f of a['intent']['failure_conditions'])c['push']('\x20\x20-\x20'+f);}c['push']('');}if(a['binding']){const g=a['binding'];c['push']('─\x20Binding\x20(Service\x20snapshot)\x20──────────────'),c['push']('Service:\x20'+g['service']),c['push']('Machine\x20snapshot:\x20'+(g['machine_snapshot']??'(none\x20—\x20no\x20workflow)')),c['push']('Discount:\x20'+(g['discount']??'(none)')),c['push']('Items:\x20'+g['items']['length']);for(const h of g['items']){c['push']('\x20\x20-\x20'+h['name']+'\x20x'+h['quantity']+'\x20@\x20'+h['price']+'\x20(wip:\x20'+h['wip_hash']['slice'](0x0,0xa)+'...)');}c['push']('Amount:\x20'+g['amount']+'\x20MIST'),c['push']('Owner\x20(Move)\x20/\x20Builder\x20(SDK):\x20'+g['owner']),c['push']('Agents:\x20'+(g['agents']['length']>0x0?g['agents']['join'](',\x20'):'(none)')),c['push']('Progress:\x20'+(g['progress']??'(not\x20bound)')),c['push']('Allocation:\x20'+(g['allocation']??'(not\x20bound)')),c['push']('');}if(a['data_source']){c['push']('─\x20Data\x20Source\x20──────────────');const j=a['data_source'];c['push']('Service:\x20'+j['service_source']),c['push']('Machine:\x20'+j['machine_source']),c['push']('Amount:\x20'+j['amount_source']),c['push']('Owner:\x20'+j['owner_source']);if(j['progress_source']!=='none')c['push']('Progress:\x20'+j['progress_source']);if(j['allocation_source']!=='none')c['push']('Allocation:\x20'+j['allocation_source']);c['push']('');}if(a['operations']&&a['operations']['operations']['length']>0x0){c['push']('─\x20Operations\x20──────────────');for(const k of a['operations']['operations'])c['push']('\x20\x20-\x20'+JSON['stringify'](k));c['push']('');}a['logic']&&(c['push']('─\x20Logic\x20──────────────'),c['push']('State\x20transitions:\x20'+a['logic']['state_transitions']['length']),c['push']('Field\x20mutex\x20rules:\x20'+a['logic']['field_mutex']['length']),c['push']('Cross-object\x20flows:\x20'+a['logic']['cross_object_flows']['length']),c['push'](''));const e=validateConstraints(a);if(e['length']>0x0){c['push']('─\x20Constraint\x20Violations\x20──────────────');for(const l of e)c['push']('\x20\x20['+l['severity']+']\x20'+l['constraint_id']+':\x20'+l['message']);c['push']('');}return c['join']('\x0a');}export function verifySnapshotMechanism(a){if(!a['binding'])return{'snapshot_understood':![],'message':'Binding\x20not\x20specified\x20—\x20cannot\x20verify\x20snapshot'};if(a['binding']['machine_snapshot']&&!a['data_source'])return{'snapshot_understood':![],'message':'machine_snapshot\x20set\x20but\x20data_source\x20missing\x20—\x20cannot\x20confirm\x20snapshot\x20semantics'};if(a['binding']['machine_snapshot']&&a['data_source']?.['machine_source']!=='service_machine_snapshot')return{'snapshot_understood':![],'message':'machine_source\x20is\x20'+a['data_source']?.['machine_source']+',\x20expected\x20\x22service_machine_snapshot\x22'};return{'snapshot_understood':!![],'message':'Snapshot\x20mechanism\x20correctly\x20captured:\x20machine\x20is\x20copied\x20from\x20service.machine\x20at\x20buy\x20time'};}export function inferLifecyclePhase(a){if(a['claimed_by'])return'P-O-04_Claimed';if(a['progress']){if(a['progress_at_terminal'])return'P-O-05_Completed';if(a['progress_at_cancel'])return'P-O-06_Cancelled';return'P-O-02_Progressing';}if(a['dispute']&&a['dispute']['length']>0x0)return'P-O-03_Disputed';return'P-O-01_Created';}export function matchSceneFromPuzzle(a){if(!a['intent'])return undefined;return inferSceneFromIntent(a['intent']['rule_sentence'])??inferSceneFromIntent(a['intent']['action']);}export function listAllScenes(){return ORDER_SCENES;}export function lookupScene(a){return findSceneById(a);}