@wowok/agent-mcp 2.7.10 → 3.0.1

package/dist/knowledge/guard-bytecode-spec.d.ts

@@ -0,0 +1,82 @@
+export declare const GUARD_BYTECODE_SPEC_VERSION = "1.0.0";
+export declare const VALUE_TYPE_BYTES: {
+    readonly TYPE_BOOL: 0;
+    readonly TYPE_ADDRESS: 1;
+    readonly TYPE_STRING: 2;
+    readonly TYPE_U8: 3;
+    readonly TYPE_U16: 4;
+    readonly TYPE_U32: 5;
+    readonly TYPE_U64: 6;
+    readonly TYPE_U128: 7;
+    readonly TYPE_U256: 8;
+    readonly TYPE_VEC_BOOL: 9;
+    readonly TYPE_VEC_ADDRESS: 10;
+    readonly TYPE_VEC_STRING: 11;
+    readonly TYPE_VEC_U8: 12;
+    readonly TYPE_VEC_U16: 13;
+    readonly TYPE_VEC_U32: 14;
+    readonly TYPE_VEC_U64: 15;
+    readonly TYPE_VEC_U128: 16;
+    readonly TYPE_VEC_U256: 17;
+    readonly TYPE_VEC_VEC_U8: 18;
+    readonly TYPE_VALUE: 19;
+};
+export type ValueTypeName = keyof typeof VALUE_TYPE_BYTES;
+export declare function isValueTypeByte(t: number): boolean;
+export declare function isNumberTypeByte(t: number): boolean;
+export interface OpcodeSpec {
+    byte: number;
+    name: string;
+    operands: string;
+    stack: string;
+    note?: string;
+}
+export declare const OPCODE_SPECS: readonly OpcodeSpec[];
+export declare function opcodeByByte(byte: number): OpcodeSpec | undefined;
+export declare function opcodeByName(name: string): OpcodeSpec | undefined;
+export declare const COMMON_MOVE_MISALIGNED: ReadonlyArray<{
+    series: string;
+    common_move: string;
+    native_truth: string;
+}>;
+export interface QuerySpec {
+    id: number;
+    name: string;
+    object: string;
+    return_type: string;
+    params: string[];
+    unreachable?: boolean;
+    defect?: "declared_type_mismatch" | "name_typo";
+    note?: string;
+}
+export declare const QUERY_REGISTRY: readonly QuerySpec[];
+export declare function getQueryById(id: number): QuerySpec | undefined;
+export declare function queriesByObject(object: string): QuerySpec[];
+export declare function queryByName(name: string): QuerySpec | undefined;
+export interface QueryBand {
+    from: number;
+    to: number;
+    object: string;
+    count: number;
+}
+export declare const QUERY_BANDS: readonly QueryBand[];
+export declare const SERIALIZATION: {
+    readonly operand_order: "reverse-logical";
+    readonly op_code_position: "after-operands";
+    readonly count_byte: "after-op_code (multi-operand ops)";
+    readonly query_param_position: "after-op_byte (subcode/identifier/query_id)";
+    readonly u16_endian: "little (BCS)";
+    readonly final_stack: "exactly one Bool (or TYPE_VALUE)";
+};
+export declare const GUARD_LIMITS: {
+    readonly MAX_INPUT_SIZE: 1024;
+    readonly MAX_TABLE_SIZE: 40000;
+    readonly MAX_DEPENDED_COUNT: 4;
+    readonly MAX_TABLE_ENTRIES: 255;
+    readonly MAX_NUMBER_OPERANDS: 8;
+    readonly MAX_LOGIC_OPERANDS: 8;
+    readonly MAX_STRING_OPERANDS: 6;
+    readonly MAX_NESTING_DEPTH: 8;
+    readonly PASSPORT_MAX_GUARD_COUNT: 20;
+    readonly PASSPORT_MAX_SUBMISSION_SIZE: 256;
+};

package/dist/knowledge/guard-bytecode-spec.js

