@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/guard-puzzle.js

@@ -1,805 +1 @@
-import { MAX_SUBMISSION_SIZE_PASSPORT } from "@wowok/wowok";
-export function checkPuzzleCompleteness(puzzle) {
-    const dimensions = {
-        intent: isIntentComplete(puzzle.intent),
-        binding: isBindingComplete(puzzle.binding),
-        data_sources: isDataSourcesComplete(puzzle.data_sources),
-        query: isQueryComplete(puzzle.queries),
-        logic: isLogicComplete(puzzle.logic),
-        constraints: isConstraintsComplete(puzzle.constraints),
-    };
-    const missing = Object.keys(dimensions).filter((k) => !dimensions[k]);
-    const missing_details = [];
-    if (!dimensions.intent) {
-        missing_details.push("A. Intent: protected action, validation rule, or failure conditions not clarified");
-    }
-    if (!dimensions.binding) {
-        missing_details.push("B. Binding: Host Object, binding field, or circular reference mode not determined");
-    }
-    if (!dimensions.data_sources) {
-        missing_details.push("C. Data sources: data sources not declared by 4 classifications (on-chain constant / witness-derived / submitted object / system context)");
-    }
-    if (!dimensions.query) {
-        missing_details.push("D. Query: query instruction not determined (if the Guard needs to query on-chain data)");
-    }
-    if (!dimensions.logic) {
-        missing_details.push("E. Logic: computation tree root or rely composition not designed");
-    }
-    if (!dimensions.constraints) {
-        missing_details.push("F. Constraints: creation-time 10 + runtime 6 constraint checks not completed");
-    }
-    const complete = missing.length === 0;
-    const next_step = recommendNextStep(puzzle, missing);
-    return { dimensions, missing, missing_details, complete, next_step };
-}
-function isIntentComplete(intent) {
-    return !!intent && !!intent.action && !!intent.rule_sentence && intent.failure_conditions.length > 0;
-}
-function isBindingComplete(binding) {
-    return !!binding && !!binding.host_object && !!binding.binding_field;
-}
-function isDataSourcesComplete(data_sources) {
-    if (!data_sources)
-        return false;
-    const hasType1 = data_sources.on_chain_constants.length > 0;
-    const hasType2 = data_sources.witness_derived.length > 0;
-    const hasType3Obj = data_sources.submitted_objects.length > 0;
-    const hasType3Val = data_sources.submitted_values.length > 0;
-    const hasType4 = data_sources.system_contexts.length > 0;
-    if (!hasType1 && !hasType2 && !hasType3Obj && !hasType3Val && !hasType4) {
-        return false;
-    }
-    const unboundedSubmission = data_sources.submitted_objects.some((e) => !e.binding_constraint);
-    if (unboundedSubmission)
-        return false;
-    return true;
-}
-function isQueryComplete(queries) {
-    return true;
-}
-function isLogicComplete(logic) {
-    return !!logic && !!logic.root && logic.root.return_type === "Bool";
-}
-function isConstraintsComplete(constraints) {
-    if (!constraints)
-        return false;
-    return Object.values(constraints).every((v) => v === true);
-}
-function recommendNextStep(puzzle, missing) {
-    if (missing.includes("intent")) {
-        return {
-            round: "R1",
-            action: "Capture validation intent",
-            questions: [
-                "What action do you want to protect? (buy/forward/claim/vote/dispute/write/allocate)",
-                "Describe the validation rule in one sentence",
-                "List the conditions under which the Guard should FAIL",
-            ],
-        };
-    }
-    if (missing.includes("binding")) {
-        return {
-            round: "R5",
-            action: "Determine binding target",
-            questions: [
-                "Which Host Object will the Guard bind to? (Service/Machine/Arbitration/Reward/Repository)",
-                "Which field will it bind to? (buy_guard/order_allocators/Forward.guard/...)",
-                "Does the Guard need to reference the Host Object? (circular reference mode)",
-            ],
-        };
-    }
-    if (missing.includes("data_sources")) {
-        return {
-            round: "R2",
-            action: "Declare data sources by 4 classifications",
-            questions: [
-                "Type1 (on-chain constant): Which already-published on-chain objects does the Guard need to query? (Service/Machine/Reward addresses)",
-                "Type2 (witness-derived): Do you need to derive Progress/Machine/Service from Order/Arb? (choose witness 100-108)",
-                "Type3 (submitted object): Which object addresses does the caller need to submit? (Order/Reward/Progress) — constraint rules must be designed",
-                "Type3 (submitted value): Which scalar values does the caller need to submit? (amount/weight/node name)",
-                "Type4 (system context): Do you need Signer (identity) / Clock (time) / Guard (self-reference)?",
-                "Do you need to query EntityRegistrar(0xaab) or EntityLinker(0xaaa)?",
-            ],
-        };
-    }
-    if (missing.includes("query")) {
-        return {
-            round: "R3",
-            action: "Design query nodes",
-            questions: [
-                "Which on-chain objects does the Guard need to query?",
-                "Which instruction ID does each query use? (look up from GUARDQUERY)",
-                "Do you need convert_witness to convert objects? (linked to Type2 declaration)",
-            ],
-        };
-    }
-    if (missing.includes("logic")) {
-        return {
-            round: "R3",
-            action: "Design computation tree",
-            questions: [
-                "What is the root node? (must return Bool)",
-                "Which data source nodes are there? (by 4 classifications: identifier/context/query)",
-                "Which intermediate conversion nodes are there? (calc_*/convert_*/vec_*)",
-                "Do you need rely to compose with other Guards?",
-            ],
-        };
-    }
-    if (missing.includes("constraints")) {
-        return {
-            round: "R6",
-            action: "Pre-creation review",
-            questions: ["Run the creation-time 10 + runtime 6 constraint checklist"],
-        };
-    }
-    return {
-        round: "R7",
-        action: "Prepare for on-chain creation",
-        questions: ["All dimensions are complete; ready to generate the semantic confirmation text"],
-    };
-}
-export function generateConfirmationText(puzzle) {
-    if (!puzzle.intent || !puzzle.binding || !puzzle.data_sources || !puzzle.logic) {
-        return "[Puzzle incomplete] Cannot generate confirmation text; please complete all dimensions first";
-    }
-    const lines = [];
-    lines.push("═══════════════════════════════════════════════════════");
-    lines.push("  Guard Semantic Confirmation Report (User Review Edition)");
-    lines.push("═══════════════════════════════════════════════════════");
-    lines.push("");
-    lines.push("[Intent]");
-    lines.push(`Protected action: ${puzzle.intent.action}`);
-    lines.push(`Validation rule: ${puzzle.intent.rule_sentence}`);
-    lines.push("Failure conditions:");
-    puzzle.intent.failure_conditions.forEach((c, i) => {
-        lines.push(`  ${i + 1}. ${c}`);
-    });
-    lines.push("");
-    lines.push("[Binding]");
-    lines.push(`Host Object: ${puzzle.binding.host_object}`);
-    if (puzzle.binding.host_object_name) {
-        lines.push(`Host Object name: ${puzzle.binding.host_object_name}`);
-    }
-    lines.push(`Binding field: ${puzzle.binding.binding_field}`);
-    lines.push(`Circular reference: ${puzzle.binding.circular_reference ? "Yes (Guard references Host Object)" : "No"}`);
-    lines.push(`Host Object state: ${puzzle.binding.host_object_state}`);
-    lines.push("");
-    lines.push("[Data sources (4 classifications)]");
-    printDataSources(lines, puzzle.data_sources);
-    lines.push("");
-    if (puzzle.queries && puzzle.queries.length > 0) {
-        lines.push("[Query instructions]");
-        lines.push("┌──────┬──────────────────────────┬────────────┬──────────┬──────────┐");
-        lines.push("│ ID   │ Query instruction        │ Target obj │ Params   │ Return   │");
-        lines.push("├──────┼──────────────────────────┼────────────┼──────────┼──────────┤");
-        puzzle.queries.forEach((q) => {
-            const id = String(q.query_id).padEnd(4);
-            const name = q.query_name.length > 24 ? q.query_name.slice(0, 23) + "…" : q.query_name.padEnd(24);
-            const obj = q.object_type.padEnd(10);
-            const params = (q.parameters.length === 0 ? "(none)" : q.parameters.join(",")).padEnd(8);
-            const ret = q.return_type.padEnd(8);
-            lines.push(`│ ${id} │ ${name} │ ${obj} │ ${params} │ ${ret} │`);
-        });
-        lines.push("└──────┴──────────────────────────┴────────────┴──────────┴──────────┘");
-        lines.push("");
-    }
-    lines.push("[Computation tree]");
-    lines.push(`root: ${puzzle.logic.root.node_type} (returns: ${puzzle.logic.root.return_type})`);
-    lines.push(`  ${puzzle.logic.root.description}`);
-    if (puzzle.logic.root.children) {
-        printLogicTree(lines, puzzle.logic.root.children, 1);
-    }
-    lines.push("");
-    if (puzzle.logic.rely) {
-        lines.push("[rely composition]");
-        lines.push(`Dependent Guards: ${puzzle.logic.rely.guards.join(", ")}`);
-        lines.push(`Logic: ${puzzle.logic.rely.logic_or ? "OR (any passes)" : "AND (all must pass)"}`);
-        lines.push(`rep verification: ${puzzle.logic.rely.rep_verified.every((v) => v) ? "all passed" : "some unverified"}`);
-        lines.push("");
-    }
-    if (puzzle.constraints) {
-        lines.push("[Constraint checklist (creation-time 22 + runtime 11 = 33; MCP layer static check 16)]");
-        const creationChecks = [
-            ["01", "All identifiers exist in the table", puzzle.constraints.pitfall_01_identifiers_in_table],
-            ["02", "Comparison node types are compatible", puzzle.constraints.pitfall_02_type_compatibility],
-            ["03", "Query instruction ID and parameter count are correct", puzzle.constraints.pitfall_03_query_instruction_valid],
-            ["04", "convert_witness type is correct", puzzle.constraints.pitfall_04_witness_correct],
-            ["05", "Time-lock tests use small values", puzzle.constraints.pitfall_05_time_lock_test_safe],
-            ["06", "Old Guard exported before iteration", puzzle.constraints.pitfall_06_exported_before_recreate],
-            ["07", "root returns Bool", puzzle.constraints.pitfall_07_root_returns_bool],
-            ["08", "rely dependency rep=true", puzzle.constraints.pitfall_08_rely_rep_true],
-            ["09", "voting_guard GuardIdentifier numeric", puzzle.constraints.pitfall_09_voting_weight_numeric],
-            ["10", "Arbitration not paused", puzzle.constraints.pitfall_10_arbitration_not_paused],
-        ];
-        const runtimeChecks = [
-            ["R1", "Guard immutable=true to verify", puzzle.constraints.runtime_01_guard_immutable],
-            ["R2", "submission type bytes match table declaration", puzzle.constraints.runtime_02_submission_type_match],
-            ["R3", "b_submission=true entry found in submission", puzzle.constraints.runtime_03_submission_complete],
-            ["R4", `submission total bytes ≤ ${MAX_SUBMISSION_SIZE_PASSPORT}`, puzzle.constraints.runtime_04_submission_size],
-            ["R5", "witness derivation source object has related field", puzzle.constraints.runtime_05_witness_source_valid],
-            ["R6", "query target object exists and types match", puzzle.constraints.runtime_06_query_object_valid],
-        ];
-        lines.push("  Creation-time constraints:");
-        creationChecks.forEach(([num, desc, pass]) => {
-            lines.push(`  ${pass ? "✓" : "✗"} [${num}] ${desc}`);
-        });
-        lines.push("  Runtime constraints:");
-        runtimeChecks.forEach(([num, desc, pass]) => {
-            lines.push(`  ${pass ? "✓" : "✗"} [${num}] ${desc}`);
-        });
-        lines.push("");
-    }
-    lines.push("[Risk warnings]");
-    lines.push("  ⚠ Guard cannot be modified or deleted after creation (CREATE-only)");
-    lines.push("  ⚠ On-chain execution will consume gas");
-    lines.push("  ⚠ To modify after creation: export → edit → create new → rebind");
-    lines.push("");
-    lines.push("[Test plan (gen_passport static test)]");
-    lines.push("  Expected pass scenario: submit data meeting conditions → PASS → Passport generated");
-    lines.push("  Expected fail scenario: submit data not meeting conditions → FAIL → verify logic direction");
-    lines.push("");
-    lines.push("[Post-creation actions (important)]");
-    lines.push("  1. Use guard2file to export the Guard backup (JSON file) for later rebuild or migration");
-    lines.push("  2. Record the Guard object ID for subsequent binding and invocation");
-    lines.push("  3. If the Guard binds to a Host Object, ensure the Host Object is published after Guard creation");
-    lines.push("  4. Verify the Guard logic direction via gen_passport static test");
-    lines.push("");
-    const allCreationPass = creationChecksForReadiness(puzzle);
-    lines.push("[Creation readiness signal]");
-    lines.push(`  Puzzle completeness: ${allCreationPass ? "✓ All passed — ready for on-chain CREATE" : "✗ Some items not passed — please fix first"}`);
-    lines.push("");
-    lines.push("═══════════════════════════════════════════════════════");
-    lines.push("  Please review the Guard semantic confirmation report above");
-    lines.push("  After confirming no issues, reply \"confirm creation\" to execute on-chain CREATE");
-    lines.push("  If modifications are needed, please point out the parts to adjust");
-    lines.push("═══════════════════════════════════════════════════════");
-    return lines.join("\n");
-}
-function creationChecksForReadiness(puzzle) {
-    if (!puzzle.intent || !puzzle.binding || !puzzle.data_sources || !puzzle.logic || !puzzle.constraints) {
-        return false;
-    }
-    const c = puzzle.constraints;
-    const creationPass = c.pitfall_01_identifiers_in_table &&
-        c.pitfall_02_type_compatibility &&
-        c.pitfall_03_query_instruction_valid &&
-        c.pitfall_04_witness_correct &&
-        c.pitfall_05_time_lock_test_safe &&
-        c.pitfall_06_exported_before_recreate &&
-        c.pitfall_07_root_returns_bool &&
-        c.pitfall_08_rely_rep_true &&
-        c.pitfall_09_voting_weight_numeric &&
-        c.pitfall_10_arbitration_not_paused;
-    const runtimePass = c.runtime_01_guard_immutable &&
-        c.runtime_02_submission_type_match &&
-        c.runtime_03_submission_complete &&
-        c.runtime_04_submission_size &&
-        c.runtime_05_witness_source_valid &&
-        c.runtime_06_query_object_valid;
-    return creationPass && runtimePass;
-}
-function printDataSources(lines, ds) {
-    if (ds.on_chain_constants.length > 0) {
-        lines.push("  Type1 — On-chain constant objects (OnChainConstant, b_submission=false):");
-        ds.on_chain_constants.forEach((e) => {
-            const sysMark = e.is_system_address ? " [system address]" : "";
-            lines.push(`    [id=${e.identifier}] ${e.object_type}(${e.object_address})${sysMark} — ${e.name}`);
-        });
-    }
-    if (ds.witness_derived.length > 0) {
-        lines.push("  Type2 — Witness-derived objects (WitnessDerived, convert_witness 100-108):");
-        ds.witness_derived.forEach((e) => {
-            const srcKind = e.source_b_submission ? "submitted" : "constant";
-            lines.push(`    [id=${e.identifier}] ${e.source_type}(${srcKind}) → ${e.target_type} via ${e.witness_name}(${e.witness_type}) — ${e.name}`);
-        });
-    }
-    if (ds.submitted_objects.length > 0) {
-        lines.push("  Type3 — Submitted objects (SubmittedObject, b_submission=true):");
-        ds.submitted_objects.forEach((e) => {
-            lines.push(`    [id=${e.identifier}] ${e.expected_object_type}(${e.value_type}) — ${e.name}`);
-            if (e.binding_constraint) {
-                lines.push(`      Constraint: ${e.binding_constraint}`);
-            }
-        });
-    }
-    if (ds.submitted_values.length > 0) {
-        lines.push("  Type3 — Submitted values (SubmittedValue, b_submission=true, scalar):");
-        ds.submitted_values.forEach((e) => {
-            lines.push(`    [id=${e.identifier}] ${e.value_type} — ${e.name}`);
-            if (e.binding_constraint) {
-                lines.push(`      Constraint: ${e.binding_constraint}`);
-            }
-        });
-    }
-    if (ds.system_contexts.length > 0) {
-        lines.push("  Type4 — System contexts (SystemContext, not in table):");
-        ds.system_contexts.forEach((e) => {
-            lines.push(`    context(${e.context_type}) — ${e.usage}`);
-        });
-    }
-    if (ds.on_chain_constants.length === 0 &&
-        ds.witness_derived.length === 0 &&
-        ds.submitted_objects.length === 0 &&
-        ds.submitted_values.length === 0 &&
-        ds.system_contexts.length === 0) {
-        lines.push("  (No data sources declared)");
-    }
-}
-function printLogicTree(lines, nodes, depth) {
-    const indent = "  ".repeat(depth + 1);
-    nodes.forEach((node, i) => {
-        const prefix = i === nodes.length - 1 ? "└── " : "├── ";
-        lines.push(`${indent}${prefix}${node.node_type} (${node.return_type}) — ${node.description}`);
-        if (node.references_identifier !== undefined) {
-            lines.push(`${indent}    → table[${node.references_identifier}]`);
-        }
-        if (node.query) {
-            lines.push(`${indent}    → query(${node.query.query_id}: ${node.query.query_name})`);
-        }
-        if (node.children) {
-            printLogicTree(lines, node.children, depth + 1);
-        }
-    });
-}
-export function initPuzzleFromIntent(intent) {
-    return {
-        current_round: "R1",
-        intent: {
-            action: intent.action ?? "custom",
-            rule_sentence: intent.rule_sentence ?? "",
-            failure_conditions: intent.failure_conditions ?? [],
-        },
-    };
-}
-export function inferBindingFromAction(action) {
-    const map = {
-        buy: { host_object: "Service", binding_field: "buy_guard" },
-        forward: { host_object: "Machine", binding_field: "Forward.guard" },
-        allocate: { host_object: "Service", binding_field: "order_allocators" },
-        claim_reward: { host_object: "Reward", binding_field: "guard" },
-        vote: { host_object: "Arbitration", binding_field: "voting_guard" },
-        dispute: { host_object: "Arbitration", binding_field: "usage_guard" },
-        write_repository: { host_object: "Repository", binding_field: "write_guard" },
-        submit_progress: { host_object: "Progress", binding_field: "submission" },
-        gen_passport: { host_object: "Standalone", binding_field: "none" },
-        custom: {},
-    };
-    return map[action] ?? {};
-}
-export function emptyDataSources() {
-    return {
-        on_chain_constants: [],
-        witness_derived: [],
-        submitted_objects: [],
-        submitted_values: [],
-        system_contexts: [],
-    };
-}
-export const WITNESS_NAME_MAP = {
-    100: { name: "TypeOrderProgress", source: "Order", target: "Progress" },
-    101: { name: "TypeOrderMachine", source: "Order", target: "Machine" },
-    102: { name: "TypeOrderService", source: "Order", target: "Service" },
-    103: { name: "TypeProgressMachine", source: "Progress", target: "Machine" },
-    104: { name: "TypeArbOrder", source: "Arb", target: "Order" },
-    105: { name: "TypeArbArbitration", source: "Arb", target: "Arbitration" },
-    106: { name: "TypeArbProgress", source: "Arb", target: "Progress" },
-    107: { name: "TypeArbMachine", source: "Arb", target: "Machine" },
-    108: { name: "TypeArbService", source: "Arb", target: "Service" },
-};
-export function getWitnessInfo(witness_type) {
-    return WITNESS_NAME_MAP[witness_type];
-}
-function traverseRoot(node, collectors) {
-    if (!node)
-        return;
-    if (node.type === "identifier" && typeof node.identifier === "number") {
-        collectors.referencedIdentifiers.add(node.identifier);
-    }
-    if (node.type === "context" && node.context) {
-        collectors.contexts.add(node.context);
-    }
-    if (node.type === "query" && node.object) {
-        const objId = node.object.identifier;
-        collectors.referencedIdentifiers.add(objId);
-        const witnessCode = node.object.convert_witness;
-        if (typeof witnessCode === "number" && witnessCode >= 100 && witnessCode <= 108) {
-            collectors.witnessCodes.push({ code: witnessCode, objectIdentifier: objId });
-        }
-        collectors.queries.push({
-            query: node.query ?? "",
-            objectIdentifier: objId,
-            convertWitness: witnessCode,
-            parametersCount: node.parameters?.length ?? 0,
-        });
-        if (node.parameters) {
-            for (const param of node.parameters) {
-                traverseRoot(param, collectors);
-            }
-        }
-    }
-    if (node.nodes) {
-        for (const child of node.nodes) {
-            traverseRoot(child, collectors);
-        }
-    }
-    if (node.node) {
-        traverseRoot(node.node, collectors);
-    }
-    if (node.nodeLeft) {
-        traverseRoot(node.nodeLeft, collectors);
-    }
-    if (node.nodeRight) {
-        traverseRoot(node.nodeRight, collectors);
-    }
-}
-function buildLogicTree(node) {
-    if (!node)
-        return undefined;
-    const logicNode = {
-        node_type: node.type,
-        return_type: inferNodeType(node.type),
-        description: describeNode(node),
-    };
-    if (node.type === "identifier" && typeof node.identifier === "number") {
-        logicNode.references_identifier = node.identifier;
-    }
-    if (node.type === "query" && node.object) {
-        logicNode.query = {
-            query_id: typeof node.query === "number" ? node.query : 0,
-            query_name: typeof node.query === "string" ? node.query : String(node.query ?? ""),
-            object_type: "",
-            parameters: [],
-            return_type: "",
-            purpose: "",
-        };
-        if (node.object.convert_witness) {
-            const wInfo = getWitnessInfo(node.object.convert_witness);
-            if (wInfo) {
-                logicNode.query.witness = {
-                    witness_type: node.object.convert_witness,
-                    witness_name: wInfo.name,
-                    source_type: wInfo.source,
-                    target_type: wInfo.target,
-                    scenario: "",
-                };
-            }
-        }
-    }
-    if (node.nodes) {
-        const children = node.nodes
-            .map((c) => buildLogicTree(c))
-            .filter((c) => c !== undefined);
-        if (children.length > 0) {
-            logicNode.children = children;
-        }
-    }
-    if (node.node) {
-        const child = buildLogicTree(node.node);
-        if (child) {
-            logicNode.children = [child];
-        }
-    }
-    if (node.nodeLeft) {
-        const child = buildLogicTree(node.nodeLeft);
-        if (child) {
-            logicNode.children = [...(logicNode.children ?? []), child];
-        }
-    }
-    if (node.nodeRight) {
-        const child = buildLogicTree(node.nodeRight);
-        if (child) {
-            logicNode.children = [...(logicNode.children ?? []), child];
-        }
-    }
-    return logicNode;
-}
-function inferNodeType(nodeType) {
-    const boolTypes = [
-        "logic_equal", "logic_not", "logic_and", "logic_or",
-        "logic_as_u256_greater", "logic_as_u256_lesser", "logic_as_u256_equal",
-        "logic_as_u256_greater_or_equal", "logic_as_u256_lesser_or_equal",
-        "logic_string_contains", "logic_string_nocase_contains", "logic_string_nocase_equal",
-        "calc_string_contains", "calc_string_nocase_contains", "calc_string_nocase_equal",
-        "vec_contains_bool", "vec_contains_address", "vec_contains_string",
-        "vec_contains_string_nocase", "vec_contains_number",
-        "query_reward_record_exists",
-    ];
-    if (boolTypes.includes(nodeType))
-        return "Bool";
-    const u256Types = [
-        "calc_number_add", "calc_number_subtract", "calc_number_multiply",
-        "calc_number_divide", "calc_number_mod",
-        "convert_address_number", "convert_string_number",
-    ];
-    if (u256Types.includes(nodeType))
-        return "U256";
-    const u64Types = [
-        "calc_string_length", "calc_string_indexof", "calc_string_nocase_indexof",
-        "vec_length", "vec_indexof_bool", "vec_indexof_address", "vec_indexof_string",
-        "vec_indexof_string_nocase", "vec_indexof_number",
-        "query_reward_record_count",
-        "query_progress_history_session_count",
-        "query_progress_history_session_forward_count",
-        "query_progress_history_session_forward_retained_submission_count",
-    ];
-    if (u64Types.includes(nodeType))
-        return "U64";
-    const addressTypes = ["convert_number_address"];
-    if (addressTypes.includes(nodeType))
-        return "Address";
-    const stringTypes = ["convert_number_string"];
-    if (stringTypes.includes(nodeType))
-        return "String";
-    const safeTypes = ["convert_safe_u8", "convert_safe_u16", "convert_safe_u32", "convert_safe_u64", "convert_safe_u128", "convert_safe_u256"];
-    if (safeTypes.includes(nodeType)) {
-        return nodeType.replace("convert_safe_", "U");
-    }
-    if (nodeType === "value_type")
-        return "U8";
-    if (nodeType === "query")
-        return "query_defined";
-    if (nodeType === "identifier")
-        return "table_defined";
-    if (nodeType === "context")
-        return "context_defined";
-    return "unknown";
-}
-function describeNode(node) {
-    switch (node.type) {
-        case "identifier":
-            return `Reference to table[${node.identifier ?? "?"}]`;
-        case "context":
-            return `System context: ${node.context ?? "?"}`;
-        case "query":
-            return `Query instruction ${node.query ?? "?"} (target: table[${node.object?.identifier ?? "?"}])`;
-        case "logic_equal":
-            return "Equality comparison (==)";
-        case "logic_not":
-            return "Logical NOT (!)";
-        case "logic_and":
-            return "Logical AND";
-        case "logic_or":
-            return "Logical OR";
-        case "logic_as_u256_greater":
-            return "Numeric greater than (>)";
-        case "logic_as_u256_lesser":
-            return "Numeric less than (<)";
-        case "logic_as_u256_equal":
-            return "Numeric equality (==)";
-        case "logic_as_u256_greater_or_equal":
-            return "Numeric greater than or equal (>=)";
-        case "logic_as_u256_lesser_or_equal":
-            return "Numeric less than or equal (<=)";
-        case "calc_number_add":
-            return "Numeric addition (+)";
-        case "calc_number_subtract":
-            return "Numeric subtraction (-)";
-        case "calc_number_multiply":
-            return "Numeric multiplication (*)";
-        case "calc_number_divide":
-            return "Numeric division (/)";
-        case "calc_number_mod":
-            return "Numeric modulo (%)";
-        case "vec_contains_address":
-            return "Whitelist check (vec_contains_address)";
-        case "vec_length":
-            return "Vector length";
-        case "convert_safe_u64":
-            return "Safe conversion to U64";
-        default:
-            return node.type;
-    }
-}
-function deriveConstraints(table, root, rely, collectors) {
-    const pitfall01 = Array.from(collectors.referencedIdentifiers).every((id) => table.some((t) => t.identifier === id));
-    const pitfall02 = root !== undefined;
-    const pitfall03 = true;
-    const pitfall04 = collectors.witnessCodes.every((w) => w.code >= 100 && w.code <= 108);
-    const pitfall05 = true;
-    const pitfall06 = true;
-    const pitfall07 = root !== undefined;
-    const pitfall08 = rely ? rely.guards.length <= 4 : true;
-    const pitfall09 = true;
-    const pitfall10 = true;
-    const runtime01 = true;
-    const runtime02 = true;
-    const runtime03 = true;
-    const submissionEntries = table.filter((t) => t.b_submission);
-    const runtime04 = submissionEntries.length <= MAX_SUBMISSION_SIZE_PASSPORT;
-    const runtime05 = true;
-    const runtime06 = true;
-    return {
-        pitfall_01_identifiers_in_table: pitfall01,
-        pitfall_02_type_compatibility: pitfall02,
-        pitfall_03_query_instruction_valid: pitfall03,
-        pitfall_04_witness_correct: pitfall04,
-        pitfall_05_time_lock_test_safe: pitfall05,
-        pitfall_06_exported_before_recreate: pitfall06,
-        pitfall_07_root_returns_bool: pitfall07,
-        pitfall_08_rely_rep_true: pitfall08,
-        pitfall_09_voting_weight_numeric: pitfall09,
-        pitfall_10_arbitration_not_paused: pitfall10,
-        runtime_01_guard_immutable: runtime01,
-        runtime_02_submission_type_match: runtime02,
-        runtime_03_submission_complete: runtime03,
-        runtime_04_submission_size: runtime04,
-        runtime_05_witness_source_valid: runtime05,
-        runtime_06_query_object_valid: runtime06,
-    };
-}
-export function derivePuzzleFromCallData(input) {
-    const table = input.table ?? [];
-    const root = input.root;
-    const rely = input.rely;
-    const bindingHint = input.binding_hint;
-    const collectors = {
-        referencedIdentifiers: new Set(),
-        queries: [],
-        contexts: new Set(),
-        witnessCodes: [],
-    };
-    if (root) {
-        traverseRoot(root, collectors);
-    }
-    let intent;
-    if (bindingHint) {
-        intent = {
-            action: bindingHint.action,
-            rule_sentence: bindingHint.rule_sentence ?? "",
-            failure_conditions: bindingHint.failure_conditions ?? [],
-        };
-    }
-    let binding;
-    if (bindingHint) {
-        binding = {
-            host_object: bindingHint.host_object,
-            binding_field: bindingHint.binding_field,
-            circular_reference: bindingHint.circular_reference ?? false,
-            host_object_state: "unknown",
-        };
-    }
-    const witnessCodesByIdentifier = new Map();
-    for (const w of collectors.witnessCodes) {
-        witnessCodesByIdentifier.set(w.objectIdentifier, w.code);
-    }
-    const onChainConstants = [];
-    const witnessDerived = [];
-    const submittedObjects = [];
-    const submittedValues = [];
-    for (const item of table) {
-        const isReferencedByQuery = collectors.referencedIdentifiers.has(item.identifier);
-        const witnessCode = witnessCodesByIdentifier.get(item.identifier);
-        if (witnessCode !== undefined) {
-            const wInfo = getWitnessInfo(witnessCode);
-            if (wInfo) {
-                witnessDerived.push({
-                    identifier: item.identifier,
-                    source_type: wInfo.source,
-                    witness_type: witnessCode,
-                    witness_name: wInfo.name,
-                    target_type: wInfo.target,
-                    source_b_submission: item.b_submission,
-                    name: item.name || `${wInfo.source}→${wInfo.target} via ${wInfo.name}`,
-                });
-                continue;
-            }
-        }
-        if (!item.b_submission) {
-            const valueStr = typeof item.value === "string" ? item.value.toLowerCase() : "";
-            const isSystemAddr = valueStr === "0xaab" || valueStr === "0xaaa";
-            onChainConstants.push({
-                identifier: item.identifier,
-                object_address: typeof item.value === "string" ? item.value : String(item.value ?? ""),
-                object_type: item.object_type ?? "",
-                name: item.name || `constant #${item.identifier}`,
-                is_system_address: isSystemAddr,
-            });
-        }
-        else {
-            const valueTypeStr = typeof item.value_type === "string"
-                ? item.value_type.toLowerCase()
-                : String(item.value_type);
-            if (valueTypeStr === "address") {
-                submittedObjects.push({
-                    identifier: item.identifier,
-                    expected_object_type: item.object_type ?? "",
-                    value_type: "Address",
-                    name: item.name || `submitted object #${item.identifier}`,
-                    binding_constraint: item.object_type
-                        ? `must be an on-chain object address of type ${item.object_type}`
-                        : "must be a valid on-chain object address",
-                });
-            }
-            else {
-                submittedValues.push({
-                    identifier: item.identifier,
-                    value_type: typeof item.value_type === "string" ? item.value_type : String(item.value_type),
-                    name: item.name || `submitted value #${item.identifier}`,
-                    binding_constraint: `value type must be ${item.value_type}`,
-                });
-            }
-        }
-    }
-    const systemContexts = [];
-    for (const ctxType of collectors.contexts) {
-        const usageMap = {
-            Signer: "Current transaction signer address verification",
-            Clock: "On-chain timestamp (used for time-lock/time-window)",
-            Guard: "Guard self object ID self-reference",
-        };
-        systemContexts.push({
-            context_type: ctxType,
-            usage: usageMap[ctxType] ?? "",
-        });
-    }
-    const dataSources = {
-        on_chain_constants: onChainConstants,
-        witness_derived: witnessDerived,
-        submitted_objects: submittedObjects,
-        submitted_values: submittedValues,
-        system_contexts: systemContexts,
-    };
-    const queries = collectors.queries.map((q) => {
-        const wInfo = q.convertWitness !== undefined ? getWitnessInfo(q.convertWitness) : undefined;
-        return {
-            query_id: typeof q.query === "number" ? q.query : 0,
-            query_name: typeof q.query === "string" ? q.query : String(q.query),
-            object_type: "",
-            parameters: [],
-            return_type: "",
-            witness: wInfo ? {
-                witness_type: q.convertWitness,
-                witness_name: wInfo.name,
-                source_type: wInfo.source,
-                target_type: wInfo.target,
-                scenario: "",
-            } : undefined,
-            purpose: "",
-        };
-    });
-    let logic;
-    if (root) {
-        const logicRoot = buildLogicTree(root);
-        if (logicRoot) {
-            logicRoot.return_type = "Bool";
-            let logicRely;
-            if (rely && rely.guards.length > 0) {
-                logicRely = {
-                    guards: rely.guards,
-                    logic_or: rely.logic_or ?? false,
-                    rep_verified: rely.guards.map(() => true),
-                };
-            }
-            logic = { root: logicRoot, rely: logicRely };
-        }
-    }
-    const constraints = deriveConstraints(table, root, rely, collectors);
-    const puzzle = {
-        current_round: "R7",
-        intent,
-        binding,
-        data_sources: dataSources,
-        queries,
-        logic,
-        constraints,
-    };
-    return puzzle;
-}
-export function getPuzzleStatusBooleans(puzzle) {
-    const completeness = checkPuzzleCompleteness(puzzle);
-    return {
-        intent: completeness.dimensions.intent,
-        binding: completeness.dimensions.binding,
-        data: completeness.dimensions.data_sources,
-        query: completeness.dimensions.query,
-        logic: completeness.dimensions.logic,
-        constraints: completeness.dimensions.constraints,
-    };
-}
-export function getPendingQuestions(puzzle) {
-    const completeness = checkPuzzleCompleteness(puzzle);
-    if (completeness.complete) {
-        return [];
-    }
-    return completeness.next_step.questions;
-}
+import{MAX_SUBMISSION_SIZE_PASSPORT}from'@wowok/wowok';export function checkPuzzleCompleteness(a){const b={'intent':isIntentComplete(a['intent']),'binding':isBindingComplete(a['binding']),'data_sources':isDataSourcesComplete(a['data_sources']),'query':isQueryComplete(a['queries']),'logic':isLogicComplete(a['logic']),'constraints':isConstraintsComplete(a['constraints'])},c=Object['keys'](b)['filter'](g=>!b[g]),d=[];!b['intent']&&d['push']('A.\x20Intent:\x20protected\x20action,\x20validation\x20rule,\x20or\x20failure\x20conditions\x20not\x20clarified');!b['binding']&&d['push']('B.\x20Binding:\x20Host\x20Object,\x20binding\x20field,\x20or\x20circular\x20reference\x20mode\x20not\x20determined');!b['data_sources']&&d['push']('C.\x20Data\x20sources:\x20data\x20sources\x20not\x20declared\x20by\x204\x20classifications\x20(on-chain\x20constant\x20/\x20witness-derived\x20/\x20submitted\x20object\x20/\x20system\x20context)');!b['query']&&d['push']('D.\x20Query:\x20query\x20instruction\x20not\x20determined\x20(if\x20the\x20Guard\x20needs\x20to\x20query\x20on-chain\x20data)');!b['logic']&&d['push']('E.\x20Logic:\x20computation\x20tree\x20root\x20or\x20rely\x20composition\x20not\x20designed');!b['constraints']&&d['push']('F.\x20Constraints:\x20creation-time\x2010\x20+\x20runtime\x206\x20constraint\x20checks\x20not\x20completed');const e=c['length']===0x0,f=recommendNextStep(a,c);return{'dimensions':b,'missing':c,'missing_details':d,'complete':e,'next_step':f};}function isIntentComplete(a){return!!a&&!!a['action']&&!!a['rule_sentence']&&a['failure_conditions']['length']>0x0;}function isBindingComplete(a){return!!a&&!!a['host_object']&&!!a['binding_field'];}function isDataSourcesComplete(a){if(!a)return![];const b=a['on_chain_constants']['length']>0x0,c=a['witness_derived']['length']>0x0,d=a['submitted_objects']['length']>0x0,e=a['submitted_values']['length']>0x0,f=a['system_contexts']['length']>0x0;if(!b&&!c&&!d&&!e&&!f)return![];const g=a['submitted_objects']['some'](h=>!h['binding_constraint']);if(g)return![];return!![];}function isQueryComplete(a){return!![];}function isLogicComplete(a){return!!a&&!!a['root']&&a['root']['return_type']==='Bool';}function isConstraintsComplete(a){if(!a)return![];return Object['values'](a)['every'](b=>b===!![]);}function recommendNextStep(a,b){if(b['includes']('intent'))return{'round':'R1','action':'Capture\x20validation\x20intent','questions':['What\x20action\x20do\x20you\x20want\x20to\x20protect?\x20(buy/forward/claim/vote/dispute/write/allocate)','Describe\x20the\x20validation\x20rule\x20in\x20one\x20sentence','List\x20the\x20conditions\x20under\x20which\x20the\x20Guard\x20should\x20FAIL']};if(b['includes']('binding'))return{'round':'R5','action':'Determine\x20binding\x20target','questions':['Which\x20Host\x20Object\x20will\x20the\x20Guard\x20bind\x20to?\x20(Service/Machine/Arbitration/Reward/Repository)','Which\x20field\x20will\x20it\x20bind\x20to?\x20(buy_guard/order_allocators/Forward.guard/...)','Does\x20the\x20Guard\x20need\x20to\x20reference\x20the\x20Host\x20Object?\x20(circular\x20reference\x20mode)']};if(b['includes']('data_sources'))return{'round':'R2','action':'Declare\x20data\x20sources\x20by\x204\x20classifications','questions':['Type1\x20(on-chain\x20constant):\x20Which\x20already-published\x20on-chain\x20objects\x20does\x20the\x20Guard\x20need\x20to\x20query?\x20(Service/Machine/Reward\x20addresses)','Type2\x20(witness-derived):\x20Do\x20you\x20need\x20to\x20derive\x20Progress/Machine/Service\x20from\x20Order/Arb?\x20(choose\x20witness\x20100-108)','Type3\x20(submitted\x20object):\x20Which\x20object\x20addresses\x20does\x20the\x20caller\x20need\x20to\x20submit?\x20(Order/Reward/Progress)\x20—\x20constraint\x20rules\x20must\x20be\x20designed','Type3\x20(submitted\x20value):\x20Which\x20scalar\x20values\x20does\x20the\x20caller\x20need\x20to\x20submit?\x20(amount/weight/node\x20name)','Type4\x20(system\x20context):\x20Do\x20you\x20need\x20Signer\x20(identity)\x20/\x20Clock\x20(time)\x20/\x20Guard\x20(self-reference)?','Do\x20you\x20need\x20to\x20query\x20EntityRegistrar(0xaab)\x20or\x20EntityLinker(0xaaa)?']};if(b['includes']('query'))return{'round':'R3','action':'Design\x20query\x20nodes','questions':['Which\x20on-chain\x20objects\x20does\x20the\x20Guard\x20need\x20to\x20query?','Which\x20instruction\x20ID\x20does\x20each\x20query\x20use?\x20(look\x20up\x20from\x20GUARDQUERY)','Do\x20you\x20need\x20convert_witness\x20to\x20convert\x20objects?\x20(linked\x20to\x20Type2\x20declaration)']};if(b['includes']('logic'))return{'round':'R3','action':'Design\x20computation\x20tree','questions':['What\x20is\x20the\x20root\x20node?\x20(must\x20return\x20Bool)','Which\x20data\x20source\x20nodes\x20are\x20there?\x20(by\x204\x20classifications:\x20identifier/context/query)','Which\x20intermediate\x20conversion\x20nodes\x20are\x20there?\x20(calc_*/convert_*/vec_*)','Do\x20you\x20need\x20rely\x20to\x20compose\x20with\x20other\x20Guards?']};if(b['includes']('constraints'))return{'round':'R6','action':'Pre-creation\x20review','questions':['Run\x20the\x20creation-time\x2010\x20+\x20runtime\x206\x20constraint\x20checklist']};return{'round':'R7','action':'Prepare\x20for\x20on-chain\x20creation','questions':['All\x20dimensions\x20are\x20complete;\x20ready\x20to\x20generate\x20the\x20semantic\x20confirmation\x20text']};}export function generateConfirmationText(a){if(!a['intent']||!a['binding']||!a['data_sources']||!a['logic'])return'[Puzzle\x20incomplete]\x20Cannot\x20generate\x20confirmation\x20text;\x20please\x20complete\x20all\x20dimensions\x20first';const b=[];b['push']('═══════════════════════════════════════════════════════'),b['push']('\x20\x20Guard\x20Semantic\x20Confirmation\x20Report\x20(User\x20Review\x20Edition)'),b['push']('═══════════════════════════════════════════════════════'),b['push'](''),b['push']('[Intent]'),b['push']('Protected\x20action:\x20'+a['intent']['action']),b['push']('Validation\x20rule:\x20'+a['intent']['rule_sentence']),b['push']('Failure\x20conditions:'),a['intent']['failure_conditions']['forEach']((d,e)=>{b['push']('\x20\x20'+(e+0x1)+'.\x20'+d);}),b['push'](''),b['push']('[Binding]'),b['push']('Host\x20Object:\x20'+a['binding']['host_object']);a['binding']['host_object_name']&&b['push']('Host\x20Object\x20name:\x20'+a['binding']['host_object_name']);b['push']('Binding\x20field:\x20'+a['binding']['binding_field']),b['push']('Circular\x20reference:\x20'+(a['binding']['circular_reference']?'Yes\x20(Guard\x20references\x20Host\x20Object)':'No')),b['push']('Host\x20Object\x20state:\x20'+a['binding']['host_object_state']),b['push'](''),b['push']('[Data\x20sources\x20(4\x20classifications)]'),printDataSources(b,a['data_sources']),b['push']('');a['queries']&&a['queries']['length']>0x0&&(b['push']('[Query\x20instructions]'),b['push']('┌──────┬──────────────────────────┬────────────┬──────────┬──────────┐'),b['push']('│\x20ID\x20\x20\x20│\x20Query\x20instruction\x20\x20\x20\x20\x20\x20\x20\x20│\x20Target\x20obj\x20│\x20Params\x20\x20\x20│\x20Return\x20\x20\x20│'),b['push']('├──────┼──────────────────────────┼────────────┼──────────┼──────────┤'),a['queries']['forEach'](d=>{const e=String(d['query_id'])['padEnd'](0x4),f=d['query_name']['length']>0x18?d['query_name']['slice'](0x0,0x17)+'…':d['query_name']['padEnd'](0x18),g=d['object_type']['padEnd'](0xa),h=(d['parameters']['length']===0x0?'(none)':d['parameters']['join'](','))['padEnd'](0x8),i=d['return_type']['padEnd'](0x8);b['push']('│\x20'+e+'\x20│\x20'+f+'\x20│\x20'+g+'\x20│\x20'+h+'\x20│\x20'+i+'\x20│');}),b['push']('└──────┴──────────────────────────┴────────────┴──────────┴──────────┘'),b['push'](''));b['push']('[Computation\x20tree]'),b['push']('root:\x20'+a['logic']['root']['node_type']+'\x20(returns:\x20'+a['logic']['root']['return_type']+')'),b['push']('\x20\x20'+a['logic']['root']['description']);a['logic']['root']['children']&&printLogicTree(b,a['logic']['root']['children'],0x1);b['push']('');a['logic']['rely']&&(b['push']('[rely\x20composition]'),b['push']('Dependent\x20Guards:\x20'+a['logic']['rely']['guards']['join'](',\x20')),b['push']('Logic:\x20'+(a['logic']['rely']['logic_or']?'OR\x20(any\x20passes)':'AND\x20(all\x20must\x20pass)')),b['push']('rep\x20verification:\x20'+(a['logic']['rely']['rep_verified']['every'](d=>d)?'all\x20passed':'some\x20unverified')),b['push'](''));if(a['constraints']){b['push']('[Constraint\x20checklist\x20(creation-time\x2022\x20+\x20runtime\x2011\x20=\x2033;\x20MCP\x20layer\x20static\x20check\x2016)]');const d=[['01','All\x20identifiers\x20exist\x20in\x20the\x20table',a['constraints']['pitfall_01_identifiers_in_table']],['02','Comparison\x20node\x20types\x20are\x20compatible',a['constraints']['pitfall_02_type_compatibility']],['03','Query\x20instruction\x20ID\x20and\x20parameter\x20count\x20are\x20correct',a['constraints']['pitfall_03_query_instruction_valid']],['04','convert_witness\x20type\x20is\x20correct',a['constraints']['pitfall_04_witness_correct']],['05','Time-lock\x20tests\x20use\x20small\x20values',a['constraints']['pitfall_05_time_lock_test_safe']],['06','Old\x20Guard\x20exported\x20before\x20iteration',a['constraints']['pitfall_06_exported_before_recreate']],['07','root\x20returns\x20Bool',a['constraints']['pitfall_07_root_returns_bool']],['08','rely\x20dependency\x20rep=true',a['constraints']['pitfall_08_rely_rep_true']],['09','voting_guard\x20GuardIdentifier\x20numeric',a['constraints']['pitfall_09_voting_weight_numeric']],['10','Arbitration\x20not\x20paused',a['constraints']['pitfall_10_arbitration_not_paused']]],e=[['R1','Guard\x20immutable=true\x20to\x20verify',a['constraints']['runtime_01_guard_immutable']],['R2','submission\x20type\x20bytes\x20match\x20table\x20declaration',a['constraints']['runtime_02_submission_type_match']],['R3','b_submission=true\x20entry\x20found\x20in\x20submission',a['constraints']['runtime_03_submission_complete']],['R4','submission\x20total\x20bytes\x20≤\x20'+MAX_SUBMISSION_SIZE_PASSPORT,a['constraints']['runtime_04_submission_size']],['R5','witness\x20derivation\x20source\x20object\x20has\x20related\x20field',a['constraints']['runtime_05_witness_source_valid']],['R6','query\x20target\x20object\x20exists\x20and\x20types\x20match',a['constraints']['runtime_06_query_object_valid']]];b['push']('\x20\x20Creation-time\x20constraints:'),d['forEach'](([f,g,h])=>{b['push']('\x20\x20'+(h?'✓':'✗')+'\x20['+f+']\x20'+g);}),b['push']('\x20\x20Runtime\x20constraints:'),e['forEach'](([f,g,h])=>{b['push']('\x20\x20'+(h?'✓':'✗')+'\x20['+f+']\x20'+g);}),b['push']('');}b['push']('[Risk\x20warnings]'),b['push']('\x20\x20⚠\x20Guard\x20cannot\x20be\x20modified\x20or\x20deleted\x20after\x20creation\x20(CREATE-only)'),b['push']('\x20\x20⚠\x20On-chain\x20execution\x20will\x20consume\x20gas'),b['push']('\x20\x20⚠\x20To\x20modify\x20after\x20creation:\x20export\x20→\x20edit\x20→\x20create\x20new\x20→\x20rebind'),b['push'](''),b['push']('[Test\x20plan\x20(gen_passport\x20static\x20test)]'),b['push']('\x20\x20Expected\x20pass\x20scenario:\x20submit\x20data\x20meeting\x20conditions\x20→\x20PASS\x20→\x20Passport\x20generated'),b['push']('\x20\x20Expected\x20fail\x20scenario:\x20submit\x20data\x20not\x20meeting\x20conditions\x20→\x20FAIL\x20→\x20verify\x20logic\x20direction'),b['push'](''),b['push']('[Post-creation\x20actions\x20(important)]'),b['push']('\x20\x201.\x20Use\x20guard2file\x20to\x20export\x20the\x20Guard\x20backup\x20(JSON\x20file)\x20for\x20later\x20rebuild\x20or\x20migration'),b['push']('\x20\x202.\x20Record\x20the\x20Guard\x20object\x20ID\x20for\x20subsequent\x20binding\x20and\x20invocation'),b['push']('\x20\x203.\x20If\x20the\x20Guard\x20binds\x20to\x20a\x20Host\x20Object,\x20ensure\x20the\x20Host\x20Object\x20is\x20published\x20after\x20Guard\x20creation'),b['push']('\x20\x204.\x20Verify\x20the\x20Guard\x20logic\x20direction\x20via\x20gen_passport\x20static\x20test'),b['push']('');const c=creationChecksForReadiness(a);return b['push']('[Creation\x20readiness\x20signal]'),b['push']('\x20\x20Puzzle\x20completeness:\x20'+(c?'✓\x20All\x20passed\x20—\x20ready\x20for\x20on-chain\x20CREATE':'✗\x20Some\x20items\x20not\x20passed\x20—\x20please\x20fix\x20first')),b['push'](''),b['push']('═══════════════════════════════════════════════════════'),b['push']('\x20\x20Please\x20review\x20the\x20Guard\x20semantic\x20confirmation\x20report\x20above'),b['push']('\x20\x20After\x20confirming\x20no\x20issues,\x20reply\x20\x22confirm\x20creation\x22\x20to\x20execute\x20on-chain\x20CREATE'),b['push']('\x20\x20If\x20modifications\x20are\x20needed,\x20please\x20point\x20out\x20the\x20parts\x20to\x20adjust'),b['push']('═══════════════════════════════════════════════════════'),b['join']('\x0a');}function creationChecksForReadiness(a){if(!a['intent']||!a['binding']||!a['data_sources']||!a['logic']||!a['constraints'])return![];const b=a['constraints'],d=b['pitfall_01_identifiers_in_table']&&b['pitfall_02_type_compatibility']&&b['pitfall_03_query_instruction_valid']&&b['pitfall_04_witness_correct']&&b['pitfall_05_time_lock_test_safe']&&b['pitfall_06_exported_before_recreate']&&b['pitfall_07_root_returns_bool']&&b['pitfall_08_rely_rep_true']&&b['pitfall_09_voting_weight_numeric']&&b['pitfall_10_arbitration_not_paused'],e=b['runtime_01_guard_immutable']&&b['runtime_02_submission_type_match']&&b['runtime_03_submission_complete']&&b['runtime_04_submission_size']&&b['runtime_05_witness_source_valid']&&b['runtime_06_query_object_valid'];return d&&e;}function printDataSources(a,b){b['on_chain_constants']['length']>0x0&&(a['push']('\x20\x20Type1\x20—\x20On-chain\x20constant\x20objects\x20(OnChainConstant,\x20b_submission=false):'),b['on_chain_constants']['forEach'](c=>{const d=c['is_system_address']?'\x20[system\x20address]':'';a['push']('\x20\x20\x20\x20[id='+c['identifier']+']\x20'+c['object_type']+'('+c['object_address']+')'+d+'\x20—\x20'+c['name']);})),b['witness_derived']['length']>0x0&&(a['push']('\x20\x20Type2\x20—\x20Witness-derived\x20objects\x20(WitnessDerived,\x20convert_witness\x20100-108):'),b['witness_derived']['forEach'](c=>{const d=c['source_b_submission']?'submitted':'constant';a['push']('\x20\x20\x20\x20[id='+c['identifier']+']\x20'+c['source_type']+'('+d+')\x20→\x20'+c['target_type']+'\x20via\x20'+c['witness_name']+'('+c['witness_type']+')\x20—\x20'+c['name']);})),b['submitted_objects']['length']>0x0&&(a['push']('\x20\x20Type3\x20—\x20Submitted\x20objects\x20(SubmittedObject,\x20b_submission=true):'),b['submitted_objects']['forEach'](c=>{a['push']('\x20\x20\x20\x20[id='+c['identifier']+']\x20'+c['expected_object_type']+'('+c['value_type']+')\x20—\x20'+c['name']),c['binding_constraint']&&a['push']('\x20\x20\x20\x20\x20\x20Constraint:\x20'+c['binding_constraint']);})),b['submitted_values']['length']>0x0&&(a['push']('\x20\x20Type3\x20—\x20Submitted\x20values\x20(SubmittedValue,\x20b_submission=true,\x20scalar):'),b['submitted_values']['forEach'](c=>{a['push']('\x20\x20\x20\x20[id='+c['identifier']+']\x20'+c['value_type']+'\x20—\x20'+c['name']),c['binding_constraint']&&a['push']('\x20\x20\x20\x20\x20\x20Constraint:\x20'+c['binding_constraint']);})),b['system_contexts']['length']>0x0&&(a['push']('\x20\x20Type4\x20—\x20System\x20contexts\x20(SystemContext,\x20not\x20in\x20table):'),b['system_contexts']['forEach'](c=>{a['push']('\x20\x20\x20\x20context('+c['context_type']+')\x20—\x20'+c['usage']);})),b['on_chain_constants']['length']===0x0&&b['witness_derived']['length']===0x0&&b['submitted_objects']['length']===0x0&&b['submitted_values']['length']===0x0&&b['system_contexts']['length']===0x0&&a['push']('\x20\x20(No\x20data\x20sources\x20declared)');}function printLogicTree(a,b,c){const d='\x20\x20'['repeat'](c+0x1);b['forEach']((e,f)=>{const g=f===b['length']-0x1?'└──\x20':'├──\x20';a['push'](''+d+g+e['node_type']+'\x20('+e['return_type']+')\x20—\x20'+e['description']),e['references_identifier']!==undefined&&a['push'](d+'\x20\x20\x20\x20→\x20table['+e['references_identifier']+']'),e['query']&&a['push'](d+'\x20\x20\x20\x20→\x20query('+e['query']['query_id']+':\x20'+e['query']['query_name']+')'),e['children']&&printLogicTree(a,e['children'],c+0x1);});}export function initPuzzleFromIntent(a){return{'current_round':'R1','intent':{'action':a['action']??'custom','rule_sentence':a['rule_sentence']??'','failure_conditions':a['failure_conditions']??[]}};}export function inferBindingFromAction(a){const b={'buy':{'host_object':'Service','binding_field':'buy_guard'},'forward':{'host_object':'Machine','binding_field':'Forward.guard'},'allocate':{'host_object':'Service','binding_field':'order_allocators'},'claim_reward':{'host_object':'Reward','binding_field':'guard'},'vote':{'host_object':'Arbitration','binding_field':'voting_guard'},'dispute':{'host_object':'Arbitration','binding_field':'usage_guard'},'write_repository':{'host_object':'Repository','binding_field':'write_guard'},'submit_progress':{'host_object':'Progress','binding_field':'submission'},'gen_passport':{'host_object':'Standalone','binding_field':'none'},'custom':{}};return b[a]??{};}export function emptyDataSources(){return{'on_chain_constants':[],'witness_derived':[],'submitted_objects':[],'submitted_values':[],'system_contexts':[]};}export const WITNESS_NAME_MAP={0x64:{'name':'TypeOrderProgress','source':'Order','target':'Progress'},0x65:{'name':'TypeOrderMachine','source':'Order','target':'Machine'},0x66:{'name':'TypeOrderService','source':'Order','target':'Service'},0x67:{'name':'TypeProgressMachine','source':'Progress','target':'Machine'},0x68:{'name':'TypeArbOrder','source':'Arb','target':'Order'},0x69:{'name':'TypeArbArbitration','source':'Arb','target':'Arbitration'},0x6a:{'name':'TypeArbProgress','source':'Arb','target':'Progress'},0x6b:{'name':'TypeArbMachine','source':'Arb','target':'Machine'},0x6c:{'name':'TypeArbService','source':'Arb','target':'Service'}};export function getWitnessInfo(a){return WITNESS_NAME_MAP[a];}function traverseRoot(a,b){if(!a)return;a['type']==='identifier'&&typeof a['identifier']==='number'&&b['referencedIdentifiers']['add'](a['identifier']);a['type']==='context'&&a['context']&&b['contexts']['add'](a['context']);if(a['type']==='query'&&a['object']){const c=a['object']['identifier'];b['referencedIdentifiers']['add'](c);const d=a['object']['convert_witness'];typeof d==='number'&&d>=0x64&&d<=0x6c&&b['witnessCodes']['push']({'code':d,'objectIdentifier':c});b['queries']['push']({'query':a['query']??'','objectIdentifier':c,'convertWitness':d,'parametersCount':a['parameters']?.['length']??0x0});if(a['parameters'])for(const e of a['parameters']){traverseRoot(e,b);}}if(a['nodes'])for(const f of a['nodes']){traverseRoot(f,b);}a['node']&&traverseRoot(a['node'],b),a['nodeLeft']&&traverseRoot(a['nodeLeft'],b),a['nodeRight']&&traverseRoot(a['nodeRight'],b);}function buildLogicTree(a){if(!a)return undefined;const b={'node_type':a['type'],'return_type':inferNodeType(a['type']),'description':describeNode(a)};a['type']==='identifier'&&typeof a['identifier']==='number'&&(b['references_identifier']=a['identifier']);if(a['type']==='query'&&a['object']){b['query']={'query_id':typeof a['query']==='number'?a['query']:0x0,'query_name':typeof a['query']==='string'?a['query']:String(a['query']??''),'object_type':'','parameters':[],'return_type':'','purpose':''};if(a['object']['convert_witness']){const c=getWitnessInfo(a['object']['convert_witness']);c&&(b['query']['witness']={'witness_type':a['object']['convert_witness'],'witness_name':c['name'],'source_type':c['source'],'target_type':c['target'],'scenario':''});}}if(a['nodes']){const d=a['nodes']['map'](e=>buildLogicTree(e))['filter'](e=>e!==undefined);d['length']>0x0&&(b['children']=d);}if(a['node']){const e=buildLogicTree(a['node']);e&&(b['children']=[e]);}if(a['nodeLeft']){const f=buildLogicTree(a['nodeLeft']);f&&(b['children']=[...b['children']??[],f]);}if(a['nodeRight']){const g=buildLogicTree(a['nodeRight']);g&&(b['children']=[...b['children']??[],g]);}return b;}function inferNodeType(a){const b=['logic_equal','logic_not','logic_and','logic_or','logic_as_u256_greater','logic_as_u256_lesser','logic_as_u256_equal','logic_as_u256_greater_or_equal','logic_as_u256_lesser_or_equal','logic_string_contains','logic_string_nocase_contains','logic_string_nocase_equal','calc_string_contains','calc_string_nocase_contains','calc_string_nocase_equal','vec_contains_bool','vec_contains_address','vec_contains_string','vec_contains_string_nocase','vec_contains_number','query_reward_record_exists'];if(b['includes'](a))return'Bool';const c=['calc_number_add','calc_number_subtract','calc_number_multiply','calc_number_divide','calc_number_mod','convert_address_number','convert_string_number'];if(c['includes'](a))return'U256';const d=['calc_string_length','calc_string_indexof','calc_string_nocase_indexof','vec_length','vec_indexof_bool','vec_indexof_address','vec_indexof_string','vec_indexof_string_nocase','vec_indexof_number','query_reward_record_count','query_progress_history_session_count','query_progress_history_session_forward_count','query_progress_history_session_forward_retained_submission_count'];if(d['includes'](a))return'U64';const e=['convert_number_address'];if(e['includes'](a))return'Address';const f=['convert_number_string'];if(f['includes'](a))return'String';const g=['convert_safe_u8','convert_safe_u16','convert_safe_u32','convert_safe_u64','convert_safe_u128','convert_safe_u256'];if(g['includes'](a))return a['replace']('convert_safe_','U');if(a==='value_type')return'U8';if(a==='query')return'query_defined';if(a==='identifier')return'table_defined';if(a==='context')return'context_defined';return'unknown';}function describeNode(a){switch(a['type']){case'identifier':return'Reference\x20to\x20table['+(a['identifier']??'?')+']';case'context':return'System\x20context:\x20'+(a['context']??'?');case'query':return'Query\x20instruction\x20'+(a['query']??'?')+'\x20(target:\x20table['+(a['object']?.['identifier']??'?')+'])';case'logic_equal':return'Equality\x20comparison\x20(==)';case'logic_not':return'Logical\x20NOT\x20(!)';case'logic_and':return'Logical\x20AND';case'logic_or':return'Logical\x20OR';case'logic_as_u256_greater':return'Numeric\x20greater\x20than\x20(>)';case'logic_as_u256_lesser':return'Numeric\x20less\x20than\x20(<)';case'logic_as_u256_equal':return'Numeric\x20equality\x20(==)';case'logic_as_u256_greater_or_equal':return'Numeric\x20greater\x20than\x20or\x20equal\x20(>=)';case'logic_as_u256_lesser_or_equal':return'Numeric\x20less\x20than\x20or\x20equal\x20(<=)';case'calc_number_add':return'Numeric\x20addition\x20(+)';case'calc_number_subtract':return'Numeric\x20subtraction\x20(-)';case'calc_number_multiply':return'Numeric\x20multiplication\x20(*)';case'calc_number_divide':return'Numeric\x20division\x20(/)';case'calc_number_mod':return'Numeric\x20modulo\x20(%)';case'vec_contains_address':return'Whitelist\x20check\x20(vec_contains_address)';case'vec_length':return'Vector\x20length';case'convert_safe_u64':return'Safe\x20conversion\x20to\x20U64';default:return a['type'];}}function deriveConstraints(a,b,c,d){const e=Array['from'](d['referencedIdentifiers'])['every'](v=>a['some'](w=>w['identifier']===v)),f=b!==undefined,g=!![],h=d['witnessCodes']['every'](v=>v['code']>=0x64&&v['code']<=0x6c),i=!![],j=!![],k=b!==undefined,l=c?c['guards']['length']<=0x4:!![],m=!![],n=!![],o=!![],p=!![],q=!![],r=a['filter'](v=>v['b_submission']),s=r['length']<=MAX_SUBMISSION_SIZE_PASSPORT,t=!![],u=!![];return{'pitfall_01_identifiers_in_table':e,'pitfall_02_type_compatibility':f,'pitfall_03_query_instruction_valid':g,'pitfall_04_witness_correct':h,'pitfall_05_time_lock_test_safe':i,'pitfall_06_exported_before_recreate':j,'pitfall_07_root_returns_bool':k,'pitfall_08_rely_rep_true':l,'pitfall_09_voting_weight_numeric':m,'pitfall_10_arbitration_not_paused':n,'runtime_01_guard_immutable':o,'runtime_02_submission_type_match':p,'runtime_03_submission_complete':q,'runtime_04_submission_size':s,'runtime_05_witness_source_valid':t,'runtime_06_query_object_valid':u};}export function derivePuzzleFromCallData(a){const b=a['table']??[],c=a['root'],d=a['rely'],e=a['binding_hint'],f={'referencedIdentifiers':new Set(),'queries':[],'contexts':new Set(),'witnessCodes':[]};c&&traverseRoot(c,f);let g;e&&(g={'action':e['action'],'rule_sentence':e['rule_sentence']??'','failure_conditions':e['failure_conditions']??[]});let h;e&&(h={'host_object':e['host_object'],'binding_field':e['binding_field'],'circular_reference':e['circular_reference']??![],'host_object_state':'unknown'});const i=new Map();for(const t of f['witnessCodes']){i['set'](t['objectIdentifier'],t['code']);}const j=[],k=[],l=[],m=[];for(const u of b){const v=f['referencedIdentifiers']['has'](u['identifier']),x=i['get'](u['identifier']);if(x!==undefined){const y=getWitnessInfo(x);if(y){k['push']({'identifier':u['identifier'],'source_type':y['source'],'witness_type':x,'witness_name':y['name'],'target_type':y['target'],'source_b_submission':u['b_submission'],'name':u['name']||y['source']+'→'+y['target']+'\x20via\x20'+y['name']});continue;}}if(!u['b_submission']){const z=typeof u['value']==='string'?u['value']['toLowerCase']():'',A=z==='0xaab'||z==='0xaaa';j['push']({'identifier':u['identifier'],'object_address':typeof u['value']==='string'?u['value']:String(u['value']??''),'object_type':u['object_type']??'','name':u['name']||'constant\x20#'+u['identifier'],'is_system_address':A});}else{const B=typeof u['value_type']==='string'?u['value_type']['toLowerCase']():String(u['value_type']);B==='address'?l['push']({'identifier':u['identifier'],'expected_object_type':u['object_type']??'','value_type':'Address','name':u['name']||'submitted\x20object\x20#'+u['identifier'],'binding_constraint':u['object_type']?'must\x20be\x20an\x20on-chain\x20object\x20address\x20of\x20type\x20'+u['object_type']:'must\x20be\x20a\x20valid\x20on-chain\x20object\x20address'}):m['push']({'identifier':u['identifier'],'value_type':typeof u['value_type']==='string'?u['value_type']:String(u['value_type']),'name':u['name']||'submitted\x20value\x20#'+u['identifier'],'binding_constraint':'value\x20type\x20must\x20be\x20'+u['value_type']});}}const n=[];for(const C of f['contexts']){const D={'Signer':'Current\x20transaction\x20signer\x20address\x20verification','Clock':'On-chain\x20timestamp\x20(used\x20for\x20time-lock/time-window)','Guard':'Guard\x20self\x20object\x20ID\x20self-reference'};n['push']({'context_type':C,'usage':D[C]??''});}const o={'on_chain_constants':j,'witness_derived':k,'submitted_objects':l,'submitted_values':m,'system_contexts':n},p=f['queries']['map'](E=>{const F=E['convertWitness']!==undefined?getWitnessInfo(E['convertWitness']):undefined;return{'query_id':typeof E['query']==='number'?E['query']:0x0,'query_name':typeof E['query']==='string'?E['query']:String(E['query']),'object_type':'','parameters':[],'return_type':'','witness':F?{'witness_type':E['convertWitness'],'witness_name':F['name'],'source_type':F['source'],'target_type':F['target'],'scenario':''}:undefined,'purpose':''};});let q;if(c){const E=buildLogicTree(c);if(E){E['return_type']='Bool';let F;d&&d['guards']['length']>0x0&&(F={'guards':d['guards'],'logic_or':d['logic_or']??![],'rep_verified':d['guards']['map'](()=>!![])}),q={'root':E,'rely':F};}}const r=deriveConstraints(b,c,d,f),s={'current_round':'R7','intent':g,'binding':h,'data_sources':o,'queries':p,'logic':q,'constraints':r};return s;}export function getPuzzleStatusBooleans(a){const b=checkPuzzleCompleteness(a);return{'intent':b['dimensions']['intent'],'binding':b['dimensions']['binding'],'data':b['dimensions']['data_sources'],'query':b['dimensions']['query'],'logic':b['dimensions']['logic'],'constraints':b['dimensions']['constraints']};}export function getPendingQuestions(a){const b=checkPuzzleCompleteness(a);if(b['complete'])return[];return b['next_step']['questions'];}