@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/guard-migration.js

@@ -1,228 +1 @@
-const EQUAL_OPERATORS = new Set([
-    'logic_equal',
-    'logic_string_nocase_equal',
-    'logic_as_u256_equal',
-]);
-function mapOperatorToTarget(operator, valueType) {
-    if (valueType === 'String' || valueType === 2) {
-        if (operator === 'logic_string_nocase_equal') {
-            return { target: 'vec_contains_string_nocase', vecType: 'VecString' };
-        }
-        if (operator === 'logic_equal') {
-            return { target: 'vec_contains_string', vecType: 'VecString' };
-        }
-        return null;
-    }
-    if (valueType === 'Address' || valueType === 1) {
-        if (operator === 'logic_equal') {
-            return { target: 'vec_contains_address', vecType: 'VecAddress' };
-        }
-        return null;
-    }
-    if (valueType === 'Bool' || valueType === 0) {
-        if (operator === 'logic_equal') {
-            return { target: 'vec_contains_bool', vecType: 'VecBool' };
-        }
-        return null;
-    }
-    const numericTypes = new Set([
-        'U8', 'U16', 'U32', 'U64', 'U128', 'U256',
-        3, 4, 5, 6, 7, 8,
-    ]);
-    if (numericTypes.has(valueType)) {
-        if (operator === 'logic_equal' || operator === 'logic_as_u256_equal') {
-            return { target: 'vec_contains_number', vecType: 'VecU256' };
-        }
-        return null;
-    }
-    return null;
-}
-export function analyzeLogicOrConversion(orNode, table) {
-    const reasons = [];
-    if (orNode.type !== 'logic_or') {
-        return {
-            convertible: false,
-            reasons: [`Node type is '${orNode.type}', not 'logic_or'. Only logic_or nodes are candidates.`],
-        };
-    }
-    const children = orNode.nodes ?? [];
-    if (children.length < 2) {
-        return {
-            convertible: false,
-            reasons: [`logic_or has ${children.length} children; need at least 2 to convert.`],
-        };
-    }
-    if (children.length > 7) {
-        return {
-            convertible: false,
-            reasons: [
-                `logic_or has ${children.length} children; vec_contains_* supports at most 7 needles (1 haystack + 7 needles = 8 node limit). Keep the logic_or.`,
-            ],
-        };
-    }
-    const childOperators = new Set();
-    for (const child of children) {
-        if (!EQUAL_OPERATORS.has(child.type)) {
-            if (child.type === 'logic_string_contains' || child.type === 'logic_string_nocase_contains') {
-                reasons.push(`Child uses '${child.type}' (substring match). vec_contains_* is whole-element membership, NOT substring. Cannot convert.`);
-            }
-            else if (child.type?.startsWith('logic_as_u256_greater') || child.type?.startsWith('logic_as_u256_lesser')) {
-                reasons.push(`Child uses '${child.type}' (ordering comparison). vec_contains_* is membership, not ordering. Cannot convert.`);
-            }
-            else if (child.type === 'logic_and' || child.type === 'logic_or' || child.type === 'logic_not') {
-                reasons.push(`Child is a nested logic node ('${child.type}'). Only leaf equal-style comparisons are convertible.`);
-            }
-            else {
-                reasons.push(`Child uses '${child.type}' which is not an equal-style operator (logic_equal / logic_string_nocase_equal / logic_as_u256_equal).`);
-            }
-            return { convertible: false, reasons };
-        }
-        childOperators.add(child.type);
-    }
-    if (childOperators.size > 1) {
-        const opList = Array.from(childOperators).join(', ');
-        return {
-            convertible: false,
-            reasons: [
-                `Children use mixed operators: [${opList}]. Mixing case-sensitive (logic_equal) and case-insensitive (logic_string_nocase_equal) comparisons would change semantics. Keep the logic_or.`,
-            ],
-        };
-    }
-    const sharedOperator = children[0].type;
-    for (let i = 0; i < children.length; i++) {
-        const childNodes = children[i].nodes ?? [];
-        if (childNodes.length !== 2) {
-            return {
-                convertible: false,
-                reasons: [
-                    `Child ${i} ('${sharedOperator}') has ${childNodes.length} sub-nodes; expected exactly 2 (one constant side + one shared query side).`,
-                ],
-            };
-        }
-    }
-    const constants = [];
-    let sharedNode = null;
-    let sharedNodeSerial = null;
-    for (let i = 0; i < children.length; i++) {
-        const childNodes = children[i].nodes;
-        const left = childNodes[0];
-        const right = childNodes[1];
-        const leftIsConstId = left.type === 'identifier' && typeof left.identifier === 'number';
-        const rightIsConstId = right.type === 'identifier' && typeof right.identifier === 'number';
-        if (!leftIsConstId && !rightIsConstId) {
-            return {
-                convertible: false,
-                reasons: [
-                    `Child ${i} has no constant identifier side (both sub-nodes are non-identifier). Conversion requires one side to be a constant table entry.`,
-                ],
-            };
-        }
-        if (leftIsConstId && rightIsConstId) {
-            return {
-                convertible: false,
-                reasons: [
-                    `Child ${i} has two identifier sides. Conversion requires one side to be a non-constant (query/context/calc) node shared across all children.`,
-                ],
-            };
-        }
-        const constIdNode = leftIsConstId ? left : right;
-        const nonConstNode = leftIsConstId ? right : left;
-        const tableEntry = table.find((e) => e.identifier === constIdNode.identifier);
-        if (!tableEntry) {
-            return {
-                convertible: false,
-                reasons: [
-                    `Child ${i} references identifier[${constIdNode.identifier}] which is not in the table.`,
-                ],
-            };
-        }
-        if (tableEntry.b_submission !== false) {
-            return {
-                convertible: false,
-                reasons: [
-                    `Child ${i} references identifier[${constIdNode.identifier}] with b_submission=${tableEntry.b_submission}. Conversion requires compile-time constants (b_submission=false).`,
-                ],
-            };
-        }
-        if (tableEntry.value === undefined || tableEntry.value === null) {
-            return {
-                convertible: false,
-                reasons: [
-                    `Child ${i} references identifier[${constIdNode.identifier}] which has no 'value' field. Conversion requires explicit constant values.`,
-                ],
-            };
-        }
-        const nonConstSerial = JSON.stringify(nonConstNode);
-        if (sharedNodeSerial === null) {
-            sharedNodeSerial = nonConstSerial;
-            sharedNode = nonConstNode;
-        }
-        else if (sharedNodeSerial !== nonConstSerial) {
-            return {
-                convertible: false,
-                reasons: [
-                    `Child ${i}'s non-constant side differs from child 0's. All children must share the SAME non-constant node (same query, same convert_witness, same parameters). Keep the logic_or.`,
-                ],
-            };
-        }
-        constants.push({
-            identifier: constIdNode.identifier,
-            value: tableEntry.value,
-            value_type: String(tableEntry.value_type ?? ''),
-        });
-    }
-    const valueTypes = new Set(constants.map((c) => c.value_type));
-    if (valueTypes.size > 1) {
-        return {
-            convertible: false,
-            reasons: [
-                `Constants have mixed value_types: [${Array.from(valueTypes).join(', ')}]. All constants must share the same type to form a single VecXxx.`,
-            ],
-        };
-    }
-    const sharedValueType = constants[0].value_type;
-    const mapping = mapOperatorToTarget(sharedOperator, sharedValueType);
-    if (!mapping) {
-        return {
-            convertible: false,
-            reasons: [
-                `No vec_contains_* variant maps to operator='${sharedOperator}' with value_type='${sharedValueType}'. ` +
-                    `Mappable combinations: (logic_string_nocase_equal, String)→vec_contains_string_nocase; ` +
-                    `(logic_equal, String)→vec_contains_string; (logic_equal, Address)→vec_contains_address; ` +
-                    `(logic_equal, Bool)→vec_contains_bool; (logic_equal|logic_as_u256_equal, numeric)→vec_contains_number.`,
-            ],
-        };
-    }
-    return {
-        convertible: true,
-        targetOperator: mapping.target,
-        vectorValueType: mapping.vecType,
-        sharedNode: sharedNode ?? undefined,
-        constants,
-    };
-}
-export function buildShorthand(orNode, result, newIdentifier) {
-    if (!result.convertible || !result.targetOperator || !result.vectorValueType || !result.sharedNode || !result.constants) {
-        return null;
-    }
-    const values = result.constants.map((c) => c.value);
-    const removeIdentifiers = result.constants.map((c) => c.identifier);
-    const newRoot = {
-        type: result.targetOperator,
-        nodes: [
-            { type: 'identifier', identifier: newIdentifier },
-            result.sharedNode,
-        ],
-    };
-    return {
-        newRoot,
-        removeIdentifiers,
-        addEntry: {
-            identifier: newIdentifier,
-            b_submission: false,
-            value_type: result.vectorValueType,
-            value: values,
-            name: 'converted_constants',
-        },
-    };
-}
+const EQUAL_OPERATORS=new Set(['logic_equal','logic_string_nocase_equal','logic_as_u256_equal']);function mapOperatorToTarget(a,b){if(b==='String'||b===0x2){if(a==='logic_string_nocase_equal')return{'target':'vec_contains_string_nocase','vecType':'VecString'};if(a==='logic_equal')return{'target':'vec_contains_string','vecType':'VecString'};return null;}if(b==='Address'||b===0x1){if(a==='logic_equal')return{'target':'vec_contains_address','vecType':'VecAddress'};return null;}if(b==='Bool'||b===0x0){if(a==='logic_equal')return{'target':'vec_contains_bool','vecType':'VecBool'};return null;}const c=new Set(['U8','U16','U32','U64','U128','U256',0x3,0x4,0x5,0x6,0x7,0x8]);if(c['has'](b)){if(a==='logic_equal'||a==='logic_as_u256_equal')return{'target':'vec_contains_number','vecType':'VecU256'};return null;}return null;}export function analyzeLogicOrConversion(a,b){const c=[];if(a['type']!=='logic_or')return{'convertible':![],'reasons':['Node\x20type\x20is\x20\x27'+a['type']+'\x27,\x20not\x20\x27logic_or\x27.\x20Only\x20logic_or\x20nodes\x20are\x20candidates.']};const d=a['nodes']??[];if(d['length']<0x2)return{'convertible':![],'reasons':['logic_or\x20has\x20'+d['length']+'\x20children;\x20need\x20at\x20least\x202\x20to\x20convert.']};if(d['length']>0x7)return{'convertible':![],'reasons':['logic_or\x20has\x20'+d['length']+'\x20children;\x20vec_contains_*\x20supports\x20at\x20most\x207\x20needles\x20(1\x20haystack\x20+\x207\x20needles\x20=\x208\x20node\x20limit).\x20Keep\x20the\x20logic_or.']};const e=new Set();for(const n of d){if(!EQUAL_OPERATORS['has'](n['type'])){if(n['type']==='logic_string_contains'||n['type']==='logic_string_nocase_contains')c['push']('Child\x20uses\x20\x27'+n['type']+'\x27\x20(substring\x20match).\x20vec_contains_*\x20is\x20whole-element\x20membership,\x20NOT\x20substring.\x20Cannot\x20convert.');else{if(n['type']?.['startsWith']('logic_as_u256_greater')||n['type']?.['startsWith']('logic_as_u256_lesser'))c['push']('Child\x20uses\x20\x27'+n['type']+'\x27\x20(ordering\x20comparison).\x20vec_contains_*\x20is\x20membership,\x20not\x20ordering.\x20Cannot\x20convert.');else n['type']==='logic_and'||n['type']==='logic_or'||n['type']==='logic_not'?c['push']('Child\x20is\x20a\x20nested\x20logic\x20node\x20(\x27'+n['type']+'\x27).\x20Only\x20leaf\x20equal-style\x20comparisons\x20are\x20convertible.'):c['push']('Child\x20uses\x20\x27'+n['type']+'\x27\x20which\x20is\x20not\x20an\x20equal-style\x20operator\x20(logic_equal\x20/\x20logic_string_nocase_equal\x20/\x20logic_as_u256_equal).');}return{'convertible':![],'reasons':c};}e['add'](n['type']);}if(e['size']>0x1){const o=Array['from'](e)['join'](',\x20');return{'convertible':![],'reasons':['Children\x20use\x20mixed\x20operators:\x20['+o+'].\x20Mixing\x20case-sensitive\x20(logic_equal)\x20and\x20case-insensitive\x20(logic_string_nocase_equal)\x20comparisons\x20would\x20change\x20semantics.\x20Keep\x20the\x20logic_or.']};}const f=d[0x0]['type'];for(let p=0x0;p<d['length'];p++){const q=d[p]['nodes']??[];if(q['length']!==0x2)return{'convertible':![],'reasons':['Child\x20'+p+'\x20(\x27'+f+'\x27)\x20has\x20'+q['length']+'\x20sub-nodes;\x20expected\x20exactly\x202\x20(one\x20constant\x20side\x20+\x20one\x20shared\x20query\x20side).']};}const g=[];let h=null,j=null;for(let r=0x0;r<d['length'];r++){const s=d[r]['nodes'],t=s[0x0],u=s[0x1],v=t['type']==='identifier'&&typeof t['identifier']==='number',w=u['type']==='identifier'&&typeof u['identifier']==='number';if(!v&&!w)return{'convertible':![],'reasons':['Child\x20'+r+'\x20has\x20no\x20constant\x20identifier\x20side\x20(both\x20sub-nodes\x20are\x20non-identifier).\x20Conversion\x20requires\x20one\x20side\x20to\x20be\x20a\x20constant\x20table\x20entry.']};if(v&&w)return{'convertible':![],'reasons':['Child\x20'+r+'\x20has\x20two\x20identifier\x20sides.\x20Conversion\x20requires\x20one\x20side\x20to\x20be\x20a\x20non-constant\x20(query/context/calc)\x20node\x20shared\x20across\x20all\x20children.']};const x=v?t:u,y=v?u:t,z=b['find'](B=>B['identifier']===x['identifier']);if(!z)return{'convertible':![],'reasons':['Child\x20'+r+'\x20references\x20identifier['+x['identifier']+']\x20which\x20is\x20not\x20in\x20the\x20table.']};if(z['b_submission']!==![])return{'convertible':![],'reasons':['Child\x20'+r+'\x20references\x20identifier['+x['identifier']+']\x20with\x20b_submission='+z['b_submission']+'.\x20Conversion\x20requires\x20compile-time\x20constants\x20(b_submission=false).']};if(z['value']===undefined||z['value']===null)return{'convertible':![],'reasons':['Child\x20'+r+'\x20references\x20identifier['+x['identifier']+']\x20which\x20has\x20no\x20\x27value\x27\x20field.\x20Conversion\x20requires\x20explicit\x20constant\x20values.']};const A=JSON['stringify'](y);if(j===null)j=A,h=y;else{if(j!==A)return{'convertible':![],'reasons':['Child\x20'+r+'\x27s\x20non-constant\x20side\x20differs\x20from\x20child\x200\x27s.\x20All\x20children\x20must\x20share\x20the\x20SAME\x20non-constant\x20node\x20(same\x20query,\x20same\x20convert_witness,\x20same\x20parameters).\x20Keep\x20the\x20logic_or.']};}g['push']({'identifier':x['identifier'],'value':z['value'],'value_type':String(z['value_type']??'')});}const k=new Set(g['map'](B=>B['value_type']));if(k['size']>0x1)return{'convertible':![],'reasons':['Constants\x20have\x20mixed\x20value_types:\x20['+Array['from'](k)['join'](',\x20')+'].\x20All\x20constants\x20must\x20share\x20the\x20same\x20type\x20to\x20form\x20a\x20single\x20VecXxx.']};const l=g[0x0]['value_type'],m=mapOperatorToTarget(f,l);if(!m)return{'convertible':![],'reasons':['No\x20vec_contains_*\x20variant\x20maps\x20to\x20operator=\x27'+f+'\x27\x20with\x20value_type=\x27'+l+'\x27.\x20'+'Mappable\x20combinations:\x20(logic_string_nocase_equal,\x20String)→vec_contains_string_nocase;\x20'+'(logic_equal,\x20String)→vec_contains_string;\x20(logic_equal,\x20Address)→vec_contains_address;\x20'+'(logic_equal,\x20Bool)→vec_contains_bool;\x20(logic_equal|logic_as_u256_equal,\x20numeric)→vec_contains_number.']};return{'convertible':!![],'targetOperator':m['target'],'vectorValueType':m['vecType'],'sharedNode':h??undefined,'constants':g};}export function buildShorthand(a,b,c){if(!b['convertible']||!b['targetOperator']||!b['vectorValueType']||!b['sharedNode']||!b['constants'])return null;const d=b['constants']['map'](g=>g['value']),e=b['constants']['map'](g=>g['identifier']),f={'type':b['targetOperator'],'nodes':[{'type':'identifier','identifier':c},b['sharedNode']]};return{'newRoot':f,'removeIdentifiers':e,'addEntry':{'identifier':c,'b_submission':![],'value_type':b['vectorValueType'],'value':d,'name':'converted_constants'}};}