@wowok/agent-mcp 3.2.6 → 3.2.9

package/dist/schemas/query_toolkit.output.json

@@ -389,6 +389,10 @@
                         "hasNextPage"
                       ],
                       "additionalProperties": false
+                    },
+                    "_balance_scope_note": {
+                      "description": "Semantic scope note for the balance figure: the total is aggregation-only; independently owned Coin objects may exist outside it. Follow the note (transaction digest or coin-objects query) before concluding funds arrived.",
+                      "type": "string"
                     }
                   },
                   "additionalProperties": false,
@@ -942,7 +946,7 @@
                                             "description": "vecvecu8"
                                           }
                                         ],
-                                        "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                                        "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                                       },
                                       {
                                         "type": "number",
@@ -2489,7 +2493,7 @@
                                   },
                                   {}
                                 ],
-                                "description": "Lock duration for critical operations. Anchored to the 'paused_time' timestamp. After Service is published, only the following operations are gated by this lock: (1) compensation_fund_withdraw, (2) rewards remove/clear, (3) arbitrations remove/clear. All require the Service to be paused AND paused_time + setting_lock_duration <= current clock. Adding rewards/arbitrations, modifying sales/description/location/buy_guard/customer_required/um, and depositing to compensation_fund are NOT gated by this lock. order_allocators and machine are permanently immutable after publish (not related to this lock)."
+                                "description": "Lock duration for critical operations. Anchored to the 'paused_time' timestamp. After Service is published, only the following operations are gated by this lock: (1) compensation_fund_withdraw, (2) rewards remove/clear, (3) arbitrations remove/clear. All require the Service to be paused AND paused_time + setting_lock_duration <= current clock. Adding rewards/arbitrations, modifying sales/description/location/buy_guard/customer_required/um, and depositing to compensation_fund are NOT gated by this lock. Rationale (deliberate design): the lock only gates REVOKING buyer-facing guarantees that placed orders rely on, protecting buyer expectations — it is not a restriction on daily operations. order_allocators and machine are permanently immutable after publish (not related to this lock)."
                               },
                               "order_allocators": {
                                 "anyOf": [
@@ -3078,7 +3082,7 @@
                                     "type": "null"
                                   }
                                 ],
-                                "description": "Buyer-recorded credential that the required information was delivered via Wowok Messenger: the merchant's IM user address (resolved from the Service's Contact) or a WTS Proof object id (on-chain delivery proof embedding that IM address and timestamp)."
+                                "description": "Buyer-recorded credential that the required information was delivered via Wowok Messenger: the merchant's IM user address (resolved from the Service's Contact) or a WTS Proof object id (on-chain delivery proof embedding that IM address and timestamp). ATTESTATION-ONLY: the value is self-attested by the buyer, has no on-chain readback, and MUST NOT be used as a gate condition."
                               },
                               "time": {
                                 "anyOf": [
@@ -3705,7 +3709,7 @@
                                                               "description": "vecvecu8"
                                                             }
                                                           ],
