@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/progress-translation.js

@@ -1,405 +1 @@
-import { isProgressBuiltinPermission, getBuiltinPermissionByIndex, } from "./progress-ledger.js";
-export const PROGRESS_SEMANTIC_TO_SCHEMA_RULES = [
-    {
-        id: "P-PR-01",
-        pattern_name: "Advance Progress (next / order_next)",
-        semantic_intent: "Push Progress forward via a Forward definition; accumulate weight, possibly complete session",
-        match_keywords: ["next", "advance", "proceed", "complete forward"],
-        schema_fields: ["object", "operate(operation, op='next')"],
-        example_json: {
-            object: "0xPROGRESS_ADDRESS",
-            operate: {
-                operation: { next_node_name: "shipped", forward: "ship" },
-                op: "next",
-                message: "Order shipped via FedEx, tracking 12345",
-            },
-        },
-        reverse_explanation: "operate.op='next' → calls progress::next or order_next (if task bound). " +
-            "Move accumulates forward.weight; on reaching threshold, session → history and current = next_node_name. " +
-            "⚠ ROUTING RULE: When Forward.namedOperator=\"\" (empty string = OrderHolder), the caller MUST use " +
-            "order.progress (not progress.operate) — order_next uses order.has_op_permission which recognizes " +
-            "the OrderHolder short-circuit. Direct progress::next will abort with 'Permission denied' (code 5). " +
-            "For non-empty namedOperator or permissionIndex-only forwards, use progress.operate directly.",
-    },
-    {
-        id: "P-PR-02",
-        pattern_name: "Hold Progress (block forward)",
-        semantic_intent: "Lock a Forward so no one else can advance it until unhold",
-        match_keywords: ["hold", "lock", "block", "pause forward"],
-        schema_fields: ["object", "operate(operation, op='hold', message)"],
-        example_json: {
-            object: "0xPROGRESS_ADDRESS",
-            operate: {
-                operation: { next_node_name: "revision_required", forward: "request_revision" },
-                op: "hold",
-                message: "Please revise section 3",
-            },
-        },
-        reverse_explanation: "operate.op='hold' → calls progress::hold or order_hold. session_hold sets Holder.who = sender; " +
-            "other callers will hit E_NOT_THE_HOLDER if they try to advance.",
-    },
-    {
-        id: "P-PR-03",
-        pattern_name: "Self-unhold (release own hold)",
-        semantic_intent: "Release a forward that I previously held",
-        match_keywords: ["unhold", "release", "self release"],
-        schema_fields: ["object", "operate(operation, op='unhold')"],
-        example_json: {
-            object: "0xPROGRESS_ADDRESS",
-            operate: {
-                operation: { next_node_name: "reviewing", forward: "resubmit" },
-                op: "unhold",
-                message: "Revised content uploaded",
-            },
-        },
-        reverse_explanation: "operate.op='unhold' → calls progress::hold(bHold=false) or order_hold(bHold=false). " +
-            "Move's session_hold releases the lock (sender == Holder.who). " +
-            "After release, the forward can be re-locked or accomplished by eligible callers.",
-    },
-    {
-        id: "P-PR-04",
-        pattern_name: "Admin force-unhold (224 permission)",
-        semantic_intent: "Force-release a held forward using 224 permission, bypassing holder check",
-        match_keywords: ["adminUnhold", "force unhold", "admin release"],
-        schema_fields: ["object", "operate(operation, op='adminUnhold')"],
-        example_json: {
-            object: "0xPROGRESS_ADDRESS",
-            operate: {
-                operation: { next_node_name: "arb_decided", forward: "decide" },
-                op: "adminUnhold",
-                message: "Admin override: holder unresponsive for 7 days",
-            },
-        },
-        reverse_explanation: "operate.op='adminUnhold' → calls progress::unhold. Move checks sender_has_permission_idcheck(224); " +
-            "if true, force release (bForce=true). If false, falls back to holder-match check.",
-    },
-    {
-        id: "P-PR-05",
-        pattern_name: "Bind task (one-time, immutable)",
-        semantic_intent: "Associate an Order/Reward address with this Progress (only once per Progress)",
-        match_keywords: ["task_set", "bind task", "set task"],
-        schema_fields: ["object", "task"],
-        example_json: {
-            object: "0xPROGRESS_ADDRESS",
-            task: "0xORDER_ADDRESS",
-        },
-        reverse_explanation: "Calls progress::task_set. Move asserts option::is_none(&self.task); if already set, E_TASK_ALREADY_SET aborts. " +
-            "There is NO task_unset — once bound, the Progress is permanently tied to that Order/Reward.",
-    },
-    {
-        id: "P-PR-06",
-        pattern_name: "Manage context repositories",
-        semantic_intent: "Add/remove/clear Repository objects as query context (≤ 30 total)",
-        match_keywords: ["repository", "context"],
-        schema_fields: ["object", "repository(op, objects)"],
-        example_json: {
-            object: "0xPROGRESS_ADDRESS",
-            repository: { op: "add", objects: ["0xREPO1", "0xREPO2"] },
-        },
-        reverse_explanation: "op=add: appends (idempotent via vector::contains). op=remove: drops listed addresses. " +
-            "op=clear: empties the list. op=set: clears then adds. Count must stay ≤ MAX_CONTEXT_REPOSITORY_COUNT (30).",
-    },
-    {
-        id: "P-PR-07",
-        pattern_name: "Manage named_operator namespace",
-        semantic_intent: "Add/set/remove addresses for a named operator role (Forward gate)",
-        match_keywords: ["named_operator", "operator"],
-        schema_fields: ["object", "progress_namedOperator(op, name, operators)"],
-        example_json: {
-            object: "0xPROGRESS_ADDRESS",
-            progress_namedOperator: {
-                op: "add",
-                name: "logistics",
-                operators: ["0xADDR1", "0xADDR2"],
-            },
-        },
-        reverse_explanation: "op=add: appends (deduped). op=set: REPLACES the address list. op=remove: drops listed addresses. " +
-            "Up to 60 named_operator names per Progress; up to 80 addresses per name.",
-    },
-    {
-        id: "P-PR-08",
-        pattern_name: "Owner receive (terminal node unwrap)",
-        semantic_intent: "Owner receives Receiving<K> objects or CoinWrapper<T> coins at a terminal node",
-        match_keywords: ["owner_receive", "unwrap", "withdraw"],
-        schema_fields: ["(SDK does not expose this in CallProgress_Data — direct move call required)"],
-        example_json: {
-            _note: "Not exposed in CallProgress_Data; direct Move call:",
-            target: "progress::owner_receive<T>",
-            arguments: ["progress", "machine", "permission", "received", "payment"],
-        },
-        reverse_explanation: "Calls progress::owner_receive (225 permission). Unwraps CoinWrapper<T> via Payment.unwrap_with_check, " +
-            "forwards coin/object to Permission owner. Typically triggered at terminal nodes (return_approved, completed, enforced).",
-    },
-];
-export const PROGRESS_SCHEMA_TO_SEMANTIC_RULES = [
-    {
-        element_type: "field",
-        type_name: "object",
-        semantic_explanation: "Progress object address. Always required for operate calls (Progress is created indirectly via service::buy).",
-    },
-    {
-        element_type: "field",
-        type_name: "task",
-        semantic_explanation: "Bind a task (Order/Reward) address. ONE-TIME only — E_TASK_ALREADY_SET on re-set.",
-    },
-    {
-        element_type: "field",
-        type_name: "repository",
-        semantic_explanation: "Context Repository list management. op=add/set/remove/clear. Total ≤ MAX_CONTEXT_REPOSITORY_COUNT (30).",
-    },
-    {
-        element_type: "field",
-        type_name: "progress_namedOperator",
-        semantic_explanation: "named_operator namespace management. name='' is the OrderHolder special namespace. ≤ 60 names, ≤ 80 addresses each.",
-    },
-    {
-        element_type: "field",
-        type_name: "operate",
-        semantic_explanation: "Forward advancement / hold / unhold. Contains operation (next_node_name + forward) and hold/adminUnhold/message flags.",
-    },
-    {
-        element_type: "field",
-        type_name: "operate.operation.next_node_name",
-        semantic_explanation: "Target node name. Must exist in Machine and be reachable from current via a Forward definition.",
-    },
-    {
-        element_type: "field",
-        type_name: "operate.operation.forward",
-        semantic_explanation: "Forward name. Must be one of the forwards defined from current → next_node_name in the Machine.",
-    },
-    {
-        element_type: "field",
-        type_name: "operate.op",
-        semantic_explanation: "Operation type: 'next' = advance forward; 'hold' = lock forward (Holder.who = sender); 'unhold' = self-release own hold; 'adminUnhold' = force release via 224 permission (bypasses holder check).",
-    },
-    {
-        element_type: "field",
-        type_name: "operate.message",
-        semantic_explanation: "Deliverable message (≤ MAX_LONG_NAME_LENGTH). Stored in Holder.msg / delivered on accomplishment.",
-    },
-    {
-        element_type: "op",
-        type_name: "next",
-        semantic_explanation: "Plain forward advance. Use when no bound Order, OR caller is named_operator (not OrderHolder).",
-    },
-    {
-        element_type: "op",
-        type_name: "order_next",
-        semantic_explanation: "Order-bound forward advance. Caller must satisfy order.has_op_permission (order owner/agent).",
-    },
-    {
-        element_type: "op",
-        type_name: "hold",
-        semantic_explanation: "Lock forward. Holder.who = sender; subsequent callers hit E_NOT_THE_HOLDER.",
-    },
-    {
-        element_type: "op",
-        type_name: "order_hold",
-        semantic_explanation: "Order-bound hold. Same as hold but uses order.has_op_permission for OrderHolder verification.",
-    },
-    {
-        element_type: "op",
-        type_name: "unhold",
-        semantic_explanation: "Self-release (sender == Holder.who) OR admin force-release (224 permission).",
-    },
-    {
-        element_type: "op",
-        type_name: "namedOperator_add",
-        semantic_explanation: "Append addresses to a named_operator (deduped; fails if name new and ≥ 60 names).",
-    },
-    {
-        element_type: "op",
-        type_name: "namedOperator_set",
-        semantic_explanation: "REPLACE the address list for a named_operator name (or create if name new).",
-    },
-    {
-        element_type: "op",
-        type_name: "namedOperator_remove",
-        semantic_explanation: "Drop listed addresses from a named_operator name (no-op if name doesn't exist).",
-    },
-    {
-        element_type: "phase",
-        type_name: "creation",
-        semantic_explanation: "Indirect: service::buy → progress::new_imp (bypasses 220 assertion via package-internal entry).",
-    },
-    {
-        element_type: "phase",
-        type_name: "task_binding",
-        semantic_explanation: "One-time task_set (222). E_TASK_ALREADY_SET on any retry.",
-    },
-    {
-        element_type: "phase",
-        type_name: "forward_advance",
-        semantic_explanation: "Dynamic permission: IsNamedOperator OR Forward.permissionIndex OR Forward.guard (Passport). NOT 220-225.",
-    },
-    {
-        element_type: "phase",
-        type_name: "completed",
-        semantic_explanation: "session.weights ≥ threshold → push to history, current = next_node. Atomic.",
-    },
-];
-export const PROGRESS_CONSTRAINT_RULES = [
-    {
-        id: "MC-PR-01",
-        category: "structural",
-        rule: "Machine must be published before Progress creation (machine::on_progress_new asserts published state)",
-        applies_to: ["creation"],
-    },
-    {
-        id: "MC-PR-02",
-        category: "structural",
-        rule: "Progress.machine is immutable after creation (E_MACHINE_NOT_MATCH on every op)",
-        applies_to: ["operate", "task", "repository", "progress_namedOperator"],
-    },
-    {
-        id: "MC-PR-03",
-        category: "structural",
-        rule: "named_operator count < MAX_NAMED_OPERATOR_COUNT (60); E_MAX_NAMED_OPERATOR_COUNT on overflow",
-        applies_to: ["progress_namedOperator.op=add (new name)"],
-    },
-    {
-        id: "MC-PR-04",
-        category: "structural",
-        rule: "named_operator addresses < MAX_NAMED_OPERATOR_ADDRESS_COUNT (80); E_MAX_NAMED_OPERATOR_ADDRESS_COUNT on overflow",
-        applies_to: ["progress_namedOperator.operators"],
-    },
-    {
-        id: "MC-PR-05",
-        category: "structural",
-        rule: "context_repository count < MAX_CONTEXT_REPOSITORY_COUNT (30); E_MAX_CONTEXT_REPOSITORY_COUNT on overflow",
-        applies_to: ["repository.op=add", "repository.op=set"],
-    },
-    {
-        id: "MC-PR-06",
-        category: "semantic",
-        rule: "task_set is one-time: E_TASK_ALREADY_SET blocks any re-assignment",
-        applies_to: ["task"],
-    },
-    {
-        id: "MC-PR-07",
-        category: "semantic",
-        rule: "operate.op must be one of: next | hold | unhold | adminUnhold (schema-enforced enum)",
-        applies_to: ["operate.op"],
-    },
-    {
-        id: "MC-PR-08",
-        category: "semantic",
-        rule: "operate.message must satisfy common::LONG_NAME (≤ MAX_LONG_NAME_LENGTH)",
-        applies_to: ["operate.message"],
-    },
-    {
-        id: "MC-PR-09",
-        category: "permission",
-        rule: "Forward advance uses DYNAMIC permission: namedOperator OR Forward.permissionIndex OR Forward.guard — NOT 220-225",
-        applies_to: ["operate (next/hold/unhold)"],
-    },
-    {
-        id: "MC-PR-10",
-        category: "permission",
-        rule: "220-225 builtin indexes are MANAGEMENT-ONLY (named_operator/task/repository/unhold/owner_receive)",
-        applies_to: ["progress_namedOperator", "task", "repository", "operate.op='adminUnhold'"],
-    },
-    {
-        id: "MC-PR-11",
-        category: "permission",
-        rule: "adminUnhold (224) bypasses holder check — grant only to dedicated recovery addresses",
-        applies_to: ["operate.op='adminUnhold'"],
-    },
-    {
-        id: "MC-PR-12",
-        category: "lifecycle",
-        rule: "Forward already accomplished → E_FORWARD_ALREADY_ACCOMPLISHED on re-hold (idempotent completion)",
-        applies_to: ["operate.op='hold'"],
-    },
-    {
-        id: "MC-PR-13",
-        category: "lifecycle",
-        rule: "unhold by non-holder requires 224 permission; else E_NOT_THE_HOLDER",
-        applies_to: ["operate.op='unhold'"],
-    },
-    {
-        id: "MC-PR-14",
-        category: "cross_object",
-        rule: "order_next/order_hold require progress.task == order address (E_ORDER_NOT_MATCH)",
-        applies_to: ["operate (order variant)"],
-    },
-    {
-        id: "MC-PR-15",
-        category: "cross_object",
-        rule: "context_repository_add creates Registrar affiliation — remove before deleting Repository",
-        applies_to: ["repository.op=add"],
-    },
-    {
-        id: "MC-PR-16",
-        category: "cross_object",
-        rule: "Forward.guard (Some) requires *_with_passport variant; plain next() aborts E_NEED_PASSPORT",
-        applies_to: ["operate (guarded forward)"],
-    },
-];
-export const PROGRESS_TRANSLATION_VERSION = "1.0.0";
-export function matchSemanticPattern(userIntent) {
-    const lower = userIntent.toLowerCase();
-    return PROGRESS_SEMANTIC_TO_SCHEMA_RULES.filter(rule => rule.match_keywords.some(kw => lower.includes(kw.toLowerCase())));
-}
-export function explainProgressCallData(data) {
-    const lines = [];
-    if (!data.object) {
-        lines.push("Operation: CREATE Progress (indirect — service::buy → new_imp)");
-    }
-    else {
-        lines.push(`Operation: OPERATE Progress at ${data.object}`);
-    }
-    if (data.task) {
-        lines.push(`- ⚠️ task_set: ${data.task} (one-time, immutable — E_TASK_ALREADY_SET on re-set)`);
-    }
-    if (data.repository) {
-        const r = data.repository;
-        const objCount = r.objects?.length ?? 0;
-        lines.push(`- Repository ${r.op}: ${objCount} object(s)`);
-    }
-    if (data.progress_namedOperator) {
-        const n = data.progress_namedOperator;
-        const opCount = n.operators?.length ?? 0;
-        const nameDisplay = n.name === "" ? "(OrderHolder namespace)" : `"${n.name}"`;
-        lines.push(`- namedOperator ${n.op} ${nameDisplay}: ${opCount} address(es)`);
-    }
-    if (data.operate) {
-        const o = data.operate;
-        lines.push(`- Operation: ${o.operation.forward} → ${o.operation.next_node_name}`);
-        if (o.op) {
-            lines.push(`  op=${o.op}`);
-        }
-        if (o.op === "hold") {
-            lines.push(`  ⚠️ hold: lock this forward (Holder.who = sender)`);
-        }
-        else if (o.op === "adminUnhold") {
-            lines.push(`  ⚠️ adminUnhold: force release via 224 permission (bypasses holder check)`);
-        }
-        else if (o.op === "unhold") {
-            lines.push(`  ℹ️ unhold: self-release own hold (sender must == Holder.who)`);
-        }
-        else {
-            lines.push(`  Submit result (advance forward, accumulate weight toward threshold)`);
-        }
-        if (o.message) {
-            lines.push(`  Message: "${o.message}"`);
-        }
-    }
-    return lines.join("\n");
-}
-export function explainField(fieldName) {
-    return PROGRESS_SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "field" && r.type_name === fieldName);
-}
-export function explainOp(opName) {
-    return PROGRESS_SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "op" && r.type_name === opName);
-}
-export function getConstraintsByCategory(category) {
-    return PROGRESS_CONSTRAINT_RULES.filter(r => r.category === category);
-}
-export function explainPermissionIndex(index) {
-    if (isProgressBuiltinPermission(index)) {
-        const entry = getBuiltinPermissionByIndex(index);
-        return `${entry.name} (${index}) — ${entry.description}`;
-    }
-    return `Custom/dynamic permission index (${index}) — resolved via Forward.permissionIndex in Machine`;
-}
+import{isProgressBuiltinPermission,getBuiltinPermissionByIndex}from'./progress-ledger.js';export const PROGRESS_SEMANTIC_TO_SCHEMA_RULES=[{'id':'P-PR-01','pattern_name':'Advance\x20Progress\x20(next\x20/\x20order_next)','semantic_intent':'Push\x20Progress\x20forward\x20via\x20a\x20Forward\x20definition;\x20accumulate\x20weight,\x20possibly\x20complete\x20session','match_keywords':['next','advance','proceed','complete\x20forward'],'schema_fields':['object','operate(operation,\x20op=\x27next\x27)'],'example_json':{'object':'0xPROGRESS_ADDRESS','operate':{'operation':{'next_node_name':'shipped','forward':'ship'},'op':'next','message':'Order\x20shipped\x20via\x20FedEx,\x20tracking\x2012345'}},'reverse_explanation':'operate.op=\x27next\x27\x20→\x20calls\x20progress::next\x20or\x20order_next\x20(if\x20task\x20bound).\x20'+'Move\x20accumulates\x20forward.weight;\x20on\x20reaching\x20threshold,\x20session\x20→\x20history\x20and\x20current\x20=\x20next_node_name.\x20'+'⚠\x20ROUTING\x20RULE:\x20When\x20Forward.namedOperator=\x22\x22\x20(empty\x20string\x20=\x20OrderHolder),\x20the\x20caller\x20MUST\x20use\x20'+'order.progress\x20(not\x20progress.operate)\x20—\x20order_next\x20uses\x20order.has_op_permission\x20which\x20recognizes\x20'+'the\x20OrderHolder\x20short-circuit.\x20Direct\x20progress::next\x20will\x20abort\x20with\x20\x27Permission\x20denied\x27\x20(code\x205).\x20'+'For\x20non-empty\x20namedOperator\x20or\x20permissionIndex-only\x20forwards,\x20use\x20progress.operate\x20directly.'},{'id':'P-PR-02','pattern_name':'Hold\x20Progress\x20(block\x20forward)','semantic_intent':'Lock\x20a\x20Forward\x20so\x20no\x20one\x20else\x20can\x20advance\x20it\x20until\x20unhold','match_keywords':['hold','lock','block','pause\x20forward'],'schema_fields':['object','operate(operation,\x20op=\x27hold\x27,\x20message)'],'example_json':{'object':'0xPROGRESS_ADDRESS','operate':{'operation':{'next_node_name':'revision_required','forward':'request_revision'},'op':'hold','message':'Please\x20revise\x20section\x203'}},'reverse_explanation':'operate.op=\x27hold\x27\x20→\x20calls\x20progress::hold\x20or\x20order_hold.\x20session_hold\x20sets\x20Holder.who\x20=\x20sender;\x20'+'other\x20callers\x20will\x20hit\x20E_NOT_THE_HOLDER\x20if\x20they\x20try\x20to\x20advance.'},{'id':'P-PR-03','pattern_name':'Self-unhold\x20(release\x20own\x20hold)','semantic_intent':'Release\x20a\x20forward\x20that\x20I\x20previously\x20held','match_keywords':['unhold','release','self\x20release'],'schema_fields':['object','operate(operation,\x20op=\x27unhold\x27)'],'example_json':{'object':'0xPROGRESS_ADDRESS','operate':{'operation':{'next_node_name':'reviewing','forward':'resubmit'},'op':'unhold','message':'Revised\x20content\x20uploaded'}},'reverse_explanation':'operate.op=\x27unhold\x27\x20→\x20calls\x20progress::hold(bHold=false)\x20or\x20order_hold(bHold=false).\x20'+'Move\x27s\x20session_hold\x20releases\x20the\x20lock\x20(sender\x20==\x20Holder.who).\x20'+'After\x20release,\x20the\x20forward\x20can\x20be\x20re-locked\x20or\x20accomplished\x20by\x20eligible\x20callers.'},{'id':'P-PR-04','pattern_name':'Admin\x20force-unhold\x20(224\x20permission)','semantic_intent':'Force-release\x20a\x20held\x20forward\x20using\x20224\x20permission,\x20bypassing\x20holder\x20check','match_keywords':['adminUnhold','force\x20unhold','admin\x20release'],'schema_fields':['object','operate(operation,\x20op=\x27adminUnhold\x27)'],'example_json':{'object':'0xPROGRESS_ADDRESS','operate':{'operation':{'next_node_name':'arb_decided','forward':'decide'},'op':'adminUnhold','message':'Admin\x20override:\x20holder\x20unresponsive\x20for\x207\x20days'}},'reverse_explanation':'operate.op=\x27adminUnhold\x27\x20→\x20calls\x20progress::unhold.\x20Move\x20checks\x20sender_has_permission_idcheck(224);\x20'+'if\x20true,\x20force\x20release\x20(bForce=true).\x20If\x20false,\x20falls\x20back\x20to\x20holder-match\x20check.'},{'id':'P-PR-05','pattern_name':'Bind\x20task\x20(one-time,\x20immutable)','semantic_intent':'Associate\x20an\x20Order/Reward\x20address\x20with\x20this\x20Progress\x20(only\x20once\x20per\x20Progress)','match_keywords':['task_set','bind\x20task','set\x20task'],'schema_fields':['object','task'],'example_json':{'object':'0xPROGRESS_ADDRESS','task':'0xORDER_ADDRESS'},'reverse_explanation':'Calls\x20progress::task_set.\x20Move\x20asserts\x20option::is_none(&self.task);\x20if\x20already\x20set,\x20E_TASK_ALREADY_SET\x20aborts.\x20'+'There\x20is\x20NO\x20task_unset\x20—\x20once\x20bound,\x20the\x20Progress\x20is\x20permanently\x20tied\x20to\x20that\x20Order/Reward.'},{'id':'P-PR-06','pattern_name':'Manage\x20context\x20repositories','semantic_intent':'Add/remove/clear\x20Repository\x20objects\x20as\x20query\x20context\x20(≤\x2030\x20total)','match_keywords':['repository','context'],'schema_fields':['object','repository(op,\x20objects)'],'example_json':{'object':'0xPROGRESS_ADDRESS','repository':{'op':'add','objects':['0xREPO1','0xREPO2']}},'reverse_explanation':'op=add:\x20appends\x20(idempotent\x20via\x20vector::contains).\x20op=remove:\x20drops\x20listed\x20addresses.\x20'+'op=clear:\x20empties\x20the\x20list.\x20op=set:\x20clears\x20then\x20adds.\x20Count\x20must\x20stay\x20≤\x20MAX_CONTEXT_REPOSITORY_COUNT\x20(30).'},{'id':'P-PR-07','pattern_name':'Manage\x20named_operator\x20namespace','semantic_intent':'Add/set/remove\x20addresses\x20for\x20a\x20named\x20operator\x20role\x20(Forward\x20gate)','match_keywords':['named_operator','operator'],'schema_fields':['object','progress_namedOperator(op,\x20name,\x20operators)'],'example_json':{'object':'0xPROGRESS_ADDRESS','progress_namedOperator':{'op':'add','name':'logistics','operators':['0xADDR1','0xADDR2']}},'reverse_explanation':'op=add:\x20appends\x20(deduped).\x20op=set:\x20REPLACES\x20the\x20address\x20list.\x20op=remove:\x20drops\x20listed\x20addresses.\x20'+'Up\x20to\x2060\x20named_operator\x20names\x20per\x20Progress;\x20up\x20to\x2080\x20addresses\x20per\x20name.'},{'id':'P-PR-08','pattern_name':'Owner\x20receive\x20(terminal\x20node\x20unwrap)','semantic_intent':'Owner\x20receives\x20Receiving<K>\x20objects\x20or\x20CoinWrapper<T>\x20coins\x20at\x20a\x20terminal\x20node','match_keywords':['owner_receive','unwrap','withdraw'],'schema_fields':['(SDK\x20does\x20not\x20expose\x20this\x20in\x20CallProgress_Data\x20—\x20direct\x20move\x20call\x20required)'],'example_json':{'_note':'Not\x20exposed\x20in\x20CallProgress_Data;\x20direct\x20Move\x20call:','target':'progress::owner_receive<T>','arguments':['progress','machine','permission','received','payment']},'reverse_explanation':'Calls\x20progress::owner_receive\x20(225\x20permission).\x20Unwraps\x20CoinWrapper<T>\x20via\x20Payment.unwrap_with_check,\x20'+'forwards\x20coin/object\x20to\x20Permission\x20owner.\x20Typically\x20triggered\x20at\x20terminal\x20nodes\x20(return_approved,\x20completed,\x20enforced).'}];export const PROGRESS_SCHEMA_TO_SEMANTIC_RULES=[{'element_type':'field','type_name':'object','semantic_explanation':'Progress\x20object\x20address.\x20Always\x20required\x20for\x20operate\x20calls\x20(Progress\x20is\x20created\x20indirectly\x20via\x20service::buy).'},{'element_type':'field','type_name':'task','semantic_explanation':'Bind\x20a\x20task\x20(Order/Reward)\x20address.\x20ONE-TIME\x20only\x20—\x20E_TASK_ALREADY_SET\x20on\x20re-set.'},{'element_type':'field','type_name':'repository','semantic_explanation':'Context\x20Repository\x20list\x20management.\x20op=add/set/remove/clear.\x20Total\x20≤\x20MAX_CONTEXT_REPOSITORY_COUNT\x20(30).'},{'element_type':'field','type_name':'progress_namedOperator','semantic_explanation':'named_operator\x20namespace\x20management.\x20name=\x27\x27\x20is\x20the\x20OrderHolder\x20special\x20namespace.\x20≤\x2060\x20names,\x20≤\x2080\x20addresses\x20each.'},{'element_type':'field','type_name':'operate','semantic_explanation':'Forward\x20advancement\x20/\x20hold\x20/\x20unhold.\x20Contains\x20operation\x20(next_node_name\x20+\x20forward)\x20and\x20hold/adminUnhold/message\x20flags.'},{'element_type':'field','type_name':'operate.operation.next_node_name','semantic_explanation':'Target\x20node\x20name.\x20Must\x20exist\x20in\x20Machine\x20and\x20be\x20reachable\x20from\x20current\x20via\x20a\x20Forward\x20definition.'},{'element_type':'field','type_name':'operate.operation.forward','semantic_explanation':'Forward\x20name.\x20Must\x20be\x20one\x20of\x20the\x20forwards\x20defined\x20from\x20current\x20→\x20next_node_name\x20in\x20the\x20Machine.'},{'element_type':'field','type_name':'operate.op','semantic_explanation':'Operation\x20type:\x20\x27next\x27\x20=\x20advance\x20forward;\x20\x27hold\x27\x20=\x20lock\x20forward\x20(Holder.who\x20=\x20sender);\x20\x27unhold\x27\x20=\x20self-release\x20own\x20hold;\x20\x27adminUnhold\x27\x20=\x20force\x20release\x20via\x20224\x20permission\x20(bypasses\x20holder\x20check).'},{'element_type':'field','type_name':'operate.message','semantic_explanation':'Deliverable\x20message\x20(≤\x20MAX_LONG_NAME_LENGTH).\x20Stored\x20in\x20Holder.msg\x20/\x20delivered\x20on\x20accomplishment.'},{'element_type':'op','type_name':'next','semantic_explanation':'Plain\x20forward\x20advance.\x20Use\x20when\x20no\x20bound\x20Order,\x20OR\x20caller\x20is\x20named_operator\x20(not\x20OrderHolder).'},{'element_type':'op','type_name':'order_next','semantic_explanation':'Order-bound\x20forward\x20advance.\x20Caller\x20must\x20satisfy\x20order.has_op_permission\x20(order\x20owner/agent).'},{'element_type':'op','type_name':'hold','semantic_explanation':'Lock\x20forward.\x20Holder.who\x20=\x20sender;\x20subsequent\x20callers\x20hit\x20E_NOT_THE_HOLDER.'},{'element_type':'op','type_name':'order_hold','semantic_explanation':'Order-bound\x20hold.\x20Same\x20as\x20hold\x20but\x20uses\x20order.has_op_permission\x20for\x20OrderHolder\x20verification.'},{'element_type':'op','type_name':'unhold','semantic_explanation':'Self-release\x20(sender\x20==\x20Holder.who)\x20OR\x20admin\x20force-release\x20(224\x20permission).'},{'element_type':'op','type_name':'namedOperator_add','semantic_explanation':'Append\x20addresses\x20to\x20a\x20named_operator\x20(deduped;\x20fails\x20if\x20name\x20new\x20and\x20≥\x2060\x20names).'},{'element_type':'op','type_name':'namedOperator_set','semantic_explanation':'REPLACE\x20the\x20address\x20list\x20for\x20a\x20named_operator\x20name\x20(or\x20create\x20if\x20name\x20new).'},{'element_type':'op','type_name':'namedOperator_remove','semantic_explanation':'Drop\x20listed\x20addresses\x20from\x20a\x20named_operator\x20name\x20(no-op\x20if\x20name\x20doesn\x27t\x20exist).'},{'element_type':'phase','type_name':'creation','semantic_explanation':'Indirect:\x20service::buy\x20→\x20progress::new_imp\x20(bypasses\x20220\x20assertion\x20via\x20package-internal\x20entry).'},{'element_type':'phase','type_name':'task_binding','semantic_explanation':'One-time\x20task_set\x20(222).\x20E_TASK_ALREADY_SET\x20on\x20any\x20retry.'},{'element_type':'phase','type_name':'forward_advance','semantic_explanation':'Dynamic\x20permission:\x20IsNamedOperator\x20OR\x20Forward.permissionIndex\x20OR\x20Forward.guard\x20(Passport).\x20NOT\x20220-225.'},{'element_type':'phase','type_name':'completed','semantic_explanation':'session.weights\x20≥\x20threshold\x20→\x20push\x20to\x20history,\x20current\x20=\x20next_node.\x20Atomic.'}];export const PROGRESS_CONSTRAINT_RULES=[{'id':'MC-PR-01','category':'structural','rule':'Machine\x20must\x20be\x20published\x20before\x20Progress\x20creation\x20(machine::on_progress_new\x20asserts\x20published\x20state)','applies_to':['creation']},{'id':'MC-PR-02','category':'structural','rule':'Progress.machine\x20is\x20immutable\x20after\x20creation\x20(E_MACHINE_NOT_MATCH\x20on\x20every\x20op)','applies_to':['operate','task','repository','progress_namedOperator']},{'id':'MC-PR-03','category':'structural','rule':'named_operator\x20count\x20<\x20MAX_NAMED_OPERATOR_COUNT\x20(60);\x20E_MAX_NAMED_OPERATOR_COUNT\x20on\x20overflow','applies_to':['progress_namedOperator.op=add\x20(new\x20name)']},{'id':'MC-PR-04','category':'structural','rule':'named_operator\x20addresses\x20<\x20MAX_NAMED_OPERATOR_ADDRESS_COUNT\x20(80);\x20E_MAX_NAMED_OPERATOR_ADDRESS_COUNT\x20on\x20overflow','applies_to':['progress_namedOperator.operators']},{'id':'MC-PR-05','category':'structural','rule':'context_repository\x20count\x20<\x20MAX_CONTEXT_REPOSITORY_COUNT\x20(30);\x20E_MAX_CONTEXT_REPOSITORY_COUNT\x20on\x20overflow','applies_to':['repository.op=add','repository.op=set']},{'id':'MC-PR-06','category':'semantic','rule':'task_set\x20is\x20one-time:\x20E_TASK_ALREADY_SET\x20blocks\x20any\x20re-assignment','applies_to':['task']},{'id':'MC-PR-07','category':'semantic','rule':'operate.op\x20must\x20be\x20one\x20of:\x20next\x20|\x20hold\x20|\x20unhold\x20|\x20adminUnhold\x20(schema-enforced\x20enum)','applies_to':['operate.op']},{'id':'MC-PR-08','category':'semantic','rule':'operate.message\x20must\x20satisfy\x20common::LONG_NAME\x20(≤\x20MAX_LONG_NAME_LENGTH)','applies_to':['operate.message']},{'id':'MC-PR-09','category':'permission','rule':'Forward\x20advance\x20uses\x20DYNAMIC\x20permission:\x20namedOperator\x20OR\x20Forward.permissionIndex\x20OR\x20Forward.guard\x20—\x20NOT\x20220-225','applies_to':['operate\x20(next/hold/unhold)']},{'id':'MC-PR-10','category':'permission','rule':'220-225\x20builtin\x20indexes\x20are\x20MANAGEMENT-ONLY\x20(named_operator/task/repository/unhold/owner_receive)','applies_to':['progress_namedOperator','task','repository','operate.op=\x27adminUnhold\x27']},{'id':'MC-PR-11','category':'permission','rule':'adminUnhold\x20(224)\x20bypasses\x20holder\x20check\x20—\x20grant\x20only\x20to\x20dedicated\x20recovery\x20addresses','applies_to':['operate.op=\x27adminUnhold\x27']},{'id':'MC-PR-12','category':'lifecycle','rule':'Forward\x20already\x20accomplished\x20→\x20E_FORWARD_ALREADY_ACCOMPLISHED\x20on\x20re-hold\x20(idempotent\x20completion)','applies_to':['operate.op=\x27hold\x27']},{'id':'MC-PR-13','category':'lifecycle','rule':'unhold\x20by\x20non-holder\x20requires\x20224\x20permission;\x20else\x20E_NOT_THE_HOLDER','applies_to':['operate.op=\x27unhold\x27']},{'id':'MC-PR-14','category':'cross_object','rule':'order_next/order_hold\x20require\x20progress.task\x20==\x20order\x20address\x20(E_ORDER_NOT_MATCH)','applies_to':['operate\x20(order\x20variant)']},{'id':'MC-PR-15','category':'cross_object','rule':'context_repository_add\x20creates\x20Registrar\x20affiliation\x20—\x20remove\x20before\x20deleting\x20Repository','applies_to':['repository.op=add']},{'id':'MC-PR-16','category':'cross_object','rule':'Forward.guard\x20(Some)\x20requires\x20*_with_passport\x20variant;\x20plain\x20next()\x20aborts\x20E_NEED_PASSPORT','applies_to':['operate\x20(guarded\x20forward)']}];export const PROGRESS_TRANSLATION_VERSION='1.0.0';export function matchSemanticPattern(a){const b=a['toLowerCase']();return PROGRESS_SEMANTIC_TO_SCHEMA_RULES['filter'](c=>c['match_keywords']['some'](d=>b['includes'](d['toLowerCase']())));}export function explainProgressCallData(a){const b=[];!a['object']?b['push']('Operation:\x20CREATE\x20Progress\x20(indirect\x20—\x20service::buy\x20→\x20new_imp)'):b['push']('Operation:\x20OPERATE\x20Progress\x20at\x20'+a['object']);a['task']&&b['push']('-\x20⚠️\x20task_set:\x20'+a['task']+'\x20(one-time,\x20immutable\x20—\x20E_TASK_ALREADY_SET\x20on\x20re-set)');if(a['repository']){const c=a['repository'],d=c['objects']?.['length']??0x0;b['push']('-\x20Repository\x20'+c['op']+':\x20'+d+'\x20object(s)');}if(a['progress_namedOperator']){const e=a['progress_namedOperator'],f=e['operators']?.['length']??0x0,g=e['name']===''?'(OrderHolder\x20namespace)':'\x22'+e['name']+'\x22';b['push']('-\x20namedOperator\x20'+e['op']+'\x20'+g+':\x20'+f+'\x20address(es)');}if(a['operate']){const h=a['operate'];b['push']('-\x20Operation:\x20'+h['operation']['forward']+'\x20→\x20'+h['operation']['next_node_name']);h['op']&&b['push']('\x20\x20op='+h['op']);if(h['op']==='hold')b['push']('\x20\x20⚠️\x20hold:\x20lock\x20this\x20forward\x20(Holder.who\x20=\x20sender)');else{if(h['op']==='adminUnhold')b['push']('\x20\x20⚠️\x20adminUnhold:\x20force\x20release\x20via\x20224\x20permission\x20(bypasses\x20holder\x20check)');else h['op']==='unhold'?b['push']('\x20\x20ℹ️\x20unhold:\x20self-release\x20own\x20hold\x20(sender\x20must\x20==\x20Holder.who)'):b['push']('\x20\x20Submit\x20result\x20(advance\x20forward,\x20accumulate\x20weight\x20toward\x20threshold)');}h['message']&&b['push']('\x20\x20Message:\x20\x22'+h['message']+'\x22');}return b['join']('\x0a');}export function explainField(a){return PROGRESS_SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='field'&&b['type_name']===a);}export function explainOp(a){return PROGRESS_SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='op'&&b['type_name']===a);}export function getConstraintsByCategory(a){return PROGRESS_CONSTRAINT_RULES['filter'](b=>b['category']===a);}export function explainPermissionIndex(a){if(isProgressBuiltinPermission(a)){const b=getBuiltinPermissionByIndex(a);return b['name']+'\x20('+a+')\x20—\x20'+b['description'];}return'Custom/dynamic\x20permission\x20index\x20('+a+')\x20—\x20resolved\x20via\x20Forward.permissionIndex\x20in\x20Machine';}