@wowok/agent-mcp 2.7.1 → 2.7.3

package/dist/knowledge/safety-rules.js

@@ -1,404 +1 @@
-export const DEFAULT_VALUE_WARNINGS = {
-    defaultAccount: 'Using default account (env.account="")',
-    mainnet: "Operating on mainnet — irreversible",
-    replaceExistName: "replaceExistName=true will unbind the existing name (breaking refs)",
-    defaultToken: "Using default token 0x2::wow::WOW",
-};
-export const DEFAULT_AMOUNT_THRESHOLD = BigInt(100_000_000_000);
-export function getAmountThreshold() {
-    const raw = process.env.WOWOK_AMOUNT_THRESHOLD;
-    if (!raw)
-        return DEFAULT_AMOUNT_THRESHOLD;
-    try {
-        return BigInt(raw);
-    }
-    catch {
-        return DEFAULT_AMOUNT_THRESHOLD;
-    }
-}
-const WOW_PRECISION = 1000000000n;
-export function formatAmount(value, precision = WOW_PRECISION) {
-    const v = typeof value === "string" ? BigInt(value) : value;
-    const whole = v / precision;
-    const frac = v % precision;
-    if (frac === 0n)
-        return `${whole.toString()}`;
-    const fracStr = frac.toString().padStart(Number(precision.toString().length) - 1, "0");
-    return `${whole.toString()}.${fracStr}`;
-}
-export function collectDefaultWarnings(env, data) {
-    const w = [];
-    const acc = env?.account;
-    if (acc === undefined || acc === "") {
-        w.push(DEFAULT_VALUE_WARNINGS.defaultAccount);
-    }
-    const net = env?.network;
-    if (net && /mainnet/i.test(String(net))) {
-        w.push(DEFAULT_VALUE_WARNINGS.mainnet);
-    }
-    const nn = data?.namedNew ?? data?.object;
-    if (nn && typeof nn === "object" && nn.replaceExistName === true) {
-        w.push(DEFAULT_VALUE_WARNINGS.replaceExistName);
-    }
-    return w;
-}
-export const CONFIRMATION_RULES = [
-    {
-        id: "irreversible_fund_or_verdict",
-        when: (ot, data, _env) => {
-            if (ot === "payment")
-                return true;
-            if (ot === "arbitration" && data?.arbitration !== undefined)
-                return true;
-            if (ot === "treasury") {
-                if (data?.withdraw || data?.owner_receive)
-                    return true;
-                if (data?.external_withdraw || data?.external_deposit)
-                    return true;
-                return false;
-            }
-            return false;
-        },
-        level: "irreversible",
-        preview: (ot, data, env) => ({
-            level: "irreversible",
-            operation: ot,
-            irreversible: true,
-            network: env?.network,
-            account: env?.account ?? "",
-            warnings: collectDefaultWarnings(env, data),
-            amount: ot === "payment" && data?.amount
-                ? {
-                    value: String(data.amount.amount ?? data.amount.balance ?? ""),
-                    token: data?.token_type ?? "0x2::wow::WOW",
-                    human_readable: formatAmount(String(data.amount.amount ?? data.amount.balance ?? "0")),
-                    recipient: data?.to ?? data?.recipient,
-                }
-                : undefined,
-        }),
-        bypass_on_explicit_intent: [],
-    },
-    {
-        id: "publish_immutable",
-        when: (ot, data, _env) => {
-            if (ot === "service" && (data?.publish === true || data?.bPublished === true))
-                return true;
-            if (ot === "machine" && data?.publish === true)
-                return true;
-            return false;
-        },
-        level: "publish",
-        preview: (ot, data, env) => ({
-            level: "publish",
-            operation: ot,
-            object: data?.object ?? data?.namedNew?.name,
-            network: env?.network,
-            account: env?.account ?? "",
-            immutable_after: ot === "service"
-                ? ["machine", "order_allocators"]
-                : ["nodes", "pairs", "forwards"],
-            warnings: collectDefaultWarnings(env, data),
-        }),
-        bypass_on_explicit_intent: ["force publish", "publish now"],
-    },
-    {
-        id: "amount_sensitive",
-        when: (ot, data, _env) => {
-            const amt = extractAmount(data);
-            if (amt === null)
-                return false;
-            if (ot === "reward" || ot === "treasury")
-                return true;
-            if (ot === "service" && data?.compensation_fund_add)
-                return true;
-            return false;
-        },
-        level: "amount",
-        preview: (ot, data, env) => {
-            const amt = extractAmount(data);
-            return {
-                level: "amount",
-                operation: ot,
-                object: data?.object ?? data?.namedNew?.name,
-                network: env?.network,
-                account: env?.account ?? "",
-                amount: amt
-                    ? {
-                        value: amt,
-                        token: data?.token_type ?? "0x2::wow::WOW",
-                        human_readable: formatAmount(amt),
-                    }
-                    : undefined,
-                warnings: collectDefaultWarnings(env, data),
-            };
-        },
-        bypass_on_explicit_intent: [],
-    },
-    {
-        id: "default_values",
-        when: (_ot, _data, env) => {
-            return collectDefaultWarnings(env, _data).length > 0;
-        },
-        level: "standard",
-        preview: (ot, data, env) => ({
-            level: "standard",
-            operation: ot,
-            object: data?.object ?? data?.namedNew?.name,
-            network: env?.network,
-            account: env?.account ?? "",
-            warnings: collectDefaultWarnings(env, data),
-        }),
-        bypass_on_explicit_intent: [
-            "use default account",
-            "default account is fine",
-            "use the default account",
-            "default account works fine",
-        ],
-    },
-    {
-        id: "guard_create_immutable",
-        when: (ot, data, _env) => {
-            if (ot === "guard")
-                return true;
-            return false;
-        },
-        level: "irreversible",
-        preview: (ot, data, env) => {
-            const table = data?.table ?? [];
-            const root = data?.root;
-            const rely = data?.rely;
-            const rootType = typeof root === 'object' && root !== null && 'type' in root
-                ? root.type
-                : typeof root === 'object' && root !== null && 'type' in root && root.type === 'file'
-                    ? 'file'
-                    : 'unknown';
-            const immutable_fields = ['table', 'root'];
-            if (rely)
-                immutable_fields.push('rely');
-            return {
-                level: "irreversible",
-                operation: ot,
-                object: data?.namedNew?.name,
-                network: env?.network,
-                account: env?.account ?? "",
-                immutable_after: immutable_fields,
-                irreversible: true,
-                warnings: [
-                    ...collectDefaultWarnings(env, data),
-                    `Guard is CREATE-only and immutable — cannot be edited or deleted after creation`,
-                    `Table entries: ${table.length} (max 256)`,
-                    `Root node type: ${rootType} (must return Bool)`,
-                    ...(rely ? [`Rely dependencies: ${rely.guards?.length ?? 0} (max 4, AND/OR logic)`] : []),
-                    `To modify later: export via guard2file → edit → CREATE new → rebind`,
-                ],
-            };
-        },
-        bypass_on_explicit_intent: [],
-    },
-    {
-        id: "guard_gen_passport_test",
-        when: (ot, _data, _env) => {
-            if (ot === "gen_passport")
-                return true;
-            return false;
-        },
-        level: "standard",
-        preview: (ot, data, env) => ({
-            level: "standard",
-            operation: ot,
-            object: data?.guard,
-            network: env?.network,
-            account: env?.account ?? "",
-            warnings: [
-                ...collectDefaultWarnings(env, data),
-                "gen_passport will consume gas for static testing",
-            ],
-        }),
-        bypass_on_explicit_intent: ["test guard", "testing guard", "gen passport", "generate passport"],
-    },
-];
-export function extractAmount(data) {
-    if (!data)
-        return null;
-    const candidates = [
-        data?.amount?.amount,
-        data?.amount?.balance,
-        data?.balance,
-        data?.amount,
-        data?.compensation_fund_add,
-        data?.deposit?.coin?.balance,
-        typeof data?.deposit?.coin?.coin === "string"
-            ? undefined
-            : data?.deposit?.coin?.coin?.balance,
-    ];
-    for (const c of candidates) {
-        if (c !== undefined && c !== null && c !== "")
-            return String(c);
-    }
-    return null;
-}
-export const OBJECT_REUSE_RULES = [
-    {
-        rule_id: "REUSE-001",
-        object_type: "permission",
-        recommendation: "strongly_recommended",
-        reason: "Centralized permission control across all services",
-        ask_user: "Do you have an existing Permission to reuse? Provide the name or ID.",
-    },
-    {
-        rule_id: "REUSE-002",
-        object_type: "machine",
-        recommendation: "recommended",
-        reason: "Save design time for similar processes",
-        ask_user: "Do you have an existing Machine whose workflow fits? Provide the name or ID.",
-    },
-    {
-        rule_id: "REUSE-003",
-        object_type: "guard",
-        recommendation: "recommended",
-        reason: "Avoid redundant validation rules",
-        ask_user: "Do you have an existing Guard with matching validation logic? Provide the name or ID.",
-    },
-    {
-        rule_id: "REUSE-004",
-        object_type: "contact",
-        recommendation: "recommended",
-        reason: "Single point of customer-service management",
-        ask_user: "Do you have an existing Contact for customer service? Provide the name or ID.",
-    },
-    {
-        rule_id: "REUSE-005",
-        object_type: "arbitration",
-        recommendation: "always_reuse",
-        reason: "Customers choose from established arbiters; creating a new Arbitration is an operator-level decision",
-        ask_user: "Which existing Arbitration service should disputes route to? Provide the name or ID.",
-    },
-];
-export const CREATE_VS_MODIFY_PATTERN = {
-    reuse_form: "string",
-    create_form: "object",
-    resolution_api: "GetObjectExisted",
-    note: "String reference = REUSE (name resolution failure is a hard error); object shape = CREATE (always).",
-};
-export const IMMUTABILITY_RULES = [
-    {
-        rule_id: "IMMUT-001",
-        object_type: "machine",
-        trigger: "publish",
-        immutable_fields: ["nodes", "pairs", "forwards"],
-        message: "Machine topology is immutable after publish — verify all nodes/forwards via machineNode2file BEFORE publishing",
-    },
-    {
-        rule_id: "IMMUT-002",
-        object_type: "service",
-        trigger: "publish",
-        immutable_fields: ["machine", "order_allocators", "arbitrations"],
-        mutable_after: ["sales"],
-        message: "Service.machine, order_allocators and arbitrations are frozen after publish; sales remains fully modifiable (L3) without pause",
-    },
-    {
-        rule_id: "IMMUT-003",
-        object_type: "guard",
-        trigger: "create",
-        immutable_fields: ["table", "root", "rely"],
-        message: "Guard is CREATE-only and immutable — cannot be edited or deleted after creation. To change: export via guard2file → edit → CREATE new → rebind",
-    },
-];
-export const OPERATION_TYPE_CLASSIFICATION = {
-    LOCAL_ONLY: [
-        "account_operation",
-        "local_mark_operation",
-        "local_info_operation",
-        "project_operation",
-        "config_operation",
-    ],
-    ONCHAIN: [
-        "onchain_operations",
-        "wip_file",
-        "bridge_operation",
-        "messenger_operation",
-    ],
-    QUERY: [
-        "query_toolkit",
-        "onchain_table_data",
-        "onchain_events",
-        "guard2file",
-        "machineNode2file",
-        "schema_query",
-        "wowok_buildin_info",
-        "trust_score",
-    ],
-    ENCRYPTED: [
-        "messenger_operation",
-    ],
-};
-export const OPERATION_CLASS_META = {
-    LOCAL_ONLY: { gas: false, confirmation_required: false, note: "Local state only — no gas, no confirmation needed" },
-    ONCHAIN: { gas: true, confirmation_required: true, note: "On-chain write — gas consumed, explicit user confirmation REQUIRED before execution" },
-    QUERY: { gas: false, confirmation_required: false, note: "Read-only — no gas, no confirmation needed" },
-    ENCRYPTED: { gas: false, confirmation_required: false, note: "Local encryption — no gas, no confirmation needed" },
-};
-export function classifyTool(toolName) {
-    if (OPERATION_TYPE_CLASSIFICATION.ENCRYPTED.includes(toolName))
-        return "ENCRYPTED";
-    for (const cls of ["LOCAL_ONLY", "ONCHAIN", "QUERY"]) {
-        if (OPERATION_TYPE_CLASSIFICATION[cls].includes(toolName))
-            return cls;
-    }
-    return undefined;
-}
-export const NAMING_CONVENTIONS = {
-    scheme: "<projectPrefix>_<type>_<purpose>_<version>",
-    parts: {
-        project_prefix: { example: "shopFunny_", purpose: "Prevents cross-project collisions" },
-        type_prefix: { example: "machine_ / guard_ / service_", purpose: "Clarifies object type" },
-        purpose_suffix: { example: "serviceWithdraw", purpose: "Describes function" },
-        version_suffix: { example: "_v2", purpose: "Enables iteration without replaceExistName" },
-    },
-    entry_id: { pattern: "^<object_type>:<name>$", example: "service:myshop_service" },
-    replace_exist_name: {
-        default: false,
-        false_effect: "Throws error if name is in use — safe default",
-        true_effect: "Existing object/account with the same name is suspended/unbound to free the name",
-        account_default_forbidden: "replaceExistName:true on the default account (name='') is FORBIDDEN — use suspend() explicitly",
-        recommendation: "DISCOURAGED — prefer versioned names (_v1, _v2) for production",
-    },
-    recommendations: [
-        "Always provide tags on object creation for filtering and management",
-        "Use names as primary identifiers; use short address form (0x1234...def) only for display",
-        "All cross-object references (Guard tables, Service bindings, Machine forwards) use NAMES — resolved per-network at build time",
-    ],
-};
-export function checkObjectReuseRules(planned) {
-    const risks = [];
-    for (const p of planned) {
-        if (!p.is_new)
-            continue;
-        const rule = OBJECT_REUSE_RULES.find((r) => r.object_type === p.object_type);
-        if (!rule)
-            continue;
-        if (rule.recommendation === "always_reuse" || rule.recommendation === "strongly_recommended") {
-            risks.push({
-                rule_id: rule.rule_id,
-                severity: rule.recommendation === "always_reuse" ? "warn" : "info",
-                message: `Creating NEW ${p.object_type}${p.name ? ` "${p.name}"` : ""} — reuse is ${rule.recommendation}: ${rule.reason}. ${rule.ask_user}`,
-            });
-        }
-    }
-    return risks;
-}
-export function checkImmutabilityRules(ops) {
-    const risks = [];
-    for (const op of ops) {
-        const rule = IMMUTABILITY_RULES.find((r) => r.object_type === op.object_type && r.trigger === op.trigger);
-        if (!rule)
-            continue;
-        risks.push({
-            rule_id: rule.rule_id,
-            severity: "warn",
-            message: `${op.object_type}${op.name ? ` "${op.name}"` : ""} ${op.trigger}: ${rule.message}. Immutable: [${rule.immutable_fields.join(", ")}]${rule.mutable_after ? `. Still mutable: [${rule.mutable_after.join(", ")}]` : ""}`,
-        });
-    }
-    return risks;
-}
-export const SAFETY_RULES_VERSION = 2;
+export const DEFAULT_VALUE_WARNINGS={'defaultAccount':'Using\x20default\x20account\x20(env.account=\x22\x22)','mainnet':'Operating\x20on\x20mainnet\x20—\x20irreversible','replaceExistName':'replaceExistName=true\x20will\x20unbind\x20the\x20existing\x20name\x20(breaking\x20refs)','defaultToken':'Using\x20default\x20token\x200x2::wow::WOW'};export const DEFAULT_AMOUNT_THRESHOLD=BigInt(0x174876e800);export function getAmountThreshold(){const a=process['env']['WOWOK_AMOUNT_THRESHOLD'];if(!a)return DEFAULT_AMOUNT_THRESHOLD;try{return BigInt(a);}catch{return DEFAULT_AMOUNT_THRESHOLD;}}const WOW_PRECISION=0x3b9aca00n;export function formatAmount(a,b=WOW_PRECISION){const c=typeof a==='string'?BigInt(a):a,d=c/b,e=c%b;if(e===0x0n)return''+d['toString']();const f=e['toString']()['padStart'](Number(b['toString']()['length'])-0x1,'0');return d['toString']()+'.'+f;}export function collectDefaultWarnings(a,b){const c=[],d=a?.['account'];(d===undefined||d==='')&&c['push'](DEFAULT_VALUE_WARNINGS['defaultAccount']);const e=a?.['network'];e&&/mainnet/i['test'](String(e))&&c['push'](DEFAULT_VALUE_WARNINGS['mainnet']);const f=b?.['namedNew']??b?.['object'];return f&&typeof f==='object'&&f['replaceExistName']===!![]&&c['push'](DEFAULT_VALUE_WARNINGS['replaceExistName']),c;}export const CONFIRMATION_RULES=[{'id':'irreversible_fund_or_verdict','when':(a,b,c)=>{if(a==='payment')return!![];if(a==='arbitration'&&b?.['arbitration']!==undefined)return!![];if(a==='treasury'){if(b?.['withdraw']||b?.['owner_receive'])return!![];if(b?.['external_withdraw']||b?.['external_deposit'])return!![];return![];}return![];},'level':'irreversible','preview':(a,b,c)=>({'level':'irreversible','operation':a,'irreversible':!![],'network':c?.['network'],'account':c?.['account']??'','warnings':collectDefaultWarnings(c,b),'amount':a==='payment'&&b?.['amount']?{'value':String(b['amount']['amount']??b['amount']['balance']??''),'token':b?.['token_type']??'0x2::wow::WOW','human_readable':formatAmount(String(b['amount']['amount']??b['amount']['balance']??'0')),'recipient':b?.['to']??b?.['recipient']}:undefined}),'bypass_on_explicit_intent':[]},{'id':'publish_immutable','when':(a,b,c)=>{if(a==='service'&&(b?.['publish']===!![]||b?.['bPublished']===!![]))return!![];if(a==='machine'&&b?.['publish']===!![])return!![];return![];},'level':'publish','preview':(a,b,c)=>({'level':'publish','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','immutable_after':a==='service'?['machine','order_allocators']:['nodes','pairs','forwards'],'warnings':collectDefaultWarnings(c,b)}),'bypass_on_explicit_intent':['force\x20publish','publish\x20now']},{'id':'amount_sensitive','when':(a,b,c)=>{const d=extractAmount(b);if(d===null)return![];if(a==='reward'||a==='treasury')return!![];if(a==='service'&&b?.['compensation_fund_add'])return!![];return![];},'level':'amount','preview':(a,b,c)=>{const d=extractAmount(b);return{'level':'amount','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','amount':d?{'value':d,'token':b?.['token_type']??'0x2::wow::WOW','human_readable':formatAmount(d)}:undefined,'warnings':collectDefaultWarnings(c,b)};},'bypass_on_explicit_intent':[]},{'id':'default_values','when':(a,b,c)=>{return collectDefaultWarnings(c,b)['length']>0x0;},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','warnings':collectDefaultWarnings(c,b)}),'bypass_on_explicit_intent':['use\x20default\x20account','default\x20account\x20is\x20fine','use\x20the\x20default\x20account','default\x20account\x20works\x20fine']},{'id':'guard_create_immutable','when':(a,b,c)=>{if(a==='guard')return!![];return![];},'level':'irreversible','preview':(a,b,c)=>{const d=b?.['table']??[],e=b?.['root'],f=b?.['rely'],g=typeof e==='object'&&e!==null&&'type'in e?e['type']:typeof e==='object'&&e!==null&&'type'in e&&e['type']==='file'?'file':'unknown',h=['table','root'];if(f)h['push']('rely');return{'level':'irreversible','operation':a,'object':b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','immutable_after':h,'irreversible':!![],'warnings':[...collectDefaultWarnings(c,b),'Guard\x20is\x20CREATE-only\x20and\x20immutable\x20—\x20cannot\x20be\x20edited\x20or\x20deleted\x20after\x20creation','Table\x20entries:\x20'+d['length']+'\x20(max\x20256)','Root\x20node\x20type:\x20'+g+'\x20(must\x20return\x20Bool)',...f?['Rely\x20dependencies:\x20'+(f['guards']?.['length']??0x0)+'\x20(max\x204,\x20AND/OR\x20logic)']:[],'To\x20modify\x20later:\x20export\x20via\x20guard2file\x20→\x20edit\x20→\x20CREATE\x20new\x20→\x20rebind']};},'bypass_on_explicit_intent':[]},{'id':'guard_gen_passport_test','when':(a,b,c)=>{if(a==='gen_passport')return!![];return![];},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['guard'],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),'gen_passport\x20will\x20consume\x20gas\x20for\x20static\x20testing']}),'bypass_on_explicit_intent':['test\x20guard','testing\x20guard','gen\x20passport','generate\x20passport']},{'id':'progress_advance','when':(a,b,c)=>{if(a!=='progress')return![];return b?.['operate']?.['op']==='next';},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['object'],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),'Advancing\x20the\x20progress\x20node\x20may\x20release\x20funds\x20per\x20the\x20machine\x20allocation']}),'bypass_on_explicit_intent':[]}];export function resolveOverrideId(a,b){if(a==='publish_immutable'){if(b==='service')return'service.publish';if(b==='machine')return'machine.publish';return undefined;}if(a==='progress_advance')return'node.advance';return undefined;}export function extractAmount(a){if(!a)return null;const b=[a?.['amount']?.['amount'],a?.['amount']?.['balance'],a?.['balance'],a?.['amount'],a?.['compensation_fund_add'],a?.['deposit']?.['coin']?.['balance'],typeof a?.['deposit']?.['coin']?.['coin']==='string'?undefined:a?.['deposit']?.['coin']?.['coin']?.['balance']];for(const d of b){if(d!==undefined&&d!==null&&d!=='')return String(d);}return null;}export const OBJECT_REUSE_RULES=[{'rule_id':'REUSE-001','object_type':'permission','recommendation':'strongly_recommended','reason':'Centralized\x20permission\x20control\x20across\x20all\x20services','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Permission\x20to\x20reuse?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-002','object_type':'machine','recommendation':'recommended','reason':'Save\x20design\x20time\x20for\x20similar\x20processes','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Machine\x20whose\x20workflow\x20fits?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-003','object_type':'guard','recommendation':'recommended','reason':'Avoid\x20redundant\x20validation\x20rules','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Guard\x20with\x20matching\x20validation\x20logic?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-004','object_type':'contact','recommendation':'recommended','reason':'Single\x20point\x20of\x20customer-service\x20management','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Contact\x20for\x20customer\x20service?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-005','object_type':'arbitration','recommendation':'always_reuse','reason':'Customers\x20choose\x20from\x20established\x20arbiters;\x20creating\x20a\x20new\x20Arbitration\x20is\x20an\x20operator-level\x20decision','ask_user':'Which\x20existing\x20Arbitration\x20service\x20should\x20disputes\x20route\x20to?\x20Provide\x20the\x20name\x20or\x20ID.'}];export const CREATE_VS_MODIFY_PATTERN={'reuse_form':'string','create_form':'object','resolution_api':'GetObjectExisted','note':'String\x20reference\x20=\x20REUSE\x20(name\x20resolution\x20failure\x20is\x20a\x20hard\x20error);\x20object\x20shape\x20=\x20CREATE\x20(always).'};export const IMMUTABILITY_RULES=[{'rule_id':'IMMUT-001','object_type':'machine','trigger':'publish','immutable_fields':['nodes','pairs','forwards'],'message':'Machine\x20topology\x20is\x20immutable\x20after\x20publish\x20—\x20verify\x20all\x20nodes/forwards\x20via\x20machineNode2file\x20BEFORE\x20publishing'},{'rule_id':'IMMUT-002','object_type':'service','trigger':'publish','immutable_fields':['machine','order_allocators','arbitrations'],'mutable_after':['sales'],'message':'Service.machine,\x20order_allocators\x20and\x20arbitrations\x20are\x20frozen\x20after\x20publish;\x20sales\x20remains\x20fully\x20modifiable\x20(L3)\x20without\x20pause'},{'rule_id':'IMMUT-003','object_type':'guard','trigger':'create','immutable_fields':['table','root','rely'],'message':'Guard\x20is\x20CREATE-only\x20and\x20immutable\x20—\x20cannot\x20be\x20edited\x20or\x20deleted\x20after\x20creation.\x20To\x20change:\x20export\x20via\x20guard2file\x20→\x20edit\x20→\x20CREATE\x20new\x20→\x20rebind'}];export const OPERATION_TYPE_CLASSIFICATION={'LOCAL_ONLY':['account_operation','local_mark_operation','local_info_operation','project_operation','config_operation'],'ONCHAIN':['onchain_operations','wip_file','bridge_operation','messenger_operation'],'QUERY':['query_toolkit','onchain_table_data','onchain_events','guard2file','machineNode2file','schema_query','wowok_buildin_info','trust_score'],'ENCRYPTED':['messenger_operation']};export const OPERATION_CLASS_META={'LOCAL_ONLY':{'gas':![],'confirmation_required':![],'note':'Local\x20state\x20only\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'},'ONCHAIN':{'gas':!![],'confirmation_required':!![],'note':'On-chain\x20write\x20—\x20gas\x20consumed,\x20explicit\x20user\x20confirmation\x20REQUIRED\x20before\x20execution'},'QUERY':{'gas':![],'confirmation_required':![],'note':'Read-only\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'},'ENCRYPTED':{'gas':![],'confirmation_required':![],'note':'Local\x20encryption\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'}};export function classifyTool(a){if(OPERATION_TYPE_CLASSIFICATION['ENCRYPTED']['includes'](a))return'ENCRYPTED';for(const b of['LOCAL_ONLY','ONCHAIN','QUERY']){if(OPERATION_TYPE_CLASSIFICATION[b]['includes'](a))return b;}return undefined;}export const NAMING_CONVENTIONS={'scheme':'<projectPrefix>_<type>_<purpose>_<version>','parts':{'project_prefix':{'example':'shopFunny_','purpose':'Prevents\x20cross-project\x20collisions'},'type_prefix':{'example':'machine_\x20/\x20guard_\x20/\x20service_','purpose':'Clarifies\x20object\x20type'},'purpose_suffix':{'example':'serviceWithdraw','purpose':'Describes\x20function'},'version_suffix':{'example':'_v2','purpose':'Enables\x20iteration\x20without\x20replaceExistName'}},'entry_id':{'pattern':'^<object_type>:<name>$','example':'service:myshop_service'},'replace_exist_name':{'default':![],'false_effect':'Throws\x20error\x20if\x20name\x20is\x20in\x20use\x20—\x20safe\x20default','true_effect':'Existing\x20object/account\x20with\x20the\x20same\x20name\x20is\x20suspended/unbound\x20to\x20free\x20the\x20name','account_default_forbidden':'replaceExistName:true\x20on\x20the\x20default\x20account\x20(name=\x27\x27)\x20is\x20FORBIDDEN\x20—\x20use\x20suspend()\x20explicitly','recommendation':'DISCOURAGED\x20—\x20prefer\x20versioned\x20names\x20(_v1,\x20_v2)\x20for\x20production'},'recommendations':['Always\x20provide\x20tags\x20on\x20object\x20creation\x20for\x20filtering\x20and\x20management','Use\x20names\x20as\x20primary\x20identifiers;\x20use\x20short\x20address\x20form\x20(0x1234...def)\x20only\x20for\x20display','All\x20cross-object\x20references\x20(Guard\x20tables,\x20Service\x20bindings,\x20Machine\x20forwards)\x20use\x20NAMES\x20—\x20resolved\x20per-network\x20at\x20build\x20time']};export function checkObjectReuseRules(a){const b=[];for(const c of a){if(!c['is_new'])continue;const d=OBJECT_REUSE_RULES['find'](e=>e['object_type']===c['object_type']);if(!d)continue;(d['recommendation']==='always_reuse'||d['recommendation']==='strongly_recommended')&&b['push']({'rule_id':d['rule_id'],'severity':d['recommendation']==='always_reuse'?'warn':'info','message':'Creating\x20NEW\x20'+c['object_type']+(c['name']?'\x20\x22'+c['name']+'\x22':'')+'\x20—\x20reuse\x20is\x20'+d['recommendation']+':\x20'+d['reason']+'.\x20'+d['ask_user']});}return b;}export function checkImmutabilityRules(a){const b=[];for(const c of a){const d=IMMUTABILITY_RULES['find'](e=>e['object_type']===c['object_type']&&e['trigger']===c['trigger']);if(!d)continue;b['push']({'rule_id':d['rule_id'],'severity':'warn','message':''+c['object_type']+(c['name']?'\x20\x22'+c['name']+'\x22':'')+'\x20'+c['trigger']+':\x20'+d['message']+'.\x20Immutable:\x20['+d['immutable_fields']['join'](',\x20')+']'+(d['mutable_after']?'.\x20Still\x20mutable:\x20['+d['mutable_after']['join'](',\x20')+']':'')});}return b;}export const SAFETY_RULES_VERSION=0x2;