-                                                          "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                                                          "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                                                         },
                                                         {
                                                           "type": "number",
@@ -5758,6 +5762,7 @@
                                       "description": "Source of data ID when writing data. If None, user must specify the ID separately; if Clock, data ID is current timestamp; if Signer, data ID is user ID."
                                     },
                                     "value_type": {
+                                      "description": "Type of data value when writing data. Note: 19 (Value) is an internal dynamic type for guard expressions and is NOT accepted here.",
                                       "anyOf": [
                                         {
                                           "type": "number",
@@ -6044,8 +6049,7 @@
                                           "const": "vecvecu8",
                                           "description": "vecvecu8"
                                         }
-                                      ],
-                                      "description": "Type of data value when writing data. Note: 19 (Value) is an internal dynamic type for guard expressions and is NOT accepted here."
+                                      ]
                                     }
                                   },
                                   "required": [
@@ -6329,6 +6333,7 @@
                                       "description": "Whether this table item's value is submitted dynamically at Guard trigger time (alloc_by_guard call). \n\ntrue = value is submitted by the caller when triggering the Guard. Use for runtime-context-dependent values like order address, user address. The 'value' field is ignored when b_submission=true; the caller must provide it via submissions[]. \n\nfalse = value is static, set at Guard creation time. Use for values known when the Guard is created: expected node names, expected merchant address, expected service address. The 'value' field must be populated and will be stored on-chain permanently. \n\nRule of thumb: if the value is the SAME for all future Guard triggers, use false. If the value DIFFERS per trigger (e.g., which order to release funds for), use true."
                                     },
                                     "value_type": {
+                                      "description": "Type of the value stored in `value`. One of: Bool(0), Address(1), String(2), U8(3), U16(4), U32(5), U64(6), U128(7), U256(8), VecBool(9), VecAddress(10), VecString(11), VecU8(12), VecU16(13), VecU32(14), VecU64(15), VecU128(16), VecU256(17), VecVecU8(18). When value_type=Address (1), the `value` field accepts a hex address string, a LocalMark name, or an AccountOrMark_Address object — see `value` field description for details.",
                                       "anyOf": [
                                         {
                                           "type": "number",
@@ -6615,11 +6620,10 @@
                                           "const": "vecvecu8",
                                           "description": "vecvecu8"
                                         }
-                                      ],
-                                      "description": "Type of the value stored in `value`. One of: Bool(0), Address(1), String(2), U8(3), U16(4), U32(5), U64(6), U128(7), U256(8), VecBool(9), VecAddress(10), VecString(11), VecU8(12), VecU16(13), VecU32(14), VecU64(15), VecU128(16), VecU256(17), VecVecU8(18). When value_type=Address (1), the `value` field accepts a hex address string, a LocalMark name, or an AccountOrMark_Address object — see `value` field description for details."
+                                      ]
                                     },
                                     "value": {
-                                      "description": "The actual value data. Format depends on `value_type`:\n• Bool: true/false (boolean)\n• Address (CRITICAL — string 'Address' is NOT a placeholder): a hex address (e.g. '0x1234...'), a LocalMark name (e.g. 'my-service' — resolved to address at evaluation time), an AccountOrMark_Address object (e.g. {name_or_address:'my-service'}), or system shorthand ('0xaaa' = EntityLinker, '0xaab' = EntityRegistrar). The literal string 'Address' itself is INVALID — it would be treated as a non-existent LocalMark name and fail. Example: value='0x2::wow::WOW<address>' or value='my-permission'.\n• String: any string\n• U8/U16/U32/U64/U128/U256: number or numeric string (e.g. 42 or '42')\n• Vec* types: arrays of the corresponding element type\nREQUIRED when b_submission=false. OPTIONAL when b_submission=true (value is supplied at evaluation time by user submission).",
+                                      "description": "The actual value data. Format depends on `value_type`:\nTYPE-CLASS SPLIT (F03): scalar value_types (Bool/Address/String/U8..U256) take ONE scalar value (boolean/address string/name/string/number); Vec* value_types (VecBool/VecAddress/VecString/VecU8..VecU256) take a REAL JSON ARRAY of elements — a string (even a Python-repr-looking \"[a, b]\") fails serialization with 'value_type=10 (array) requires a array value'. The historical 'static values must be strings' rule applied to SCALARS only.\n• Bool: true/false (boolean)\n• Address (CRITICAL — string 'Address' is NOT a placeholder): a hex address (e.g. '0x1234...'), a LocalMark name (e.g. 'my-service' — resolved to address at evaluation time), an AccountOrMark_Address object (e.g. {name_or_address:'my-service'}), or system shorthand ('0xaaa' = EntityLinker, '0xaab' = EntityRegistrar). The literal string 'Address' itself is INVALID — it would be treated as a non-existent LocalMark name and fail. Example: value='0x2::wow::WOW<address>' or value='my-permission'.\n• String: any string\n• U8/U16/U32/U64/U128/U256: number or numeric string (e.g. 42 or '42')\n• Vec* types: arrays of the corresponding element type\nPROTOCOL SLOT 254 (once, b_submission Address): the submitted value MUST be the ORDER address bound to the operation (payment_info.for_object) — NEVER the Progress/Machine/Arb object the call is advancing. The chain asserts submission(254) == the order address; a Progress address fails the task binding and the forward aborts.\nREQUIRED when b_submission=false. OPTIONAL when b_submission=true (value is supplied at evaluation time by user submission).",
                                       "anyOf": [
                                         {
                                           "type": "boolean"
@@ -7773,7 +7777,7 @@
                                                       "description": "vecvecu8"
                                                     }
                                                   ],
-                                                  "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                                                  "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                                                 },
                                                 {
                                                   "type": "number",
@@ -9275,7 +9279,7 @@
                                     "type": "null"
                                   }
                                 ],
