@wowok/agent-mcp 2.6.1 → 2.6.4

package/dist/examples/machine-multisig-threshold.json

@@ -0,0 +1,86 @@
+{
+  "title": "Machine Template: 2-of-3 Multi-Sig Approval Workflow (threshold > 1)",
+  "description": "Four-node workflow where the 'approved' node requires cumulative weight 2 from three distinct approver forwards (permissionIndex 1001/1002/1003, weight 1 each) — the on-chain multi-signature approval pattern.",
+  "tags": ["machine", "template", "multisig", "threshold", "approval", "governance"],
+  "industry": "general",
+  "operation_type": "machine",
+  "source": "constructed under T-09 authorization; grounded in MachineNodePairSchema threshold + MachineForwardSchema weight — schema-validated, not chain-verified",
+  "verified": false,
+  "network": "testnet",
+  "call": {
+    "tool": "onchain_operations",
+    "operation_type": "machine",
+    "data": {
+      "object": {
+        "name": "multisig_approval_machine"
+      },
+      "node": {
+        "op": "add",
+        "bReplace": true,
+        "nodes": [
+          {
+            "name": "submitted",
+            "pairs": [
+              {
+                "prev_node": "",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Submit", "weight": 1, "namedOperator": "" }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "under_review",
+            "pairs": [
+              {
+                "prev_node": "submitted",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Start Review", "weight": 1, "permissionIndex": 1000 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "approved",
+            "pairs": [
+              {
+                "prev_node": "under_review",
+                "threshold": 2,
+                "forwards": [
+                  { "name": "Approve Alice", "weight": 1, "permissionIndex": 1001 },
+                  { "name": "Approve Bob", "weight": 1, "permissionIndex": 1002 },
+                  { "name": "Approve Carol", "weight": 1, "permissionIndex": 1003 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "completed",
+            "pairs": [
+              {
+                "prev_node": "approved",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Finalize", "weight": 1, "permissionIndex": 1000 }
+                ]
+              }
+            ]
+          }
+        ]
+      }
+    },
+    "env": {
+      "network": "testnet"
+    }
+  },
+  "notes": [
+    "MULTI-SIG MECHANICS: pair threshold=2 means Progress advances from 'under_review' to 'approved' only when the CUMULATIVE weight of completed DISTINCT forwards on that pair reaches 2. Each of the three approver forwards contributes weight 1, so any 2 of the 3 approvers must act — a 2-of-3 signature scheme.",
+    "Each approver calls progress operate with their OWN forward name (e.g. 'Approve Alice'). The same forward cannot be double-counted; distinct forwards by the same operator would still count separately, so map each forward to a distinct permissionIndex (1001/1002/1003 = three approver roles in the Permission table).",
+    "threshold semantics (MachineNodePairSchema): 'If total Forward weight is greater than or equal to threshold, node advancement is triggered.' Weighted variants are possible — e.g. give a senior approver weight 2 so they can approve alone (threshold 2 met by one forward).",
+    "Entry-node rule: 'submitted' has prev_node='' with at least one forward (schema-enforced FIX-002). namedOperator='' = order owner; permissionIndex references Permission table entries.",
+    "Compare with machine-template-7node-rental.json where every pair uses threshold 1 (single-signature sequential flow).",
+    "This Machine is a TEMPLATE object: bind it to a Service and each order gets a Progress instance whose multi-sig approvals are tracked per order."
+  ]
+}

package/dist/examples/machine-template-7node-rental.json

@@ -0,0 +1,119 @@
+{
+  "title": "Machine Template: 7-Node Rental Workflow (Simplified, R-M1-11 Compliant)",
+  "description": "Simplified rental workflow without damage/arbitration paths. Refund flows through an Allocator triggered by the return_approved routing node — never through a Machine terminal node.",
+  "tags": ["machine", "template", "rental", "simplified", "r-m1-11"],
+  "industry": "rental",
+  "operation_type": "machine",
+  "source": "template",
+  "verified": true,
+  "network": "testnet",
+  "call": {
+    "tool": "onchain_operations",
+    "operation_type": "machine",
+    "data": {
+      "object": {
+        "name": "rental_machine_simple"
+      },
+      "node": {
+        "op": "add",
+        "bReplace": true,
+        "nodes": [
+          {
+            "name": "reserved",
+            "pairs": [
+              {
+                "prev_node": "",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Pay", "weight": 1, "namedOperator": "" }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "paid",
+            "pairs": [
+              {
+                "prev_node": "reserved",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Confirm Payment", "weight": 1, "permissionIndex": 1000 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "in_use",
+            "pairs": [
+              {
+                "prev_node": "paid",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Deliver Item", "weight": 1, "permissionIndex": 1000 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "returned",
+            "pairs": [
+              {
+                "prev_node": "in_use",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Return Item", "weight": 1, "namedOperator": "" }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "inspected",
+            "pairs": [
+              {
+                "prev_node": "returned",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Inspect", "weight": 1, "permissionIndex": 1001 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "return_approved",
+            "pairs": [
+              {
+                "prev_node": "inspected",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Approve Return", "weight": 1, "permissionIndex": 1002 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "completed",
+            "pairs": [
+              {
+                "prev_node": "return_approved",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Complete", "weight": 1, "permissionIndex": 1000 }
+                ]
+              }
+            ]
+          }
+        ]
+      }
+    },
+    "env": {
+      "network": "testnet"
+    }
+  },
+  "notes": [
+    "R-M1-11: 'return_approved' is a ROUTING node — the actual refund MUST be executed by an Allocator (bound via Service.order_allocators) whose Guard checks progress.current == 'return_approved'. A node named 'refunded' implies the Machine itself moves funds, which Machines cannot do; funds would lock in the Order escrow.",
+    "Forwards describe INCOMING transitions: the forward in a node's pair (prev_node='X') is the action that advances Progress FROM X INTO this node.",
+    "The entry node (prev_node='') MUST have at least one forward — schema-enforced (FIX-002).",
+    "namedOperator='' means OrderHolder (customer). permissionIndex references Permission table entries (1000=operator, 1001=inspector, 1002=finance).",
+    "Simplified version — no damage or arbitration paths. Use for short-term rentals without damage risk."
+  ]
+}

package/dist/examples/payment-scenario-bound.json

@@ -0,0 +1,45 @@
+{
+  "title": "Create Scenario-Bound Payment (for_object + for_guard)",
+  "description": "Create a Payment of 0.05 WOW to alice whose payment_info binds it to a Demand object and a KYC Guard, making the fund flow auditable against a business scenario.",
+  "tags": ["payment", "scenario", "for_object", "for_guard", "audit"],
+  "industry": "general",
+  "operation_type": "payment",
+  "source": "constructed under T-09 authorization; grounded in CallPayment_CreateSchema + PaymentInfoSchema — schema-validated, not chain-verified",
+  "verified": false,
+  "network": "testnet",
+  "call": {
+    "tool": "onchain_operations",
+    "operation_type": "payment",
+    "data": {
+      "object": {
+        "name": "kyc_bounty_payment_v1",
+        "type_parameter": "0x2::wow::WOW"
+      },
+      "revenue": [
+        {
+          "recipient": { "name_or_address": "alice" },
+          "amount": { "balance": 50000000 }
+        }
+      ],
+      "info": {
+        "for_object": "toy_repair_demand_v1",
+        "for_guard": "kyc_level_guard",
+        "remark": "Bounty payout for completed KYC verification demand",
+        "index": 0
+      }
+    },
+    "env": {
+      "network": "testnet",
+      "no_cache": true,
+      "confirmed": true
+    }
+  },
+  "notes": [
+    "SCENARIO BINDING: info.for_object ties the Payment to a business object (here the Demand it settles); info.for_guard ties it to the Guard whose verification justified the payout (here the KYC Guard). Both are optional but together make the payment self-describing on-chain — auditors can trace WHY the money moved.",
+    "Payment is IMMUTABLE once created: it can only be created, never modified. revenue[] is the full recipient/amount split in one shot (single recipient here; multiple entries split the total).",
+    "amount uses CoinParam {balance: <smallest unit>} — 50000000 = 0.05 WOW (9 decimals). recipient is AccountOrMark_Address OBJECT form {name_or_address}.",
+    "info.remark and info.index are REQUIRED (PaymentInfoSchema); index numbers the payment record for later reference by fees_transfer-style operations.",
+    "The OTHER payment mode (not shown): {object: '<coinwrapper_id>', receive: true, type_parameter: '0x2::wow::WOW'} unwraps a CoinWrapper received from an Allocation split into spendable coins — see CallPayment_ReceiveSchema and the allocation-activate example for the full flow.",
+    "type_parameter goes INSIDE 'object' (TypeNamedObjectSchema) and must match the coin being paid."
+  ]
+}

package/dist/examples/rental-ziroom-machine-create.json

@@ -0,0 +1,149 @@
+{
+  "title": "Create 9-Node Machine for Rental Lifecycle (Ziroom, R-M1-11 Compliant)",
+  "description": "9-node workflow: reserved → paid_deposit → in_use → returned → inspected, then three competing routing branches: return_approved (refund Allocator fires) / damage_confirmed (deduction Allocator fires) / arbiter_rule (off-Machine arbitration). completed follows return_approved.",
+  "tags": ["machine", "rental", "workflow", "nodes", "permission_index", "r-m1-11"],
+  "industry": "rental",
+  "operation_type": "machine",
+  "source": "ziroom testnet deployment 2026-07-29 (repaired to current schema + R-M1-11)",
+  "verified": true,
+  "network": "testnet",
+  "call": {
+    "tool": "onchain_operations",
+    "operation_type": "machine",
+    "data": {
+      "object": {
+        "name": "ziroom_machine_v1",
+        "tags": ["rental", "machine"],
+        "replaceExistName": true,
+        "permission": "ziroom_permission_v1"
+      },
+      "node": {
+        "op": "add",
+        "bReplace": true,
+        "nodes": [
+          {
+            "name": "reserved",
+            "pairs": [
+              {
+                "prev_node": "",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Reserve", "weight": 1, "namedOperator": "" }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "paid_deposit",
+            "pairs": [
+              {
+                "prev_node": "reserved",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Pay Deposit", "weight": 1, "namedOperator": "" }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "in_use",
+            "pairs": [
+              {
+                "prev_node": "paid_deposit",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Handover", "weight": 1, "permissionIndex": 1000 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "returned",
+            "pairs": [
+              {
+                "prev_node": "in_use",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Return Keys", "weight": 1, "namedOperator": "" }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "inspected",
+            "pairs": [
+              {
+                "prev_node": "returned",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Inspect", "weight": 1, "permissionIndex": 1001 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "return_approved",
+            "pairs": [
+              {
+                "prev_node": "inspected",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Approve Refund", "weight": 1, "permissionIndex": 1002 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "damage_confirmed",
+            "pairs": [
+              {
+                "prev_node": "inspected",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Confirm Damage", "weight": 1, "permissionIndex": 1001 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "arbiter_rule",
+            "pairs": [
+              {
+                "prev_node": "inspected",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Escalate Arbitration", "weight": 1, "permissionIndex": 1500 }
+                ]
+              }
+            ]
+          },
+          {
+            "name": "completed",
+            "pairs": [
+              {
+                "prev_node": "return_approved",
+                "threshold": 1,
+                "forwards": [
+                  { "name": "Complete", "weight": 1, "permissionIndex": 1000 }
+                ]
+              }
+            ]
+          }
+        ]
+      }
+    },
+    "env": {
+      "network": "testnet",
+      "no_cache": true,
+      "project": "ziroom"
+    }
+  },
+  "notes": [
+    "R-M1-11: return_approved / damage_confirmed / arbiter_rule are ROUTING nodes. Fund movement (deposit refund / deduction) MUST be executed by Allocators (Service.order_allocators) whose Guards check progress.current == <routing node>. Never name nodes 'deposit_refunded'/'deposit_deducted'/'refunded' — Machines have no fund movement primitive; misnamed nodes leave funds locked in the Order escrow.",
+    "The three branches from 'inspected' are competing pairs (each threshold=1): the first forward executed wins and the other branches are abandoned for this session.",
+    "Forwards describe INCOMING transitions: a forward in a node's pair (prev_node='X') advances Progress FROM X INTO this node.",
+    "permission lives INSIDE 'object' (NamedObjectWithPermissionSchema) — it references existing Permission 'ziroom_permission_v1' by LocalMark name.",
+    "namedOperator='' means OrderHolder (customer), NOT 'anyone'. permissionIndex maps to Permission table entries (1000=operator, 1001=inspector, 1002=finance, 1500=arbiter).",
+    "Machine nodes are immutable after publish — create a new Machine to change the workflow."
+  ]
+}

package/dist/examples/rental-ziroom-permission-create.json

@@ -0,0 +1,42 @@
+{
+  "title": "Create Permission with Role-Based Indexes (Ziroom Rental)",
+  "description": "Single Permission with indexes: 1000=operator, 1001=inspector, 1002=finance, 1500=arbiter",
+  "tags": ["permission", "rental", "role", "index"],
+  "industry": "rental",
+  "operation_type": "permission",
+  "source": "ziroom testnet deployment 2026-07-29 (repaired to current schema)",
+  "verified": true,
+  "network": "testnet",
+  "call": {
+    "tool": "onchain_operations",
+    "operation_type": "permission",
+    "data": {
+      "object": {
+        "name": "ziroom_permission_v1",
+        "tags": ["project:ziroom", "type:permission"],
+        "replaceExistName": true
+      },
+      "table": {
+        "op": "add perm by index",
+        "index": 1000,
+        "entity": {
+          "entities": [
+            { "name_or_address": "ziroom_operator" }
+          ],
+          "check_all_founded": false
+        }
+      }
+    },
+    "env": {
+      "network": "testnet",
+      "no_cache": true,
+      "project": "ziroom"
+    }
+  },
+  "notes": [
+    "Custom indexes range 1000-65535 (0-999 are protocol-reserved)",
+    "Single Permission recommended for centralized control across all objects",
+    "Use 'add perm by index' to grant one permission to many entities",
+    "entity is ManyAccountOrMark_AddressSchema OBJECT form {entities: [{name_or_address}], check_all_founded?} — NOT a bare array (schema drift repair 2026-07-30: the 2026-07-29 deployment used the legacy array form; current schema requires the object wrapper). Recipient shown as the operator's local mark name; the original deployment used raw 0x addresses (desensitized)."
+  ]
+}

package/dist/examples/rental-ziroom-service-create.json

@@ -0,0 +1,89 @@
+{
+  "title": "Create Service with 3-path Allocation (Ziroom Rental)",
+  "description": "Create a Service with machine, buy_guard, contact, and 3-path order_allocators (rent to operator / refund to customer signer / damage deduction to operator)",
+  "tags": ["service", "allocation", "rental", "order_allocators", "guard"],
+  "industry": "rental",
+  "operation_type": "service",
+  "source": "ziroom testnet deployment 2026-07-29 (repaired to current schema)",
+  "verified": true,
+  "network": "testnet",
+  "call": {
+    "tool": "onchain_operations",
+    "operation_type": "service",
+    "data": {
+      "object": {
+        "name": "ziroom_service_v1",
+        "tags": ["project:ziroom", "type:service"],
+        "replaceExistName": true,
+        "permission": "ziroom_permission_v1",
+        "type_parameter": "0x2::wow::WOW"
+      },
+      "machine": "ziroom_machine_v1",
+      "buy_guard": "ziroom_buy_guard_v1",
+      "um": "ziroom_contact_v1",
+      "sales": {
+        "op": "add",
+        "sales": [
+          {
+            "name": "ziroom_apartment_v1",
+            "price": 2000000000,
+            "stock": 1,
+            "suspension": false,
+            "wip": "",
+            "wip_hash": ""
+          }
+        ]
+      },
+      "order_allocators": {
+        "description": "3-path allocation: rent to operator, refund to customer, damage deductions",
+        "threshold": 1000000000,
+        "allocators": [
+          {
+            "guard": "ziroom_buy_guard_v1",
+            "sharing": [
+              {
+                "who": { "Entity": { "name_or_address": "ziroom_operator" } },
+                "sharing": 1000000000,
+                "mode": "Amount"
+              }
+            ]
+          },
+          {
+            "guard": "ziroom_refund_guard_v1",
+            "sharing": [
+              {
+                "who": { "Signer": "signer" },
+                "sharing": 1000000000,
+                "mode": "Amount"
+              }
+            ]
+          },
+          {
+            "guard": "ziroom_damage_guard_v1",
+            "sharing": [
+              {
+                "who": { "Entity": { "name_or_address": "ziroom_operator" } },
+                "sharing": 1000000000,
+                "mode": "Amount"
+              }
+            ]
+          }
+        ]
+      }
+    },
+    "env": {
+      "network": "testnet",
+      "no_cache": true,
+      "project": "ziroom"
+    }
+  },
+  "notes": [
+    "order_allocators is PERMANENTLY IMMUTABLE after publish (service.move:503) — set it BEFORE publish=true.",
+    "Signer recipient means the tx sender at alloc() time — the customer must call alloc_by_guard THEMSELVES for refunds (if the operator calls it, the operator receives the funds).",
+    "Amount mode: fixed amount in smallest unit, not percentage. Use Rate mode (10000=100%) for proportional splits; Rate items must sum to exactly 10000 when no Surplus item exists.",
+    "sales is an op discriminated union: {op:'add'|'set', sales:[...]} or {op:'remove', sales_name:[...]} or {op:'clear'} — never a bare array.",
+    "permission and type_parameter live INSIDE 'object' (TypeNamedObjectWithPermissionSchema). wip/wip_hash empty strings skip verification (TESTING ONLY — production must use real WIP URLs).",
+    "machine must be PUBLISHED before binding here; buy_guard may use a LocalMark NAME to break the Guard↔Service circular dependency (Phase-1 create without publish, then publish in Phase 2).",
+    "Entity recipient shown as local mark name 'ziroom_operator' (desensitization repair 2026-07-30): the original deployment used the operator's raw 0x address; Entity resolves names via LocalMark to a FIXED static address, so the name form is equivalent and recommended."
+  ]
+}

package/dist/examples/retail-adv-guard-customer-win-create.json

@@ -0,0 +1,80 @@
+{
+  "title": "Guard: Complete Multi-Condition Pattern (progress node + Signer==order.owner + order.service) — Customer-Win Allocator",
+  "description": "The 'complete pattern' allocation Guard: logic_and of (1) order at a customer-win node (Lost / Return Complete) via progress.current with convert_witness OrderProgress, (2) Level-2 dynamic identity binding Signer == query(order.owner), and (3) cross-service-theft prevention query(order.service) == this Service. Used as a Service order_allocators guard whose sharing.who is {Signer:'signer'} — the Signer binding is what makes Signer-recipient allocation safe (R-C3-06).",
+  "tags": ["guard", "allocation", "multi-condition", "logic_and", "level2-dynamic-binding", "retail"],
+  "industry": "retail",
+  "operation_type": "guard",
+  "source": "docs/examples/MyShop_Advanced — schema-validated, not chain-verified",
+  "verified": false,
+  "network": "testnet",
+  "call": {
+    "tool": "onchain_operations",
+    "operation_type": "guard",
+    "data": {
+      "namedNew": {
+        "name": "service_customer_win_v2",
+        "tags": ["order", "customer-win", "level2-dynamic-binding"],
+        "replaceExistName": true
+      },
+      "description": "Verify order at customer win nodes (Lost, Return Complete) AND signer is the order owner AND order belongs to three_body_signature_service_v2. VERIFIER CONSTRAINT LEVEL 2 (dynamic identity binding): Signer bound to query('order.owner') — only the order's rightful owner can trigger the refund. Three-fold verification: (1) order at customer win node, (2) signer is order.owner (dynamic query, prevents fund theft), (3) order belongs to this service (prevents cross-service theft, R-C3-05).",
+      "table": [
+        { "identifier": 0, "b_submission": true, "value_type": "Address", "name": "order_id" },
+        { "identifier": 1, "b_submission": false, "value_type": "String", "value": "Lost" },
+        { "identifier": 2, "b_submission": false, "value_type": "String", "value": "Return Complete" },
+        { "identifier": 3, "b_submission": false, "value_type": "Address", "name": "service_address", "value": "three_body_signature_service_v2" }
+      ],
+      "root": {
+        "type": "logic_and",
+        "nodes": [
+          {
+            "type": "logic_or",
+            "nodes": [
+              {
+                "type": "logic_string_nocase_equal",
+                "nodes": [
+                  { "type": "query", "query": "progress.current", "object": { "identifier": 0, "convert_witness": "OrderProgress" }, "parameters": [] },
+                  { "type": "identifier", "identifier": 1 }
+                ]
+              },
+              {
+                "type": "logic_string_nocase_equal",
+                "nodes": [
+                  { "type": "query", "query": "progress.current", "object": { "identifier": 0, "convert_witness": "OrderProgress" }, "parameters": [] },
+                  { "type": "identifier", "identifier": 2 }
+                ]
+              }
+            ]
+          },
+          {
+            "type": "logic_equal",
+            "nodes": [
+              { "type": "query", "query": "order.owner", "object": { "identifier": 0 }, "parameters": [] },
+              { "type": "context", "context": "Signer" }
+            ]
+          },
+          {
+            "type": "logic_equal",
+            "nodes": [
+              { "type": "query", "query": "order.service", "object": { "identifier": 0 }, "parameters": [] },
+              { "type": "identifier", "identifier": 3 }
+            ]
+          }
+        ]
+      }
+    },
+    "env": {
+      "network": "testnet",
+      "no_cache": true
+    }
+  },
+  "notes": [
+    "COMPLETE PATTERN (BUG-01): root = logic_and of [node-set check via logic_or(logic_string_nocase_equal x2) on progress.current, Signer==order.owner, order.service==service]. All three conditions must pass; logic_and accepts 2-8 children (this uses 3).",
+    "Schema-verified: CallGuard_DataSchema (guard.ts) — creation uses namedNew (NOT 'object'); table items use GuardTableItemBaseSchema (common/index.ts) which REJECTS the output-only object_type field; root validated against GuardNodeSchema (query/index.ts) and must return Bool — logic_and is in the allowed root-type list.",
+    "Query names verified against knowledge/guard-templates.ts: progress.current (id 1253, String), order.owner (id 1562, Address), order.service (id 1563, Address). convert_witness 'OrderProgress' (id 100) is a valid WitnessTypeSchema string — the Order address submitted at runtime is converted to its Progress object before querying the current node.",
+    "Why the Signer binding matters: the paired allocator uses sharing.who = {Signer:'signer'} (funds go to the caller). Condition 2 binds the caller to query(order.owner), so only the customer who placed the order can receive the refund — without it anyone could steal 100% of the allocation (R-C3-06).",
+    "Shorthand variant (not used here): the logic_or of two logic_string_nocase_equal can collapse into one VecString constant + vec_contains_string_nocase — semantically equivalent per guard-examples-lint.spec.ts 'Semantic Equivalence' tests. Original form kept for clarity of the complete pattern.",
+    "Prerequisites: the Service 'three_body_signature_service_v2' must already exist (created unpublished) so the identifier-3 name resolves at transaction build time. Guard is IMMUTABLE after creation.",
+    "Desensitization: doc ran on mainnet with local-mark account myshop_merchant — network switched to testnet and account omitted (use your own default/local-mark account). Object names (service_customer_win_v2, three_body_signature_service_v2) are local marks, not real identities. No personal data or real 0x addresses present. replaceExistName:true kept from the doc's full-rerun convention — omit for one-off deployments.",
+    "Runtime use: bound as Service order_allocators[].guard; the customer triggers allocation.alloc_by_guard with submission of identifier 0 = their Order address (see the doc Part 4 'Customer Wins' example)."
+  ]
+}