@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/machine-puzzle.js

@@ -1,494 +1 @@
-import { inferSceneFromFlow, findScene, } from "./machine-ledger.js";
-import { MACHINE_TEMPLATES, getTemplateById, } from "./machine-templates.js";
-import { matchSemanticPattern, identifyExecutionMode, } from "./machine-translation.js";
-import { analyzeTopology, identifyTopologyPattern, } from "./machine-topology.js";
-export function initPuzzleFromIntent(intent) {
-    const scene = inferSceneFromFlow(intent);
-    const template = scene
-        ? MACHINE_TEMPLATES.find((t) => t.scene_id === scene.id)
-        : undefined;
-    const pattern = matchSemanticPattern(intent);
-    return {
-        version: "1.0.0",
-        business_flow: {
-            scenario_description: intent,
-            scene_id: scene?.id,
-            template_id: template?.id,
-            industry: scene?.industry[0],
-            participation_mode: "P-M4",
-        },
-        node_design: {
-            nodes: [],
-            topological_order: [],
-            business_stage_mapping: {},
-        },
-        guard_acceptance: {
-            guard_bindings: [],
-            name_length_verified: false,
-            all_guards_created: false,
-            cross_machine_guards: [],
-        },
-        permission_model: {
-            forward_permissions: [],
-            named_operator_roles: [],
-            completeness_verified: false,
-        },
-        threshold_weight: {
-            pair_thresholds: [],
-            forward_weights: [],
-            execution_mode: pattern?.id || "P-M-SEQ",
-            allocator_integration: [],
-        },
-        branch_topology: {
-            topology_pattern: "P-M-LINEAR",
-            branching_points: [],
-            merge_points: [],
-            is_dag: true,
-        },
-        overall_objective: {
-            primary_branch: { start_node: "", end_node: "", description: "" },
-            secondary_branches: [],
-            success_criteria: "",
-            failure_criteria: "",
-        },
-        risk_assessment: {
-            overall_risk_level: "low",
-            identified_risks: [],
-            mitigation_strategy: "",
-            environment_readiness: {
-                permission_published: false,
-                guards_published: false,
-                arbitration_published: false,
-                reward_published: false,
-                testnet_tested: false,
-            },
-        },
-    };
-}
-export function initPuzzleFromTemplate(templateId) {
-    const template = getTemplateById(templateId);
-    if (!template)
-        return undefined;
-    const scene = findScene(template.scene_id);
-    if (!scene)
-        return undefined;
-    const puzzle = initPuzzleFromIntent(template.description);
-    puzzle.business_flow.template_id = template.id;
-    puzzle.business_flow.scene_id = scene.id;
-    puzzle.business_flow.industry = scene.industry[0];
-    puzzle.business_flow.participation_mode = "P-M1";
-    puzzle.node_design.nodes = template.example_nodes.map((n) => ({
-        name: n.name,
-        description: n.description || "",
-        is_entry: false,
-        is_terminal: false,
-    }));
-    puzzle.permission_model.permission_object = {
-        use_custom: true,
-        custom_indices: template.required_permissions.map((p) => ({
-            index: p.index,
-            name: p.name,
-            description: p.description,
-        })),
-    };
-    puzzle.guard_acceptance.guard_bindings = template.required_guards.map((g) => ({
-        forward_id: {
-            pair_id: { prev_node: "", next_node: "" },
-            forward_name: g.bound_to_forward,
-        },
-        guard_template_id: g.guard_template_id,
-        purpose: g.purpose,
-        tested_on_testnet: false,
-    }));
-    puzzle.threshold_weight.allocator_integration = template.required_allocators.map((a) => ({
-        name: a.name,
-        trigger_node: a.trigger_node,
-        sharing_who: "Entity",
-        recipient_description: a.description,
-    }));
-    return puzzle;
-}
-function resolveFragmentNameConflicts(fragments) {
-    const allNodes = [];
-    const allPairs = [];
-    const renameMap = new Map();
-    for (let i = 0; i < fragments.length; i++) {
-        const frag = fragments[i];
-        const localRename = new Map();
-        for (const node of frag.nodes) {
-            const isEntryTarget = frag.pairs.some((p) => p.prev_node === "" && p.next_node === node.name);
-            const newName = isEntryTarget ? node.name : `f${i}__${node.name}`;
-            localRename.set(node.name, newName);
-            allNodes.push({ name: newName, description: node.description });
-        }
-        renameMap.set(i, localRename);
-        for (const pair of frag.pairs) {
-            const localRenames = renameMap.get(i);
-            const newPrev = pair.prev_node === "" ? "" : (localRenames.get(pair.prev_node) ?? pair.prev_node);
-            const newNext = localRenames.get(pair.next_node) ?? pair.next_node;
-            allPairs.push({
-                prev_node: newPrev,
-                next_node: newNext,
-                threshold: pair.threshold,
-                forwards: pair.forwards.map((f) => ({ ...f })),
-            });
-        }
-    }
-    return { nodes: allNodes, pairs: allPairs };
-}
-export function initPuzzleFromMachineId(machineId, machineJson) {
-    const puzzle = derivePuzzleFromMachineJson(machineJson);
-    puzzle.business_flow.participation_mode = "P-M1";
-    puzzle.business_flow.referenced_machine_ids = [machineId];
-    puzzle.business_flow.scenario_description =
-        `Reference to published Machine ${machineId}` +
-            (machineJson.name ? ` (${machineJson.name})` : "");
-    return puzzle;
-}
-export function initPuzzleFromFragments(fragments) {
-    if (fragments.length === 0) {
-        const puzzle = initPuzzleFromIntent("(composition of zero fragments)");
-        puzzle.business_flow.participation_mode = "P-M2";
-        return puzzle;
-    }
-    const { nodes, pairs } = resolveFragmentNameConflicts(fragments);
-    const mergedSceneId = fragments.find((f) => f.scene_id)?.scene_id;
-    const mergedTemplateId = fragments.find((f) => f.template_id)?.template_id;
-    const mergedName = fragments.map((f) => f.name ?? "(unnamed)").join(" + ");
-    const puzzle = derivePuzzleFromMachineJson({
-        name: mergedName,
-        nodes,
-        pairs,
-        scene_id: mergedSceneId,
-        template_id: mergedTemplateId,
-    });
-    puzzle.business_flow.participation_mode = "P-M2";
-    puzzle.business_flow.scenario_description =
-        `Composition of ${fragments.length} Machine fragments: ${mergedName}`;
-    return puzzle;
-}
-export function initPuzzleForCrossChain(machineBId, machineBJson) {
-    const puzzle = initPuzzleFromIntent(`Cross-chain dependency on upstream Machine ${machineBId}`);
-    puzzle.business_flow.participation_mode = "P-M3";
-    puzzle.business_flow.referenced_machine_ids = [machineBId];
-    if (machineBJson) {
-        const upstreamTopology = analyzeTopology(machineBJson.nodes, machineBJson.pairs);
-        for (const terminalNode of upstreamTopology.terminal_nodes) {
-            puzzle.guard_acceptance.cross_machine_guards.push({
-                forward_id: {
-                    pair_id: { prev_node: "", next_node: "" },
-                    forward_name: "",
-                },
-                upstream_machine_id: machineBId,
-                upstream_node_name: terminalNode,
-            });
-        }
-    }
-    return puzzle;
-}
-export function initPuzzleForForkModify(machineId, machineJson) {
-    const puzzle = derivePuzzleFromMachineJson(machineJson);
-    puzzle.business_flow.participation_mode = "P-M5";
-    puzzle.business_flow.referenced_machine_ids = [machineId];
-    puzzle.business_flow.fork_source_template_id =
-        machineJson.template_id ?? machineId;
-    puzzle.business_flow.scenario_description =
-        `Fork-modify from Machine ${machineId}` +
-            (machineJson.name ? ` (${machineJson.name})` : "");
-    return puzzle;
-}
-export function checkPuzzleCompleteness(puzzle) {
-    const dimensions = [];
-    const aMissing = [];
-    if (!puzzle.business_flow.scenario_description)
-        aMissing.push("scenario_description");
-    if (!puzzle.business_flow.scene_id)
-        aMissing.push("scene_id");
-    if (!puzzle.business_flow.participation_mode)
-        aMissing.push("participation_mode");
-    dimensions.push({
-        dimension: "A_business_flow",
-        complete: aMissing.length === 0,
-        missing_fields: aMissing,
-    });
-    const bMissing = [];
-    if (puzzle.node_design.nodes.length === 0)
-        bMissing.push("nodes (empty)");
-    dimensions.push({
-        dimension: "B_node_design",
-        complete: bMissing.length === 0,
-        missing_fields: bMissing,
-    });
-    const cMissing = [];
-    if (!puzzle.guard_acceptance.all_guards_created)
-        cMissing.push("all_guards_created");
-    dimensions.push({
-        dimension: "C_guard_acceptance",
-        complete: cMissing.length === 0,
-        missing_fields: cMissing,
-    });
-    const dMissing = [];
-    if (!puzzle.permission_model.completeness_verified)
-        dMissing.push("completeness_verified");
-    dimensions.push({
-        dimension: "D_permission_model",
-        complete: dMissing.length === 0,
-        missing_fields: dMissing,
-    });
-    const eMissing = [];
-    if (puzzle.threshold_weight.pair_thresholds.length === 0)
-        eMissing.push("pair_thresholds (empty)");
-    dimensions.push({
-        dimension: "E_threshold_weight",
-        complete: eMissing.length === 0,
-        missing_fields: eMissing,
-    });
-    const fMissing = [];
-    if (!puzzle.branch_topology.is_dag)
-        fMissing.push("is_dag (cycle detected)");
-    dimensions.push({
-        dimension: "F_branch_topology",
-        complete: fMissing.length === 0,
-        missing_fields: fMissing,
-    });
-    const gMissing = [];
-    if (!puzzle.overall_objective.primary_branch.end_node)
-        gMissing.push("primary_branch.end_node");
-    if (!puzzle.overall_objective.success_criteria)
-        gMissing.push("success_criteria");
-    dimensions.push({
-        dimension: "G_overall_objective",
-        complete: gMissing.length === 0,
-        missing_fields: gMissing,
-    });
-    const hMissing = [];
-    if (puzzle.risk_assessment.overall_risk_level === "critical")
-        hMissing.push("overall_risk_level=critical (must fix)");
-    dimensions.push({
-        dimension: "H_risk_assessment",
-        complete: hMissing.length === 0,
-        missing_fields: hMissing,
-    });
-    const complete = dimensions.every((d) => d.complete);
-    const firstIncomplete = dimensions.find((d) => !d.complete);
-    let next_step = "All dimensions complete. Ready for confirmation.";
-    if (firstIncomplete) {
-        next_step = `Complete dimension ${firstIncomplete.dimension}: ${firstIncomplete.missing_fields.join(", ")}`;
-    }
-    return { complete, dimensions, next_step };
-}
-export function recommendNextStep(puzzle) {
-    const completeness = checkPuzzleCompleteness(puzzle);
-    return completeness.next_step;
-}
-export function derivePuzzleFromMachineJson(machine) {
-    const topology = analyzeTopology(machine.nodes, machine.pairs);
-    const topologyPattern = identifyTopologyPattern(machine.pairs);
-    const node_design = {
-        nodes: machine.nodes.map((n) => ({
-            name: n.name,
-            description: n.description || "",
-            is_entry: topology.entry_nodes.includes(n.name),
-            is_terminal: topology.terminal_nodes.includes(n.name),
-        })),
-        topological_order: [],
-        business_stage_mapping: {},
-    };
-    const forward_permissions = [];
-    const named_operator_roles = [];
-    const roleSet = new Set();
-    for (const pair of machine.pairs) {
-        for (const fwd of pair.forwards) {
-            const hasNamed = fwd.named_operator !== undefined;
-            const hasPerm = fwd.permission_index !== undefined;
-            forward_permissions.push({
-                forward: {
-                    pair_id: { prev_node: pair.prev_node, next_node: pair.next_node },
-                    forward_name: fwd.name,
-                },
-                namedOperator: hasNamed
-                    ? { type: fwd.named_operator === "" ? "order_holder" : "role", role: fwd.named_operator || undefined }
-                    : { type: "none" },
-                permissionIndex: hasPerm
-                    ? { type: "custom", index: fwd.permission_index }
-                    : { type: "none" },
-                semantic: "",
-            });
-            if (fwd.named_operator && fwd.named_operator !== "" && !roleSet.has(fwd.named_operator)) {
-                roleSet.add(fwd.named_operator);
-                named_operator_roles.push({
-                    role: fwd.named_operator,
-                    semantic: "",
-                    assignment_timing: "at_progress_new_via_sdk",
-                });
-            }
-        }
-    }
-    const pair_thresholds = machine.pairs.map((p) => ({
-        pair_id: { prev_node: p.prev_node, next_node: p.next_node },
-        threshold: p.threshold,
-        semantic: "",
-    }));
-    const forward_weights = machine.pairs.flatMap((p) => p.forwards.map((f) => ({
-        forward_id: {
-            pair_id: { prev_node: p.prev_node, next_node: p.next_node },
-            forward_name: f.name,
-        },
-        weight: f.weight,
-        semantic: "",
-    })));
-    const executionMode = machine.pairs.length > 0
-        ? identifyExecutionMode({
-            threshold: machine.pairs[0].threshold,
-            forwards: machine.pairs[0].forwards.map((f) => ({
-                weight: f.weight,
-                named_operator: f.named_operator,
-                permission_index: f.permission_index,
-            })),
-        })
-        : "P-M-SEQ";
-    const branching_points = [];
-    const merge_points = [];
-    const outgoing = new Map();
-    const incoming = new Map();
-    for (const pair of machine.pairs) {
-        if (!outgoing.has(pair.prev_node))
-            outgoing.set(pair.prev_node, []);
-        outgoing.get(pair.prev_node).push(pair.next_node);
-        if (!incoming.has(pair.next_node))
-            incoming.set(pair.next_node, []);
-        incoming.get(pair.next_node).push(pair.prev_node);
-    }
-    for (const [node, nexts] of outgoing) {
-        if (nexts.length > 1 && node !== "") {
-            branching_points.push({
-                node,
-                branches: nexts,
-                branch_type: "competing",
-            });
-        }
-    }
-    for (const [node, prevs] of incoming) {
-        if (prevs.length > 1) {
-            merge_points.push({ node, incoming_from: prevs });
-        }
-    }
-    return {
-        version: "1.0.0",
-        business_flow: {
-            scenario_description: "",
-            scene_id: machine.scene_id,
-            template_id: machine.template_id,
-            participation_mode: "P-M1",
-        },
-        node_design,
-        guard_acceptance: {
-            guard_bindings: machine.pairs.flatMap((p) => p.forwards
-                .filter((f) => f.guard)
-                .map((f) => ({
-                forward_id: {
-                    pair_id: { prev_node: p.prev_node, next_node: p.next_node },
-                    forward_name: f.name,
-                },
-                guard_address: f.guard,
-                purpose: "",
-                tested_on_testnet: false,
-            }))),
-            name_length_verified: true,
-            all_guards_created: true,
-            cross_machine_guards: [],
-        },
-        permission_model: {
-            forward_permissions,
-            named_operator_roles,
-            completeness_verified: true,
-        },
-        threshold_weight: {
-            pair_thresholds,
-            forward_weights,
-            execution_mode: executionMode,
-            allocator_integration: [],
-        },
-        branch_topology: {
-            topology_pattern: topologyPattern,
-            branching_points,
-            merge_points,
-            is_dag: !topology.has_cycles,
-        },
-        overall_objective: {
-            primary_branch: {
-                start_node: topology.entry_nodes[0] || "",
-                end_node: topology.terminal_nodes[0] || "",
-                description: "",
-            },
-            secondary_branches: [],
-            success_criteria: "",
-            failure_criteria: "",
-        },
-        risk_assessment: {
-            overall_risk_level: "low",
-            identified_risks: [],
-            mitigation_strategy: "",
-            environment_readiness: {
-                permission_published: false,
-                guards_published: false,
-                arbitration_published: false,
-                reward_published: false,
-                testnet_tested: false,
-            },
-        },
-    };
-}
-export function generateConfirmationText(puzzle) {
-    const lines = [
-        "=== Machine Puzzle Summary ===",
-        "",
-        "A. Business Flow:",
-        `   Scenario: ${puzzle.business_flow.scenario_description || "(not set)"}`,
-        `   Scene: ${puzzle.business_flow.scene_id || "(not set)"}`,
-        `   Template: ${puzzle.business_flow.template_id || "(not set)"}`,
-        `   Participation: ${puzzle.business_flow.participation_mode || "(not set)"}`,
-        "",
-        "B. Node Design:",
-        `   Nodes: ${puzzle.node_design.nodes.length}`,
-        ...puzzle.node_design.nodes.slice(0, 10).map((n) => `   - ${n.name}${n.is_entry ? " [ENTRY]" : ""}${n.is_terminal ? " [TERMINAL]" : ""}`),
-        puzzle.node_design.nodes.length > 10 ? `   ... and ${puzzle.node_design.nodes.length - 10} more` : "",
-        "",
-        "C. Guard Acceptance:",
-        `   Guards bound: ${puzzle.guard_acceptance.guard_bindings.length}`,
-        `   All created: ${puzzle.guard_acceptance.all_guards_created ? "YES" : "NO"}`,
-        `   Name length verified: ${puzzle.guard_acceptance.name_length_verified ? "YES" : "NO"}`,
-        `   Cross-machine: ${puzzle.guard_acceptance.cross_machine_guards.length}`,
-        "",
-        "D. Permission Model:",
-        `   Forward permissions: ${puzzle.permission_model.forward_permissions.length}`,
-        `   NamedOperator roles: ${puzzle.permission_model.named_operator_roles.length}`,
-        `   Completeness verified: ${puzzle.permission_model.completeness_verified ? "YES" : "NO"}`,
-        "",
-        "E. Threshold & Weight:",
-        `   Pair thresholds: ${puzzle.threshold_weight.pair_thresholds.length}`,
-        `   Forward weights: ${puzzle.threshold_weight.forward_weights.length}`,
-        `   Execution mode: ${puzzle.threshold_weight.execution_mode}`,
-        `   Allocators: ${puzzle.threshold_weight.allocator_integration.length}`,
-        "",
-        "F. Branch Topology:",
-        `   Pattern: ${puzzle.branch_topology.topology_pattern}`,
-        `   Branching points: ${puzzle.branch_topology.branching_points.length}`,
-        `   Merge points: ${puzzle.branch_topology.merge_points.length}`,
-        `   Is DAG: ${puzzle.branch_topology.is_dag ? "YES" : "NO"}`,
-        "",
-        "G. Overall Objective:",
-        `   Primary: ${puzzle.overall_objective.primary_branch.start_node} -> ${puzzle.overall_objective.primary_branch.end_node}`,
-        `   Secondary branches: ${puzzle.overall_objective.secondary_branches.length}`,
-        "",
-        "H. Risk Assessment:",
-        `   Overall level: ${puzzle.risk_assessment.overall_risk_level}`,
-        `   Identified risks: ${puzzle.risk_assessment.identified_risks.length}`,
-        "",
-    ];
-    if (puzzle.environment) {
-        lines.push("Environment:", `   Network: ${puzzle.environment.network}`, `   Testnet passed: ${puzzle.environment.testnet_test_passed ? "YES" : "NO"}`, `   Backup created: ${puzzle.environment.backup_created ? "YES" : "NO"}`, "");
-    }
-    return lines.filter((l) => l !== "").join("\n");
-}
-export const MACHINE_PUZZLE_VERSION = "1.0.0";
+import{inferSceneFromFlow,findScene}from'./machine-ledger.js';import{MACHINE_TEMPLATES,getTemplateById}from'./machine-templates.js';import{matchSemanticPattern,identifyExecutionMode}from'./machine-translation.js';import{analyzeTopology,identifyTopologyPattern}from'./machine-topology.js';export function initPuzzleFromIntent(a){const b=inferSceneFromFlow(a),c=b?MACHINE_TEMPLATES['find'](e=>e['scene_id']===b['id']):undefined,d=matchSemanticPattern(a);return{'version':'1.0.0','business_flow':{'scenario_description':a,'scene_id':b?.['id'],'template_id':c?.['id'],'industry':b?.['industry'][0x0],'participation_mode':'P-M4'},'node_design':{'nodes':[],'topological_order':[],'business_stage_mapping':{}},'guard_acceptance':{'guard_bindings':[],'name_length_verified':![],'all_guards_created':![],'cross_machine_guards':[]},'permission_model':{'forward_permissions':[],'named_operator_roles':[],'completeness_verified':![]},'threshold_weight':{'pair_thresholds':[],'forward_weights':[],'execution_mode':d?.['id']||'P-M-SEQ','allocator_integration':[]},'branch_topology':{'topology_pattern':'P-M-LINEAR','branching_points':[],'merge_points':[],'is_dag':!![]},'overall_objective':{'primary_branch':{'start_node':'','end_node':'','description':''},'secondary_branches':[],'success_criteria':'','failure_criteria':''},'risk_assessment':{'overall_risk_level':'low','identified_risks':[],'mitigation_strategy':'','environment_readiness':{'permission_published':![],'guards_published':![],'arbitration_published':![],'reward_published':![],'testnet_tested':![]}}};}export function initPuzzleFromTemplate(a){const b=getTemplateById(a);if(!b)return undefined;const c=findScene(b['scene_id']);if(!c)return undefined;const d=initPuzzleFromIntent(b['description']);return d['business_flow']['template_id']=b['id'],d['business_flow']['scene_id']=c['id'],d['business_flow']['industry']=c['industry'][0x0],d['business_flow']['participation_mode']='P-M1',d['node_design']['nodes']=b['example_nodes']['map'](e=>({'name':e['name'],'description':e['description']||'','is_entry':![],'is_terminal':![]})),d['permission_model']['permission_object']={'use_custom':!![],'custom_indices':b['required_permissions']['map'](e=>({'index':e['index'],'name':e['name'],'description':e['description']}))},d['guard_acceptance']['guard_bindings']=b['required_guards']['map'](e=>({'forward_id':{'pair_id':{'prev_node':'','next_node':''},'forward_name':e['bound_to_forward']},'guard_template_id':e['guard_template_id'],'purpose':e['purpose'],'tested_on_testnet':![]})),d['threshold_weight']['allocator_integration']=b['required_allocators']['map'](e=>({'name':e['name'],'trigger_node':e['trigger_node'],'sharing_who':'Entity','recipient_description':e['description']})),d;}function resolveFragmentNameConflicts(a){const b=[],c=[],d=new Map();for(let e=0x0;e<a['length'];e++){const f=a[e],g=new Map();for(const h of f['nodes']){const j=f['pairs']['some'](l=>l['prev_node']===''&&l['next_node']===h['name']),k=j?h['name']:'f'+e+'__'+h['name'];g['set'](h['name'],k),b['push']({'name':k,'description':h['description']});}d['set'](e,g);for(const l of f['pairs']){const m=d['get'](e),n=l['prev_node']===''?'':m['get'](l['prev_node'])??l['prev_node'],o=m['get'](l['next_node'])??l['next_node'];c['push']({'prev_node':n,'next_node':o,'threshold':l['threshold'],'forwards':l['forwards']['map'](p=>({...p}))});}}return{'nodes':b,'pairs':c};}export function initPuzzleFromMachineId(a,b){const c=derivePuzzleFromMachineJson(b);return c['business_flow']['participation_mode']='P-M1',c['business_flow']['referenced_machine_ids']=[a],c['business_flow']['scenario_description']='Reference\x20to\x20published\x20Machine\x20'+a+(b['name']?'\x20('+b['name']+')':''),c;}export function initPuzzleFromFragments(a){if(a['length']===0x0){const h=initPuzzleFromIntent('(composition\x20of\x20zero\x20fragments)');return h['business_flow']['participation_mode']='P-M2',h;}const {nodes:b,pairs:c}=resolveFragmentNameConflicts(a),d=a['find'](i=>i['scene_id'])?.['scene_id'],e=a['find'](i=>i['template_id'])?.['template_id'],f=a['map'](i=>i['name']??'(unnamed)')['join']('\x20+\x20'),g=derivePuzzleFromMachineJson({'name':f,'nodes':b,'pairs':c,'scene_id':d,'template_id':e});return g['business_flow']['participation_mode']='P-M2',g['business_flow']['scenario_description']='Composition\x20of\x20'+a['length']+'\x20Machine\x20fragments:\x20'+f,g;}export function initPuzzleForCrossChain(a,b){const c=initPuzzleFromIntent('Cross-chain\x20dependency\x20on\x20upstream\x20Machine\x20'+a);c['business_flow']['participation_mode']='P-M3',c['business_flow']['referenced_machine_ids']=[a];if(b){const d=analyzeTopology(b['nodes'],b['pairs']);for(const e of d['terminal_nodes']){c['guard_acceptance']['cross_machine_guards']['push']({'forward_id':{'pair_id':{'prev_node':'','next_node':''},'forward_name':''},'upstream_machine_id':a,'upstream_node_name':e});}}return c;}export function initPuzzleForForkModify(a,b){const c=derivePuzzleFromMachineJson(b);return c['business_flow']['participation_mode']='P-M5',c['business_flow']['referenced_machine_ids']=[a],c['business_flow']['fork_source_template_id']=b['template_id']??a,c['business_flow']['scenario_description']='Fork-modify\x20from\x20Machine\x20'+a+(b['name']?'\x20('+b['name']+')':''),c;}export function checkPuzzleCompleteness(a){const b=[],c=[];if(!a['business_flow']['scenario_description'])c['push']('scenario_description');if(!a['business_flow']['scene_id'])c['push']('scene_id');if(!a['business_flow']['participation_mode'])c['push']('participation_mode');b['push']({'dimension':'A_business_flow','complete':c['length']===0x0,'missing_fields':c});const d=[];if(a['node_design']['nodes']['length']===0x0)d['push']('nodes\x20(empty)');b['push']({'dimension':'B_node_design','complete':d['length']===0x0,'missing_fields':d});const e=[];if(!a['guard_acceptance']['all_guards_created'])e['push']('all_guards_created');b['push']({'dimension':'C_guard_acceptance','complete':e['length']===0x0,'missing_fields':e});const f=[];if(!a['permission_model']['completeness_verified'])f['push']('completeness_verified');b['push']({'dimension':'D_permission_model','complete':f['length']===0x0,'missing_fields':f});const g=[];if(a['threshold_weight']['pair_thresholds']['length']===0x0)g['push']('pair_thresholds\x20(empty)');b['push']({'dimension':'E_threshold_weight','complete':g['length']===0x0,'missing_fields':g});const h=[];if(!a['branch_topology']['is_dag'])h['push']('is_dag\x20(cycle\x20detected)');b['push']({'dimension':'F_branch_topology','complete':h['length']===0x0,'missing_fields':h});const i=[];if(!a['overall_objective']['primary_branch']['end_node'])i['push']('primary_branch.end_node');if(!a['overall_objective']['success_criteria'])i['push']('success_criteria');b['push']({'dimension':'G_overall_objective','complete':i['length']===0x0,'missing_fields':i});const j=[];if(a['risk_assessment']['overall_risk_level']==='critical')j['push']('overall_risk_level=critical\x20(must\x20fix)');b['push']({'dimension':'H_risk_assessment','complete':j['length']===0x0,'missing_fields':j});const k=b['every'](n=>n['complete']),l=b['find'](n=>!n['complete']);let m='All\x20dimensions\x20complete.\x20Ready\x20for\x20confirmation.';return l&&(m='Complete\x20dimension\x20'+l['dimension']+':\x20'+l['missing_fields']['join'](',\x20')),{'complete':k,'dimensions':b,'next_step':m};}export function recommendNextStep(a){const b=checkPuzzleCompleteness(a);return b['next_step'];}export function derivePuzzleFromMachineJson(a){const b=analyzeTopology(a['nodes'],a['pairs']),c=identifyTopologyPattern(a['pairs']),d={'nodes':a['nodes']['map'](o=>({'name':o['name'],'description':o['description']||'','is_entry':b['entry_nodes']['includes'](o['name']),'is_terminal':b['terminal_nodes']['includes'](o['name'])})),'topological_order':[],'business_stage_mapping':{}},e=[],f=[],g=new Set();for(const o of a['pairs']){for(const p of o['forwards']){const q=p['named_operator']!==undefined,r=p['permission_index']!==undefined;e['push']({'forward':{'pair_id':{'prev_node':o['prev_node'],'next_node':o['next_node']},'forward_name':p['name']},'namedOperator':q?{'type':p['named_operator']===''?'order_holder':'role','role':p['named_operator']||undefined}:{'type':'none'},'permissionIndex':r?{'type':'custom','index':p['permission_index']}:{'type':'none'},'semantic':''}),p['named_operator']&&p['named_operator']!==''&&!g['has'](p['named_operator'])&&(g['add'](p['named_operator']),f['push']({'role':p['named_operator'],'semantic':'','assignment_timing':'at_progress_new_via_sdk'}));}}const h=a['pairs']['map'](s=>({'pair_id':{'prev_node':s['prev_node'],'next_node':s['next_node']},'threshold':s['threshold'],'semantic':''})),i=a['pairs']['flatMap'](s=>s['forwards']['map'](t=>({'forward_id':{'pair_id':{'prev_node':s['prev_node'],'next_node':s['next_node']},'forward_name':t['name']},'weight':t['weight'],'semantic':''}))),j=a['pairs']['length']>0x0?identifyExecutionMode({'threshold':a['pairs'][0x0]['threshold'],'forwards':a['pairs'][0x0]['forwards']['map'](s=>({'weight':s['weight'],'named_operator':s['named_operator'],'permission_index':s['permission_index']}))}):'P-M-SEQ',k=[],l=[],m=new Map(),n=new Map();for(const s of a['pairs']){if(!m['has'](s['prev_node']))m['set'](s['prev_node'],[]);m['get'](s['prev_node'])['push'](s['next_node']);if(!n['has'](s['next_node']))n['set'](s['next_node'],[]);n['get'](s['next_node'])['push'](s['prev_node']);}for(const [t,u]of m){u['length']>0x1&&t!==''&&k['push']({'node':t,'branches':u,'branch_type':'competing'});}for(const [v,w]of n){w['length']>0x1&&l['push']({'node':v,'incoming_from':w});}return{'version':'1.0.0','business_flow':{'scenario_description':'','scene_id':a['scene_id'],'template_id':a['template_id'],'participation_mode':'P-M1'},'node_design':d,'guard_acceptance':{'guard_bindings':a['pairs']['flatMap'](x=>x['forwards']['filter'](y=>y['guard'])['map'](y=>({'forward_id':{'pair_id':{'prev_node':x['prev_node'],'next_node':x['next_node']},'forward_name':y['name']},'guard_address':y['guard'],'purpose':'','tested_on_testnet':![]}))),'name_length_verified':!![],'all_guards_created':!![],'cross_machine_guards':[]},'permission_model':{'forward_permissions':e,'named_operator_roles':f,'completeness_verified':!![]},'threshold_weight':{'pair_thresholds':h,'forward_weights':i,'execution_mode':j,'allocator_integration':[]},'branch_topology':{'topology_pattern':c,'branching_points':k,'merge_points':l,'is_dag':!b['has_cycles']},'overall_objective':{'primary_branch':{'start_node':b['entry_nodes'][0x0]||'','end_node':b['terminal_nodes'][0x0]||'','description':''},'secondary_branches':[],'success_criteria':'','failure_criteria':''},'risk_assessment':{'overall_risk_level':'low','identified_risks':[],'mitigation_strategy':'','environment_readiness':{'permission_published':![],'guards_published':![],'arbitration_published':![],'reward_published':![],'testnet_tested':![]}}};}export function generateConfirmationText(a){const b=['===\x20Machine\x20Puzzle\x20Summary\x20===','','A.\x20Business\x20Flow:','\x20\x20\x20Scenario:\x20'+(a['business_flow']['scenario_description']||'(not\x20set)'),'\x20\x20\x20Scene:\x20'+(a['business_flow']['scene_id']||'(not\x20set)'),'\x20\x20\x20Template:\x20'+(a['business_flow']['template_id']||'(not\x20set)'),'\x20\x20\x20Participation:\x20'+(a['business_flow']['participation_mode']||'(not\x20set)'),'','B.\x20Node\x20Design:','\x20\x20\x20Nodes:\x20'+a['node_design']['nodes']['length'],...a['node_design']['nodes']['slice'](0x0,0xa)['map'](c=>'\x20\x20\x20-\x20'+c['name']+(c['is_entry']?'\x20[ENTRY]':'')+(c['is_terminal']?'\x20[TERMINAL]':'')),a['node_design']['nodes']['length']>0xa?'\x20\x20\x20...\x20and\x20'+(a['node_design']['nodes']['length']-0xa)+'\x20more':'','','C.\x20Guard\x20Acceptance:','\x20\x20\x20Guards\x20bound:\x20'+a['guard_acceptance']['guard_bindings']['length'],'\x20\x20\x20All\x20created:\x20'+(a['guard_acceptance']['all_guards_created']?'YES':'NO'),'\x20\x20\x20Name\x20length\x20verified:\x20'+(a['guard_acceptance']['name_length_verified']?'YES':'NO'),'\x20\x20\x20Cross-machine:\x20'+a['guard_acceptance']['cross_machine_guards']['length'],'','D.\x20Permission\x20Model:','\x20\x20\x20Forward\x20permissions:\x20'+a['permission_model']['forward_permissions']['length'],'\x20\x20\x20NamedOperator\x20roles:\x20'+a['permission_model']['named_operator_roles']['length'],'\x20\x20\x20Completeness\x20verified:\x20'+(a['permission_model']['completeness_verified']?'YES':'NO'),'','E.\x20Threshold\x20&\x20Weight:','\x20\x20\x20Pair\x20thresholds:\x20'+a['threshold_weight']['pair_thresholds']['length'],'\x20\x20\x20Forward\x20weights:\x20'+a['threshold_weight']['forward_weights']['length'],'\x20\x20\x20Execution\x20mode:\x20'+a['threshold_weight']['execution_mode'],'\x20\x20\x20Allocators:\x20'+a['threshold_weight']['allocator_integration']['length'],'','F.\x20Branch\x20Topology:','\x20\x20\x20Pattern:\x20'+a['branch_topology']['topology_pattern'],'\x20\x20\x20Branching\x20points:\x20'+a['branch_topology']['branching_points']['length'],'\x20\x20\x20Merge\x20points:\x20'+a['branch_topology']['merge_points']['length'],'\x20\x20\x20Is\x20DAG:\x20'+(a['branch_topology']['is_dag']?'YES':'NO'),'','G.\x20Overall\x20Objective:','\x20\x20\x20Primary:\x20'+a['overall_objective']['primary_branch']['start_node']+'\x20->\x20'+a['overall_objective']['primary_branch']['end_node'],'\x20\x20\x20Secondary\x20branches:\x20'+a['overall_objective']['secondary_branches']['length'],'','H.\x20Risk\x20Assessment:','\x20\x20\x20Overall\x20level:\x20'+a['risk_assessment']['overall_risk_level'],'\x20\x20\x20Identified\x20risks:\x20'+a['risk_assessment']['identified_risks']['length'],''];return a['environment']&&b['push']('Environment:','\x20\x20\x20Network:\x20'+a['environment']['network'],'\x20\x20\x20Testnet\x20passed:\x20'+(a['environment']['testnet_test_passed']?'YES':'NO'),'\x20\x20\x20Backup\x20created:\x20'+(a['environment']['backup_created']?'YES':'NO'),''),b['filter'](c=>c!=='')['join']('\x0a');}export const MACHINE_PUZZLE_VERSION='1.0.0';