-                                "description": "Minimum order total for the discount to apply (smallest units) — when set, the discount applies only if the PRE-discount order total is greater than or equal to this value. null (or 0) means NO threshold, so the discount applies UNCONDITIONALLY. Sharp edge: an order below a set threshold is NOT rejected — it completes at FULL price and the one-time coupon object is still consumed and destroyed."
+                                "description": "Minimum order total for the discount to apply (smallest units) — when set, the discount applies only if the PRE-discount order total is greater than or equal to this value. null (or 0) means NO threshold, so the discount applies UNCONDITIONALLY. Sharp edge: an order below a set threshold cannot use this coupon — buy aborts with the coupon attached (error 38, full rollback, coupon preserved); dropping the coupon completes the order at FULL price and the coupon is retained."
                               },
                               "off": {
                                 "anyOf": [
@@ -10128,7 +10132,7 @@
                                                   "description": "vecvecu8"
                                                 }
                                               ],
-                                              "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                                              "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                                             },
                                             {
                                               "type": "number",
@@ -10863,7 +10867,7 @@
                                     "type": "null"
                                   }
                                 ],
-                                "description": "About address. e.g., address of the entity being proved"
+                                "description": "About binding (K3 contract): the counterparty ACCOUNT address (address first byte = account type) or a Proof object address (first byte = Proof type) — a messenger contact record, NOT a business-object reference and never a guard decision condition"
                               },
                               "signer": {
                                 "type": "string",
@@ -11550,7 +11554,7 @@
                                           "description": "vecvecu8"
                                         }
                                       ],
-                                      "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                                      "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                                     },
                                     {
                                       "type": "number",
@@ -12539,7 +12543,7 @@
                                             "description": "vecvecu8"
                                           }
                                         ],
-                                        "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                                        "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                                       },
                                       {
                                         "type": "number",
@@ -14896,7 +14900,7 @@
                                                         "description": "vecvecu8"
                                                       }
                                                     ],
-                                                    "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                                                    "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                                                   },
                                                   {
                                                     "type": "number",
@@ -15566,7 +15570,7 @@
                           "type": "string"
                         },
                         "gas_used": {
-                          "description": "Total gas used (string, BigInt)",
+                          "description": "Total gas used (string, BigInt). F52: the node can report this NEGATIVE for some batch txs (e.g. batch-destroy) — a signed value is a direction marker, not a refund; take the absolute value when summing per-tx fees for reconciliation",
                           "type": "string"
                         },
                         "gas_budget": {
@@ -15811,7 +15815,7 @@
                                 "type": "string"
                               },
                               "gas_used": {
-                                "description": "Gas used (string)",
+                                "description": "Gas used (string). F52: may be reported NEGATIVE for some batch txs — take the absolute value when reconciling fees",
                                 "type": "string"
                               },
                               "objects_touched": {
@@ -15929,7 +15933,7 @@
                                 "type": "string"
                               },
                               "gas_used": {
-                                "description": "Gas used (string)",
+                                "description": "Gas used (string). F52: may be reported NEGATIVE for some batch txs — take the absolute value when reconciling fees",
                                 "type": "string"
                               },
                               "objects_touched": {
@@ -16316,7 +16320,7 @@
                     },
                     "note": {
                       "type": "string",
-                      "description": "order_new.buy.total_pay.balance must equal this exactly — the on-chain buy aborts on any drift."
+                      "description": "order_new.buy.total_pay.balance must equal this exactly when passed explicitly — the on-chain buy aborts on any drift. Without a discount you may omit total_pay entirely: the buy auto-derives this exact total (M-K17)."
                     }
                   },
                   "required": [
@@ -16466,6 +16470,167 @@
                     }
                   ],
                   "description": "FIRST allocator's sharing rows — the normal payout path. null when no allocators are configured."