@@ -0,0 +1 @@
+export const GUARD_BYTECODE_SPEC_VERSION='1.0.0';export const VALUE_TYPE_BYTES={'TYPE_BOOL':0x0,'TYPE_ADDRESS':0x1,'TYPE_STRING':0x2,'TYPE_U8':0x3,'TYPE_U16':0x4,'TYPE_U32':0x5,'TYPE_U64':0x6,'TYPE_U128':0x7,'TYPE_U256':0x8,'TYPE_VEC_BOOL':0x9,'TYPE_VEC_ADDRESS':0xa,'TYPE_VEC_STRING':0xb,'TYPE_VEC_U8':0xc,'TYPE_VEC_U16':0xd,'TYPE_VEC_U32':0xe,'TYPE_VEC_U64':0xf,'TYPE_VEC_U128':0x10,'TYPE_VEC_U256':0x11,'TYPE_VEC_VEC_U8':0x12,'TYPE_VALUE':0x13};export function isValueTypeByte(a){return a>=0x0&&a<VALUE_TYPE_BYTES['TYPE_VALUE'];}export function isNumberTypeByte(a){return a>=VALUE_TYPE_BYTES['TYPE_U8']&&a<=VALUE_TYPE_BYTES['TYPE_U256']||a===VALUE_TYPE_BYTES['TYPE_VALUE'];}export const OPCODE_SPECS=[{'byte':0x28,'name':'TYPE_QUERY','operands':'[subcode:u8][identifier:u8][query_id:u16\x20LE]','stack':'pop\x20required_params\x20→\x20push\x20return_type;\x20run\x20registry\x20query','note':'subcode:\x2048\x20(TYPE_CONSTANT)\x20or\x20100-108\x20(witness);\x20u16\x20is\x20BCS\x20little-endian'},{'byte':0x2d,'name':'TYPE_SIGNER','operands':'none','stack':'push\x20Address\x20(tx\x20sender)'},{'byte':0x2e,'name':'TYPE_CLOCK','operands':'none','stack':'push\x20U64\x20(Clock\x20timestamp_ms)'},{'byte':0x2f,'name':'TYPE_GUARD','operands':'none','stack':'push\x20Address\x20(current\x20Guard)'},{'byte':0x30,'name':'TYPE_CONSTANT','operands':'[identifier:u8]','stack':'push\x20table\x20constant\x20(verify:\x20deserialized\x20value)'},{'byte':0x3d,'name':'TYPE_STRING_LENGTH','operands':'none','stack':'pop\x20String\x20→\x20push\x20U64'},{'byte':0x3e,'name':'TYPE_STRING_INDEXOF','operands':'[order:u8]\x20(0=forward/1=reverse)','stack':'pop\x202\x20String\x20→\x20push\x20U64'},{'byte':0x3f,'name':'TYPE_STRING_NOCASE_INDEXOF','operands':'[order:u8]','stack':'pop\x202\x20String\x20→\x20push\x20U64\x20(case-insensitive)'},{'byte':0x40,'name':'TYPE_STRING_CONTAINS','operands':'[count:u8]\x20(2..=8)','stack':'pop\x20count\x20String\x20→\x20push\x20Bool'},{'byte':0x41,'name':'TYPE_STRING_NOCASE_CONTAINS','operands':'[count:u8]','stack':'pop\x20count\x20String\x20→\x20push\x20Bool'},{'byte':0x42,'name':'TYPE_STRING_NOCASE_EQUAL','operands':'[count:u8]','stack':'pop\x20count\x20String\x20→\x20push\x20Bool'},{'byte':0x46,'name':'TYPED_VALUE_TYPE','operands':'none','stack':'pop\x20any\x20→\x20push\x20U8\x20(value\x27s\x20type\x20byte)'},{'byte':0x47,'name':'TYPED_VALUE_VEC_LENGTH','operands':'none','stack':'pop\x20Vec\x20→\x20push\x20U64'},{'byte':0x48,'name':'TYPED_VALUE_VEC_CONTAINS_BOOL','operands':'[count:u8]','stack':'first\x20operand\x20Vec<bool>,\x20rest\x20bool\x20→\x20push\x20Bool'},{'byte':0x49,'name':'TYPED_VALUE_VEC_CONTAINS_ADDRESS','operands':'[count:u8]','stack':'Vec<address>\x20+\x20addresses\x20→\x20Bool'},{'byte':0x4a,'name':'TYPED_VALUE_VEC_CONTAINS_STRING','operands':'[count:u8]','stack':'Vec<String>\x20+\x20Strings\x20→\x20Bool'},{'byte':0x4b,'name':'TYPED_VALUE_VEC_CONTAINS_STRING_NOCASE','operands':'[count:u8]','stack':'same,\x20case-insensitive'},{'byte':0x4c,'name':'TYPED_VALUE_VEC_CONTAINS_NUMBER','operands':'[count:u8]','stack':'first\x20operand\x20numeric\x20Vec\x20(VEC_U8..VEC_U256),\x20rest\x20numbers\x20→\x20Bool'},{'byte':0x4d,'name':'TYPED_VALUE_VEC_INDEXOF_BOOL','operands':'[order:u8]','stack':'pop\x20Vec<bool>+bool\x20→\x20push\x20U64'},{'byte':0x4e,'name':'TYPED_VALUE_VEC_INDEXOF_ADDRESS','operands':'[order:u8]','stack':'pop\x20Vec<address>+address\x20→\x20push\x20U64'},{'byte':0x4f,'name':'TYPED_VALUE_VEC_INDEXOF_STRING','operands':'[order:u8]','stack':'pop\x20Vec<String>+String\x20→\x20push\x20U64'},{'byte':0x50,'name':'TYPED_VALUE_VEC_INDEXOF_STRING_NOCASE','operands':'[order:u8]','stack':'same,\x20case-insensitive'},{'byte':0x51,'name':'TYPED_VALUE_VEC_INDEXOF_NUMBER','operands':'[order:u8]','stack':'numeric\x20Vec\x20+\x20number\x20→\x20U64'},{'byte':0x5a,'name':'TYPE_LOGIC_EQUAL','operands':'[count:u8]\x20(2..=8)','stack':'N\x20same-type\x20operands\x20→\x20Bool'},{'byte':0x5b,'name':'TYPE_LOGIC_AS_U256_GREATER','operands':'[count:u8]','stack':'N\x20numbers\x20strictly\x20decreasing\x20(as\x20u256)\x20→\x20Bool'},{'byte':0x5c,'name':'TYPE_LOGIC_AS_U256_GREATER_EQUAL','operands':'[count:u8]','stack':'N\x20numbers\x20non-increasing\x20→\x20Bool'},{'byte':0x5d,'name':'TYPE_LOGIC_AS_U256_LESSER','operands':'[count:u8]','stack':'N\x20numbers\x20strictly\x20increasing\x20→\x20Bool'},{'byte':0x5e,'name':'TYPE_LOGIC_AS_U256_LESSER_EQUAL','operands':'[count:u8]','stack':'N\x20numbers\x20non-decreasing\x20→\x20Bool'},{'byte':0x5f,'name':'TYPE_LOGIC_AS_U256_EQUAL','operands':'[count:u8]','stack':'numeric\x20equality\x20→\x20Bool'},{'byte':0x60,'name':'TYPE_LOGIC_AND','operands':'[count:u8]','stack':'N\x20Bool\x20→\x20Bool'},{'byte':0x61,'name':'TYPE_LOGIC_OR','operands':'[count:u8]','stack':'N\x20Bool\x20→\x20Bool'},{'byte':0x62,'name':'TYPE_LOGIC_NOT','operands':'none','stack':'unary\x20Bool\x20→\x20Bool'},{'byte':0x64,'name':'TYPE_ORDER_PROGRESS','operands':'none','stack':'witness:\x20top-of-stack\x20Order\x20→\x20Progress\x20(type\x20assertion)'},{'byte':0x65,'name':'TYPE_ORDER_MACHINE','operands':'none','stack':'witness:\x20Order\x20→\x20Machine'},{'byte':0x66,'name':'TYPE_ORDER_SERVICE','operands':'none','stack':'witness:\x20Order\x20→\x20Service'},{'byte':0x67,'name':'TYPE_PROGRESS_MACHINE','operands':'none','stack':'witness:\x20Progress\x20→\x20Machine'},{'byte':0x68,'name':'TYPE_ARB_ORDER','operands':'none','stack':'witness:\x20Arb\x20→\x20Order'},{'byte':0x69,'name':'TYPE_ARB_ARBITRATION','operands':'none','stack':'witness:\x20Arb\x20→\x20Arbitration'},{'byte':0x6a,'name':'TYPE_ARB_PROGRESS','operands':'none','stack':'witness:\x20Arb\x20→\x20Progress'},{'byte':0x6b,'name':'TYPE_ARB_MACHINE','operands':'none','stack':'witness:\x20Arb\x20→\x20Machine'},{'byte':0x6c,'name':'TYPE_ARB_SERVICE','operands':'none','stack':'witness:\x20Arb\x20→\x20Service'},{'byte':0xc8,'name':'TYPE_NUMBER_ADD','operands':'[count:u8]\x20(2..=8)','stack':'N\x20numbers\x20→\x20push\x20U256'},{'byte':0xc9,'name':'TYPE_NUMBER_SUBTRACT','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xca,'name':'TYPE_NUMBER_MULTIPLY','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xcb,'name':'TYPE_NUMBER_DIVIDE','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xcc,'name':'TYPE_NUMBER_MOD','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xcd,'name':'TYPE_NUMBER_ADDRESS','operands':'none','stack':'pop\x20number\x20→\x20push\x20Address'},{'byte':0xce,'name':'TYPE_NUMBER_STRING','operands':'none','stack':'pop\x20number\x20→\x20push\x20String'},{'byte':0xcf,'name':'TYPE_ADDRESS_NUMBER','operands':'none','stack':'pop\x20Address\x20→\x20push\x20U256'},{'byte':0xd0,'name':'TYPE_STRING_NUMBER','operands':'none','stack':'pop\x20String\x20→\x20push\x20U256'},{'byte':0xdc,'name':'TYPE_SAFE_U8','operands':'none','stack':'pop\x20number\x20→\x20push\x20U8\x20(abort\x20on\x20overflow)'},{'byte':0xdd,'name':'TYPE_SAFE_U16','operands':'none','stack':'→\x20U16'},{'byte':0xde,'name':'TYPE_SAFE_U32','operands':'none','stack':'→\x20U32'},{'byte':0xdf,'name':'TYPE_SAFE_U64','operands':'none','stack':'→\x20U64'},{'byte':0xe0,'name':'TYPE_SAFE_U128','operands':'none','stack':'→\x20U128'},{'byte':0xe1,'name':'TYPE_SAFE_U256','operands':'none','stack':'→\x20U256'}];const OPCODE_BY_BYTE=new Map(OPCODE_SPECS['map'](a=>[a['byte'],a])),OPCODE_BY_NAME=new Map(OPCODE_SPECS['map'](a=>[a['name'],a]));export function opcodeByByte(a){return OPCODE_BY_BYTE['get'](a);}export function opcodeByName(a){return OPCODE_BY_NAME['get'](a);}export const COMMON_MOVE_MISALIGNED=[];export const QUERY_REGISTRY=[{'id':0x3e9,'name':'permission.description','object':'Permission','return_type':'String','params':[]},{'id':0x3ea,'name':'permission.owner','object':'Permission','return_type':'Address','params':[]},{'id':0x3eb,'name':'permission.admin\x20count','object':'Permission','return_type':'U64','params':[]},{'id':0x3ec,'name':'permission.admin\x20has','object':'Permission','return_type':'Bool','params':['Address']},{'id':0x3ed,'name':'permission.entity\x20count','object':'Permission','return_type':'U64','params':[]},{'id':0x3ee,'name':'permission.entity\x20has','object':'Permission','return_type':'Bool','params':['Address']},{'id':0x3ef,'name':'permission.entity.perm\x20count','object':'Permission','return_type':'U64','params':['Address']},{'id':0x3f0,'name':'permission.entity.perm\x20has','object':'Permission','return_type':'Bool','params':['Address','U16']},{'id':0x3f1,'name':'permission.perm.remark\x20count','object':'Permission','return_type':'U64','params':[]},{'id':0x3f2,'name':'permission.perm.remark\x20has','object':'Permission','return_type':'Bool','params':['U16']},{'id':0x3f3,'name':'permission.perm.remark','object':'Permission','return_type':'String','params':['U16']},{'id':0x3f4,'name':'permission.um\x20some','object':'Permission','return_type':'Bool','params':[]},{'id':0x3f5,'name':'permission.um','object':'Permission','return_type':'Address','params':[]},{'id':0x41a,'name':'allocation.description','object':'Allocation','return_type':'String','params':[]},{'id':0x41b,'name':'allocation.balance','object':'Allocation','return_type':'U64','params':[]},{'id':0x41c,'name':'allocation.threshold','object':'Allocation','return_type':'U64','params':[]},{'id':0x41d,'name':'allocation.payment\x20count','object':'Allocation','return_type':'U64','params':[]},{'id':0x41e,'name':'allocation.payment\x20has','object':'Allocation','return_type':'Bool','params':['Address']},{'id':0x41f,'name':'allocation.payment_info.for\x20some','object':'Allocation','return_type':'Bool','params':[],'note':'original\x20registration,\x20id\x20unchanged\x20(08\x20§六\x20F-1);\x20reachable'},{'id':0x420,'name':'allocation.payment_info.for','object':'Allocation','return_type':'Address','params':[]},{'id':0x421,'name':'allocation.payment_info.guard\x20some','object':'Allocation','return_type':'Bool','params':[]},{'id':0x422,'name':'allocation.payment_info.guard','object':'Allocation','return_type':'Address','params':[]},{'id':0x423,'name':'allocation.payment_info.remark','object':'Allocation','return_type':'String','params':[]},{'id':0x424,'name':'allocation.payment_info.index','object':'Allocation','return_type':'U64','params':[]},{'id':0x425,'name':'allocation.allocator\x20count','object':'Allocation','return_type':'U64','params':[]},{'id':0x426,'name':'allocation.allocator\x20has','object':'Allocation','return_type':'Bool','params':['Address']},{'id':0x427,'name':'allocation.allocator.sharing\x20count','object':'Allocation','return_type':'U64','params':['Address']},{'id':0x428,'name':'allocation.allocator.fix','object':'Allocation','return_type':'U64','params':['Address']},{'id':0x429,'name':'allocation.allocator.max\x20some','object':'Allocation','return_type':'Bool','params':['Address']},{'id':0x42a,'name':'allocation.allocator.max','object':'Allocation','return_type':'U64','params':['Address']},{'id':0x42b,'name':'allocation.token_type','object':'Allocation','return_type':'String','params':[]},{'id':0x42c,'name':'allocation.payment_info\x20has','object':'Allocation','return_type':'Bool','params':[],'note':'added\x202026-09-08\x20under\x20a\x20NEW\x20id\x20(08\x20§六\x20F-1):\x20payment_info\x20None\x20before\x20first\x20allocation\x20run'},{'id':0x44c,'name':'payment.amount','object':'Payment','return_type':'U64','params':[]},{'id':0x44d,'name':'payment.time','object':'Payment','return_type':'U64','params':[]},{'id':0x44e,'name':'payment.signer','object':'Payment','return_type':'Address','params':[]},{'id':0x44f,'name':'payment.from_object\x20some','object':'Payment','return_type':'Bool','params':[]},{'id':0x450,'name':'payment.from_object','object':'Payment','return_type':'Address','params':[]},{'id':0x451,'name':'payment.record\x20count','object':'Payment','return_type':'U64','params':[]},{'id':0x452,'name':'payment.info.for\x20some','object':'Payment','return_type':'Bool','params':[]},{'id':0x453,'name':'payment.info.for','object':'Payment','return_type':'Address','params':[]},{'id':0x454,'name':'payment.info.guard\x20some','object':'Payment','return_type':'Bool','params':[]},{'id':0x455,'name':'payment.info.guard','object':'Payment','return_type':'Address','params':[]},{'id':0x456,'name':'payment.info.remark','object':'Payment','return_type':'String','params':[]},{'id':0x457,'name':'payment.info.index','object':'Payment','return_type':'U64','params':[]},{'id':0x458,'name':'payment.recipient\x20has','object':'Payment','return_type':'Bool','params':['Address']},{'id':0x459,'name':'payment.recipient.amount','object':'Payment','return_type':'U64','params':['Address']},{'id':0x45a,'name':'payment.token_type','object':'Payment','return_type':'String','params':[]},{'id':0x47e,'name':'repository.description','object':'Repository','return_type':'String','params':[]},{'id':0x47f,'name':'repository.policy\x20count','object':'Repository','return_type':'U64','params':[]},{'id':0x480,'name':'repository.data\x20count','object':'Repository','return_type':'U64','params':[]},{'id':0x481,'name':'repository.permission','object':'Repository','return_type':'Address','params':[]},{'id':0x482,'name':'repository.policy\x20has','object':'Repository','return_type':'Bool','params':['String']},{'id':0x483,'name':'repository.policy.description','object':'Repository','return_type':'String','params':['String']},{'id':0x484,'name':'repository.policy.write_guard\x20count','object':'Repository','return_type':'U64','params':['String']},{'id':0x485,'name':'repository.policy.write_guard\x20has','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x486,'name':'repository.policy.write_guard.id_from_submission\x20some','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x487,'name':'repository.policy.write_guard.id_from_submission','object':'Repository','return_type':'U8','params':['String','Address']},{'id':0x488,'name':'repository.policy.write_guard.data_from_submission\x20some','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x489,'name':'repository.policy.write_guard.data_from_submission','object':'Repository','return_type':'U8','params':['String','Address']},{'id':0x48a,'name':'repository.policy.quote_guard\x20some','object':'Repository','return_type':'Bool','params':['String']},{'id':0x48b,'name':'repository.policy.quote_guard','object':'Repository','return_type':'Address','params':['String']},{'id':0x48c,'name':'repository.policy.id_from','object':'Repository','return_type':'U8','params':['String']},{'id':0x48d,'name':'repository.policy.value_type','object':'Repository','return_type':'U8','params':['String']},{'id':0x48e,'name':'repository.data\x20has','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x48f,'name':'repository.data','object':'Repository','return_type':'Value','params':['String','Address'],'note':'the\x20ONLY\x20query\x20with\x20a\x20quote_guard\x20read-gate\x20(guard\x20must\x20appear\x20in\x20Passport\x20impack_list)'},{'id':0x490,'name':'repository.data_type','object':'Repository','return_type':'U8','params':['String','Address']},{'id':0x491,'name':'repository.reward\x20count','object':'Repository','return_type':'U64','params':[]},{'id':0x492,'name':'repository.reward\x20has','object':'Repository','return_type':'Bool','params':['Address']},{'id':0x493,'name':'repository.um\x20some','object':'Repository','return_type':'Bool','params':[]},{'id':0x494,'name':'repository.um','object':'Repository','return_type':'Address','params':[]},{'id':0x4b0,'name':'machine.description','object':'Machine','return_type':'String','params':[]},{'id':0x4b1,'name':'machine.node_count','object':'Machine','return_type':'U64','params':[]},{'id':0x4b2,'name':'machine.node\x20has','object':'Machine','return_type':'Bool','params':['String']},{'id':0x4b3,'name':'machine.node.pair\x20count','object':'Machine','return_type':'U64','params':['String']},{'id':0x4b4,'name':'machine.node.pair\x20has','object':'Machine','return_type':'Bool','params':['String','String']},{'id':0x4b5,'name':'machine.node.pair.threshold','object':'Machine','return_type':'U32','params':['String','String']},{'id':0x4b6,'name':'machine.node.pair.forward\x20count','object':'Machine','return_type':'U64','params':['String','String']},{'id':0x4b7,'name':'machine.node.pair.forward\x20has','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4b8,'name':'machine.node.pair.forward.namedOperator\x20some','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4b9,'name':'machine.node.pair.forward.namedOperator','object':'Machine','return_type':'String','params':['String','String','String']},{'id':0x4ba,'name':'machine.node.pair.forward.permissionIndex\x20some','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4bb,'name':'machine.node.pair.forward.permissionIndex','object':'Machine','return_type':'U64','params':['String','String','String']},{'id':0x4bc,'name':'machine.node.pair.forward.weight','object':'Machine','return_type':'U16','params':['String','String','String']},{'id':0x4bd,'name':'machine.node.pair.forward.guard\x20some','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4be,'name':'machine.node.pair.forward.guard','object':'Machine','return_type':'Address','params':['String','String','String']},{'id':0x4bf,'name':'machine.node.pair.forward.guard.retained_submission','object':'Machine','return_type':'VectorU8','params':['String','String','String']},{'id':0x4c0,'name':'machine.node.pair.forward.guard.retained_submission\x20count','object':'Machine','return_type':'U64','params':['String','String','String']},{'id':0x4c1,'name':'machine.node.pair.forward.guard.retained_submission\x20has','object':'Machine','return_type':'Bool','params':['String','String','String','U8']},{'id':0x4c2,'name':'machine.consensus_repository\x20count','object':'Machine','return_type':'U64','params':[]},{'id':0x4c3,'name':'machine.consensus_repository\x20has','object':'Machine','return_type':'Bool','params':['Address']},{'id':0x4c4,'name':'machine.paused','object':'Machine','return_type':'Bool','params':[]},{'id':0x4c5,'name':'machine.published','object':'Machine','return_type':'Bool','params':[]},{'id':0x4c6,'name':'machine.um\x20some','object':'Machine','return_type':'Bool','params':[]},{'id':0x4c7,'name':'machine.um','object':'Machine','return_type':'Address','params':[]},{'id':0x4c8,'name':'machine.permission','object':'Machine','return_type':'Address','params':[]},{'id':0x4e2,'name':'progress.machine','object':'Progress','return_type':'Address','params':[]},{'id':0x4e3,'name':'progress.context_repository\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4e4,'name':'progress.context_repository\x20has','object':'Progress','return_type':'Bool','params':['Address']},{'id':0x4e5,'name':'progress.current','object':'Progress','return_type':'String','params':[]},{'id':0x4e6,'name':'progress.task\x20some','object':'Progress','return_type':'Bool','params':[]},{'id':0x4e7,'name':'progress.task','object':'Progress','return_type':'Address','params':[]},{'id':0x4e8,'name':'progress.namedOperator\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4e9,'name':'progress.namedOperator\x20has','object':'Progress','return_type':'Bool','params':['String']},{'id':0x4ea,'name':'progress.namedOperator.operator\x20count','object':'Progress','return_type':'U64','params':['String']},{'id':0x4eb,'name':'progress.namedOperator.operator\x20has','object':'Progress','return_type':'Bool','params':['String','Address']},{'id':0x4ec,'name':'progress.session\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4ed,'name':'progress.session\x20has','object':'Progress','return_type':'Bool','params':['String']},{'id':0x4ee,'name':'progress.session.forward\x20count','object':'Progress','return_type':'U64','params':['String']},{'id':0x4ef,'name':'progress.session.forward\x20has','object':'Progress','return_type':'Bool','params':['String','String']},{'id':0x4f0,'name':'progress.session.forward.who\x20some','object':'Progress','return_type':'Bool','params':['String','String']},{'id':0x4f1,'name':'progress.session.forward.who','object':'Progress','return_type':'Address','params':['String','String']},{'id':0x4f2,'name':'progress.session.forward.retained_submission\x20count','object':'Progress','return_type':'U64','params':['String','String']},{'id':0x4f3,'name':'progress.session.forward.retained_submission\x20has','object':'Progress','return_type':'Bool','params':['String','String','U8']},{'id':0x4f4,'name':'progress.session.forward.retained_submission.value','object':'Progress','return_type':'VectorU8','params':['String','String','U8']},{'id':0x4f5,'name':'progress.session.forward.msg','object':'Progress','return_type':'String','params':['String','String']},{'id':0x4f6,'name':'progress.session.forward.accomplished','object':'Progress','return_type':'Bool','params':['String','String']},{'id':0x4f7,'name':'progress.session.forward.time','object':'Progress','return_type':'U64','params':['String','String']},{'id':0x4f8,'name':'progress.current_time','object':'Progress','return_type':'U64','params':[]},{'id':0x4f9,'name':'progress.history\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4fa,'name':'progress.history.find','object':'Progress','return_type':'U64','params':['VectorU8']},{'id':0x4fb,'name':'progress.history.session.find','object':'Progress','return_type':'U64','params':['U64','VectorU8']},{'id':0x4fc,'name':'progress.history.session.forward.find','object':'Progress','return_type':'U64','params':['U64','U64','VectorU8']},{'id':0x4fd,'name':'progress.history.session.count','object':'Progress','return_type':'U64','params':['U64']},{'id':0x4fe,'name':'progress.history.session.forward.count','object':'Progress','return_type':'U64','params':['U64','U64']},{'id':0x4ff,'name':'progress.history.session.forward.retained_submission.count','object':'Progress','return_type':'U64','params':['U64','U64','U64']},{'id':0x546,'name':'arbitration.description','object':'Arbitration','return_type':'String','params':[]},{'id':0x547,'name':'arbitration.location','object':'Arbitration','return_type':'String','params':[]},{'id':0x548,'name':'arbitration.voting_guard\x20count','object':'Arbitration','return_type':'U64','params':[]},{'id':0x549,'name':'arbitration.voting_guard\x20has','object':'Arbitration','return_type':'Bool','params':['Address']},{'id':0x54a,'name':'arbitration.usage_guard\x20some','object':'Arbitration','return_type':'Bool','params':[],'note':'reachable\x202026-09-08\x20(08\x20§六\x20F-2):\x20the\x20competing\x20vote_weight\x20registration\x20is\x20commented\x20out\x20in\x20natives\x20—\x20no\x20shadow'},{'id':0x54b,'name':'arbitration.usage_guard','object':'Arbitration','return_type':'Address','params':[]},{'id':0x54c,'name':'arbitration.fee','object':'Arbitration','return_type':'U64','params':[]},{'id':0x54d,'name':'arbitration.balance','object':'Arbitration','return_type':'U64','params':[]},{'id':0x54e,'name':'arbitration.paused','object':'Arbitration','return_type':'Bool','params':[]},{'id':0x54f,'name':'arbitration.um\x20some','object':'Arbitration','return_type':'Bool','params':[]},{'id':0x550,'name':'arbitration.um','object':'Arbitration','return_type':'Address','params':[]},{'id':0x551,'name':'arbitration.permission','object':'Arbitration','return_type':'Address','params':[]},{'id':0x552,'name':'arbitration.token_type','object':'Arbitration','return_type':'String','params':[]},{'id':0x578,'name':'arb.description','object':'Arb','return_type':'String','params':[]},{'id':0x579,'name':'arb.order','object':'Arb','return_type':'Address','params':[]},{'id':0x57a,'name':'arb.arbitration','object':'Arb','return_type':'Address','params':[]},{'id':0x57b,'name':'arb.voted_count','object':'Arb','return_type':'U64','params':[]},{'id':0x57c,'name':'arb.voted\x20has','object':'Arb','return_type':'Bool','params':['Address']},{'id':0x57d,'name':'arb.voted.agree\x20count','object':'Arb','return_type':'U64','params':['Address']},{'id':0x57e,'name':'arb.voted.agree\x20has','object':'Arb','return_type':'Bool','params':['Address','U8']},{'id':0x57f,'name':'arb.voted.weight','object':'Arb','return_type':'U32','params':['Address']},{'id':0x580,'name':'arb.voted.time','object':'Arb','return_type':'U64','params':['Address']},{'id':0x581,'name':'arb.proposition\x20count','object':'Arb','return_type':'U64','params':[]},{'id':0x582,'name':'arb.proposition\x20has','object':'Arb','return_type':'Bool','params':['String']},{'id':0x583,'name':'arb.proposition.votes','object':'Arb','return_type':'U64','params':['String']},{'id':0x584,'name':'arb.fee','object':'Arb','return_type':'U64','params':[]},{'id':0x585,'name':'arb.feedback','object':'Arb','return_type':'String','params':[]},{'id':0x586,'name':'arb.indemnity\x20some','object':'Arb','return_type':'Bool','params':[]},{'id':0x587,'name':'arb.indemnity.amount','object':'Arb','return_type':'U64','params':[]},{'id':0x588,'name':'arb.indemnity.time','object':'Arb','return_type':'U64','params':[]},{'id':0x589,'name':'arb.voting_deadline\x20some','object':'Arb','return_type':'Bool','params':[]},{'id':0x58a,'name':'arb.voting_deadline','object':'Arb','return_type':'U64','params':[]},{'id':0x58b,'name':'arb.objection','object':'Arb','return_type':'String','params':[]},{'id':0x58c,'name':'arb.status','object':'Arb','return_type':'U8','params':[]},{'id':0x58d,'name':'arb.compensation_time\x20some','object':'Arb','return_type':'Bool','params':[]},{'id':0x58e,'name':'arb.compensation_time','object':'Arb','return_type':'U64','params':[]},{'id':0x58f,'name':'arb.time','object':'Arb','return_type':'U64','params':[]},{'id':0x590,'name':'arb.token_type','object':'Arb','return_type':'String','params':[]},{'id':0x5aa,'name':'service.description','object':'Service','return_type':'String','params':[]},{'id':0x5ab,'name':'service.location','object':'Service','return_type':'String','params':[]},{'id':0x5ac,'name':'service.sale\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5ad,'name':'service.sale\x20has','object':'Service','return_type':'Bool','params':['String']},{'id':0x5ae,'name':'service.sale.price','object':'Service','return_type':'U64','params':['String']},{'id':0x5af,'name':'service.sale.stock','object':'Service','return_type':'U64','params':['String']},{'id':0x5b0,'name':'service.sale.suspension','object':'Service','return_type':'Bool','params':['String']},{'id':0x5b1,'name':'service.sale.wip','object':'Service','return_type':'String','params':['String']},{'id':0x5b2,'name':'service.sale.wip_hash','object':'Service','return_type':'String','params':['String']},{'id':0x5b3,'name':'service.repository\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5b4,'name':'service.repository\x20has','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5b5,'name':'service.buy_guard\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5b6,'name':'service.buy_guard','object':'Service','return_type':'Address','params':[]},{'id':0x5b7,'name':'service.machine\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5b8,'name':'service.machine','object':'Service','return_type':'Address','params':[]},{'id':0x5b9,'name':'service.published','object':'Service','return_type':'Bool','params':[]},{'id':0x5ba,'name':'service.paused','object':'Service','return_type':'Bool','params':[]},{'id':0x5bb,'name':'service.customer_required\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5bc,'name':'service.customer_required\x20has','object':'Service','return_type':'Bool','params':['String']},{'id':0x5bd,'name':'service.arbitration\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5be,'name':'service.arbitration\x20has','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5bf,'name':'service.compensation_fund','object':'Service','return_type':'U64','params':[]},{'id':0x5c0,'name':'service.paused_time\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5c1,'name':'service.paused_time','object':'Service','return_type':'U64','params':[]},{'id':0x5c2,'name':'service.setting_lock_duration','object':'Service','return_type':'U64','params':[]},{'id':0x5c3,'name':'service.order_allocators\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5c4,'name':'service.order_allocators.description','object':'Service','return_type':'String','params':[]},{'id':0x5c5,'name':'service.order_allocators.threshold','object':'Service','return_type':'U64','params':[]},{'id':0x5c6,'name':'service.order_allocators.allocator\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5c7,'name':'service.order_allocators.allocator\x20has','object':'Service','return_type':'Bool','params':['Address'],'note':'name\x20fixed\x202026-09-08\x20(08\x20§六\x20F-5):\x20registry\x20typo\x20\x27allocatcor\x27\x20corrected\x20in\x20natives\x20+\x20SDK'},{'id':0x5c8,'name':'service.order_allocators.allocator.sharing\x20count','object':'Service','return_type':'U64','params':['Address']},{'id':0x5c9,'name':'service.order_allocators.allocator.fix','object':'Service','return_type':'U64','params':['Address']},{'id':0x5ca,'name':'service.order_allocators.allocator.max\x20some','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5cb,'name':'service.order_allocators.allocator.max','object':'Service','return_type':'U64','params':['Address']},{'id':0x5cc,'name':'service.reward\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5cd,'name':'service.reward\x20has','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5ce,'name':'service.um\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5cf,'name':'service.um','object':'Service','return_type':'Address','params':[]},{'id':0x5d0,'name':'service.permission','object':'Service','return_type':'Address','params':[]},{'id':0x5d1,'name':'service.token_type','object':'Service','return_type':'String','params':[]},{'id':0x60e,'name':'order.item\x20count','object':'Order','return_type':'U64','params':[]},{'id':0x60f,'name':'order.item\x20has','object':'Order','return_type':'Bool','params':['String']},{'id':0x610,'name':'order.item.price','object':'Order','return_type':'U64','params':['String']},{'id':0x611,'name':'order.item.quantity','object':'Order','return_type':'U64','params':['String']},{'id':0x612,'name':'order.item.wip_hash','object':'Order','return_type':'String','params':['String']},{'id':0x613,'name':'order.discount\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x614,'name':'order.discount','object':'Order','return_type':'Address','params':[]},{'id':0x615,'name':'order.progress\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x616,'name':'order.progress','object':'Order','return_type':'Address','params':[]},{'id':0x617,'name':'order.machine\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x618,'name':'order.machine','object':'Order','return_type':'Address','params':[]},{'id':0x619,'name':'order.amount','object':'Order','return_type':'U64','params':[]},{'id':0x61a,'name':'order.owner','object':'Order','return_type':'Address','params':[]},{'id':0x61b,'name':'order.service','object':'Order','return_type':'Address','params':[]},{'id':0x61c,'name':'order.dispute\x20count','object':'Order','return_type':'U64','params':[]},{'id':0x61d,'name':'order.dispute\x20has','object':'Order','return_type':'Bool','params':['Address']},{'id':0x61e,'name':'order.agent\x20count','object':'Order','return_type':'U64','params':[]},{'id':0x61f,'name':'order.agent\x20has','object':'Order','return_type':'Bool','params':['Address']},{'id':0x620,'name':'order.allocation\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x621,'name':'order.allocation','object':'Order','return_type':'Address','params':[]},{'id':0x622,'name':'order.claimed_by\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x623,'name':'order.claimed_by','object':'Order','return_type':'Address','params':[]},{'id':0x624,'name':'order.required_info\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x625,'name':'order.required_info','object':'Order','return_type':'Address','params':[]},{'id':0x626,'name':'order.time','object':'Order','return_type':'U64','params':[]},{'id':0x640,'name':'reward.description','object':'Reward','return_type':'String','params':[]},{'id':0x641,'name':'reward.guard\x20count','object':'Reward','return_type':'U64','params':[]},{'id':0x642,'name':'reward.guard\x20has','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x643,'name':'reward.guard.recipient.variant','object':'Reward','return_type':'U8','params':['Address']},{'id':0x644,'name':'reward.guard.amount','object':'Reward','return_type':'U64','params':['Address']},{'id':0x645,'name':'reward.guard.expiration_time\x20some','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x646,'name':'reward.guard.expiration_time','object':'Reward','return_type':'U64','params':['Address']},{'id':0x647,'name':'reward.guard.store_from_id\x20some','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x648,'name':'reward.guard.store_from_id','object':'Reward','return_type':'U8','params':['Address']},{'id':0x649,'name':'reward.balance','object':'Reward','return_type':'U64','params':[]},{'id':0x64a,'name':'reward.guard_not_added_expiration_time\x20some','object':'Reward','return_type':'Bool','params':[]},{'id':0x64b,'name':'reward.guard_not_added_expiration_time','object':'Reward','return_type':'U64','params':[]},{'id':0x64c,'name':'reward.record\x20count','object':'Reward','return_type':'U64','params':[]},{'id':0x64d,'name':'reward.record\x20has','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x64e,'name':'reward.record.total','object':'Reward','return_type':'U64','params':['Address']},{'id':0x64f,'name':'reward.record.amount\x20count','object':'Reward','return_type':'U64','params':['Address']},{'id':0x650,'name':'reward.record.amount\x20has','object':'Reward','return_type':'Bool','params':['Address','U64']},{'id':0x651,'name':'reward.record.amount.guard','object':'Reward','return_type':'Address','params':['Address','U64']},{'id':0x652,'name':'reward.record.amount.amount','object':'Reward','return_type':'U64','params':['Address','U64']},{'id':0x653,'name':'reward.record.amount.time','object':'Reward','return_type':'U64','params':['Address','U64']},{'id':0x654,'name':'reward.record.amount.store_from_id\x20some','object':'Reward','return_type':'Bool','params':['Address','U64']},{'id':0x655,'name':'reward.record.amount.store_from_id','object':'Reward','return_type':'Address','params':['Address','U64']},{'id':0x656,'name':'reward.permission','object':'Reward','return_type':'Address','params':[],'note':'verified\x202026-09-08\x20(08\x20§六\x20F-3):\x20registration\x20+\x20handler\x20+\x20SDK\x20all\x20return\x20Address\x20—\x20usable'},{'id':0x657,'name':'reward.um\x20some','object':'Reward','return_type':'Bool','params':[]},{'id':0x658,'name':'reward.um','object':'Reward','return_type':'Address','params':[]},{'id':0x659,'name':'reward.token_type','object':'Reward','return_type':'String','params':[]},{'id':0x65a,'name':'reward.record.find_first','object':'Reward','return_type':'U64','params':['VectorU8']},{'id':0x65b,'name':'reward.record.find_last','object':'Reward','return_type':'U64','params':['VectorU8']},{'id':0x65c,'name':'reward.record.count_where','object':'Reward','return_type':'U64','params':['VectorU8']},{'id':0x65d,'name':'reward.record.exists_where','object':'Reward','return_type':'Bool','params':['VectorU8']},{'id':0x672,'name':'demand.description','object':'Demand','return_type':'String','params':[]},{'id':0x673,'name':'demand.location','object':'Demand','return_type':'String','params':[]},{'id':0x674,'name':'demand.reward\x20count','object':'Demand','return_type':'U64','params':[]},{'id':0x675,'name':'demand.reward\x20has','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x676,'name':'demand.guard\x20count','object':'Demand','return_type':'U64','params':[]},{'id':0x677,'name':'demand.guard\x20has','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x678,'name':'demand.guard.service_identifier\x20some','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x679,'name':'demand.guard.service_identifier','object':'Demand','return_type':'U8','params':['Address']},{'id':0x67a,'name':'demand.presenter\x20count','object':'Demand','return_type':'U64','params':[]},{'id':0x67b,'name':'demand.presenter\x20has','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x67c,'name':'demand.presenter.recommend','object':'Demand','return_type':'String','params':['Address']},{'id':0x67d,'name':'demand.presenter.service\x20some','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x67e,'name':'demand.presenter.service','object':'Demand','return_type':'Address','params':['Address']},{'id':0x67f,'name':'demand.presenter.update_time','object':'Demand','return_type':'U64','params':['Address']},{'id':0x680,'name':'demand.presenter.acceptance_score\x20some','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x681,'name':'demand.presenter.acceptance_score','object':'Demand','return_type':'U8','params':['Address']},{'id':0x682,'name':'demand.presenter.feedback','object':'Demand','return_type':'String','params':['Address']},{'id':0x683,'name':'demand.presenter.feedback_time','object':'Demand','return_type':'U64','params':['Address']},{'id':0x684,'name':'demand.um\x20some','object':'Demand','return_type':'Bool','params':[]},{'id':0x685,'name':'demand.um','object':'Demand','return_type':'Address','params':[]},{'id':0x686,'name':'demand.permission','object':'Demand','return_type':'Address','params':[]},{'id':0x6a4,'name':'discount.name','object':'Discount','return_type':'String','params':[]},{'id':0x6a5,'name':'discount.discount_type','object':'Discount','return_type':'U8','params':[]},{'id':0x6a6,'name':'discount.benchmark\x20some','object':'Discount','return_type':'Bool','params':[]},{'id':0x6a7,'name':'discount.benchmark','object':'Discount','return_type':'U64','params':[]},{'id':0x6a8,'name':'discount.off','object':'Discount','return_type':'U64','params':[]},{'id':0x6a9,'name':'discount.time_start','object':'Discount','return_type':'U64','params':[]},{'id':0x6aa,'name':'discount.time_end','object':'Discount','return_type':'U64','params':[]},{'id':0x6ab,'name':'discount.service','object':'Discount','return_type':'Address','params':[]},{'id':0x6ac,'name':'discount.transferable','object':'Discount','return_type':'Bool','params':[]},{'id':0x6d6,'name':'entityRegistrar.entity\x20count','object':'EntityRegistrar','return_type':'U64','params':[]},{'id':0x6d7,'name':'entityRegistrar.entity\x20has','object':'EntityRegistrar','return_type':'Bool','params':['Address']},{'id':0x6d8,'name':'entityRegistrar.entity_description','object':'EntityRegistrar','return_type':'String','params':['Address']},{'id':0x6d9,'name':'entityRegistrar.entity_time','object':'EntityRegistrar','return_type':'U64','params':['Address']},{'id':0x6da,'name':'entityRegistrar.entity_referrer\x20some','object':'EntityRegistrar','return_type':'Bool','params':['Address']},{'id':0x6db,'name':'entityRegistrar.entity_referrer','object':'EntityRegistrar','return_type':'Address','params':['Address']},{'id':0x6dc,'name':'entityRegistrar.entity_resource\x20some','object':'EntityRegistrar','return_type':'Bool','params':['Address']},{'id':0x6dd,'name':'entityRegistrar.entity_resource','object':'EntityRegistrar','return_type':'Address','params':['Address']},{'id':0x6de,'name':'entityRegistrar.entity_records\x20count','object':'EntityRegistrar','return_type':'U64','params':['Address']},{'id':0x6df,'name':'entityRegistrar.entity_records\x20has','object':'EntityRegistrar','return_type':'Bool','params':['Address','String']},{'id':0x6e0,'name':'entityRegistrar.entity_records','object':'EntityRegistrar','return_type':'Value','params':['Address','String']},{'id':0x708,'name':'EntityLinker.entity\x20count','object':'EntityLinker','return_type':'U64','params':[]},{'id':0x709,'name':'EntityLinker.entity\x20has','object':'EntityLinker','return_type':'Bool','params':['Address']},{'id':0x70a,'name':'EntityLinker.entity_voted\x20count','object':'EntityLinker','return_type':'U32','params':['Address']},{'id':0x70b,'name':'EntityLinker.entity_voted_record\x20has','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x70c,'name':'EntityLinker.entity_voted_record','object':'EntityLinker','return_type':'U8','params':['Address','Address']},{'id':0x70d,'name':'EntityLinker.entity_voted_record.like','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x70e,'name':'EntityLinker.entity_voted_record.dislike','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x70f,'name':'EntityLinker.entity_voted_record.favor','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x710,'name':'EntityLinker.entity_voted_record.time','object':'EntityLinker','return_type':'U64','params':['Address','Address']},{'id':0x73a,'name':'resource.object\x20count','object':'Resource','return_type':'U64','params':[]},{'id':0x73b,'name':'resource.object\x20has','object':'Resource','return_type':'Bool','params':['Address']},{'id':0x73c,'name':'resource.object.name','object':'Resource','return_type':'String','params':['Address']},{'id':0x73d,'name':'resource.object.tag\x20count','object':'Resource','return_type':'U64','params':['Address']},{'id':0x73e,'name':'resource.object.tag\x20has','object':'Resource','return_type':'Bool','params':['Address','String']},{'id':0x76c,'name':'treasury.description','object':'Treasury','return_type':'String','params':[]},{'id':0x76d,'name':'treasury.balance','object':'Treasury','return_type':'U64','params':[]},{'id':0x76e,'name':'treasury.history\x20count','object':'Treasury','return_type':'U64','params':[]},{'id':0x76f,'name':'treasury.history\x20has','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x770,'name':'treasury.history.op','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x771,'name':'treasury.history.signer','object':'Treasury','return_type':'Address','params':['Address']},{'id':0x772,'name':'treasury.history.external_guard\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x773,'name':'treasury.history.external_guard','object':'Treasury','return_type':'Address','params':['Address']},{'id':0x774,'name':'treasury.history.amount','object':'Treasury','return_type':'U64','params':['Address']},{'id':0x775,'name':'treasury.history.time','object':'Treasury','return_type':'U64','params':['Address']},{'id':0x776,'name':'treasury.history.store_from_id\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x777,'name':'treasury.history.store_from_id','object':'Treasury','return_type':'Address','params':['Address']},{'id':0x778,'name':'treasury.external_deposit_guard\x20count','object':'Treasury','return_type':'U64','params':[]},{'id':0x779,'name':'treasury.external_deposit_guard\x20has','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x77a,'name':'treasury.external_deposit_guard.identifier\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x77b,'name':'treasury.external_deposit_guard.identifier','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x77c,'name':'treasury.external_deposit_guard.store_from_id\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x77d,'name':'treasury.external_deposit_guard.store_from_id','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x77e,'name':'treasury.external_withdraw_guard\x20count','object':'Treasury','return_type':'U64','params':[]},{'id':0x77f,'name':'treasury.external_withdraw_guard\x20has','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x780,'name':'treasury.external_withdraw_guard.identifier','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x781,'name':'treasury.external_withdraw_guard.store_from_id\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x782,'name':'treasury.external_withdraw_guard.store_from_id','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x783,'name':'treasury.inflow','object':'Treasury','return_type':'U128','params':[]},{'id':0x784,'name':'treasury.outflow','object':'Treasury','return_type':'U128','params':[]},{'id':0x785,'name':'treasury.permission','object':'Treasury','return_type':'Address','params':[]},{'id':0x786,'name':'treasury.um\x20some','object':'Treasury','return_type':'Bool','params':[]},{'id':0x787,'name':'treasury.um','object':'Treasury','return_type':'Address','params':[]},{'id':0x788,'name':'treasury.token_type','object':'Treasury','return_type':'String','params':[]},{'id':0x79e,'name':'proof.proof','object':'Proof','return_type':'VectorU8','params':[]},{'id':0x79f,'name':'proof.item_count\x20some','object':'Proof','return_type':'Bool','params':[]},{'id':0x7a0,'name':'proof.item_count','object':'Proof','return_type':'U64','params':[]},{'id':0x7a1,'name':'proof.description','object':'Proof','return_type':'String','params':[]},{'id':0x7a2,'name':'proof.server_pubkey','object':'Proof','return_type':'VectorU8','params':[]},{'id':0x7a3,'name':'proof.server_signature','object':'Proof','return_type':'VectorU8','params':[]},{'id':0x7a4,'name':'proof.about\x20some','object':'Proof','return_type':'Bool','params':[]},{'id':0x7a5,'name':'proof.about','object':'Proof','return_type':'Address','params':[]},{'id':0x7a6,'name':'proof.signer','object':'Proof','return_type':'Address','params':[]},{'id':0x7a7,'name':'proof.proof_type','object':'Proof','return_type':'U64','params':[]},{'id':0x7a8,'name':'proof.time','object':'Proof','return_type':'U64','params':[]},{'id':0x7d0,'name':'contact.description','object':'Contact','return_type':'String','params':[]},{'id':0x7d1,'name':'contact.location','object':'Contact','return_type':'String','params':[]},{'id':0x7d2,'name':'contact.ims\x20count','object':'Contact','return_type':'U64','params':[]},{'id':0x7d3,'name':'contact.ims\x20has','object':'Contact','return_type':'Bool','params':['Address']},{'id':0x7d4,'name':'contact.ims.status','object':'Contact','return_type':'String','params':['Address']},{'id':0x7d5,'name':'contact.ims.join_time','object':'Contact','return_type':'U64','params':['Address']},{'id':0x7d6,'name':'contact.ims.description','object':'Contact','return_type':'String','params':['Address']},{'id':0x7d7,'name':'contact.permission','object':'Contact','return_type':'Address','params':[]},{'id':0x802,'name':'passport.guard\x20count','object':'Passport','return_type':'U64','params':[]},{'id':0x803,'name':'passport.result','object':'Passport','return_type':'Bool','params':[]},{'id':0x804,'name':'passport.tx_hash','object':'Passport','return_type':'VectorU8','params':[]},{'id':0x805,'name':'passport.impack\x20count','object':'Passport','return_type':'U64','params':[]},{'id':0x806,'name':'passport.impack\x20has','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x807,'name':'passport.time','object':'Passport','return_type':'U64','params':[]},{'id':0x808,'name':'passport.signer','object':'Passport','return_type':'Address','params':[]},{'id':0x809,'name':'passport.has_verified','object':'Passport','return_type':'Bool','params':[]},{'id':0x80a,'name':'passport.guard.result','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x80b,'name':'passport.guard.impack','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x80c,'name':'passport.guard.relies_logic_and','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x80d,'name':'passport.guard.relies_count','object':'Passport','return_type':'U64','params':['Address']},{'id':0x80e,'name':'passport.guard.relies\x20has','object':'Passport','return_type':'Bool','params':['Address','Address']},{'id':0x80f,'name':'passport.guard.submission\x20count','object':'Passport','return_type':'U64','params':['Address']},{'id':0x810,'name':'passport.guard.submission\x20has','object':'Passport','return_type':'Bool','params':['Address','U8']},{'id':0x811,'name':'passport.guard.submission.value','object':'Passport','return_type':'Value','params':['Address','U8']},{'id':0x834,'name':'entity_permission.entity\x20has','object':'EntityPermission','return_type':'Bool','params':['Address']},{'id':0x835,'name':'entity_permission.entity\x20count','object':'EntityPermission','return_type':'U64','params':['Address']},{'id':0x836,'name':'entity_permission.entity.perm','object':'EntityPermission','return_type':'U8','params':['Address','Address']},{'id':0x837,'name':'entity_permission.entity.is_owner','object':'EntityPermission','return_type':'Bool','params':['Address','Address']},{'id':0x838,'name':'entity_permission.entity.is_admin','object':'EntityPermission','return_type':'Bool','params':['Address','Address']},{'id':0x839,'name':'entity_permission.entity.is_entity','object':'EntityPermission','return_type':'Bool','params':['Address','Address']},{'id':0x83a,'name':'entity_permission.entity.permission.time','object':'EntityPermission','return_type':'U64','params':['Address','Address']},{'id':0x866,'name':'entity_contact.entity\x20has','object':'EntityContact','return_type':'Bool','params':['Address']},{'id':0x867,'name':'entity_contact.entity\x20count','object':'EntityContact','return_type':'U64','params':['Address']},{'id':0x868,'name':'entity_contact.entity.contact.time','object':'EntityContact','return_type':'U64','params':['Address','Address']},{'id':0x898,'name':'object_linker.core\x20has','object':'ObjectLinkerCore','return_type':'Bool','params':['Address']},{'id':0x899,'name':'object_linker.core\x20count','object':'ObjectLinkerCore','return_type':'U64','params':['Address']},{'id':0x89a,'name':'object_linker.core.who.time','object':'ObjectLinkerCore','return_type':'U64','params':['Address','Address']},{'id':0x89b,'name':'object_linker.tx\x20has','object':'ObjectLinkerTx','return_type':'Bool','params':['Address']},{'id':0x89c,'name':'object_linker.tx\x20count','object':'ObjectLinkerTx','return_type':'U64','params':['Address']},{'id':0x89d,'name':'object_linker.tx.who.time','object':'ObjectLinkerTx','return_type':'U64','params':['Address','Address']},{'id':0x89e,'name':'object_linker.core.who\x20has','object':'ObjectLinkerCore','return_type':'Bool','params':['Address','Address']},{'id':0x89f,'name':'object_linker.tx.who\x20has','object':'ObjectLinkerTx','return_type':'Bool','params':['Address','Address']},{'id':0x8ca,'name':'entity_order.entity\x20has','object':'EntityOrder','return_type':'Bool','params':['Address']},{'id':0x8cb,'name':'entity_order.entity\x20count','object':'EntityOrder','return_type':'U64','params':['Address']},{'id':0x8cc,'name':'entity_order.entity.order','object':'EntityOrder','return_type':'U8','params':['Address','Address']},{'id':0x8cd,'name':'entity_order.entity.order.is_owner','object':'EntityOrder','return_type':'Bool','params':['Address','Address']},{'id':0x8ce,'name':'entity_order.entity.order.is_agent','object':'EntityOrder','return_type':'Bool','params':['Address','Address']},{'id':0x8cf,'name':'entity_order.entity.order.time','object':'EntityOrder','return_type':'U64','params':['Address','Address']}];export function getQueryById(a){return QUERY_REGISTRY['find'](b=>b['id']===a);}export function queriesByObject(a){return QUERY_REGISTRY['filter'](b=>b['object']===a&&!b['unreachable']);}export function queryByName(a){return QUERY_REGISTRY['find'](b=>b['name']===a&&!b['unreachable']);}export const QUERY_BANDS=[{'from':0x3e9,'to':0x3f5,'object':'Permission','count':0xd},{'from':0x41a,'to':0x42c,'object':'Allocation','count':0x13},{'from':0x44c,'to':0x45a,'object':'Payment','count':0xf},{'from':0x47e,'to':0x494,'object':'Repository','count':0x17},{'from':0x4b0,'to':0x4c8,'object':'Machine','count':0x19},{'from':0x4e2,'to':0x4ff,'object':'Progress','count':0x1e},{'from':0x546,'to':0x552,'object':'Arbitration','count':0xd},{'from':0x578,'to':0x590,'object':'Arb','count':0x19},{'from':0x5aa,'to':0x5d1,'object':'Service','count':0x28},{'from':0x60e,'to':0x626,'object':'Order','count':0x19},{'from':0x640,'to':0x65d,'object':'Reward','count':0x1e},{'from':0x672,'to':0x686,'object':'Demand','count':0x15},{'from':0x6a4,'to':0x6ac,'object':'Discount','count':0x9},{'from':0x6d6,'to':0x6e0,'object':'EntityRegistrar','count':0xb},{'from':0x708,'to':0x710,'object':'EntityLinker','count':0x9},{'from':0x73a,'to':0x73e,'object':'Resource','count':0x5},{'from':0x76c,'to':0x788,'object':'Treasury','count':0x1d},{'from':0x79e,'to':0x7a8,'object':'Proof','count':0xb},{'from':0x7d0,'to':0x7d7,'object':'Contact','count':0x8},{'from':0x802,'to':0x811,'object':'Passport','count':0x10},{'from':0x834,'to':0x83a,'object':'EntityPermission','count':0x7},{'from':0x866,'to':0x868,'object':'EntityContact','count':0x3},{'from':0x898,'to':0x89a,'object':'ObjectLinkerCore','count':0x3},{'from':0x89b,'to':0x89d,'object':'ObjectLinkerTx','count':0x3},{'from':0x89e,'to':0x89e,'object':'ObjectLinkerCore','count':0x1},{'from':0x89f,'to':0x89f,'object':'ObjectLinkerTx','count':0x1},{'from':0x8ca,'to':0x8cf,'object':'EntityOrder','count':0x6}];export const SERIALIZATION={'operand_order':'reverse-logical','op_code_position':'after-operands','count_byte':'after-op_code\x20(multi-operand\x20ops)','query_param_position':'after-op_byte\x20(subcode/identifier/query_id)','u16_endian':'little\x20(BCS)','final_stack':'exactly\x20one\x20Bool\x20(or\x20TYPE_VALUE)'};export const GUARD_LIMITS={'MAX_INPUT_SIZE':0x400,'MAX_TABLE_SIZE':0x9c40,'MAX_DEPENDED_COUNT':0x4,'MAX_TABLE_ENTRIES':0xff,'MAX_NUMBER_OPERANDS':0x8,'MAX_LOGIC_OPERANDS':0x8,'MAX_STRING_OPERANDS':0x6,'MAX_NESTING_DEPTH':0x8,'PASSPORT_MAX_GUARD_COUNT':0x14,'PASSPORT_MAX_SUBMISSION_SIZE':0x100};

