@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/deployment-scanner.js

@@ -1,823 +1 @@
-import * as fs from 'fs';
-import { MAX_NODE_COUNT, USER_DEFINED_PERM_INDEX_START, } from "./onchain-constants.js";
-import { traceSubsteps, } from "../project/substep-trace.js";
-import { aggregateProjectRisks, } from "../project/risk-aggregator.js";
-function add(findings, check_id, severity, message, location, suggestion) {
-    findings.push({ check_id, severity, message, location, suggestion });
-}
-function fromDeploymentDocInput(input) {
-    const version = input.version ?? "v1";
-    const namespace_tag = `${input.project_prefix}_${version}`;
-    const topological_order = input.steps.map((s) => s.entry_id);
-    const testnet_blocks = [];
-    const mainnet_blocks = [];
-    for (const step of input.steps) {
-        const phase = step.network_phase;
-        if (phase === "both" || phase === "testnet")
-            testnet_blocks.push(synthesizeBlock(step, input, "testnet"));
-        if (phase === "both" || phase === "mainnet")
-            mainnet_blocks.push(synthesizeBlock(step, input, "mainnet"));
-    }
-    const testnet_verification = new Map();
-    for (let i = 1; i <= 11; i++)
-        testnet_verification.set(`V-T-${String(i).padStart(2, "0")}`, false);
-    const mainnet_verification = new Map();
-    for (let i = 1; i <= 5; i++)
-        mainnet_verification.set(`V-M-${String(i).padStart(2, "0")}`, false);
-    const completeness_checklist = new Map();
-    for (let i = 1; i <= 20; i++)
-        completeness_checklist.set(`D-${String(i).padStart(2, "0")}`, false);
-    return {
-        project_name: input.project_prefix, version, namespace_tag,
-        objects: input.objects ?? [], edges: input.edges ?? [],
-        steps: input.steps ?? [], scenarios: input.scenarios ?? [],
-        testnet_blocks, mainnet_blocks,
-        testnet_verification, mainnet_verification,
-        completeness_checklist, topological_order,
-    };
-}
-function synthesizeBlock(step, input, network) {
-    const obj = input.objects.find((o) => o.entry_id === step.entry_id);
-    const name = obj?.name ?? `${step.object_type}_${step.step}`;
-    const replaceExistName = network === "testnet";
-    const tag = network === "testnet" ? "T" : "M";
-    return {
-        step: step.step,
-        operation_type: step.object_type,
-        data: {
-            object: { name, replaceExistName },
-            description: `${step.operation} ${step.object_type} (step ${step.step})`,
-        },
-        env: {
-            account: `${input.project_prefix}_merchant_${network}`,
-            network, replaceExistName, confirmed: true,
-        },
-        substeps: [{
-                id: `${tag}${step.step}.1`,
-                name: `${step.operation} ${step.object_type}`,
-                inputs: [],
-                outputs: [`${tag}${step.step}.output`],
-            }],
-    };
-}
-function parseDeploymentMarkdown(mdPath) {
-    const content = fs.readFileSync(mdPath, "utf-8");
-    const lines = content.split("\n");
-    const objects = parseTable(lines, "Object List", (r) => ({
-        entry_id: r["entry_id"] ?? "",
-        object_type: r["object_type"],
-        name: r["name"] ?? "",
-        reused_from: r["reused_from"] || undefined,
-        publish_required: r["publish_required"] === "true",
-        description: r["description"] || undefined,
-    })).filter((o) => o.entry_id && o.name);
-    const edges = parseTable(lines, "Dependency Edges", (r) => ({
-        from: r["from"] ?? "",
-        to: r["to"] ?? "",
-        edge_kind: r["edge_kind"] ?? "",
-        field_path: r["field_path"] ?? "",
-        required_at_publish: r["required_at_publish"] === "true",
-    })).filter((e) => e.from && e.to);
-    const scenarios = parseTable(lines, "Scenario Matrix", (r) => ({
-        scenario_id: r["scenario_id"] ?? "",
-        description: r["description"] ?? "",
-        primary_object: r["primary_object"] ?? "",
-        supporting_objects: (r["supporting_objects"] ?? "").split(",").map((s) => s.trim()).filter(Boolean),
-        test_step_refs: r["test_step_refs"] ? r["test_step_refs"].split(",").map((s) => s.trim()).filter(Boolean) : undefined,
-    })).filter((s) => s.scenario_id);
-    const steps = parseTable(lines, "Topological Execution Plan", (r) => {
-        const phase = r["network_phase"] === "testnet" || r["network_phase"] === "mainnet" || r["network_phase"] === "both"
-            ? r["network_phase"]
-            : "both";
-        return {
-            step: parseInt(r["step"] ?? "0", 10) || 0,
-            object_type: r["object_type"],
-            operation: r["operation"] ?? "",
-            substep_count: parseInt(r["substep_count"] ?? "0", 10) || 0,
-            depends_on: (r["depends_on"] ?? "").replace(/[\[\]]/g, "").split(",").map((s) => s.trim()).filter(Boolean).map((n) => parseInt(n, 10) || 0),
-            entry_id: r["entry_id"] ?? "",
-            network_phase: phase,
-        };
-    }).filter((s) => s.step > 0);
-    const allBlocks = extractJsonBlocks(lines);
-    const testnet_blocks = [];
-    const mainnet_blocks = [];
-    for (const b of allBlocks) {
-        if (b.env?.network === "mainnet")
-            mainnet_blocks.push(b);
-        else
-            testnet_blocks.push(b);
-    }
-    const testnet_verification = parseStatusMap(lines, "V-T-");
-    const mainnet_verification = parseStatusMap(lines, "V-M-");
-    const completeness_checklist = parseStatusMap(lines, "D-", "Completeness Checklist");
-    const meta = parseMetaTable(lines);
-    const project_name = meta.get("project_name") ?? deriveProjectFromPath(mdPath);
-    const version = meta.get("version") ?? "v1";
-    const namespace_tag = meta.get("namespace tag") ?? meta.get("namespace_tag") ?? `${project_name}_${version}`;
-    const topological_order = steps.map((s) => s.entry_id);
-    return {
-        project_name, version, namespace_tag,
-        objects, edges, steps, scenarios,
-        testnet_blocks, mainnet_blocks,
-        testnet_verification, mainnet_verification,
-        completeness_checklist, topological_order,
-    };
-}
-function parseTable(lines, headerHint, mapper) {
-    return parseMarkdownTable(lines, headerHint).map(mapper);
-}
-function parseMarkdownTable(lines, headerHint) {
-    const rows = [];
-    for (let i = 0; i < lines.length; i++) {
-        if (!lines[i].includes(headerHint))
-            continue;
-        let headerIdx = -1;
-        for (let k = i; k < Math.min(i + 10, lines.length); k++) {
-            if (lines[k].trim().startsWith("|") && lines[k].includes("|")) {
-                headerIdx = k;
-                break;
-            }
-        }
-        if (headerIdx === -1)
-            break;
-        const headers = splitTableRow(lines[headerIdx]);
-        let rowIdx = headerIdx + 1;
-        if (rowIdx < lines.length && /^\s*\|[\s-:|]+\|\s*$/.test(lines[rowIdx]))
-            rowIdx++;
-        while (rowIdx < lines.length && lines[rowIdx].trim().startsWith("|")) {
-            const cells = splitTableRow(lines[rowIdx]);
-            if (cells.length === 0)
-                break;
-            const row = {};
-            for (let h = 0; h < headers.length; h++)
-                row[headers[h].trim()] = (cells[h] ?? "").trim();
-            rows.push(row);
-            rowIdx++;
-        }
-        break;
-    }
-    return rows;
-}
-function splitTableRow(line) {
-    const trimmed = line.trim();
-    if (!trimmed.startsWith("|"))
-        return [];
-    return trimmed.slice(1, trimmed.endsWith("|") ? -1 : undefined).split("|");
-}
-function parseStatusMap(lines, prefix, hint) {
-    const result = new Map();
-    const rows = hint ? parseMarkdownTable(lines, hint) : parseMarkdownTable(lines, "Verification Checklist");
-    for (const r of rows) {
-        const id = r["verification_id"] ?? r["check_id"] ?? "";
-        if (!id.startsWith(prefix))
-            continue;
-        const status = (r["status"] ?? "").trim();
-        result.set(id, status.includes("✅") || status.toLowerCase().includes("pass"));
-    }
-    return result;
-}
-function parseMetaTable(lines) {
-    const result = new Map();
-    for (const r of parseMarkdownTable(lines, "Project Metadata")) {
-        const key = r["field"] ?? "";
-        const value = r["value"] ?? "";
-        if (key)
-            result.set(key.trim(), value.trim());
-    }
-    return result;
-}
-function extractJsonBlocks(lines) {
-    const blocks = [];
-    let i = 0;
-    while (i < lines.length) {
-        if (lines[i].trim().startsWith("```json")) {
-            const body = [];
-            let j = i + 1;
-            while (j < lines.length && !lines[j].trim().startsWith("```")) {
-                body.push(lines[j]);
-                j++;
-            }
-            try {
-                const parsed = JSON.parse(body.join("\n"));
-                if (parsed && typeof parsed === "object" && "operation_type" in parsed) {
-                    const env = (parsed.env ?? {});
-                    const data = (parsed.data ?? {});
-                    const substepsRaw = parsed.substeps;
-                    const substeps = Array.isArray(substepsRaw) ? substepsRaw.map(normalizeSubstep) : undefined;
-                    blocks.push({
-                        step: typeof parsed.step === "number" ? parsed.step : 0,
-                        operation_type: String(parsed.operation_type ?? ""),
-                        data,
-                        env: {
-                            network: typeof env.network === "string" ? env.network : undefined,
-                            replaceExistName: typeof env.replaceExistName === "boolean" ? env.replaceExistName : undefined,
-                            forceClaim: typeof env.forceClaim === "boolean" ? env.forceClaim : undefined,
-                            confirmed: typeof env.confirmed === "boolean" ? env.confirmed : undefined,
-                            ...env,
-                        },
-                        substeps,
-                    });
-                }
-            }
-            catch { }
-            i = j + 1;
-        }
-        else {
-            i++;
-        }
-    }
-    return blocks;
-}
-function normalizeSubstep(raw) {
-    if (!raw || typeof raw !== "object")
-        return { id: "", inputs: [], outputs: [] };
-    const s = raw;
-    return {
-        id: String(s.id ?? ""),
-        name: typeof s.name === "string" ? s.name : undefined,
-        inputs: Array.isArray(s.inputs) ? s.inputs.map(String) : [],
-        outputs: Array.isArray(s.outputs) ? s.outputs.map(String) : [],
-    };
-}
-function deriveProjectFromPath(mdPath) {
-    const base = mdPath.split(/[\\/]/).pop() ?? "project";
-    return base.replace(/_v\d+_deployment\.md$/i, "").replace(/\.md$/i, "");
-}
-function* walkPermissionIndices(value) {
-    if (value === null || value === undefined || typeof value !== "object")
-        return;
-    if (Array.isArray(value)) {
-        for (const v of value)
-            yield* walkPermissionIndices(v);
-        return;
-    }
-    const obj = value;
-    if (typeof obj.permissionIndex === "number")
-        yield obj.permissionIndex;
-    if (typeof obj.permission_index === "number")
-        yield obj.permission_index;
-    if (typeof obj.index === "number" && obj.__isPermission === true)
-        yield obj.index;
-    for (const v of Object.values(obj))
-        yield* walkPermissionIndices(v);
-}
-function countMachineNodes(block) {
-    const node = block.data?.node;
-    const nodes = node?.nodes;
-    return Array.isArray(nodes) ? nodes.length : 0;
-}
-function deriveEntryIdFromBlock(block, doc) {
-    const obj = block.data.object;
-    let name;
-    if (typeof obj === "string")
-        name = obj;
-    else if (obj && typeof obj === "object") {
-        const o = obj;
-        if (typeof o.name === "string")
-            name = o.name;
-    }
-    if (!name)
-        return undefined;
-    return doc.objects.find((o) => o.name === name)?.entry_id;
-}
-export function analyzeObjectDependencyCompleteness(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc) {
-            add(findings, "D-01", "critical", "No deployment document provided (need document_path or deployment_doc)");
-            return findings;
-        }
-        const definedIds = new Set(doc.objects.map((o) => o.entry_id));
-        const referencedIds = new Set();
-        for (const e of doc.edges) {
-            referencedIds.add(e.from);
-            referencedIds.add(e.to);
-        }
-        for (const ref of referencedIds) {
-            if (ref.endsWith(":*"))
-                continue;
-            if (!definedIds.has(ref)) {
-                add(findings, "D-01", "critical", `Object '${ref}' is referenced in §1.2 but not defined in §1.1`, "§1.2 Dependency Edges", `Add '${ref}' to §1.1 Object List or remove the reference.`);
-            }
-        }
-        for (const e of doc.edges) {
-            const fromOk = definedIds.has(e.from) || e.from.endsWith(":*");
-            const toOk = definedIds.has(e.to) || e.to.endsWith(":*");
-            if (!fromOk || !toOk) {
-                add(findings, "D-02", "critical", `Dangling dependency: ${e.from} → ${e.to} (edge_kind='${e.edge_kind}')`, "§1.2 Dependency Edges", "Create the missing object or remove the edge.");
-            }
-        }
-        for (const g of doc.objects.filter((o) => o.object_type === "guard")) {
-            const hasCreate = doc.testnet_blocks.some((b) => b.operation_type === "guard" &&
-                b.data.object?.name === g.name);
-            const hasGenPassport = doc.testnet_blocks.some((b) => b.operation_type === "passport" || b.data.gen_passport === true || b.data.object === g.name);
-            if (!hasCreate)
-                add(findings, "D-08", "critical", `Guard '${g.entry_id}' has no create step in §3.2`, `§3.2 (guard: ${g.name})`, `Add a guard creation JSON block for '${g.name}'.`);
-            if (!hasGenPassport)
-                add(findings, "D-08", "critical", `Guard '${g.entry_id}' has no gen_passport step in §3.2`, `§3.2 (guard: ${g.name})`, `Add a passport/gen_passport JSON block after the guard creation step.`);
-        }
-    }
-    catch (err) {
-        add(findings, "D-01", "warning", `analyzeObjectDependencyCompleteness failed: ${err.message}`);
-    }
-    return findings;
-}
-export function analyzeSubstepCoherence(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc)
-            return [];
-        for (const network of ["testnet", "mainnet"]) {
-            const substeps = collectSubsteps(network === "testnet" ? doc.testnet_blocks : doc.mainnet_blocks, network);
-            const result = traceSubsteps({
-                project_prefix: doc.project_name, version: doc.version, network, substeps,
-            });
-            emitCoherenceFindings(result, network, findings);
-        }
-    }
-    catch (err) {
-        add(findings, "D-10", "warning", `analyzeSubstepCoherence failed: ${err.message}`);
-    }
-    return findings;
-}
-function collectSubsteps(blocks, network) {
-    const records = [];
-    const tag = network === "testnet" ? "T" : "M";
-    for (const block of blocks) {
-        if (!block.substeps)
-            continue;
-        const parentStep = `${tag}${block.step}`;
-        for (const s of block.substeps) {
-            if (!s.id)
-                continue;
-            records.push({
-                step_id: s.id, parent_step: parentStep,
-                object_type: block.operation_type,
-                entry_id: "", operation_type: block.operation_type, network,
-                input: { data: block.data, input_refs: s.inputs },
-                timestamp: 0, status: "PENDING",
-                dependencies: {
-                    input_refs: s.inputs,
-                    output_refs: s.outputs.map((field_path) => ({ substep_id: s.id, field_path })),
-                },
-            });
-        }
-    }
-    return records;
-}
-function emitCoherenceFindings(result, network, findings) {
-    for (const d of result.dangling_inputs) {
-        add(findings, "D-10", "critical", `[${network}] Dangling input: substep '${d.substep_id}' references missing '${d.missing_ref}'`, `${network} §substeps`, `Ensure '${d.missing_ref}' is produced by an earlier substep.`);
-    }
-    for (const c of result.circular_refs) {
-        add(findings, "D-10", "critical", `[${network}] Circular reference: ${c.cycle.join(" → ")}`, `${network} §substeps`, "Break the cycle by removing one dependency.");
-    }
-    for (const m of result.missing_outputs) {
-        add(findings, "D-10", "warning", `[${network}] Missing output: substep '${m.substep_id}' did not produce '${m.expected_field}'`, `${network} §substeps`, `Ensure '${m.substep_id}' produces '${m.expected_field}'.`);
-    }
-    for (const b of result.cross_step_breaks) {
-        add(findings, "D-10", "critical", `[${network}] Cross-step break: failed step '${b.source_step}' blocks '${b.target_step}'`, `${network} §substeps`, `Fix step '${b.source_step}' or adjust the dependency.`);
-    }
-}
-export function analyzeNetworkConsistency(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc)
-            return [];
-        const testnetBlocks = doc.testnet_blocks;
-        const mainnetBlocks = doc.mainnet_blocks;
-        const expectedOrder = doc.topological_order;
-        if (expectedOrder.length > 0 && testnetBlocks.length > 0) {
-            for (let i = 0; i < testnetBlocks.length; i++) {
-                const expected = expectedOrder[i];
-                if (!expected)
-                    break;
-                const blockEntryId = deriveEntryIdFromBlock(testnetBlocks[i], doc);
-                if (blockEntryId && blockEntryId !== expected) {
-                    add(findings, "D-04", "critical", `testnet step ${testnetBlocks[i].step} order mismatch: expected '${expected}', got '${blockEntryId}'`, "§3.2 testnet JSON Operation Sequence", "Reorder testnet JSON blocks to match §2 topological order.");
-                    break;
-                }
-            }
-        }
-        for (const b of testnetBlocks) {
-            if (b.env.network !== "testnet")
-                add(findings, "D-05", "critical", `testnet step ${b.step} env.network is '${b.env.network ?? "(missing)"}', expected 'testnet'`, `§3.2 step ${b.step}`, "Set env.network = 'testnet' on all §3.2 JSON blocks.");
-        }
-        for (const b of testnetBlocks) {
-            if (b.env.replaceExistName !== true)
-                add(findings, "D-06", "critical", `testnet step ${b.step} env.replaceExistName is '${b.env.replaceExistName ?? "(missing)"}', expected true`, `§3.2 step ${b.step}`, "Set env.replaceExistName = true on all §3.2 JSON blocks (testnet allows overwrite).");
-        }
-        if (testnetBlocks.length !== mainnetBlocks.length) {
-            add(findings, "D-11", "critical", `mainnet step count (${mainnetBlocks.length}) != testnet step count (${testnetBlocks.length})`, "§3.2 vs §4.2", "Ensure mainnet JSON blocks correspond 1:1 with testnet blocks.");
-        }
-        else {
-            for (let i = 0; i < mainnetBlocks.length; i++) {
-                const t = testnetBlocks[i];
-                const m = mainnetBlocks[i];
-                if (t.step !== m.step)
-                    add(findings, "D-11", "critical", `mainnet step ${m.step} does not match testnet step ${t.step}`, `§4.2 step ${m.step}`, "Ensure mainnet step numbers match testnet.");
-                if (t.operation_type !== m.operation_type)
-                    add(findings, "D-11", "critical", `step ${m.step} operation_type mismatch: testnet='${t.operation_type}', mainnet='${m.operation_type}'`, `§4.2 step ${m.step}`, "Align mainnet operation_type with testnet.");
-            }
-        }
-        for (const b of mainnetBlocks) {
-            if (b.env.network !== "mainnet")
-                add(findings, "D-12", "critical", `mainnet step ${b.step} env.network is '${b.env.network ?? "(missing)"}', expected 'mainnet'`, `§4.2 step ${b.step}`, "Set env.network = 'mainnet' on all §4.2 JSON blocks.");
-        }
-        for (const b of mainnetBlocks) {
-            if (b.env.replaceExistName !== false && !b.env.forceClaim)
-                add(findings, "D-13", "critical", `mainnet step ${b.step} env.replaceExistName is '${b.env.replaceExistName ?? "(missing)"}', expected false (or set forceClaim=true)`, `§4.2 step ${b.step}`, "Set env.replaceExistName = false on all §4.2 JSON blocks (mainnet must not overwrite).");
-        }
-    }
-    catch (err) {
-        add(findings, "D-04", "warning", `analyzeNetworkConsistency failed: ${err.message}`);
-    }
-    return findings;
-}
-const NAME_REGEX = /^[a-z][a-z0-9_]{2,63}$/;
-export function analyzeNamingConvention(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc)
-            return [];
-        const prefix = doc.project_name;
-        const versionSuffix = `_${doc.version}`;
-        for (const obj of doc.objects) {
-            if (obj.reused_from)
-                continue;
-            if (!NAME_REGEX.test(obj.name)) {
-                add(findings, "NAMING-01", "warning", `Object '${obj.entry_id}' name '${obj.name}' does not match ${NAME_REGEX}`, `§1.1 (${obj.entry_id})`, `Rename to match ^[a-z][a-z0-9_]{2,63}$ and start with project prefix '${prefix}'.`);
-            }
-            else if (prefix && !obj.name.startsWith(`${prefix}_`)) {
-                add(findings, "NAMING-01", "warning", `Object '${obj.entry_id}' name '${obj.name}' does not start with project prefix '${prefix}_'`, `§1.1 (${obj.entry_id})`, `Rename to start with '${prefix}_'.`);
-            }
-            if (versionSuffix && !obj.name.endsWith(versionSuffix)) {
-                add(findings, "NAMING-02", "warning", `Object '${obj.entry_id}' name '${obj.name}' is missing version suffix '${versionSuffix}'`, `§1.1 (${obj.entry_id})`, `Append '${versionSuffix}' to the name.`);
-            }
-        }
-    }
-    catch (err) {
-        add(findings, "NAMING-01", "warning", `analyzeNamingConvention failed: ${err.message}`);
-    }
-    return findings;
-}
-export function analyzePermissionIndexRange(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc)
-            return [];
-        const allBlocks = [...doc.testnet_blocks, ...doc.mainnet_blocks];
-        for (const block of allBlocks) {
-            for (const idx of walkPermissionIndices(block.data)) {
-                if (idx < USER_DEFINED_PERM_INDEX_START)
-                    add(findings, "D-07", "critical", `permissionIndex ${idx} < ${USER_DEFINED_PERM_INDEX_START} (USER_DEFINED_PERM_INDEX_START) in step ${block.step} (${block.operation_type})`, `${block.env.network ?? "?"} step ${block.step}`, `Use a permissionIndex >= ${USER_DEFINED_PERM_INDEX_START}.`);
-            }
-        }
-        for (const block of allBlocks) {
-            if (block.operation_type !== "machine")
-                continue;
-            const count = countMachineNodes(block);
-            if (count > MAX_NODE_COUNT)
-                add(findings, "D-09", "critical", `Machine in step ${block.step} has ${count} nodes > MAX_NODE_COUNT (${MAX_NODE_COUNT})`, `${block.env.network ?? "?"} step ${block.step}`, `Reduce node count to <= ${MAX_NODE_COUNT} or split into multiple Machines.`);
-        }
-    }
-    catch (err) {
-        add(findings, "D-07", "warning", `analyzePermissionIndexRange failed: ${err.message}`);
-    }
-    return findings;
-}
-const REQUIRED_SCENARIO_KEYWORDS = ["normal_order", "refund", "dispute", "machine_publish", "service_publish"];
-export function analyzeScenarioCoverage(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc)
-            return [];
-        const coveredKeywords = new Set();
-        for (const s of doc.scenarios) {
-            const text = `${s.scenario_id} ${s.description}`.toLowerCase();
-            for (const kw of REQUIRED_SCENARIO_KEYWORDS) {
-                if (text.includes(kw.toLowerCase()))
-                    coveredKeywords.add(kw);
-            }
-        }
-        if (coveredKeywords.size < 3) {
-            const missing = REQUIRED_SCENARIO_KEYWORDS.filter((k) => !coveredKeywords.has(k));
-            add(findings, "D-03", "warning", `Scenario matrix covers ${coveredKeywords.size}/${REQUIRED_SCENARIO_KEYWORDS.length} required keywords; missing: ${missing.join(", ")}`, "§1.3 Scenario Matrix", "Add scenarios covering the missing keywords (normal_order, refund, dispute, machine_publish, service_publish).");
-        }
-        const definedIds = new Set(doc.objects.map((o) => o.entry_id));
-        for (const s of doc.scenarios) {
-            const refs = [s.primary_object, ...s.supporting_objects];
-            for (const ref of refs) {
-                if (ref.endsWith(":*"))
-                    continue;
-                if (!definedIds.has(ref))
-                    add(findings, "D-03", "warning", `Scenario '${s.scenario_id}' references undefined object '${ref}'`, `§1.3 (${s.scenario_id})`, `Add '${ref}' to §1.1 or fix the scenario reference.`);
-            }
-        }
-    }
-    catch (err) {
-        add(findings, "D-03", "warning", `analyzeScenarioCoverage failed: ${err.message}`);
-    }
-    return findings;
-}
-const TESTNET_VERIFICATION_ITEMS = ["V-T-01", "V-T-02", "V-T-03", "V-T-04", "V-T-05", "V-T-06", "V-T-07", "V-T-08", "V-T-09", "V-T-10", "V-T-11"];
-const MAINNET_VERIFICATION_ITEMS = ["V-M-01", "V-M-02", "V-M-03", "V-M-04", "V-M-05"];
-const COMPLETENESS_CHECK_IDS = Array.from({ length: 20 }, (_, i) => `D-${String(i + 1).padStart(2, "0")}`);
-export function analyzeVerificationChecklist(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc)
-            return [];
-        for (const id of TESTNET_VERIFICATION_ITEMS) {
-            if (!doc.testnet_verification.has(id))
-                add(findings, "D-14", "warning", `testnet verification item '${id}' is missing from §3.3`, "§3.3 testnet Verification Checklist", `Add row '${id}' to §3.3.`);
-        }
-        for (const id of MAINNET_VERIFICATION_ITEMS) {
-            if (!doc.mainnet_verification.has(id))
-                add(findings, "D-15", "warning", `mainnet verification item '${id}' is missing from §4.3`, "§4.3 mainnet Verification Checklist", `Add row '${id}' to §4.3.`);
-        }
-        for (const id of COMPLETENESS_CHECK_IDS) {
-            if (!doc.completeness_checklist.has(id))
-                add(findings, "D-18", "warning", `completeness checklist item '${id}' is missing from §6`, "§6 Completeness Checklist", `Add row '${id}' to §6.`);
-        }
-    }
-    catch (err) {
-        add(findings, "D-14", "warning", `analyzeVerificationChecklist failed: ${err.message}`);
-    }
-    return findings;
-}
-export function analyzeDeployableReadiness(input) {
-    const findings = [];
-    try {
-        const riskResult = resolveRiskResult(input);
-        if (!riskResult) {
-            add(findings, "D-16", "info", "Risk aggregation result not available; D-16/D-17 skipped (provide project_graph with puzzles, or set deployment_doc.risk_status).", undefined, "Run C2 risk-aggregator first, or provide deployment_doc.risk_status.");
-            return findings;
-        }
-        const criticalCount = riskResult.severity_summary.CRITICAL ?? 0;
-        if (criticalCount > 0) {
-            const ruleIds = riskResult.findings.filter((f) => f.severity === "CRITICAL").map((f) => f.risk_rule_id).join(", ");
-            add(findings, "D-16", "critical", `${criticalCount} CRITICAL risk(s) remain: ${ruleIds}`, "C2 risk-aggregator output", "Return to stage 2 (business puzzle) and fix all CRITICAL risks before deploying.");
-        }
-        const confirmedHighs = new Set(input.user_confirmed_high_risks ?? []);
-        const unconfirmedHighs = riskResult.findings.filter((f) => f.severity === "HIGH" && !confirmedHighs.has(f.risk_rule_id));
-        if (unconfirmedHighs.length > 0) {
-            const ruleIds = unconfirmedHighs.map((f) => f.risk_rule_id).join(", ");
-            add(findings, "D-17", "critical", `${unconfirmedHighs.length} unconfirmed HIGH risk(s): ${ruleIds}`, "C2 risk-aggregator output", "User must confirm each HIGH risk (ACCEPT_AND_PROCEED) or fix them.");
-        }
-    }
-    catch (err) {
-        add(findings, "D-16", "warning", `analyzeDeployableReadiness failed: ${err.message}`);
-    }
-    return findings;
-}
-function resolveRiskResult(input) {
-    const pg = input.project_graph;
-    if (pg && typeof pg === "object") {
-        const obj = pg;
-        if (typeof obj.severity_summary === "object" && Array.isArray(obj.findings)) {
-            return pg;
-        }
-        if (typeof obj.project_prefix === "string" && typeof obj.puzzles === "object") {
-            try {
-                return aggregateProjectRisks(pg);
-            }
-            catch { }
-        }
-    }
-    const dd = input.deployment_doc;
-    if (dd && dd.risk_status) {
-        const critical = dd.risk_critical_count ?? 0;
-        const high = dd.risk_high_count ?? 0;
-        const findings = [];
-        for (let i = 0; i < critical; i++)
-            findings.push({
-                risk_rule_id: `R-CRITICAL-${i}`, object_type: "service", entry_id: "*",
-                severity: "CRITICAL",
-                message: "(synthesized from deployment_doc.risk_critical_count)",
-                fix_suggestion: "See C2 risk-aggregator report for details.",
-            });
-        for (let i = 0; i < high; i++)
-            findings.push({
-                risk_rule_id: `R-HIGH-${i}`, object_type: "service", entry_id: "*",
-                severity: "HIGH",
-                message: "(synthesized from deployment_doc.risk_high_count)",
-                fix_suggestion: "See C2 risk-aggregator report for details.",
-            });
-        return {
-            namespace: { prefix: dd.project_prefix, version: dd.version, industry: dd.industry },
-            findings,
-            severity_summary: { CRITICAL: critical, HIGH: high, MEDIUM: 0, LOW: 0, INFO: 0 },
-            status: dd.risk_status,
-            calibrated_at: Date.now(),
-            warnings: [],
-        };
-    }
-    return undefined;
-}
-function extractMachinePairs(block) {
-    const data = block.data;
-    if (!data)
-        return [];
-    const node = data.node;
-    if (!node || typeof node !== "object")
-        return [];
-    const nodes = node.nodes;
-    if (!Array.isArray(nodes))
-        return [];
-    return nodes.filter((n) => {
-        if (!n || typeof n !== "object")
-            return false;
-        const pairs = n.pairs;
-        return Array.isArray(pairs);
-    }).flatMap((n) => n.pairs ?? []);
-}
-export function analyzeMachineAndServiceReadiness(input) {
-    const findings = [];
-    try {
-        const doc = normalizeInput(input);
-        if (!doc)
-            return [];
-        const allBlocks = [...doc.testnet_blocks, ...doc.mainnet_blocks];
-        for (const block of allBlocks) {
-            if (block.operation_type !== "machine")
-                continue;
-            const pairs = extractMachinePairs(block);
-            if (pairs.length === 0)
-                continue;
-            const entryPairs = pairs.filter((p) => p.prev_node === "");
-            for (const pair of entryPairs) {
-                const forwardsLen = Array.isArray(pair.forwards) ? pair.forwards.length : 0;
-                if (forwardsLen === 0) {
-                    add(findings, "D-19", "critical", `Machine in step ${block.step} (${block.env.network ?? "?"}) has an entry node (prev_node="") with no forwards. ` +
-                        `Progress created from this Machine will be permanently stuck at current="" (P0-2 root cause).`, `${block.env.network ?? "?"} step ${block.step}`, `Add at least one forward to the entry node's pairs. Example: pairs: [{prev_node: "", forwards: [{next_node: "Ordered", ...}]}]`);
-                }
-            }
-        }
-        const serviceBlocks = allBlocks.filter((b) => b.operation_type === "service");
-        if (serviceBlocks.length > 0) {
-            const blocksWithFundAdd = serviceBlocks.filter((b) => {
-                const data = b.data;
-                return data?.compensation_fund_add != null;
-            });
-            if (blocksWithFundAdd.length === 0) {
-                add(findings, "D-20", "warning", `No Service block in the deployment doc includes a compensation_fund_add step. ` +
-                    `Without deposit, arbitration rulings that award refunds to buyers cannot be paid out from the Service. ` +
-                    `Industries like freelance may not require this (info), but rental/travel/education typically do.`, "§3.2 / §4.2 Service blocks", `Add a compensation_fund_add step for the Service (e.g., data.compensation_fund_add = {balance: <amount>}). ` +
-                    `Recommended: 3-10× the max single-order amount, depending on industry (subscription: 3×, retail: 5×, rental: 10×). See P1-1 evaluation rule.`);
-            }
-        }
-    }
-    catch (err) {
-        add(findings, "D-19", "warning", `analyzeMachineAndServiceReadiness failed: ${err.message}`);
-    }
-    return findings;
-}
-export function scanDeployment(input) {
-    const allFindings = [
-        ...analyzeObjectDependencyCompleteness(input),
-        ...analyzeSubstepCoherence(input),
-        ...analyzeNetworkConsistency(input),
-        ...analyzeNamingConvention(input),
-        ...analyzePermissionIndexRange(input),
-        ...analyzeScenarioCoverage(input),
-        ...analyzeVerificationChecklist(input),
-        ...analyzeDeployableReadiness(input),
-        ...analyzeMachineAndServiceReadiness(input),
-    ];
-    return {
-        project_name: input.project_name,
-        document_path: input.document_path,
-        overall_readiness: computeReadiness(allFindings),
-        findings: allFindings,
-        coverage: computeCoverage(input),
-        checks: computeChecks(allFindings),
-        scanned_at: Date.now(),
-        scanner_version: DEPLOYMENT_SCANNER_VERSION,
-    };
-}
-function computeChecks(findings) {
-    const has = (id) => findings.some((f) => f.check_id === id);
-    return {
-        D01_object_defined: has("D-01") ? "fail" : "pass",
-        D02_dependency_complete: has("D-02") ? "fail" : "pass",
-        D03_scenario_covered: has("D-03") ? "fail" : "pass",
-        D04_testnet_topo_order: has("D-04") ? "fail" : "pass",
-        D05_testnet_network: has("D-05") ? "fail" : "pass",
-        D06_testnet_replace: has("D-06") ? "fail" : "pass",
-        D07_permission_index: has("D-07") ? "fail" : "pass",
-        D08_guard_gen_passport: has("D-08") ? "fail" : "pass",
-        D09_machine_node_count: has("D-09") ? "fail" : "pass",
-        D10_substep_coherence: has("D-10") ? "fail" : "pass",
-        D11_mainnet_testnet_match: has("D-11") ? "fail" : "pass",
-        D12_mainnet_network: has("D-12") ? "fail" : "pass",
-        D13_mainnet_replace: has("D-13") ? "fail" : "pass",
-        D14_testnet_verification: has("D-14") ? "fail" : "pass",
-        D15_mainnet_verification: has("D-15") ? "fail" : "pass",
-        D16_no_critical_risk: has("D-16") ? "fail" : "pass",
-        D17_no_high_risk: has("D-17") ? "fail" : "pass",
-        D18_completeness_checklist: has("D-18") ? "fail" : "pass",
-        D19_machine_entry_forward: has("D-19") ? "fail" : "pass",
-        D20_service_compensation_fund: has("D-20") ? "fail" : "pass",
-    };
-}
-function computeCoverage(input) {
-    const doc = normalizeInput(input);
-    if (!doc) {
-        return { objects_defined: 0, objects_with_scenario: 0, testnet_steps: 0, mainnet_steps: 0, verification_items: 0 };
-    }
-    const scenarioObjectIds = new Set();
-    for (const s of doc.scenarios) {
-        scenarioObjectIds.add(s.primary_object);
-        for (const o of s.supporting_objects)
-            scenarioObjectIds.add(o);
-    }
-    const objects_with_scenario = doc.objects.filter((o) => scenarioObjectIds.has(o.entry_id) || scenarioObjectIds.has(`${o.object_type}:*`)).length;
-    return {
-        objects_defined: doc.objects.length,
-        objects_with_scenario,
-        testnet_steps: doc.testnet_blocks.length,
-        mainnet_steps: doc.mainnet_blocks.length,
-        verification_items: doc.testnet_verification.size + doc.mainnet_verification.size,
-    };
-}
-function computeReadiness(findings) {
-    const dFindings = findings.filter((f) => f.check_id.startsWith("D-"));
-    if (dFindings.some((f) => f.severity === "critical"))
-        return "blocked";
-    if (dFindings.some((f) => f.severity === "warning"))
-        return "warnings";
-    return "ready";
-}
-function normalizeInput(input) {
-    if (input.deployment_doc)
-        return fromDeploymentDocInput(input.deployment_doc);
-    if (input.document_path) {
-        if (!fs.existsSync(input.document_path))
-            return undefined;
-        return parseDeploymentMarkdown(input.document_path);
-    }
-    return undefined;
-}
-export function isReady(scan) {
-    return scan.overall_readiness === "ready";
-}
-export function isBlocked(scan) {
-    return scan.overall_readiness === "blocked";
-}
-export function summarizeScan(scan) {
-    const L = [];
-    L.push(`# Deployment Scan Report — ${scan.project_name}`, "");
-    L.push(`- **Overall readiness**: ${scan.overall_readiness}`);
-    L.push(`- **Scanned at**: ${new Date(scan.scanned_at).toISOString()}`);
-    L.push(`- **Scanner version**: ${scan.scanner_version}`);
-    if (scan.document_path)
-        L.push(`- **Document**: ${scan.document_path}`);
-    L.push("", "## Coverage", "", "| Metric | Count |", "|--------|-------|");
-    L.push(`| Objects defined | ${scan.coverage.objects_defined} |`);
-    L.push(`| Objects with scenario | ${scan.coverage.objects_with_scenario} |`);
-    L.push(`| testnet steps | ${scan.coverage.testnet_steps} |`);
-    L.push(`| mainnet steps | ${scan.coverage.mainnet_steps} |`);
-    L.push(`| verification items | ${scan.coverage.verification_items} |`, "");
-    L.push("## Checks (D-01 ~ D-20)", "", "| Check ID | Status |", "|----------|--------|");
-    const entries = Object.entries(scan.checks);
-    for (const [id, status] of entries)
-        L.push(`| ${id} | ${status === "pass" ? "✅ pass" : "❌ fail"} |`);
-    L.push("", `## Findings (${scan.findings.length})`, "");
-    if (scan.findings.length === 0) {
-        L.push("✅ No issues detected.", "");
-    }
-    else {
-        const bySeverity = new Map();
-        for (const f of scan.findings) {
-            const list = bySeverity.get(f.severity) ?? [];
-            list.push(f);
-            bySeverity.set(f.severity, list);
-        }
-        for (const sev of ["critical", "warning", "info"]) {
-            const list = bySeverity.get(sev);
-            if (!list || list.length === 0)
-                continue;
-            L.push(`### ${sev.toUpperCase()} (${list.length})`, "");
-            for (const f of list) {
-                L.push(`- **[${f.check_id}]** ${f.message}`);
-                if (f.location)
-                    L.push(`  - Location: ${f.location}`);
-                if (f.suggestion)
-                    L.push(`  - Suggestion: ${f.suggestion}`);
-                L.push("");
-            }
-        }
-    }
-    L.push("---", "", "*End of report.*");
-    return L.join("\n");
-}
-export const DEPLOYMENT_SCANNER_VERSION = "2.0.0";
+import*as a82a from'fs';import{MAX_NODE_COUNT,USER_DEFINED_PERM_INDEX_START}from'./onchain-constants.js';import{traceSubsteps}from'../project/substep-trace.js';import{aggregateProjectRisks}from'../project/risk-aggregator.js';function add(a,b,c,d,e,f){a['push']({'check_id':b,'severity':c,'message':d,'location':e,'suggestion':f});}function fromDeploymentDocInput(a){const b=a['version']??'v1',c=a['project_prefix']+'_'+b,d=a['steps']['map'](k=>k['entry_id']),e=[],f=[];for(const k of a['steps']){const l=k['network_phase'];if(l==='both'||l==='testnet')e['push'](synthesizeBlock(k,a,'testnet'));if(l==='both'||l==='mainnet')f['push'](synthesizeBlock(k,a,'mainnet'));}const g=new Map();for(let m=0x1;m<=0xb;m++)g['set']('V-T-'+String(m)['padStart'](0x2,'0'),![]);const h=new Map();for(let n=0x1;n<=0x5;n++)h['set']('V-M-'+String(n)['padStart'](0x2,'0'),![]);const j=new Map();for(let o=0x1;o<=0x14;o++)j['set']('D-'+String(o)['padStart'](0x2,'0'),![]);return{'project_name':a['project_prefix'],'version':b,'namespace_tag':c,'objects':a['objects']??[],'edges':a['edges']??[],'steps':a['steps']??[],'scenarios':a['scenarios']??[],'testnet_blocks':e,'mainnet_blocks':f,'testnet_verification':g,'mainnet_verification':h,'completeness_checklist':j,'topological_order':d};}function synthesizeBlock(a,b,c){const d=b['objects']['find'](h=>h['entry_id']===a['entry_id']),e=d?.['name']??a['object_type']+'_'+a['step'],f=c==='testnet',g=c==='testnet'?'T':'M';return{'step':a['step'],'operation_type':a['object_type'],'data':{'object':{'name':e,'replaceExistName':f},'description':a['operation']+'\x20'+a['object_type']+'\x20(step\x20'+a['step']+')'},'env':{'account':b['project_prefix']+'_merchant_'+c,'network':c,'replaceExistName':f,'confirmed':!![]},'substeps':[{'id':''+g+a['step']+'.1','name':a['operation']+'\x20'+a['object_type'],'inputs':[],'outputs':[''+g+a['step']+'.output']}]};}function parseDeploymentMarkdown(a){const c=a82a['readFileSync'](a,'utf-8'),d=c['split']('\x0a'),e=parseTable(d,'Object\x20List',t=>({'entry_id':t['entry_id']??'','object_type':t['object_type'],'name':t['name']??'','reused_from':t['reused_from']||undefined,'publish_required':t['publish_required']==='true','description':t['description']||undefined}))['filter'](t=>t['entry_id']&&t['name']),f=parseTable(d,'Dependency\x20Edges',t=>({'from':t['from']??'','to':t['to']??'','edge_kind':t['edge_kind']??'','field_path':t['field_path']??'','required_at_publish':t['required_at_publish']==='true'}))['filter'](t=>t['from']&&t['to']),g=parseTable(d,'Scenario\x20Matrix',t=>({'scenario_id':t['scenario_id']??'','description':t['description']??'','primary_object':t['primary_object']??'','supporting_objects':(t['supporting_objects']??'')['split'](',')['map'](u=>u['trim']())['filter'](Boolean),'test_step_refs':t['test_step_refs']?t['test_step_refs']['split'](',')['map'](u=>u['trim']())['filter'](Boolean):undefined}))['filter'](t=>t['scenario_id']),h=parseTable(d,'Topological\x20Execution\x20Plan',t=>{const u=t['network_phase']==='testnet'||t['network_phase']==='mainnet'||t['network_phase']==='both'?t['network_phase']:'both';return{'step':parseInt(t['step']??'0',0xa)||0x0,'object_type':t['object_type'],'operation':t['operation']??'','substep_count':parseInt(t['substep_count']??'0',0xa)||0x0,'depends_on':(t['depends_on']??'')['replace'](/[\[\]]/g,'')['split'](',')['map'](v=>v['trim']())['filter'](Boolean)['map'](v=>parseInt(v,0xa)||0x0),'entry_id':t['entry_id']??'','network_phase':u};})['filter'](t=>t['step']>0x0),i=extractJsonBlocks(d),j=[],k=[];for(const t of i){if(t['env']?.['network']==='mainnet')k['push'](t);else j['push'](t);}const l=parseStatusMap(d,'V-T-'),m=parseStatusMap(d,'V-M-'),n=parseStatusMap(d,'D-','Completeness\x20Checklist'),o=parseMetaTable(d),p=o['get']('project_name')??deriveProjectFromPath(a),q=o['get']('version')??'v1',r=o['get']('namespace\x20tag')??o['get']('namespace_tag')??p+'_'+q,s=h['map'](u=>u['entry_id']);return{'project_name':p,'version':q,'namespace_tag':r,'objects':e,'edges':f,'steps':h,'scenarios':g,'testnet_blocks':j,'mainnet_blocks':k,'testnet_verification':l,'mainnet_verification':m,'completeness_checklist':n,'topological_order':s};}function parseTable(a,b,c){return parseMarkdownTable(a,b)['map'](c);}function parseMarkdownTable(a,b){const c=[];for(let d=0x0;d<a['length'];d++){if(!a[d]['includes'](b))continue;let e=-0x1;for(let j=d;j<Math['min'](d+0xa,a['length']);j++){if(a[j]['trim']()['startsWith']('|')&&a[j]['includes']('|')){e=j;break;}}if(e===-0x1)break;const f=splitTableRow(a[e]);let g=e+0x1;if(g<a['length']&&/^\s*\|[\s-:|]+\|\s*$/['test'](a[g]))g++;while(g<a['length']&&a[g]['trim']()['startsWith']('|')){const l=splitTableRow(a[g]);if(l['length']===0x0)break;const m={};for(let n=0x0;n<f['length'];n++)m[f[n]['trim']()]=(l[n]??'')['trim']();c['push'](m),g++;}break;}return c;}function splitTableRow(a){const b=a['trim']();if(!b['startsWith']('|'))return[];return b['slice'](0x1,b['endsWith']('|')?-0x1:undefined)['split']('|');}function parseStatusMap(a,b,c){const d=new Map(),e=c?parseMarkdownTable(a,c):parseMarkdownTable(a,'Verification\x20Checklist');for(const f of e){const g=f['verification_id']??f['check_id']??'';if(!g['startsWith'](b))continue;const h=(f['status']??'')['trim']();d['set'](g,h['includes']('✅')||h['toLowerCase']()['includes']('pass'));}return d;}function parseMetaTable(a){const b=new Map();for(const c of parseMarkdownTable(a,'Project\x20Metadata')){const d=c['field']??'',e=c['value']??'';if(d)b['set'](d['trim'](),e['trim']());}return b;}function extractJsonBlocks(a){const b=[];let c=0x0;while(c<a['length']){if(a[c]['trim']()['startsWith']('```json')){const d=[];let e=c+0x1;while(e<a['length']&&!a[e]['trim']()['startsWith']('```')){d['push'](a[e]),e++;}try{const f=JSON['parse'](d['join']('\x0a'));if(f&&typeof f==='object'&&'operation_type'in f){const g=f['env']??{},h=f['data']??{},k=f['substeps'],l=Array['isArray'](k)?k['map'](normalizeSubstep):undefined;b['push']({'step':typeof f['step']==='number'?f['step']:0x0,'operation_type':String(f['operation_type']??''),'data':h,'env':{'network':typeof g['network']==='string'?g['network']:undefined,'replaceExistName':typeof g['replaceExistName']==='boolean'?g['replaceExistName']:undefined,'forceClaim':typeof g['forceClaim']==='boolean'?g['forceClaim']:undefined,'confirmed':typeof g['confirmed']==='boolean'?g['confirmed']:undefined,...g},'substeps':l});}}catch{}c=e+0x1;}else c++;}return b;}function normalizeSubstep(a){if(!a||typeof a!=='object')return{'id':'','inputs':[],'outputs':[]};const b=a;return{'id':String(b['id']??''),'name':typeof b['name']==='string'?b['name']:undefined,'inputs':Array['isArray'](b['inputs'])?b['inputs']['map'](String):[],'outputs':Array['isArray'](b['outputs'])?b['outputs']['map'](String):[]};}function deriveProjectFromPath(a){const b=a['split'](/[\\/]/)['pop']()??'project';return b['replace'](/_v\d+_deployment\.md$/i,'')['replace'](/\.md$/i,'');}function*walkPermissionIndices(a){if(a===null||a===undefined||typeof a!=='object')return;if(Array['isArray'](a)){for(const c of a)yield*walkPermissionIndices(c);return;}const b=a;if(typeof b['permissionIndex']==='number')yield b['permissionIndex'];if(typeof b['permission_index']==='number')yield b['permission_index'];if(typeof b['index']==='number'&&b['__isPermission']===!![])yield b['index'];for(const d of Object['values'](b))yield*walkPermissionIndices(d);}function countMachineNodes(a){const b=a['data']?.['node'],c=b?.['nodes'];return Array['isArray'](c)?c['length']:0x0;}function deriveEntryIdFromBlock(a,b){const c=a['data']['object'];let d;if(typeof c==='string')d=c;else{if(c&&typeof c==='object'){const e=c;if(typeof e['name']==='string')d=e['name'];}}if(!d)return undefined;return b['objects']['find'](f=>f['name']===d)?.['entry_id'];}export function analyzeObjectDependencyCompleteness(a){const b=[];try{const c=normalizeInput(a);if(!c)return add(b,'D-01','critical','No\x20deployment\x20document\x20provided\x20(need\x20document_path\x20or\x20deployment_doc)'),b;const d=new Set(c['objects']['map'](h=>h['entry_id'])),f=new Set();for(const h of c['edges']){f['add'](h['from']),f['add'](h['to']);}for(const i of f){if(i['endsWith'](':*'))continue;!d['has'](i)&&add(b,'D-01','critical','Object\x20\x27'+i+'\x27\x20is\x20referenced\x20in\x20§1.2\x20but\x20not\x20defined\x20in\x20§1.1','§1.2\x20Dependency\x20Edges','Add\x20\x27'+i+'\x27\x20to\x20§1.1\x20Object\x20List\x20or\x20remove\x20the\x20reference.');}for(const j of c['edges']){const k=d['has'](j['from'])||j['from']['endsWith'](':*'),l=d['has'](j['to'])||j['to']['endsWith'](':*');(!k||!l)&&add(b,'D-02','critical','Dangling\x20dependency:\x20'+j['from']+'\x20→\x20'+j['to']+'\x20(edge_kind=\x27'+j['edge_kind']+'\x27)','§1.2\x20Dependency\x20Edges','Create\x20the\x20missing\x20object\x20or\x20remove\x20the\x20edge.');}for(const m of c['objects']['filter'](n=>n['object_type']==='guard')){const n=c['testnet_blocks']['some'](p=>p['operation_type']==='guard'&&p['data']['object']?.['name']===m['name']),o=c['testnet_blocks']['some'](p=>p['operation_type']==='passport'||p['data']['gen_passport']===!![]||p['data']['object']===m['name']);if(!n)add(b,'D-08','critical','Guard\x20\x27'+m['entry_id']+'\x27\x20has\x20no\x20create\x20step\x20in\x20§3.2','§3.2\x20(guard:\x20'+m['name']+')','Add\x20a\x20guard\x20creation\x20JSON\x20block\x20for\x20\x27'+m['name']+'\x27.');if(!o)add(b,'D-08','critical','Guard\x20\x27'+m['entry_id']+'\x27\x20has\x20no\x20gen_passport\x20step\x20in\x20§3.2','§3.2\x20(guard:\x20'+m['name']+')','Add\x20a\x20passport/gen_passport\x20JSON\x20block\x20after\x20the\x20guard\x20creation\x20step.');}}catch(p){add(b,'D-01','warning','analyzeObjectDependencyCompleteness\x20failed:\x20'+p['message']);}return b;}export function analyzeSubstepCoherence(a){const b=[];try{const c=normalizeInput(a);if(!c)return[];for(const d of['testnet','mainnet']){const e=collectSubsteps(d==='testnet'?c['testnet_blocks']:c['mainnet_blocks'],d),f=traceSubsteps({'project_prefix':c['project_name'],'version':c['version'],'network':d,'substeps':e});emitCoherenceFindings(f,d,b);}}catch(g){add(b,'D-10','warning','analyzeSubstepCoherence\x20failed:\x20'+g['message']);}return b;}function collectSubsteps(a,b){const c=[],d=b==='testnet'?'T':'M';for(const e of a){if(!e['substeps'])continue;const f=''+d+e['step'];for(const g of e['substeps']){if(!g['id'])continue;c['push']({'step_id':g['id'],'parent_step':f,'object_type':e['operation_type'],'entry_id':'','operation_type':e['operation_type'],'network':b,'input':{'data':e['data'],'input_refs':g['inputs']},'timestamp':0x0,'status':'PENDING','dependencies':{'input_refs':g['inputs'],'output_refs':g['outputs']['map'](h=>({'substep_id':g['id'],'field_path':h}))}});}}return c;}function emitCoherenceFindings(a,e,f){for(const g of a['dangling_inputs']){add(f,'D-10','critical','['+e+']\x20Dangling\x20input:\x20substep\x20\x27'+g['substep_id']+'\x27\x20references\x20missing\x20\x27'+g['missing_ref']+'\x27',e+'\x20§substeps','Ensure\x20\x27'+g['missing_ref']+'\x27\x20is\x20produced\x20by\x20an\x20earlier\x20substep.');}for(const h of a['circular_refs']){add(f,'D-10','critical','['+e+']\x20Circular\x20reference:\x20'+h['cycle']['join']('\x20→\x20'),e+'\x20§substeps','Break\x20the\x20cycle\x20by\x20removing\x20one\x20dependency.');}for(const i of a['missing_outputs']){add(f,'D-10','warning','['+e+']\x20Missing\x20output:\x20substep\x20\x27'+i['substep_id']+'\x27\x20did\x20not\x20produce\x20\x27'+i['expected_field']+'\x27',e+'\x20§substeps','Ensure\x20\x27'+i['substep_id']+'\x27\x20produces\x20\x27'+i['expected_field']+'\x27.');}for(const j of a['cross_step_breaks']){add(f,'D-10','critical','['+e+']\x20Cross-step\x20break:\x20failed\x20step\x20\x27'+j['source_step']+'\x27\x20blocks\x20\x27'+j['target_step']+'\x27',e+'\x20§substeps','Fix\x20step\x20\x27'+j['source_step']+'\x27\x20or\x20adjust\x20the\x20dependency.');}}export function analyzeNetworkConsistency(a){const c=[];try{const d=normalizeInput(a);if(!d)return[];const e=d['testnet_blocks'],f=d['mainnet_blocks'],g=d['topological_order'];if(g['length']>0x0&&e['length']>0x0)for(let h=0x0;h<e['length'];h++){const j=g[h];if(!j)break;const k=deriveEntryIdFromBlock(e[h],d);if(k&&k!==j){add(c,'D-04','critical','testnet\x20step\x20'+e[h]['step']+'\x20order\x20mismatch:\x20expected\x20\x27'+j+'\x27,\x20got\x20\x27'+k+'\x27','§3.2\x20testnet\x20JSON\x20Operation\x20Sequence','Reorder\x20testnet\x20JSON\x20blocks\x20to\x20match\x20§2\x20topological\x20order.');break;}}for(const l of e){if(l['env']['network']!=='testnet')add(c,'D-05','critical','testnet\x20step\x20'+l['step']+'\x20env.network\x20is\x20\x27'+(l['env']['network']??'(missing)')+'\x27,\x20expected\x20\x27testnet\x27','§3.2\x20step\x20'+l['step'],'Set\x20env.network\x20=\x20\x27testnet\x27\x20on\x20all\x20§3.2\x20JSON\x20blocks.');}for(const n of e){if(n['env']['replaceExistName']!==!![])add(c,'D-06','critical','testnet\x20step\x20'+n['step']+'\x20env.replaceExistName\x20is\x20\x27'+(n['env']['replaceExistName']??'(missing)')+'\x27,\x20expected\x20true','§3.2\x20step\x20'+n['step'],'Set\x20env.replaceExistName\x20=\x20true\x20on\x20all\x20§3.2\x20JSON\x20blocks\x20(testnet\x20allows\x20overwrite).');}if(e['length']!==f['length'])add(c,'D-11','critical','mainnet\x20step\x20count\x20('+f['length']+')\x20!=\x20testnet\x20step\x20count\x20('+e['length']+')','§3.2\x20vs\x20§4.2','Ensure\x20mainnet\x20JSON\x20blocks\x20correspond\x201:1\x20with\x20testnet\x20blocks.');else for(let o=0x0;o<f['length'];o++){const p=e[o],q=f[o];if(p['step']!==q['step'])add(c,'D-11','critical','mainnet\x20step\x20'+q['step']+'\x20does\x20not\x20match\x20testnet\x20step\x20'+p['step'],'§4.2\x20step\x20'+q['step'],'Ensure\x20mainnet\x20step\x20numbers\x20match\x20testnet.');if(p['operation_type']!==q['operation_type'])add(c,'D-11','critical','step\x20'+q['step']+'\x20operation_type\x20mismatch:\x20testnet=\x27'+p['operation_type']+'\x27,\x20mainnet=\x27'+q['operation_type']+'\x27','§4.2\x20step\x20'+q['step'],'Align\x20mainnet\x20operation_type\x20with\x20testnet.');}for(const r of f){if(r['env']['network']!=='mainnet')add(c,'D-12','critical','mainnet\x20step\x20'+r['step']+'\x20env.network\x20is\x20\x27'+(r['env']['network']??'(missing)')+'\x27,\x20expected\x20\x27mainnet\x27','§4.2\x20step\x20'+r['step'],'Set\x20env.network\x20=\x20\x27mainnet\x27\x20on\x20all\x20§4.2\x20JSON\x20blocks.');}for(const s of f){if(s['env']['replaceExistName']!==![]&&!s['env']['forceClaim'])add(c,'D-13','critical','mainnet\x20step\x20'+s['step']+'\x20env.replaceExistName\x20is\x20\x27'+(s['env']['replaceExistName']??'(missing)')+'\x27,\x20expected\x20false\x20(or\x20set\x20forceClaim=true)','§4.2\x20step\x20'+s['step'],'Set\x20env.replaceExistName\x20=\x20false\x20on\x20all\x20§4.2\x20JSON\x20blocks\x20(mainnet\x20must\x20not\x20overwrite).');}}catch(u){add(c,'D-04','warning','analyzeNetworkConsistency\x20failed:\x20'+u['message']);}return c;}const NAME_REGEX=/^[a-z][a-z0-9_]{2,63}$/;export function analyzeNamingConvention(a){const b=[];try{const c=normalizeInput(a);if(!c)return[];const d=c['project_name'],e='_'+c['version'];for(const f of c['objects']){if(f['reused_from'])continue;if(!NAME_REGEX['test'](f['name']))add(b,'NAMING-01','warning','Object\x20\x27'+f['entry_id']+'\x27\x20name\x20\x27'+f['name']+'\x27\x20does\x20not\x20match\x20'+NAME_REGEX,'§1.1\x20('+f['entry_id']+')','Rename\x20to\x20match\x20^[a-z][a-z0-9_]{2,63}$\x20and\x20start\x20with\x20project\x20prefix\x20\x27'+d+'\x27.');else d&&!f['name']['startsWith'](d+'_')&&add(b,'NAMING-01','warning','Object\x20\x27'+f['entry_id']+'\x27\x20name\x20\x27'+f['name']+'\x27\x20does\x20not\x20start\x20with\x20project\x20prefix\x20\x27'+d+'_\x27','§1.1\x20('+f['entry_id']+')','Rename\x20to\x20start\x20with\x20\x27'+d+'_\x27.');e&&!f['name']['endsWith'](e)&&add(b,'NAMING-02','warning','Object\x20\x27'+f['entry_id']+'\x27\x20name\x20\x27'+f['name']+'\x27\x20is\x20missing\x20version\x20suffix\x20\x27'+e+'\x27','§1.1\x20('+f['entry_id']+')','Append\x20\x27'+e+'\x27\x20to\x20the\x20name.');}}catch(g){add(b,'NAMING-01','warning','analyzeNamingConvention\x20failed:\x20'+g['message']);}return b;}export function analyzePermissionIndexRange(a){const b=[];try{const c=normalizeInput(a);if(!c)return[];const d=[...c['testnet_blocks'],...c['mainnet_blocks']];for(const e of d){for(const f of walkPermissionIndices(e['data'])){if(f<USER_DEFINED_PERM_INDEX_START)add(b,'D-07','critical','permissionIndex\x20'+f+'\x20<\x20'+USER_DEFINED_PERM_INDEX_START+'\x20(USER_DEFINED_PERM_INDEX_START)\x20in\x20step\x20'+e['step']+'\x20('+e['operation_type']+')',(e['env']['network']??'?')+'\x20step\x20'+e['step'],'Use\x20a\x20permissionIndex\x20>=\x20'+USER_DEFINED_PERM_INDEX_START+'.');}}for(const g of d){if(g['operation_type']!=='machine')continue;const h=countMachineNodes(g);if(h>MAX_NODE_COUNT)add(b,'D-09','critical','Machine\x20in\x20step\x20'+g['step']+'\x20has\x20'+h+'\x20nodes\x20>\x20MAX_NODE_COUNT\x20('+MAX_NODE_COUNT+')',(g['env']['network']??'?')+'\x20step\x20'+g['step'],'Reduce\x20node\x20count\x20to\x20<=\x20'+MAX_NODE_COUNT+'\x20or\x20split\x20into\x20multiple\x20Machines.');}}catch(i){add(b,'D-07','warning','analyzePermissionIndexRange\x20failed:\x20'+i['message']);}return b;}const REQUIRED_SCENARIO_KEYWORDS=['normal_order','refund','dispute','machine_publish','service_publish'];export function analyzeScenarioCoverage(a){const b=[];try{const c=normalizeInput(a);if(!c)return[];const d=new Set();for(const f of c['scenarios']){const g=(f['scenario_id']+'\x20'+f['description'])['toLowerCase']();for(const h of REQUIRED_SCENARIO_KEYWORDS){if(g['includes'](h['toLowerCase']()))d['add'](h);}}if(d['size']<0x3){const i=REQUIRED_SCENARIO_KEYWORDS['filter'](j=>!d['has'](j));add(b,'D-03','warning','Scenario\x20matrix\x20covers\x20'+d['size']+'/'+REQUIRED_SCENARIO_KEYWORDS['length']+'\x20required\x20keywords;\x20missing:\x20'+i['join'](',\x20'),'§1.3\x20Scenario\x20Matrix','Add\x20scenarios\x20covering\x20the\x20missing\x20keywords\x20(normal_order,\x20refund,\x20dispute,\x20machine_publish,\x20service_publish).');}const e=new Set(c['objects']['map'](j=>j['entry_id']));for(const j of c['scenarios']){const k=[j['primary_object'],...j['supporting_objects']];for(const l of k){if(l['endsWith'](':*'))continue;if(!e['has'](l))add(b,'D-03','warning','Scenario\x20\x27'+j['scenario_id']+'\x27\x20references\x20undefined\x20object\x20\x27'+l+'\x27','§1.3\x20('+j['scenario_id']+')','Add\x20\x27'+l+'\x27\x20to\x20§1.1\x20or\x20fix\x20the\x20scenario\x20reference.');}}}catch(m){add(b,'D-03','warning','analyzeScenarioCoverage\x20failed:\x20'+m['message']);}return b;}const TESTNET_VERIFICATION_ITEMS=['V-T-01','V-T-02','V-T-03','V-T-04','V-T-05','V-T-06','V-T-07','V-T-08','V-T-09','V-T-10','V-T-11'],MAINNET_VERIFICATION_ITEMS=['V-M-01','V-M-02','V-M-03','V-M-04','V-M-05'],COMPLETENESS_CHECK_IDS=Array['from']({'length':0x14},(a,b)=>'D-'+String(b+0x1)['padStart'](0x2,'0'));export function analyzeVerificationChecklist(a){const b=[];try{const c=normalizeInput(a);if(!c)return[];for(const d of TESTNET_VERIFICATION_ITEMS){if(!c['testnet_verification']['has'](d))add(b,'D-14','warning','testnet\x20verification\x20item\x20\x27'+d+'\x27\x20is\x20missing\x20from\x20§3.3','§3.3\x20testnet\x20Verification\x20Checklist','Add\x20row\x20\x27'+d+'\x27\x20to\x20§3.3.');}for(const e of MAINNET_VERIFICATION_ITEMS){if(!c['mainnet_verification']['has'](e))add(b,'D-15','warning','mainnet\x20verification\x20item\x20\x27'+e+'\x27\x20is\x20missing\x20from\x20§4.3','§4.3\x20mainnet\x20Verification\x20Checklist','Add\x20row\x20\x27'+e+'\x27\x20to\x20§4.3.');}for(const f of COMPLETENESS_CHECK_IDS){if(!c['completeness_checklist']['has'](f))add(b,'D-18','warning','completeness\x20checklist\x20item\x20\x27'+f+'\x27\x20is\x20missing\x20from\x20§6','§6\x20Completeness\x20Checklist','Add\x20row\x20\x27'+f+'\x27\x20to\x20§6.');}}catch(g){add(b,'D-14','warning','analyzeVerificationChecklist\x20failed:\x20'+g['message']);}return b;}export function analyzeDeployableReadiness(a){const b=[];try{const c=resolveRiskResult(a);if(!c)return add(b,'D-16','info','Risk\x20aggregation\x20result\x20not\x20available;\x20D-16/D-17\x20skipped\x20(provide\x20project_graph\x20with\x20puzzles,\x20or\x20set\x20deployment_doc.risk_status).',undefined,'Run\x20C2\x20risk-aggregator\x20first,\x20or\x20provide\x20deployment_doc.risk_status.'),b;const d=c['severity_summary']['CRITICAL']??0x0;if(d>0x0){const g=c['findings']['filter'](h=>h['severity']==='CRITICAL')['map'](h=>h['risk_rule_id'])['join'](',\x20');add(b,'D-16','critical',d+'\x20CRITICAL\x20risk(s)\x20remain:\x20'+g,'C2\x20risk-aggregator\x20output','Return\x20to\x20stage\x202\x20(business\x20puzzle)\x20and\x20fix\x20all\x20CRITICAL\x20risks\x20before\x20deploying.');}const e=new Set(a['user_confirmed_high_risks']??[]),f=c['findings']['filter'](h=>h['severity']==='HIGH'&&!e['has'](h['risk_rule_id']));if(f['length']>0x0){const h=f['map'](i=>i['risk_rule_id'])['join'](',\x20');add(b,'D-17','critical',f['length']+'\x20unconfirmed\x20HIGH\x20risk(s):\x20'+h,'C2\x20risk-aggregator\x20output','User\x20must\x20confirm\x20each\x20HIGH\x20risk\x20(ACCEPT_AND_PROCEED)\x20or\x20fix\x20them.');}}catch(i){add(b,'D-16','warning','analyzeDeployableReadiness\x20failed:\x20'+i['message']);}return b;}function resolveRiskResult(a){const b=a['project_graph'];if(b&&typeof b==='object'){const d=b;if(typeof d['severity_summary']==='object'&&Array['isArray'](d['findings']))return b;if(typeof d['project_prefix']==='string'&&typeof d['puzzles']==='object')try{return aggregateProjectRisks(b);}catch{}}const c=a['deployment_doc'];if(c&&c['risk_status']){const e=c['risk_critical_count']??0x0,f=c['risk_high_count']??0x0,g=[];for(let h=0x0;h<e;h++)g['push']({'risk_rule_id':'R-CRITICAL-'+h,'object_type':'service','entry_id':'*','severity':'CRITICAL','message':'(synthesized\x20from\x20deployment_doc.risk_critical_count)','fix_suggestion':'See\x20C2\x20risk-aggregator\x20report\x20for\x20details.'});for(let j=0x0;j<f;j++)g['push']({'risk_rule_id':'R-HIGH-'+j,'object_type':'service','entry_id':'*','severity':'HIGH','message':'(synthesized\x20from\x20deployment_doc.risk_high_count)','fix_suggestion':'See\x20C2\x20risk-aggregator\x20report\x20for\x20details.'});return{'namespace':{'prefix':c['project_prefix'],'version':c['version'],'industry':c['industry']},'findings':g,'severity_summary':{'CRITICAL':e,'HIGH':f,'MEDIUM':0x0,'LOW':0x0,'INFO':0x0},'status':c['risk_status'],'calibrated_at':Date['now'](),'warnings':[]};}return undefined;}function extractMachinePairs(a){const b=a['data'];if(!b)return[];const c=b['node'];if(!c||typeof c!=='object')return[];const d=c['nodes'];if(!Array['isArray'](d))return[];return d['filter'](e=>{if(!e||typeof e!=='object')return![];const f=e['pairs'];return Array['isArray'](f);})['flatMap'](e=>e['pairs']??[]);}export function analyzeMachineAndServiceReadiness(a){const b=[];try{const c=normalizeInput(a);if(!c)return[];const d=[...c['testnet_blocks'],...c['mainnet_blocks']];for(const f of d){if(f['operation_type']!=='machine')continue;const g=extractMachinePairs(f);if(g['length']===0x0)continue;const h=g['filter'](i=>i['prev_node']==='');for(const i of h){const j=Array['isArray'](i['forwards'])?i['forwards']['length']:0x0;j===0x0&&add(b,'D-19','critical','Machine\x20in\x20step\x20'+f['step']+'\x20('+(f['env']['network']??'?')+')\x20has\x20an\x20entry\x20node\x20(prev_node=\x22\x22)\x20with\x20no\x20forwards.\x20'+'Progress\x20created\x20from\x20this\x20Machine\x20will\x20be\x20permanently\x20stuck\x20at\x20current=\x22\x22\x20(P0-2\x20root\x20cause).',(f['env']['network']??'?')+'\x20step\x20'+f['step'],'Add\x20at\x20least\x20one\x20forward\x20to\x20the\x20entry\x20node\x27s\x20pairs.\x20Example:\x20pairs:\x20[{prev_node:\x20\x22\x22,\x20forwards:\x20[{next_node:\x20\x22Ordered\x22,\x20...}]}]');}}const e=d['filter'](k=>k['operation_type']==='service');if(e['length']>0x0){const k=e['filter'](l=>{const m=l['data'];return m?.['compensation_fund_add']!=null;});k['length']===0x0&&add(b,'D-20','warning','No\x20Service\x20block\x20in\x20the\x20deployment\x20doc\x20includes\x20a\x20compensation_fund_add\x20step.\x20'+'Without\x20deposit,\x20arbitration\x20rulings\x20that\x20award\x20refunds\x20to\x20buyers\x20cannot\x20be\x20paid\x20out\x20from\x20the\x20Service.\x20'+'Industries\x20like\x20freelance\x20may\x20not\x20require\x20this\x20(info),\x20but\x20rental/travel/education\x20typically\x20do.','§3.2\x20/\x20§4.2\x20Service\x20blocks','Add\x20a\x20compensation_fund_add\x20step\x20for\x20the\x20Service\x20(e.g.,\x20data.compensation_fund_add\x20=\x20{balance:\x20<amount>}).\x20'+'Recommended:\x203-10×\x20the\x20max\x20single-order\x20amount,\x20depending\x20on\x20industry\x20(subscription:\x203×,\x20retail:\x205×,\x20rental:\x2010×).\x20See\x20P1-1\x20evaluation\x20rule.');}}catch(l){add(b,'D-19','warning','analyzeMachineAndServiceReadiness\x20failed:\x20'+l['message']);}return b;}export function scanDeployment(a){const b=[...analyzeObjectDependencyCompleteness(a),...analyzeSubstepCoherence(a),...analyzeNetworkConsistency(a),...analyzeNamingConvention(a),...analyzePermissionIndexRange(a),...analyzeScenarioCoverage(a),...analyzeVerificationChecklist(a),...analyzeDeployableReadiness(a),...analyzeMachineAndServiceReadiness(a)];return{'project_name':a['project_name'],'document_path':a['document_path'],'overall_readiness':computeReadiness(b),'findings':b,'coverage':computeCoverage(a),'checks':computeChecks(b),'scanned_at':Date['now'](),'scanner_version':DEPLOYMENT_SCANNER_VERSION};}function computeChecks(a){const b=c=>a['some'](d=>d['check_id']===c);return{'D01_object_defined':b('D-01')?'fail':'pass','D02_dependency_complete':b('D-02')?'fail':'pass','D03_scenario_covered':b('D-03')?'fail':'pass','D04_testnet_topo_order':b('D-04')?'fail':'pass','D05_testnet_network':b('D-05')?'fail':'pass','D06_testnet_replace':b('D-06')?'fail':'pass','D07_permission_index':b('D-07')?'fail':'pass','D08_guard_gen_passport':b('D-08')?'fail':'pass','D09_machine_node_count':b('D-09')?'fail':'pass','D10_substep_coherence':b('D-10')?'fail':'pass','D11_mainnet_testnet_match':b('D-11')?'fail':'pass','D12_mainnet_network':b('D-12')?'fail':'pass','D13_mainnet_replace':b('D-13')?'fail':'pass','D14_testnet_verification':b('D-14')?'fail':'pass','D15_mainnet_verification':b('D-15')?'fail':'pass','D16_no_critical_risk':b('D-16')?'fail':'pass','D17_no_high_risk':b('D-17')?'fail':'pass','D18_completeness_checklist':b('D-18')?'fail':'pass','D19_machine_entry_forward':b('D-19')?'fail':'pass','D20_service_compensation_fund':b('D-20')?'fail':'pass'};}function computeCoverage(a){const b=normalizeInput(a);if(!b)return{'objects_defined':0x0,'objects_with_scenario':0x0,'testnet_steps':0x0,'mainnet_steps':0x0,'verification_items':0x0};const c=new Set();for(const e of b['scenarios']){c['add'](e['primary_object']);for(const f of e['supporting_objects'])c['add'](f);}const d=b['objects']['filter'](g=>c['has'](g['entry_id'])||c['has'](g['object_type']+':*'))['length'];return{'objects_defined':b['objects']['length'],'objects_with_scenario':d,'testnet_steps':b['testnet_blocks']['length'],'mainnet_steps':b['mainnet_blocks']['length'],'verification_items':b['testnet_verification']['size']+b['mainnet_verification']['size']};}function computeReadiness(a){const b=a['filter'](c=>c['check_id']['startsWith']('D-'));if(b['some'](c=>c['severity']==='critical'))return'blocked';if(b['some'](c=>c['severity']==='warning'))return'warnings';return'ready';}function normalizeInput(a){if(a['deployment_doc'])return fromDeploymentDocInput(a['deployment_doc']);if(a['document_path']){if(!a82a['existsSync'](a['document_path']))return undefined;return parseDeploymentMarkdown(a['document_path']);}return undefined;}export function isReady(a){return a['overall_readiness']==='ready';}export function isBlocked(a){return a['overall_readiness']==='blocked';}export function summarizeScan(a){const b=[];b['push']('#\x20Deployment\x20Scan\x20Report\x20—\x20'+a['project_name'],''),b['push']('-\x20**Overall\x20readiness**:\x20'+a['overall_readiness']),b['push']('-\x20**Scanned\x20at**:\x20'+new Date(a['scanned_at'])['toISOString']()),b['push']('-\x20**Scanner\x20version**:\x20'+a['scanner_version']);if(a['document_path'])b['push']('-\x20**Document**:\x20'+a['document_path']);b['push']('','##\x20Coverage','','|\x20Metric\x20|\x20Count\x20|','|--------|-------|'),b['push']('|\x20Objects\x20defined\x20|\x20'+a['coverage']['objects_defined']+'\x20|'),b['push']('|\x20Objects\x20with\x20scenario\x20|\x20'+a['coverage']['objects_with_scenario']+'\x20|'),b['push']('|\x20testnet\x20steps\x20|\x20'+a['coverage']['testnet_steps']+'\x20|'),b['push']('|\x20mainnet\x20steps\x20|\x20'+a['coverage']['mainnet_steps']+'\x20|'),b['push']('|\x20verification\x20items\x20|\x20'+a['coverage']['verification_items']+'\x20|',''),b['push']('##\x20Checks\x20(D-01\x20~\x20D-20)','','|\x20Check\x20ID\x20|\x20Status\x20|','|----------|--------|');const c=Object['entries'](a['checks']);for(const [d,e]of c)b['push']('|\x20'+d+'\x20|\x20'+(e==='pass'?'✅\x20pass':'❌\x20fail')+'\x20|');b['push']('','##\x20Findings\x20('+a['findings']['length']+')','');if(a['findings']['length']===0x0)b['push']('✅\x20No\x20issues\x20detected.','');else{const g=new Map();for(const h of a['findings']){const i=g['get'](h['severity'])??[];i['push'](h),g['set'](h['severity'],i);}for(const j of['critical','warning','info']){const k=g['get'](j);if(!k||k['length']===0x0)continue;b['push']('###\x20'+j['toUpperCase']()+'\x20('+k['length']+')','');for(const l of k){b['push']('-\x20**['+l['check_id']+']**\x20'+l['message']);if(l['location'])b['push']('\x20\x20-\x20Location:\x20'+l['location']);if(l['suggestion'])b['push']('\x20\x20-\x20Suggestion:\x20'+l['suggestion']);b['push']('');}}}return b['push']('---','','*End\x20of\x20report.*'),b['join']('\x0a');}export const DEPLOYMENT_SCANNER_VERSION='2.0.0';