+                },
+                "reward_terms": {
+                  "anyOf": [
+                    {
+                      "type": "object",
+                      "properties": {
+                        "note": {
+                          "type": "string"
+                        },
+                        "rewards": {
+                          "type": "array",
+                          "items": {
+                            "type": "object",
+                            "properties": {
+                              "reward": {
+                                "type": "string",
+                                "description": "Reward object address (hung on the Service, bound at build time)."
+                              },
+                              "description": {
+                                "anyOf": [
+                                  {
+                                    "type": "string"
+                                  },
+                                  {
+                                    "type": "null"
+                                  }
+                                ]
+                              },
+                              "pool_balance": {
+                                "type": "string",
+                                "description": "Raw smallest units currently in the Reward pool."
+                              },
+                              "pool_balance_display": {
+                                "type": "string"
+                              },
+                              "record_count": {
+                                "type": "integer",
+                                "minimum": -9007199254740991,
+                                "maximum": 9007199254740991,
+                                "description": "Claims recorded in the per-address ledger so far."
+                              },
+                              "claims": {
+                                "type": "array",
+                                "items": {
+                                  "type": "object",
+                                  "properties": {
+                                    "guard": {
+                                      "type": "string",
+                                      "description": "Claim guard address — the buyer must pass this guard's conditions to claim."
+                                    },
+                                    "amount_type": {
+                                      "type": "string",
+                                      "enum": [
+                                        "fixed",
+                                        "guard_submission"
+                                      ],
+                                      "description": "'fixed' = constant smallest-units amount; 'guard_submission' = the amount comes from the guard passport submission (not predictable at quote time)."
+                                    },
+                                    "amount": {
+                                      "type": "string",
+                                      "description": "Fixed: raw smallest units. guard_submission: the submission identifier."
+                                    },
+                                    "amount_display": {
+                                      "anyOf": [
+                                        {
+                                          "type": "string"
+                                        },
+                                        {
+                                          "type": "null"
+                                        }
+                                      ]
+                                    },
+                                    "expiration_time": {
+                                      "anyOf": [
+                                        {
+                                          "type": "number"
+                                        },
+                                        {
+                                          "type": "null"
+                                        }
+                                      ],
+                                      "description": "Claim deadline, ms epoch; null = no window (claimable until the guard is removed/expires)."
+                                    },
+                                    "expiration_display": {
+                                      "anyOf": [
+                                        {
+                                          "type": "string"
+                                        },
+                                        {
+                                          "type": "null"
+                                        }
+                                      ]
+                                    },
+                                    "expired": {
+                                      "anyOf": [
+                                        {
+                                          "type": "boolean"
+                                        },
+                                        {
+                                          "type": "null"
+                                        }
+                                      ],
+                                      "description": "True when the claim window had already passed at quote time; null when no window is set."
+                                    }
+                                  },
+                                  "required": [
+                                    "guard",
+                                    "amount_type",
+                                    "amount",
+                                    "amount_display",
+                                    "expiration_time",
+                                    "expiration_display",
+                                    "expired"
+                                  ],
+                                  "additionalProperties": false
+                                }
+                              },
+                              "coverage": {
+                                "anyOf": [
+                                  {
+                                    "type": "string"
+                                  },
+                                  {
+                                    "type": "null"
+                                  }
+                                ],
+                                "description": "How many further claims the pool can fund at the largest fixed per-claim amount (empty-pool warning when 0); null when amounts are guard-decided."
+                              }
+                            },
+                            "required": [
+                              "reward",
+                              "description",
+                              "pool_balance",
+                              "pool_balance_display",
+                              "record_count",
+                              "claims",
+                              "coverage"
+                            ],
+                            "additionalProperties": false
+                          }
+                        },
+                        "data_gaps": {
+                          "type": "array",
+                          "items": {
+                            "type": "string"
+                          },
+                          "description": "Rewards that could not be read — their terms are unknown, do not rely on them."
+                        }
+                      },
+                      "required": [
+                        "note",
+                        "rewards",
+                        "data_gaps"
+                      ],
+                      "additionalProperties": false
+                    },
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "Pre-order reward terms (review component, INV-4 buyer side): every Reward hung on the Service (bound at build time) with pool balance, per-claim amount and claim window — a claim aborts after its window (E_GUARD_EXPIRED) or against an empty pool (E_INSUFFICIENT_BALANCE), so never budget on an expired or empty reward. null when the Service carries no rewards. Read-only."
                 }
               },
               "required": [
@@ -16476,10 +16641,11 @@
                 "items",
                 "total_pay",
                 "discount",
-                "allocation_preview"
+                "allocation_preview",
+                "reward_terms"
               ],
               "additionalProperties": false,
