@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/progress-ledger.js

@@ -1,330 +1 @@
-import { MAX_NAMED_OPERATOR_COUNT, MAX_NAMED_OPERATOR_ADDRESS_COUNT, MAX_CONTEXT_REPOSITORY_COUNT, } from "@wowok/wowok";
-export { MAX_NAMED_OPERATOR_COUNT, MAX_NAMED_OPERATOR_ADDRESS_COUNT, MAX_CONTEXT_REPOSITORY_COUNT, };
-export const PROGRESS_NEW = {
-    index: 220,
-    name: "PROGRESS_NEW",
-    description: "Create new Progress (asserted by progress::new / new_with_passport)",
-    governed_operations: ["progress::new", "progress::new_with_passport"],
-    sdk_exposed: false,
-};
-export const PROGRESS_NAMED_OPERATOR = {
-    index: 221,
-    name: "PROGRESS_NAMED_OPERATOR",
-    description: "Manage named operators (add/set/remove) for the namedOperator namespace",
-    governed_operations: [
-        "progress::namedOperator_add",
-        "progress::namedOperator_set",
-        "progress::namedOperator_remove",
-        "progress::namedOperator_add_with_passport",
-        "progress::namedOperator_set_with_passport",
-        "progress::namedOperator_remove_with_passport",
-    ],
-    sdk_exposed: true,
-};
-export const PROGRESS_TASK = {
-    index: 222,
-    name: "PROGRESS_TASK",
-    description: "Submit task (one-time, immutable once set — E_TASK_ALREADY_SET)",
-    governed_operations: ["progress::task_set", "progress::task_set_with_passport"],
-    sdk_exposed: true,
-};
-export const PROGRESS_CONTEXT_REPOSITORY = {
-    index: 223,
-    name: "PROGRESS_CONTEXT_REPOSITORY",
-    description: "Bind/unbind context Repository (≤ MAX_CONTEXT_REPOSITORY_COUNT=30)",
-    governed_operations: [
-        "progress::context_repository_add",
-        "progress::context_repository_remove",
-        "progress::context_repository_clear",
-        "progress::context_repository_add_with_passport",
-        "progress::context_repository_remove_with_passport",
-        "progress::context_repository_clear_with_passport",
-    ],
-    sdk_exposed: true,
-};
-export const PROGRESS_UNHOLD = {
-    index: 224,
-    name: "PROGRESS_UNHOLD",
-    description: "Force unhold (adminUnhold) — bypasses holder check, releases blocked forward",
-    governed_operations: ["progress::unhold", "progress::unhold_with_passport"],
-    sdk_exposed: true,
-};
-export const PROGRESS_OWNER_RECEIVE = {
-    index: 225,
-    name: "PROGRESS_OWNER_RECEIVE",
-    description: "Owner receives objects/coins (unwrap Receiving<K> → owner)",
-    governed_operations: [
-        "progress::owner_receive",
-        "progress::owner_receive_object",
-        "progress::owner_receive_with_passport",
-        "progress::owner_receive_object_with_passport",
-    ],
-    sdk_exposed: false,
-};
-export const PROGRESS_PERMISSIONS = [
-    PROGRESS_NEW,
-    PROGRESS_NAMED_OPERATOR,
-    PROGRESS_TASK,
-    PROGRESS_CONTEXT_REPOSITORY,
-    PROGRESS_UNHOLD,
-    PROGRESS_OWNER_RECEIVE,
-];
-export const PROGRESS_SCENES = [
-    {
-        id: "progress_task_submit",
-        name: "Task submission & binding workflow",
-        industry: ["universal", "ecommerce", "logistics", "education"],
-        scenario: "Submit a task (Order/Reward/etc.) to Progress via task_set. " +
-            "Task is one-time, immutable — once set, E_TASK_ALREADY_SET blocks any re-assignment. " +
-            "Binds Progress 1:1 to the task object for the rest of its lifecycle.",
-        phases: ["task_binding", "forward_advance"],
-        requires_published_machine: true,
-        requires_order_bound: true,
-        named_operator_roles: [],
-        builtin_indexes_consumed: [PROGRESS_TASK],
-        typical_context_repository_count: 0,
-        uses_hold_mechanism: false,
-        uses_admin_unhold: false,
-        common_patterns: [
-            "task_set is one-time: verify task address before submission (E_TASK_ALREADY_SET blocks reset)",
-            "task is usually an Order created by service::buy → Progress.task = Order address",
-            "Without task, Forward advancement falls back to non-order next()/hold() paths",
-        ],
-        recommended_templates: ["T-PR-01"],
-    },
-    {
-        id: "progress_named_operator",
-        name: "Named operator namespace management",
-        industry: ["universal", "logistics", "arbitration", "freelance"],
-        scenario: "Manage named_operator namespace for a Progress. Each named operator is a (name → address list) " +
-            "binding used by Machine.forward.namedOperator to gate next()/hold() advancement. " +
-            "Up to 60 named operators per Progress, up to 80 addresses per operator.",
-        phases: ["named_operator_mgmt"],
-        requires_published_machine: true,
-        requires_order_bound: false,
-        named_operator_roles: [
-            { role: "seller", typical_count: 1 },
-            { role: "logistics", typical_count: 1 },
-            { role: "reviewer", typical_count: 3 },
-            { role: "arbitrator", typical_count: 5 },
-        ],
-        builtin_indexes_consumed: [PROGRESS_NAMED_OPERATOR],
-        typical_context_repository_count: 0,
-        uses_hold_mechanism: false,
-        uses_admin_unhold: false,
-        common_patterns: [
-            "namedOperator name='': special case — means OrderHolder (order.owner/agent), NOT a real named operator",
-            "add/set/remove are idempotent on duplicate addresses (vector::contains check before push)",
-            "Use 'set' to REPLACE an operator's address list; use 'add' to extend; 'remove' to subtract",
-            "Names must satisfy common::NAME (isValidName) — non-empty, length-bounded",
-        ],
-        recommended_templates: ["T-PR-01", "T-PR-02"],
-    },
-    {
-        id: "progress_unhold",
-        name: "Hold release (unhold / adminUnhold) workflow",
-        industry: ["content", "rental", "arbitration", "subscription"],
-        scenario: "Release a forward that was previously held. Two paths: " +
-            "(a) unhold by original holder (named_operator match); " +
-            "(b) adminUnhold (224) by permission-table holder — bypasses holder check. " +
-            "adminUnhold is the deadlock-resolution escape hatch when a holder is unresponsive.",
-        phases: ["hold_state", "unhold_state"],
-        requires_published_machine: true,
-        requires_order_bound: true,
-        named_operator_roles: [
-            { role: "holder", typical_count: 1 },
-            { role: "admin", typical_count: 1 },
-        ],
-        builtin_indexes_consumed: [PROGRESS_UNHOLD],
-        typical_context_repository_count: 0,
-        uses_hold_mechanism: true,
-        uses_admin_unhold: true,
-        common_patterns: [
-            "unhold checks sender_has_permission_idcheck(224): if yes, force release; if no, require holder match",
-            "adminUnhold has wider blast radius — only grant 224 to trusted recovery operators",
-            "If forward already accomplished, E_FORWARD_ALREADY_ACCOMPLISHED blocks re-hold",
-            "Repeated hold/unhold cycles indicate a stuck workflow — surface to order-monitor",
-        ],
-        recommended_templates: ["T-PR-05"],
-    },
-    {
-        id: "progress_context_repository",
-        name: "Context Repository binding workflow",
-        industry: ["education", "content", "rental", "cross_chain"],
-        scenario: "Bind/unbind Repository objects as Progress context_repositories. " +
-            "Used to provide query-time context (learning progress, inspection records, bridge state). " +
-            "Up to MAX_CONTEXT_REPOSITORY_COUNT=30 repositories per Progress.",
-        phases: ["context_binding"],
-        requires_published_machine: true,
-        requires_order_bound: false,
-        named_operator_roles: [],
-        builtin_indexes_consumed: [PROGRESS_CONTEXT_REPOSITORY],
-        typical_context_repository_count: 3,
-        uses_hold_mechanism: false,
-        uses_admin_unhold: false,
-        common_patterns: [
-            "context_repository_add registers affiliation via Registrar (enables cross-object queries)",
-            "context_repository_remove disaffiliates — Repository may be garbage-collected if no other refs",
-            "context_repository_clear empties the entire list in one transaction",
-            "add is idempotent: if Repository already in list, no-op (vector::contains check)",
-            "Bind before forward advance so on-chain guards can read context data",
-        ],
-        recommended_templates: ["T-PR-03"],
-    },
-    {
-        id: "progress_owner_receive",
-        name: "Owner receive (unwrap) workflow",
-        industry: ["finance", "treasury", "rental", "freelance"],
-        scenario: "Owner receives Receiving<K> objects or CoinWrapper<T> coins sent to the Progress object. " +
-            "unwrap → permission::owner_receive_inner forwards to Permission owner. " +
-            "Used at terminal nodes (return_approved, completed, enforced) to disburse funds.",
-        phases: ["owner_receive"],
-        requires_published_machine: true,
-        requires_order_bound: true,
-        named_operator_roles: [],
-        builtin_indexes_consumed: [PROGRESS_OWNER_RECEIVE],
-        typical_context_repository_count: 0,
-        uses_hold_mechanism: false,
-        uses_admin_unhold: false,
-        common_patterns: [
-            "owner_receive unwraps CoinWrapper<T> via Payment.unwrap_with_check (amount validation)",
-            "owner_receive_object receives a generic K:key+store object and forwards to Permission owner",
-            "Triggered at terminal nodes (e.g. 'return_approved' in rental, 'enforced' in arbitration)",
-            "Permission owner ≠ Progress creator: receives flow to whoever owns the bound Machine's Permission",
-        ],
-        recommended_templates: ["T-PR-06"],
-    },
-    {
-        id: "progress_completed",
-        name: "Forward advancement & session completion",
-        industry: ["universal"],
-        scenario: "Advance Progress via next()/order_next() — accumulates weights in session.forwards, " +
-            "and when weights ≥ threshold, moves session into history and updates Progress.current. " +
-            "This is the canonical Forward advancement path for ALL non-hold operations.",
-        phases: ["forward_advance", "completed"],
-        requires_published_machine: true,
-        requires_order_bound: true,
-        named_operator_roles: [
-            { role: "OrderHolder", typical_count: 1 },
-            { role: "next_node_operator", typical_count: 1 },
-        ],
-        builtin_indexes_consumed: [],
-        typical_context_repository_count: 0,
-        uses_hold_mechanism: false,
-        uses_admin_unhold: false,
-        common_patterns: [
-            "Forward guard (Some): requires Passport; uses passport::result_for_guard for verification",
-            "Forward guard (None): requires permissionIndex (Some) or namedOperator match (ASSERT_PERMISSION)",
-            "session.weights += forward.weight; when ≥ threshold, push session into ParentTableVec<History>",
-            "Progress.current = next_node only after session completes (atomic update)",
-            "E_NOT_THE_HOLDER: if forward was held by another address, next() aborts",
-            "E_FORWARD_ALREADY_ACCOMPLISHED: re-hold on completed forward is blocked",
-            "⚠ ROUTING RULE: Forward.namedOperator=\"\" (empty) → MUST call order.progress (order_next); " +
-                "non-empty namedOperator or permissionIndex-only → MUST call progress.operate (next). " +
-                "Wrong path → Permission denied (abort code 5). See file header CRITICAL ROUTING RULE.",
-        ],
-        recommended_templates: ["T-PR-04"],
-    },
-];
-export const PROGRESS_LEDGER_VERSION = "1.0.0";
-export function getScenesByPhase(phase) {
-    return PROGRESS_SCENES.filter(s => s.phases.includes(phase));
-}
-export function findSceneById(id) {
-    return PROGRESS_SCENES.find(s => s.id === id);
-}
-export function getScenesByIndustry(industry) {
-    return PROGRESS_SCENES.filter(s => s.industry.includes(industry) || s.industry.includes("universal"));
-}
-export function getBuiltinPermissionByIndex(index) {
-    return PROGRESS_PERMISSIONS.find(p => p.index === index);
-}
-export function isProgressBuiltinPermission(index) {
-    return getBuiltinPermissionByIndex(index) !== undefined;
-}
-export function inferSceneFromIntent(intent) {
-    const lower = intent.toLowerCase();
-    const keywordMap = [
-        ["adminunhold", "progress_unhold"],
-        ["admin unhold", "progress_unhold"],
-        ["force unhold", "progress_unhold"],
-        ["unhold", "progress_unhold"],
-        ["release hold", "progress_unhold"],
-        ["owner_receive", "progress_owner_receive"],
-        ["owner receive", "progress_owner_receive"],
-        ["unwrap", "progress_owner_receive"],
-        ["context_repository", "progress_context_repository"],
-        ["context repository", "progress_context_repository"],
-        ["repository binding", "progress_context_repository"],
-        ["named_operator", "progress_named_operator"],
-        ["named operator", "progress_named_operator"],
-        ["namedoperator", "progress_named_operator"],
-        ["task_set", "progress_task_submit"],
-        ["task set", "progress_task_submit"],
-        ["submit task", "progress_task_submit"],
-        ["next", "progress_completed"],
-        ["order_next", "progress_completed"],
-        ["advance", "progress_completed"],
-        ["complete", "progress_completed"],
-    ];
-    for (const [kw, sceneId] of keywordMap) {
-        if (lower.includes(kw)) {
-            const scene = findSceneById(sceneId);
-            if (scene)
-                return scene;
-        }
-    }
-    return undefined;
-}
-export function getAllBuiltinPermissions() {
-    return [...PROGRESS_PERMISSIONS];
-}
-export function getProgressScenesCount() {
-    return PROGRESS_SCENES.length;
-}
-export function validateNamedOperatorAddressList(addresses) {
-    const violations = [];
-    if (addresses.length > MAX_NAMED_OPERATOR_ADDRESS_COUNT) {
-        violations.push(`Named operator address count ${addresses.length} exceeds MAX_NAMED_OPERATOR_ADDRESS_COUNT ${MAX_NAMED_OPERATOR_ADDRESS_COUNT}`);
-    }
-    const seen = new Set();
-    for (const a of addresses) {
-        if (seen.has(a)) {
-            violations.push(`Duplicate address in list: ${a} (Move will dedupe silently)`);
-            break;
-        }
-        seen.add(a);
-    }
-    return { ok: violations.length === 0, violations };
-}
-export function validateNamedOperatorCount(currentNamedOperatorCount) {
-    if (currentNamedOperatorCount >= MAX_NAMED_OPERATOR_COUNT) {
-        return {
-            ok: false,
-            violation: `Named operator count ${currentNamedOperatorCount} would exceed MAX_NAMED_OPERATOR_COUNT ${MAX_NAMED_OPERATOR_COUNT}`,
-        };
-    }
-    return { ok: true };
-}
-export function validateContextRepositoryCount(currentRepositoryCount, addCount) {
-    const newCount = currentRepositoryCount + addCount;
-    if (newCount > MAX_CONTEXT_REPOSITORY_COUNT) {
-        return {
-            ok: false,
-            violation: `Context repository count ${newCount} would exceed MAX_CONTEXT_REPOSITORY_COUNT ${MAX_CONTEXT_REPOSITORY_COUNT}`,
-        };
-    }
-    return { ok: true };
-}
-export const PROGRESS_CROSS_OBJECT_REFS = [
-    { object: "Machine", phase: "universal", relationship: "Progress.machine (immutable bind, E_MACHINE_NOT_MATCH on every op)" },
-    { object: "Order", phase: "forward_advance", relationship: "Progress.task = Order.address (1:1, set via task_set or service::buy)" },
-    { object: "Order", phase: "forward_advance", relationship: "order_next / order_hold: order.has_op_permission(order, ctx) gates Forward advance" },
-    { object: "Permission", phase: "universal", relationship: "Machine.permission is borrowed for ALL 220-225 assertions" },
-    { object: "Repository", phase: "context_binding", relationship: "context_repositories: vector<address> (≤ 30), affiliated via Registrar" },
-    { object: "Service", phase: "creation", relationship: "service::buy → new_imp (bypasses 220 assertion — package-internal entry)" },
-    { object: "Passport", phase: "forward_advance", relationship: "Forward.guard (Some) requires Passport + passport::result_for_guard" },
-    { object: "Passport", phase: "unhold_state", relationship: "unhold_with_passport: 224 check via passport (fallback when sender_has_permission_idcheck fails)" },
-    { object: "Payment", phase: "owner_receive", relationship: "owner_receive unwraps CoinWrapper<T> via Payment.unwrap_with_check" },
-    { object: "Allocation", phase: "completed", relationship: "Terminal node triggers Allocation alloc (e.g. 'completed', 'enforced', 'return_approved')" },
-];
+import{MAX_NAMED_OPERATOR_COUNT,MAX_NAMED_OPERATOR_ADDRESS_COUNT,MAX_CONTEXT_REPOSITORY_COUNT}from'@wowok/wowok';export{MAX_NAMED_OPERATOR_COUNT,MAX_NAMED_OPERATOR_ADDRESS_COUNT,MAX_CONTEXT_REPOSITORY_COUNT};export const PROGRESS_NEW={'index':0xdc,'name':'PROGRESS_NEW','description':'Create\x20new\x20Progress\x20(asserted\x20by\x20progress::new\x20/\x20new_with_passport)','governed_operations':['progress::new','progress::new_with_passport'],'sdk_exposed':![]};export const PROGRESS_NAMED_OPERATOR={'index':0xdd,'name':'PROGRESS_NAMED_OPERATOR','description':'Manage\x20named\x20operators\x20(add/set/remove)\x20for\x20the\x20namedOperator\x20namespace','governed_operations':['progress::namedOperator_add','progress::namedOperator_set','progress::namedOperator_remove','progress::namedOperator_add_with_passport','progress::namedOperator_set_with_passport','progress::namedOperator_remove_with_passport'],'sdk_exposed':!![]};export const PROGRESS_TASK={'index':0xde,'name':'PROGRESS_TASK','description':'Submit\x20task\x20(one-time,\x20immutable\x20once\x20set\x20—\x20E_TASK_ALREADY_SET)','governed_operations':['progress::task_set','progress::task_set_with_passport'],'sdk_exposed':!![]};export const PROGRESS_CONTEXT_REPOSITORY={'index':0xdf,'name':'PROGRESS_CONTEXT_REPOSITORY','description':'Bind/unbind\x20context\x20Repository\x20(≤\x20MAX_CONTEXT_REPOSITORY_COUNT=30)','governed_operations':['progress::context_repository_add','progress::context_repository_remove','progress::context_repository_clear','progress::context_repository_add_with_passport','progress::context_repository_remove_with_passport','progress::context_repository_clear_with_passport'],'sdk_exposed':!![]};export const PROGRESS_UNHOLD={'index':0xe0,'name':'PROGRESS_UNHOLD','description':'Force\x20unhold\x20(adminUnhold)\x20—\x20bypasses\x20holder\x20check,\x20releases\x20blocked\x20forward','governed_operations':['progress::unhold','progress::unhold_with_passport'],'sdk_exposed':!![]};export const PROGRESS_OWNER_RECEIVE={'index':0xe1,'name':'PROGRESS_OWNER_RECEIVE','description':'Owner\x20receives\x20objects/coins\x20(unwrap\x20Receiving<K>\x20→\x20owner)','governed_operations':['progress::owner_receive','progress::owner_receive_object','progress::owner_receive_with_passport','progress::owner_receive_object_with_passport'],'sdk_exposed':![]};export const PROGRESS_PERMISSIONS=[PROGRESS_NEW,PROGRESS_NAMED_OPERATOR,PROGRESS_TASK,PROGRESS_CONTEXT_REPOSITORY,PROGRESS_UNHOLD,PROGRESS_OWNER_RECEIVE];export const PROGRESS_SCENES=[{'id':'progress_task_submit','name':'Task\x20submission\x20&\x20binding\x20workflow','industry':['universal','ecommerce','logistics','education'],'scenario':'Submit\x20a\x20task\x20(Order/Reward/etc.)\x20to\x20Progress\x20via\x20task_set.\x20'+'Task\x20is\x20one-time,\x20immutable\x20—\x20once\x20set,\x20E_TASK_ALREADY_SET\x20blocks\x20any\x20re-assignment.\x20'+'Binds\x20Progress\x201:1\x20to\x20the\x20task\x20object\x20for\x20the\x20rest\x20of\x20its\x20lifecycle.','phases':['task_binding','forward_advance'],'requires_published_machine':!![],'requires_order_bound':!![],'named_operator_roles':[],'builtin_indexes_consumed':[PROGRESS_TASK],'typical_context_repository_count':0x0,'uses_hold_mechanism':![],'uses_admin_unhold':![],'common_patterns':['task_set\x20is\x20one-time:\x20verify\x20task\x20address\x20before\x20submission\x20(E_TASK_ALREADY_SET\x20blocks\x20reset)','task\x20is\x20usually\x20an\x20Order\x20created\x20by\x20service::buy\x20→\x20Progress.task\x20=\x20Order\x20address','Without\x20task,\x20Forward\x20advancement\x20falls\x20back\x20to\x20non-order\x20next()/hold()\x20paths'],'recommended_templates':['T-PR-01']},{'id':'progress_named_operator','name':'Named\x20operator\x20namespace\x20management','industry':['universal','logistics','arbitration','freelance'],'scenario':'Manage\x20named_operator\x20namespace\x20for\x20a\x20Progress.\x20Each\x20named\x20operator\x20is\x20a\x20(name\x20→\x20address\x20list)\x20'+'binding\x20used\x20by\x20Machine.forward.namedOperator\x20to\x20gate\x20next()/hold()\x20advancement.\x20'+'Up\x20to\x2060\x20named\x20operators\x20per\x20Progress,\x20up\x20to\x2080\x20addresses\x20per\x20operator.','phases':['named_operator_mgmt'],'requires_published_machine':!![],'requires_order_bound':![],'named_operator_roles':[{'role':'seller','typical_count':0x1},{'role':'logistics','typical_count':0x1},{'role':'reviewer','typical_count':0x3},{'role':'arbitrator','typical_count':0x5}],'builtin_indexes_consumed':[PROGRESS_NAMED_OPERATOR],'typical_context_repository_count':0x0,'uses_hold_mechanism':![],'uses_admin_unhold':![],'common_patterns':['namedOperator\x20name=\x27\x27:\x20special\x20case\x20—\x20means\x20OrderHolder\x20(order.owner/agent),\x20NOT\x20a\x20real\x20named\x20operator','add/set/remove\x20are\x20idempotent\x20on\x20duplicate\x20addresses\x20(vector::contains\x20check\x20before\x20push)','Use\x20\x27set\x27\x20to\x20REPLACE\x20an\x20operator\x27s\x20address\x20list;\x20use\x20\x27add\x27\x20to\x20extend;\x20\x27remove\x27\x20to\x20subtract','Names\x20must\x20satisfy\x20common::NAME\x20(isValidName)\x20—\x20non-empty,\x20length-bounded'],'recommended_templates':['T-PR-01','T-PR-02']},{'id':'progress_unhold','name':'Hold\x20release\x20(unhold\x20/\x20adminUnhold)\x20workflow','industry':['content','rental','arbitration','subscription'],'scenario':'Release\x20a\x20forward\x20that\x20was\x20previously\x20held.\x20Two\x20paths:\x20'+'(a)\x20unhold\x20by\x20original\x20holder\x20(named_operator\x20match);\x20'+'(b)\x20adminUnhold\x20(224)\x20by\x20permission-table\x20holder\x20—\x20bypasses\x20holder\x20check.\x20'+'adminUnhold\x20is\x20the\x20deadlock-resolution\x20escape\x20hatch\x20when\x20a\x20holder\x20is\x20unresponsive.','phases':['hold_state','unhold_state'],'requires_published_machine':!![],'requires_order_bound':!![],'named_operator_roles':[{'role':'holder','typical_count':0x1},{'role':'admin','typical_count':0x1}],'builtin_indexes_consumed':[PROGRESS_UNHOLD],'typical_context_repository_count':0x0,'uses_hold_mechanism':!![],'uses_admin_unhold':!![],'common_patterns':['unhold\x20checks\x20sender_has_permission_idcheck(224):\x20if\x20yes,\x20force\x20release;\x20if\x20no,\x20require\x20holder\x20match','adminUnhold\x20has\x20wider\x20blast\x20radius\x20—\x20only\x20grant\x20224\x20to\x20trusted\x20recovery\x20operators','If\x20forward\x20already\x20accomplished,\x20E_FORWARD_ALREADY_ACCOMPLISHED\x20blocks\x20re-hold','Repeated\x20hold/unhold\x20cycles\x20indicate\x20a\x20stuck\x20workflow\x20—\x20surface\x20to\x20order-monitor'],'recommended_templates':['T-PR-05']},{'id':'progress_context_repository','name':'Context\x20Repository\x20binding\x20workflow','industry':['education','content','rental','cross_chain'],'scenario':'Bind/unbind\x20Repository\x20objects\x20as\x20Progress\x20context_repositories.\x20'+'Used\x20to\x20provide\x20query-time\x20context\x20(learning\x20progress,\x20inspection\x20records,\x20bridge\x20state).\x20'+'Up\x20to\x20MAX_CONTEXT_REPOSITORY_COUNT=30\x20repositories\x20per\x20Progress.','phases':['context_binding'],'requires_published_machine':!![],'requires_order_bound':![],'named_operator_roles':[],'builtin_indexes_consumed':[PROGRESS_CONTEXT_REPOSITORY],'typical_context_repository_count':0x3,'uses_hold_mechanism':![],'uses_admin_unhold':![],'common_patterns':['context_repository_add\x20registers\x20affiliation\x20via\x20Registrar\x20(enables\x20cross-object\x20queries)','context_repository_remove\x20disaffiliates\x20—\x20Repository\x20may\x20be\x20garbage-collected\x20if\x20no\x20other\x20refs','context_repository_clear\x20empties\x20the\x20entire\x20list\x20in\x20one\x20transaction','add\x20is\x20idempotent:\x20if\x20Repository\x20already\x20in\x20list,\x20no-op\x20(vector::contains\x20check)','Bind\x20before\x20forward\x20advance\x20so\x20on-chain\x20guards\x20can\x20read\x20context\x20data'],'recommended_templates':['T-PR-03']},{'id':'progress_owner_receive','name':'Owner\x20receive\x20(unwrap)\x20workflow','industry':['finance','treasury','rental','freelance'],'scenario':'Owner\x20receives\x20Receiving<K>\x20objects\x20or\x20CoinWrapper<T>\x20coins\x20sent\x20to\x20the\x20Progress\x20object.\x20'+'unwrap\x20→\x20permission::owner_receive_inner\x20forwards\x20to\x20Permission\x20owner.\x20'+'Used\x20at\x20terminal\x20nodes\x20(return_approved,\x20completed,\x20enforced)\x20to\x20disburse\x20funds.','phases':['owner_receive'],'requires_published_machine':!![],'requires_order_bound':!![],'named_operator_roles':[],'builtin_indexes_consumed':[PROGRESS_OWNER_RECEIVE],'typical_context_repository_count':0x0,'uses_hold_mechanism':![],'uses_admin_unhold':![],'common_patterns':['owner_receive\x20unwraps\x20CoinWrapper<T>\x20via\x20Payment.unwrap_with_check\x20(amount\x20validation)','owner_receive_object\x20receives\x20a\x20generic\x20K:key+store\x20object\x20and\x20forwards\x20to\x20Permission\x20owner','Triggered\x20at\x20terminal\x20nodes\x20(e.g.\x20\x27return_approved\x27\x20in\x20rental,\x20\x27enforced\x27\x20in\x20arbitration)','Permission\x20owner\x20≠\x20Progress\x20creator:\x20receives\x20flow\x20to\x20whoever\x20owns\x20the\x20bound\x20Machine\x27s\x20Permission'],'recommended_templates':['T-PR-06']},{'id':'progress_completed','name':'Forward\x20advancement\x20&\x20session\x20completion','industry':['universal'],'scenario':'Advance\x20Progress\x20via\x20next()/order_next()\x20—\x20accumulates\x20weights\x20in\x20session.forwards,\x20'+'and\x20when\x20weights\x20≥\x20threshold,\x20moves\x20session\x20into\x20history\x20and\x20updates\x20Progress.current.\x20'+'This\x20is\x20the\x20canonical\x20Forward\x20advancement\x20path\x20for\x20ALL\x20non-hold\x20operations.','phases':['forward_advance','completed'],'requires_published_machine':!![],'requires_order_bound':!![],'named_operator_roles':[{'role':'OrderHolder','typical_count':0x1},{'role':'next_node_operator','typical_count':0x1}],'builtin_indexes_consumed':[],'typical_context_repository_count':0x0,'uses_hold_mechanism':![],'uses_admin_unhold':![],'common_patterns':['Forward\x20guard\x20(Some):\x20requires\x20Passport;\x20uses\x20passport::result_for_guard\x20for\x20verification','Forward\x20guard\x20(None):\x20requires\x20permissionIndex\x20(Some)\x20or\x20namedOperator\x20match\x20(ASSERT_PERMISSION)','session.weights\x20+=\x20forward.weight;\x20when\x20≥\x20threshold,\x20push\x20session\x20into\x20ParentTableVec<History>','Progress.current\x20=\x20next_node\x20only\x20after\x20session\x20completes\x20(atomic\x20update)','E_NOT_THE_HOLDER:\x20if\x20forward\x20was\x20held\x20by\x20another\x20address,\x20next()\x20aborts','E_FORWARD_ALREADY_ACCOMPLISHED:\x20re-hold\x20on\x20completed\x20forward\x20is\x20blocked','⚠\x20ROUTING\x20RULE:\x20Forward.namedOperator=\x22\x22\x20(empty)\x20→\x20MUST\x20call\x20order.progress\x20(order_next);\x20'+'non-empty\x20namedOperator\x20or\x20permissionIndex-only\x20→\x20MUST\x20call\x20progress.operate\x20(next).\x20'+'Wrong\x20path\x20→\x20Permission\x20denied\x20(abort\x20code\x205).\x20See\x20file\x20header\x20CRITICAL\x20ROUTING\x20RULE.'],'recommended_templates':['T-PR-04']}];export const PROGRESS_LEDGER_VERSION='1.0.0';export function getScenesByPhase(a){return PROGRESS_SCENES['filter'](b=>b['phases']['includes'](a));}export function findSceneById(a){return PROGRESS_SCENES['find'](b=>b['id']===a);}export function getScenesByIndustry(a){return PROGRESS_SCENES['filter'](b=>b['industry']['includes'](a)||b['industry']['includes']('universal'));}export function getBuiltinPermissionByIndex(a){return PROGRESS_PERMISSIONS['find'](b=>b['index']===a);}export function isProgressBuiltinPermission(a){return getBuiltinPermissionByIndex(a)!==undefined;}export function inferSceneFromIntent(a){const b=a['toLowerCase'](),c=[['adminunhold','progress_unhold'],['admin\x20unhold','progress_unhold'],['force\x20unhold','progress_unhold'],['unhold','progress_unhold'],['release\x20hold','progress_unhold'],['owner_receive','progress_owner_receive'],['owner\x20receive','progress_owner_receive'],['unwrap','progress_owner_receive'],['context_repository','progress_context_repository'],['context\x20repository','progress_context_repository'],['repository\x20binding','progress_context_repository'],['named_operator','progress_named_operator'],['named\x20operator','progress_named_operator'],['namedoperator','progress_named_operator'],['task_set','progress_task_submit'],['task\x20set','progress_task_submit'],['submit\x20task','progress_task_submit'],['next','progress_completed'],['order_next','progress_completed'],['advance','progress_completed'],['complete','progress_completed']];for(const [d,e]of c){if(b['includes'](d)){const f=findSceneById(e);if(f)return f;}}return undefined;}export function getAllBuiltinPermissions(){return[...PROGRESS_PERMISSIONS];}export function getProgressScenesCount(){return PROGRESS_SCENES['length'];}export function validateNamedOperatorAddressList(b){const c=[];b['length']>MAX_NAMED_OPERATOR_ADDRESS_COUNT&&c['push']('Named\x20operator\x20address\x20count\x20'+b['length']+'\x20exceeds\x20MAX_NAMED_OPERATOR_ADDRESS_COUNT\x20'+MAX_NAMED_OPERATOR_ADDRESS_COUNT);const d=new Set();for(const e of b){if(d['has'](e)){c['push']('Duplicate\x20address\x20in\x20list:\x20'+e+'\x20(Move\x20will\x20dedupe\x20silently)');break;}d['add'](e);}return{'ok':c['length']===0x0,'violations':c};}export function validateNamedOperatorCount(a){if(a>=MAX_NAMED_OPERATOR_COUNT)return{'ok':![],'violation':'Named\x20operator\x20count\x20'+a+'\x20would\x20exceed\x20MAX_NAMED_OPERATOR_COUNT\x20'+MAX_NAMED_OPERATOR_COUNT};return{'ok':!![]};}export function validateContextRepositoryCount(a,b){const c=a+b;if(c>MAX_CONTEXT_REPOSITORY_COUNT)return{'ok':![],'violation':'Context\x20repository\x20count\x20'+c+'\x20would\x20exceed\x20MAX_CONTEXT_REPOSITORY_COUNT\x20'+MAX_CONTEXT_REPOSITORY_COUNT};return{'ok':!![]};}export const PROGRESS_CROSS_OBJECT_REFS=[{'object':'Machine','phase':'universal','relationship':'Progress.machine\x20(immutable\x20bind,\x20E_MACHINE_NOT_MATCH\x20on\x20every\x20op)'},{'object':'Order','phase':'forward_advance','relationship':'Progress.task\x20=\x20Order.address\x20(1:1,\x20set\x20via\x20task_set\x20or\x20service::buy)'},{'object':'Order','phase':'forward_advance','relationship':'order_next\x20/\x20order_hold:\x20order.has_op_permission(order,\x20ctx)\x20gates\x20Forward\x20advance'},{'object':'Permission','phase':'universal','relationship':'Machine.permission\x20is\x20borrowed\x20for\x20ALL\x20220-225\x20assertions'},{'object':'Repository','phase':'context_binding','relationship':'context_repositories:\x20vector<address>\x20(≤\x2030),\x20affiliated\x20via\x20Registrar'},{'object':'Service','phase':'creation','relationship':'service::buy\x20→\x20new_imp\x20(bypasses\x20220\x20assertion\x20—\x20package-internal\x20entry)'},{'object':'Passport','phase':'forward_advance','relationship':'Forward.guard\x20(Some)\x20requires\x20Passport\x20+\x20passport::result_for_guard'},{'object':'Passport','phase':'unhold_state','relationship':'unhold_with_passport:\x20224\x20check\x20via\x20passport\x20(fallback\x20when\x20sender_has_permission_idcheck\x20fails)'},{'object':'Payment','phase':'owner_receive','relationship':'owner_receive\x20unwraps\x20CoinWrapper<T>\x20via\x20Payment.unwrap_with_check'},{'object':'Allocation','phase':'completed','relationship':'Terminal\x20node\x20triggers\x20Allocation\x20alloc\x20(e.g.\x20\x27completed\x27,\x20\x27enforced\x27,\x20\x27return_approved\x27)'}];

