@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/machine-context.js

@@ -1,833 +1 @@
-import { MACHINE_LEDGER_VERSION, MACHINE_SCENES_COUNT, findScene, inferSceneFromFlow, } from "./machine-ledger.js";
-import { MAX_NODE_COUNT, MAX_NODE_PAIR_COUNT, MAX_FORWARD_COUNT, } from "./onchain-constants.js";
-import { MACHINE_TEMPLATES, MACHINE_TEMPLATES_VERSION, getAllTemplates, getTemplatesByScene, suggestTemplateForIntent, } from "./machine-templates.js";
-import { SEMANTIC_TO_MACHINE_RULES, MACHINE_CONSTRAINT_RULES, MACHINE_TRANSLATION_VERSION, matchSemanticPattern, } from "./machine-translation.js";
-import { MACHINE_RISK_RULES, MACHINE_RISK_VERSION, assessMachineRisks, } from "./machine-risk.js";
-import { analyzeTopology, formatTopologySummary, MACHINE_TOPOLOGY_VERSION, } from "./machine-topology.js";
-import { initPuzzleFromIntent, initPuzzleFromTemplate, checkPuzzleCompleteness, MACHINE_PUZZLE_VERSION, } from "./machine-puzzle.js";
-import { PUBLISH_CHECKLIST, CONFIRMATION_QUESTIONS, MACHINE_CONFIRM_VERSION, progressiveCheck, } from "./machine-confirm.js";
-import { GUARD_SCENES, } from "./guard-ledger.js";
-export const MACHINE_CONTEXT_VERSION = "1.0.0";
-export const MACHINE_VERIFICATION_NOTES = [
-    {
-        topic: "bReplace",
-        judgment: "YES",
-        verified_semantic: "bReplace acts at the pairs-list level of an ALREADY-EXISTING node, " +
-            "NOT at the whole-Machine level. bReplace=false merges new pairs into the " +
-            "existing node's pairs list; bReplace=true replaces that node's pairs list entirely.",
-        code_reference: "d:\\wowok\\agent\\mcp\\src\\tools\\machine.ts (node ops)",
-        affected_modes: ["initial_design", "mid_design_review", "pre_publish_check"],
-    },
-    {
-        topic: "um",
-        judgment: "PARTIAL",
-        verified_semantic: "um is a Messenger Contact object reference (off-chain session metadata). " +
-            "It does NOT participate in any on-chain flow logic; omitting it has zero on-chain impact.",
-        code_reference: "machine.move (no um field in on-chain Machine)",
-        affected_modes: ["initial_design", "mid_design_review"],
-    },
-    {
-        topic: "consensus_repositories",
-        judgment: "PARTIAL",
-        verified_semantic: "consensus_repositories is a declarative-only field. It is NOT consumed by any " +
-            "on-chain flow logic — it is a hint for off-chain tooling and human auditors.",
-        code_reference: "machine.move (no consensus_repositories field)",
-        affected_modes: ["initial_design", "mid_design_review"],
-    },
-    {
-        topic: "namedOperator_assignment",
-        judgment: "PARTIAL",
-        verified_semantic: "Move progress::new does NOT accept namedOperator parameter. The MCP/SDK layer " +
-            "translates the API parameter into a separate namedOperator_add transaction " +
-            "(requires permission index 221). At runtime, Forward checks namedOperator membership.",
-        code_reference: "progress.move (progress::new signature) + agent\\mcp\\src\\tools\\progress.ts (namedOperator_add)",
-        affected_modes: ["initial_design", "mid_design_review", "pre_publish_check"],
-    },
-    {
-        topic: "cross_machine_dependency",
-        judgment: "PARTIAL",
-        verified_semantic: "Cross-Machine dependency is INDIRECT: Machine A's Forward Guard queries Machine B's " +
-            "Progress via convert_witness (TypeOrderProgress=100/103). Machine B must be published " +
-            "before Progress can be created (progress::new -> assert_published).",
-        code_reference: "progress.move (progress::new, assert_published) + guard.move (convert_witness)",
-        affected_modes: ["cross_machine", "pre_publish_check"],
-    },
-    {
-        topic: "first_node_semantics_service_bound",
-        judgment: "YES",
-        verified_semantic: "For Service-bound Machines, the entry node (prev_node='' target) represents a " +
-            "POST-PAYMENT state, because Service.buy() performs quote + buy (payment) + " +
-            "order_allocation + order_progress ATOMICALLY in a single transaction. The Machine " +
-            "must NOT include separate 'Order', 'Pay', 'Reserve', or 'Subscribe' nodes — those " +
-            "actions are handled by the Service layer before the Progress (Machine instance) " +
-            "is created. All nodes after entry represent ORDER PROCESSING stages (fulfillment, " +
-            "delivery, confirmation, review, refund), NOT payment actions. Correct entry node " +
-            "examples: 'Paid', 'DepositPaid', 'Active'. Incorrect: 'OrderCreated', 'Reserved', " +
-            "'Subscribed'. See machine-ledger.ts first_node_semantics field per scene and " +
-            "machine-templates.ts example_nodes/example_pairs for the canonical structure.",
-        code_reference: "ts-sdk\\packages\\wowok\\src\\w\\call\\service.ts (buy: quote -> buy -> order_allocation -> order_progress) " +
-            "+ machine-ledger.ts (first_node_semantics field) + machine-templates.ts (example_nodes)",
-        affected_modes: ["initial_design", "mid_design_review", "pre_publish_check"],
-    },
-];
-export function getMachineKnowledgeSnapshot() {
-    const verifiedYes = MACHINE_VERIFICATION_NOTES.filter((n) => n.judgment === "YES").length;
-    const verifiedPartial = MACHINE_VERIFICATION_NOTES.filter((n) => n.judgment === "PARTIAL").length;
-    const verifiedNo = MACHINE_VERIFICATION_NOTES.filter((n) => n.judgment === "NO").length;
-    return {
-        version: MACHINE_CONTEXT_VERSION,
-        modules: {
-            ledger: MACHINE_LEDGER_VERSION,
-            templates: MACHINE_TEMPLATES_VERSION,
-            translation: MACHINE_TRANSLATION_VERSION,
-            risk: MACHINE_RISK_VERSION,
-            topology: MACHINE_TOPOLOGY_VERSION,
-            puzzle: MACHINE_PUZZLE_VERSION,
-            confirm: MACHINE_CONFIRM_VERSION,
-        },
-        counts: {
-            scenes: MACHINE_SCENES_COUNT,
-            templates: MACHINE_TEMPLATES.length,
-            patterns: SEMANTIC_TO_MACHINE_RULES.length,
-            constraints: MACHINE_CONSTRAINT_RULES.length,
-            risk_rules: MACHINE_RISK_RULES.length,
-            puzzle_dimensions: 8,
-            publish_checklist_items: PUBLISH_CHECKLIST.length,
-            confirmation_questions: CONFIRMATION_QUESTIONS.length,
-            verification_notes: MACHINE_VERIFICATION_NOTES.length,
-        },
-        verification_summary: {
-            total_topics: MACHINE_VERIFICATION_NOTES.length,
-            verified_yes: verifiedYes,
-            verified_partial: verifiedPartial,
-            verified_no: verifiedNo,
-            topics: MACHINE_VERIFICATION_NOTES,
-        },
-        guard_bridge: {
-            available: true,
-            guard_scenes_count: GUARD_SCENES.length,
-        },
-        on_chain_limits: {
-            max_node_count: 100,
-            max_node_pair_count: 40,
-            max_forward_count: 20,
-        },
-    };
-}
-export function injectMachineContext(intent, mode, options = {}) {
-    const maxTemplates = options.max_templates ?? 3;
-    const maxConstraints = options.max_constraints ?? 10;
-    const maxRisks = options.max_risks ?? 10;
-    const includeNotes = options.include_verification_notes ?? true;
-    const includeGuardBridge = options.include_guard_bridge ?? mode === "guard_integration";
-    const matchedScene = inferSceneFromFlow(intent);
-    let suggestedTemplates = [];
-    if (matchedScene) {
-        suggestedTemplates = getTemplatesByScene(matchedScene.id).slice(0, maxTemplates);
-    }
-    if (suggestedTemplates.length === 0) {
-        const intentSuggestion = suggestTemplateForIntent(intent);
-        if (intentSuggestion) {
-            suggestedTemplates = [intentSuggestion].slice(0, maxTemplates);
-        }
-    }
-    if (suggestedTemplates.length === 0) {
-        suggestedTemplates = getAllTemplates().slice(0, maxTemplates);
-    }
-    let relevantPatterns = [...SEMANTIC_TO_MACHINE_RULES];
-    if (options.filter_execution_mode) {
-        const modeToId = {
-            "Sequential": "P-M-SEQ",
-            "Parallel AND": "P-M-AND",
-            "Parallel OR": "P-M-OR",
-            "Weighted Voting": "P-M-VOTE",
-            "Hybrid": "P-M-HYBRID",
-        };
-        const expectedId = modeToId[options.filter_execution_mode];
-        if (expectedId) {
-            relevantPatterns = relevantPatterns.filter((p) => p.id === expectedId);
-        }
-    }
-    if (options.filter_topology) {
-        const topoToId = {
-            "Linear": "P-M-LINEAR",
-            "ForkMerge": "P-M-FORKMERGE",
-            "Competing": "P-M-COMPETING",
-        };
-        const expectedId = topoToId[options.filter_topology];
-        if (expectedId) {
-            relevantPatterns = relevantPatterns.filter((p) => p.id === expectedId);
-        }
-    }
-    relevantPatterns = filterPatternsByMode(relevantPatterns, mode);
-    let relevantConstraints = filterConstraintsByMode(MACHINE_CONSTRAINT_RULES, mode);
-    relevantConstraints = relevantConstraints.slice(0, maxConstraints);
-    let relevantRisks = filterRisksByMode(MACHINE_RISK_RULES, mode);
-    relevantRisks = relevantRisks.slice(0, maxRisks);
-    let puzzleState;
-    let puzzleCompleteness;
-    if (options.existing_puzzle) {
-        puzzleState = options.existing_puzzle;
-        puzzleCompleteness = checkPuzzleCompleteness(options.existing_puzzle);
-    }
-    else if (mode === "initial_design" || mode === "intent_match") {
-        puzzleState = initPuzzleFromIntent(intent);
-        puzzleCompleteness = checkPuzzleCompleteness(puzzleState);
-    }
-    let topologyAnalysis;
-    if (options.existing_machine_json) {
-        topologyAnalysis = analyzeTopology(options.existing_machine_json.nodes, options.existing_machine_json.pairs);
-    }
-    let riskAssessment;
-    if (options.existing_machine_json && options.project_context) {
-        const machineForRisk = {
-            nodes: options.existing_machine_json.nodes,
-            pairs: options.existing_machine_json.pairs,
-        };
-        riskAssessment = assessMachineRisks(machineForRisk, options.project_context);
-    }
-    let progressiveCheckResult;
-    if (mode === "pre_publish_check" && options.existing_machine_json) {
-        const machineForConfirm = {
-            nodes: options.existing_machine_json.nodes,
-            pairs: options.existing_machine_json.pairs,
-            template_id: options.existing_machine_json.template_id,
-            scene_id: options.existing_machine_json.scene_id,
-        };
-        progressiveCheckResult = progressiveCheck(machineForConfirm, "R5");
-    }
-    let guardBridge;
-    if (includeGuardBridge && matchedScene) {
-        guardBridge = buildGuardBridge(matchedScene);
-    }
-    let verificationNotes = [];
-    if (includeNotes) {
-        verificationNotes = MACHINE_VERIFICATION_NOTES.filter((n) => n.affected_modes.includes(mode));
-    }
-    const promptHints = buildPromptHints({
-        mode,
-        matched_scene: matchedScene,
-        suggested_templates: suggestedTemplates,
-        relevant_patterns: relevantPatterns,
-        relevant_constraints: relevantConstraints,
-        relevant_risks: relevantRisks,
-        puzzle_state: puzzleState,
-        puzzle_completeness: puzzleCompleteness,
-        topology_analysis: topologyAnalysis,
-        risk_assessment: riskAssessment,
-        progressive_check_result: progressiveCheckResult,
-        guard_bridge: guardBridge,
-        verification_notes: verificationNotes,
-    });
-    const recommendedNextAction = recommendNextAction(mode, {
-        matched_scene: matchedScene,
-        suggested_templates: suggestedTemplates,
-        puzzle_completeness: puzzleCompleteness,
-        risk_assessment: riskAssessment,
-        progressive_check_result: progressiveCheckResult,
-    });
-    return {
-        mode,
-        version: MACHINE_CONTEXT_VERSION,
-        matched_scene: matchedScene ?? undefined,
-        suggested_templates: suggestedTemplates,
-        relevant_patterns: relevantPatterns,
-        relevant_constraints: relevantConstraints,
-        relevant_risks: relevantRisks,
-        puzzle_state: puzzleState,
-        puzzle_completeness: puzzleCompleteness,
-        topology_analysis: topologyAnalysis,
-        risk_assessment: riskAssessment,
-        progressive_check_result: progressiveCheckResult,
-        guard_bridge: guardBridge,
-        prompt_hints: promptHints,
-        verification_notes: verificationNotes,
-        recommended_next_action: recommendedNextAction,
-    };
-}
-export function suggestWorkflow(intent) {
-    const matchedScene = inferSceneFromFlow(intent);
-    const confidence = matchedScene ? 0.8 : 0.3;
-    const suggestedTemplates = [];
-    if (matchedScene) {
-        const sceneTemplates = getTemplatesByScene(matchedScene.id);
-        for (const t of sceneTemplates.slice(0, 3)) {
-            suggestedTemplates.push({
-                template: t,
-                rationale: `Template for scene "${matchedScene.name}"`,
-            });
-        }
-    }
-    if (suggestedTemplates.length === 0) {
-        const t = suggestTemplateForIntent(intent);
-        if (t) {
-            suggestedTemplates.push({
-                template: t,
-                rationale: "Intent keyword match",
-            });
-        }
-    }
-    if (suggestedTemplates.length === 0) {
-        const all = getAllTemplates();
-        if (all.length > 0) {
-            suggestedTemplates.push({
-                template: all[0],
-                rationale: "Default (no specific match)",
-            });
-        }
-    }
-    let initialPuzzle;
-    if (suggestedTemplates.length > 0) {
-        const fromTemplate = initPuzzleFromTemplate(suggestedTemplates[0].template.id);
-        initialPuzzle = fromTemplate ?? initPuzzleFromIntent(intent);
-    }
-    else {
-        initialPuzzle = initPuzzleFromIntent(intent);
-    }
-    const matchedPattern = matchSemanticPattern(intent);
-    const recommendedPattern = matchedPattern ?? null;
-    let recommendedTopology = null;
-    if (matchedScene && matchedScene.recommended_topology.length > 0) {
-        recommendedTopology = matchedScene.recommended_topology[0];
-    }
-    const completeness = checkPuzzleCompleteness(initialPuzzle);
-    const nextStep = completeness.next_step;
-    return {
-        matched_scene: matchedScene ?? null,
-        confidence,
-        suggested_templates: suggestedTemplates,
-        initial_puzzle: initialPuzzle,
-        recommended_pattern: recommendedPattern,
-        recommended_topology: recommendedTopology,
-        next_step: nextStep,
-    };
-}
-export function buildPromptFromContext(bundle) {
-    const lines = [];
-    lines.push(`# Machine Design Context (mode: ${bundle.mode})`);
-    lines.push("");
-    lines.push("> Context injected by machine-context.ts. Reflects verified on-chain behavior.");
-    lines.push("");
-    if (bundle.matched_scene) {
-        lines.push("## Matched Scene");
-        lines.push("");
-        lines.push(`- **ID**: ${bundle.matched_scene.id}`);
-        lines.push(`- **Name**: ${bundle.matched_scene.name}`);
-        lines.push(`- **Scenario**: ${bundle.matched_scene.scenario}`);
-        lines.push(`- **Industry**: ${bundle.matched_scene.industry.join(", ")}`);
-        lines.push(`- **Recommended patterns**: ${bundle.matched_scene.recommended_patterns.join(", ")}`);
-        lines.push(`- **Recommended topology**: ${bundle.matched_scene.recommended_topology.join(", ")}`);
-        lines.push("");
-    }
-    if (bundle.suggested_templates.length > 0) {
-        lines.push("## Suggested Templates");
-        lines.push("");
-        for (const t of bundle.suggested_templates) {
-            lines.push(`### ${t.id}: ${t.name}`);
-            lines.push("");
-            lines.push(`- **Scene**: ${t.scene_id}`);
-            lines.push(`- **Description**: ${t.description}`);
-            if (t.parameters.length > 0) {
-                lines.push(`- **Parameters**:`);
-                for (const p of t.parameters) {
-                    lines.push(`  - \`${p.name}\` (${p.type}): ${p.description}`);
-                }
-            }
-            lines.push("");
-        }
-    }
-    if (bundle.relevant_patterns.length > 0) {
-        lines.push("## Relevant Patterns");
-        lines.push("");
-        for (const p of bundle.relevant_patterns) {
-            lines.push(`### ${p.id}: ${p.pattern_name}`);
-            lines.push("");
-            lines.push(`- **Category**: ${p.category}`);
-            lines.push(`- **Intent**: ${p.semantic_intent}`);
-            if (p.match_keywords.length > 0) {
-                lines.push(`- **Keywords**: ${p.match_keywords.join(", ")}`);
-            }
-            lines.push("");
-        }
-    }
-    if (bundle.relevant_constraints.length > 0) {
-        lines.push("## Relevant Constraints");
-        lines.push("");
-        for (const c of bundle.relevant_constraints) {
-            lines.push(`- **${c.id}** (${c.category}, ${c.on_chain_enforced ? "on-chain" : "off-chain"}): ${c.description}`);
-        }
-        lines.push("");
-    }
-    if (bundle.relevant_risks.length > 0) {
-        lines.push("## Relevant Risks");
-        lines.push("");
-        for (const r of bundle.relevant_risks) {
-            lines.push(`- **${r.id}** [${r.severity}] ${r.name}: ${r.description}`);
-            lines.push(`  - Fix: ${r.recommendation}`);
-        }
-        lines.push("");
-    }
-    if (bundle.puzzle_state && bundle.puzzle_completeness) {
-        lines.push("## Puzzle State");
-        lines.push("");
-        lines.push(`- **Complete**: ${bundle.puzzle_completeness.complete}`);
-        lines.push(`- **Next step**: ${bundle.puzzle_completeness.next_step}`);
-        lines.push("");
-        lines.push("### Per-dimension completeness:");
-        for (const d of bundle.puzzle_completeness.dimensions) {
-            const mark = d.complete ? "✓" : "✗";
-            lines.push(`  - ${mark} ${d.dimension}`);
-            if (!d.complete && d.missing_fields.length > 0) {
-                lines.push(`    - Missing: ${d.missing_fields.join(", ")}`);
-            }
-        }
-        lines.push("");
-    }
-    if (bundle.topology_analysis) {
-        lines.push("## Topology Analysis");
-        lines.push("");
-        lines.push("```");
-        lines.push(formatTopologySummary(bundle.topology_analysis));
-        lines.push("```");
-        lines.push("");
-    }
-    if (bundle.risk_assessment) {
-        lines.push("## Risk Assessment");
-        lines.push("");
-        lines.push(`- **Overall level**: ${bundle.risk_assessment.overall_level}`);
-        lines.push(`- **Recommendation**: ${bundle.risk_assessment.recommendation}`);
-        lines.push(`- **Summary**: ${JSON.stringify(bundle.risk_assessment.summary)}`);
-        if (bundle.risk_assessment.detected_risks.length > 0) {
-            lines.push("");
-            lines.push("### Detected risks:");
-            for (const r of bundle.risk_assessment.detected_risks) {
-                lines.push(`- [${r.severity}] ${r.name}: ${r.detail}`);
-            }
-        }
-        lines.push("");
-    }
-    if (bundle.progressive_check_result) {
-        const r = bundle.progressive_check_result;
-        lines.push("## Progressive Checklist Result (R5)");
-        lines.push("");
-        lines.push(`- **Passed**: ${r.passed}`);
-        if (r.checked_items.length > 0) {
-            lines.push("");
-            lines.push("### Checked items:");
-            for (const item of r.checked_items) {
-                lines.push(`  - [${item.status}] ${item.id}: ${item.description}`);
-                if (item.detail) {
-                    lines.push(`    - ${item.detail}`);
-                }
-            }
-        }
-        lines.push("");
-    }
-    if (bundle.guard_bridge) {
-        lines.push("## Guard Bridge");
-        lines.push("");
-        lines.push(`Machine scene \`${bundle.guard_bridge.machine_scene_id}\` relates to:`);
-        lines.push("");
-        for (const m of bundle.guard_bridge.forward_guard_mapping) {
-            lines.push(`- Forward "${m.forward_purpose}" → Guard scene \`${m.guard_scene_id}\` (${m.guard_scene_name})`);
-        }
-        lines.push("");
-    }
-    if (bundle.prompt_hints.length > 0) {
-        lines.push("## Prompt Hints");
-        lines.push("");
-        for (const h of bundle.prompt_hints) {
-            lines.push(`- ${h}`);
-        }
-        lines.push("");
-    }
-    if (bundle.verification_notes.length > 0) {
-        lines.push("## Verification Notes (06 §14)");
-        lines.push("");
-        lines.push("> These notes reflect code-level verification of on-chain behavior.");
-        for (const n of bundle.verification_notes) {
-            lines.push("");
-            lines.push(`- **${n.topic}** (${n.judgment}): ${n.verified_semantic}`);
-            lines.push(`  - Code reference: \`${n.code_reference}\``);
-        }
-        lines.push("");
-    }
-    lines.push("## Recommended Next Action");
-    lines.push("");
-    lines.push(bundle.recommended_next_action);
-    lines.push("");
-    return lines.join("\n");
-}
-export function getRelatedGuardScenes(machineSceneId) {
-    const machineScene = findScene(machineSceneId);
-    if (!machineScene) {
-        return [];
-    }
-    const relatedGuardSceneIds = new Set();
-    for (const req of machineScene.guard_requirements) {
-        relatedGuardSceneIds.add(req.scene);
-    }
-    return GUARD_SCENES.filter((g) => relatedGuardSceneIds.has(g.id));
-}
-export function getVerificationNotes(mode) {
-    if (!mode) {
-        return MACHINE_VERIFICATION_NOTES;
-    }
-    return MACHINE_VERIFICATION_NOTES.filter((n) => n.affected_modes.includes(mode));
-}
-export function identifyCrossMachineDependency(machineAId, machineJson, guardResolutions, publishedMachineIds) {
-    const deps = [];
-    for (const pair of machineJson.pairs) {
-        const pairId = `${pair.prev_node}->${pair.next_node}`;
-        for (const forward of pair.forwards) {
-            if (!forward.guard)
-                continue;
-            const resolution = guardResolutions.get(forward.guard);
-            if (!resolution)
-                continue;
-            deps.push({
-                machine_a_id: machineAId,
-                machine_b_id: resolution.upstream_machine_id,
-                machine_b_published: publishedMachineIds
-                    ? publishedMachineIds.has(resolution.upstream_machine_id)
-                    : false,
-                dependency: {
-                    machine_a_forward: `${pairId}:${forward.name}`,
-                    machine_b_node: resolution.upstream_node_name,
-                },
-                guard_query: resolution.guard_query_description,
-            });
-        }
-    }
-    return deps;
-}
-export function detectCrossMachineCycle(allDependencies) {
-    const adj = new Map();
-    for (const dep of allDependencies) {
-        if (!adj.has(dep.machine_a_id))
-            adj.set(dep.machine_a_id, new Set());
-        adj.get(dep.machine_a_id).add(dep.machine_b_id);
-        if (!adj.has(dep.machine_b_id))
-            adj.set(dep.machine_b_id, new Set());
-    }
-    const cycles = [];
-    const WHITE = 0, GRAY = 1, BLACK = 2;
-    const color = new Map();
-    for (const node of adj.keys())
-        color.set(node, WHITE);
-    const stack = [];
-    const dfs = (node) => {
-        color.set(node, GRAY);
-        stack.push(node);
-        const neighbors = adj.get(node) ?? new Set();
-        for (const next of neighbors) {
-            const nextColor = color.get(next) ?? WHITE;
-            if (nextColor === GRAY) {
-                const cycleStart = stack.indexOf(next);
-                const cycle = stack.slice(cycleStart).concat([next]);
-                cycles.push(cycle);
-            }
-            else if (nextColor === WHITE) {
-                dfs(next);
-            }
-        }
-        stack.pop();
-        color.set(node, BLACK);
-    };
-    for (const node of adj.keys()) {
-        if (color.get(node) === WHITE) {
-            dfs(node);
-        }
-    }
-    return cycles;
-}
-export function aggregateProjectDependencies(machines, publishedMachineIds) {
-    const all = [];
-    for (const m of machines) {
-        const deps = identifyCrossMachineDependency(m.machine_id, m.machine_json, m.guard_resolutions, publishedMachineIds);
-        all.push(...deps);
-    }
-    return all;
-}
-function filterPatternsByMode(patterns, mode) {
-    switch (mode) {
-        case "cross_machine":
-            return patterns.filter((p) => p.id === "P-M-CROSS-MACHINE");
-        case "allocation_integration":
-            return patterns.filter((p) => p.id === "P-M-ALLOCATION-INTEGRATED");
-        case "guard_integration":
-            return patterns.filter((p) => p.match_keywords.some((k) => ["guard", "validation"].some((term) => k.toLowerCase().includes(term.toLowerCase()))) ||
-                p.semantic_intent.toLowerCase().includes("guard"));
-        case "post_publish_runtime":
-            return patterns.filter((p) => p.category === "execution" &&
-                ["and", "or", "vote", "hybrid"].some((term) => p.pattern_name.toLowerCase().includes(term)));
-        default:
-            return patterns;
-    }
-}
-function filterConstraintsByMode(constraints, mode) {
-    switch (mode) {
-        case "initial_design":
-        case "intent_match":
-            return constraints.filter((c) => c.category === "creation");
-        case "mid_design_review":
-            return constraints.filter((c) => ["creation", "structure", "node_operation"].includes(c.category));
-        case "pre_publish_check":
-            return constraints.filter((c) => ["publish", "structure", "node_operation"].includes(c.category));
-        case "post_publish_runtime":
-            return constraints.filter((c) => c.category === "runtime");
-        case "cross_machine":
-            return constraints.filter((c) => ["structure", "publish"].includes(c.category));
-        case "guard_integration":
-            return constraints.filter((c) => c.description.toLowerCase().includes("guard") ||
-                c.description.toLowerCase().includes("forward"));
-        case "allocation_integration":
-            return constraints.filter((c) => c.description.toLowerCase().includes("allocator") ||
-                c.description.toLowerCase().includes("terminal") ||
-                c.description.toLowerCase().includes("allocation"));
-        default:
-            return constraints;
-    }
-}
-function filterRisksByMode(risks, mode) {
-    switch (mode) {
-        case "initial_design":
-        case "intent_match":
-            return risks.filter((r) => ["structural", "permission"].includes(r.category));
-        case "mid_design_review":
-            return risks.filter((r) => ["structural", "guard_integration", "permission"].includes(r.category));
-        case "pre_publish_check":
-            return risks
-                .slice()
-                .sort((a, b) => severityRank(b.severity) - severityRank(a.severity));
-        case "post_publish_runtime":
-            return risks.filter((r) => r.category === "environment");
-        case "cross_machine":
-            return risks.filter((r) => r.category === "guard_integration");
-        case "guard_integration":
-            return risks.filter((r) => r.category === "guard_integration");
-        case "allocation_integration":
-            return risks.filter((r) => r.description.toLowerCase().includes("allocator") ||
-                r.description.toLowerCase().includes("allocation") ||
-                r.description.toLowerCase().includes("terminal"));
-        default:
-            return risks;
-    }
-}
-function severityRank(s) {
-    switch (s) {
-        case "critical": return 5;
-        case "high": return 4;
-        case "medium": return 3;
-        case "low": return 2;
-    }
-}
-function buildGuardBridge(machineScene) {
-    const guardSceneIds = new Set();
-    const forwardGuardMapping = [];
-    for (const req of machineScene.guard_requirements) {
-        guardSceneIds.add(req.scene);
-        const guardScene = GUARD_SCENES.find((g) => g.id === req.scene);
-        forwardGuardMapping.push({
-            forward_purpose: req.purpose,
-            guard_scene_id: req.scene,
-            guard_scene_name: guardScene?.name || req.scene,
-        });
-    }
-    const guardScenes = GUARD_SCENES.filter((g) => guardSceneIds.has(g.id));
-    return {
-        machine_scene_id: machineScene.id,
-        guard_scenes: guardScenes,
-        forward_guard_mapping: forwardGuardMapping,
-    };
-}
-function buildPromptHints(ctx) {
-    const hints = [];
-    switch (ctx.mode) {
-        case "initial_design":
-        case "intent_match":
-            hints.push("Start by confirming the matched scene and selecting a template.");
-            if (ctx.matched_scene) {
-                hints.push(`Scene "${ctx.matched_scene.name}" recommends patterns: ${ctx.matched_scene.recommended_patterns.join(", ")}.`);
-                if (ctx.matched_scene.first_node_semantics) {
-                    hints.push(`First-node semantics: ${ctx.matched_scene.first_node_semantics}`);
-                }
-            }
-            hints.push("⚠ First node convention: For Service-bound Machines, the entry node (prev_node='' target) MUST represent a POST-PAYMENT state (e.g. 'Paid', 'DepositPaid'). Do NOT add 'Order'/'Pay'/'Reserve'/'Subscribe' nodes — Service.buy() handles payment atomically before Progress is created.");
-            if (ctx.suggested_templates.length > 0) {
-                hints.push(`Top template suggestion: ${ctx.suggested_templates[0].id} (${ctx.suggested_templates[0].name}).`);
-            }
-            break;
-        case "mid_design_review":
-            if (ctx.puzzle_completeness) {
-                if (ctx.puzzle_completeness.complete) {
-                    hints.push("Puzzle is complete. Proceed to pre-publish check.");
-                }
-                else {
-                    hints.push(`Puzzle incomplete. Next step: ${ctx.puzzle_completeness.next_step}`);
-                }
-            }
-            if (ctx.topology_analysis) {
-                if (ctx.topology_analysis.has_cycles) {
-                    hints.push("⚠ Cycle detected in topology — must fix before publish.");
-                }
-                if (ctx.topology_analysis.orphaned_nodes.length > 0) {
-                    hints.push(`⚠ Orphaned nodes: ${ctx.topology_analysis.orphaned_nodes.join(", ")}`);
-                }
-            }
-            break;
-        case "pre_publish_check":
-            if (ctx.risk_assessment) {
-                if (ctx.risk_assessment.overall_level === "critical") {
-                    hints.push("⛔ CRITICAL risk detected — DO NOT publish until resolved.");
-                }
-                else if (ctx.risk_assessment.overall_level === "high") {
-                    hints.push("⚠ HIGH risk — fix before publish or override with explicit reason.");
-                }
-                hints.push(`Risk recommendation: ${ctx.risk_assessment.recommendation}`);
-            }
-            if (ctx.progressive_check_result) {
-                if (!ctx.progressive_check_result.passed) {
-                    const failed = ctx.progressive_check_result.checked_items
-                        .filter((i) => i.status !== "pass")
-                        .map((i) => i.id);
-                    hints.push(`⛔ Pre-publish checklist FAILED on: ${failed.join(", ") || "see details"}`);
-                }
-                else {
-                    hints.push("✓ Pre-publish checklist (R5) passed.");
-                }
-            }
-            hints.push("Run full confirmPublish() with user confirmation before any on-chain publish transaction.");
-            break;
-        case "post_publish_runtime":
-            hints.push("Machine is already published — nodes cannot be modified.");
-            hints.push("Only progress advancement (Forward execution) is possible.");
-            if (ctx.topology_analysis) {
-                hints.push(`Current topology: ${ctx.topology_analysis.within_limits ? "within on-chain limits" : "EXCEEDS limits"}`);
-            }
-            break;
-        case "cross_machine":
-            hints.push("Cross-Machine dependency is INDIRECT: Machine A queries Machine B's Progress via convert_witness.");
-            hints.push("Machine B MUST be published before Progress::new can create a Progress for it (assert_published).");
-            hints.push("Use convert_witness TypeOrderProgress (100) or TypeOrderProgressSession (103) in Guard queries.");
-            break;
-        case "guard_integration":
-            if (ctx.guard_bridge) {
-                hints.push(`This scene integrates with ${ctx.guard_bridge.guard_scenes.length} Guard scene(s).`);
-                for (const m of ctx.guard_bridge.forward_guard_mapping) {
-                    hints.push(`  - Forward "${m.forward_purpose}" → Guard scene: ${m.guard_scene_name}`);
-                }
-            }
-            hints.push("Forward.guard cannot be modified after Machine publish (immutable).");
-            hints.push("Use machine_forward_guard scene from guard-ledger.ts for Guard design.");
-            break;
-        case "allocation_integration":
-            hints.push("Terminal nodes map to Service order_allocators.");
-            hints.push("order_allocators is order-sensitive (first-match-wins).");
-            hints.push("Each Allocator requires a UNIQUE Guard object (no two allocators may share the same Guard).");
-            hints.push("order_allocators CANNOT be modified after Service publish (immutable).");
-            break;
-    }
-    for (const n of ctx.verification_notes) {
-        hints.push(`[Verified ${n.judgment}] ${n.topic}: ${n.verified_semantic}`);
-    }
-    hints.push(`On-chain limits: MAX_NODE_COUNT=${MAX_NODE_COUNT}, MAX_NODE_PAIR_COUNT=${MAX_NODE_PAIR_COUNT}, MAX_FORWARD_COUNT=${MAX_FORWARD_COUNT}.`);
-    return hints;
-}
-function recommendNextAction(mode, ctx) {
-    switch (mode) {
-        case "initial_design":
-        case "intent_match": {
-            if (!ctx.matched_scene) {
-                return "Ask the user to clarify the business scenario — no scene matched.";
-            }
-            if (ctx.suggested_templates.length === 0) {
-                return `Scene "${ctx.matched_scene.name}" matched but no template available — design Machine manually using the scene's recommended patterns.`;
-            }
-            return `Present template "${ctx.suggested_templates[0].id}" to user. After user confirms, fill parameters and initialize puzzle.`;
-        }
-        case "mid_design_review": {
-            if (!ctx.puzzle_completeness) {
-                return "Initialize puzzle state and re-run injection with existing_puzzle option.";
-            }
-            if (ctx.puzzle_completeness.complete) {
-                return "Puzzle complete. Proceed to pre_publish_check mode.";
-            }
-            return `Complete missing puzzle dimensions: ${ctx.puzzle_completeness.next_step}`;
-        }
-        case "pre_publish_check": {
-            if (ctx.progressive_check_result && !ctx.progressive_check_result.passed) {
-                const failedIds = ctx.progressive_check_result.failed_items
-                    .map((i) => i.id)
-                    .join(", ");
-                return `⛔ Pre-publish checklist FAILED on: ${failedIds || "see checklist result"}. Fix these items before proceeding.`;
-            }
-            if (ctx.risk_assessment) {
-                if (ctx.risk_assessment.overall_level === "critical") {
-                    return "⛔ CRITICAL risk — DO NOT publish. Fix risks first.";
-                }
-                if (ctx.risk_assessment.overall_level === "high") {
-                    return "⚠ HIGH risk — fix risks OR obtain explicit user override with reason.";
-                }
-            }
-            return "All checks passed. Present confirmation text to user and obtain explicit approval before publish transaction.";
-        }
-        case "post_publish_runtime":
-            return "Machine is published. Use onchain_operations to execute Forward advancements. Monitor Progress state via query tool.";
-        case "cross_machine":
-            return "Design Machine A's Forward.guard to query Machine B's Progress via convert_witness=100. Ensure Machine B is published first.";
-        case "guard_integration":
-            return "For each Forward.guard binding, design the Guard using the related Guard scene. Use guard-ledger + guard-templates + guard-puzzle modules.";
-        case "allocation_integration":
-            return "Map each terminal node to an Allocator in Service.order_allocators. Each Allocator needs a unique Guard object. Configure sharing.who (prefer Entity over Signer).";
-        default:
-            return "Proceed with current task.";
-    }
-}
-export const CONTEXT_PRESETS = {
-    newUserIntent: (intent) => injectMachineContext(intent, "intent_match", {
-        max_templates: 2,
-        max_constraints: 5,
-        max_risks: 3,
-        include_verification_notes: false,
-        include_guard_bridge: false,
-    }),
-    midDesignReview: (intent, puzzle) => injectMachineContext(intent, "mid_design_review", {
-        max_templates: 1,
-        max_constraints: 15,
-        max_risks: 10,
-        include_verification_notes: true,
-        include_guard_bridge: false,
-        existing_puzzle: puzzle,
-    }),
-    prePublishFull: (intent, machineJson, projectContext) => injectMachineContext(intent, "pre_publish_check", {
-        max_templates: 0,
-        max_constraints: 20,
-        max_risks: 39,
-        include_verification_notes: true,
-        include_guard_bridge: true,
-        existing_machine_json: machineJson,
-        project_context: projectContext,
-    }),
-    crossMachine: (intent) => injectMachineContext(intent, "cross_machine", {
-        max_templates: 2,
-        max_constraints: 10,
-        max_risks: 8,
-        include_verification_notes: true,
-        include_guard_bridge: true,
-    }),
-    guardIntegration: (intent) => injectMachineContext(intent, "guard_integration", {
-        max_templates: 1,
-        max_constraints: 10,
-        max_risks: 8,
-        include_verification_notes: true,
-        include_guard_bridge: true,
-    }),
-    allocationIntegration: (intent) => injectMachineContext(intent, "allocation_integration", {
-        max_templates: 1,
-        max_constraints: 8,
-        max_risks: 8,
-        include_verification_notes: false,
-        include_guard_bridge: false,
-    }),
-};
+import{MACHINE_LEDGER_VERSION,MACHINE_SCENES_COUNT,findScene,inferSceneFromFlow}from'./machine-ledger.js';import{MAX_NODE_COUNT,MAX_NODE_PAIR_COUNT,MAX_FORWARD_COUNT}from'./onchain-constants.js';import{MACHINE_TEMPLATES,MACHINE_TEMPLATES_VERSION,getAllTemplates,getTemplatesByScene,suggestTemplateForIntent}from'./machine-templates.js';import{SEMANTIC_TO_MACHINE_RULES,MACHINE_CONSTRAINT_RULES,MACHINE_TRANSLATION_VERSION,matchSemanticPattern}from'./machine-translation.js';import{MACHINE_RISK_RULES,MACHINE_RISK_VERSION,assessMachineRisks}from'./machine-risk.js';import{analyzeTopology,formatTopologySummary,MACHINE_TOPOLOGY_VERSION}from'./machine-topology.js';import{initPuzzleFromIntent,initPuzzleFromTemplate,checkPuzzleCompleteness,MACHINE_PUZZLE_VERSION}from'./machine-puzzle.js';import{PUBLISH_CHECKLIST,CONFIRMATION_QUESTIONS,MACHINE_CONFIRM_VERSION,progressiveCheck}from'./machine-confirm.js';import{GUARD_SCENES}from'./guard-ledger.js';export const MACHINE_CONTEXT_VERSION='1.0.0';export const MACHINE_VERIFICATION_NOTES=[{'topic':'bReplace','judgment':'YES','verified_semantic':'bReplace\x20acts\x20at\x20the\x20pairs-list\x20level\x20of\x20an\x20ALREADY-EXISTING\x20node,\x20'+'NOT\x20at\x20the\x20whole-Machine\x20level.\x20bReplace=false\x20merges\x20new\x20pairs\x20into\x20the\x20'+'existing\x20node\x27s\x20pairs\x20list;\x20bReplace=true\x20replaces\x20that\x20node\x27s\x20pairs\x20list\x20entirely.','code_reference':'d:\x5cwowok\x5cagent\x5cmcp\x5csrc\x5ctools\x5cmachine.ts\x20(node\x20ops)','affected_modes':['initial_design','mid_design_review','pre_publish_check']},{'topic':'um','judgment':'PARTIAL','verified_semantic':'um\x20is\x20a\x20Messenger\x20Contact\x20object\x20reference\x20(off-chain\x20session\x20metadata).\x20'+'It\x20does\x20NOT\x20participate\x20in\x20any\x20on-chain\x20flow\x20logic;\x20omitting\x20it\x20has\x20zero\x20on-chain\x20impact.','code_reference':'machine.move\x20(no\x20um\x20field\x20in\x20on-chain\x20Machine)','affected_modes':['initial_design','mid_design_review']},{'topic':'consensus_repositories','judgment':'PARTIAL','verified_semantic':'consensus_repositories\x20is\x20a\x20declarative-only\x20field.\x20It\x20is\x20NOT\x20consumed\x20by\x20any\x20'+'on-chain\x20flow\x20logic\x20—\x20it\x20is\x20a\x20hint\x20for\x20off-chain\x20tooling\x20and\x20human\x20auditors.','code_reference':'machine.move\x20(no\x20consensus_repositories\x20field)','affected_modes':['initial_design','mid_design_review']},{'topic':'namedOperator_assignment','judgment':'PARTIAL','verified_semantic':'Move\x20progress::new\x20does\x20NOT\x20accept\x20namedOperator\x20parameter.\x20The\x20MCP/SDK\x20layer\x20'+'translates\x20the\x20API\x20parameter\x20into\x20a\x20separate\x20namedOperator_add\x20transaction\x20'+'(requires\x20permission\x20index\x20221).\x20At\x20runtime,\x20Forward\x20checks\x20namedOperator\x20membership.','code_reference':'progress.move\x20(progress::new\x20signature)\x20+\x20agent\x5cmcp\x5csrc\x5ctools\x5cprogress.ts\x20(namedOperator_add)','affected_modes':['initial_design','mid_design_review','pre_publish_check']},{'topic':'cross_machine_dependency','judgment':'PARTIAL','verified_semantic':'Cross-Machine\x20dependency\x20is\x20INDIRECT:\x20Machine\x20A\x27s\x20Forward\x20Guard\x20queries\x20Machine\x20B\x27s\x20'+'Progress\x20via\x20convert_witness\x20(TypeOrderProgress=100/103).\x20Machine\x20B\x20must\x20be\x20published\x20'+'before\x20Progress\x20can\x20be\x20created\x20(progress::new\x20->\x20assert_published).','code_reference':'progress.move\x20(progress::new,\x20assert_published)\x20+\x20guard.move\x20(convert_witness)','affected_modes':['cross_machine','pre_publish_check']},{'topic':'first_node_semantics_service_bound','judgment':'YES','verified_semantic':'For\x20Service-bound\x20Machines,\x20the\x20entry\x20node\x20(prev_node=\x27\x27\x20target)\x20represents\x20a\x20'+'POST-PAYMENT\x20state,\x20because\x20Service.buy()\x20performs\x20quote\x20+\x20buy\x20(payment)\x20+\x20'+'order_allocation\x20+\x20order_progress\x20ATOMICALLY\x20in\x20a\x20single\x20transaction.\x20The\x20Machine\x20'+'must\x20NOT\x20include\x20separate\x20\x27Order\x27,\x20\x27Pay\x27,\x20\x27Reserve\x27,\x20or\x20\x27Subscribe\x27\x20nodes\x20—\x20those\x20'+'actions\x20are\x20handled\x20by\x20the\x20Service\x20layer\x20before\x20the\x20Progress\x20(Machine\x20instance)\x20'+'is\x20created.\x20All\x20nodes\x20after\x20entry\x20represent\x20ORDER\x20PROCESSING\x20stages\x20(fulfillment,\x20'+'delivery,\x20confirmation,\x20review,\x20refund),\x20NOT\x20payment\x20actions.\x20Correct\x20entry\x20node\x20'+'examples:\x20\x27Paid\x27,\x20\x27DepositPaid\x27,\x20\x27Active\x27.\x20Incorrect:\x20\x27OrderCreated\x27,\x20\x27Reserved\x27,\x20'+'\x27Subscribed\x27.\x20See\x20machine-ledger.ts\x20first_node_semantics\x20field\x20per\x20scene\x20and\x20'+'machine-templates.ts\x20example_nodes/example_pairs\x20for\x20the\x20canonical\x20structure.','code_reference':'ts-sdk\x5cpackages\x5cwowok\x5csrc\x5cw\x5ccall\x5cservice.ts\x20(buy:\x20quote\x20->\x20buy\x20->\x20order_allocation\x20->\x20order_progress)\x20'+'+\x20machine-ledger.ts\x20(first_node_semantics\x20field)\x20+\x20machine-templates.ts\x20(example_nodes)','affected_modes':['initial_design','mid_design_review','pre_publish_check']}];export function getMachineKnowledgeSnapshot(){const a=MACHINE_VERIFICATION_NOTES['filter'](d=>d['judgment']==='YES')['length'],b=MACHINE_VERIFICATION_NOTES['filter'](d=>d['judgment']==='PARTIAL')['length'],c=MACHINE_VERIFICATION_NOTES['filter'](d=>d['judgment']==='NO')['length'];return{'version':MACHINE_CONTEXT_VERSION,'modules':{'ledger':MACHINE_LEDGER_VERSION,'templates':MACHINE_TEMPLATES_VERSION,'translation':MACHINE_TRANSLATION_VERSION,'risk':MACHINE_RISK_VERSION,'topology':MACHINE_TOPOLOGY_VERSION,'puzzle':MACHINE_PUZZLE_VERSION,'confirm':MACHINE_CONFIRM_VERSION},'counts':{'scenes':MACHINE_SCENES_COUNT,'templates':MACHINE_TEMPLATES['length'],'patterns':SEMANTIC_TO_MACHINE_RULES['length'],'constraints':MACHINE_CONSTRAINT_RULES['length'],'risk_rules':MACHINE_RISK_RULES['length'],'puzzle_dimensions':0x8,'publish_checklist_items':PUBLISH_CHECKLIST['length'],'confirmation_questions':CONFIRMATION_QUESTIONS['length'],'verification_notes':MACHINE_VERIFICATION_NOTES['length']},'verification_summary':{'total_topics':MACHINE_VERIFICATION_NOTES['length'],'verified_yes':a,'verified_partial':b,'verified_no':c,'topics':MACHINE_VERIFICATION_NOTES},'guard_bridge':{'available':!![],'guard_scenes_count':GUARD_SCENES['length']},'on_chain_limits':{'max_node_count':0x64,'max_node_pair_count':0x28,'max_forward_count':0x14}};}export function injectMachineContext(a,b,c={}){const d=c['max_templates']??0x3,e=c['max_constraints']??0xa,f=c['max_risks']??0xa,g=c['include_verification_notes']??!![],h=c['include_guard_bridge']??b==='guard_integration',i=inferSceneFromFlow(a);let j=[];i&&(j=getTemplatesByScene(i['id'])['slice'](0x0,d));if(j['length']===0x0){const w=suggestTemplateForIntent(a);w&&(j=[w]['slice'](0x0,d));}j['length']===0x0&&(j=getAllTemplates()['slice'](0x0,d));let k=[...SEMANTIC_TO_MACHINE_RULES];if(c['filter_execution_mode']){const x={'Sequential':'P-M-SEQ','Parallel\x20AND':'P-M-AND','Parallel\x20OR':'P-M-OR','Weighted\x20Voting':'P-M-VOTE','Hybrid':'P-M-HYBRID'},y=x[c['filter_execution_mode']];y&&(k=k['filter'](z=>z['id']===y));}if(c['filter_topology']){const z={'Linear':'P-M-LINEAR','ForkMerge':'P-M-FORKMERGE','Competing':'P-M-COMPETING'},A=z[c['filter_topology']];A&&(k=k['filter'](B=>B['id']===A));}k=filterPatternsByMode(k,b);let l=filterConstraintsByMode(MACHINE_CONSTRAINT_RULES,b);l=l['slice'](0x0,e);let m=filterRisksByMode(MACHINE_RISK_RULES,b);m=m['slice'](0x0,f);let n,o;if(c['existing_puzzle'])n=c['existing_puzzle'],o=checkPuzzleCompleteness(c['existing_puzzle']);else(b==='initial_design'||b==='intent_match')&&(n=initPuzzleFromIntent(a),o=checkPuzzleCompleteness(n));let p;c['existing_machine_json']&&(p=analyzeTopology(c['existing_machine_json']['nodes'],c['existing_machine_json']['pairs']));let q;if(c['existing_machine_json']&&c['project_context']){const B={'nodes':c['existing_machine_json']['nodes'],'pairs':c['existing_machine_json']['pairs']};q=assessMachineRisks(B,c['project_context']);}let r;if(b==='pre_publish_check'&&c['existing_machine_json']){const C={'nodes':c['existing_machine_json']['nodes'],'pairs':c['existing_machine_json']['pairs'],'template_id':c['existing_machine_json']['template_id'],'scene_id':c['existing_machine_json']['scene_id']};r=progressiveCheck(C,'R5');}let s;h&&i&&(s=buildGuardBridge(i));let t=[];g&&(t=MACHINE_VERIFICATION_NOTES['filter'](D=>D['affected_modes']['includes'](b)));const u=buildPromptHints({'mode':b,'matched_scene':i,'suggested_templates':j,'relevant_patterns':k,'relevant_constraints':l,'relevant_risks':m,'puzzle_state':n,'puzzle_completeness':o,'topology_analysis':p,'risk_assessment':q,'progressive_check_result':r,'guard_bridge':s,'verification_notes':t}),v=recommendNextAction(b,{'matched_scene':i,'suggested_templates':j,'puzzle_completeness':o,'risk_assessment':q,'progressive_check_result':r});return{'mode':b,'version':MACHINE_CONTEXT_VERSION,'matched_scene':i??undefined,'suggested_templates':j,'relevant_patterns':k,'relevant_constraints':l,'relevant_risks':m,'puzzle_state':n,'puzzle_completeness':o,'topology_analysis':p,'risk_assessment':q,'progressive_check_result':r,'guard_bridge':s,'prompt_hints':u,'verification_notes':t,'recommended_next_action':v};}export function suggestWorkflow(a){const b=inferSceneFromFlow(a),c=b?0.8:0.3,d=[];if(b){const k=getTemplatesByScene(b['id']);for(const l of k['slice'](0x0,0x3)){d['push']({'template':l,'rationale':'Template\x20for\x20scene\x20\x22'+b['name']+'\x22'});}}if(d['length']===0x0){const m=suggestTemplateForIntent(a);m&&d['push']({'template':m,'rationale':'Intent\x20keyword\x20match'});}if(d['length']===0x0){const n=getAllTemplates();n['length']>0x0&&d['push']({'template':n[0x0],'rationale':'Default\x20(no\x20specific\x20match)'});}let e;if(d['length']>0x0){const o=initPuzzleFromTemplate(d[0x0]['template']['id']);e=o??initPuzzleFromIntent(a);}else e=initPuzzleFromIntent(a);const f=matchSemanticPattern(a),g=f??null;let h=null;b&&b['recommended_topology']['length']>0x0&&(h=b['recommended_topology'][0x0]);const i=checkPuzzleCompleteness(e),j=i['next_step'];return{'matched_scene':b??null,'confidence':c,'suggested_templates':d,'initial_puzzle':e,'recommended_pattern':g,'recommended_topology':h,'next_step':j};}export function buildPromptFromContext(a){const b=[];b['push']('#\x20Machine\x20Design\x20Context\x20(mode:\x20'+a['mode']+')'),b['push'](''),b['push']('>\x20Context\x20injected\x20by\x20machine-context.ts.\x20Reflects\x20verified\x20on-chain\x20behavior.'),b['push']('');a['matched_scene']&&(b['push']('##\x20Matched\x20Scene'),b['push'](''),b['push']('-\x20**ID**:\x20'+a['matched_scene']['id']),b['push']('-\x20**Name**:\x20'+a['matched_scene']['name']),b['push']('-\x20**Scenario**:\x20'+a['matched_scene']['scenario']),b['push']('-\x20**Industry**:\x20'+a['matched_scene']['industry']['join'](',\x20')),b['push']('-\x20**Recommended\x20patterns**:\x20'+a['matched_scene']['recommended_patterns']['join'](',\x20')),b['push']('-\x20**Recommended\x20topology**:\x20'+a['matched_scene']['recommended_topology']['join'](',\x20')),b['push'](''));if(a['suggested_templates']['length']>0x0){b['push']('##\x20Suggested\x20Templates'),b['push']('');for(const e of a['suggested_templates']){b['push']('###\x20'+e['id']+':\x20'+e['name']),b['push'](''),b['push']('-\x20**Scene**:\x20'+e['scene_id']),b['push']('-\x20**Description**:\x20'+e['description']);if(e['parameters']['length']>0x0){b['push']('-\x20**Parameters**:');for(const f of e['parameters']){b['push']('\x20\x20-\x20`'+f['name']+'`\x20('+f['type']+'):\x20'+f['description']);}}b['push']('');}}if(a['relevant_patterns']['length']>0x0){b['push']('##\x20Relevant\x20Patterns'),b['push']('');for(const g of a['relevant_patterns']){b['push']('###\x20'+g['id']+':\x20'+g['pattern_name']),b['push'](''),b['push']('-\x20**Category**:\x20'+g['category']),b['push']('-\x20**Intent**:\x20'+g['semantic_intent']),g['match_keywords']['length']>0x0&&b['push']('-\x20**Keywords**:\x20'+g['match_keywords']['join'](',\x20')),b['push']('');}}if(a['relevant_constraints']['length']>0x0){b['push']('##\x20Relevant\x20Constraints'),b['push']('');for(const i of a['relevant_constraints']){b['push']('-\x20**'+i['id']+'**\x20('+i['category']+',\x20'+(i['on_chain_enforced']?'on-chain':'off-chain')+'):\x20'+i['description']);}b['push']('');}if(a['relevant_risks']['length']>0x0){b['push']('##\x20Relevant\x20Risks'),b['push']('');for(const j of a['relevant_risks']){b['push']('-\x20**'+j['id']+'**\x20['+j['severity']+']\x20'+j['name']+':\x20'+j['description']),b['push']('\x20\x20-\x20Fix:\x20'+j['recommendation']);}b['push']('');}if(a['puzzle_state']&&a['puzzle_completeness']){b['push']('##\x20Puzzle\x20State'),b['push'](''),b['push']('-\x20**Complete**:\x20'+a['puzzle_completeness']['complete']),b['push']('-\x20**Next\x20step**:\x20'+a['puzzle_completeness']['next_step']),b['push'](''),b['push']('###\x20Per-dimension\x20completeness:');for(const k of a['puzzle_completeness']['dimensions']){const l=k['complete']?'✓':'✗';b['push']('\x20\x20-\x20'+l+'\x20'+k['dimension']),!k['complete']&&k['missing_fields']['length']>0x0&&b['push']('\x20\x20\x20\x20-\x20Missing:\x20'+k['missing_fields']['join'](',\x20'));}b['push']('');}a['topology_analysis']&&(b['push']('##\x20Topology\x20Analysis'),b['push'](''),b['push']('```'),b['push'](formatTopologySummary(a['topology_analysis'])),b['push']('```'),b['push'](''));if(a['risk_assessment']){b['push']('##\x20Risk\x20Assessment'),b['push'](''),b['push']('-\x20**Overall\x20level**:\x20'+a['risk_assessment']['overall_level']),b['push']('-\x20**Recommendation**:\x20'+a['risk_assessment']['recommendation']),b['push']('-\x20**Summary**:\x20'+JSON['stringify'](a['risk_assessment']['summary']));if(a['risk_assessment']['detected_risks']['length']>0x0){b['push'](''),b['push']('###\x20Detected\x20risks:');for(const o of a['risk_assessment']['detected_risks']){b['push']('-\x20['+o['severity']+']\x20'+o['name']+':\x20'+o['detail']);}}b['push']('');}if(a['progressive_check_result']){const q=a['progressive_check_result'];b['push']('##\x20Progressive\x20Checklist\x20Result\x20(R5)'),b['push'](''),b['push']('-\x20**Passed**:\x20'+q['passed']);if(q['checked_items']['length']>0x0){b['push'](''),b['push']('###\x20Checked\x20items:');for(const s of q['checked_items']){b['push']('\x20\x20-\x20['+s['status']+']\x20'+s['id']+':\x20'+s['description']),s['detail']&&b['push']('\x20\x20\x20\x20-\x20'+s['detail']);}}b['push']('');}if(a['guard_bridge']){b['push']('##\x20Guard\x20Bridge'),b['push'](''),b['push']('Machine\x20scene\x20`'+a['guard_bridge']['machine_scene_id']+'`\x20relates\x20to:'),b['push']('');for(const u of a['guard_bridge']['forward_guard_mapping']){b['push']('-\x20Forward\x20\x22'+u['forward_purpose']+'\x22\x20→\x20Guard\x20scene\x20`'+u['guard_scene_id']+'`\x20('+u['guard_scene_name']+')');}b['push']('');}if(a['prompt_hints']['length']>0x0){b['push']('##\x20Prompt\x20Hints'),b['push']('');for(const v of a['prompt_hints']){b['push']('-\x20'+v);}b['push']('');}if(a['verification_notes']['length']>0x0){b['push']('##\x20Verification\x20Notes\x20(06\x20§14)'),b['push'](''),b['push']('>\x20These\x20notes\x20reflect\x20code-level\x20verification\x20of\x20on-chain\x20behavior.');for(const w of a['verification_notes']){b['push'](''),b['push']('-\x20**'+w['topic']+'**\x20('+w['judgment']+'):\x20'+w['verified_semantic']),b['push']('\x20\x20-\x20Code\x20reference:\x20`'+w['code_reference']+'`');}b['push']('');}return b['push']('##\x20Recommended\x20Next\x20Action'),b['push'](''),b['push'](a['recommended_next_action']),b['push'](''),b['join']('\x0a');}export function getRelatedGuardScenes(a){const b=findScene(a);if(!b)return[];const c=new Set();for(const d of b['guard_requirements']){c['add'](d['scene']);}return GUARD_SCENES['filter'](e=>c['has'](e['id']));}export function getVerificationNotes(a){if(!a)return MACHINE_VERIFICATION_NOTES;return MACHINE_VERIFICATION_NOTES['filter'](b=>b['affected_modes']['includes'](a));}export function identifyCrossMachineDependency(a,b,c,d){const e=[];for(const f of b['pairs']){const g=f['prev_node']+'->'+f['next_node'];for(const h of f['forwards']){if(!h['guard'])continue;const i=c['get'](h['guard']);if(!i)continue;e['push']({'machine_a_id':a,'machine_b_id':i['upstream_machine_id'],'machine_b_published':d?d['has'](i['upstream_machine_id']):![],'dependency':{'machine_a_forward':g+':'+h['name'],'machine_b_node':i['upstream_node_name']},'guard_query':i['guard_query_description']});}}return e;}export function detectCrossMachineCycle(a){const b=new Map();for(const j of a){if(!b['has'](j['machine_a_id']))b['set'](j['machine_a_id'],new Set());b['get'](j['machine_a_id'])['add'](j['machine_b_id']);if(!b['has'](j['machine_b_id']))b['set'](j['machine_b_id'],new Set());}const c=[],d=0x0,e=0x1,f=0x2,g=new Map();for(const k of b['keys']())g['set'](k,d);const h=[],i=l=>{g['set'](l,e),h['push'](l);const m=b['get'](l)??new Set();for(const n of m){const o=g['get'](n)??d;if(o===e){const p=h['indexOf'](n),q=h['slice'](p)['concat']([n]);c['push'](q);}else o===d&&i(n);}h['pop'](),g['set'](l,f);};for(const l of b['keys']()){g['get'](l)===d&&i(l);}return c;}export function aggregateProjectDependencies(a,b){const c=[];for(const d of a){const e=identifyCrossMachineDependency(d['machine_id'],d['machine_json'],d['guard_resolutions'],b);c['push'](...e);}return c;}function filterPatternsByMode(a,b){switch(b){case'cross_machine':return a['filter'](c=>c['id']==='P-M-CROSS-MACHINE');case'allocation_integration':return a['filter'](c=>c['id']==='P-M-ALLOCATION-INTEGRATED');case'guard_integration':return a['filter'](c=>c['match_keywords']['some'](d=>['guard','validation']['some'](e=>d['toLowerCase']()['includes'](e['toLowerCase']())))||c['semantic_intent']['toLowerCase']()['includes']('guard'));case'post_publish_runtime':return a['filter'](c=>c['category']==='execution'&&['and','or','vote','hybrid']['some'](d=>c['pattern_name']['toLowerCase']()['includes'](d)));default:return a;}}function filterConstraintsByMode(a,b){switch(b){case'initial_design':case'intent_match':return a['filter'](d=>d['category']==='creation');case'mid_design_review':return a['filter'](d=>['creation','structure','node_operation']['includes'](d['category']));case'pre_publish_check':return a['filter'](d=>['publish','structure','node_operation']['includes'](d['category']));case'post_publish_runtime':return a['filter'](d=>d['category']==='runtime');case'cross_machine':return a['filter'](d=>['structure','publish']['includes'](d['category']));case'guard_integration':return a['filter'](d=>d['description']['toLowerCase']()['includes']('guard')||d['description']['toLowerCase']()['includes']('forward'));case'allocation_integration':return a['filter'](d=>d['description']['toLowerCase']()['includes']('allocator')||d['description']['toLowerCase']()['includes']('terminal')||d['description']['toLowerCase']()['includes']('allocation'));default:return a;}}function filterRisksByMode(a,b){switch(b){case'initial_design':case'intent_match':return a['filter'](c=>['structural','permission']['includes'](c['category']));case'mid_design_review':return a['filter'](c=>['structural','guard_integration','permission']['includes'](c['category']));case'pre_publish_check':return a['slice']()['sort']((c,d)=>severityRank(d['severity'])-severityRank(c['severity']));case'post_publish_runtime':return a['filter'](c=>c['category']==='environment');case'cross_machine':return a['filter'](c=>c['category']==='guard_integration');case'guard_integration':return a['filter'](c=>c['category']==='guard_integration');case'allocation_integration':return a['filter'](c=>c['description']['toLowerCase']()['includes']('allocator')||c['description']['toLowerCase']()['includes']('allocation')||c['description']['toLowerCase']()['includes']('terminal'));default:return a;}}function severityRank(a){switch(a){case'critical':return 0x5;case'high':return 0x4;case'medium':return 0x3;case'low':return 0x2;}}function buildGuardBridge(a){const b=new Set(),c=[];for(const e of a['guard_requirements']){b['add'](e['scene']);const f=GUARD_SCENES['find'](h=>h['id']===e['scene']);c['push']({'forward_purpose':e['purpose'],'guard_scene_id':e['scene'],'guard_scene_name':f?.['name']||e['scene']});}const d=GUARD_SCENES['filter'](h=>b['has'](h['id']));return{'machine_scene_id':a['id'],'guard_scenes':d,'forward_guard_mapping':c};}function buildPromptHints(a){const b=[];switch(a['mode']){case'initial_design':case'intent_match':b['push']('Start\x20by\x20confirming\x20the\x20matched\x20scene\x20and\x20selecting\x20a\x20template.');a['matched_scene']&&(b['push']('Scene\x20\x22'+a['matched_scene']['name']+'\x22\x20recommends\x20patterns:\x20'+a['matched_scene']['recommended_patterns']['join'](',\x20')+'.'),a['matched_scene']['first_node_semantics']&&b['push']('First-node\x20semantics:\x20'+a['matched_scene']['first_node_semantics']));b['push']('⚠\x20First\x20node\x20convention:\x20For\x20Service-bound\x20Machines,\x20the\x20entry\x20node\x20(prev_node=\x27\x27\x20target)\x20MUST\x20represent\x20a\x20POST-PAYMENT\x20state\x20(e.g.\x20\x27Paid\x27,\x20\x27DepositPaid\x27).\x20Do\x20NOT\x20add\x20\x27Order\x27/\x27Pay\x27/\x27Reserve\x27/\x27Subscribe\x27\x20nodes\x20—\x20Service.buy()\x20handles\x20payment\x20atomically\x20before\x20Progress\x20is\x20created.');a['suggested_templates']['length']>0x0&&b['push']('Top\x20template\x20suggestion:\x20'+a['suggested_templates'][0x0]['id']+'\x20('+a['suggested_templates'][0x0]['name']+').');break;case'mid_design_review':a['puzzle_completeness']&&(a['puzzle_completeness']['complete']?b['push']('Puzzle\x20is\x20complete.\x20Proceed\x20to\x20pre-publish\x20check.'):b['push']('Puzzle\x20incomplete.\x20Next\x20step:\x20'+a['puzzle_completeness']['next_step']));a['topology_analysis']&&(a['topology_analysis']['has_cycles']&&b['push']('⚠\x20Cycle\x20detected\x20in\x20topology\x20—\x20must\x20fix\x20before\x20publish.'),a['topology_analysis']['orphaned_nodes']['length']>0x0&&b['push']('⚠\x20Orphaned\x20nodes:\x20'+a['topology_analysis']['orphaned_nodes']['join'](',\x20')));break;case'pre_publish_check':if(a['risk_assessment']){if(a['risk_assessment']['overall_level']==='critical')b['push']('⛔\x20CRITICAL\x20risk\x20detected\x20—\x20DO\x20NOT\x20publish\x20until\x20resolved.');else a['risk_assessment']['overall_level']==='high'&&b['push']('⚠\x20HIGH\x20risk\x20—\x20fix\x20before\x20publish\x20or\x20override\x20with\x20explicit\x20reason.');b['push']('Risk\x20recommendation:\x20'+a['risk_assessment']['recommendation']);}if(a['progressive_check_result']){if(!a['progressive_check_result']['passed']){const c=a['progressive_check_result']['checked_items']['filter'](d=>d['status']!=='pass')['map'](d=>d['id']);b['push']('⛔\x20Pre-publish\x20checklist\x20FAILED\x20on:\x20'+(c['join'](',\x20')||'see\x20details'));}else b['push']('✓\x20Pre-publish\x20checklist\x20(R5)\x20passed.');}b['push']('Run\x20full\x20confirmPublish()\x20with\x20user\x20confirmation\x20before\x20any\x20on-chain\x20publish\x20transaction.');break;case'post_publish_runtime':b['push']('Machine\x20is\x20already\x20published\x20—\x20nodes\x20cannot\x20be\x20modified.'),b['push']('Only\x20progress\x20advancement\x20(Forward\x20execution)\x20is\x20possible.');a['topology_analysis']&&b['push']('Current\x20topology:\x20'+(a['topology_analysis']['within_limits']?'within\x20on-chain\x20limits':'EXCEEDS\x20limits'));break;case'cross_machine':b['push']('Cross-Machine\x20dependency\x20is\x20INDIRECT:\x20Machine\x20A\x20queries\x20Machine\x20B\x27s\x20Progress\x20via\x20convert_witness.'),b['push']('Machine\x20B\x20MUST\x20be\x20published\x20before\x20Progress::new\x20can\x20create\x20a\x20Progress\x20for\x20it\x20(assert_published).'),b['push']('Use\x20convert_witness\x20TypeOrderProgress\x20(100)\x20or\x20TypeOrderProgressSession\x20(103)\x20in\x20Guard\x20queries.');break;case'guard_integration':if(a['guard_bridge']){b['push']('This\x20scene\x20integrates\x20with\x20'+a['guard_bridge']['guard_scenes']['length']+'\x20Guard\x20scene(s).');for(const d of a['guard_bridge']['forward_guard_mapping']){b['push']('\x20\x20-\x20Forward\x20\x22'+d['forward_purpose']+'\x22\x20→\x20Guard\x20scene:\x20'+d['guard_scene_name']);}}b['push']('Forward.guard\x20cannot\x20be\x20modified\x20after\x20Machine\x20publish\x20(immutable).'),b['push']('Use\x20machine_forward_guard\x20scene\x20from\x20guard-ledger.ts\x20for\x20Guard\x20design.');break;case'allocation_integration':b['push']('Terminal\x20nodes\x20map\x20to\x20Service\x20order_allocators.'),b['push']('order_allocators\x20is\x20order-sensitive\x20(first-match-wins).'),b['push']('Each\x20Allocator\x20requires\x20a\x20UNIQUE\x20Guard\x20object\x20(no\x20two\x20allocators\x20may\x20share\x20the\x20same\x20Guard).'),b['push']('order_allocators\x20CANNOT\x20be\x20modified\x20after\x20Service\x20publish\x20(immutable).');break;}for(const e of a['verification_notes']){b['push']('[Verified\x20'+e['judgment']+']\x20'+e['topic']+':\x20'+e['verified_semantic']);}return b['push']('On-chain\x20limits:\x20MAX_NODE_COUNT='+MAX_NODE_COUNT+',\x20MAX_NODE_PAIR_COUNT='+MAX_NODE_PAIR_COUNT+',\x20MAX_FORWARD_COUNT='+MAX_FORWARD_COUNT+'.'),b;}function recommendNextAction(a,b){switch(a){case'initial_design':case'intent_match':{if(!b['matched_scene'])return'Ask\x20the\x20user\x20to\x20clarify\x20the\x20business\x20scenario\x20—\x20no\x20scene\x20matched.';if(b['suggested_templates']['length']===0x0)return'Scene\x20\x22'+b['matched_scene']['name']+'\x22\x20matched\x20but\x20no\x20template\x20available\x20—\x20design\x20Machine\x20manually\x20using\x20the\x20scene\x27s\x20recommended\x20patterns.';return'Present\x20template\x20\x22'+b['suggested_templates'][0x0]['id']+'\x22\x20to\x20user.\x20After\x20user\x20confirms,\x20fill\x20parameters\x20and\x20initialize\x20puzzle.';}case'mid_design_review':{if(!b['puzzle_completeness'])return'Initialize\x20puzzle\x20state\x20and\x20re-run\x20injection\x20with\x20existing_puzzle\x20option.';if(b['puzzle_completeness']['complete'])return'Puzzle\x20complete.\x20Proceed\x20to\x20pre_publish_check\x20mode.';return'Complete\x20missing\x20puzzle\x20dimensions:\x20'+b['puzzle_completeness']['next_step'];}case'pre_publish_check':{if(b['progressive_check_result']&&!b['progressive_check_result']['passed']){const c=b['progressive_check_result']['failed_items']['map'](d=>d['id'])['join'](',\x20');return'⛔\x20Pre-publish\x20checklist\x20FAILED\x20on:\x20'+(c||'see\x20checklist\x20result')+'.\x20Fix\x20these\x20items\x20before\x20proceeding.';}if(b['risk_assessment']){if(b['risk_assessment']['overall_level']==='critical')return'⛔\x20CRITICAL\x20risk\x20—\x20DO\x20NOT\x20publish.\x20Fix\x20risks\x20first.';if(b['risk_assessment']['overall_level']==='high')return'⚠\x20HIGH\x20risk\x20—\x20fix\x20risks\x20OR\x20obtain\x20explicit\x20user\x20override\x20with\x20reason.';}return'All\x20checks\x20passed.\x20Present\x20confirmation\x20text\x20to\x20user\x20and\x20obtain\x20explicit\x20approval\x20before\x20publish\x20transaction.';}case'post_publish_runtime':return'Machine\x20is\x20published.\x20Use\x20onchain_operations\x20to\x20execute\x20Forward\x20advancements.\x20Monitor\x20Progress\x20state\x20via\x20query\x20tool.';case'cross_machine':return'Design\x20Machine\x20A\x27s\x20Forward.guard\x20to\x20query\x20Machine\x20B\x27s\x20Progress\x20via\x20convert_witness=100.\x20Ensure\x20Machine\x20B\x20is\x20published\x20first.';case'guard_integration':return'For\x20each\x20Forward.guard\x20binding,\x20design\x20the\x20Guard\x20using\x20the\x20related\x20Guard\x20scene.\x20Use\x20guard-ledger\x20+\x20guard-templates\x20+\x20guard-puzzle\x20modules.';case'allocation_integration':return'Map\x20each\x20terminal\x20node\x20to\x20an\x20Allocator\x20in\x20Service.order_allocators.\x20Each\x20Allocator\x20needs\x20a\x20unique\x20Guard\x20object.\x20Configure\x20sharing.who\x20(prefer\x20Entity\x20over\x20Signer).';default:return'Proceed\x20with\x20current\x20task.';}}export const CONTEXT_PRESETS={'newUserIntent':a=>injectMachineContext(a,'intent_match',{'max_templates':0x2,'max_constraints':0x5,'max_risks':0x3,'include_verification_notes':![],'include_guard_bridge':![]}),'midDesignReview':(a,b)=>injectMachineContext(a,'mid_design_review',{'max_templates':0x1,'max_constraints':0xf,'max_risks':0xa,'include_verification_notes':!![],'include_guard_bridge':![],'existing_puzzle':b}),'prePublishFull':(a,b,c)=>injectMachineContext(a,'pre_publish_check',{'max_templates':0x0,'max_constraints':0x14,'max_risks':0x27,'include_verification_notes':!![],'include_guard_bridge':!![],'existing_machine_json':b,'project_context':c}),'crossMachine':a=>injectMachineContext(a,'cross_machine',{'max_templates':0x2,'max_constraints':0xa,'max_risks':0x8,'include_verification_notes':!![],'include_guard_bridge':!![]}),'guardIntegration':a=>injectMachineContext(a,'guard_integration',{'max_templates':0x1,'max_constraints':0xa,'max_risks':0x8,'include_verification_notes':!![],'include_guard_bridge':!![]}),'allocationIntegration':a=>injectMachineContext(a,'allocation_integration',{'max_templates':0x1,'max_constraints':0x8,'max_risks':0x8,'include_verification_notes':![],'include_guard_bridge':![]})};