@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/passport-puzzle.js

@@ -1,333 +1 @@
-import { MAX_GUARD_COUNT_PASSPORT, MAX_SUBMISSION_SIZE_PASSPORT, } from "./passport-ledger.js";
-export function initPuzzleFromIntent(intent) {
-    const puzzle = {};
-    if (intent.protected_operation || intent.verification_rules || intent.consumer_object) {
-        puzzle.intent = {
-            protected_operation: intent.protected_operation ?? "",
-            consumer_object: intent.consumer_object ?? "Service",
-            verification_rules: intent.verification_rules ?? [],
-            failure_conditions: intent.failure_conditions ?? [],
-        };
-    }
-    puzzle.verify = {
-        tx_hash_binding: true,
-        has_verified: false,
-        verify_flow: buildDefaultVerifyFlow(),
-    };
-    puzzle.lifecycle = {
-        stages: buildDefaultLifecycleStages(),
-        terminal_state: "undecided",
-        destroy_before_freeze: true,
-    };
-    return puzzle;
-}
-export function checkPuzzleCompleteness(puzzle) {
-    const missing = [];
-    const missing_details = [];
-    if (!puzzle.intent) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "Intent not specified (protected_operation + verification_rules)" });
-    }
-    else if (!puzzle.intent.protected_operation) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "protected_operation is empty" });
-    }
-    else if (puzzle.intent.verification_rules.length === 0) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "verification_rules is empty — what should each Guard check?" });
-    }
-    if (!puzzle.binding) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: "Binding not specified (guard_objects + impack_flags + relies)" });
-    }
-    else if (puzzle.binding.guard_objects.length === 0) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: "guard_objects is empty — at least 1 Guard required" });
-    }
-    else if (!puzzle.binding.impack_flags.some(f => f)) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: "No impack=true Guard — at least 1 required (E_IMPACK_GUARD_NOT_FOUND)" });
-    }
-    else if (puzzle.binding.guard_objects.length > MAX_GUARD_COUNT_PASSPORT) {
-        missing.push("B");
-        missing_details.push({ dimension: "B", reason: `guard_objects count ${puzzle.binding.guard_objects.length} > MAX_GUARD_COUNT_PASSPORT=${MAX_GUARD_COUNT_PASSPORT}` });
-    }
-    if (!puzzle.submission) {
-        missing.push("C");
-        missing_details.push({ dimension: "C", reason: "Submission not specified (per-Guard identifier + value + value_type)" });
-    }
-    else if (!puzzle.submission.size_ok) {
-        missing.push("C");
-        missing_details.push({
-            dimension: "C",
-            reason: `max_entry_size ${puzzle.submission.max_entry_size} > MAX_SUBMISSION_SIZE_PASSPORT=${MAX_SUBMISSION_SIZE_PASSPORT}`,
-        });
-    }
-    if (!puzzle.verify) {
-        missing.push("D");
-        missing_details.push({ dimension: "D", reason: "Verify dimension not initialized (should be auto-filled)" });
-    }
-    if (!puzzle.result) {
-        missing.push("E");
-        missing_details.push({ dimension: "E", reason: "Result computation not derived (call buildResultPuzzle from binding)" });
-    }
-    if (!puzzle.lifecycle) {
-        missing.push("F");
-        missing_details.push({ dimension: "F", reason: "Lifecycle not initialized (should be auto-filled)" });
-    }
-    return {
-        dimensions: ["A", "B", "C", "D", "E", "F"],
-        missing,
-        missing_details,
-        complete: missing.length === 0,
-        next_step: missing.length === 0
-            ? "Puzzle complete — ready for confirmation text generation"
-            : `Next: complete dimension ${missing[0]} — ${missing_details[0].reason}`,
-    };
-}
-export function validateConstraints(puzzle) {
-    const violations = [];
-    if (puzzle.binding && puzzle.binding.guard_objects.length > MAX_GUARD_COUNT_PASSPORT) {
-        violations.push({
-            constraint_id: "F-PASS-04",
-            severity: "CRITICAL",
-            message: `Guard count ${puzzle.binding.guard_objects.length} exceeds MAX_GUARD_COUNT_PASSPORT=${MAX_GUARD_COUNT_PASSPORT}`,
-            current_value: puzzle.binding.guard_objects.length,
-            limit: MAX_GUARD_COUNT_PASSPORT,
-            related_move_error: "E_GUARD_COUNT_EXCEEDED (1)",
-        });
-    }
-    if (puzzle.binding && !puzzle.binding.impack_flags.some(f => f)) {
-        violations.push({
-            constraint_id: "F-PASS-07",
-            severity: "CRITICAL",
-            message: "No impack=true Guard — verify() will abort E_IMPACK_GUARD_NOT_FOUND",
-            related_move_error: "E_IMPACK_GUARD_NOT_FOUND (9)",
-        });
-    }
-    if (puzzle.binding) {
-        const added = new Set();
-        for (let i = 0; i < puzzle.binding.guard_objects.length; i++) {
-            const guard = puzzle.binding.guard_objects[i];
-            const relies = puzzle.binding.relies_dependencies[i] ?? [];
-            for (const rely of relies) {
-                if (!added.has(rely)) {
-                    violations.push({
-                        constraint_id: "F-PASS-06",
-                        severity: "HIGH",
-                        message: `Guard ${guard} (index ${i}) relies on ${rely}, but ${rely} is not added before it (topological order violated)`,
-                        related_move_error: "E_RELIES_GUARD_NOT_ADDED (2)",
-                    });
-                }
-            }
-            added.add(guard);
-        }
-    }
-    if (puzzle.submission && !puzzle.submission.size_ok) {
-        violations.push({
-            constraint_id: "F-PASS-05",
-            severity: "HIGH",
-            message: `Submission max entry size ${puzzle.submission.max_entry_size} > MAX_SUBMISSION_SIZE_PASSPORT=${MAX_SUBMISSION_SIZE_PASSPORT}`,
-            current_value: puzzle.submission.max_entry_size,
-            limit: MAX_SUBMISSION_SIZE_PASSPORT,
-            related_move_error: "E_SUBMISSION_SIZE_EXCEEDED (3)",
-        });
-    }
-    if (puzzle.binding) {
-        const guardToRelies = new Map();
-        for (let i = 0; i < puzzle.binding.guard_objects.length; i++) {
-            guardToRelies.set(puzzle.binding.guard_objects[i], puzzle.binding.relies_dependencies[i] ?? []);
-        }
-        for (let i = 0; i < puzzle.binding.guard_objects.length; i++) {
-            const guard = puzzle.binding.guard_objects[i];
-            const relies = puzzle.binding.relies_dependencies[i] ?? [];
-            for (const rely of relies) {
-                const relyOfRely = guardToRelies.get(rely) ?? [];
-                if (relyOfRely.length > 0) {
-                    violations.push({
-                        constraint_id: "F-PASS-12",
-                        severity: "LOW",
-                        message: `Guard ${guard} relies on ${rely}, but ${rely} itself has relies ${JSON.stringify(relyOfRely)} — transitive dependencies are not allowed`,
-                    });
-                }
-            }
-        }
-    }
-    return violations;
-}
-export function buildResultPuzzle(binding) {
-    const impackGuards = binding.guard_objects.filter((_, i) => binding.impack_flags[i]);
-    const perGuardLogic = binding.guard_objects.map((guard, i) => {
-        const impack = binding.impack_flags[i] ? "impack" : "non_impack";
-        const logic = binding.relies_logic[i] ?? "AND";
-        const relies = binding.relies_dependencies[i] ?? [];
-        const relyPart = relies.length === 0
-            ? "(no relies)"
-            : relies.map(r => `${r}.result`).join(` ${logic} `);
-        const computation = relies.length === 0
-            ? `${guard}.result (standalone)`
-            : `${relyPart} ${logic} ${guard}.result`;
-        return { guard, impack, relies_logic: logic, relies_guards: relies, computation };
-    });
-    const overallFormula = impackGuards.length === 0
-        ? "result = false (no impack Guard — E_IMPACK_GUARD_NOT_FOUND)"
-        : `result = AND(${impackGuards.map(g => `${g}.result`).join(", ")})`;
-    return {
-        decision_rule: "impack_mechanism",
-        impack_guards: impackGuards,
-        per_guard_logic: perGuardLogic,
-        overall_formula: overallFormula,
-    };
-}
-export function buildDefaultVerifyFlow() {
-    return [
-        { step: 1, action: "pre_check", description: "assert !has_verified (E_HAS_VERIFIED), tx_hash matches (E_DIGEST_NOT_MATCH)" },
-        { step: 2, action: "iterate_guards", description: "for each GuardInfo in self.guard (in addition order)" },
-        { step: 3, action: "calc_relies_result", description: "calculate relies result via AND/OR logic; short-circuit on AND-false or OR-true" },
-        { step: 4, action: "verify_guard_native", description: "guard::verify_guard(guard, submission, impack) — native function, opaque" },
-        { step: 5, action: "check_submission_size", description: "assert BCS submission size ≤ MAX_SUBMISSION_SIZE_PASSPORT=256 (E_SUBMISSION_SIZE_EXCEEDED)" },
-        { step: 6, action: "impack_decision", description: "if impack=true and result=false → set self.result=false, return immediately" },
-        { step: 7, action: "finalize", description: "assert at least 1 impack Guard (E_IMPACK_GUARD_NOT_FOUND); set has_verified=true, self.result=true" },
-    ];
-}
-export function buildDefaultLifecycleStages() {
-    return [
-        { stage: "new", description: "passport::new(clock, ctx) — create Passport, bind tx_hash", completed: false },
-        { stage: "guard_add", description: "passport::guard_add(self, guard, identifiers, values, impack, ctx) — add Guards (repeatable, pre-verify)", completed: false },
-        { stage: "verify", description: "passport::verify(self, ctx) — one-time verification, sets has_verified=true", completed: false },
-        { stage: "use", description: "passport::result / result_for_guard / result_for_permission / submission_get — query results", completed: false },
-        { stage: "freeze_or_destroy", description: "passport::freezen(self) [permanent] OR passport::destroy(self) [release]", completed: false },
-    ];
-}
-export function generateConfirmationText(puzzle) {
-    const lines = [];
-    lines.push("═══ Passport Confirmation ═══");
-    lines.push("");
-    if (puzzle.intent) {
-        lines.push("─ A. Intent ──────────────");
-        lines.push(`Protected operation: ${puzzle.intent.protected_operation}`);
-        lines.push(`Consumer object: ${puzzle.intent.consumer_object}`);
-        if (puzzle.intent.verification_rules.length > 0) {
-            lines.push("Verification rules:");
-            for (const r of puzzle.intent.verification_rules)
-                lines.push(`  - ${r}`);
-        }
-        if (puzzle.intent.failure_conditions.length > 0) {
-            lines.push("Failure conditions:");
-            for (const fc of puzzle.intent.failure_conditions)
-                lines.push(`  - ${fc}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.binding) {
-        const b = puzzle.binding;
-        lines.push("─ B. Binding ──────────────");
-        lines.push(`Guards (${b.guard_objects.length}/${MAX_GUARD_COUNT_PASSPORT}):`);
-        b.guard_objects.forEach((g, i) => {
-            const impack = b.impack_flags[i] ? "IMPACK" : "non-impack";
-            const relies = b.relies_dependencies[i] ?? [];
-            const logic = b.relies_logic[i] ?? "AND";
-            const relyStr = relies.length === 0 ? "" : ` relies=${JSON.stringify(relies)} (${logic})`;
-            lines.push(`  [${i}] ${g} — ${impack}${relyStr}`);
-        });
-        if (b.topological_order.length > 0) {
-            lines.push(`Topological order: ${b.topological_order.join(" → ")}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.submission) {
-        const s = puzzle.submission;
-        lines.push("─ C. Submission ──────────────");
-        lines.push(`Entries: ${s.submissions.length}, max entry size: ${s.max_entry_size}/${MAX_SUBMISSION_SIZE_PASSPORT} bytes (${s.size_ok ? "OK" : "EXCEEDS"})`);
-        for (const sub of s.submissions) {
-            lines.push(`  - guard=${sub.guard}, identifier=${sub.identifier}, value_type=${sub.value_type}, size=${sub.estimated_size}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.verify) {
-        const v = puzzle.verify;
-        lines.push("─ D. Verify ──────────────");
-        lines.push(`tx_hash binding: ${v.tx_hash_binding ? "YES (Move-level hard-coded)" : "NO"}`);
-        lines.push(`has_verified: ${v.has_verified}`);
-        lines.push(`Verify flow (${v.verify_flow.length} steps):`);
-        for (const step of v.verify_flow) {
-            lines.push(`  ${step.step}. ${step.action}: ${step.description}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.result) {
-        const r = puzzle.result;
-        lines.push("─ E. Result ──────────────");
-        lines.push(`Decision rule: ${r.decision_rule}`);
-        lines.push(`impack Guards: ${r.impack_guards.length === 0 ? "(none — will fail verify)" : r.impack_guards.join(", ")}`);
-        lines.push(`Overall formula: ${r.overall_formula}`);
-        if (r.per_guard_logic.length > 0) {
-            lines.push("Per-Guard logic:");
-            for (const pgl of r.per_guard_logic) {
-                lines.push(`  - ${pgl.guard} (${pgl.impack}, ${pgl.relies_logic}): ${pgl.computation}`);
-            }
-        }
-        lines.push("");
-    }
-    if (puzzle.lifecycle) {
-        const l = puzzle.lifecycle;
-        lines.push("─ F. Lifecycle ──────────────");
-        lines.push(`Terminal state: ${l.terminal_state}`);
-        for (const stage of l.stages) {
-            const mark = stage.completed ? "✓" : "○";
-            lines.push(`  ${mark} ${stage.stage}: ${stage.description}`);
-        }
-        lines.push("");
-    }
-    const violations = validateConstraints(puzzle);
-    if (violations.length > 0) {
-        lines.push("─ Constraint Violations ──────────────");
-        for (const v of violations) {
-            lines.push(`  [${v.severity}] ${v.constraint_id}: ${v.message}`);
-        }
-        lines.push("");
-    }
-    return lines.join("\n");
-}
-export function buildPassportPuzzle(input) {
-    const puzzle = initPuzzleFromIntent(input.intent);
-    const topological_order = computeTopologicalOrder(input.binding.guard_objects, input.binding.relies_dependencies ?? input.binding.guard_objects.map(() => []));
-    puzzle.binding = {
-        guard_objects: input.binding.guard_objects,
-        impack_flags: input.binding.impack_flags,
-        relies_dependencies: input.binding.relies_dependencies ?? input.binding.guard_objects.map(() => []),
-        relies_logic: input.binding.relies_logic ?? input.binding.guard_objects.map(() => "AND"),
-        topological_order,
-    };
-    const maxEntrySize = input.submission.reduce((max, s) => Math.max(max, s.estimated_size), 0);
-    puzzle.submission = {
-        submissions: input.submission,
-        max_entry_size: maxEntrySize,
-        size_ok: maxEntrySize <= MAX_SUBMISSION_SIZE_PASSPORT,
-    };
-    puzzle.result = buildResultPuzzle(puzzle.binding);
-    if (input.terminal_state) {
-        puzzle.lifecycle.terminal_state = input.terminal_state;
-    }
-    return puzzle;
-}
-function computeTopologicalOrder(guard_objects, relies_dependencies) {
-    const order = [];
-    const added = new Set();
-    for (let i = 0; i < guard_objects.length; i++) {
-        const guard = guard_objects[i];
-        const relies = relies_dependencies[i] ?? [];
-        for (const rely of relies) {
-            if (!added.has(rely) && guard_objects.includes(rely)) {
-                order.push(rely);
-                added.add(rely);
-            }
-        }
-        if (!added.has(guard)) {
-            order.push(guard);
-            added.add(guard);
-        }
-    }
-    return order;
-}
-export const PASSPORT_PUZZLE_VERSION = "1.0.0";
+import{MAX_GUARD_COUNT_PASSPORT,MAX_SUBMISSION_SIZE_PASSPORT}from'./passport-ledger.js';export function initPuzzleFromIntent(a){const b={};return(a['protected_operation']||a['verification_rules']||a['consumer_object'])&&(b['intent']={'protected_operation':a['protected_operation']??'','consumer_object':a['consumer_object']??'Service','verification_rules':a['verification_rules']??[],'failure_conditions':a['failure_conditions']??[]}),b['verify']={'tx_hash_binding':!![],'has_verified':![],'verify_flow':buildDefaultVerifyFlow()},b['lifecycle']={'stages':buildDefaultLifecycleStages(),'terminal_state':'undecided','destroy_before_freeze':!![]},b;}export function checkPuzzleCompleteness(a){const b=[],c=[];if(!a['intent'])b['push']('A'),c['push']({'dimension':'A','reason':'Intent\x20not\x20specified\x20(protected_operation\x20+\x20verification_rules)'});else{if(!a['intent']['protected_operation'])b['push']('A'),c['push']({'dimension':'A','reason':'protected_operation\x20is\x20empty'});else a['intent']['verification_rules']['length']===0x0&&(b['push']('A'),c['push']({'dimension':'A','reason':'verification_rules\x20is\x20empty\x20—\x20what\x20should\x20each\x20Guard\x20check?'}));}if(!a['binding'])b['push']('B'),c['push']({'dimension':'B','reason':'Binding\x20not\x20specified\x20(guard_objects\x20+\x20impack_flags\x20+\x20relies)'});else{if(a['binding']['guard_objects']['length']===0x0)b['push']('B'),c['push']({'dimension':'B','reason':'guard_objects\x20is\x20empty\x20—\x20at\x20least\x201\x20Guard\x20required'});else{if(!a['binding']['impack_flags']['some'](d=>d))b['push']('B'),c['push']({'dimension':'B','reason':'No\x20impack=true\x20Guard\x20—\x20at\x20least\x201\x20required\x20(E_IMPACK_GUARD_NOT_FOUND)'});else a['binding']['guard_objects']['length']>MAX_GUARD_COUNT_PASSPORT&&(b['push']('B'),c['push']({'dimension':'B','reason':'guard_objects\x20count\x20'+a['binding']['guard_objects']['length']+'\x20>\x20MAX_GUARD_COUNT_PASSPORT='+MAX_GUARD_COUNT_PASSPORT}));}}if(!a['submission'])b['push']('C'),c['push']({'dimension':'C','reason':'Submission\x20not\x20specified\x20(per-Guard\x20identifier\x20+\x20value\x20+\x20value_type)'});else!a['submission']['size_ok']&&(b['push']('C'),c['push']({'dimension':'C','reason':'max_entry_size\x20'+a['submission']['max_entry_size']+'\x20>\x20MAX_SUBMISSION_SIZE_PASSPORT='+MAX_SUBMISSION_SIZE_PASSPORT}));return!a['verify']&&(b['push']('D'),c['push']({'dimension':'D','reason':'Verify\x20dimension\x20not\x20initialized\x20(should\x20be\x20auto-filled)'})),!a['result']&&(b['push']('E'),c['push']({'dimension':'E','reason':'Result\x20computation\x20not\x20derived\x20(call\x20buildResultPuzzle\x20from\x20binding)'})),!a['lifecycle']&&(b['push']('F'),c['push']({'dimension':'F','reason':'Lifecycle\x20not\x20initialized\x20(should\x20be\x20auto-filled)'})),{'dimensions':['A','B','C','D','E','F'],'missing':b,'missing_details':c,'complete':b['length']===0x0,'next_step':b['length']===0x0?'Puzzle\x20complete\x20—\x20ready\x20for\x20confirmation\x20text\x20generation':'Next:\x20complete\x20dimension\x20'+b[0x0]+'\x20—\x20'+c[0x0]['reason']};}export function validateConstraints(a){const b=[];a['binding']&&a['binding']['guard_objects']['length']>MAX_GUARD_COUNT_PASSPORT&&b['push']({'constraint_id':'F-PASS-04','severity':'CRITICAL','message':'Guard\x20count\x20'+a['binding']['guard_objects']['length']+'\x20exceeds\x20MAX_GUARD_COUNT_PASSPORT='+MAX_GUARD_COUNT_PASSPORT,'current_value':a['binding']['guard_objects']['length'],'limit':MAX_GUARD_COUNT_PASSPORT,'related_move_error':'E_GUARD_COUNT_EXCEEDED\x20(1)'});a['binding']&&!a['binding']['impack_flags']['some'](c=>c)&&b['push']({'constraint_id':'F-PASS-07','severity':'CRITICAL','message':'No\x20impack=true\x20Guard\x20—\x20verify()\x20will\x20abort\x20E_IMPACK_GUARD_NOT_FOUND','related_move_error':'E_IMPACK_GUARD_NOT_FOUND\x20(9)'});if(a['binding']){const c=new Set();for(let d=0x0;d<a['binding']['guard_objects']['length'];d++){const e=a['binding']['guard_objects'][d],f=a['binding']['relies_dependencies'][d]??[];for(const g of f){!c['has'](g)&&b['push']({'constraint_id':'F-PASS-06','severity':'HIGH','message':'Guard\x20'+e+'\x20(index\x20'+d+')\x20relies\x20on\x20'+g+',\x20but\x20'+g+'\x20is\x20not\x20added\x20before\x20it\x20(topological\x20order\x20violated)','related_move_error':'E_RELIES_GUARD_NOT_ADDED\x20(2)'});}c['add'](e);}}a['submission']&&!a['submission']['size_ok']&&b['push']({'constraint_id':'F-PASS-05','severity':'HIGH','message':'Submission\x20max\x20entry\x20size\x20'+a['submission']['max_entry_size']+'\x20>\x20MAX_SUBMISSION_SIZE_PASSPORT='+MAX_SUBMISSION_SIZE_PASSPORT,'current_value':a['submission']['max_entry_size'],'limit':MAX_SUBMISSION_SIZE_PASSPORT,'related_move_error':'E_SUBMISSION_SIZE_EXCEEDED\x20(3)'});if(a['binding']){const h=new Map();for(let j=0x0;j<a['binding']['guard_objects']['length'];j++){h['set'](a['binding']['guard_objects'][j],a['binding']['relies_dependencies'][j]??[]);}for(let k=0x0;k<a['binding']['guard_objects']['length'];k++){const l=a['binding']['guard_objects'][k],m=a['binding']['relies_dependencies'][k]??[];for(const n of m){const o=h['get'](n)??[];o['length']>0x0&&b['push']({'constraint_id':'F-PASS-12','severity':'LOW','message':'Guard\x20'+l+'\x20relies\x20on\x20'+n+',\x20but\x20'+n+'\x20itself\x20has\x20relies\x20'+JSON['stringify'](o)+'\x20—\x20transitive\x20dependencies\x20are\x20not\x20allowed'});}}}return b;}export function buildResultPuzzle(a){const b=a['guard_objects']['filter']((e,f)=>a['impack_flags'][f]),c=a['guard_objects']['map']((e,f)=>{const g=a['impack_flags'][f]?'impack':'non_impack',h=a['relies_logic'][f]??'AND',j=a['relies_dependencies'][f]??[],k=j['length']===0x0?'(no\x20relies)':j['map'](m=>m+'.result')['join']('\x20'+h+'\x20'),l=j['length']===0x0?e+'.result\x20(standalone)':k+'\x20'+h+'\x20'+e+'.result';return{'guard':e,'impack':g,'relies_logic':h,'relies_guards':j,'computation':l};}),d=b['length']===0x0?'result\x20=\x20false\x20(no\x20impack\x20Guard\x20—\x20E_IMPACK_GUARD_NOT_FOUND)':'result\x20=\x20AND('+b['map'](e=>e+'.result')['join'](',\x20')+')';return{'decision_rule':'impack_mechanism','impack_guards':b,'per_guard_logic':c,'overall_formula':d};}export function buildDefaultVerifyFlow(){return[{'step':0x1,'action':'pre_check','description':'assert\x20!has_verified\x20(E_HAS_VERIFIED),\x20tx_hash\x20matches\x20(E_DIGEST_NOT_MATCH)'},{'step':0x2,'action':'iterate_guards','description':'for\x20each\x20GuardInfo\x20in\x20self.guard\x20(in\x20addition\x20order)'},{'step':0x3,'action':'calc_relies_result','description':'calculate\x20relies\x20result\x20via\x20AND/OR\x20logic;\x20short-circuit\x20on\x20AND-false\x20or\x20OR-true'},{'step':0x4,'action':'verify_guard_native','description':'guard::verify_guard(guard,\x20submission,\x20impack)\x20—\x20native\x20function,\x20opaque'},{'step':0x5,'action':'check_submission_size','description':'assert\x20BCS\x20submission\x20size\x20≤\x20MAX_SUBMISSION_SIZE_PASSPORT=256\x20(E_SUBMISSION_SIZE_EXCEEDED)'},{'step':0x6,'action':'impack_decision','description':'if\x20impack=true\x20and\x20result=false\x20→\x20set\x20self.result=false,\x20return\x20immediately'},{'step':0x7,'action':'finalize','description':'assert\x20at\x20least\x201\x20impack\x20Guard\x20(E_IMPACK_GUARD_NOT_FOUND);\x20set\x20has_verified=true,\x20self.result=true'}];}export function buildDefaultLifecycleStages(){return[{'stage':'new','description':'passport::new(clock,\x20ctx)\x20—\x20create\x20Passport,\x20bind\x20tx_hash','completed':![]},{'stage':'guard_add','description':'passport::guard_add(self,\x20guard,\x20identifiers,\x20values,\x20impack,\x20ctx)\x20—\x20add\x20Guards\x20(repeatable,\x20pre-verify)','completed':![]},{'stage':'verify','description':'passport::verify(self,\x20ctx)\x20—\x20one-time\x20verification,\x20sets\x20has_verified=true','completed':![]},{'stage':'use','description':'passport::result\x20/\x20result_for_guard\x20/\x20result_for_permission\x20/\x20submission_get\x20—\x20query\x20results','completed':![]},{'stage':'freeze_or_destroy','description':'passport::freezen(self)\x20[permanent]\x20OR\x20passport::destroy(self)\x20[release]','completed':![]}];}export function generateConfirmationText(a){const c=[];c['push']('═══\x20Passport\x20Confirmation\x20═══'),c['push']('');if(a['intent']){c['push']('─\x20A.\x20Intent\x20──────────────'),c['push']('Protected\x20operation:\x20'+a['intent']['protected_operation']),c['push']('Consumer\x20object:\x20'+a['intent']['consumer_object']);if(a['intent']['verification_rules']['length']>0x0){c['push']('Verification\x20rules:');for(const e of a['intent']['verification_rules'])c['push']('\x20\x20-\x20'+e);}if(a['intent']['failure_conditions']['length']>0x0){c['push']('Failure\x20conditions:');for(const f of a['intent']['failure_conditions'])c['push']('\x20\x20-\x20'+f);}c['push']('');}if(a['binding']){const g=a['binding'];c['push']('─\x20B.\x20Binding\x20──────────────'),c['push']('Guards\x20('+g['guard_objects']['length']+'/'+MAX_GUARD_COUNT_PASSPORT+'):'),g['guard_objects']['forEach']((h,j)=>{const k=g['impack_flags'][j]?'IMPACK':'non-impack',m=g['relies_dependencies'][j]??[],n=g['relies_logic'][j]??'AND',o=m['length']===0x0?'':'\x20relies='+JSON['stringify'](m)+'\x20('+n+')';c['push']('\x20\x20['+j+']\x20'+h+'\x20—\x20'+k+o);}),g['topological_order']['length']>0x0&&c['push']('Topological\x20order:\x20'+g['topological_order']['join']('\x20→\x20')),c['push']('');}if(a['submission']){const h=a['submission'];c['push']('─\x20C.\x20Submission\x20──────────────'),c['push']('Entries:\x20'+h['submissions']['length']+',\x20max\x20entry\x20size:\x20'+h['max_entry_size']+'/'+MAX_SUBMISSION_SIZE_PASSPORT+'\x20bytes\x20('+(h['size_ok']?'OK':'EXCEEDS')+')');for(const i of h['submissions']){c['push']('\x20\x20-\x20guard='+i['guard']+',\x20identifier='+i['identifier']+',\x20value_type='+i['value_type']+',\x20size='+i['estimated_size']);}c['push']('');}if(a['verify']){const j=a['verify'];c['push']('─\x20D.\x20Verify\x20──────────────'),c['push']('tx_hash\x20binding:\x20'+(j['tx_hash_binding']?'YES\x20(Move-level\x20hard-coded)':'NO')),c['push']('has_verified:\x20'+j['has_verified']),c['push']('Verify\x20flow\x20('+j['verify_flow']['length']+'\x20steps):');for(const k of j['verify_flow']){c['push']('\x20\x20'+k['step']+'.\x20'+k['action']+':\x20'+k['description']);}c['push']('');}if(a['result']){const m=a['result'];c['push']('─\x20E.\x20Result\x20──────────────'),c['push']('Decision\x20rule:\x20'+m['decision_rule']),c['push']('impack\x20Guards:\x20'+(m['impack_guards']['length']===0x0?'(none\x20—\x20will\x20fail\x20verify)':m['impack_guards']['join'](',\x20'))),c['push']('Overall\x20formula:\x20'+m['overall_formula']);if(m['per_guard_logic']['length']>0x0){c['push']('Per-Guard\x20logic:');for(const n of m['per_guard_logic']){c['push']('\x20\x20-\x20'+n['guard']+'\x20('+n['impack']+',\x20'+n['relies_logic']+'):\x20'+n['computation']);}}c['push']('');}if(a['lifecycle']){const o=a['lifecycle'];c['push']('─\x20F.\x20Lifecycle\x20──────────────'),c['push']('Terminal\x20state:\x20'+o['terminal_state']);for(const p of o['stages']){const q=p['completed']?'✓':'○';c['push']('\x20\x20'+q+'\x20'+p['stage']+':\x20'+p['description']);}c['push']('');}const d=validateConstraints(a);if(d['length']>0x0){c['push']('─\x20Constraint\x20Violations\x20──────────────');for(const t of d){c['push']('\x20\x20['+t['severity']+']\x20'+t['constraint_id']+':\x20'+t['message']);}c['push']('');}return c['join']('\x0a');}export function buildPassportPuzzle(a){const b=initPuzzleFromIntent(a['intent']),c=computeTopologicalOrder(a['binding']['guard_objects'],a['binding']['relies_dependencies']??a['binding']['guard_objects']['map'](()=>[]));b['binding']={'guard_objects':a['binding']['guard_objects'],'impack_flags':a['binding']['impack_flags'],'relies_dependencies':a['binding']['relies_dependencies']??a['binding']['guard_objects']['map'](()=>[]),'relies_logic':a['binding']['relies_logic']??a['binding']['guard_objects']['map'](()=>'AND'),'topological_order':c};const d=a['submission']['reduce']((e,f)=>Math['max'](e,f['estimated_size']),0x0);return b['submission']={'submissions':a['submission'],'max_entry_size':d,'size_ok':d<=MAX_SUBMISSION_SIZE_PASSPORT},b['result']=buildResultPuzzle(b['binding']),a['terminal_state']&&(b['lifecycle']['terminal_state']=a['terminal_state']),b;}function computeTopologicalOrder(a,b){const c=[],d=new Set();for(let e=0x0;e<a['length'];e++){const f=a[e],g=b[e]??[];for(const h of g){!d['has'](h)&&a['includes'](h)&&(c['push'](h),d['add'](h));}!d['has'](f)&&(c['push'](f),d['add'](f));}return c;}export const PASSPORT_PUZZLE_VERSION='1.0.0';