package/dist/knowledge/progress-puzzle.js

@@ -1,219 +1 @@
-import { MAX_NAMED_OPERATOR_ADDRESS_COUNT, } from "@wowok/wowok";
-import { getBuiltinPermissionByIndex, } from "./progress-ledger.js";
-export function initPuzzleFromIntent(intent) {
-    const puzzle = {};
-    if (intent.action || intent.rule_sentence) {
-        puzzle.intent = {
-            action: intent.action ?? "operate",
-            target_progress: intent.target_progress,
-            rule_sentence: intent.rule_sentence ?? "",
-            failure_conditions: intent.failure_conditions ?? [],
-        };
-    }
-    puzzle.constraints = {
-        F_PR_01_machine_published: false,
-        F_PR_02_machine_bound: false,
-        F_PR_03_named_operator_count_le_60: true,
-        F_PR_04_named_operator_addr_le_80: true,
-        F_PR_05_context_repository_le_30: true,
-        F_PR_06_task_one_time: true,
-        F_PR_07_forward_exists_in_machine: false,
-        F_PR_08_holder_match_for_unhold: 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" });
-    }
-    const isQueryOnly = puzzle.intent?.action === "query";
-    if (!isQueryOnly) {
-        if (!puzzle.workflow) {
-            missing.push("B");
-            missing_details.push({ dimension: "B", reason: "Workflow not specified (machine + current_node)" });
-        }
-        else if (!puzzle.workflow.machine) {
-            missing.push("B");
-            missing_details.push({ dimension: "B", reason: "machine address missing" });
-        }
-        else if (!puzzle.workflow.machine_published) {
-            missing.push("B");
-            missing_details.push({ dimension: "B", reason: "Machine not published — Progress requires published Machine" });
-        }
-    }
-    if (puzzle.intent?.action === "named_operator") {
-        if (!puzzle.named_operator) {
-            missing.push("C");
-            missing_details.push({ dimension: "C", reason: "named_operator config not specified (name + op + addresses)" });
-        }
-        else if (!puzzle.named_operator.name && !puzzle.named_operator.is_order_holder_namespace) {
-            missing.push("C");
-            missing_details.push({ dimension: "C", reason: "named_operator.name is empty (use is_order_holder_namespace=true for OrderHolder)" });
-        }
-    }
-    if (puzzle.intent?.action === "task_set") {
-        if (!puzzle.task) {
-            missing.push("D");
-            missing_details.push({ dimension: "D", reason: "Task data not specified (task_address + immutability_acknowledged)" });
-        }
-        else if (!puzzle.task.task_address) {
-            missing.push("D");
-            missing_details.push({ dimension: "D", reason: "task_address missing" });
-        }
-        else if (!puzzle.task.immutability_acknowledged) {
-            missing.push("D");
-            missing_details.push({ dimension: "D", reason: "immutability_acknowledged=false — user must acknowledge task is one-time" });
-        }
-    }
-    if (!puzzle.permission) {
-        missing.push("E");
-        missing_details.push({ dimension: "E", reason: "Permission config not specified (builtin_indexes / forward_permission_index / passport)" });
-    }
-    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.workflow && !puzzle.workflow.machine_published) {
-        violations.push({
-            constraint_id: "F-PR-01",
-            severity: "CRITICAL",
-            message: `Machine ${puzzle.workflow.machine} is not published — Progress requires a published Machine`,
-            current_value: "unpublished",
-            limit: "published",
-        });
-    }
-    if (puzzle.named_operator) {
-        if (puzzle.named_operator.addresses.length > MAX_NAMED_OPERATOR_ADDRESS_COUNT) {
-            violations.push({
-                constraint_id: "F-PR-04",
-                severity: "HIGH",
-                message: `named_operator "${puzzle.named_operator.name}" has ${puzzle.named_operator.addresses.length} addresses, exceeds MAX_NAMED_OPERATOR_ADDRESS_COUNT ${MAX_NAMED_OPERATOR_ADDRESS_COUNT}`,
-                current_value: puzzle.named_operator.addresses.length,
-                limit: MAX_NAMED_OPERATOR_ADDRESS_COUNT,
-            });
-        }
-    }
-    if (puzzle.task && !puzzle.task.immutability_acknowledged) {
-        violations.push({
-            constraint_id: "F-PR-06",
-            severity: "HIGH",
-            message: "Task immutability not acknowledged — task is one-time, E_TASK_ALREADY_SET blocks reset",
-            current_value: "not_acknowledged",
-            limit: "acknowledged",
-        });
-    }
-    if (puzzle.intent?.action === "operate" &&
-        puzzle.intent.rule_sentence.toLowerCase().includes("unhold") &&
-        puzzle.constraints &&
-        !puzzle.constraints.F_PR_08_holder_match_for_unhold) {
-        violations.push({
-            constraint_id: "F-PR-08",
-            severity: "HIGH",
-            message: "unhold requires sender == holder OR sender has 224 permission (adminUnhold)",
-        });
-    }
-    return violations;
-}
-export function generateConfirmationText(puzzle) {
-    const lines = [];
-    lines.push("═══ Progress Confirmation ═══");
-    lines.push("");
-    if (puzzle.intent) {
-        lines.push(`Action: ${puzzle.intent.action}`);
-        if (puzzle.intent.target_progress)
-            lines.push(`Target Progress: ${puzzle.intent.target_progress}`);
-        lines.push(`Rule: ${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.workflow) {
-        lines.push("─ Workflow ──────────────");
-        lines.push(`Machine: ${puzzle.workflow.machine} (published: ${puzzle.workflow.machine_published ? "YES" : "NO"})`);
-        lines.push(`Order/Task: ${puzzle.workflow.order ?? "(not bound)"}`);
-        lines.push(`Current node: ${puzzle.workflow.current_node}`);
-        if (puzzle.workflow.forward_target) {
-            lines.push(`Forward target: ${puzzle.workflow.current_node} --(${puzzle.workflow.forward_target.forward})--> ${puzzle.workflow.forward_target.next_node_name}`);
-        }
-        lines.push(`Use order variant: ${puzzle.workflow.use_order_variant ? "YES (order_next / order_hold)" : "NO (next / hold)"}`);
-        lines.push("");
-    }
-    if (puzzle.named_operator) {
-        lines.push("─ Named Operator ──────────────");
-        lines.push(`Name: "${puzzle.named_operator.name}"${puzzle.named_operator.is_order_holder_namespace ? " (OrderHolder namespace)" : ""}`);
-        lines.push(`Op: ${puzzle.named_operator.op}`);
-        lines.push(`Addresses (${puzzle.named_operator.addresses.length}/${MAX_NAMED_OPERATOR_ADDRESS_COUNT}): ${puzzle.named_operator.addresses.join(", ")}`);
-        lines.push("");
-    }
-    if (puzzle.task) {
-        lines.push("─ Task ──────────────");
-        lines.push(`Task address: ${puzzle.task.task_address}`);
-        if (puzzle.task.submitted_data) {
-            lines.push(`Submitted data (${puzzle.task.submitted_data.type}): ${puzzle.task.submitted_data.payload.slice(0, 80)}${puzzle.task.submitted_data.payload.length > 80 ? "…" : ""}`);
-        }
-        lines.push(`Immutability acknowledged: ${puzzle.task.immutability_acknowledged ? "YES" : "NO"}`);
-        lines.push("");
-    }
-    if (puzzle.permission) {
-        lines.push("─ Permission ──────────────");
-        if (puzzle.permission.builtin_indexes_used.length > 0) {
-            lines.push("Builtin indexes used (management):");
-            for (const p of puzzle.permission.builtin_indexes_used) {
-                lines.push(`  [${p.index}] ${p.name}: ${p.description}`);
-            }
-        }
-        if (puzzle.permission.forward_permission_index !== null) {
-            lines.push(`Forward.permissionIndex: ${puzzle.permission.forward_permission_index}`);
-        }
-        lines.push(`Named operator short-circuit: ${puzzle.permission.uses_named_operator_short_circuit ? "YES" : "NO"}`);
-        lines.push(`Requires Passport: ${puzzle.permission.requires_passport ? "YES" : "NO"}`);
-        lines.push(`Uses order.has_op_permission: ${puzzle.permission.uses_order_permission ? "YES" : "NO"}`);
-        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 resolveBuiltinPermission(index) {
-    return getBuiltinPermissionByIndex(index);
-}
-export function isOrderHolderForward(puzzle) {
-    return (puzzle.permission?.uses_named_operator_short_circuit === false &&
-        puzzle.permission?.forward_permission_index === null &&
-        puzzle.workflow?.use_order_variant === true);
-}
-export function getRelevantDimensions(action) {
-    const base = ["A", "B", "E", "F"];
-    if (action === "named_operator")
-        base.push("C");
-    if (action === "task_set")
-        base.push("D");
-    return base;
-}
+import{MAX_NAMED_OPERATOR_ADDRESS_COUNT}from'@wowok/wowok';import{getBuiltinPermissionByIndex}from'./progress-ledger.js';export function initPuzzleFromIntent(a){const b={};return(a['action']||a['rule_sentence'])&&(b['intent']={'action':a['action']??'operate','target_progress':a['target_progress'],'rule_sentence':a['rule_sentence']??'','failure_conditions':a['failure_conditions']??[]}),b['constraints']={'F_PR_01_machine_published':![],'F_PR_02_machine_bound':![],'F_PR_03_named_operator_count_le_60':!![],'F_PR_04_named_operator_addr_le_80':!![],'F_PR_05_context_repository_le_30':!![],'F_PR_06_task_one_time':!![],'F_PR_07_forward_exists_in_machine':![],'F_PR_08_holder_match_for_unhold':!![]},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'}));const d=a['intent']?.['action']==='query';if(!d){if(!a['workflow'])b['push']('B'),c['push']({'dimension':'B','reason':'Workflow\x20not\x20specified\x20(machine\x20+\x20current_node)'});else{if(!a['workflow']['machine'])b['push']('B'),c['push']({'dimension':'B','reason':'machine\x20address\x20missing'});else!a['workflow']['machine_published']&&(b['push']('B'),c['push']({'dimension':'B','reason':'Machine\x20not\x20published\x20—\x20Progress\x20requires\x20published\x20Machine'}));}}if(a['intent']?.['action']==='named_operator'){if(!a['named_operator'])b['push']('C'),c['push']({'dimension':'C','reason':'named_operator\x20config\x20not\x20specified\x20(name\x20+\x20op\x20+\x20addresses)'});else!a['named_operator']['name']&&!a['named_operator']['is_order_holder_namespace']&&(b['push']('C'),c['push']({'dimension':'C','reason':'named_operator.name\x20is\x20empty\x20(use\x20is_order_holder_namespace=true\x20for\x20OrderHolder)'}));}if(a['intent']?.['action']==='task_set'){if(!a['task'])b['push']('D'),c['push']({'dimension':'D','reason':'Task\x20data\x20not\x20specified\x20(task_address\x20+\x20immutability_acknowledged)'});else{if(!a['task']['task_address'])b['push']('D'),c['push']({'dimension':'D','reason':'task_address\x20missing'});else!a['task']['immutability_acknowledged']&&(b['push']('D'),c['push']({'dimension':'D','reason':'immutability_acknowledged=false\x20—\x20user\x20must\x20acknowledge\x20task\x20is\x20one-time'}));}}return!a['permission']&&(b['push']('E'),c['push']({'dimension':'E','reason':'Permission\x20config\x20not\x20specified\x20(builtin_indexes\x20/\x20forward_permission_index\x20/\x20passport)'})),!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=[];return a['workflow']&&!a['workflow']['machine_published']&&b['push']({'constraint_id':'F-PR-01','severity':'CRITICAL','message':'Machine\x20'+a['workflow']['machine']+'\x20is\x20not\x20published\x20—\x20Progress\x20requires\x20a\x20published\x20Machine','current_value':'unpublished','limit':'published'}),a['named_operator']&&(a['named_operator']['addresses']['length']>MAX_NAMED_OPERATOR_ADDRESS_COUNT&&b['push']({'constraint_id':'F-PR-04','severity':'HIGH','message':'named_operator\x20\x22'+a['named_operator']['name']+'\x22\x20has\x20'+a['named_operator']['addresses']['length']+'\x20addresses,\x20exceeds\x20MAX_NAMED_OPERATOR_ADDRESS_COUNT\x20'+MAX_NAMED_OPERATOR_ADDRESS_COUNT,'current_value':a['named_operator']['addresses']['length'],'limit':MAX_NAMED_OPERATOR_ADDRESS_COUNT})),a['task']&&!a['task']['immutability_acknowledged']&&b['push']({'constraint_id':'F-PR-06','severity':'HIGH','message':'Task\x20immutability\x20not\x20acknowledged\x20—\x20task\x20is\x20one-time,\x20E_TASK_ALREADY_SET\x20blocks\x20reset','current_value':'not_acknowledged','limit':'acknowledged'}),a['intent']?.['action']==='operate'&&a['intent']['rule_sentence']['toLowerCase']()['includes']('unhold')&&a['constraints']&&!a['constraints']['F_PR_08_holder_match_for_unhold']&&b['push']({'constraint_id':'F-PR-08','severity':'HIGH','message':'unhold\x20requires\x20sender\x20==\x20holder\x20OR\x20sender\x20has\x20224\x20permission\x20(adminUnhold)'}),b;}export function generateConfirmationText(a){const b=[];b['push']('═══\x20Progress\x20Confirmation\x20═══'),b['push']('');if(a['intent']){b['push']('Action:\x20'+a['intent']['action']);if(a['intent']['target_progress'])b['push']('Target\x20Progress:\x20'+a['intent']['target_progress']);b['push']('Rule:\x20'+a['intent']['rule_sentence']);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']('');}a['workflow']&&(b['push']('─\x20Workflow\x20──────────────'),b['push']('Machine:\x20'+a['workflow']['machine']+'\x20(published:\x20'+(a['workflow']['machine_published']?'YES':'NO')+')'),b['push']('Order/Task:\x20'+(a['workflow']['order']??'(not\x20bound)')),b['push']('Current\x20node:\x20'+a['workflow']['current_node']),a['workflow']['forward_target']&&b['push']('Forward\x20target:\x20'+a['workflow']['current_node']+'\x20--('+a['workflow']['forward_target']['forward']+')-->\x20'+a['workflow']['forward_target']['next_node_name']),b['push']('Use\x20order\x20variant:\x20'+(a['workflow']['use_order_variant']?'YES\x20(order_next\x20/\x20order_hold)':'NO\x20(next\x20/\x20hold)')),b['push'](''));a['named_operator']&&(b['push']('─\x20Named\x20Operator\x20──────────────'),b['push']('Name:\x20\x22'+a['named_operator']['name']+'\x22'+(a['named_operator']['is_order_holder_namespace']?'\x20(OrderHolder\x20namespace)':'')),b['push']('Op:\x20'+a['named_operator']['op']),b['push']('Addresses\x20('+a['named_operator']['addresses']['length']+'/'+MAX_NAMED_OPERATOR_ADDRESS_COUNT+'):\x20'+a['named_operator']['addresses']['join'](',\x20')),b['push'](''));a['task']&&(b['push']('─\x20Task\x20──────────────'),b['push']('Task\x20address:\x20'+a['task']['task_address']),a['task']['submitted_data']&&b['push']('Submitted\x20data\x20('+a['task']['submitted_data']['type']+'):\x20'+a['task']['submitted_data']['payload']['slice'](0x0,0x50)+(a['task']['submitted_data']['payload']['length']>0x50?'…':'')),b['push']('Immutability\x20acknowledged:\x20'+(a['task']['immutability_acknowledged']?'YES':'NO')),b['push'](''));if(a['permission']){b['push']('─\x20Permission\x20──────────────');if(a['permission']['builtin_indexes_used']['length']>0x0){b['push']('Builtin\x20indexes\x20used\x20(management):');for(const e of a['permission']['builtin_indexes_used']){b['push']('\x20\x20['+e['index']+']\x20'+e['name']+':\x20'+e['description']);}}a['permission']['forward_permission_index']!==null&&b['push']('Forward.permissionIndex:\x20'+a['permission']['forward_permission_index']),b['push']('Named\x20operator\x20short-circuit:\x20'+(a['permission']['uses_named_operator_short_circuit']?'YES':'NO')),b['push']('Requires\x20Passport:\x20'+(a['permission']['requires_passport']?'YES':'NO')),b['push']('Uses\x20order.has_op_permission:\x20'+(a['permission']['uses_order_permission']?'YES':'NO')),b['push']('');}const c=validateConstraints(a);if(c['length']>0x0){b['push']('─\x20Constraint\x20Violations\x20──────────────');for(const f of c)b['push']('\x20\x20['+f['severity']+']\x20'+f['constraint_id']+':\x20'+f['message']);b['push']('');}return b['join']('\x0a');}export function resolveBuiltinPermission(a){return getBuiltinPermissionByIndex(a);}export function isOrderHolderForward(a){return a['permission']?.['uses_named_operator_short_circuit']===![]&&a['permission']?.['forward_permission_index']===null&&a['workflow']?.['use_order_variant']===!![];}export function getRelevantDimensions(a){const b=['A','B','E','F'];if(a==='named_operator')b['push']('C');if(a==='task_set')b['push']('D');return b;}