@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/harness/recover.js

@@ -1,139 +1 @@
-export const RECOVERY_RULES = {
-    insufficient_balance: {
-        error_code: "insufficient_balance",
-        strategy: "claim_faucet",
-        max_attempts: 3,
-        automation: "semi",
-        detail: "1. Testnet: claim WOW from the faucet 2. Mainnet: transfer ETH/USDT/USDC/WBTC via the ETH mainnet cross-chain bridge (query active EVM account → top up from external wallet → confirm → cross-chain) 3. Mention the WOW airdrop (under construction) 4. Retry original operation",
-        user_prompt: "Insufficient balance for gas or operation. How to obtain WOW tokens: (1) Testnet — claim WOW from the faucet (https://faucet.testnet.wowok.net); all merchant and order testing can use WOW as the payment token. (2) Mainnet — transfer ETH / USDT / USDC / WBTC via the ETH mainnet cross-chain bridge: first query the active EVM account (bridge_operation query_active_evm_account, auto-generated on first use), then transfer from an external wallet (e.g. MetaMask) to that address, confirm the balance arrived, and cross-chain to WOW mainnet (bridge_operation cross_chain_evm_to_wow). (3) WOW mainnet airdrop: https://airdrop.wowok.net (under construction).",
-    },
-    network_error: {
-        error_code: "network_error",
-        strategy: "retry",
-        max_attempts: 5,
-        automation: "full",
-        detail: "Exponential backoff retry: 1s / 2s / 4s / 8s / 16s. Switch RPC node if available.",
-    },
-    guard_rejected: {
-        error_code: "guard_rejected",
-        strategy: "fill_submission",
-        max_attempts: 2,
-        automation: "semi",
-        detail: "1. Parse Guard table structure 2. Prompt user to fill submission fields 3. Resubmit with call_with_submission",
-        user_prompt: "Guard verification rejected. Please fill in the required submission data and resubmit.",
-    },
-    immutable_violation: {
-        error_code: "immutable_violation",
-        strategy: "recreate",
-        max_attempts: 1,
-        automation: "semi",
-        detail: "1. Stop modification attempt 2. Evaluate creating a new object as replacement 3. Re-plan affected phases",
-        user_prompt: "Cannot modify an immutable object. A new object must be created as a replacement. Confirm to proceed with recreation.",
-    },
-    permission_denied: {
-        error_code: "permission_denied",
-        strategy: "switch_account",
-        max_attempts: 2,
-        automation: "semi",
-        detail: "1. Query object's permission_guard 2. List accounts with permission 3. Switch account or prompt user to add permission",
-        user_prompt: "Current account lacks permission for this operation. Switch to an authorized account or update the Permission object.",
-    },
-    object_not_found: {
-        error_code: "object_not_found",
-        strategy: "query_and_retry",
-        max_attempts: 3,
-        automation: "semi",
-        detail: "1. Re-query the object (may be sync delay) 2. If truly absent, search for similar objects 3. Prompt user to reselect",
-        user_prompt: "Referenced object not found. It may be a synchronization delay. Retrying... If the issue persists, please select a valid object.",
-    },
-    state_conflict: {
-        error_code: "state_conflict",
-        strategy: "adjust_params",
-        max_attempts: 2,
-        automation: "full",
-        detail: "1. Query object's current true state 2. Update ODG status annotations 3. Adjust subsequent operations (e.g., skip completed steps)",
-    },
-    invalid_parameter: {
-        error_code: "invalid_parameter",
-        strategy: "adjust_params",
-        max_attempts: 2,
-        automation: "semi",
-        detail: "1. Query the relevant schema 2. Auto-fix obvious errors (e.g., BigInt vs string) 3. If unfixable, prompt user",
-        user_prompt: "Parameter validation failed. Please check the parameter types and values against the schema and retry.",
-    },
-    unknown: {
-        error_code: "unknown",
-        strategy: "escalate_human",
-        max_attempts: 1,
-        automation: "manual",
-        detail: "1. Report full error context to telemetry 2. Escalate to human intervention 3. Flag for Loop Engineering rule addition",
-        user_prompt: "An unclassified error occurred. Please review the error details and contact support if needed. This error has been logged for tool improvement.",
-    },
-};
-const operationAttempts = new Map();
-function getAttemptCount(operationId, errorCode) {
-    const opMap = operationAttempts.get(operationId);
-    if (!opMap)
-        return 0;
-    return opMap.get(errorCode) ?? 0;
-}
-function incrementAttempt(operationId, errorCode) {
-    if (!operationAttempts.has(operationId)) {
-        operationAttempts.set(operationId, new Map());
-    }
-    const opMap = operationAttempts.get(operationId);
-    const current = (opMap.get(errorCode) ?? 0) + 1;
-    opMap.set(errorCode, current);
-    return current;
-}
-function getTotalAttempts(operationId) {
-    const opMap = operationAttempts.get(operationId);
-    if (!opMap)
-        return 0;
-    let total = 0;
-    for (const count of opMap.values())
-        total += count;
-    return total;
-}
-export function resetAttempts(operationId) {
-    operationAttempts.delete(operationId);
-}
-export function recover(errorCode, operationId, context) {
-    const rule = RECOVERY_RULES[errorCode] ?? RECOVERY_RULES.unknown;
-    const TOTAL_RETRY_LIMIT = 5;
-    const totalAttempts = getTotalAttempts(operationId);
-    const typeAttempts = getAttemptCount(operationId, errorCode);
-    if (totalAttempts >= TOTAL_RETRY_LIMIT) {
-        return {
-            strategy: "stop",
-            should_retry: false,
-            max_attempts: TOTAL_RETRY_LIMIT,
-            current_attempt: totalAttempts,
-            detail: `Total retry limit (${TOTAL_RETRY_LIMIT}) reached for operation ${operationId}. Escalating to human intervention.`,
-            user_prompt: "Maximum retry attempts reached. Manual intervention required.",
-        };
-    }
-    if (typeAttempts >= rule.max_attempts) {
-        return {
-            strategy: "escalate_human",
-            should_retry: false,
-            max_attempts: rule.max_attempts,
-            current_attempt: typeAttempts,
-            detail: `Per-error-code retry limit (${rule.max_attempts}) reached for ${errorCode}. Escalating to human.`,
-            user_prompt: `Recovery attempts for ${errorCode} exhausted. Manual intervention required.`,
-        };
-    }
-    const currentAttempt = incrementAttempt(operationId, errorCode);
-    return {
-        strategy: rule.strategy,
-        should_retry: rule.automation === "full" || currentAttempt < rule.max_attempts,
-        max_attempts: rule.max_attempts,
-        current_attempt: currentAttempt,
-        adjusted_params: rule.adjusted_params,
-        user_prompt: rule.user_prompt,
-        detail: rule.detail,
-    };
-}
-export function getBackoffDelay(attempt) {
-    return Math.pow(2, attempt - 1) * 1000;
-}
+export const RECOVERY_RULES={'insufficient_balance':{'error_code':'insufficient_balance','strategy':'claim_faucet','max_attempts':0x3,'automation':'semi','detail':'1.\x20Testnet:\x20claim\x20WOW\x20from\x20the\x20faucet\x202.\x20Mainnet:\x20transfer\x20ETH/USDT/USDC/WBTC\x20via\x20the\x20ETH\x20mainnet\x20cross-chain\x20bridge\x20(query\x20active\x20EVM\x20account\x20→\x20top\x20up\x20from\x20external\x20wallet\x20→\x20confirm\x20→\x20cross-chain)\x203.\x20Mention\x20the\x20WOW\x20airdrop\x20(under\x20construction)\x204.\x20Retry\x20original\x20operation','user_prompt':'Insufficient\x20balance\x20for\x20gas\x20or\x20operation.\x20How\x20to\x20obtain\x20WOW\x20tokens:\x20(1)\x20Testnet\x20—\x20claim\x20WOW\x20from\x20the\x20faucet\x20(https://faucet.testnet.wowok.net);\x20all\x20merchant\x20and\x20order\x20testing\x20can\x20use\x20WOW\x20as\x20the\x20payment\x20token.\x20(2)\x20Mainnet\x20—\x20transfer\x20ETH\x20/\x20USDT\x20/\x20USDC\x20/\x20WBTC\x20via\x20the\x20ETH\x20mainnet\x20cross-chain\x20bridge:\x20first\x20query\x20the\x20active\x20EVM\x20account\x20(bridge_operation\x20query_active_evm_account,\x20auto-generated\x20on\x20first\x20use),\x20then\x20transfer\x20from\x20an\x20external\x20wallet\x20(e.g.\x20MetaMask)\x20to\x20that\x20address,\x20confirm\x20the\x20balance\x20arrived,\x20and\x20cross-chain\x20to\x20WOW\x20mainnet\x20(bridge_operation\x20cross_chain_evm_to_wow).\x20(3)\x20WOW\x20mainnet\x20airdrop:\x20https://airdrop.wowok.net\x20(under\x20construction).'},'network_error':{'error_code':'network_error','strategy':'retry','max_attempts':0x5,'automation':'full','detail':'Exponential\x20backoff\x20retry:\x201s\x20/\x202s\x20/\x204s\x20/\x208s\x20/\x2016s.\x20Switch\x20RPC\x20node\x20if\x20available.'},'guard_rejected':{'error_code':'guard_rejected','strategy':'fill_submission','max_attempts':0x2,'automation':'semi','detail':'1.\x20Parse\x20Guard\x20table\x20structure\x202.\x20Prompt\x20user\x20to\x20fill\x20submission\x20fields\x203.\x20Resubmit\x20with\x20call_with_submission','user_prompt':'Guard\x20verification\x20rejected.\x20Please\x20fill\x20in\x20the\x20required\x20submission\x20data\x20and\x20resubmit.'},'immutable_violation':{'error_code':'immutable_violation','strategy':'recreate','max_attempts':0x1,'automation':'semi','detail':'1.\x20Stop\x20modification\x20attempt\x202.\x20Evaluate\x20creating\x20a\x20new\x20object\x20as\x20replacement\x203.\x20Re-plan\x20affected\x20phases','user_prompt':'Cannot\x20modify\x20an\x20immutable\x20object.\x20A\x20new\x20object\x20must\x20be\x20created\x20as\x20a\x20replacement.\x20Confirm\x20to\x20proceed\x20with\x20recreation.'},'permission_denied':{'error_code':'permission_denied','strategy':'switch_account','max_attempts':0x2,'automation':'semi','detail':'1.\x20Query\x20object\x27s\x20permission_guard\x202.\x20List\x20accounts\x20with\x20permission\x203.\x20Switch\x20account\x20or\x20prompt\x20user\x20to\x20add\x20permission','user_prompt':'Current\x20account\x20lacks\x20permission\x20for\x20this\x20operation.\x20Switch\x20to\x20an\x20authorized\x20account\x20or\x20update\x20the\x20Permission\x20object.'},'object_not_found':{'error_code':'object_not_found','strategy':'query_and_retry','max_attempts':0x3,'automation':'semi','detail':'1.\x20Re-query\x20the\x20object\x20(may\x20be\x20sync\x20delay)\x202.\x20If\x20truly\x20absent,\x20search\x20for\x20similar\x20objects\x203.\x20Prompt\x20user\x20to\x20reselect','user_prompt':'Referenced\x20object\x20not\x20found.\x20It\x20may\x20be\x20a\x20synchronization\x20delay.\x20Retrying...\x20If\x20the\x20issue\x20persists,\x20please\x20select\x20a\x20valid\x20object.'},'state_conflict':{'error_code':'state_conflict','strategy':'adjust_params','max_attempts':0x2,'automation':'full','detail':'1.\x20Query\x20object\x27s\x20current\x20true\x20state\x202.\x20Update\x20ODG\x20status\x20annotations\x203.\x20Adjust\x20subsequent\x20operations\x20(e.g.,\x20skip\x20completed\x20steps)'},'invalid_parameter':{'error_code':'invalid_parameter','strategy':'adjust_params','max_attempts':0x2,'automation':'semi','detail':'1.\x20Query\x20the\x20relevant\x20schema\x202.\x20Auto-fix\x20obvious\x20errors\x20(e.g.,\x20BigInt\x20vs\x20string)\x203.\x20If\x20unfixable,\x20prompt\x20user','user_prompt':'Parameter\x20validation\x20failed.\x20Please\x20check\x20the\x20parameter\x20types\x20and\x20values\x20against\x20the\x20schema\x20and\x20retry.'},'unknown':{'error_code':'unknown','strategy':'escalate_human','max_attempts':0x1,'automation':'manual','detail':'1.\x20Report\x20full\x20error\x20context\x20to\x20telemetry\x202.\x20Escalate\x20to\x20human\x20intervention\x203.\x20Flag\x20for\x20Loop\x20Engineering\x20rule\x20addition','user_prompt':'An\x20unclassified\x20error\x20occurred.\x20Please\x20review\x20the\x20error\x20details\x20and\x20contact\x20support\x20if\x20needed.\x20This\x20error\x20has\x20been\x20logged\x20for\x20tool\x20improvement.'}};const operationAttempts=new Map();function getAttemptCount(a,b){const c=operationAttempts['get'](a);if(!c)return 0x0;return c['get'](b)??0x0;}function incrementAttempt(a,b){!operationAttempts['has'](a)&&operationAttempts['set'](a,new Map());const c=operationAttempts['get'](a),d=(c['get'](b)??0x0)+0x1;return c['set'](b,d),d;}function getTotalAttempts(a){const b=operationAttempts['get'](a);if(!b)return 0x0;let c=0x0;for(const d of b['values']())c+=d;return c;}export function resetAttempts(a){operationAttempts['delete'](a);}export function recover(a,b,c){const d=RECOVERY_RULES[a]??RECOVERY_RULES['unknown'],e=0x5,f=getTotalAttempts(b),g=getAttemptCount(b,a);if(f>=e)return{'strategy':'stop','should_retry':![],'max_attempts':e,'current_attempt':f,'detail':'Total\x20retry\x20limit\x20('+e+')\x20reached\x20for\x20operation\x20'+b+'.\x20Escalating\x20to\x20human\x20intervention.','user_prompt':'Maximum\x20retry\x20attempts\x20reached.\x20Manual\x20intervention\x20required.'};if(g>=d['max_attempts'])return{'strategy':'escalate_human','should_retry':![],'max_attempts':d['max_attempts'],'current_attempt':g,'detail':'Per-error-code\x20retry\x20limit\x20('+d['max_attempts']+')\x20reached\x20for\x20'+a+'.\x20Escalating\x20to\x20human.','user_prompt':'Recovery\x20attempts\x20for\x20'+a+'\x20exhausted.\x20Manual\x20intervention\x20required.'};const h=incrementAttempt(b,a);return{'strategy':d['strategy'],'should_retry':d['automation']==='full'||h<d['max_attempts'],'max_attempts':d['max_attempts'],'current_attempt':h,'adjusted_params':d['adjusted_params'],'user_prompt':d['user_prompt'],'detail':d['detail']};}export function getBackoffDelay(a){return Math['pow'](0x2,a-0x1)*0x3e8;}