-              "description": "ServiceQuote (basket prices, total_pay and the allocator fee-split preview)."
+              "description": "ServiceQuote (basket prices, total_pay, the allocator fee-split preview and reward terms)."
             }
           },
           "required": [
@@ -16961,14 +17127,13 @@
                                   "description": "Input path inside the tool data payload."
                                 },
                                 "reason": {
-                                  "type": "string",
-                                  "description": "Chain-authoritative routing reason, including the Guard passport requirement when the forward binds one, and the standalone-Progress limitation for namedOperator='' forwards (abort 8 — no order payer)."
+                                  "description": "Chain-authoritative routing reason, including the Guard passport requirement when the forward binds one, and the standalone-Progress limitation for namedOperator='' forwards (abort 8 — no order payer). May be absent when the caller requested response_level 'compact', which trims templated routing prose from NON-recommended options (F44/docs#49).",
+                                  "type": "string"
                                 }
                               },
                               "required": [
                                 "tool",
-                                "path",
-                                "reason"
+                                "path"
                               ],
                               "additionalProperties": false
                             }
@@ -17053,7 +17218,8 @@
                                 "reward",
                                 "discount",
                                 "compensation",
-                                "rating"
+                                "rating",
+                                "review"
                               ]
                             },
                             "label": {
@@ -17407,14 +17573,13 @@
                                   "description": "Input path inside the tool data payload."
                                 },
                                 "reason": {
-                                  "type": "string",
-                                  "description": "Chain-authoritative routing reason, including the Guard passport requirement when the forward binds one, and the standalone-Progress limitation for namedOperator='' forwards (abort 8 — no order payer)."
+                                  "description": "Chain-authoritative routing reason, including the Guard passport requirement when the forward binds one, and the standalone-Progress limitation for namedOperator='' forwards (abort 8 — no order payer). May be absent when the caller requested response_level 'compact', which trims templated routing prose from NON-recommended options (F44/docs#49).",
+                                  "type": "string"
                                 }
                               },
                               "required": [
                                 "tool",
-                                "path",
-                                "reason"
+                                "path"
                               ],
                               "additionalProperties": false
                             }
@@ -17499,7 +17664,8 @@
                                 "reward",
                                 "discount",
                                 "compensation",
-                                "rating"
+                                "rating",
+                                "review"
                               ]
                             },
                             "label": {
@@ -17739,7 +17905,8 @@
                           "reward",
                           "discount",
                           "compensation",
-                          "rating"
+                          "rating",
+                          "review"
                         ]
                       },
                       "label": {
@@ -18945,14 +19112,13 @@
                                       "description": "Input path inside the tool data payload."
                                     },
                                     "reason": {
-                                      "type": "string",
-                                      "description": "Chain-authoritative routing reason, including the Guard passport requirement when the forward binds one, and the standalone-Progress limitation for namedOperator='' forwards (abort 8 — no order payer)."
+                                      "description": "Chain-authoritative routing reason, including the Guard passport requirement when the forward binds one, and the standalone-Progress limitation for namedOperator='' forwards (abort 8 — no order payer). May be absent when the caller requested response_level 'compact', which trims templated routing prose from NON-recommended options (F44/docs#49).",
+                                      "type": "string"
                                     }
                                   },
                                   "required": [
                                     "tool",
-                                    "path",
-                                    "reason"
+                                    "path"
                                   ],
                                   "additionalProperties": false
                                 },
@@ -22376,6 +22542,50 @@
             "current_node"
           ],
           "additionalProperties": false
+        },
+        "review_steps": {
+          "description": "Composite review submission report: the structured-reputation repository write (+ optional reward claim) chained after a successful progress forward via the data.review block, each reusing the forward's passport submission. Fail-isolated — a failed step never rolled back the forward. Relay failed steps to the user with the retry path (dedicated repository/reward tools).",
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "step": {
+                "type": "string",
+                "enum": [
+                  "repository_write",
+                  "reward_claim"
+                ],
+                "description": "Which chained review step this report describes. repository_write = structured reputation record (rating/tags) into the caller-named Repository; reward_claim = incentive claim on the caller-named Reward."
+              },
+              "status": {
+                "type": "string",
+                "enum": [
+                  "success",
+                  "failed"
+                ],
+                "description": "Step outcome. Steps are fail-isolated: a failed step never affects the forward or the other step (on-chain has no rollback)."
+              },
+              "detail": {
+                "type": "string",
+                "description": "On success: what was written/claimed (payload summary). On failure: what the step attempted."
+              },
+              "digest": {
+                "description": "Transaction digest when the step succeeded.",
+                "type": "string"
+              },
+              "error": {
+                "description": "Error message when the step failed. Retry via the dedicated repository/reward tools with the same submission values.",
+                "type": "string"
+              }
+            },
+            "required": [
+              "step",
+              "status",
+              "detail"
+            ],
+            "additionalProperties": false,
+            "description": "One fail-isolated chained step of the progress composite review submission (REVIEW component, data.review block)."
+          }
         }
       },
       "required": [
@@ -22686,7 +22896,7 @@
                       "description": "vecvecu8"
                     }
                   ],
