@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/machine-confirm.js

@@ -1,559 +1 @@
-import { analyzeTopology, } from "./machine-topology.js";
-import { USER_DEFINED_PERM_INDEX_START, MAX_NODE_COUNT, MAX_NODE_PAIR_COUNT, MAX_FORWARD_COUNT, MAX_FORWARD_ORDER_COUNT, } from "./onchain-constants.js";
-import { assessMachineRisks, } from "./machine-risk.js";
-import { derivePuzzleFromMachineJson, generateConfirmationText, } from "./machine-puzzle.js";
-export const PUBLISH_CHECKLIST = [
-    {
-        id: "C-01",
-        description: "Entry point exists: at least one Pair with prev_node=''",
-        status: "skip",
-        detail: "Workflow cannot start without entry Pair. Verify Pair table for empty prev_node.",
-    },
-    {
-        id: "C-02",
-        description: "Every node has outgoing Forwards (except terminal nodes)",
-        status: "skip",
-        detail: "Dead-end nodes trap workflow. Identify terminals and verify they are intended.",
-    },
-    {
-        id: "C-03",
-        description: "Every node has incoming Pair (except entry point)",
-        status: "skip",
-        detail: "Orphaned nodes are unreachable. Verify all non-entry nodes are reachable.",
-    },
-    {
-        id: "C-04",
-        description: "All thresholds independently achievable (no dead branches)",
-        status: "skip",
-        detail: "If a competing Pair always loses, it is dead code. Use topology analysis.",
-    },
-    {
-        id: "C-05",
-        description: "All Guards exist on-chain and tested (via gen_passport)",
-        status: "skip",
-        detail: "Guard addresses referenced in forwards must be valid published Guard objects.",
-    },
-    {
-        id: "C-06",
-        description: "namedOperator vs permissionIndex correct per Forward",
-        status: "skip",
-        detail: "Each Forward must have at least one of namedOperator or permissionIndex.",
-    },
-    {
-        id: "C-07",
-        description: "Terminal nodes mapped to Allocator entries for fund distribution",
-        status: "skip",
-        detail: "Terminal nodes without Allocator risk funds being locked forever.",
-    },
-    {
-        id: "C-08",
-        description: "Tested end-to-end on testnet via a test Progress",
-        status: "skip",
-        detail: "Testnet verification is mandatory before mainnet publish.",
-    },
-    {
-        id: "C-09",
-        description: "Current state exported via machineNode2file as backup",
-        status: "skip",
-        detail: "Backup before publish. If publish fails, you can rebuild from export.",
-    },
-    {
-        id: "C-10",
-        description: `On-chain constraint limits respected (MAX_NODE_COUNT=${MAX_NODE_COUNT}, MAX_NODE_PAIR_COUNT=${MAX_NODE_PAIR_COUNT}, MAX_FORWARD_COUNT=${MAX_FORWARD_COUNT})`,
-        status: "skip",
-        detail: "Exceeding on-chain constants will cause transaction failure.",
-    },
-    {
-        id: "C-11",
-        description: "All permissionIndex values >= 1000 (USER_DEFINED_PERM_INDEX_START)",
-        status: "skip",
-        detail: "On-chain permission.move reserves indexes 0-999 for built-in permissions. " +
-            "Custom permission_index MUST be >= 1000 (see doc 06 §4.4). " +
-            "Using index < 1000 causes confusion with built-in permissions.",
-    },
-];
-export function runStaticChecklist(machine) {
-    const checked = [];
-    const failed = [];
-    const warnings = [];
-    const topology = analyzeTopology(machine.nodes, machine.pairs);
-    const hasEntry = topology.entry_nodes.length > 0;
-    checked.push({
-        id: "C-01",
-        description: "Entry point exists",
-        status: hasEntry ? "pass" : "fail",
-        detail: hasEntry
-            ? `Found entry nodes: ${topology.entry_nodes.join(", ")}`
-            : "NO entry Pair with prev_node=''",
-    });
-    if (!hasEntry)
-        failed.push(checked[checked.length - 1]);
-    const nonTerminalWithoutOutgoing = machine.nodes.filter((n) => !topology.terminal_nodes.includes(n.name) &&
-        !machine.pairs.some((p) => p.prev_node === n.name));
-    checked.push({
-        id: "C-02",
-        description: "Every node has outgoing Forwards (except terminals)",
-        status: nonTerminalWithoutOutgoing.length === 0 ? "pass" : "fail",
-        detail: nonTerminalWithoutOutgoing.length === 0
-            ? "All non-terminal nodes have outgoing Pairs"
-            : `Dead-end nodes: ${nonTerminalWithoutOutgoing.map((n) => n.name).join(", ")}`,
-    });
-    if (nonTerminalWithoutOutgoing.length > 0)
-        failed.push(checked[checked.length - 1]);
-    checked.push({
-        id: "C-03",
-        description: "Every node has incoming Pair",
-        status: topology.orphaned_nodes.length === 0 ? "pass" : "fail",
-        detail: topology.orphaned_nodes.length === 0
-            ? "All non-entry nodes are reachable"
-            : `Orphaned nodes: ${topology.orphaned_nodes.join(", ")}`,
-    });
-    if (topology.orphaned_nodes.length > 0)
-        failed.push(checked[checked.length - 1]);
-    checked.push({
-        id: "C-04",
-        description: "All thresholds achievable",
-        status: topology.dead_branches.length === 0 ? "pass" : "warning",
-        detail: topology.dead_branches.length === 0
-            ? "No dead branches detected"
-            : `Potential dead branches: ${topology.dead_branches.length}`,
-    });
-    if (topology.dead_branches.length > 0)
-        warnings.push(checked[checked.length - 1]);
-    checked.push({
-        id: "C-05",
-        description: "All Guards exist on-chain",
-        status: "skip",
-        detail: "Verify at runtime via onchain_objects query for each Guard address",
-    });
-    const invalidForwards = [];
-    for (const pair of machine.pairs) {
-        for (const fwd of pair.forwards) {
-            const hasNamed = fwd.named_operator !== undefined;
-            const hasPerm = fwd.permission_index !== undefined;
-            if (!hasNamed && !hasPerm) {
-                invalidForwards.push(`${pair.prev_node}->${pair.next_node}:${fwd.name}`);
-            }
-        }
-    }
-    checked.push({
-        id: "C-06",
-        description: "Forward permission model correct",
-        status: invalidForwards.length === 0 ? "pass" : "fail",
-        detail: invalidForwards.length === 0
-            ? "All Forwards have valid permission"
-            : `Invalid Forwards: ${invalidForwards.join(", ")}`,
-    });
-    if (invalidForwards.length > 0)
-        failed.push(checked[checked.length - 1]);
-    checked.push({
-        id: "C-07",
-        description: "Terminal nodes have Allocator",
-        status: "skip",
-        detail: "Verify at Service binding stage",
-    });
-    checked.push({
-        id: "C-08",
-        description: "Testnet test passed",
-        status: "skip",
-        detail: "Verify at Layer 4 (environment)",
-    });
-    checked.push({
-        id: "C-09",
-        description: "machineNode2file backup created",
-        status: "skip",
-        detail: "Recommend exporting before publish",
-    });
-    const limitViolations = [];
-    if (!topology.within_limits.max_node_count)
-        limitViolations.push(`MAX_NODE_COUNT=${MAX_NODE_COUNT}`);
-    if (!topology.within_limits.max_node_pair_count)
-        limitViolations.push(`MAX_NODE_PAIR_COUNT=${MAX_NODE_PAIR_COUNT}`);
-    if (!topology.within_limits.max_forward_count)
-        limitViolations.push(`MAX_FORWARD_COUNT=${MAX_FORWARD_COUNT}`);
-    if (!topology.within_limits.max_forward_order_count)
-        limitViolations.push(`MAX_FORWARD_ORDER_COUNT=${MAX_FORWARD_ORDER_COUNT}`);
-    checked.push({
-        id: "C-10",
-        description: "On-chain limits respected",
-        status: limitViolations.length === 0 ? "pass" : "fail",
-        detail: limitViolations.length === 0
-            ? "All limits within bounds"
-            : `Violations: ${limitViolations.join(", ")}`,
-    });
-    if (limitViolations.length > 0)
-        failed.push(checked[checked.length - 1]);
-    const lowPermissionIndexes = [];
-    for (const pair of machine.pairs) {
-        for (const fwd of pair.forwards) {
-            if (fwd.permission_index !== undefined &&
-                fwd.permission_index !== null &&
-                fwd.permission_index < USER_DEFINED_PERM_INDEX_START) {
-                lowPermissionIndexes.push(`${pair.prev_node}->${pair.next_node}:${fwd.name} (idx=${fwd.permission_index})`);
-            }
-        }
-    }
-    checked.push({
-        id: "C-11",
-        description: `permissionIndex >= ${USER_DEFINED_PERM_INDEX_START}`,
-        status: lowPermissionIndexes.length === 0 ? "pass" : "fail",
-        detail: lowPermissionIndexes.length === 0
-            ? `All permission_index values >= ${USER_DEFINED_PERM_INDEX_START}`
-            : `permission_index < ${USER_DEFINED_PERM_INDEX_START}: ${lowPermissionIndexes.join(", ")}`,
-    });
-    if (lowPermissionIndexes.length > 0)
-        failed.push(checked[checked.length - 1]);
-    return {
-        passed: failed.length === 0,
-        checked_items: checked,
-        failed_items: failed,
-        warnings,
-    };
-}
-export function integrateRiskAssessment(machine, context) {
-    const machineForRisk = {
-        nodes: machine.nodes,
-        pairs: machine.pairs,
-        b_published: machine.b_published,
-        b_paused: machine.b_paused,
-        scene_id: machine.scene_id,
-    };
-    const assessment = assessMachineRisks(machineForRisk, context);
-    const blocking_risks = [];
-    const warning_risks = [];
-    for (const risk of assessment.detected_risks) {
-        if (risk.severity === "critical" || risk.severity === "high") {
-            blocking_risks.push(risk.rule_id);
-        }
-        else if (risk.severity === "medium") {
-            warning_risks.push(risk.rule_id);
-        }
-    }
-    let recommendation;
-    if (blocking_risks.some((id) => {
-        const risk = assessment.detected_risks.find((r) => r.rule_id === id);
-        return risk?.severity === "critical";
-    })) {
-        recommendation = "do_not_publish";
-    }
-    else if (blocking_risks.length > 0) {
-        recommendation = "fix_first";
-    }
-    else if (warning_risks.length > 3) {
-        recommendation = "fix_first";
-    }
-    else {
-        recommendation = "publish";
-    }
-    return {
-        overall_risk_level: assessment.overall_level,
-        blocking_risks,
-        warning_risks,
-        recommendation,
-    };
-}
-export const CONFIRMATION_QUESTIONS = [
-    { id: "Q1", question: "Reviewed topology and confirmed all nodes/forwards are correct?", expected_response: "yes", blocking: true },
-    { id: "Q2", question: "Tested this Machine on TESTNET with a successful Progress run?", expected_response: "yes", blocking: true },
-    { id: "Q3", question: "All Guards created, bound, and verified via gen_passport?", expected_response: "yes", blocking: true },
-    { id: "Q4", question: "All Allocators configured for terminal nodes?", expected_response: "yes", blocking: true },
-    { id: "Q5", question: "Acknowledge that publishing is IRREVERSIBLE and gas will be consumed?", expected_response: "yes", blocking: true },
-    { id: "Q6", question: "Proceed with publishing this Machine NOW?", expected_response: "yes", blocking: true },
-];
-export function parseUserConfirmation(userInput) {
-    const responses = userInput.split(",").map((s) => s.trim().toLowerCase());
-    const user_responses = [];
-    for (let i = 0; i < CONFIRMATION_QUESTIONS.length; i++) {
-        const q = CONFIRMATION_QUESTIONS[i];
-        const answer = responses[i] || "(no answer)";
-        const is_yes = answer.startsWith("y") || answer === "yes";
-        const is_no = answer.startsWith("n") || answer === "no";
-        user_responses.push({
-            question_id: q.id,
-            response: is_yes ? "yes" : is_no ? "no" : "unclear",
-            raw_input: answer,
-        });
-    }
-    const all_blocking_yes = CONFIRMATION_QUESTIONS
-        .filter((q) => q.blocking)
-        .every((q, idx) => user_responses[idx].response === "yes");
-    return {
-        questions_asked: CONFIRMATION_QUESTIONS,
-        user_responses,
-        approved: all_blocking_yes,
-        declined_reason: all_blocking_yes
-            ? undefined
-            : "One or more blocking questions answered 'no'",
-        timestamp: new Date().toISOString(),
-    };
-}
-export function generateFullConfirmationText(machine, checklistResult, riskResult) {
-    const puzzle = derivePuzzleFromMachineJson({
-        nodes: machine.nodes,
-        pairs: machine.pairs,
-        scene_id: machine.scene_id,
-        template_id: machine.template_id,
-    });
-    const puzzleText = generateConfirmationText(puzzle);
-    const lines = [
-        "╔═══════════════════════════════════════════════════════════════╗",
-        "║           MACHINE PUBLISH CONFIRMATION REQUIRED                ║",
-        "╚═══════════════════════════════════════════════════════════════╝",
-        "",
-        "⚠️  WARNING: Publishing a Machine is IRREVERSIBLE.",
-        "   - Nodes, Pairs, Forwards will be FROZEN permanently.",
-        "   - Gas will be consumed (cannot be refunded).",
-        "   - Any error requires creating a NEW Machine (with new gas cost).",
-        "",
-        "═══════════════════════════════════════════════════════════════",
-        puzzleText,
-        "═══════════════════════════════════════════════════════════════",
-        "RISK ASSESSMENT:",
-        `  Overall Risk Level: ${riskResult.overall_risk_level.toUpperCase()}`,
-        `  Recommendation:     ${riskResult.recommendation}`,
-        `  Blocking Risks:     ${riskResult.blocking_risks.length === 0 ? "None" : riskResult.blocking_risks.join(", ")}`,
-        `  Warning Risks:     ${riskResult.warning_risks.length === 0 ? "None" : riskResult.warning_risks.join(", ")}`,
-        "",
-        "═══════════════════════════════════════════════════════════════",
-        "STATIC CHECKLIST:",
-        `  Passed:    ${checklistResult.checked_items.filter((i) => i.status === "pass").length} / ${checklistResult.checked_items.length}`,
-        `  Failed:    ${checklistResult.failed_items.length}`,
-        `  Warnings:  ${checklistResult.warnings.length}`,
-        `  Skipped:   ${checklistResult.checked_items.filter((i) => i.status === "skip").length}`,
-        "",
-        ...checklistResult.failed_items.map((i) => `  ❌ ${i.id}: ${i.description} — ${i.detail || ""}`),
-        ...checklistResult.warnings.map((i) => `  ⚠️  ${i.id}: ${i.description} — ${i.detail || ""}`),
-        "",
-        "═══════════════════════════════════════════════════════════════",
-        "USER CONFIRMATION QUESTIONS:",
-        "",
-        ...CONFIRMATION_QUESTIONS.map((q, idx) => `  Q${idx + 1}. ${q.question} [Yes / No]`),
-        "",
-        "If you answer 'No' to ANY of Q1-Q5, publish will be BLOCKED.",
-        "If you answer 'No' to Q6, publish will be CANCELLED (no gas spent).",
-        "",
-        "Type your answers (Q1-Q6) separated by commas:",
-    ];
-    return lines.join("\n");
-}
-export function verifyEnvironment(machine, context, isMainnet) {
-    const missing_dependencies = [];
-    for (const pair of machine.pairs) {
-        for (const forward of pair.forwards) {
-            if (forward.guard && !context.published_guards.has(forward.guard)) {
-                missing_dependencies.push(`Guard: ${forward.guard}`);
-            }
-        }
-    }
-    const has_testnet_test_passed = context.testnet_test_passed;
-    const effectiveTestPassed = isMainnet ? has_testnet_test_passed : true;
-    return {
-        is_testnet: !isMainnet,
-        has_testnet_test_passed: effectiveTestPassed,
-        gas_estimation: context.gas_estimation,
-        dependency_table_complete: missing_dependencies.length === 0,
-        missing_dependencies,
-    };
-}
-function hashMachineJson(machine) {
-    const json = JSON.stringify({
-        nodes: machine.nodes.map((n) => n.name),
-        pairs: machine.pairs.map((p) => ({
-            prev: p.prev_node,
-            next: p.next_node,
-            threshold: p.threshold,
-            forwards: p.forwards.map((f) => f.name),
-        })),
-    });
-    let hash = 0;
-    for (let i = 0; i < json.length; i++) {
-        const char = json.charCodeAt(i);
-        hash = ((hash << 5) - hash) + char;
-        hash = hash & hash;
-    }
-    return `0x${(hash >>> 0).toString(16).padStart(8, "0")}`;
-}
-export function confirmPublish(machine, context, isMainnet, userConfirmationInput) {
-    const decision_record = {
-        timestamp: new Date().toISOString(),
-        user_address: context.user_address,
-        machine_json_hash: hashMachineJson(machine),
-        template_id: machine.template_id,
-        scene_id: machine.scene_id,
-        final_status: "blocked_checklist",
-    };
-    const checklist_result = runStaticChecklist(machine);
-    if (!checklist_result.passed) {
-        return {
-            status: "blocked_checklist",
-            checklist_result,
-            decision_record: { ...decision_record, final_status: "blocked_checklist" },
-            block_reason: `Checklist failed: ${checklist_result.failed_items.map((i) => i.id).join(", ")}`,
-        };
-    }
-    const risk_result = integrateRiskAssessment(machine, context);
-    if (risk_result.recommendation === "do_not_publish") {
-        return {
-            status: "blocked_risk",
-            checklist_result,
-            risk_result,
-            decision_record: { ...decision_record, final_status: "blocked_risk" },
-            block_reason: `Critical risks detected: ${risk_result.blocking_risks.join(", ")}`,
-        };
-    }
-    if (!userConfirmationInput) {
-        const confirmation_text = generateFullConfirmationText(machine, checklist_result, risk_result);
-        return {
-            status: "blocked_user",
-            checklist_result,
-            risk_result,
-            confirmation_text,
-            decision_record: { ...decision_record, final_status: "blocked_user" },
-            block_reason: "Awaiting user confirmation",
-        };
-    }
-    const user_confirmation = parseUserConfirmation(userConfirmationInput);
-    if (!user_confirmation.approved) {
-        return {
-            status: "blocked_user",
-            checklist_result,
-            risk_result,
-            user_confirmation,
-            decision_record: { ...decision_record, final_status: "blocked_user" },
-            block_reason: user_confirmation.declined_reason || "User declined",
-        };
-    }
-    const environment_result = verifyEnvironment(machine, context, isMainnet);
-    if (!environment_result.dependency_table_complete || !environment_result.has_testnet_test_passed) {
-        const issues = [];
-        if (!environment_result.dependency_table_complete) {
-            issues.push(`missing dependencies: ${environment_result.missing_dependencies.join(", ")}`);
-        }
-        if (!environment_result.has_testnet_test_passed) {
-            issues.push("testnet test not passed (required for mainnet)");
-        }
-        return {
-            status: "blocked_environment",
-            checklist_result,
-            risk_result,
-            user_confirmation,
-            environment_result,
-            decision_record: { ...decision_record, final_status: "blocked_environment" },
-            block_reason: `Environment issues: ${issues.join("; ")}`,
-        };
-    }
-    return {
-        status: "approved",
-        checklist_result,
-        risk_result,
-        user_confirmation,
-        environment_result,
-        decision_record: { ...decision_record, final_status: "approved" },
-    };
-}
-export function overrideBlockWithReason(result, _userReason) {
-    if (result.status !== "blocked_risk") {
-        return result;
-    }
-    const hasCritical = result.risk_result?.blocking_risks.some((id) => id.includes("CRITICAL") || id.includes("critical"));
-    if (hasCritical) {
-        return {
-            ...result,
-            block_reason: "Cannot override CRITICAL risks",
-        };
-    }
-    return {
-        ...result,
-        status: "approved",
-        block_reason: undefined,
-        decision_record: {
-            ...result.decision_record,
-            final_status: "approved",
-        },
-    };
-}
-export function progressiveCheck(machine, round) {
-    const fullResult = runStaticChecklist(machine);
-    if (round === "R5") {
-        return filterChecklist(fullResult, ["C-01", "C-02", "C-03", "C-04", "C-06", "C-10"]);
-    }
-    if (round === "R6") {
-        return filterChecklist(fullResult, ["C-01", "C-02", "C-03", "C-04", "C-05", "C-06", "C-10"]);
-    }
-    return fullResult;
-}
-function filterChecklist(result, allowedIds) {
-    const filtered = result.checked_items.filter((i) => allowedIds.includes(i.id));
-    return {
-        passed: filtered.filter((i) => i.status === "fail").length === 0,
-        checked_items: filtered,
-        failed_items: filtered.filter((i) => i.status === "fail"),
-        warnings: filtered.filter((i) => i.status === "warning"),
-    };
-}
-export function prePublishHook(machine, context, isMainnet) {
-    const result = confirmPublish(machine, context, isMainnet);
-    if (result.status !== "blocked_user" && result.status !== "approved") {
-        return {
-            proceed: false,
-            error: formatBlockError(result),
-            confirmGateResult: result,
-        };
-    }
-    if (result.status === "blocked_user" && result.confirmation_text) {
-        return {
-            proceed: false,
-            error: result.confirmation_text,
-            confirmGateResult: result,
-        };
-    }
-    return { proceed: true, confirmGateResult: result };
-}
-export function postConfirmationHook(machine, context, isMainnet, userConfirmationInput) {
-    const result = confirmPublish(machine, context, isMainnet, userConfirmationInput);
-    if (result.status !== "approved") {
-        return {
-            proceed: false,
-            error: formatBlockError(result),
-            confirmGateResult: result,
-        };
-    }
-    return { proceed: true, confirmGateResult: result };
-}
-export function formatBlockError(result) {
-    const lines = [
-        "❌ MACHINE PUBLISH BLOCKED",
-        "",
-        `Status: ${result.status}`,
-        `Reason: ${result.block_reason || "(no reason provided)"}`,
-        "",
-    ];
-    if (result.status === "blocked_checklist") {
-        lines.push("Failed checklist items:");
-        for (const item of result.checklist_result.failed_items) {
-            lines.push(`  - ${item.id}: ${item.description}`);
-            lines.push(`    Detail: ${item.detail || "(no detail)"}`);
-        }
-    }
-    if (result.status === "blocked_risk" && result.risk_result) {
-        lines.push("Blocking risks:");
-        for (const riskId of result.risk_result.blocking_risks) {
-            lines.push(`  - ${riskId}`);
-        }
-        lines.push("");
-        lines.push(`Recommendation: ${result.risk_result.recommendation}`);
-    }
-    if (result.status === "blocked_environment" && result.environment_result) {
-        lines.push("Environment issues:");
-        for (const dep of result.environment_result.missing_dependencies) {
-            lines.push(`  - Missing dependency: ${dep}`);
-        }
-        if (!result.environment_result.has_testnet_test_passed) {
-            lines.push("  - Testnet test NOT passed (required for mainnet)");
-        }
-    }
-    return lines.join("\n");
-}
-export const MACHINE_CONFIRM_VERSION = "1.0.0";
-export const MACHINE_CHECKLIST_ITEMS_COUNT = PUBLISH_CHECKLIST.length;
-export const MACHINE_CONFIRMATION_QUESTIONS_COUNT = CONFIRMATION_QUESTIONS.length;
+import{analyzeTopology}from'./machine-topology.js';import{USER_DEFINED_PERM_INDEX_START,MAX_NODE_COUNT,MAX_NODE_PAIR_COUNT,MAX_FORWARD_COUNT,MAX_FORWARD_ORDER_COUNT}from'./onchain-constants.js';import{assessMachineRisks}from'./machine-risk.js';import{derivePuzzleFromMachineJson,generateConfirmationText}from'./machine-puzzle.js';export const PUBLISH_CHECKLIST=[{'id':'C-01','description':'Entry\x20point\x20exists:\x20at\x20least\x20one\x20Pair\x20with\x20prev_node=\x27\x27','status':'skip','detail':'Workflow\x20cannot\x20start\x20without\x20entry\x20Pair.\x20Verify\x20Pair\x20table\x20for\x20empty\x20prev_node.'},{'id':'C-02','description':'Every\x20node\x20has\x20outgoing\x20Forwards\x20(except\x20terminal\x20nodes)','status':'skip','detail':'Dead-end\x20nodes\x20trap\x20workflow.\x20Identify\x20terminals\x20and\x20verify\x20they\x20are\x20intended.'},{'id':'C-03','description':'Every\x20node\x20has\x20incoming\x20Pair\x20(except\x20entry\x20point)','status':'skip','detail':'Orphaned\x20nodes\x20are\x20unreachable.\x20Verify\x20all\x20non-entry\x20nodes\x20are\x20reachable.'},{'id':'C-04','description':'All\x20thresholds\x20independently\x20achievable\x20(no\x20dead\x20branches)','status':'skip','detail':'If\x20a\x20competing\x20Pair\x20always\x20loses,\x20it\x20is\x20dead\x20code.\x20Use\x20topology\x20analysis.'},{'id':'C-05','description':'All\x20Guards\x20exist\x20on-chain\x20and\x20tested\x20(via\x20gen_passport)','status':'skip','detail':'Guard\x20addresses\x20referenced\x20in\x20forwards\x20must\x20be\x20valid\x20published\x20Guard\x20objects.'},{'id':'C-06','description':'namedOperator\x20vs\x20permissionIndex\x20correct\x20per\x20Forward','status':'skip','detail':'Each\x20Forward\x20must\x20have\x20at\x20least\x20one\x20of\x20namedOperator\x20or\x20permissionIndex.'},{'id':'C-07','description':'Terminal\x20nodes\x20mapped\x20to\x20Allocator\x20entries\x20for\x20fund\x20distribution','status':'skip','detail':'Terminal\x20nodes\x20without\x20Allocator\x20risk\x20funds\x20being\x20locked\x20forever.'},{'id':'C-08','description':'Tested\x20end-to-end\x20on\x20testnet\x20via\x20a\x20test\x20Progress','status':'skip','detail':'Testnet\x20verification\x20is\x20mandatory\x20before\x20mainnet\x20publish.'},{'id':'C-09','description':'Current\x20state\x20exported\x20via\x20machineNode2file\x20as\x20backup','status':'skip','detail':'Backup\x20before\x20publish.\x20If\x20publish\x20fails,\x20you\x20can\x20rebuild\x20from\x20export.'},{'id':'C-10','description':'On-chain\x20constraint\x20limits\x20respected\x20(MAX_NODE_COUNT='+MAX_NODE_COUNT+',\x20MAX_NODE_PAIR_COUNT='+MAX_NODE_PAIR_COUNT+',\x20MAX_FORWARD_COUNT='+MAX_FORWARD_COUNT+')','status':'skip','detail':'Exceeding\x20on-chain\x20constants\x20will\x20cause\x20transaction\x20failure.'},{'id':'C-11','description':'All\x20permissionIndex\x20values\x20>=\x201000\x20(USER_DEFINED_PERM_INDEX_START)','status':'skip','detail':'On-chain\x20permission.move\x20reserves\x20indexes\x200-999\x20for\x20built-in\x20permissions.\x20'+'Custom\x20permission_index\x20MUST\x20be\x20>=\x201000\x20(see\x20doc\x2006\x20§4.4).\x20'+'Using\x20index\x20<\x201000\x20causes\x20confusion\x20with\x20built-in\x20permissions.'}];export function runStaticChecklist(a){const b=[],c=[],d=[],e=analyzeTopology(a['nodes'],a['pairs']),f=e['entry_nodes']['length']>0x0;b['push']({'id':'C-01','description':'Entry\x20point\x20exists','status':f?'pass':'fail','detail':f?'Found\x20entry\x20nodes:\x20'+e['entry_nodes']['join'](',\x20'):'NO\x20entry\x20Pair\x20with\x20prev_node=\x27\x27'});if(!f)c['push'](b[b['length']-0x1]);const g=a['nodes']['filter'](k=>!e['terminal_nodes']['includes'](k['name'])&&!a['pairs']['some'](l=>l['prev_node']===k['name']));b['push']({'id':'C-02','description':'Every\x20node\x20has\x20outgoing\x20Forwards\x20(except\x20terminals)','status':g['length']===0x0?'pass':'fail','detail':g['length']===0x0?'All\x20non-terminal\x20nodes\x20have\x20outgoing\x20Pairs':'Dead-end\x20nodes:\x20'+g['map'](k=>k['name'])['join'](',\x20')});if(g['length']>0x0)c['push'](b[b['length']-0x1]);b['push']({'id':'C-03','description':'Every\x20node\x20has\x20incoming\x20Pair','status':e['orphaned_nodes']['length']===0x0?'pass':'fail','detail':e['orphaned_nodes']['length']===0x0?'All\x20non-entry\x20nodes\x20are\x20reachable':'Orphaned\x20nodes:\x20'+e['orphaned_nodes']['join'](',\x20')});if(e['orphaned_nodes']['length']>0x0)c['push'](b[b['length']-0x1]);b['push']({'id':'C-04','description':'All\x20thresholds\x20achievable','status':e['dead_branches']['length']===0x0?'pass':'warning','detail':e['dead_branches']['length']===0x0?'No\x20dead\x20branches\x20detected':'Potential\x20dead\x20branches:\x20'+e['dead_branches']['length']});if(e['dead_branches']['length']>0x0)d['push'](b[b['length']-0x1]);b['push']({'id':'C-05','description':'All\x20Guards\x20exist\x20on-chain','status':'skip','detail':'Verify\x20at\x20runtime\x20via\x20onchain_objects\x20query\x20for\x20each\x20Guard\x20address'});const h=[];for(const k of a['pairs']){for(const l of k['forwards']){const m=l['named_operator']!==undefined,n=l['permission_index']!==undefined;!m&&!n&&h['push'](k['prev_node']+'->'+k['next_node']+':'+l['name']);}}b['push']({'id':'C-06','description':'Forward\x20permission\x20model\x20correct','status':h['length']===0x0?'pass':'fail','detail':h['length']===0x0?'All\x20Forwards\x20have\x20valid\x20permission':'Invalid\x20Forwards:\x20'+h['join'](',\x20')});if(h['length']>0x0)c['push'](b[b['length']-0x1]);b['push']({'id':'C-07','description':'Terminal\x20nodes\x20have\x20Allocator','status':'skip','detail':'Verify\x20at\x20Service\x20binding\x20stage'}),b['push']({'id':'C-08','description':'Testnet\x20test\x20passed','status':'skip','detail':'Verify\x20at\x20Layer\x204\x20(environment)'}),b['push']({'id':'C-09','description':'machineNode2file\x20backup\x20created','status':'skip','detail':'Recommend\x20exporting\x20before\x20publish'});const i=[];if(!e['within_limits']['max_node_count'])i['push']('MAX_NODE_COUNT='+MAX_NODE_COUNT);if(!e['within_limits']['max_node_pair_count'])i['push']('MAX_NODE_PAIR_COUNT='+MAX_NODE_PAIR_COUNT);if(!e['within_limits']['max_forward_count'])i['push']('MAX_FORWARD_COUNT='+MAX_FORWARD_COUNT);if(!e['within_limits']['max_forward_order_count'])i['push']('MAX_FORWARD_ORDER_COUNT='+MAX_FORWARD_ORDER_COUNT);b['push']({'id':'C-10','description':'On-chain\x20limits\x20respected','status':i['length']===0x0?'pass':'fail','detail':i['length']===0x0?'All\x20limits\x20within\x20bounds':'Violations:\x20'+i['join'](',\x20')});if(i['length']>0x0)c['push'](b[b['length']-0x1]);const j=[];for(const o of a['pairs']){for(const p of o['forwards']){p['permission_index']!==undefined&&p['permission_index']!==null&&p['permission_index']<USER_DEFINED_PERM_INDEX_START&&j['push'](o['prev_node']+'->'+o['next_node']+':'+p['name']+'\x20(idx='+p['permission_index']+')');}}b['push']({'id':'C-11','description':'permissionIndex\x20>=\x20'+USER_DEFINED_PERM_INDEX_START,'status':j['length']===0x0?'pass':'fail','detail':j['length']===0x0?'All\x20permission_index\x20values\x20>=\x20'+USER_DEFINED_PERM_INDEX_START:'permission_index\x20<\x20'+USER_DEFINED_PERM_INDEX_START+':\x20'+j['join'](',\x20')});if(j['length']>0x0)c['push'](b[b['length']-0x1]);return{'passed':c['length']===0x0,'checked_items':b,'failed_items':c,'warnings':d};}export function integrateRiskAssessment(a,b){const c={'nodes':a['nodes'],'pairs':a['pairs'],'b_published':a['b_published'],'b_paused':a['b_paused'],'scene_id':a['scene_id']},d=assessMachineRisks(c,b),e=[],f=[];for(const h of d['detected_risks']){if(h['severity']==='critical'||h['severity']==='high')e['push'](h['rule_id']);else h['severity']==='medium'&&f['push'](h['rule_id']);}let g;if(e['some'](i=>{const j=d['detected_risks']['find'](k=>k['rule_id']===i);return j?.['severity']==='critical';}))g='do_not_publish';else{if(e['length']>0x0)g='fix_first';else f['length']>0x3?g='fix_first':g='publish';}return{'overall_risk_level':d['overall_level'],'blocking_risks':e,'warning_risks':f,'recommendation':g};}export const CONFIRMATION_QUESTIONS=[{'id':'Q1','question':'Reviewed\x20topology\x20and\x20confirmed\x20all\x20nodes/forwards\x20are\x20correct?','expected_response':'yes','blocking':!![]},{'id':'Q2','question':'Tested\x20this\x20Machine\x20on\x20TESTNET\x20with\x20a\x20successful\x20Progress\x20run?','expected_response':'yes','blocking':!![]},{'id':'Q3','question':'All\x20Guards\x20created,\x20bound,\x20and\x20verified\x20via\x20gen_passport?','expected_response':'yes','blocking':!![]},{'id':'Q4','question':'All\x20Allocators\x20configured\x20for\x20terminal\x20nodes?','expected_response':'yes','blocking':!![]},{'id':'Q5','question':'Acknowledge\x20that\x20publishing\x20is\x20IRREVERSIBLE\x20and\x20gas\x20will\x20be\x20consumed?','expected_response':'yes','blocking':!![]},{'id':'Q6','question':'Proceed\x20with\x20publishing\x20this\x20Machine\x20NOW?','expected_response':'yes','blocking':!![]}];export function parseUserConfirmation(a){const b=a['split'](',')['map'](e=>e['trim']()['toLowerCase']()),c=[];for(let e=0x0;e<CONFIRMATION_QUESTIONS['length'];e++){const f=CONFIRMATION_QUESTIONS[e],g=b[e]||'(no\x20answer)',h=g['startsWith']('y')||g==='yes',j=g['startsWith']('n')||g==='no';c['push']({'question_id':f['id'],'response':h?'yes':j?'no':'unclear','raw_input':g});}const d=CONFIRMATION_QUESTIONS['filter'](k=>k['blocking'])['every']((k,l)=>c[l]['response']==='yes');return{'questions_asked':CONFIRMATION_QUESTIONS,'user_responses':c,'approved':d,'declined_reason':d?undefined:'One\x20or\x20more\x20blocking\x20questions\x20answered\x20\x27no\x27','timestamp':new Date()['toISOString']()};}export function generateFullConfirmationText(a,b,c){const d=derivePuzzleFromMachineJson({'nodes':a['nodes'],'pairs':a['pairs'],'scene_id':a['scene_id'],'template_id':a['template_id']}),e=generateConfirmationText(d),f=['╔═══════════════════════════════════════════════════════════════╗','║\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20MACHINE\x20PUBLISH\x20CONFIRMATION\x20REQUIRED\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20║','╚═══════════════════════════════════════════════════════════════╝','','⚠️\x20\x20WARNING:\x20Publishing\x20a\x20Machine\x20is\x20IRREVERSIBLE.','\x20\x20\x20-\x20Nodes,\x20Pairs,\x20Forwards\x20will\x20be\x20FROZEN\x20permanently.','\x20\x20\x20-\x20Gas\x20will\x20be\x20consumed\x20(cannot\x20be\x20refunded).','\x20\x20\x20-\x20Any\x20error\x20requires\x20creating\x20a\x20NEW\x20Machine\x20(with\x20new\x20gas\x20cost).','','═══════════════════════════════════════════════════════════════',e,'═══════════════════════════════════════════════════════════════','RISK\x20ASSESSMENT:','\x20\x20Overall\x20Risk\x20Level:\x20'+c['overall_risk_level']['toUpperCase'](),'\x20\x20Recommendation:\x20\x20\x20\x20\x20'+c['recommendation'],'\x20\x20Blocking\x20Risks:\x20\x20\x20\x20\x20'+(c['blocking_risks']['length']===0x0?'None':c['blocking_risks']['join'](',\x20')),'\x20\x20Warning\x20Risks:\x20\x20\x20\x20\x20'+(c['warning_risks']['length']===0x0?'None':c['warning_risks']['join'](',\x20')),'','═══════════════════════════════════════════════════════════════','STATIC\x20CHECKLIST:','\x20\x20Passed:\x20\x20\x20\x20'+b['checked_items']['filter'](g=>g['status']==='pass')['length']+'\x20/\x20'+b['checked_items']['length'],'\x20\x20Failed:\x20\x20\x20\x20'+b['failed_items']['length'],'\x20\x20Warnings:\x20\x20'+b['warnings']['length'],'\x20\x20Skipped:\x20\x20\x20'+b['checked_items']['filter'](g=>g['status']==='skip')['length'],'',...b['failed_items']['map'](g=>'\x20\x20❌\x20'+g['id']+':\x20'+g['description']+'\x20—\x20'+(g['detail']||'')),...b['warnings']['map'](g=>'\x20\x20⚠️\x20\x20'+g['id']+':\x20'+g['description']+'\x20—\x20'+(g['detail']||'')),'','═══════════════════════════════════════════════════════════════','USER\x20CONFIRMATION\x20QUESTIONS:','',...CONFIRMATION_QUESTIONS['map']((g,h)=>'\x20\x20Q'+(h+0x1)+'.\x20'+g['question']+'\x20[Yes\x20/\x20No]'),'','If\x20you\x20answer\x20\x27No\x27\x20to\x20ANY\x20of\x20Q1-Q5,\x20publish\x20will\x20be\x20BLOCKED.','If\x20you\x20answer\x20\x27No\x27\x20to\x20Q6,\x20publish\x20will\x20be\x20CANCELLED\x20(no\x20gas\x20spent).','','Type\x20your\x20answers\x20(Q1-Q6)\x20separated\x20by\x20commas:'];return f['join']('\x0a');}export function verifyEnvironment(a,b,c){const d=[];for(const g of a['pairs']){for(const h of g['forwards']){h['guard']&&!b['published_guards']['has'](h['guard'])&&d['push']('Guard:\x20'+h['guard']);}}const e=b['testnet_test_passed'],f=c?e:!![];return{'is_testnet':!c,'has_testnet_test_passed':f,'gas_estimation':b['gas_estimation'],'dependency_table_complete':d['length']===0x0,'missing_dependencies':d};}function hashMachineJson(a){const b=JSON['stringify']({'nodes':a['nodes']['map'](d=>d['name']),'pairs':a['pairs']['map'](d=>({'prev':d['prev_node'],'next':d['next_node'],'threshold':d['threshold'],'forwards':d['forwards']['map'](e=>e['name'])}))});let c=0x0;for(let d=0x0;d<b['length'];d++){const e=b['charCodeAt'](d);c=(c<<0x5)-c+e,c=c&c;}return'0x'+(c>>>0x0)['toString'](0x10)['padStart'](0x8,'0');}export function confirmPublish(a,b,c,d){const e={'timestamp':new Date()['toISOString'](),'user_address':b['user_address'],'machine_json_hash':hashMachineJson(a),'template_id':a['template_id'],'scene_id':a['scene_id'],'final_status':'blocked_checklist'},f=runStaticChecklist(a);if(!f['passed'])return{'status':'blocked_checklist','checklist_result':f,'decision_record':{...e,'final_status':'blocked_checklist'},'block_reason':'Checklist\x20failed:\x20'+f['failed_items']['map'](j=>j['id'])['join'](',\x20')};const g=integrateRiskAssessment(a,b);if(g['recommendation']==='do_not_publish')return{'status':'blocked_risk','checklist_result':f,'risk_result':g,'decision_record':{...e,'final_status':'blocked_risk'},'block_reason':'Critical\x20risks\x20detected:\x20'+g['blocking_risks']['join'](',\x20')};if(!d){const j=generateFullConfirmationText(a,f,g);return{'status':'blocked_user','checklist_result':f,'risk_result':g,'confirmation_text':j,'decision_record':{...e,'final_status':'blocked_user'},'block_reason':'Awaiting\x20user\x20confirmation'};}const h=parseUserConfirmation(d);if(!h['approved'])return{'status':'blocked_user','checklist_result':f,'risk_result':g,'user_confirmation':h,'decision_record':{...e,'final_status':'blocked_user'},'block_reason':h['declined_reason']||'User\x20declined'};const i=verifyEnvironment(a,b,c);if(!i['dependency_table_complete']||!i['has_testnet_test_passed']){const k=[];return!i['dependency_table_complete']&&k['push']('missing\x20dependencies:\x20'+i['missing_dependencies']['join'](',\x20')),!i['has_testnet_test_passed']&&k['push']('testnet\x20test\x20not\x20passed\x20(required\x20for\x20mainnet)'),{'status':'blocked_environment','checklist_result':f,'risk_result':g,'user_confirmation':h,'environment_result':i,'decision_record':{...e,'final_status':'blocked_environment'},'block_reason':'Environment\x20issues:\x20'+k['join'](';\x20')};}return{'status':'approved','checklist_result':f,'risk_result':g,'user_confirmation':h,'environment_result':i,'decision_record':{...e,'final_status':'approved'}};}export function overrideBlockWithReason(a,b){if(a['status']!=='blocked_risk')return a;const c=a['risk_result']?.['blocking_risks']['some'](d=>d['includes']('CRITICAL')||d['includes']('critical'));if(c)return{...a,'block_reason':'Cannot\x20override\x20CRITICAL\x20risks'};return{...a,'status':'approved','block_reason':undefined,'decision_record':{...a['decision_record'],'final_status':'approved'}};}export function progressiveCheck(a,b){const c=runStaticChecklist(a);if(b==='R5')return filterChecklist(c,['C-01','C-02','C-03','C-04','C-06','C-10']);if(b==='R6')return filterChecklist(c,['C-01','C-02','C-03','C-04','C-05','C-06','C-10']);return c;}function filterChecklist(a,b){const c=a['checked_items']['filter'](d=>b['includes'](d['id']));return{'passed':c['filter'](d=>d['status']==='fail')['length']===0x0,'checked_items':c,'failed_items':c['filter'](d=>d['status']==='fail'),'warnings':c['filter'](d=>d['status']==='warning')};}export function prePublishHook(a,b,c){const d=confirmPublish(a,b,c);if(d['status']!=='blocked_user'&&d['status']!=='approved')return{'proceed':![],'error':formatBlockError(d),'confirmGateResult':d};if(d['status']==='blocked_user'&&d['confirmation_text'])return{'proceed':![],'error':d['confirmation_text'],'confirmGateResult':d};return{'proceed':!![],'confirmGateResult':d};}export function postConfirmationHook(a,b,c,d){const e=confirmPublish(a,b,c,d);if(e['status']!=='approved')return{'proceed':![],'error':formatBlockError(e),'confirmGateResult':e};return{'proceed':!![],'confirmGateResult':e};}export function formatBlockError(a){const b=['❌\x20MACHINE\x20PUBLISH\x20BLOCKED','','Status:\x20'+a['status'],'Reason:\x20'+(a['block_reason']||'(no\x20reason\x20provided)'),''];if(a['status']==='blocked_checklist'){b['push']('Failed\x20checklist\x20items:');for(const c of a['checklist_result']['failed_items']){b['push']('\x20\x20-\x20'+c['id']+':\x20'+c['description']),b['push']('\x20\x20\x20\x20Detail:\x20'+(c['detail']||'(no\x20detail)'));}}if(a['status']==='blocked_risk'&&a['risk_result']){b['push']('Blocking\x20risks:');for(const d of a['risk_result']['blocking_risks']){b['push']('\x20\x20-\x20'+d);}b['push'](''),b['push']('Recommendation:\x20'+a['risk_result']['recommendation']);}if(a['status']==='blocked_environment'&&a['environment_result']){b['push']('Environment\x20issues:');for(const e of a['environment_result']['missing_dependencies']){b['push']('\x20\x20-\x20Missing\x20dependency:\x20'+e);}!a['environment_result']['has_testnet_test_passed']&&b['push']('\x20\x20-\x20Testnet\x20test\x20NOT\x20passed\x20(required\x20for\x20mainnet)');}return b['join']('\x0a');}export const MACHINE_CONFIRM_VERSION='1.0.0';export const MACHINE_CHECKLIST_ITEMS_COUNT=PUBLISH_CHECKLIST['length'];export const MACHINE_CONFIRMATION_QUESTIONS_COUNT=CONFIRMATION_QUESTIONS['length'];