package/dist/harness/types.js

@@ -1 +1 @@
-export {};
+export{};

package/dist/harness/verify.js

@@ -1,237 +1 @@
-function verifyCreated(expected, actual) {
-    const mismatches = [];
-    const expectedCreated = expected.expected.semantic_created ?? [];
-    const actualCreated = actual.semantic?.created ?? [];
-    for (const exp of expectedCreated) {
-        const found = actualCreated.find((a) => a.role === exp.role);
-        if (!found) {
-            mismatches.push({
-                dimension: "created",
-                expected: `role=${exp.role}`,
-                actual: "not found",
-                severity: "fail",
-                detail: `Expected to create object with role '${exp.role}', but none was created`,
-            });
-        }
-    }
-    for (const act of actualCreated) {
-        const expected_role = expectedCreated.find((e) => e.role === act.role);
-        if (!expected_role) {
-            mismatches.push({
-                dimension: "created",
-                expected: `no object with role=${act.role}`,
-                actual: `role=${act.role}`,
-                severity: "warn",
-                detail: `Unexpected object created with role '${act.role}' — may indicate rule table gap`,
-            });
-        }
-    }
-    return mismatches;
-}
-function verifyModified(expected, actual) {
-    const mismatches = [];
-    const expectedModified = expected.expected.semantic_modified ?? [];
-    const actualModified = actual.semantic?.modified ?? [];
-    for (const exp of expectedModified) {
-        const found = actualModified.find((a) => a.role === exp.role);
-        if (!found) {
-            mismatches.push({
-                dimension: "modified",
-                expected: `role=${exp.role} fields=${JSON.stringify(exp.expect_fields ?? {})}`,
-                actual: "not modified",
-                severity: "fail",
-                detail: `Expected to modify object with role '${exp.role}', but it was not modified`,
-            });
-        }
-    }
-    return mismatches;
-}
-function verifyReleased(expected, actual) {
-    const mismatches = [];
-    const expectedReleased = expected.expected.semantic_released ?? [];
-    const actualReleased = actual.semantic?.released ?? [];
-    for (const exp of expectedReleased) {
-        const found = actualReleased.find((a) => a.role === exp.role);
-        if (!found) {
-            mismatches.push({
-                dimension: "released",
-                expected: `role=${exp.role} amount=${exp.amount ?? "?"} from=${exp.from ?? "?"} to=${exp.to ?? "?"}`,
-                actual: "no fund movement",
-                severity: "fail",
-                detail: `Expected fund movement with role '${exp.role}', but none occurred — fund flow risk`,
-            });
-        }
-        else {
-            if (exp.amount && exp.amount !== found.amount) {
-                mismatches.push({
-                    dimension: "released",
-                    expected: `amount=${exp.amount}`,
-                    actual: `amount=${found.amount}`,
-                    severity: "fail",
-                    detail: `Fund amount mismatch for role '${exp.role}' — fund flow risk`,
-                });
-            }
-            if (exp.from && found.from && exp.from !== found.from) {
-                mismatches.push({
-                    dimension: "released",
-                    expected: `from=${exp.from}`,
-                    actual: `from=${found.from}`,
-                    severity: "fail",
-                    detail: `Fund source mismatch for role '${exp.role}' — fund flow direction risk`,
-                });
-            }
-            if (exp.to && found.to && exp.to !== found.to) {
-                mismatches.push({
-                    dimension: "released",
-                    expected: `to=${exp.to}`,
-                    actual: `to=${found.to}`,
-                    severity: "fail",
-                    detail: `Fund destination mismatch for role '${exp.role}' — fund flow direction risk`,
-                });
-            }
-        }
-    }
-    return mismatches;
-}
-function verifyEvents(expected, actual) {
-    const mismatches = [];
-    const expectedEvents = expected.expected.events ?? [];
-    const actualEvents = actual.semantic?.events ?? [];
-    for (const exp of expectedEvents) {
-        const found = actualEvents.find((a) => a.event_type.includes(exp.type) || a.business_meaning.toLowerCase().includes(exp.type.toLowerCase()));
-        if (!found) {
-            mismatches.push({
-                dimension: "event",
-                expected: `event_type contains '${exp.type}'`,
-                actual: "event not found",
-                severity: "warn",
-                detail: `Expected event '${exp.type}' was not found — may indicate semantic layer gap or operation didn't trigger it`,
-            });
-        }
-    }
-    return mismatches;
-}
-function verifyStateTransition(expected, actual) {
-    const mismatches = [];
-    const transition = expected.expected.state_transition;
-    if (!transition)
-        return mismatches;
-    if (actual.semantic?.status === "success") {
-        return mismatches;
-    }
-    if (actual.semantic?.status === "failed") {
-        mismatches.push({
-            dimension: "state",
-            expected: `${transition.from} → ${transition.to}`,
-            actual: "operation failed",
-            severity: "fail",
-            detail: `Expected state transition '${transition.from} → ${transition.to}' failed — operation did not succeed`,
-        });
-    }
-    return mismatches;
-}
-export function verify(input) {
-    const mismatches = [
-        ...verifyCreated(input.expected, input.actual),
-        ...verifyModified(input.expected, input.actual),
-        ...verifyReleased(input.expected, input.actual),
-        ...verifyEvents(input.expected, input.actual),
-        ...verifyStateTransition(input.expected, input.actual),
-    ];
-    const hasFail = mismatches.some((m) => m.severity === "fail");
-    const hasWarn = mismatches.some((m) => m.severity === "warn");
-    const status = hasFail ? "fail" : hasWarn ? "warn" : "pass";
-    const failCount = mismatches.filter((m) => m.severity === "fail").length;
-    const warnCount = mismatches.filter((m) => m.severity === "warn").length;
-    let summary;
-    if (status === "pass") {
-        summary = "All verifications passed — expected results match actual results";
-    }
-    else if (status === "warn") {
-        summary = `${warnCount} warning(s) — operation succeeded with minor discrepancies`;
-    }
-    else {
-        summary = `${failCount} failure(s), ${warnCount} warning(s) — expected results do not match actual results`;
-    }
-    return {
-        status,
-        mismatches,
-        summary,
-        timestamp: new Date().toISOString(),
-    };
-}
-export function generateExpected(operation, intent, operationType, data) {
-    const expected = {
-        result_type: "transaction",
-    };
-    switch (operationType) {
-        case "service":
-            if (data?.publish === true || data?.bPublished === true) {
-                expected.semantic_modified = [{ role: "Service", expect_fields: { bPublished: true } }];
-                expected.state_transition = { from: "unpublished", to: "published" };
-            }
-            else {
-                expected.semantic_created = [{ role: "Service" }];
-            }
-            break;
-        case "machine":
-            expected.semantic_created = [{ role: "Machine" }];
-            break;
-        case "guard":
-            expected.semantic_created = [{ role: "Guard" }];
-            expected.events = [{ type: "GuardCreated", expect_count: ">=1" }];
-            break;
-        case "permission":
-            expected.semantic_created = [{ role: "Permission" }];
-            break;
-        case "order":
-            if (data?.arb !== undefined) {
-                expected.state_transition = { from: "ordered", to: "arbitration" };
-            }
-            else {
-                expected.semantic_created = [{ role: "Order" }];
-                expected.semantic_released = [{ role: "payment" }];
-                expected.events = [{ type: "OrderPaid", expect_count: ">=1" }];
-            }
-            break;
-        case "payment":
-            expected.semantic_released = [{ role: "payment" }];
-            break;
-        case "treasury":
-            if (data?.deposit !== undefined) {
-                expected.semantic_released = [{ role: "deposit" }];
-            }
-            else {
-                expected.semantic_released = [{ role: "release" }];
-            }
-            break;
-        case "reward":
-            if (data?.claim !== undefined || data?.withdraw !== undefined) {
-                expected.semantic_released = [{ role: "reward" }];
-            }
-            else {
-                expected.semantic_created = [{ role: "Reward" }];
-            }
-            break;
-        case "allocation":
-            expected.semantic_released = [{ role: "release" }];
-            expected.events = [{ type: "Allocation", expect_count: ">=1" }];
-            break;
-        case "demand":
-            if (data?.submit !== undefined) {
-                expected.semantic_modified = [{ role: "Demand" }];
-            }
-            else {
-                expected.semantic_created = [{ role: "Demand" }];
-            }
-            break;
-        default:
-            break;
-    }
-    return {
-        operation,
-        intent,
-        pre_conditions: [],
-        expected,
-    };
-}
+function verifyCreated(a,b){const c=[],d=a['expected']['semantic_created']??[],e=b['semantic']?.['created']??[];for(const f of d){const g=e['find'](h=>h['role']===f['role']);!g&&c['push']({'dimension':'created','expected':'role='+f['role'],'actual':'not\x20found','severity':'fail','detail':'Expected\x20to\x20create\x20object\x20with\x20role\x20\x27'+f['role']+'\x27,\x20but\x20none\x20was\x20created'});}for(const h of e){const i=d['find'](j=>j['role']===h['role']);!i&&c['push']({'dimension':'created','expected':'no\x20object\x20with\x20role='+h['role'],'actual':'role='+h['role'],'severity':'warn','detail':'Unexpected\x20object\x20created\x20with\x20role\x20\x27'+h['role']+'\x27\x20—\x20may\x20indicate\x20rule\x20table\x20gap'});}return c;}function verifyModified(a,b){const c=[],d=a['expected']['semantic_modified']??[],e=b['semantic']?.['modified']??[];for(const f of d){const g=e['find'](h=>h['role']===f['role']);!g&&c['push']({'dimension':'modified','expected':'role='+f['role']+'\x20fields='+JSON['stringify'](f['expect_fields']??{}),'actual':'not\x20modified','severity':'fail','detail':'Expected\x20to\x20modify\x20object\x20with\x20role\x20\x27'+f['role']+'\x27,\x20but\x20it\x20was\x20not\x20modified'});}return c;}function verifyReleased(a,b){const c=[],d=a['expected']['semantic_released']??[],e=b['semantic']?.['released']??[];for(const f of d){const g=e['find'](h=>h['role']===f['role']);!g?c['push']({'dimension':'released','expected':'role='+f['role']+'\x20amount='+(f['amount']??'?')+'\x20from='+(f['from']??'?')+'\x20to='+(f['to']??'?'),'actual':'no\x20fund\x20movement','severity':'fail','detail':'Expected\x20fund\x20movement\x20with\x20role\x20\x27'+f['role']+'\x27,\x20but\x20none\x20occurred\x20—\x20fund\x20flow\x20risk'}):(f['amount']&&f['amount']!==g['amount']&&c['push']({'dimension':'released','expected':'amount='+f['amount'],'actual':'amount='+g['amount'],'severity':'fail','detail':'Fund\x20amount\x20mismatch\x20for\x20role\x20\x27'+f['role']+'\x27\x20—\x20fund\x20flow\x20risk'}),f['from']&&g['from']&&f['from']!==g['from']&&c['push']({'dimension':'released','expected':'from='+f['from'],'actual':'from='+g['from'],'severity':'fail','detail':'Fund\x20source\x20mismatch\x20for\x20role\x20\x27'+f['role']+'\x27\x20—\x20fund\x20flow\x20direction\x20risk'}),f['to']&&g['to']&&f['to']!==g['to']&&c['push']({'dimension':'released','expected':'to='+f['to'],'actual':'to='+g['to'],'severity':'fail','detail':'Fund\x20destination\x20mismatch\x20for\x20role\x20\x27'+f['role']+'\x27\x20—\x20fund\x20flow\x20direction\x20risk'}));}return c;}function verifyEvents(a,b){const c=[],d=a['expected']['events']??[],e=b['semantic']?.['events']??[];for(const f of d){const g=e['find'](h=>h['event_type']['includes'](f['type'])||h['business_meaning']['toLowerCase']()['includes'](f['type']['toLowerCase']()));!g&&c['push']({'dimension':'event','expected':'event_type\x20contains\x20\x27'+f['type']+'\x27','actual':'event\x20not\x20found','severity':'warn','detail':'Expected\x20event\x20\x27'+f['type']+'\x27\x20was\x20not\x20found\x20—\x20may\x20indicate\x20semantic\x20layer\x20gap\x20or\x20operation\x20didn\x27t\x20trigger\x20it'});}return c;}function verifyStateTransition(a,b){const c=[],d=a['expected']['state_transition'];if(!d)return c;if(b['semantic']?.['status']==='success')return c;return b['semantic']?.['status']==='failed'&&c['push']({'dimension':'state','expected':d['from']+'\x20→\x20'+d['to'],'actual':'operation\x20failed','severity':'fail','detail':'Expected\x20state\x20transition\x20\x27'+d['from']+'\x20→\x20'+d['to']+'\x27\x20failed\x20—\x20operation\x20did\x20not\x20succeed'}),c;}export function verify(a){const b=[...verifyCreated(a['expected'],a['actual']),...verifyModified(a['expected'],a['actual']),...verifyReleased(a['expected'],a['actual']),...verifyEvents(a['expected'],a['actual']),...verifyStateTransition(a['expected'],a['actual'])],c=b['some'](i=>i['severity']==='fail'),d=b['some'](i=>i['severity']==='warn'),e=c?'fail':d?'warn':'pass',f=b['filter'](i=>i['severity']==='fail')['length'],g=b['filter'](i=>i['severity']==='warn')['length'];let h;if(e==='pass')h='All\x20verifications\x20passed\x20—\x20expected\x20results\x20match\x20actual\x20results';else e==='warn'?h=g+'\x20warning(s)\x20—\x20operation\x20succeeded\x20with\x20minor\x20discrepancies':h=f+'\x20failure(s),\x20'+g+'\x20warning(s)\x20—\x20expected\x20results\x20do\x20not\x20match\x20actual\x20results';return{'status':e,'mismatches':b,'summary':h,'timestamp':new Date()['toISOString']()};}export function generateExpected(a,b,c,d){const e={'result_type':'transaction'};switch(c){case'service':d?.['publish']===!![]||d?.['bPublished']===!![]?(e['semantic_modified']=[{'role':'Service','expect_fields':{'bPublished':!![]}}],e['state_transition']={'from':'unpublished','to':'published'}):e['semantic_created']=[{'role':'Service'}];break;case'machine':e['semantic_created']=[{'role':'Machine'}];break;case'guard':e['semantic_created']=[{'role':'Guard'}],e['events']=[{'type':'GuardCreated','expect_count':'>=1'}];break;case'permission':e['semantic_created']=[{'role':'Permission'}];break;case'order':d?.['arb']!==undefined?e['state_transition']={'from':'ordered','to':'arbitration'}:(e['semantic_created']=[{'role':'Order'}],e['semantic_released']=[{'role':'payment'}],e['events']=[{'type':'OrderPaid','expect_count':'>=1'}]);break;case'payment':e['semantic_released']=[{'role':'payment'}];break;case'treasury':d?.['deposit']!==undefined?e['semantic_released']=[{'role':'deposit'}]:e['semantic_released']=[{'role':'release'}];break;case'reward':d?.['claim']!==undefined||d?.['withdraw']!==undefined?e['semantic_released']=[{'role':'reward'}]:e['semantic_created']=[{'role':'Reward'}];break;case'allocation':e['semantic_released']=[{'role':'release'}],e['events']=[{'type':'Allocation','expect_count':'>=1'}];break;case'demand':d?.['submit']!==undefined?e['semantic_modified']=[{'role':'Demand'}]:e['semantic_created']=[{'role':'Demand'}];break;default:break;}return{'operation':a,'intent':b,'pre_conditions':[],'expected':e};}