-                  "description": "User available value type (number or string, e.g., 6 or 'U64' or 'u64')"
+                  "description": "User available value type (number, numeric string, or name — e.g., 6, '6', 'U64', 'u64')"
                 },
                 {
                   "type": "number",
@@ -22889,7 +23099,7 @@
                       "type": "string"
                     }
                   ],
-                  "description": "When specified, the query retrieves data from the associated (witness) object instead of the queried object itself. This enables cross-object queries within Guard validation logic. Can be a numeric ID (100-108) or a string name (case-insensitive, with or without the 'Type' prefix). String format is recommended for readability.\n\nAvailable WitnessTypes:\n- OrderProgress / TypeOrderProgress (100): Query an Order's associated Progress object. Use case: Check if order has reached a specific workflow node (e.g., 'complete') before allowing reward claims.\n- OrderMachine / TypeOrderMachine (101): Query an Order's associated Machine (workflow definition). Use case: Verify the workflow structure or check node configurations.\n- OrderService / TypeOrderService (102): Query an Order's parent Service object. Use case: Validate the service offering details or check service-level configurations.\n- ProgressMachine / TypeProgressMachine (103): Query a Progress's associated Machine. Use case: Access workflow definition from a Progress context.\n- ArbOrder / TypeArbOrder (104): Query an Arb's associated Order. Use case: In arbitration voting guards, verify order details like payment amount or service ID.\n- ArbArbitration / TypeArbArbitration (105): Query an Arb's parent Arbitration service. Use case: Access arbitration configuration or fee settings from within an Arb case.\n- ArbProgress / TypeArbProgress (106): Query an Arb's associated Progress. Use case: Check order workflow state during arbitration validation.\n- ArbMachine / TypeArbMachine (107): Query an Arb's associated Machine. Use case: Access workflow definition for dispute context analysis.\n- ArbService / TypeArbService (108): Query an Arb's associated Service. Use case: Verify service terms or compensation fund status during arbitration.\n\nExample: To validate that an order has reached the 'complete' node, query the Order with convert_witness='OrderProgress' and check the Progress's current_node field."
+                  "description": "When specified, the query retrieves data from the associated (witness) object instead of the queried object itself. This enables cross-object queries within Guard validation logic. Can be a numeric ID (100-109) or a string name (case-insensitive, with or without the 'Type' prefix). String format is recommended for readability.\n\nAvailable WitnessTypes:\n- OrderProgress / TypeOrderProgress (100): Query an Order's associated Progress object. Use case: Check if order has reached a specific workflow node (e.g., 'complete') before allowing reward claims.\n- OrderMachine / TypeOrderMachine (101): Query an Order's associated Machine (workflow definition). Use case: Verify the workflow structure or check node configurations.\n- OrderService / TypeOrderService (102): Query an Order's parent Service object. Use case: Validate the service offering details or check service-level configurations.\n- ProgressMachine / TypeProgressMachine (103): Query a Progress's associated Machine. Use case: Access workflow definition from a Progress context.\n- ArbOrder / TypeArbOrder (104): Query an Arb's associated Order. Use case: In arbitration voting guards, verify order details like payment amount or service ID.\n- ArbArbitration / TypeArbArbitration (105): Query an Arb's parent Arbitration service. Use case: Access arbitration configuration or fee settings from within an Arb case.\n- ArbProgress / TypeArbProgress (106): Query an Arb's associated Progress. Use case: Check order workflow state during arbitration validation.\n- ArbMachine / TypeArbMachine (107): Query an Arb's associated Machine. Use case: Access workflow definition for dispute context analysis.\n- ArbService / TypeArbService (108): Query an Arb's associated Service. Use case: Verify service terms or compensation fund status during arbitration.\n- OrderAllocation / TypeOrderAllocation (109): Query an Order's escrow Allocation. Use case: Fund gates — combine with the allocation.balance query (1051) to require balance >= a threshold before a forward advances (e.g., renewal loops).\n\nExample: To validate that an order has reached the 'complete' node, query the Order with convert_witness='OrderProgress' and check the Progress's current_node field."
                 }
               },
               "required": [