package/dist/knowledge/guard-design-patterns.d.ts

@@ -34,4 +34,4 @@ export declare function suggestPatternForRequirement(requirement: string): {
     best: GuardDesignPattern;
     alternatives: GuardDesignPattern[];
 };
-export declare const GUARD_DESIGN_PATTERNS_VERSION = 1;
+export declare const GUARD_DESIGN_PATTERNS_VERSION = 2;

package/dist/knowledge/guard-design-patterns.js

@@ -1 +1 @@
-export const GUARD_DESIGN_PATTERNS=[{'id':'pattern.identity_check_single','business_requirement':'Only\x20the\x20author\x20can\x20purchase\x20this\x20service\x20(strict\x20single-identity)','data_source':'SystemContext','host':'service_buy_guard','verifier_level':'level1_strict_single','logic_summary':'logic_equal[context(Signer),\x20identifier[N](fixed_address)]','key_queries':[],'mitigated_risks':['R-C4-04'],'notes':['Maximally\x20secure\x20but\x20maximally\x20inconvenient','If\x20address\x20is\x20unavailable\x20(key\x20loss,\x20rotation),\x20Guard\x20permanently\x20blocks','Avoid\x20unless\x20role\x20is\x20permanently\x20tied\x20to\x20one\x20address']},{'id':'pattern.identity_check_allowlist','business_requirement':'Customer\x20must\x20be\x20in\x20an\x20allowlist\x20to\x20purchase','data_source':'SystemContext','host':'service_buy_guard','verifier_level':'level2_identity_set','logic_summary':'vec_contains_address[identifier[N](allowlist_vec),\x20context(Signer)]','key_queries':[],'mitigated_risks':['R-C4-04'],'notes':['Allowlist\x20stored\x20as\x20Address\x20vector\x20in\x20table\x20constant']},{'id':'pattern.identity_check_order_holder','business_requirement':'Only\x20order\x20owner\x20or\x20agent\x20can\x20perform\x20operation','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'level2_identity_set','logic_summary':'logic_or[logic_equal[query(1562\x20order.owner),\x20context(Signer)],\x20query(1567\x20order.agent\x20has,\x20Signer)]','key_queries':['order.owner','order.agent\x20has'],'mitigated_risks':['R-C4-04','R-C3-06'],'notes':['1562\x20returns\x20Address\x20→\x20wrap\x20in\x20logic_equal','1567\x20returns\x20Bool\x20→\x20use\x20directly\x20as\x20logic_or\x20child','Recommended\x20Level\x202\x20alternative\x20to\x20Level\x201\x20strict\x20binding']},{'id':'pattern.identity_check_service_provider_dynamic','business_requirement':'Verify\x20caller\x20is\x20service\x27s\x20current\x20permission\x20owner\x20(survives\x20permission\x20rotation)','data_source':'SubmittedObject','host':'machine_forward','verifier_level':'level2_identity_set','logic_summary':'logic_and[logic_equal[query(1488\x20service.permission),\x20identifier[N](submitted_perm)],\x20logic_or[logic_equal[query(1002\x20permission.owner),\x20context(Signer)],\x20query(1004\x20permission.admin\x20has,\x20Signer)]]','key_queries':['service.permission','permission.owner','permission.admin\x20has'],'mitigated_risks':['R-C4-04','R-C3-05'],'notes':['Dynamic\x20permission\x20address\x20(RECOMMENDED)\x20—\x20survives\x20Service\x20permission\x20rotation','Caller\x20submits\x20permission\x20address;\x20Guard\x20verifies\x20match\x20then\x20checks\x20identity','More\x20complex\x20than\x20static\x20but\x20far\x20more\x20robust']},{'id':'pattern.time_lock_progress','business_requirement':'Customer\x20must\x20wait\x20N\x20hours\x20before\x20completing\x20(time-lock)','data_source':'WitnessDerived','host':'machine_forward','verifier_level':'none','logic_summary':'logic_as_u256_ge[context(Clock),\x20calc_number_add[query(1272\x20progress.current_time,\x20witness=OrderProgress),\x20identifier[N](duration_ms)]]','key_queries':['progress.current_time'],'witness_types':['OrderProgress'],'mitigated_risks':[],'notes':['Use\x20convert_witness=100\x20(OrderProgress)\x20to\x20derive\x20Progress\x20from\x20submitted\x20Order\x20ID','Duration\x20in\x20milliseconds\x20—\x20test\x20with\x20small\x20values\x20first']},{'id':'pattern.time_lock_absolute','business_requirement':'Operation\x20allowed\x20only\x20after\x20a\x20fixed\x20timestamp','data_source':'SystemContext','host':'service_buy_guard','verifier_level':'none','logic_summary':'logic_as_u256_ge[context(Clock),\x20identifier[N](release_timestamp)]','key_queries':[],'mitigated_risks':[],'notes':['Useful\x20for\x20pre-sale\x20windows,\x20embargo\x20periods']},{'id':'pattern.repository_data_check','business_requirement':'External\x20data\x20must\x20match\x20expected\x20value\x20(e.g.,\x20weather,\x20price\x20feed)','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'none','logic_summary':'logic_equal[query(1167\x20repository.data,\x20policy,\x20key),\x20identifier[N](expected_value)]','key_queries':['repository.data'],'mitigated_risks':[],'notes':['Repository\x20address\x20declared\x20as\x20table\x20constant','Timestamp\x20keys\x20may\x20need\x20convert_number_address','quote_guard\x20context:\x20fails\x20in\x20gen_passport\x20(impack_list\x20empty),\x20works\x20in\x20on-chain\x20business\x20operations\x20(see\x20R-X1-10)']},{'id':'pattern.repository_quote_guard_subscription','business_requirement':'Repository\x20data\x20access\x20requires\x20payment\x20proof\x20(subscription\x20revenue\x20model)','data_source':'SubmittedObject','host':'repository_write','verifier_level':'level3_scene_combined','logic_summary':'Repository\x20policy\x20sets\x20quote_guard\x20(is_depended:\x20immutable\x20+\x20rep=true).\x20'+'When\x20a\x20Guard\x20queries\x20this\x20Repository\x27s\x20data\x20(query\x201167),\x20check_repository_quote_guard\x20verifies\x20'+'the\x20quote_guard\x20is\x20in\x20impack_list.\x20The\x20quote_guard\x20itself\x20verifies\x20a\x20submitted\x20Payment\x20'+'(payment.info.for\x20matches\x20Repository,\x20payment.amount\x20meets\x20subscription\x20price).\x20'+'User\x20submits\x20Payment\x20via\x20Passport\x20→\x20quote_guard\x20verified\x20→\x20added\x20to\x20impack_list\x20→\x20query\x201167\x20passes.','key_queries':['repository.data','payment.info.for','payment.amount'],'mitigated_risks':['R-X1-10'],'applicable_industries':['subscription','travel','rental','education'],'notes':['VERIFIED:\x20passport.rs#L545-612\x20(check_repository_quote_guard),\x20passport.rs#L758-769\x20(trigger\x20at\x20query_id==1167)','Repository.owner_receive<T>\x20accepts\x20Payment\x20as\x20subscription\x20revenue\x20(repository.move#L714-717)','quote_guard\x20must\x20be\x20is_depended:\x20immutable=true,\x20relies\x20empty,\x20rep=true\x20(guard.move#L133-135)','VERIFIER-EVIDENCE\x20DESIGN:\x20user\x20submits\x20valid\x20Payment,\x20quote_guard\x20verifies\x20Payment\x20fields\x20—\x20no\x20object-linker\x20binding\x20needed','gen_passport\x20context:\x20quote_guard\x20fails\x20(impack_list\x20empty)\x20—\x20only\x20use\x20for\x20on-chain\x20business\x20operations','Business\x20model:\x20data\x20provider\x20publishes\x20weather/market/oracle\x20data\x20to\x20Repository,\x20'+'users\x20pay\x20subscription\x20to\x20access\x20data\x20in\x20their\x20Machine\x20flows','MODE\x20A\x20(direct\x20payment\x20verify)\x20—\x20four\x20verifiable\x20elements\x20on\x20the\x20submitted\x20Payment:\x20'+'1)\x20amount:\x20logic_as_u256_ge[payment.amount,\x20N]\x20(>=\x20subscription\x20price);\x20'+'2)\x20subscription\x20type:\x20payment.info.remark\x20/\x20payment.info.index\x20encodes\x20the\x20tier/plan;\x20'+'3)\x20fixed\x20recipient:\x20payment.record.recipient\x20must\x20equal\x20the\x20designated\x20payee\x20(Treasury/owner\x20address);\x20'+'4)\x20occurrence\x20time:\x20payment.time\x20within\x20the\x20validity\x20window\x20(logic_as_u256_ge/le\x20vs\x20context(Clock))','Payment\x20is\x20freeze_object\x20after\x20creation\x20—\x20all\x20four\x20elements\x20are\x20tamper-proof\x20evidence','For\x20a\x20LOWER\x20user-cost\x20variant\x20(no\x20per-user\x20payment\x20submission),\x20see\x20pattern.repository_whitelist_sync\x20(Mode\x20B)']},{'id':'pattern.repository_whitelist_sync','business_requirement':'Entitlement\x20check\x20via\x20a\x20synced\x20allowlist\x20Repository\x20instead\x20of\x20per-user\x20payment\x20submission\x20(low-friction\x20entitlements:\x20memberships,\x20authorizations,\x20paid-user\x20lists)','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'none','logic_summary':'Off-chain\x20collector\x20gathers\x20eligible\x20users\x20(transfers\x20/\x20Payments\x20to\x20the\x20designated\x20receiving\x20address\x20or\x20object,\x20'+'Service\x20orders,\x20or\x20any\x20off-chain\x20record)\x20and\x20syncs\x20the\x20list\x20into\x20a\x20dedicated\x20Repository\x20object\x20'+'(entries\x20may\x20carry\x20a\x20validity\x20window,\x20e.g.\x20authorized\x20time\x20period).\x20'+'The\x20consuming\x20Guard\x20checks\x20membership\x20via\x20query\x201166/1167\x20(repository.data)\x20keyed\x20by\x20the\x20caller:\x20'+'vec_contains_address-style\x20logic_or\x20over\x20[repository.data(key=Signer)]\x20or\x20logic_equal[repository.data(...),\x20identifier[N](expected)].\x20'+'Repository\x20writes\x20go\x20through\x20id_data\x20/\x20id_data_add\x20/\x20id_data_remove\x20(batch\x20up\x20to\x20100\x20entries\x20per\x20tx).','key_queries':['repository.data'],'mitigated_risks':['R-X1-10'],'applicable_industries':['subscription','travel','rental','education'],'notes':['MODE\x20B\x20(whitelist\x20sync)\x20—\x20user-cost\x20optimization\x20of\x20Mode\x20A\x20(pattern.repository_quote_guard_subscription):\x20'+'users\x20do\x20NOT\x20submit\x20a\x20Payment\x20at\x20verification\x20time;\x20the\x20operator\x20proves\x20eligibility\x20off-chain\x20and\x20syncs\x20the\x20roster','TRADE-OFF:\x20eventual\x20consistency\x20—\x20the\x20roster\x20updates\x20at\x20the\x20collector\x27s\x20sync\x20frequency\x20(slight\x20delay),\x20'+'vs\x20Mode\x20A\x27s\x20instant\x20per-payment\x20proof.\x20Choose\x20by\x20business:\x20high-frequency\x20low-value\x20→\x20Mode\x20B;\x20'+'high-value\x20instant\x20entitlement\x20→\x20Mode\x20A','Entry\x20shape:\x20key\x20=\x20user\x20address\x20(or\x20derived\x20id),\x20value\x20=\x20expiry\x20timestamp\x20/\x20tier\x20/\x20scope;\x20'+'time-window\x20enforcement\x20compares\x20entry\x20value\x20against\x20context(Clock)\x20in\x20the\x20Guard','VERIFIED:\x20repository.move\x20id_data*\x20(batch\x20≤100),\x20guard-ins.ts\x201166/1167\x20(repository.data\x20queries),\x20'+'guard.move\x20is_depended\x20(1167\x20marks\x20query-only\x20repositories)','The\x20collector\x20can\x20source\x20eligibility\x20from:\x20transfers\x20or\x20Payments\x20to\x20a\x20fixed\x20receiving\x20address/object,\x20'+'Service\x20orders\x20(order.service\x20==\x20designated\x20service),\x20or\x20external\x20off-chain\x20records','Repository\x20access\x20economics\x20stay\x20OUT\x20of\x20this\x20pattern\x20(K3\x2010\x20§5\x20D5\x20ruling:\x20reuse\x20Reward/Allocation\x20'+'outside\x20the\x20Repository\x20for\x20payment;\x20the\x20Repository\x20here\x20is\x20the\x20roster,\x20not\x20the\x20payment\x20rail)']},{'id':'pattern.supply_chain_suborder_verification','business_requirement':'Sub-service\x20purchase\x20requires\x20ownership\x20of\x20main\x20service\x20order\x20(supply\x20chain\x20milestone\x20unlock)','data_source':'SubmittedObject','host':'service_buy_guard','verifier_level':'level2_identity_set','logic_summary':'Sub-service\x20buy_guard\x20verifies\x20submitted\x20main\x20Order:\x20'+'logic_and[logic_equal[query(order.owner),\x20context(Signer)],\x20logic_equal[query(order.service),\x20identifier[N](main_service_address)]].\x20'+'User\x20submits\x20main\x20Order\x20via\x20Passport\x20(b_submission=true),\x20buy_guard\x20verifies\x20ownership\x20+\x20service\x20match.','key_queries':['order.owner','order.service'],'mitigated_risks':['R-C3-05'],'applicable_industries':['travel','rental','education','freelance'],'notes':['VERIFIER-EVIDENCE\x20DESIGN:\x20user\x20submits\x20main\x20Order\x20as\x20evidence,\x20buy_guard\x20verifies\x20order.owner==Signer\x20AND\x20order.service==main_service','Each\x20milestone\x20=\x20one\x20sub-order\x20with\x20its\x20own\x20Service\x20+\x20buy_guard\x20referencing\x20the\x20main\x20order','Main\x20flow\x20can\x20branch\x20to\x20different\x20sub-services\x20based\x20on\x20Machine\x20node\x20progression','No\x20parent_order\x20field\x20needed\x20—\x20relationship\x20verified\x20via\x20buy_guard\x20querying\x20submitted\x20Order\x20fields','Enables\x20supply\x20chain\x20composition:\x20main\x20service\x20→\x20multiple\x20sub-services\x20with\x20conditional\x20access']},{'id':'pattern.payment_exception_compensation','business_requirement':'Exception\x20branch\x20triggers\x20compensation\x20Payment\x20(e.g.,\x20delivery\x20delay\x20>\x2030min\x20auto-compensates\x20customer)','data_source':'SubmittedObject','host':'machine_forward','verifier_level':'level3_scene_combined','logic_summary':'Exception\x20forward\x20guard\x20verifies\x204-dimensional\x20anti-reuse\x20binding:\x20logic_and['+'logic_equal[query(payment.info.for),\x20identifier[N](order_address)],\x20'+'logic_equal[query(payment.info.guard),\x20identifier[N](this_guard_address)],\x20'+'logic_as_u256_ge[query(payment.amount),\x20identifier[N](compensation_amount)],\x20'+'logic_as_u256_equal[query(payment.info.index),\x20query(progress.history\x20count)],\x20'+'logic_string_nocase_equal[query(payment.info.remark),\x20query(progress.current)]].\x20'+'Treasury\x20withdraws\x20to\x20customer\x20with\x20PaymentInfo(for_object=order,\x20for_guard=this,\x20index=history_count_at_creation,\x20remark=node_name).\x20'+'Customer\x20submits\x20Payment\x20via\x20Passport;\x20guard\x20verifies\x20index\x20matches\x20current\x20unique\x20step\x20(progress.history\x20count,\x20U64,\x20monotonically\x20increasing\x20—\x20unique\x20even\x20in\x20cycles)\x20AND\x20remark\x20matches\x20current\x20node\x20name\x20(progress.current,\x20String\x20—\x20may\x20repeat\x20across\x20cycles\x20but\x20bound\x20to\x20this\x20step\x20by\x20index).','key_queries':['payment.info.for','payment.info.guard','payment.info.index','payment.info.remark','payment.amount','progress.history\x20count','progress.current'],'mitigated_risks':[],'applicable_industries':['rental','travel','general','freelance'],'notes':['VERIFIED:\x20payment.move#L66-71\x20(PaymentInfo:\x20for_object,\x20for_guard,\x20remark,\x20index),\x20payment.move#L82-86\x20(payment_info_with_guard)','VERIFIED:\x20treasury.move#L249-264\x20(withdraw\x20creates\x20Payment\x20via\x20payment::new_singleton\x20+\x20from_object_set)','Payment\x20is\x20freeze_object\x20(immutable,\x20payment.move#L160)\x20—\x20cannot\x20be\x20modified\x20after\x20creation','VERIFIED\x20INDEX\x20QUERY:\x20progress.history\x20count\x20(id\x201273,\x20U64)\x20—\x20guard-ins.ts#L1228-1237.\x20From\x20progress.move\x20L440-441\x20(session_accomplish\x20pushes\x20a\x20new\x20History\x20entry)\x20+\x20L475/L482\x20(parent_table_vec::length\x20returns\x20current\x20session\x20id).\x20This\x20count\x20is\x20the\x20unique\x20monotonically\x20increasing\x20step\x20index\x20—\x20even\x20in\x20cycles,\x20each\x20entry\x20has\x20a\x20different\x20count.','VERIFIED\x20NODE\x20NAME\x20QUERY:\x20progress.current\x20(id\x201253,\x20String)\x20—\x20guard-ins.ts#L1025-1032.\x20Returns\x20the\x20current\x20node\x20name.\x20A\x20node\x20CAN\x20be\x20entered\x20multiple\x20times\x20in\x20cycles,\x20so\x20node\x20name\x20alone\x20is\x20NOT\x20unique\x20—\x20it\x20MUST\x20be\x20paired\x20with\x20progress.history\x20count\x20for\x20uniqueness.','DESIGN\x20INTENT\x20(USER):\x20to\x20validate\x20index\x20(U64\x20type),\x20use\x20progress.history\x20count\x20(unique,\x20non-repeating);\x20to\x20validate\x20node\x20name\x20(may\x20repeat\x20in\x20cycles),\x20store\x20it\x20in\x20PaymentInfo.remark\x20and\x20do\x20string\x20comparison\x20with\x20progress.current.','ANTI-REUSE\x204-DIMENSIONAL\x20BINDING:\x20for_object\x20(Order)\x20+\x20for_guard\x20(Guard)\x20+\x20index\x20(unique\x20step\x20via\x20progress.history\x20count)\x20+\x20remark\x20(node\x20name\x20via\x20progress.current).\x20Same\x20Payment\x20cannot\x20be\x20reused\x20in\x20other\x20contexts\x20—\x20at\x20least\x20one\x20field\x20will\x20mismatch.','VERIFIER-EVIDENCE\x20DESIGN:\x20customer\x20submits\x20Payment,\x20guard\x20verifies\x20binding\x20fields\x20match\x20current\x20context','Enables\x20user-friendly\x20exception\x20handling:\x20delay\x20→\x20auto-compensation\x20→\x20friendly\x20branch\x20flow','No\x20object-linker\x20binding\x20registration\x20needed\x20—\x20guard\x20only\x20verifies\x20submitted\x20Payment\x27s\x20field\x20accuracy']},{'id':'pattern.verifier_evidence_philosophy','business_requirement':'Guard\x20design\x20philosophy:\x20verifier\x20provides\x20evidence,\x20guard\x20verifies\x20logic\x20+\x20data\x20accuracy\x20(NOT\x20data\x20discovery)','data_source':'SubmittedObject','host':'gen_passport','verifier_level':'none','logic_summary':'Guard\x20is\x20a\x20PURE\x20VERIFICATION\x20engine.\x20Participants\x20submit\x20evidence\x20(Payment,\x20Order,\x20Proof,\x20etc.)\x20'+'via\x20Passport\x20submissions\x20(b_submission=true).\x20Guard\x20verifies:\x20(1)\x20logic\x20completeness,\x20(2)\x20data\x20usage\x20accuracy.\x20'+'Guard\x20does\x20NOT\x20discover/fetch\x20objects\x20via\x20object-linker\x20binding.\x20object-linker\x20binding\x20is\x20for\x20object\x20lifecycle\x20bookkeeping,\x20'+'NOT\x20for\x20guard\x20data\x20discovery.','key_queries':[],'mitigated_risks':['R-C3-05','R-C3-06'],'notes':['CORE\x20PRINCIPLE:\x20Guard\x20only\x20validates\x20submitted\x20evidence\x20—\x20it\x20never\x20fetches\x20data\x20on\x20its\x20own','For\x20Payment\x20verification:\x20user\x20submits\x20valid\x20Payment\x20→\x20guard\x20checks\x20for_object/for_guard/index\x20match','For\x20multi-order\x20verification:\x20verifier\x20submits\x20Order\x20data\x20→\x20guard\x20checks\x20service/owner\x20relationships','For\x20Repository\x20access:\x20user\x20submits\x20Payment\x20→\x20quote_guard\x20verifies\x20→\x20impack_list\x20updated\x20→\x20data\x20query\x20passes','Type\x203\x20(SubmittedObject)\x20data\x20source\x20class\x20embodies\x20this\x20philosophy\x20—\x20b_submission=true\x20entries','This\x20pattern\x20is\x20foundational\x20for\x20all\x20guard\x20designs\x20—\x20always\x20prefer\x20verifier-evidence\x20over\x20complex\x20object\x20discovery']},{'id':'pattern.progress_state_check','business_requirement':'Specific\x20forward\x20has\x20been\x20accomplished\x20(customer\x20confirms\x20delivery)','data_source':'WitnessDerived','host':'reward_claim','verifier_level':'none','logic_summary':'logic_equal[query_progress_history_find(...).accomplished,\x20identifier[N](true)]','key_queries':['progress.current','progress.current_time'],'witness_types':['OrderProgress'],'mitigated_risks':[],'notes':['Chain\x20query_progress_history_find\x20→\x20query_progress_history_session_forward_find']},{'id':'pattern.reward_one_time_claim','business_requirement':'User\x20can\x20only\x20claim\x20reward\x20once\x20(no\x20prior\x20claims)','data_source':'OnChainConstant','host':'reward_claim','verifier_level':'none','logic_summary':'logic_equal[query_reward_record_count(recipient=Signer),\x20identifier[N](0)]','key_queries':['reward.record_count'],'mitigated_risks':[],'notes':['Record\x20count\x20check\x20prevents\x20double-claim']},{'id':'pattern.reward_multi_condition','business_requirement':'Order\x20payment\x20>\x20threshold\x20AND\x20reached\x20\x27complete\x27\x20to\x20claim\x20reward','data_source':'WitnessDerived','host':'reward_claim','verifier_level':'none','logic_summary':'logic_and[logic_as_u256_gt[query(order.amount),\x20threshold],\x20logic_equal[query(progress.current),\x20\x27complete\x27],\x20logic_equal[query(order.service),\x20identifier[N](expected_service)]]','key_queries':['order.amount','progress.current','order.service'],'witness_types':['OrderProgress'],'mitigated_risks':['R-C3-05'],'notes':['Multi-condition:\x20amount\x20+\x20progress\x20state\x20+\x20service\x20match']},{'id':'pattern.arbitration_voting_weight','business_requirement':'Vote\x20weight\x20equals\x20reputation\x20score\x20(dynamic\x20weight\x20from\x20Passport)','data_source':'SubmittedObject','host':'arbitration_voting','verifier_level':'none','logic_summary':'GuardIdentifier\x20extracts\x20numeric\x20value\x20from\x20Passport\x20submission','key_queries':[],'mitigated_risks':['R-C3-02'],'notes':['Table\x20needs\x20numeric\x20submission\x20entry\x20at\x20referenced\x20index','Weight\x20must\x20come\x20from\x20on-chain\x20EntityRegistrar,\x20not\x20submission','BINDING_01:\x20voting_guard\x20GuardIdentifier\x20must\x20be\x20numeric\x20(U8-U256)']},{'id':'pattern.arbitration_membership_check','business_requirement':'Only\x20premium\x20members\x20can\x20file\x20disputes','data_source':'OnChainConstant','host':'arbitration_usage','verifier_level':'none','logic_summary':'logic_and[query(entity\x20exists),\x20logic_as_u256_ge[query(entity\x20tier),\x20identifier[N](premium_tier)]]','key_queries':['entity.registrar','entity.linker'],'mitigated_risks':[],'notes':['ENTITY_REGISTRAR_ADDRESS\x20(0xaab)\x20/\x20ENTITY_LINKER_ADDRESS\x20(0xaaa)\x20must\x20be\x20in\x20table']},{'id':'pattern.scene_allocator_entity_recipient','business_requirement':'Service\x20allocator\x20with\x20sharing.who=Entity\x20—\x20no\x20Signer\x20binding\x20needed','data_source':'OnChainConstant','host':'service_allocator_guard','verifier_level':'level3_scene_combined','logic_summary':'Scene\x20verifies\x20fund\x20flow\x20safety\x20—\x20Guard\x20only\x20validates\x20allocation\x20rules','key_queries':['service.permission','order.amount'],'mitigated_risks':['R-C3-06'],'notes':['Funds\x20flow\x20to\x20fixed\x20Treasury/address\x20regardless\x20of\x20caller','sharing.who=Entity\x20already\x20guarantees\x20recipient\x20safety','No\x20Signer\x20binding\x20required\x20—\x20R-C3-06\x20safe']},{'id':'pattern.scene_machine_forward_operator','business_requirement':'Machine\x20forward\x20with\x20permissionIndex/namedOperator\x20already\x20verifies\x20operator','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'level3_scene_combined','logic_summary':'Forward\x27s\x20permissionIndex/namedOperator\x20verifies\x20operator\x20—\x20Guard\x20only\x20validates\x20submitted\x20data','key_queries':[],'mitigated_risks':[],'notes':['Scene\x20verifies\x20operator\x20permission\x20via\x20permissionIndex/namedOperator','Signer\x20binding\x20only\x20needed\x20if\x20submitted\x20data\x20must\x20belong\x20to\x20operator','Evaluate\x20scene\x20before\x20adding\x20Signer\x20binding']}];export const VERIFIER_LEVEL_GUIDANCE=[{'level':'level1_strict_single','pattern':'logic_equal[context(Signer),\x20identifier[N](fixed_address)]','when_to_use':'Role\x20permanently\x20tied\x20to\x20one\x20address\x20AND\x20designer\x20accepts\x20lock-in\x20risk','risk_rules':['R-C4-04'],'recommendation':'avoid'},{'level':'level2_identity_set','pattern':'logic_or\x20of\x20multiple\x20identity\x20checks','when_to_use':'Role-based\x20access\x20—\x20multiple\x20authorized\x20identities','risk_rules':['R-C4-04\x20(suppressed)'],'recommendation':'recommended'},{'level':'level3_scene_combined','pattern':'Scene\x20itself\x20verifies\x20identity\x20—\x20no\x20Signer\x20binding\x20needed','when_to_use':'Scene\x27s\x20host\x20object\x20already\x20verifies\x20operator\x20(e.g.,\x20Machine\x20forward,\x20sharing.who=Entity)','risk_rules':[],'recommendation':'default'},{'level':'none','pattern':'No\x20Signer\x20binding\x20required','when_to_use':'Resource\x20flow\x20matters\x20more\x20than\x20caller\x20identity','risk_rules':[],'recommendation':'default'}];export function getGuardDesignPattern(a){return GUARD_DESIGN_PATTERNS['find'](b=>b['id']===a);}export function searchGuardDesignPatterns(a){const b=a['toLowerCase']();return GUARD_DESIGN_PATTERNS['filter'](c=>{if(c['business_requirement']['toLowerCase']()['includes'](b))return!![];if(c['logic_summary']['toLowerCase']()['includes'](b))return!![];if(c['key_queries']['some'](d=>d['toLowerCase']()['includes'](b)))return!![];return![];});}export function getPatternsByHost(a){return GUARD_DESIGN_PATTERNS['filter'](b=>b['host']===a);}export function getPatternsByIndustry(a){return GUARD_DESIGN_PATTERNS['filter'](b=>b['applicable_industries']?.['includes'](a));}export function getPatternsByDataSourceClass(a){return GUARD_DESIGN_PATTERNS['filter'](b=>b['data_source']===a);}export function getVerifierLevelGuidance(a){return VERIFIER_LEVEL_GUIDANCE['find'](b=>b['level']===a);}export function suggestPatternForRequirement(a){const b=searchGuardDesignPatterns(a);if(b['length']===0x0){const e=GUARD_DESIGN_PATTERNS[0x0];return{'best':e,'alternatives':[]};}const [c,...d]=b;return{'best':c,'alternatives':d};}export const GUARD_DESIGN_PATTERNS_VERSION=0x1;
+export const GUARD_DESIGN_PATTERNS=[{'id':'pattern.identity_check_single','business_requirement':'Only\x20the\x20author\x20can\x20purchase\x20this\x20service\x20(strict\x20single-identity)','data_source':'SystemContext','host':'service_buy_guard','verifier_level':'level1_strict_single','logic_summary':'logic_equal[context(Signer),\x20identifier[N](fixed_address)]','key_queries':[],'mitigated_risks':['R-C4-04'],'notes':['Maximally\x20secure\x20but\x20maximally\x20inconvenient','If\x20address\x20is\x20unavailable\x20(key\x20loss,\x20rotation),\x20Guard\x20permanently\x20blocks','Avoid\x20unless\x20role\x20is\x20permanently\x20tied\x20to\x20one\x20address']},{'id':'pattern.identity_check_allowlist','business_requirement':'Customer\x20must\x20be\x20in\x20an\x20allowlist\x20to\x20purchase','data_source':'SystemContext','host':'service_buy_guard','verifier_level':'level2_identity_set','logic_summary':'vec_contains_address[identifier[N](allowlist_vec),\x20context(Signer)]','key_queries':[],'mitigated_risks':['R-C4-04'],'notes':['Allowlist\x20stored\x20as\x20Address\x20vector\x20in\x20table\x20constant']},{'id':'pattern.identity_check_order_holder','business_requirement':'Only\x20order\x20owner\x20or\x20agent\x20can\x20perform\x20operation','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'level2_identity_set','logic_summary':'logic_or[logic_equal[query(1562\x20order.owner),\x20context(Signer)],\x20query(1567\x20order.agent\x20has,\x20Signer)]','key_queries':['order.owner','order.agent\x20has'],'mitigated_risks':['R-C4-04','R-C3-06'],'notes':['1562\x20returns\x20Address\x20→\x20wrap\x20in\x20logic_equal','1567\x20returns\x20Bool\x20→\x20use\x20directly\x20as\x20logic_or\x20child','Recommended\x20Level\x202\x20alternative\x20to\x20Level\x201\x20strict\x20binding']},{'id':'pattern.identity_check_service_provider_dynamic','business_requirement':'Verify\x20caller\x20is\x20service\x27s\x20current\x20permission\x20owner\x20(survives\x20permission\x20rotation)','data_source':'SubmittedObject','host':'machine_forward','verifier_level':'level2_identity_set','logic_summary':'logic_and[logic_equal[query(1488\x20service.permission),\x20identifier[N](submitted_perm)],\x20logic_or[logic_equal[query(1002\x20permission.owner),\x20context(Signer)],\x20query(1004\x20permission.admin\x20has,\x20Signer)]]','key_queries':['service.permission','permission.owner','permission.admin\x20has'],'mitigated_risks':['R-C4-04','R-C3-05'],'notes':['Dynamic\x20permission\x20address\x20(RECOMMENDED)\x20—\x20survives\x20Service\x20permission\x20rotation','Caller\x20submits\x20permission\x20address;\x20Guard\x20verifies\x20match\x20then\x20checks\x20identity','More\x20complex\x20than\x20static\x20but\x20far\x20more\x20robust']},{'id':'pattern.time_lock_progress','business_requirement':'Customer\x20must\x20wait\x20N\x20hours\x20before\x20completing\x20(time-lock)','data_source':'WitnessDerived','host':'machine_forward','verifier_level':'none','logic_summary':'logic_as_u256_ge[context(Clock),\x20calc_number_add[query(1272\x20progress.current_time,\x20witness=OrderProgress),\x20identifier[N](duration_ms)]]','key_queries':['progress.current_time'],'witness_types':['OrderProgress'],'mitigated_risks':[],'notes':['Use\x20convert_witness=100\x20(OrderProgress)\x20to\x20derive\x20Progress\x20from\x20submitted\x20Order\x20ID','Duration\x20in\x20milliseconds\x20—\x20test\x20with\x20small\x20values\x20first']},{'id':'pattern.time_lock_absolute','business_requirement':'Operation\x20allowed\x20only\x20after\x20a\x20fixed\x20timestamp','data_source':'SystemContext','host':'service_buy_guard','verifier_level':'none','logic_summary':'logic_as_u256_ge[context(Clock),\x20identifier[N](release_timestamp)]','key_queries':[],'mitigated_risks':[],'notes':['Useful\x20for\x20pre-sale\x20windows,\x20embargo\x20periods']},{'id':'pattern.repository_data_check','business_requirement':'External\x20data\x20must\x20match\x20expected\x20value\x20(e.g.,\x20weather,\x20price\x20feed)','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'none','logic_summary':'logic_equal[query(1167\x20repository.data,\x20policy,\x20key),\x20identifier[N](expected_value)]','key_queries':['repository.data'],'mitigated_risks':[],'notes':['Repository\x20address\x20declared\x20as\x20table\x20constant','Timestamp\x20keys\x20may\x20need\x20convert_number_address','quote_guard\x20context:\x20fails\x20in\x20gen_passport\x20(impack_list\x20empty),\x20works\x20in\x20on-chain\x20business\x20operations\x20(see\x20R-X1-10)']},{'id':'pattern.repository_quote_guard_subscription','business_requirement':'Repository\x20data\x20access\x20requires\x20payment\x20proof\x20(subscription\x20revenue\x20model)','data_source':'SubmittedObject','host':'repository_write','verifier_level':'level3_scene_combined','logic_summary':'Repository\x20policy\x20sets\x20quote_guard\x20(is_depended:\x20immutable\x20+\x20rep=true).\x20'+'When\x20a\x20Guard\x20queries\x20this\x20Repository\x27s\x20data\x20(query\x201167),\x20check_repository_quote_guard\x20verifies\x20'+'the\x20quote_guard\x20is\x20in\x20impack_list.\x20The\x20quote_guard\x20itself\x20verifies\x20a\x20submitted\x20Payment\x20'+'(payment.info.for\x20matches\x20Repository,\x20payment.amount\x20meets\x20subscription\x20price).\x20'+'User\x20submits\x20Payment\x20via\x20Passport\x20→\x20quote_guard\x20verified\x20→\x20added\x20to\x20impack_list\x20→\x20query\x201167\x20passes.','key_queries':['repository.data','payment.info.for','payment.amount'],'mitigated_risks':['R-X1-10'],'applicable_industries':['subscription','travel','rental','education'],'notes':['VERIFIED:\x20passport.rs#L545-612\x20(check_repository_quote_guard),\x20passport.rs#L758-769\x20(trigger\x20at\x20query_id==1167)','Repository.owner_receive<T>\x20accepts\x20Payment\x20as\x20subscription\x20revenue\x20(repository.move#L714-717)','quote_guard\x20must\x20be\x20is_depended:\x20immutable=true,\x20relies\x20empty,\x20rep=true\x20(guard.move#L133-135)','VERIFIER-EVIDENCE\x20DESIGN:\x20user\x20submits\x20valid\x20Payment,\x20quote_guard\x20verifies\x20Payment\x20fields\x20—\x20no\x20object-linker\x20binding\x20needed','gen_passport\x20context:\x20quote_guard\x20fails\x20(impack_list\x20empty)\x20—\x20only\x20use\x20for\x20on-chain\x20business\x20operations','Business\x20model:\x20data\x20provider\x20publishes\x20weather/market/oracle\x20data\x20to\x20Repository,\x20'+'users\x20pay\x20subscription\x20to\x20access\x20data\x20in\x20their\x20Machine\x20flows','MODE\x20A\x20(direct\x20payment\x20verify)\x20—\x20four\x20verifiable\x20elements\x20on\x20the\x20submitted\x20Payment:\x20'+'1)\x20amount:\x20logic_as_u256_ge[payment.amount,\x20N]\x20(>=\x20subscription\x20price);\x20'+'2)\x20subscription\x20type:\x20payment.info.remark\x20/\x20payment.info.index\x20encodes\x20the\x20tier/plan;\x20'+'3)\x20fixed\x20recipient:\x20payment.record.recipient\x20must\x20equal\x20the\x20designated\x20payee\x20(Treasury/owner\x20address);\x20'+'4)\x20occurrence\x20time:\x20payment.time\x20within\x20the\x20validity\x20window\x20(logic_as_u256_ge/le\x20vs\x20context(Clock))','Payment\x20is\x20freeze_object\x20after\x20creation\x20—\x20all\x20four\x20elements\x20are\x20tamper-proof\x20evidence','For\x20a\x20LOWER\x20user-cost\x20variant\x20(no\x20per-user\x20payment\x20submission),\x20see\x20pattern.repository_whitelist_sync\x20(Mode\x20B)']},{'id':'pattern.repository_whitelist_sync','business_requirement':'Entitlement\x20check\x20via\x20a\x20synced\x20allowlist\x20Repository\x20instead\x20of\x20per-user\x20payment\x20submission\x20(low-friction\x20entitlements:\x20memberships,\x20authorizations,\x20paid-user\x20lists)','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'none','logic_summary':'Off-chain\x20collector\x20gathers\x20eligible\x20users\x20(transfers\x20/\x20Payments\x20to\x20the\x20designated\x20receiving\x20address\x20or\x20object,\x20'+'Service\x20orders,\x20or\x20any\x20off-chain\x20record)\x20and\x20syncs\x20the\x20list\x20into\x20a\x20dedicated\x20Repository\x20object\x20'+'(entries\x20may\x20carry\x20a\x20validity\x20window,\x20e.g.\x20authorized\x20time\x20period).\x20'+'The\x20consuming\x20Guard\x20checks\x20membership\x20via\x20query\x201166/1167\x20(repository.data)\x20keyed\x20by\x20the\x20caller:\x20'+'vec_contains_address-style\x20logic_or\x20over\x20[repository.data(key=Signer)]\x20or\x20logic_equal[repository.data(...),\x20identifier[N](expected)].\x20'+'Repository\x20writes\x20go\x20through\x20id_data\x20/\x20id_data_add\x20/\x20id_data_remove\x20(batch\x20up\x20to\x20100\x20entries\x20per\x20tx).','key_queries':['repository.data'],'mitigated_risks':['R-X1-10'],'applicable_industries':['subscription','travel','rental','education'],'notes':['MODE\x20B\x20(whitelist\x20sync)\x20—\x20user-cost\x20optimization\x20of\x20Mode\x20A\x20(pattern.repository_quote_guard_subscription):\x20'+'users\x20do\x20NOT\x20submit\x20a\x20Payment\x20at\x20verification\x20time;\x20the\x20operator\x20proves\x20eligibility\x20off-chain\x20and\x20syncs\x20the\x20roster','TRADE-OFF:\x20eventual\x20consistency\x20—\x20the\x20roster\x20updates\x20at\x20the\x20collector\x27s\x20sync\x20frequency\x20(slight\x20delay),\x20'+'vs\x20Mode\x20A\x27s\x20instant\x20per-payment\x20proof.\x20Choose\x20by\x20business:\x20high-frequency\x20low-value\x20→\x20Mode\x20B;\x20'+'high-value\x20instant\x20entitlement\x20→\x20Mode\x20A','Entry\x20shape:\x20key\x20=\x20user\x20address\x20(or\x20derived\x20id),\x20value\x20=\x20expiry\x20timestamp\x20/\x20tier\x20/\x20scope;\x20'+'time-window\x20enforcement\x20compares\x20entry\x20value\x20against\x20context(Clock)\x20in\x20the\x20Guard','VERIFIED:\x20repository.move\x20id_data*\x20(batch\x20≤100),\x20guard-ins.ts\x201166/1167\x20(repository.data\x20queries),\x20'+'guard.move\x20is_depended\x20(1167\x20marks\x20query-only\x20repositories)','The\x20collector\x20can\x20source\x20eligibility\x20from:\x20transfers\x20or\x20Payments\x20to\x20a\x20fixed\x20receiving\x20address/object,\x20'+'Service\x20orders\x20(order.service\x20==\x20designated\x20service),\x20or\x20external\x20off-chain\x20records','Repository\x20access\x20economics\x20stay\x20OUT\x20of\x20this\x20pattern\x20(K3\x2010\x20§5\x20D5\x20ruling:\x20reuse\x20Reward/Allocation\x20'+'outside\x20the\x20Repository\x20for\x20payment;\x20the\x20Repository\x20here\x20is\x20the\x20roster,\x20not\x20the\x20payment\x20rail)']},{'id':'pattern.supply_chain_suborder_verification','business_requirement':'Sub-service\x20purchase\x20requires\x20ownership\x20of\x20main\x20service\x20order\x20(supply\x20chain\x20milestone\x20unlock)','data_source':'SubmittedObject','host':'service_buy_guard','verifier_level':'level2_identity_set','logic_summary':'Sub-service\x20buy_guard\x20verifies\x20submitted\x20main\x20Order:\x20'+'logic_and[logic_equal[query(order.owner),\x20context(Signer)],\x20logic_equal[query(order.service),\x20identifier[N](main_service_address)]].\x20'+'User\x20submits\x20main\x20Order\x20via\x20Passport\x20(b_submission=true),\x20buy_guard\x20verifies\x20ownership\x20+\x20service\x20match.','key_queries':['order.owner','order.service'],'mitigated_risks':['R-C3-05'],'applicable_industries':['travel','rental','education','freelance'],'notes':['VERIFIER-EVIDENCE\x20DESIGN:\x20user\x20submits\x20main\x20Order\x20as\x20evidence,\x20buy_guard\x20verifies\x20order.owner==Signer\x20AND\x20order.service==main_service','Each\x20milestone\x20=\x20one\x20sub-order\x20with\x20its\x20own\x20Service\x20+\x20buy_guard\x20referencing\x20the\x20main\x20order','Main\x20flow\x20can\x20branch\x20to\x20different\x20sub-services\x20based\x20on\x20Machine\x20node\x20progression','No\x20parent_order\x20field\x20needed\x20—\x20relationship\x20verified\x20via\x20buy_guard\x20querying\x20submitted\x20Order\x20fields','Enables\x20supply\x20chain\x20composition:\x20main\x20service\x20→\x20multiple\x20sub-services\x20with\x20conditional\x20access']},{'id':'pattern.payment_exception_compensation','business_requirement':'Exception\x20branch\x20triggers\x20compensation\x20Payment\x20(e.g.,\x20delivery\x20delay\x20>\x2030min\x20auto-compensates\x20customer)','data_source':'SubmittedObject','host':'machine_forward','verifier_level':'level3_scene_combined','logic_summary':'Exception\x20forward\x20guard\x20verifies\x204-dimensional\x20anti-reuse\x20binding:\x20logic_and['+'logic_equal[query(payment.info.for),\x20identifier[N](order_address)],\x20'+'logic_equal[query(payment.info.guard),\x20identifier[N](this_guard_address)],\x20'+'logic_as_u256_ge[query(payment.amount),\x20identifier[N](compensation_amount)],\x20'+'logic_as_u256_equal[query(payment.info.index),\x20query(progress.history\x20count)],\x20'+'logic_string_nocase_equal[query(payment.info.remark),\x20query(progress.current)]].\x20'+'Treasury\x20withdraws\x20to\x20customer\x20with\x20PaymentInfo(for_object=order,\x20for_guard=this,\x20index=history_count_at_creation,\x20remark=node_name).\x20'+'Customer\x20submits\x20Payment\x20via\x20Passport;\x20guard\x20verifies\x20index\x20matches\x20current\x20unique\x20step\x20(progress.history\x20count,\x20U64,\x20monotonically\x20increasing\x20—\x20unique\x20even\x20in\x20cycles)\x20AND\x20remark\x20matches\x20current\x20node\x20name\x20(progress.current,\x20String\x20—\x20may\x20repeat\x20across\x20cycles\x20but\x20bound\x20to\x20this\x20step\x20by\x20index).','key_queries':['payment.info.for','payment.info.guard','payment.info.index','payment.info.remark','payment.amount','progress.history\x20count','progress.current'],'mitigated_risks':[],'applicable_industries':['rental','travel','general','freelance'],'notes':['VERIFIED:\x20payment.move#L66-71\x20(PaymentInfo:\x20for_object,\x20for_guard,\x20remark,\x20index),\x20payment.move#L82-86\x20(payment_info_with_guard)','VERIFIED:\x20treasury.move#L249-264\x20(withdraw\x20creates\x20Payment\x20via\x20payment::new_singleton\x20+\x20from_object_set)','Payment\x20is\x20freeze_object\x20(immutable,\x20payment.move#L160)\x20—\x20cannot\x20be\x20modified\x20after\x20creation','VERIFIED\x20INDEX\x20QUERY:\x20progress.history\x20count\x20(id\x201273,\x20U64)\x20—\x20guard-ins.ts#L1228-1237.\x20From\x20progress.move\x20L440-441\x20(session_accomplish\x20pushes\x20a\x20new\x20History\x20entry)\x20+\x20L475/L482\x20(parent_table_vec::length\x20returns\x20current\x20session\x20id).\x20This\x20count\x20is\x20the\x20unique\x20monotonically\x20increasing\x20step\x20index\x20—\x20even\x20in\x20cycles,\x20each\x20entry\x20has\x20a\x20different\x20count.','VERIFIED\x20NODE\x20NAME\x20QUERY:\x20progress.current\x20(id\x201253,\x20String)\x20—\x20guard-ins.ts#L1025-1032.\x20Returns\x20the\x20current\x20node\x20name.\x20A\x20node\x20CAN\x20be\x20entered\x20multiple\x20times\x20in\x20cycles,\x20so\x20node\x20name\x20alone\x20is\x20NOT\x20unique\x20—\x20it\x20MUST\x20be\x20paired\x20with\x20progress.history\x20count\x20for\x20uniqueness.','DESIGN\x20INTENT\x20(USER):\x20to\x20validate\x20index\x20(U64\x20type),\x20use\x20progress.history\x20count\x20(unique,\x20non-repeating);\x20to\x20validate\x20node\x20name\x20(may\x20repeat\x20in\x20cycles),\x20store\x20it\x20in\x20PaymentInfo.remark\x20and\x20do\x20string\x20comparison\x20with\x20progress.current.','ANTI-REUSE\x204-DIMENSIONAL\x20BINDING:\x20for_object\x20(Order)\x20+\x20for_guard\x20(Guard)\x20+\x20index\x20(unique\x20step\x20via\x20progress.history\x20count)\x20+\x20remark\x20(node\x20name\x20via\x20progress.current).\x20Same\x20Payment\x20cannot\x20be\x20reused\x20in\x20other\x20contexts\x20—\x20at\x20least\x20one\x20field\x20will\x20mismatch.','VERIFIER-EVIDENCE\x20DESIGN:\x20customer\x20submits\x20Payment,\x20guard\x20verifies\x20binding\x20fields\x20match\x20current\x20context','Enables\x20user-friendly\x20exception\x20handling:\x20delay\x20→\x20auto-compensation\x20→\x20friendly\x20branch\x20flow','No\x20object-linker\x20binding\x20registration\x20needed\x20—\x20guard\x20only\x20verifies\x20submitted\x20Payment\x27s\x20field\x20accuracy']},{'id':'pattern.verifier_evidence_philosophy','business_requirement':'Guard\x20design\x20philosophy:\x20verifier\x20provides\x20evidence,\x20guard\x20verifies\x20logic\x20+\x20data\x20accuracy\x20(NOT\x20data\x20discovery)','data_source':'SubmittedObject','host':'gen_passport','verifier_level':'none','logic_summary':'Guard\x20is\x20a\x20PURE\x20VERIFICATION\x20engine.\x20Participants\x20submit\x20evidence\x20(Payment,\x20Order,\x20Proof,\x20etc.)\x20'+'via\x20Passport\x20submissions\x20(b_submission=true).\x20Guard\x20verifies:\x20(1)\x20logic\x20completeness,\x20(2)\x20data\x20usage\x20accuracy.\x20'+'Guard\x20does\x20NOT\x20discover/fetch\x20objects\x20via\x20object-linker\x20binding.\x20object-linker\x20binding\x20is\x20for\x20object\x20lifecycle\x20bookkeeping,\x20'+'NOT\x20for\x20guard\x20data\x20discovery.','key_queries':[],'mitigated_risks':['R-C3-05','R-C3-06'],'notes':['CORE\x20PRINCIPLE:\x20Guard\x20only\x20validates\x20submitted\x20evidence\x20—\x20it\x20never\x20fetches\x20data\x20on\x20its\x20own','For\x20Payment\x20verification:\x20user\x20submits\x20valid\x20Payment\x20→\x20guard\x20checks\x20for_object/for_guard/index\x20match','For\x20multi-order\x20verification:\x20verifier\x20submits\x20Order\x20data\x20→\x20guard\x20checks\x20service/owner\x20relationships','For\x20Repository\x20access:\x20user\x20submits\x20Payment\x20→\x20quote_guard\x20verifies\x20→\x20impack_list\x20updated\x20→\x20data\x20query\x20passes','Type\x203\x20(SubmittedObject)\x20data\x20source\x20class\x20embodies\x20this\x20philosophy\x20—\x20b_submission=true\x20entries','This\x20pattern\x20is\x20foundational\x20for\x20all\x20guard\x20designs\x20—\x20always\x20prefer\x20verifier-evidence\x20over\x20complex\x20object\x20discovery']},{'id':'pattern.progress_state_check','business_requirement':'Specific\x20forward\x20has\x20been\x20accomplished\x20(customer\x20confirms\x20delivery)','data_source':'WitnessDerived','host':'reward_claim','verifier_level':'none','logic_summary':'logic_equal[query_progress_history_find(...).accomplished,\x20identifier[N](true)]','key_queries':['progress.current','progress.current_time'],'witness_types':['OrderProgress'],'mitigated_risks':[],'notes':['Chain\x20query_progress_history_find\x20→\x20query_progress_history_session_forward_find']},{'id':'pattern.reward_one_time_claim','business_requirement':'User\x20can\x20only\x20claim\x20reward\x20once\x20(no\x20prior\x20claims)','data_source':'OnChainConstant','host':'reward_claim','verifier_level':'none','logic_summary':'logic_equal[query_reward_record_count(recipient=Signer),\x20identifier[N](0)]','key_queries':['reward.record_count'],'mitigated_risks':[],'notes':['Record\x20count\x20check\x20prevents\x20double-claim']},{'id':'pattern.reward_multi_condition','business_requirement':'Order\x20payment\x20>\x20threshold\x20AND\x20reached\x20\x27complete\x27\x20to\x20claim\x20reward','data_source':'WitnessDerived','host':'reward_claim','verifier_level':'none','logic_summary':'logic_and[logic_as_u256_gt[query(order.amount),\x20threshold],\x20logic_equal[query(progress.current),\x20\x27complete\x27],\x20logic_equal[query(order.service),\x20identifier[N](expected_service)]]','key_queries':['order.amount','progress.current','order.service'],'witness_types':['OrderProgress'],'mitigated_risks':['R-C3-05'],'notes':['Multi-condition:\x20amount\x20+\x20progress\x20state\x20+\x20service\x20match']},{'id':'pattern.arbitration_voting_weight','business_requirement':'Vote\x20weight\x20equals\x20reputation\x20score\x20(dynamic\x20weight\x20from\x20Passport)','data_source':'SubmittedObject','host':'arbitration_voting','verifier_level':'none','logic_summary':'GuardIdentifier\x20extracts\x20numeric\x20value\x20from\x20Passport\x20submission','key_queries':[],'mitigated_risks':['R-C3-02'],'notes':['Table\x20needs\x20numeric\x20submission\x20entry\x20at\x20referenced\x20index','Weight\x20must\x20come\x20from\x20on-chain\x20EntityRegistrar,\x20not\x20submission','BINDING_01:\x20voting_guard\x20GuardIdentifier\x20must\x20be\x20numeric\x20(U8-U256)','C-9\x20VERIFIED:\x20voting\x20is\x20OPTIONAL\x20—\x20arb.move\x20voting_deadline\x20is\x20Option\x20'+'(None\x20=\x20open-ended\x20voting;\x20arbitration\x20can\x20proceed\x20whenever\x20the\x20arbiter\x20decides).\x20'+'NO\x20minimum\x20voter\x20quorum\x20is\x20required\x20on-chain:\x20the\x20arbiter\x20may\x20rule\x20with\x20any\x20number\x20'+'of\x20votes\x20(including\x20zero).\x20MAX_ARBITRATOR_VOTING=520\x20is\x20only\x20an\x20upper\x20bound.\x20'+'Open\x20voting\x20(empty\x20voting_guard)\x20gives\x20every\x20vote\x20weight\x201\x20(vote_imp\x20asserts\x20empty\x20guard).']},{'id':'pattern.arbitration_membership_check','business_requirement':'Only\x20premium\x20members\x20can\x20file\x20disputes','data_source':'OnChainConstant','host':'arbitration_usage','verifier_level':'none','logic_summary':'logic_and[query(entity\x20exists),\x20logic_as_u256_ge[query(entity\x20tier),\x20identifier[N](premium_tier)]]','key_queries':['entity.registrar','entity.linker'],'mitigated_risks':[],'notes':['ENTITY_REGISTRAR_ADDRESS\x20(0xaab)\x20/\x20ENTITY_LINKER_ADDRESS\x20(0xaaa)\x20must\x20be\x20in\x20table']},{'id':'pattern.scene_allocator_entity_recipient','business_requirement':'Service\x20allocator\x20with\x20sharing.who=Entity\x20—\x20no\x20Signer\x20binding\x20needed','data_source':'OnChainConstant','host':'service_allocator_guard','verifier_level':'level3_scene_combined','logic_summary':'Scene\x20verifies\x20fund\x20flow\x20safety\x20—\x20Guard\x20only\x20validates\x20allocation\x20rules','key_queries':['service.permission','order.amount'],'mitigated_risks':['R-C3-06'],'notes':['Funds\x20flow\x20to\x20fixed\x20Treasury/address\x20regardless\x20of\x20caller','sharing.who=Entity\x20already\x20guarantees\x20recipient\x20safety','No\x20Signer\x20binding\x20required\x20—\x20R-C3-06\x20safe']},{'id':'pattern.scene_machine_forward_operator','business_requirement':'Machine\x20forward\x20with\x20permissionIndex/namedOperator\x20already\x20verifies\x20operator','data_source':'OnChainConstant','host':'machine_forward','verifier_level':'level3_scene_combined','logic_summary':'Forward\x27s\x20permissionIndex/namedOperator\x20verifies\x20operator\x20—\x20Guard\x20only\x20validates\x20submitted\x20data','key_queries':[],'mitigated_risks':[],'notes':['Scene\x20verifies\x20operator\x20permission\x20via\x20permissionIndex/namedOperator','Signer\x20binding\x20only\x20needed\x20if\x20submitted\x20data\x20must\x20belong\x20to\x20operator','Evaluate\x20scene\x20before\x20adding\x20Signer\x20binding']},{'id':'pattern.fund_flow_refund_freeform','business_requirement':'Refund\x20/\x20cancellation\x20fund-release\x20defined\x20purely\x20by\x20game\x20conditions\x20—\x20NOT\x20bound\x20to\x20any\x20Machine\x20node','data_source':'SubmittedObject','host':'service_allocator_guard','verifier_level':'level2_identity_set','logic_summary':'An\x20allocator\x20Guard\x20whose\x20root\x20encodes\x20refund\x20conditions\x20ARBITRARILY:\x20'+'buyer\x20signature\x20(logic_equal[Signer,\x20buyer]),\x20timeout\x20(logic_as_u256_ge[Clock,\x20deadline]),\x20'+'evidence\x20state\x20(query\x20any\x20on-chain\x20object:\x20order\x20fields,\x20repository\x20data,\x20payment\x20proofs),\x20'+'arbitration\x20outcome,\x20or\x20any\x20logic_and/or\x20combination.\x20No\x20progress/current-node\x20query\x20required.','key_queries':['order.owner','order.service','order.amount'],'mitigated_risks':['R-C3-06'],'notes':['C-2\x20RESOLUTION:\x20Machine-node-triggered\x20refund\x20(\x27at\x20cancelled\x20node\x20→\x20release\x27)\x20is\x20only\x20ONE\x20application\x20pattern.\x20'+'Guard+Allocator\x20is\x20a\x20GENERAL\x20game\x20primitive:\x20the\x20refund\x20condition\x20tree\x20is\x20fully\x20free-form.\x20'+'Move\x20layer\x20needs\x20NO\x20change\x20—\x20guard.move\x20roots\x20accept\x20arbitrary\x20logic\x20over\x20any\x20queryable\x20state.','GAME-THEORETIC\x20READING:\x20both\x20parties\x20should\x20evaluate\x20the\x20refund\x20Guard\x20BEFORE\x20transacting\x20—\x20'+'who\x20can\x20trigger\x20it,\x20under\x20which\x20conditions,\x20with\x20what\x20evidence.\x20Use\x20the\x20analyze_guard_semantics\x20'+'query\x20action\x20to\x20render\x20+\x20lint\x20any\x20Guard\x20and\x20reason\x20about\x20each\x20party\x27s\x20leverage.','Condition\x20dimensions\x20freely\x20composable:\x20identity\x20(Signer/Entity),\x20time\x20(Clock),\x20'+'counterparty\x20evidence\x20(submitted\x20Payment/Order/Proof),\x20shared\x20data\x20(Repository),\x20'+'workflow\x20state\x20(Progress\x20—\x20optional,\x20only\x20when\x20a\x20Machine\x20exists)','Multi-tier\x20refund:\x20multiple\x20allocators\x20with\x20first-match-wins\x20order\x20encode\x20graduated\x20policies\x20'+'(full\x20refund\x20pre-delivery,\x20partial\x20refund\x20post-milestone,\x20no\x20refund\x20post-acceptance)\x20as\x20SEPARATE\x20Guards']},{'id':'pattern.fund_flow_profit_share_freeform','business_requirement':'Revenue/profit\x20sharing\x20among\x20partners\x20triggered\x20by\x20verifiable\x20contribution\x20conditions\x20—\x20not\x20by\x20workflow\x20nodes','data_source':'OnChainConstant','host':'service_allocator_guard','verifier_level':'level3_scene_combined','logic_summary':'Allocator\x20sharing\x20(who+ratio)\x20defines\x20the\x20SPLIT;\x20the\x20Guard\x20defines\x20WHEN\x20the\x20split\x20executes.\x20'+'The\x20WHEN\x20is\x20free-form:\x20period\x20boundary\x20(Clock\x20vs\x20interval),\x20contribution\x20proof\x20(submitted\x20evidence),\x20'+'performance\x20threshold\x20(Repository\x20metric),\x20or\x20counterparty\x20co-signature.','key_queries':['repository.data','payment.amount'],'mitigated_risks':['R-C3-06'],'applicable_industries':['freelance','subscription','education'],'notes':['C-2\x20RESOLUTION:\x20profit-sharing\x20is\x20an\x20application\x20pattern\x20of\x20the\x20same\x20Guard+Allocator\x20primitive\x20—\x20'+'the\x20trigger\x20condition\x20tree\x20is\x20arbitrary\x20game\x20logic,\x20not\x20a\x20workflow\x20artifact.','sharing.who=Entity\x20recipients\x20make\x20the\x20split\x20caller-safe\x20(funds\x20flow\x20to\x20fixed\x20addresses)\x20—\x20'+'Guard\x20then\x20only\x20gates\x20TIMING/CONDITIONS,\x20not\x20identity\x20(R-C3-06\x20safe\x20by\x20scene)','Periodic\x20settlement:\x20logic_as_u256_ge[Clock,\x20identifier[N](period_start)]\x20+\x20'+'logic_as_u256_equal[calc_number_mod[Clock,\x20interval],\x200]-style\x20windows,\x20'+'or\x20a\x20Repository-held\x20settlement\x20cursor\x20updated\x20after\x20each\x20allocation\x20run']},{'id':'pattern.permission_guard_entity_time_window','business_requirement':'Delegate\x20a\x20permission\x20index\x20to\x20a\x20Guard\x20object\x20address\x20—\x20authorization\x20that\x20self-enforces\x20and\x20self-expires\x20(time-windowed\x20delegation)','data_source':'SystemContext','host':'machine_forward','verifier_level':'none','logic_summary':'permission.move\x20entity\x20table\x20accepts\x20\x27user/guard\x20address\x20&\x20permission_index\x20list\x27\x20—\x20'+'a\x20Guard\x27s\x20OWN\x20ADDRESS\x20can\x20hold\x20a\x20permission\x20index.\x20The\x20delegated\x20Guard\x20then\x20encodes\x20'+'temporal\x20+\x20contextual\x20conditions:\x20logic_and[logic_as_u256_ge[Clock,\x20valid_from],\x20'+'logic_as_u256_le[Clock,\x20valid_until],\x20<scene\x20conditions>].\x20'+'Callers\x20satisfying\x20the\x20Guard\x20act\x20with\x20the\x20delegated\x20permission\x20index.','key_queries':[],'mitigated_risks':[],'notes':['C-8\x20VERIFIED:\x20permission.move\x20entity\x20table\x20comment\x20—\x20\x27user/guard\x20address\x20&\x20permission_index\x20list\x27\x20'+'(guard\x20addresses\x20are\x20first-class\x20permission\x20entities,\x20same\x20as\x20user\x20addresses)','TIME\x20WINDOW:\x20Guard\x20roots\x20compose\x20context(Clock)\x20freely\x20—\x20valid_from/valid_until\x20bounds,\x20'+'recurring\x20windows\x20(mod\x20arithmetic),\x20or\x20deadline-before\x20(authorize\x20only\x20until\x20expiry)','SELF-EXPIRING\x20DELEGATION:\x20after\x20valid_until\x20the\x20Guard\x20fails\x20for\x20everyone\x20—\x20no\x20on-chain\x20'+'revocation\x20transaction\x20needed,\x20no\x20trust\x20in\x20the\x20delegate\x20to\x20stop\x20acting','SCENARIO\x20COMBINATION\x20(情景层):\x20temporary\x20operator\x20(holiday\x20cover),\x20seasonal\x20service\x20window,\x20'+'trial-period\x20customer\x20privileges,\x20contractor\x20time-boxed\x20access,\x20emergency-break-glass\x20with\x20auto-expiry','Design\x20tip:\x20combine\x20with\x20scene\x20conditions\x20(order\x20state,\x20submitted\x20evidence)\x20—\x20'+'time\x20bounds\x20rarely\x20stand\x20alone']}];export const VERIFIER_LEVEL_GUIDANCE=[{'level':'level1_strict_single','pattern':'logic_equal[context(Signer),\x20identifier[N](fixed_address)]','when_to_use':'Role\x20permanently\x20tied\x20to\x20one\x20address\x20AND\x20designer\x20accepts\x20lock-in\x20risk','risk_rules':['R-C4-04'],'recommendation':'avoid'},{'level':'level2_identity_set','pattern':'logic_or\x20of\x20multiple\x20identity\x20checks','when_to_use':'Role-based\x20access\x20—\x20multiple\x20authorized\x20identities','risk_rules':['R-C4-04\x20(suppressed)'],'recommendation':'recommended'},{'level':'level3_scene_combined','pattern':'Scene\x20itself\x20verifies\x20identity\x20—\x20no\x20Signer\x20binding\x20needed','when_to_use':'Scene\x27s\x20host\x20object\x20already\x20verifies\x20operator\x20(e.g.,\x20Machine\x20forward,\x20sharing.who=Entity)','risk_rules':[],'recommendation':'default'},{'level':'none','pattern':'No\x20Signer\x20binding\x20required','when_to_use':'Resource\x20flow\x20matters\x20more\x20than\x20caller\x20identity','risk_rules':[],'recommendation':'default'}];export function getGuardDesignPattern(a){return GUARD_DESIGN_PATTERNS['find'](b=>b['id']===a);}export function searchGuardDesignPatterns(a){const b=a['toLowerCase']();return GUARD_DESIGN_PATTERNS['filter'](c=>{if(c['business_requirement']['toLowerCase']()['includes'](b))return!![];if(c['logic_summary']['toLowerCase']()['includes'](b))return!![];if(c['key_queries']['some'](d=>d['toLowerCase']()['includes'](b)))return!![];return![];});}export function getPatternsByHost(a){return GUARD_DESIGN_PATTERNS['filter'](b=>b['host']===a);}export function getPatternsByIndustry(a){return GUARD_DESIGN_PATTERNS['filter'](b=>b['applicable_industries']?.['includes'](a));}export function getPatternsByDataSourceClass(a){return GUARD_DESIGN_PATTERNS['filter'](b=>b['data_source']===a);}export function getVerifierLevelGuidance(a){return VERIFIER_LEVEL_GUIDANCE['find'](b=>b['level']===a);}export function suggestPatternForRequirement(a){const b=searchGuardDesignPatterns(a);if(b['length']===0x0){const e=GUARD_DESIGN_PATTERNS[0x0];return{'best':e,'alternatives':[]};}const [c,...d]=b;return{'best':c,'alternatives':d};}export const GUARD_DESIGN_PATTERNS_VERSION=0x2;

package/dist/knowledge/index.d.ts

@@ -1,11 +1,10 @@
 import { CONCEPT_GLOSSARY, CONCEPT_GLOSSARY_VERSION, resolveTerm, lookupEntry, validateText, auditSchemaFields, type GlossaryEntry, type GlossaryCategory, type GlossaryDrift } from "./glossary.js";
-import { fetchMachineNodes, buildWorkflowGuidance, buildWorkflowReceipt, enrichWorkflowGuidance, mergeGuidanceIntoOutput, resolvePermissionRole, fetchPermissionContext, fetchOrderContext, fetchEntityPermission, fetchEntityContact, fetchObjectLinkerCore, fetchObjectLinkerTx, fetchOrdersOfUser, resolveLocalNamesFor, fetchAllFieldObjectIds, batchQueryObjectsByIds, listLocalAccounts, accountCanExecuteForward, type GuidanceResult, type ReceiptResult, type ParsedMachineNode, type ParsedPair, type ParsedForward, type LocalAccountInfo, type PermissionContext, type OrderContext, type EntityPermissionContext, type EntityPermissionItem, type EntityOrderContext, type EntityOrderItem, type EntityContactContext } from "./workflow-guidance.js";
+import { fetchMachineNodes, buildWorkflowGuidance, buildWorkflowReceipt, enrichWorkflowGuidance, mergeGuidanceIntoOutput, resolvePermissionRole, fetchPermissionContext, fetchOrderContext, fetchEntityPermission, fetchEntityContact, fetchObjectLinkerCore, fetchObjectLinkerTx, fetchServiceOrders, fetchOrdersOfUser, resolveLocalNamesFor, fetchAllFieldObjectIds, batchQueryObjectsByIds, batchReadAddressKeyedFields, batchReadU64KeyedFields, listLocalAccounts, accountCanExecuteForward, enumerateActionableForwards, forwardOperatorKind, type GuidanceResult, type ReceiptResult, type ParsedMachineNode, type ParsedPair, type ParsedForward, type ActionableForwardOption, type ForwardOperatorKind, type LocalAccountInfo, type PermissionContext, type OrderContext, type EntityPermissionContext, type EntityPermissionItem, type EntityOrderContext, type EntityOrderItem, type EntityContactContext } from "./workflow-guidance.js";
 import { CONFIRMATION_RULES, SAFETY_RULES_VERSION, OBJECT_REUSE_RULES, CREATE_VS_MODIFY_PATTERN, IMMUTABILITY_RULES, OPERATION_TYPE_CLASSIFICATION, OPERATION_CLASS_META, classifyTool, NAMING_CONVENTIONS, checkObjectReuseRules, checkImmutabilityRules, type ConfirmationRule, type OperationPreview, type ConfirmLevel, type ReuseRecommendation, type ObjectReuseRule, type ImmutabilityRule, type OperationClass, type OperationClassMeta, type SafetyRiskItem } from "./safety-rules.js";
 import { TOOL_CONSTRAINTS, TOOL_CONSTRAINTS_VERSION, validateOperation, hasBlockingViolations, getWarningViolations, type ConstraintSeverity, type FieldConstraint, type OperationConstraint, type ConstraintViolation } from "./tool-constraints.js";
 import { PERMISSION_TYPES, GAME_ELEMENTS, getPermissionType, getGameElement, getGameElementsByType, PROCESS_MODEL_VERSION, type PermissionScope, type PermissionTypeDef, type GameElementType, type GameElementDef } from "./process-model.js";
 import { REWARD_TEMPLATES, REWARD_TEMPLATES_VERSION, getRewardTemplate, listRewardTemplates, suggestRewardTemplate, type RewardTemplateType, type RewardTemplate } from "./reward-templates.js";
 import { AUDIT_RULES, AUDIT_RULES_VERSION, auditService, hasBlockingErrors, getErrors, getWarnings, summarizeFindings, type AuditSeverity, type AuditFinding, type AuditRule, type AuditContext } from "./audit-rules.js";
-import { matchDemand, extractDemandInfo, DEMAND_MATCHING_VERSION, type ServiceInfo, type DemandInfo, type DemandMatch } from "./demand-matching.js";
 import { suggestPricing, MUTABLE_FIELDS, DYNAMIC_PRICING_VERSION, type MarketSignals, type PricingSuggestion, type MutableFieldInfo } from "./dynamic-pricing.js";
 import { computeServiceTrustScore, quickTrustCheck, TRUST_METRICS_VERSION, type ServiceTrustMetrics, type ServiceTrustScore, type TrustDimension, type TrustInjection, type TrustDimensionId, type TrustFinding, TRUST_DIMENSION_WEIGHTS } from "./trust-metrics.js";
 import { buildReviewRepositorySetup, computeReviewStats, isVerifiedReview, filterVerifiedReviews, detectReviewManipulation, REPUTATION_RULES_VERSION, type Review, type ReviewStats, type ReviewRepositorySetup } from "./reputation-rules.js";
@@ -19,6 +18,8 @@ import { GUARD_SCENES, findScene, inferSceneFromAction, getImmutableScenes, getN
 import { SEMANTIC_TO_SCHEMA_RULES, SCHEMA_TO_SEMANTIC_RULES, GUARD_CONSTRAINT_RULES, matchSemanticPattern, explainNode, explainWitness, getConstraintsByCategory, type SemanticToSchemaRule, type SchemaToSemanticRule, type GuardConstraintRule } from "./guard-translation.js";
 import { checkPuzzleCompleteness, generateConfirmationText, initPuzzleFromIntent, inferBindingFromAction, emptyDataSources, getWitnessInfo, WITNESS_NAME_MAP, type GuardPuzzle, type IntentPuzzle, type BindingPuzzle, type DataSourcePuzzle, type OnChainConstantEntry, type WitnessDerivedEntry, type SubmittedObjectEntry, type SubmittedValueEntry, type SystemContextEntry, type QueryPuzzle, type LogicNodePuzzle, type ConstraintChecklist, type PuzzleCompleteness, type PuzzleDimension } from "./guard-puzzle.js";
 import { assessGuardRisks, assessGuardRisksForOperation, getRiskSummary, getRiskRulesByDataSourceClass, getAllRiskRules, getRiskRulesCount, type GuardRisk, type GuardRiskAssessment, type GuardStakeholder, type RiskLevel, type RiskCategory, type DataSourceClass, type RiskRule } from "./guard-risk.js";
+import { GUARD_BINDING_REGISTRY, GUARD_BINDINGS_VERSION, OWNER_RECEIVE_COGNITION, getGuardBindingsByObject, getGuardBinding, summarizeGuardBinding, type GuardBoundObject, type PresetKind, type GuardPresetSlot } from "./guard-bindings.js";
+import { SCENARIO_BRIDGE_REGISTRY, SCENARIO_CHAINS, SCENARIO_TOPOLOGY_VERSION, getBridgeById, getBridgesByObject, getChainById, summarizeBridge, detectBridgesForObjects, type ScenarioBridge, type ScenarioChain, type BridgeParticipant, type BridgeField } from "./scenario-topology.js";
 import { GUARD_TEMPLATES, GUARD_TEMPLATES_VERSION, GUARD_TEMPLATES_COUNT, getTemplatesByScene, getTemplateById, getTemplatesByIndustry, getTemplatesByPattern, listGuardTemplates, suggestTemplateForScene, getTemplateParameters, validateTemplateParams, type GuardTemplate, type GuardTemplateParam, type TemplateParamType } from "./guard-templates.js";
 import { lintGuard, autoFixGuard, isGuardReady, getGuardErrors, formatLintResult, type GuardJsonInput, type GuardLintResult, type GuardDiagnostic, type DiagnosticSeverity, type DiagnosticSource, type AutoFixAction } from "./guard-lint.js";
 import { MACHINE_SCENES, MACHINE_LEDGER_VERSION, MACHINE_SCENES_COUNT, findScene as findMachineScene, getScenesByIndustry as getMachineScenesByIndustry, getScenesByPattern, inferSceneFromFlow, type MachineScene, type ParticipantRoleDef, type GuardRequirement } from "./machine-ledger.js";
@@ -104,6 +105,7 @@ import { BRIDGE_RISK_RULES, BRIDGE_RISK_VERSION, checkBridgeRisks, getBridgeRisk
 import { TOOLS_REFERENCE, getToolReference, searchToolReference, getToolSequence, type ToolReferenceEntry } from "./tools-reference.js";
 import { SCENARIO_MODES, SCENARIO_MODES_VERSION, MODE_COMPOSITIONS, matchScenarioMode, inferScenarioTraits, getScenarioMode, listScenarioModes, getShippedModes, getModeCompositions, type IndustryModeName, type ScenarioTraits, type ModeAllocatorStrategy, type ModeGuardRef, type ModeMachineNode, type ScenarioMode, type ModeComposition } from "./scenario-modes.js";
 import { GUARD_DESIGN_PATTERNS, GUARD_DESIGN_PATTERNS_VERSION, VERIFIER_LEVEL_GUIDANCE, getGuardDesignPattern, searchGuardDesignPatterns, getPatternsByHost, getPatternsByIndustry, getPatternsByDataSourceClass, getVerifierLevelGuidance, suggestPatternForRequirement, type GuardDataSourceClass, type VerifierConstraintLevel, type GuardHostObject, type GuardDesignPattern, type VerifierLevelGuidance } from "./guard-design-patterns.js";
+import { GUARD_BYTECODE_SPEC_VERSION, VALUE_TYPE_BYTES, OPCODE_SPECS, QUERY_REGISTRY, QUERY_BANDS, GUARD_LIMITS, SERIALIZATION, COMMON_MOVE_MISALIGNED, getQueryById, queriesByObject, queryByName, opcodeByByte, opcodeByName, isValueTypeByte, isNumberTypeByte, type OpcodeSpec, type QuerySpec, type QueryBand } from "./guard-bytecode-spec.js";
 export { suggestGuardForMessenger, type MessengerGuardSuggestion, } from "./messenger-guard-guidance.js";
 export { CONCEPT_GLOSSARY, CONCEPT_GLOSSARY_VERSION, resolveTerm, lookupEntry, validateText, auditSchemaFields, type GlossaryEntry, type GlossaryCategory, type GlossaryDrift, };
 export { CONFIRMATION_RULES, SAFETY_RULES_VERSION, OBJECT_REUSE_RULES, CREATE_VS_MODIFY_PATTERN, IMMUTABILITY_RULES, OPERATION_TYPE_CLASSIFICATION, OPERATION_CLASS_META, classifyTool, NAMING_CONVENTIONS, checkObjectReuseRules, checkImmutabilityRules, type ConfirmationRule, type OperationPreview, type ConfirmLevel, type ReuseRecommendation, type ObjectReuseRule, type ImmutabilityRule, type OperationClass, type OperationClassMeta, type SafetyRiskItem, };
@@ -111,7 +113,6 @@ export { TOOL_CONSTRAINTS, TOOL_CONSTRAINTS_VERSION, validateOperation, hasBlock
 export { PERMISSION_TYPES, GAME_ELEMENTS, getPermissionType, getGameElement, getGameElementsByType, PROCESS_MODEL_VERSION, type PermissionScope, type PermissionTypeDef, type GameElementType, type GameElementDef, };
 export { REWARD_TEMPLATES, REWARD_TEMPLATES_VERSION, getRewardTemplate, listRewardTemplates, suggestRewardTemplate, type RewardTemplateType, type RewardTemplate, };
 export { AUDIT_RULES, AUDIT_RULES_VERSION, auditService, hasBlockingErrors, getErrors, getWarnings, summarizeFindings, type AuditSeverity, type AuditFinding, type AuditRule, type AuditContext, };
-export { matchDemand, extractDemandInfo, DEMAND_MATCHING_VERSION, type ServiceInfo, type DemandInfo, type DemandMatch, };
 export { suggestPricing, MUTABLE_FIELDS, DYNAMIC_PRICING_VERSION, type MarketSignals, type PricingSuggestion, type MutableFieldInfo, };
 export { computeServiceTrustScore, quickTrustCheck, TRUST_METRICS_VERSION, type ServiceTrustMetrics, type ServiceTrustScore, type TrustDimension, type TrustInjection, type TrustDimensionId, type TrustFinding, TRUST_DIMENSION_WEIGHTS, };
 export { buildReviewRepositorySetup, computeReviewStats, isVerifiedReview, filterVerifiedReviews, detectReviewManipulation, REPUTATION_RULES_VERSION, type Review, type ReviewStats, type ReviewRepositorySetup, };
@@ -124,7 +125,7 @@ export { BUILTIN_INTENT_SPECS, registerIntentProfile, getIntentProfile, listInte
 export { GUARD_SCENES, findScene, inferSceneFromAction, getImmutableScenes, getNumericIdentifierScenes, type GuardScene, };
 export { SEMANTIC_TO_SCHEMA_RULES, SCHEMA_TO_SEMANTIC_RULES, GUARD_CONSTRAINT_RULES, matchSemanticPattern, explainNode, explainWitness, getConstraintsByCategory, type SemanticToSchemaRule, type SchemaToSemanticRule, type GuardConstraintRule, };
 export { checkPuzzleCompleteness, generateConfirmationText, initPuzzleFromIntent, inferBindingFromAction, emptyDataSources, getWitnessInfo, WITNESS_NAME_MAP, type GuardPuzzle, type IntentPuzzle, type BindingPuzzle, type DataSourcePuzzle, type OnChainConstantEntry, type WitnessDerivedEntry, type SubmittedObjectEntry, type SubmittedValueEntry, type SystemContextEntry, type QueryPuzzle, type LogicNodePuzzle, type ConstraintChecklist, type PuzzleCompleteness, type PuzzleDimension, };
-export { assessGuardRisks, assessGuardRisksForOperation, getRiskSummary, getRiskRulesByDataSourceClass, getAllRiskRules, getRiskRulesCount, type GuardRisk, type GuardRiskAssessment, type GuardStakeholder, type RiskLevel, type RiskCategory, type DataSourceClass, type RiskRule, GUARD_TEMPLATES, GUARD_TEMPLATES_VERSION, GUARD_TEMPLATES_COUNT, getTemplatesByScene, getTemplateById, getTemplatesByIndustry, getTemplatesByPattern, listGuardTemplates, suggestTemplateForScene, getTemplateParameters, validateTemplateParams, type GuardTemplate, type GuardTemplateParam, type TemplateParamType, lintGuard, autoFixGuard, isGuardReady, getGuardErrors, formatLintResult, type GuardJsonInput, type GuardLintResult, type GuardDiagnostic, type DiagnosticSeverity, type DiagnosticSource, type AutoFixAction, };
+export { assessGuardRisks, assessGuardRisksForOperation, getRiskSummary, getRiskRulesByDataSourceClass, getAllRiskRules, getRiskRulesCount, type GuardRisk, type GuardRiskAssessment, type GuardStakeholder, type RiskLevel, type RiskCategory, type DataSourceClass, type RiskRule, GUARD_TEMPLATES, GUARD_TEMPLATES_VERSION, GUARD_TEMPLATES_COUNT, getTemplatesByScene, getTemplateById, getTemplatesByIndustry, getTemplatesByPattern, listGuardTemplates, suggestTemplateForScene, getTemplateParameters, validateTemplateParams, type GuardTemplate, type GuardTemplateParam, type TemplateParamType, GUARD_BINDING_REGISTRY, GUARD_BINDINGS_VERSION, OWNER_RECEIVE_COGNITION, getGuardBindingsByObject, getGuardBinding, summarizeGuardBinding, type GuardBoundObject, type PresetKind, type GuardPresetSlot, SCENARIO_BRIDGE_REGISTRY, SCENARIO_CHAINS, SCENARIO_TOPOLOGY_VERSION, getBridgeById, getBridgesByObject, getChainById, summarizeBridge, detectBridgesForObjects, type ScenarioBridge, type ScenarioChain, type BridgeParticipant, type BridgeField, lintGuard, autoFixGuard, isGuardReady, getGuardErrors, formatLintResult, type GuardJsonInput, type GuardLintResult, type GuardDiagnostic, type DiagnosticSeverity, type DiagnosticSource, type AutoFixAction, };
 export { MACHINE_SCENES, MACHINE_LEDGER_VERSION, MACHINE_SCENES_COUNT, findMachineScene, getMachineScenesByIndustry, getScenesByPattern, inferSceneFromFlow, type MachineScene, type ParticipantRoleDef, type GuardRequirement, };
 export { MACHINE_TEMPLATES, MACHINE_TEMPLATES_VERSION, MACHINE_TEMPLATES_COUNT, getAllMachineTemplates, getMachineTemplateById, getMachineTemplatesByScene, getMachineTemplatesByIndustry, suggestTemplateForIntent, walkDecisionTree, fillMachineTemplate, forkMachineTemplate, verifyTemplateSceneReferences, getReferencedGuardTemplateIds, getReferencedRiskIds, type MachineTemplate, type MachineTemplateParam, };
 export { SEMANTIC_TO_MACHINE_RULES, MACHINE_CONSTRAINT_RULES, MACHINE_TRANSLATION_VERSION, MACHINE_PATTERNS_COUNT, MACHINE_CONSTRAINTS_COUNT, matchMachinePattern, identifyExecutionMode, identifyTopology, explainForwardPermission, getMachineConstraintsByCategory, getConstraintById, getOnChainMachineConstraints, getOffChainMachineConstraints, type SemanticToMachineRule, type MachineConstraintRule, };
@@ -202,7 +203,7 @@ export { REPOSITORY_LEDGER_VERSION, REPOSITORY_ID_FROM, REPOSITORY_POLICY_FIELDS
 export { REPOSITORY_PUZZLE_VERSION, initRepositoryPuzzleFromIntent, checkRepositoryPuzzleCompleteness, type RepositoryIntentPuzzle, type RepositoryFieldState, type RepositoryPuzzle, type RepositoryPuzzleCompleteness, type InitRepositoryPuzzleInput, } from "./repository-puzzle.js";
 export { REPOSITORY_TEMPLATES_VERSION, REPOSITORY_TEMPLATES, getRepositoryTemplateById, listRepositoryTemplates, suggestRepositoryTemplateForMode, type RepositoryTemplate, } from "./repository-templates.js";
 export { REPOSITORY_CONTEXT_VERSION, buildRepositoryContext, getRepositoryContextSummary, type RepositoryContextBundle, type BuildRepositoryContextInput, } from "./repository-context.js";
-export { assessEvidenceReview, type EvidenceKind, type EvidenceReviewInput, type EvidenceReviewResult } from "./evidence-review.js";
+export { assessEvidenceReview, reviewEvidenceList, type EvidenceKind, type EvidenceItem, type EvidenceListResult, type EvidenceReviewInput, type EvidenceReviewResult, type ProofCandidate, type ReviewedEvidence, } from "./evidence-review.js";
 export { DEMAND_RISK_RULES, checkDemandRisks, getDemandRiskById, type DemandRiskLevel, type DemandRiskCategory, type DemandStakeholder, type DemandRisk, type DemandRiskCheckContext, };
 export { preCheckDemandCreation, canCreateDemand, formatDemandCreationSummary, type DemandConfirmSeverity, type DemandConfirmItem, type DemandCreationCheckInput, };
 export { SEMANTIC_TO_DEMAND_SCHEMA_RULES, DEMAND_FIELD_TRANSLATIONS, DEMAND_CONSTRAINT_RULES, explainDemand, type SemanticToDemandSchemaRule, type DemandFieldTranslation, type DemandConstraintRule, type DemandExplainInput, type DemandExplanation, };
@@ -237,6 +238,7 @@ export { BRIDGE_TRANSLATION_VERSION, SEMANTIC_TO_BRIDGE_SCHEMA_RULES, BRIDGE_FIE
 export { TOOLS_REFERENCE, getToolReference, searchToolReference, getToolSequence, type ToolReferenceEntry, };
 export { SCENARIO_MODES, SCENARIO_MODES_VERSION, MODE_COMPOSITIONS, matchScenarioMode, inferScenarioTraits, getScenarioMode, listScenarioModes, getShippedModes, getModeCompositions, type IndustryModeName, type ScenarioTraits, type ModeAllocatorStrategy, type ModeGuardRef, type ModeMachineNode, type ScenarioMode, type ModeComposition, };
 export { GUARD_DESIGN_PATTERNS, GUARD_DESIGN_PATTERNS_VERSION, VERIFIER_LEVEL_GUIDANCE, getGuardDesignPattern, searchGuardDesignPatterns, getPatternsByHost, getPatternsByIndustry, getPatternsByDataSourceClass, getVerifierLevelGuidance, suggestPatternForRequirement, type GuardDataSourceClass, type VerifierConstraintLevel, type GuardHostObject, type GuardDesignPattern, type VerifierLevelGuidance, };
+export { GUARD_BYTECODE_SPEC_VERSION, VALUE_TYPE_BYTES, OPCODE_SPECS, QUERY_REGISTRY, QUERY_BANDS, GUARD_LIMITS, SERIALIZATION, COMMON_MOVE_MISALIGNED, getQueryById, queriesByObject, queryByName, opcodeByByte, opcodeByName, isValueTypeByte, isNumberTypeByte, type OpcodeSpec, type QuerySpec, type QueryBand, };
 import { type OverrideConfig } from "./overrides-loader.js";
 export declare function getKnowledgeOverrides(): OverrideConfig;
 export declare function refreshKnowledgeOverrides(): OverrideConfig;
@@ -248,7 +250,6 @@ export declare function getKnowledgeBase(): {
         process_model: number;
         reward_templates: number;
         audit_rules: number;
-        demand_matching: number;
         dynamic_pricing: number;
         trust_metrics: number;
         reputation_rules: number;
@@ -350,6 +351,7 @@ export declare function getKnowledgeBase(): {
         bridge_translation: string;
         scenario_modes: number;
         guard_design_patterns: number;
+        guard_bytecode_spec: string;
     };
     glossary_entries: number;
     confirmation_rules: number;
@@ -370,6 +372,10 @@ export declare function getKnowledgeBase(): {
     guard_risk_rules_count: number;
     guard_templates_count: number;
     guard_lint_enabled: boolean;
+    guard_opcodes_count: number;
+    guard_query_registry_count: number;
+    guard_query_bands_count: number;
+    guard_query_defects_count: number;
     machine_scenes_count: number;
     machine_templates_count: number;
     machine_patterns_count: number;
@@ -492,7 +498,7 @@ export declare function getKnowledgeBase(): {
     guard_design_patterns_count: number;
     verifier_level_guidance_count: number;
 };
-export { fetchMachineNodes, buildWorkflowGuidance, buildWorkflowReceipt, enrichWorkflowGuidance, mergeGuidanceIntoOutput, resolvePermissionRole, fetchPermissionContext, fetchOrderContext, fetchEntityPermission, fetchEntityContact, fetchObjectLinkerCore, fetchObjectLinkerTx, fetchOrdersOfUser, resolveLocalNamesFor, fetchAllFieldObjectIds, batchQueryObjectsByIds, listLocalAccounts, accountCanExecuteForward, type GuidanceResult, type ReceiptResult, type ParsedMachineNode, type ParsedPair, type ParsedForward, type LocalAccountInfo, type PermissionContext, type OrderContext, type EntityPermissionContext, type EntityPermissionItem, type EntityOrderContext, type EntityOrderItem, type EntityContactContext, };
+export { fetchMachineNodes, buildWorkflowGuidance, buildWorkflowReceipt, enrichWorkflowGuidance, mergeGuidanceIntoOutput, resolvePermissionRole, fetchPermissionContext, fetchOrderContext, fetchEntityPermission, fetchEntityContact, fetchObjectLinkerCore, fetchObjectLinkerTx, fetchServiceOrders, fetchOrdersOfUser, resolveLocalNamesFor, fetchAllFieldObjectIds, batchQueryObjectsByIds, batchReadAddressKeyedFields, batchReadU64KeyedFields, listLocalAccounts, accountCanExecuteForward, enumerateActionableForwards, forwardOperatorKind, type ActionableForwardOption, type ForwardOperatorKind, type GuidanceResult, type ReceiptResult, type ParsedMachineNode, type ParsedPair, type ParsedForward, type LocalAccountInfo, type PermissionContext, type OrderContext, type EntityPermissionContext, type EntityPermissionItem, type EntityOrderContext, type EntityOrderItem, type EntityContactContext, };
 export { buildWorkspaceLists, type WorkspaceListsResult, type WorkspaceListItem, } from "./workspace-lists.js";
 export { resolveSupplyChainGraph, type SupplyChainGraph, type SupplyChainEdge, type SupplyChainService, type SupplyChainSubmission, } from "./supply-chain.js";
 export { enumerateObjectOperations, operationCategoryOf, operationComplexityOf, isPermissionIndexType, type OperationCategory, type ComplexityLevel, type OperationComplexity, type WatchOperationDraft, } from "./operation-dictionary.js";