@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/project/deployment-doc.js

@@ -1,1126 +1 @@
-import { join } from "path";
-const STANDARD_TOPO_ORDER = [
-    "permission", "treasury", "allocation", "service", "guard", "machine",
-    "order", "progress", "arb", "reward",
-    "proof", "repository", "demand", "contact",
-    "personal", "payment",
-];
-const D_CHECK_ITEMS = [
-    { id: "D-01", description: "All objects are defined in §1.1" },
-    { id: "D-02", description: "All dependencies have no dangling references" },
-    { id: "D-03", description: "All declared scenarios are covered by steps" },
-    { id: "D-04", description: "All objects follow the naming convention" },
-    { id: "D-05", description: "testnet network field is 'testnet'" },
-    { id: "D-06", description: "testnet replaceExistName is true" },
-    { id: "D-07", description: "All JSON blocks are valid JSON" },
-    { id: "D-08", description: "All step IDs are sequential and unique" },
-    { id: "D-09", description: "All substep IDs are unique" },
-    { id: "D-10", description: "Substep linkage is complete (no dangling/circular)" },
-    { id: "D-11", description: "All `${var}` references resolve to defined outputs" },
-    { id: "D-12", description: "mainnet network field is 'mainnet'" },
-    { id: "D-13", description: "mainnet replaceExistName is false (unless force claim)" },
-    { id: "D-14", description: "Naming convention: ^[a-z][a-z0-9_]{2,63}$" },
-    { id: "D-15", description: "All publish operations come after create" },
-    { id: "D-16", description: "No CRITICAL risks remain (risk_status=RISK_PASSED)" },
-    { id: "D-17", description: "All HIGH risks are user-confirmed" },
-    { id: "D-18", description: "Version numbers are consistent across the document" },
-];
-function isoNow() {
-    return new Date().toISOString();
-}
-function indent(s, n) {
-    const pad = " ".repeat(n);
-    return s
-        .split("\n")
-        .map((l) => pad + l)
-        .join("\n");
-}
-function tableRow(cells) {
-    return "| " + cells.join(" | ") + " |";
-}
-function tableHeader(headers) {
-    return [
-        tableRow(headers),
-        "|" + headers.map(() => "---").join("|") + "|",
-    ].join("\n");
-}
-function jsonBlock(label, data) {
-    const header = label ? `#### ${label}\n\n` : "";
-    let body;
-    try {
-        body = JSON.stringify(data, null, 2);
-    }
-    catch {
-        body = "{}";
-    }
-    return `${header}\`\`\`json\n${body}\n\`\`\`\n`;
-}
-function renderMeta(input) {
-    const lines = ["## 0. Project Metadata", ""];
-    lines.push(tableHeader(["Field", "Value"]));
-    lines.push(tableRow(["Project Name", input.project_prefix]));
-    lines.push(tableRow(["Business Intent", input.business_intent]));
-    lines.push(tableRow(["Industry Mode", input.industry]));
-    lines.push(tableRow(["Version", input.version]));
-    lines.push(tableRow(["Created At", isoNow()]));
-    lines.push(tableRow(["namespace tag", `${input.project_prefix}_${input.version}`]));
-    if (input.scenario_mode) {
-        lines.push(tableRow(["scenario_mode", input.scenario_mode]));
-    }
-    if (input.author) {
-        lines.push(tableRow(["author", input.author]));
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderODG(input) {
-    const lines = ["## 1. Object Dependency Graph (ODG)", ""];
-    const detailLevel = input.detail_level ?? "summary";
-    lines.push("### 1.1 Object List");
-    lines.push("");
-    const showDescription = detailLevel !== "summary";
-    if (showDescription) {
-        lines.push(tableHeader([
-            "entry_id", "object_type", "name", "reused_from", "publish_required", "description",
-        ]));
-    }
-    else {
-        lines.push(tableHeader([
-            "entry_id", "object_type", "name", "reused_from", "publish_required",
-        ]));
-    }
-    for (const o of input.objects) {
-        const row = [
-            o.entry_id,
-            o.object_type,
-            o.name,
-            o.reused_from ?? "",
-            String(o.publish_required),
-        ];
-        if (showDescription)
-            row.push(o.description ?? "");
-        lines.push(tableRow(row));
-    }
-    lines.push("");
-    if (!showDescription) {
-        lines.push("_Use `detail_level='detailed'` or `'full'` to include object descriptions._");
-        lines.push("");
-    }
-    lines.push("### 1.2 Dependencies");
-    lines.push("");
-    lines.push(tableHeader([
-        "from", "to", "edge_kind", "field_path", "required_at_publish",
-    ]));
-    const visibleEdges = detailLevel === "summary"
-        ? input.edges.filter((e) => e.required_at_publish)
-        : input.edges;
-    for (const e of visibleEdges) {
-        lines.push(tableRow([
-            e.from, e.to, e.edge_kind, e.field_path, String(e.required_at_publish),
-        ]));
-    }
-    lines.push("");
-    if (detailLevel === "summary" && input.edges.length > visibleEdges.length) {
-        lines.push(`_Showing ${visibleEdges.length} of ${input.edges.length} edges (required_at_publish only). ` +
-            `Use \`detail_level='detailed'\` or \`'full'\` to see all edges._`);
-        lines.push("");
-    }
-    if (input.scenarios && input.scenarios.length > 0) {
-        lines.push("### 1.3 Scenario Matrix");
-        lines.push("");
-        lines.push(tableHeader([
-            "scenario_id", "description", "primary_object", "supporting_objects", "test_step_refs",
-        ]));
-        for (const s of input.scenarios) {
-            lines.push(tableRow([
-                s.scenario_id,
-                s.description,
-                s.primary_object,
-                s.supporting_objects.join(", "),
-                (s.test_step_refs ?? []).join(", "),
-            ]));
-        }
-        lines.push("");
-    }
-    return lines.join("\n");
-}
-function renderTopoPlan(input) {
-    const lines = ["## 2. Topological Execution Plan", ""];
-    lines.push(tableHeader([
-        "step", "object_type", "operation", "substep_count", "depends_on", "entry_id", "network_phase",
-    ]));
-    for (const s of input.steps) {
-        lines.push(tableRow([
-            String(s.step),
-            s.object_type,
-            s.operation,
-            String(s.substep_count),
-            `[${s.depends_on.join(", ")}]`,
-            s.entry_id,
-            s.network_phase,
-        ]));
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderNetworkSection(sectionNum, network, input) {
-    const title = network === "testnet" ? "testnet Deployment Checklist" : "mainnet Deployment Checklist";
-    const lines = [`## ${sectionNum}. ${title}`, ""];
-    lines.push(`### ${sectionNum}.1 ${network} Metadata`);
-    lines.push("");
-    lines.push(tableHeader(["Field", "Value"]));
-    lines.push(tableRow(["network", network]));
-    lines.push(tableRow([
-        "rpc",
-        network === "testnet"
-            ? "https://rpc.testnet.wowok.io"
-            : "https://rpc.mainnet.wowok.io",
-    ]));
-    lines.push(tableRow([
-        "replaceExistName",
-        network === "testnet" ? "true" : "false",
-    ]));
-    lines.push(tableRow(["gas_budget", "100000000"]));
-    lines.push(tableRow(["account", `${input.project_prefix}_merchant_${network}`]));
-    lines.push(tableRow(["dry_run", "false"]));
-    lines.push(tableRow(["detail_level", input.detail_level ?? "summary"]));
-    lines.push("");
-    lines.push(`### ${sectionNum}.2 ${network} JSON Operation Sequence`);
-    lines.push("");
-    const detailLevel = input.detail_level ?? "summary";
-    for (const step of input.steps) {
-        if (step.network_phase !== "both" && step.network_phase !== network)
-            continue;
-        const obj = input.objects.find(o => o.entry_id === step.entry_id);
-        const isDraft = obj?.status === "draft";
-        const objName = objectNameForStep(step, input);
-        const objectData = {
-            name: objName,
-            replaceExistName: network === "testnet",
-        };
-        if (isDraft && obj?.config) {
-            const summaryFields = new Set([
-                "name", "replaceExistName",
-                "machine", "permission", "buy_guard", "order_allocators",
-                "publish", "pause",
-            ]);
-            const detailedFields = new Set([
-                "sales", "arbitrations", "rewards",
-                "repositories", "discount", "discount_destroy",
-            ]);
-            for (const [k, v] of Object.entries(obj.config)) {
-                if (k === "name" || k === "replaceExistName")
-                    continue;
-                if (detailLevel === "full") {
-                    objectData[k] = v;
-                }
-                else if (detailLevel === "detailed"
-                    && (summaryFields.has(k) || detailedFields.has(k))) {
-                    objectData[k] = v;
-                }
-                else if (detailLevel === "summary" && summaryFields.has(k)) {
-                    objectData[k] = v;
-                }
-            }
-        }
-        const block = {
-            step: step.step,
-            operation: "onchain_operations",
-            operation_type: step.object_type,
-            data: {
-                object: objectData,
-                description: isDraft
-                    ? `${stepDescription(step)} [blueprint: generated from ${input.industry} industry template]`
-                    : stepDescription(step),
-                status: isDraft ? "draft" : "deployed",
-            },
-            env: {
-                account: `${input.project_prefix}_merchant_${network}`,
-                network,
-                replaceExistName: network === "testnet",
-                confirmed: true,
-            },
-            substeps: generateSubstepStubs(step),
-        };
-        lines.push(jsonBlock(`Step T${step.step}: ${step.operation} ${step.object_type}`, block));
-    }
-    lines.push(`### ${sectionNum}.3 ${network} Verification Checklist`);
-    lines.push("");
-    const items = network === "testnet"
-        ? ["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"]
-        : ["V-M-01", "V-M-02", "V-M-03", "V-M-04", "V-M-05"];
-    lines.push(tableHeader(["Verification ID", "Verification Item", "Status", "Notes"]));
-    for (const v of items) {
-        lines.push(tableRow([v, "(to be filled)", "⚪ Pending", ""]));
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function objectNameForStep(step, input) {
-    const obj = input.objects.find((o) => o.entry_id === step.entry_id);
-    return obj?.name ?? `${step.object_type}_${step.step}`;
-}
-function stepDescription(step) {
-    return `${step.operation} ${step.object_type} (step ${step.step})`;
-}
-function generateSubstepStubs(step) {
-    const stubs = [];
-    for (let i = 1; i <= Math.max(1, step.substep_count); i++) {
-        stubs.push({
-            id: `T${step.step}.${i}`,
-            name: `substep ${i}`,
-            inputs: i === 1 ? [] : [`T${step.step}.${i - 1}`],
-            outputs: i === step.substep_count ? [`T${step.step}.output`] : [],
-        });
-    }
-    return stubs;
-}
-function renderVerification(input) {
-    const lines = ["## 5. Verification Checklist", ""];
-    lines.push("### 5.1 testnet Verification Items");
-    lines.push("");
-    lines.push("- V-T-01..V-T-11: see §3.3");
-    lines.push("");
-    lines.push("### 5.2 mainnet Verification Items");
-    lines.push("");
-    lines.push("- V-M-01..V-M-05: see §4.3");
-    lines.push("");
-    return lines.join("\n");
-}
-function renderChecklist(input) {
-    const lines = ["## 6. Completeness Checklist (D-01 ~ D-18)", ""];
-    lines.push(tableHeader(["check_id", "description", "status", "notes"]));
-    const validation = validateDeploymentDoc(input);
-    for (const c of validation.checks) {
-        lines.push(tableRow([c.check_id, c.description, c.status, c.notes ?? ""]));
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderScenarios(input) {
-    if (!input.scenarios || input.scenarios.length === 0)
-        return "";
-    const lines = ["## 7. Scenario Matrix", ""];
-    lines.push(tableHeader(["scenario_id", "description", "primary_object", "supporting_objects"]));
-    for (const s of input.scenarios) {
-        lines.push(tableRow([
-            s.scenario_id,
-            s.description,
-            s.primary_object,
-            s.supporting_objects.join(", "),
-        ]));
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderAppendices(input) {
-    const lines = [];
-    lines.push("## Appendix A: JSON Block Format Standard");
-    lines.push("");
-    lines.push("- Each JSON block must contain `step`, `operation`, `operation_type`, `data`, `env` fields.");
-    lines.push("- Field naming: MCP schema uses camelCase (e.g. `replaceExistName`, `namedOperator`).");
-    lines.push("- Variable references: use `${T1.permission_address}` syntax to reference outputs across steps.");
-    lines.push("");
-    lines.push("## Appendix B: Naming Convention");
-    lines.push("");
-    lines.push("- Regex: `^[a-z][a-z0-9_]{2,63}$`");
-    lines.push("- Object naming format: `<project>_<type>_v<n>`");
-    lines.push("- Version rule: first `_v1`, rebuild `_v2`, `_v3`...");
-    lines.push("");
-    lines.push("## Appendix C: Status Enumeration");
-    lines.push("");
-    lines.push("- Deployment document lifecycle: draft → calibrated → scanned → testnet_executing → testnet_passed → mainnet_executing → mainnet_passed → completed");
-    lines.push("- Failure states: failed / rolled_back");
-    lines.push("");
-    return lines.join("\n");
-}
-export function generateDeploymentDoc(input) {
-    if (!input || !input.project_prefix) {
-        throw new Error("generateDeploymentDoc: input.project_prefix is required");
-    }
-    if (!input.objects || input.objects.length === 0) {
-        throw new Error("generateDeploymentDoc: input.objects is empty");
-    }
-    const header = [
-        `# ${input.project_prefix} Deployment Document`,
-        "",
-        "> Project-based deployment document, generated by the WoWok MCP tool. Follows the 71-deployment-list-spec specification.",
-        "",
-    ].join("\n");
-    const sections = [
-        header,
-        renderMeta(input),
-        renderODG(input),
-        renderTopoPlan(input),
-        renderNetworkSection(3, "testnet", input),
-        renderNetworkSection(4, "mainnet", input),
-        renderVerification(input),
-        renderChecklist(input),
-        renderScenarios(input),
-        renderAppendices(input),
-    ];
-    return sections.filter((s) => s.length > 0).join("\n");
-}
-export function estimateDeploymentGas(input) {
-    const GAS_RATES = {
-        permission: { create: 20_000_000, publish: 0 },
-        progress: { create: 40_000_000, publish: 0 },
-        guard: { create: 30_000_000, publish: 0 },
-        allocation: { create: 40_000_000, publish: 0 },
-        machine: { create: 50_000_000, publish: 200_000_000 },
-        service: { create: 50_000_000, publish: 100_000_000 },
-        arb: { create: 40_000_000, publish: 0 },
-        treasury: { create: 30_000_000, publish: 0 },
-        demand: { create: 40_000_000, publish: 0 },
-        repository: { create: 40_000_000, publish: 0 },
-        reward: { create: 30_000_000, publish: 0 },
-    };
-    const perObject = [];
-    let totalGas = 0;
-    let publishGas = 0;
-    for (const obj of input.objects) {
-        const rate = GAS_RATES[obj.object_type] ?? { create: 40_000_000, publish: 0 };
-        const createGas = obj.reused_from ? 0 : rate.create;
-        const pubGas = obj.publish_required ? rate.publish : 0;
-        const objTotal = createGas + pubGas;
-        perObject.push({
-            entry_id: obj.entry_id,
-            object_type: obj.object_type,
-            create_gas_mist: createGas,
-            publish_gas_mist: pubGas,
-        });
-        totalGas += objTotal;
-        publishGas += pubGas;
-    }
-    return {
-        total_gas_mist: totalGas,
-        per_object: perObject,
-        publish_gas_mist: publishGas,
-    };
-}
-export function validateDeploymentDoc(input) {
-    const errors = [];
-    const checks = [];
-    let valid = true;
-    for (const item of D_CHECK_ITEMS) {
-        const r = runDCheck(item, input);
-        checks.push({
-            check_id: item.id,
-            description: item.description,
-            status: r.status,
-            notes: r.notes,
-        });
-        if (r.status === "FAIL") {
-            valid = false;
-            errors.push(`${item.id}: ${r.notes ?? "(no detail)"}`);
-        }
-    }
-    return { valid, checks, errors };
-}
-function runDCheck(item, input) {
-    switch (item.id) {
-        case "D-01": {
-            const empty = !input.objects || input.objects.length === 0;
-            return empty
-                ? { status: "FAIL", notes: "no objects defined" }
-                : { status: "PASS" };
-        }
-        case "D-02": {
-            const ids = new Set(input.objects.map((o) => o.entry_id));
-            const dangling = [];
-            for (const e of input.edges) {
-                if (!ids.has(e.from))
-                    dangling.push(e.from);
-                if (!ids.has(e.to))
-                    dangling.push(e.to);
-            }
-            return dangling.length > 0
-                ? { status: "FAIL", notes: `dangling: ${dangling.join(", ")}` }
-                : { status: "PASS" };
-        }
-        case "D-03": {
-            return { status: "PASS", notes: "scenarios optional" };
-        }
-        case "D-04": {
-            const bad = (input.objects ?? [])
-                .map((o) => o.name)
-                .filter((n) => !/^[a-z][a-z0-9_]{2,63}$/.test(n));
-            return bad.length > 0
-                ? { status: "FAIL", notes: `bad names: ${bad.join(", ")}` }
-                : { status: "PASS" };
-        }
-        case "D-05":
-        case "D-06":
-        case "D-07":
-        case "D-08": {
-            return { status: "PASS" };
-        }
-        case "D-09": {
-            return { status: "PASS", notes: "delegated to substep-trace" };
-        }
-        case "D-10": {
-            return { status: "PASS", notes: "delegated to substep-trace" };
-        }
-        case "D-11": {
-            return { status: "PASS", notes: "variable refs checked at execution" };
-        }
-        case "D-12":
-        case "D-13": {
-            return { status: "PASS" };
-        }
-        case "D-14": {
-            const bad = (input.objects ?? [])
-                .map((o) => o.name)
-                .filter((n) => !/^[a-z][a-z0-9_]{2,63}$/.test(n));
-            return bad.length > 0
-                ? { status: "FAIL", notes: `bad names: ${bad.join(", ")}` }
-                : { status: "PASS" };
-        }
-        case "D-15": {
-            const createByType = new Map();
-            const publishSteps = [];
-            for (const s of input.steps) {
-                if (s.operation === "create")
-                    createByType.set(s.object_type, s.step);
-                if (s.operation === "publish")
-                    publishSteps.push(s);
-            }
-            for (const p of publishSteps) {
-                const created = createByType.get(p.object_type);
-                if (created === undefined)
-                    continue;
-                if (created > p.step) {
-                    return { status: "FAIL", notes: `publish ${p.step} before create for ${p.object_type}` };
-                }
-            }
-            return { status: "PASS" };
-        }
-        case "D-16": {
-            if (input.risk_status === "RISK_BLOCKED") {
-                return { status: "FAIL", notes: "CRITICAL risks remain" };
-            }
-            if ((input.risk_critical_count ?? 0) > 0) {
-                return { status: "FAIL", notes: `${input.risk_critical_count} CRITICAL risks` };
-            }
-            return { status: "PASS" };
-        }
-        case "D-17": {
-            if (input.risk_status === "RISK_PENDING_CONFIRM") {
-                return { status: "WARN", notes: "HIGH risks pending user confirmation" };
-            }
-            return { status: "PASS" };
-        }
-        case "D-18": {
-            const expected = input.version;
-            const mismatches = [];
-            for (const o of input.objects) {
-                const m = o.name.match(/_v(\d+)$/);
-                if (m && `_v${m[1]}` !== expected) {
-                    mismatches.push(o.name);
-                }
-            }
-            return mismatches.length > 0
-                ? { status: "FAIL", notes: `version mismatch: ${mismatches.join(", ")}` }
-                : { status: "PASS" };
-        }
-        default:
-            return { status: "WARN", notes: "unknown check" };
-    }
-}
-export function getStandardTopoOrder() {
-    return [...STANDARD_TOPO_ORDER];
-}
-import { saveProjectFile, saveProjectMarkdown, ensureProjectDir, deploymentDir, } from "./project-store.js";
-const STAGE_D_CHECKS = {
-    1: ["D-01", "D-02", "D-03", "D-04"],
-    2: ["D-05", "D-06", "D-07"],
-    3: ["D-18"],
-    4: ["D-08", "D-09", "D-11", "D-12"],
-    5: ["D-10"],
-};
-const CROSS_STAGE_D_CHECKS = ["D-13", "D-14", "D-15", "D-16", "D-17"];
-const STAGE_GOALS = {
-    1: {
-        stage: 1,
-        goal_statement: "Establish a valid and unique project namespace",
-        derived_from: ["unique_identity", "traceable_versioning"],
-        success_criteria: [
-            { criterion_id: "namespace_prefix_nonempty", description: "Project prefix is non-empty and follows naming regex", measurable: true, target_value: "^[a-z][a-z0-9_]{2,63}$" },
-            { criterion_id: "version_format_valid", description: "Version follows v<n> format", measurable: true, target_value: "^v\\d+$" },
-            { criterion_id: "entry_id_unique", description: "All entry_ids are unique within the project", measurable: true },
-        ],
-    },
-    2: {
-        stage: 2,
-        goal_statement: "Build a complete and cycle-free object dependency graph",
-        derived_from: ["dag_no_cycle", "complete_dependency"],
-        success_criteria: [
-            { criterion_id: "odg_nodes_complete", description: "All required objects are defined", measurable: true },
-            { criterion_id: "odg_edges_legal", description: "All edges reference defined nodes", measurable: true },
-            { criterion_id: "odg_no_cycle", description: "Dependency graph has no cycles", measurable: true },
-            { criterion_id: "scenario_coverage", description: "Declared scenarios are covered by steps", measurable: true },
-        ],
-    },
-    3: {
-        stage: 3,
-        goal_statement: "Calibrate risks and confirm all CRITICAL risks resolved",
-        derived_from: ["risk_acknowledged"],
-        success_criteria: [
-            { criterion_id: "no_critical_risk", description: "No CRITICAL risks remain (risk_status != RISK_BLOCKED)", measurable: true, target_value: "0" },
-            { criterion_id: "high_risk_confirmed", description: "All HIGH risks are user-confirmed", measurable: true },
-        ],
-    },
-    4: {
-        stage: 4,
-        goal_statement: "Generate a complete deployment document with valid steps",
-        derived_from: ["deployable_to_mainnet"],
-        success_criteria: [
-            { criterion_id: "steps_sequential", description: "Step IDs are sequential and unique", measurable: true },
-            { criterion_id: "deps_consistent", description: "Step dependencies are consistent with ODG", measurable: true },
-            { criterion_id: "testnet_mainnet_symmetric", description: "testnet and mainnet phases are symmetric", measurable: true },
-            { criterion_id: "no_d_error", description: "No D-FAIL errors", measurable: true, target_value: "0" },
-        ],
-    },
-    5: {
-        stage: 5,
-        goal_statement: "Trace substeps coherently across the deployment",
-        derived_from: ["deployment_complete"],
-        success_criteria: [
-            { criterion_id: "substeps_coherent", description: "No dangling inputs, circular refs, missing outputs, cross-step breaks", measurable: true },
-            { criterion_id: "no_failed_substep", description: "No substep is in FAILED state", measurable: true },
-        ],
-    },
-};
-const STAGE_RISK_POLICIES = {
-    1: {
-        stage: 1,
-        risks: [
-            { risk_id: "R1-01", category: "naming", description: "Namespace prefix conflicts with existing project", likelihood: "medium", impact: "medium", mitigation: "Check existing projects before committing namespace", owner: "user" },
-            { risk_id: "R1-02", category: "naming", description: "Version format inconsistent", likelihood: "low", impact: "low", mitigation: "Validate version regex", owner: "ai" },
-        ],
-        active_controls: [
-            { control_id: "C1-01", control_type: "preventive", target_risk: "R1-01", implementation: "stage gate checks prefix uniqueness", verified: true },
-            { control_id: "C1-02", control_type: "preventive", target_risk: "R1-02", implementation: "schema validation enforces ^v\\d+$", verified: true },
-        ],
-        residual_risks: [],
-    },
-    2: {
-        stage: 2,
-        risks: [
-            { risk_id: "R2-01", category: "dependency", description: "Missing dependencies (dangling refs)", likelihood: "medium", impact: "high", mitigation: "D-02 check in stage gate", owner: "ai" },
-            { risk_id: "R2-02", category: "dependency", description: "Circular dependencies in ODG", likelihood: "low", impact: "critical", mitigation: "Topological sort detects cycles", owner: "ai" },
-            { risk_id: "R2-03", category: "operational", description: "Cross-project reference (project isolation violation §3.0)", likelihood: "low", impact: "critical", mitigation: "cross_project_reference_check in stage gate", owner: "ai" },
-        ],
-        active_controls: [
-            { control_id: "C2-01", control_type: "detective", target_risk: "R2-01", implementation: "D-02 dangling check", verified: true },
-            { control_id: "C2-02", control_type: "detective", target_risk: "R2-02", implementation: "cycle detection", verified: true },
-            { control_id: "C2-03", control_type: "preventive", target_risk: "R2-03", implementation: "cross-prefix reference scan", verified: true },
-        ],
-        residual_risks: [],
-    },
-    3: {
-        stage: 3,
-        risks: [
-            { risk_id: "R3-01", category: "operational", description: "Unresolved CRITICAL risks", likelihood: "medium", impact: "critical", mitigation: "Block at stage gate until resolved", owner: "user" },
-            { risk_id: "R3-02", category: "operational", description: "Risk confirmation expired (stale)", likelihood: "low", impact: "medium", mitigation: "Re-confirm before deployment", owner: "user" },
-        ],
-        active_controls: [
-            { control_id: "C3-01", control_type: "preventive", target_risk: "R3-01", implementation: "D-16 blocks when risk_status=RISK_BLOCKED", verified: true },
-        ],
-        residual_risks: [],
-    },
-    4: {
-        stage: 4,
-        risks: [
-            { risk_id: "R4-01", category: "operational", description: "Step numbering gaps", likelihood: "low", impact: "medium", mitigation: "D-08 sequential check", owner: "ai" },
-            { risk_id: "R4-02", category: "financial", description: "Mainnet gas budget exceeded", likelihood: "medium", impact: "high", mitigation: "gas_budget_check in stage gate", owner: "user" },
-            { risk_id: "R4-03", category: "operational", description: "Irreversible operation requested", likelihood: "low", impact: "critical", mitigation: "Object lifecycle matrix check (§3.2)", owner: "user" },
-        ],
-        active_controls: [
-            { control_id: "C4-01", control_type: "detective", target_risk: "R4-01", implementation: "D-08 check", verified: true },
-            { control_id: "C4-02", control_type: "detective", target_risk: "R4-02", implementation: "gas estimation", verified: true },
-        ],
-        residual_risks: ["Gas costs are estimates; actual mainnet gas may differ"],
-    },
-    5: {
-        stage: 5,
-        risks: [
-            { risk_id: "R5-01", category: "operational", description: "Substep linkage breaks (dangling/circular/missing)", likelihood: "medium", impact: "high", mitigation: "D-10 substep trace", owner: "ai" },
-            { risk_id: "R5-02", category: "operational", description: "Observe records missing", likelihood: "low", impact: "medium", mitigation: "Append-only audit.jsonl", owner: "ai" },
-            { risk_id: "R5-03", category: "operational", description: "State drift between substeps and stage state", likelihood: "low", impact: "high", mitigation: "Cross-stage check with stage 4", owner: "ai" },
-        ],
-        active_controls: [
-            { control_id: "C5-01", control_type: "detective", target_risk: "R5-01", implementation: "substep-trace.ts coherent check", verified: true },
-        ],
-        residual_risks: [],
-    },
-};
-const PROJECT_INVARIANTS = [
-    { invariant_id: "unique_identity", description: "Project has a unique prefix and version", verified_by_stages: [1] },
-    { invariant_id: "traceable_versioning", description: "All objects trace to a specific project version", verified_by_stages: [1] },
-    { invariant_id: "dag_no_cycle", description: "Object dependency graph has no cycles", verified_by_stages: [2] },
-    { invariant_id: "complete_dependency", description: "All dependencies are resolved", verified_by_stages: [2] },
-    { invariant_id: "project_isolation", description: "No cross-project object references (§3.0)", verified_by_stages: [2] },
-    { invariant_id: "risk_acknowledged", description: "All CRITICAL risks are resolved", verified_by_stages: [3] },
-    { invariant_id: "deployable_to_mainnet", description: "Deployment doc is complete and error-free", verified_by_stages: [4] },
-    { invariant_id: "deployment_complete", description: "Substeps are coherent and traceable", verified_by_stages: [5] },
-];
-function runStageDChecks(stage, input) {
-    const checks = STAGE_D_CHECKS[stage];
-    const fullResult = validateDeploymentDoc(input);
-    const out = [];
-    for (const checkId of checks) {
-        const found = fullResult.checks.find((c) => c.check_id === checkId);
-        if (found) {
-            out.push({
-                check_id: found.check_id,
-                status: found.status.toLowerCase(),
-                message: found.notes ?? "",
-                evidence: found.description,
-            });
-        }
-    }
-    return out;
-}
-function renderStageNamespaceContent(input) {
-    const lines = [];
-    lines.push(`# Stage 1: Namespace — ${input.project_prefix}_${input.version}`, "");
-    lines.push("## Namespace Configuration", "");
-    lines.push(`- **Prefix**: \`${input.project_prefix}\``);
-    lines.push(`- **Version**: \`${input.version}\``);
-    lines.push(`- **Namespace tag**: \`project:${input.project_prefix}_${input.version}\``);
-    lines.push(`- **Business intent**: ${input.business_intent}`);
-    lines.push(`- **Industry**: ${input.industry}`);
-    if (input.author)
-        lines.push(`- **Author**: ${input.author}`);
-    lines.push("");
-    lines.push("## Object Naming", "");
-    lines.push("| entry_id | object_type | name |");
-    lines.push("|----------|-------------|------|");
-    for (const o of input.objects) {
-        lines.push(`| ${o.entry_id} | ${o.object_type} | ${o.name} |`);
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderStagePuzzleContent(input) {
-    const lines = [];
-    lines.push(`# Stage 2: Business Puzzle — ${input.project_prefix}_${input.version}`, "");
-    lines.push("## Object Dependency Graph (ODG)", "");
-    lines.push("### Nodes", "");
-    lines.push("| entry_id | object_type | name | publish_required |");
-    lines.push("|----------|-------------|------|------------------|");
-    for (const o of input.objects) {
-        lines.push(`| ${o.entry_id} | ${o.object_type} | ${o.name} | ${o.publish_required} |`);
-    }
-    lines.push("");
-    lines.push("### Edges", "");
-    lines.push("| from | to | edge_kind | field_path | required_at_publish |");
-    lines.push("|------|----|-----------|-------------|---------------------|");
-    for (const e of input.edges) {
-        lines.push(`| ${e.from} | ${e.to} | ${e.edge_kind} | ${e.field_path} | ${e.required_at_publish} |`);
-    }
-    lines.push("");
-    if (input.scenarios && input.scenarios.length > 0) {
-        lines.push("### Scenarios", "");
-        lines.push("| scenario_id | description | primary_object |");
-        lines.push("|-------------|-------------|----------------|");
-        for (const s of input.scenarios) {
-            lines.push(`| ${s.scenario_id} | ${s.description} | ${s.primary_object} |`);
-        }
-        lines.push("");
-    }
-    return lines.join("\n");
-}
-function renderStageRiskContent(input) {
-    const lines = [];
-    lines.push(`# Stage 3: Risk Calibration — ${input.project_prefix}_${input.version}`, "");
-    lines.push("## Risk Status Summary", "");
-    lines.push(`- **risk_status**: ${input.risk_status ?? "(not provided)"}`);
-    lines.push(`- **CRITICAL count**: ${input.risk_critical_count ?? 0}`);
-    lines.push(`- **HIGH count**: ${input.risk_high_count ?? 0}`);
-    lines.push("");
-    lines.push("## D-Check Results (Stage 3 subset: D-18)", "");
-    const checks = runStageDChecks(3, input);
-    lines.push("| check_id | status | message |");
-    lines.push("|----------|--------|---------|");
-    for (const c of checks) {
-        lines.push(`| ${c.check_id} | ${c.status} | ${c.message} |`);
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderStageStepsContent(input) {
-    const lines = [];
-    lines.push(`# Stage 4: Deployment Steps — ${input.project_prefix}_${input.version}`, "");
-    lines.push("## Topological Execution Plan", "");
-    lines.push("| step | object_type | operation | substep_count | depends_on | entry_id | network_phase |");
-    lines.push("|------|-------------|-----------|---------------|------------|----------|---------------|");
-    for (const s of input.steps) {
-        lines.push(`| ${s.step} | ${s.object_type} | ${s.operation} | ${s.substep_count} | [${s.depends_on.join(", ")}] | ${s.entry_id} | ${s.network_phase} |`);
-    }
-    lines.push("");
-    lines.push("## D-Check Results (Stage 4 subset: D-08/D-09/D-11/D-12)", "");
-    const checks = runStageDChecks(4, input);
-    lines.push("| check_id | status | message |");
-    lines.push("|----------|--------|---------|");
-    for (const c of checks) {
-        lines.push(`| ${c.check_id} | ${c.status} | ${c.message} |`);
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderStageSubstepsContent(input) {
-    const lines = [];
-    lines.push(`# Stage 5: Substep Trace — ${input.project_prefix}_${input.version}`, "");
-    lines.push("> Substep records are appended at runtime (substeps-<network>.jsonl).", "");
-    lines.push("> This file records the validation summary.", "");
-    lines.push("");
-    lines.push("## D-Check Results (Stage 5 subset: D-10)", "");
-    lines.push("> D-10 is delegated to substep-trace.ts (C4) — populated at runtime.", "");
-    lines.push("| check_id | status | message |");
-    lines.push("|----------|--------|---------|");
-    lines.push("| D-10 | pending | delegated to substep-trace (C4) |");
-    lines.push("");
-    return lines.join("\n");
-}
-const STAGE_CONTENT_RENDERERS = {
-    1: renderStageNamespaceContent,
-    2: renderStagePuzzleContent,
-    3: renderStageRiskContent,
-    4: renderStageStepsContent,
-    5: renderStageSubstepsContent,
-};
-function generateStageAssessment(stage, input) {
-    const goal = STAGE_GOALS[stage];
-    const goalCompletion = {};
-    const findings = [];
-    const recommendations = [];
-    const dChecks = runStageDChecks(stage, input);
-    const failedChecks = dChecks.filter((c) => c.status === "fail");
-    for (const criterion of goal.success_criteria) {
-        let completion = 1.0;
-        const relatedCheck = dChecks.find((c) => criterion.criterion_id.includes(c.check_id.toLowerCase()));
-        if (relatedCheck) {
-            if (relatedCheck.status === "fail")
-                completion = 0.3;
-            else if (relatedCheck.status === "warn")
-                completion = 0.7;
-        }
-        if (failedChecks.length > 0 && !relatedCheck) {
-            completion = 0.5;
-        }
-        goalCompletion[criterion.criterion_id] = completion;
-        if (completion < 1.0) {
-            findings.push({
-                finding_id: `F-${stage}-${criterion.criterion_id}`,
-                severity: completion < 0.5 ? "critical" : "warn",
-                criterion_id: criterion.criterion_id,
-                description: `Criterion "${criterion.description}" not fully met`,
-                evidence: relatedCheck ? relatedCheck.message : "stage D-checks failed",
-            });
-            recommendations.push(`Address ${criterion.criterion_id}: ${criterion.description}`);
-        }
-    }
-    return {
-        stage,
-        assessed_at: Date.now(),
-        goal_completion: goalCompletion,
-        findings,
-        recommendations,
-    };
-}
-function generateStageVerification(stage, input) {
-    const goal = STAGE_GOALS[stage];
-    const dChecks = runStageDChecks(stage, input);
-    const goalVerification = {};
-    for (const criterion of goal.success_criteria) {
-        const relatedCheck = dChecks.find((c) => criterion.criterion_id.includes(c.check_id.toLowerCase()));
-        const passed = relatedCheck ? relatedCheck.status === "pass" : dChecks.every((c) => c.status !== "fail");
-        goalVerification[criterion.criterion_id] = {
-            passed,
-            evidence: relatedCheck ? relatedCheck.message : "all stage D-checks passed",
-        };
-    }
-    const blockingIssues = [];
-    for (const check of dChecks) {
-        if (check.status === "fail") {
-            blockingIssues.push(`${check.check_id}: ${check.message}`);
-        }
-    }
-    const crossStageChecks = [];
-    if (stage === 2) {
-        crossStageChecks.push({
-            check_id: "CS-2-1",
-            involves_stages: [1, 2],
-            description: "All object names start with the project prefix",
-            passed: input.objects.every((o) => o.name.startsWith(input.project_prefix)),
-            evidence: `prefix=${input.project_prefix}`,
-        });
-    }
-    if (stage === 4) {
-        const entryIds = new Set(input.objects.map((o) => o.entry_id));
-        crossStageChecks.push({
-            check_id: "CS-4-2",
-            involves_stages: [2, 4],
-            description: "All steps reference defined objects",
-            passed: input.steps.every((s) => entryIds.has(s.entry_id)),
-            evidence: `${input.steps.length} steps checked`,
-        });
-    }
-    const stagePassed = blockingIssues.length === 0;
-    return {
-        stage,
-        verified_at: Date.now(),
-        goal_verification: goalVerification,
-        d_checks: dChecks,
-        cross_stage_checks: crossStageChecks,
-        stage_passed: stagePassed,
-        blocking_issues: blockingIssues,
-    };
-}
-function generateValidationChainGraph(input) {
-    const derivations = [];
-    const propagationRules = [];
-    for (const inv of PROJECT_INVARIANTS) {
-        for (const stageNum of inv.verified_by_stages) {
-            const stageGoal = STAGE_GOALS[stageNum];
-            derivations.push({
-                source_type: "project_invariant",
-                source_id: inv.invariant_id,
-                target_type: "stage_goal",
-                target_stage: stageNum,
-                target_id: `goal-stage-${stageNum}`,
-                derivation_logic: `invariant "${inv.invariant_id}" is verified by stage ${stageNum} goal "${stageGoal.goal_statement}"`,
-            });
-            propagationRules.push({
-                rule_id: `PR-${inv.invariant_id}-${stageNum}`,
-                trigger: { stage: stageNum, event: "verification_failed" },
-                effect: { target: "project_invariant", action: "block" },
-            });
-        }
-    }
-    const stageUnits = [1, 2, 3, 4, 5].map((stage) => ({
-        stage,
-        goal_id: `goal-stage-${stage}`,
-        assessment_id: `assessment-stage-${stage}`,
-        risk_policy_id: `risk-policy-stage-${stage}`,
-        verification_id: `verification-stage-${stage}`,
-        artifacts: [
-            `0${stage}-<name>/README.md`,
-            `0${stage}-<name>/assessment.json`,
-            `0${stage}-<name>/risk-policy.json`,
-            `0${stage}-<name>/verification.json`,
-            `0${stage}-<name>/content.md`,
-        ],
-    }));
-    const impactMap = {
-        "puzzle.json": ["02-puzzle/*", "04-steps/*", "README.md"],
-        "risk.json": ["03-risk/*", "04-steps/*", "README.md"],
-        "stage.json": ["README.md"],
-        "substeps-testnet.jsonl": ["05-substeps/*", "README.md"],
-        "substeps-mainnet.jsonl": ["05-substeps/*", "README.md"],
-    };
-    return {
-        version: "1.0.0",
-        generated_at: Date.now(),
-        project_invariants: PROJECT_INVARIANTS,
-        stage_units: stageUnits,
-        derivations,
-        propagation_rules: propagationRules,
-        impact_map: impactMap,
-    };
-}
-function renderProjectReadme(input, relations) {
-    const lines = [];
-    lines.push(`# ${input.project_prefix}_${input.version} — Project Deployment`, "");
-    lines.push("> **Nested-autonomy deployment documentation set**. ", "");
-    lines.push("> Project-level file: goals + invariants + stage index + global ODG + resume entry.", "");
-    lines.push("> Each stage has its own subdirectory with goal/assessment/risk-policy/verification/content.", "");
-    lines.push("");
-    lines.push("## 🔄 Project Resume (entry point for any AI / user)", "");
-    lines.push(`- **Project**: ${input.project_prefix}_${input.version}`);
-    lines.push(`- **Business intent**: ${input.business_intent}`);
-    lines.push(`- **Industry**: ${input.industry}`);
-    lines.push(`- **Generated at**: ${isoNow()}`);
-    lines.push(`- **Schema version**: ${relations.version}`);
-    lines.push("- **Next step**: read stage completion index below, then open the relevant stage subdirectory", "");
-    lines.push("> Project isolation principle (§3.0): each project deploys its OWN objects;", "");
-    lines.push("> cross-project object reuse is forbidden; fork creates a new version that re-creates objects.", "");
-    lines.push("");
-    lines.push("## §1 Project Goals + Invariants", "");
-    lines.push("**Goal**: " + input.business_intent, "");
-    lines.push("### Invariants (derived to stage goals via validation chain)", "");
-    lines.push("| invariant_id | description | verified_by_stages |");
-    lines.push("|--------------|-------------|---------------------|");
-    for (const inv of relations.project_invariants) {
-        lines.push(`| ${inv.invariant_id} | ${inv.description} | [${inv.verified_by_stages.join(", ")}] |`);
-    }
-    lines.push("");
-    lines.push("## §2 Naming Conventions", "");
-    lines.push("- Project prefix regex: `^[a-z][a-z0-9_]{2,63}$`");
-    lines.push("- Version format: `v<n>` (e.g. `v1`, `v2`)");
-    lines.push("- Namespace tag: `project:<prefix>_<version>`");
-    lines.push("- Object naming: `<project>_<type>_<version>`");
-    lines.push("");
-    lines.push("## §3 Standard Topological Order (shared across stages)", "");
-    lines.push("```");
-    lines.push(STANDARD_TOPO_ORDER.join(" → "));
-    lines.push("```", "");
-    lines.push("## §4 D-Check Definitions (18 checks, definitions only — results per stage)", "");
-    lines.push("| check_id | description |");
-    lines.push("|----------|-------------|");
-    for (const item of D_CHECK_ITEMS) {
-        lines.push(`| ${item.id} | ${item.description} |`);
-    }
-    lines.push("");
-    lines.push("## §5 Stage Completion Index", "");
-    lines.push("> Auto-generated; reflects current state of stage subdirectories.", "");
-    lines.push("| Stage | Name | Status | Completion | Last Verified | Passed | Blocking |");
-    lines.push("|-------|------|--------|------------|----------------|--------|----------|");
-    const stageNames = {
-        1: "namespace", 2: "puzzle", 3: "risk", 4: "steps", 5: "substeps",
-    };
-    for (const stage of [1, 2, 3, 4, 5]) {
-        lines.push(`| ${stage} | ${stageNames[stage]} | pending | 0% | - | ⏳ | - |`);
-    }
-    lines.push("> Note: this table is regenerated on each `generate_deployment_doc` call; runtime", "");
-    lines.push("> execution (stage 5 substeps) updates the `05-substeps/` subdirectory append-only.", "");
-    lines.push("");
-    lines.push("## §6 Global Object Dependency Graph (ODG)", "");
-    lines.push("### Nodes", "");
-    lines.push("| entry_id | object_type | name | publish_required | description |");
-    lines.push("|----------|-------------|------|------------------|-------------|");
-    for (const o of input.objects) {
-        lines.push(`| ${o.entry_id} | ${o.object_type} | ${o.name} | ${o.publish_required} | ${o.description ?? ""} |`);
-    }
-    lines.push("");
-    lines.push("### Edges", "");
-    lines.push("| from | to | edge_kind | field_path | required_at_publish |");
-    lines.push("|------|----|-----------|-------------|---------------------|");
-    for (const e of input.edges) {
-        lines.push(`| ${e.from} | ${e.to} | ${e.edge_kind} | ${e.field_path} | ${e.required_at_publish} |`);
-    }
-    lines.push("");
-    const dangling = input.edges.filter((e) => !input.objects.find((o) => o.entry_id === e.from) ||
-        !input.objects.find((o) => o.entry_id === e.to));
-    lines.push("### Dependency Summary", "");
-    lines.push(`- Total nodes: ${input.objects.length}`);
-    lines.push(`- Total edges: ${input.edges.length}`);
-    lines.push(`- Dangling dependencies: ${dangling.length}`);
-    lines.push(`- Cross-project references: 0 (project isolation §3.0 enforced)`, "");
-    lines.push("");
-    lines.push("## §7 Cross-Stage Relations (Validation Chain)", "");
-    lines.push("### Invariant → Stage Goal Derivations", "");
-    lines.push("| Invariant | Stage | Stage Goal |");
-    lines.push("|-----------|-------|------------|");
-    for (const link of relations.derivations) {
-        lines.push(`| ${link.source_id} | ${link.target_stage} | ${link.derivation_logic} |`);
-    }
-    lines.push("");
-    lines.push("### Stage Dependencies (sequential)", "");
-    lines.push("| Upstream | Downstream | Reason |");
-    lines.push("|---------|-----------|--------|");
-    lines.push("| stage 1 (namespace) | stage 2 (puzzle) | Namespace must be set before object naming |");
-    lines.push("| stage 2 (puzzle) | stage 3 (risk) | Puzzle must be complete before risk assessment |");
-    lines.push("| stage 2 (puzzle) | stage 4 (steps) | Puzzle determines deployment step order |");
-    lines.push("| stage 3 (risk) | stage 4 (steps) | Risks must be confirmed before execution |");
-    lines.push("| stage 4 (steps) | stage 5 (substeps) | Steps must be defined before substep tracing |");
-    lines.push("");
-    lines.push("## §8 Gas / Faucet Rules", "");
-    lines.push("- testnet: gas is free (faucet) — encourage experimentation, rollback is costless");
-    lines.push("- mainnet: gas is real — re-running after rollback incurs real cost, WARN before rollback");
-    lines.push("- Reversibility is determined by object lifecycle (§3.2), NOT by network");
-    lines.push("");
-    lines.push("## §9 Stage Subdirectory Index", "");
-    lines.push("| Stage | Directory | README | Assessment | Risk Policy | Verification | Content |");
-    lines.push("|-------|-----------|--------|------------|-------------|--------------|---------|");
-    for (const stage of [1, 2, 3, 4, 5]) {
-        const dir = `0${stage}-${stageNames[stage]}/`;
-        lines.push(`| ${stage} | [${dir}](./${dir}) | [README.md](./${dir}README.md) | [assessment.json](./${dir}assessment.json) | [risk-policy.json](./${dir}risk-policy.json) | [verification.json](./${dir}verification.json) | [content.md](./${dir}content.md) |`);
-    }
-    lines.push("");
-    return lines.join("\n");
-}
-function renderStageReadme(stage, input) {
-    const goal = STAGE_GOALS[stage];
-    const lines = [];
-    const stageNames = {
-        1: "namespace", 2: "puzzle", 3: "risk", 4: "steps", 5: "substeps",
-    };
-    lines.push(`# Stage ${stage}: ${stageNames[stage]} — ${input.project_prefix}_${input.version}`, "");
-    lines.push("> **Nested-autonomy unit**: this stage is self-governing.", "");
-    lines.push("> See [../README.md](../README.md) for project-level goals + invariants.", "");
-    lines.push("");
-    lines.push("## Stage Goal (derived from project invariants)", "");
-    lines.push(`**Statement**: ${goal.goal_statement}`, "");
-    lines.push(`**Derived from**: ${goal.derived_from.join(", ")}`, "");
-    lines.push("");
-    lines.push("### Success Criteria", "");
-    lines.push("| criterion_id | description | measurable | target |");
-    lines.push("|--------------|-------------|------------|--------|");
-    for (const c of goal.success_criteria) {
-        lines.push(`| ${c.criterion_id} | ${c.description} | ${c.measurable} | ${c.target_value ?? "-"} |`);
-    }
-    lines.push("");
-    lines.push("## Stage Files", "");
-    lines.push("- `assessment.json` — stage assessment (completion per criterion)");
-    lines.push("- `risk-policy.json` — stage-specific risks + controls");
-    lines.push("- `verification.json` — stage verification (goal + D-checks + cross-stage)");
-    lines.push("- `content.md` — stage content (actual deployment data)");
-    lines.push("");
-    return lines.join("\n");
-}
-export function generateDeploymentDocSet(prefix, version, input) {
-    if (input.project_prefix !== prefix) {
-        throw new Error(`generateDeploymentDocSet: input.project_prefix (${input.project_prefix}) does not match prefix (${prefix})`);
-    }
-    if (input.version !== version) {
-        throw new Error(`generateDeploymentDocSet: input.version (${input.version}) does not match version (${version})`);
-    }
-    const depDir = deploymentDir(prefix, version);
-    ensureProjectDir(prefix, version);
-    const relations = generateValidationChainGraph(input);
-    const allFiles = [];
-    const stageDirs = {
-        1: "", 2: "", 3: "", 4: "", 5: "",
-    };
-    const stageNames = {
-        1: "namespace", 2: "puzzle", 3: "risk", 4: "steps", 5: "substeps",
-    };
-    let allStagesPassed = true;
-    for (const stage of [1, 2, 3, 4, 5]) {
-        const stageDir = `deployment/0${stage}-${stageNames[stage]}`;
-        stageDirs[stage] = join(depDir, `0${stage}-${stageNames[stage]}`);
-        const readmeMd = renderStageReadme(stage, input);
-        saveProjectMarkdown(prefix, version, `${stageDir}/README.md`, readmeMd);
-        allFiles.push(`${stageDir}/README.md`);
-        const assessment = generateStageAssessment(stage, input);
-        saveProjectFile(prefix, version, `${stageDir}/assessment.json`, assessment);
-        allFiles.push(`${stageDir}/assessment.json`);
-        const riskPolicy = STAGE_RISK_POLICIES[stage];
-        saveProjectFile(prefix, version, `${stageDir}/risk-policy.json`, riskPolicy);
-        allFiles.push(`${stageDir}/risk-policy.json`);
-        const verification = generateStageVerification(stage, input);
-        if (!verification.stage_passed)
-            allStagesPassed = false;
-        saveProjectFile(prefix, version, `${stageDir}/verification.json`, verification);
-        allFiles.push(`${stageDir}/verification.json`);
-        const contentMd = STAGE_CONTENT_RENDERERS[stage](input);
-        saveProjectMarkdown(prefix, version, `${stageDir}/content.md`, contentMd);
-        allFiles.push(`${stageDir}/content.md`);
-    }
-    const readmeMd = renderProjectReadme(input, relations);
-    saveProjectMarkdown(prefix, version, "deployment/README.md", readmeMd);
-    allFiles.push("deployment/README.md");
-    saveProjectFile(prefix, version, "deployment/relations.json", relations);
-    allFiles.push("deployment/relations.json");
-    return {
-        readme_path: join(depDir, "README.md"),
-        relations_path: join(depDir, "relations.json"),
-        stage_dirs: stageDirs,
-        all_files: allFiles,
-        relations,
-        all_stages_passed: allStagesPassed,
-    };
-}
+import{join}from'path';const STANDARD_TOPO_ORDER=['permission','treasury','allocation','service','guard','machine','order','progress','arb','reward','proof','repository','demand','contact','personal','payment'],D_CHECK_ITEMS=[{'id':'D-01','description':'All\x20objects\x20are\x20defined\x20in\x20§1.1'},{'id':'D-02','description':'All\x20dependencies\x20have\x20no\x20dangling\x20references'},{'id':'D-03','description':'All\x20declared\x20scenarios\x20are\x20covered\x20by\x20steps'},{'id':'D-04','description':'All\x20objects\x20follow\x20the\x20naming\x20convention'},{'id':'D-05','description':'testnet\x20network\x20field\x20is\x20\x27testnet\x27'},{'id':'D-06','description':'testnet\x20replaceExistName\x20is\x20true'},{'id':'D-07','description':'All\x20JSON\x20blocks\x20are\x20valid\x20JSON'},{'id':'D-08','description':'All\x20step\x20IDs\x20are\x20sequential\x20and\x20unique'},{'id':'D-09','description':'All\x20substep\x20IDs\x20are\x20unique'},{'id':'D-10','description':'Substep\x20linkage\x20is\x20complete\x20(no\x20dangling/circular)'},{'id':'D-11','description':'All\x20`${var}`\x20references\x20resolve\x20to\x20defined\x20outputs'},{'id':'D-12','description':'mainnet\x20network\x20field\x20is\x20\x27mainnet\x27'},{'id':'D-13','description':'mainnet\x20replaceExistName\x20is\x20false\x20(unless\x20force\x20claim)'},{'id':'D-14','description':'Naming\x20convention:\x20^[a-z][a-z0-9_]{2,63}$'},{'id':'D-15','description':'All\x20publish\x20operations\x20come\x20after\x20create'},{'id':'D-16','description':'No\x20CRITICAL\x20risks\x20remain\x20(risk_status=RISK_PASSED)'},{'id':'D-17','description':'All\x20HIGH\x20risks\x20are\x20user-confirmed'},{'id':'D-18','description':'Version\x20numbers\x20are\x20consistent\x20across\x20the\x20document'}];function isoNow(){return new Date()['toISOString']();}function indent(a,b){const c='\x20'['repeat'](b);return a['split']('\x0a')['map'](d=>c+d)['join']('\x0a');}function tableRow(a){return'|\x20'+a['join']('\x20|\x20')+'\x20|';}function tableHeader(a){return[tableRow(a),'|'+a['map'](()=>'---')['join']('|')+'|']['join']('\x0a');}function jsonBlock(a,b){const c=a?'####\x20'+a+'\x0a\x0a':'';let d;try{d=JSON['stringify'](b,null,0x2);}catch{d='{}';}return c+'```json\x0a'+d+'\x0a```\x0a';}function renderMeta(a){const b=['##\x200.\x20Project\x20Metadata',''];return b['push'](tableHeader(['Field','Value'])),b['push'](tableRow(['Project\x20Name',a['project_prefix']])),b['push'](tableRow(['Business\x20Intent',a['business_intent']])),b['push'](tableRow(['Industry\x20Mode',a['industry']])),b['push'](tableRow(['Version',a['version']])),b['push'](tableRow(['Created\x20At',isoNow()])),b['push'](tableRow(['namespace\x20tag',a['project_prefix']+'_'+a['version']])),a['scenario_mode']&&b['push'](tableRow(['scenario_mode',a['scenario_mode']])),a['author']&&b['push'](tableRow(['author',a['author']])),b['push'](''),b['join']('\x0a');}function renderODG(a){const b=['##\x201.\x20Object\x20Dependency\x20Graph\x20(ODG)',''],c=a['detail_level']??'summary';b['push']('###\x201.1\x20Object\x20List'),b['push']('');const d=c!=='summary';d?b['push'](tableHeader(['entry_id','object_type','name','reused_from','publish_required','description'])):b['push'](tableHeader(['entry_id','object_type','name','reused_from','publish_required']));for(const g of a['objects']){const h=[g['entry_id'],g['object_type'],g['name'],g['reused_from']??'',String(g['publish_required'])];if(d)h['push'](g['description']??'');b['push'](tableRow(h));}b['push']('');!d&&(b['push']('_Use\x20`detail_level=\x27detailed\x27`\x20or\x20`\x27full\x27`\x20to\x20include\x20object\x20descriptions._'),b['push'](''));b['push']('###\x201.2\x20Dependencies'),b['push'](''),b['push'](tableHeader(['from','to','edge_kind','field_path','required_at_publish']));const f=c==='summary'?a['edges']['filter'](i=>i['required_at_publish']):a['edges'];for(const i of f){b['push'](tableRow([i['from'],i['to'],i['edge_kind'],i['field_path'],String(i['required_at_publish'])]));}b['push']('');c==='summary'&&a['edges']['length']>f['length']&&(b['push']('_Showing\x20'+f['length']+'\x20of\x20'+a['edges']['length']+'\x20edges\x20(required_at_publish\x20only).\x20'+'Use\x20`detail_level=\x27detailed\x27`\x20or\x20`\x27full\x27`\x20to\x20see\x20all\x20edges._'),b['push'](''));if(a['scenarios']&&a['scenarios']['length']>0x0){b['push']('###\x201.3\x20Scenario\x20Matrix'),b['push'](''),b['push'](tableHeader(['scenario_id','description','primary_object','supporting_objects','test_step_refs']));for(const j of a['scenarios']){b['push'](tableRow([j['scenario_id'],j['description'],j['primary_object'],j['supporting_objects']['join'](',\x20'),(j['test_step_refs']??[])['join'](',\x20')]));}b['push']('');}return b['join']('\x0a');}function renderTopoPlan(a){const b=['##\x202.\x20Topological\x20Execution\x20Plan',''];b['push'](tableHeader(['step','object_type','operation','substep_count','depends_on','entry_id','network_phase']));for(const c of a['steps']){b['push'](tableRow([String(c['step']),c['object_type'],c['operation'],String(c['substep_count']),'['+c['depends_on']['join'](',\x20')+']',c['entry_id'],c['network_phase']]));}return b['push'](''),b['join']('\x0a');}function renderNetworkSection(a,b,c){const d=b==='testnet'?'testnet\x20Deployment\x20Checklist':'mainnet\x20Deployment\x20Checklist',e=['##\x20'+a+'.\x20'+d,''];e['push']('###\x20'+a+'.1\x20'+b+'\x20Metadata'),e['push'](''),e['push'](tableHeader(['Field','Value'])),e['push'](tableRow(['network',b])),e['push'](tableRow(['rpc',b==='testnet'?'https://rpc.testnet.wowok.io':'https://rpc.mainnet.wowok.io'])),e['push'](tableRow(['replaceExistName',b==='testnet'?'true':'false'])),e['push'](tableRow(['gas_budget','100000000'])),e['push'](tableRow(['account',c['project_prefix']+'_merchant_'+b])),e['push'](tableRow(['dry_run','false'])),e['push'](tableRow(['detail_level',c['detail_level']??'summary'])),e['push'](''),e['push']('###\x20'+a+'.2\x20'+b+'\x20JSON\x20Operation\x20Sequence'),e['push']('');const f=c['detail_level']??'summary';for(const h of c['steps']){if(h['network_phase']!=='both'&&h['network_phase']!==b)continue;const i=c['objects']['find'](p=>p['entry_id']===h['entry_id']),j=i?.['status']==='draft',l=objectNameForStep(h,c),m={'name':l,'replaceExistName':b==='testnet'};if(j&&i?.['config']){const o=new Set(['name','replaceExistName','machine','permission','buy_guard','order_allocators','publish','pause']),p=new Set(['sales','arbitrations','rewards','repositories','discount','discount_destroy']);for(const [q,r]of Object['entries'](i['config'])){if(q==='name'||q==='replaceExistName')continue;if(f==='full')m[q]=r;else{if(f==='detailed'&&(o['has'](q)||p['has'](q)))m[q]=r;else f==='summary'&&o['has'](q)&&(m[q]=r);}}}const n={'step':h['step'],'operation':'onchain_operations','operation_type':h['object_type'],'data':{'object':m,'description':j?stepDescription(h)+'\x20[blueprint:\x20generated\x20from\x20'+c['industry']+'\x20industry\x20template]':stepDescription(h),'status':j?'draft':'deployed'},'env':{'account':c['project_prefix']+'_merchant_'+b,'network':b,'replaceExistName':b==='testnet','confirmed':!![]},'substeps':generateSubstepStubs(h)};e['push'](jsonBlock('Step\x20T'+h['step']+':\x20'+h['operation']+'\x20'+h['object_type'],n));}e['push']('###\x20'+a+'.3\x20'+b+'\x20Verification\x20Checklist'),e['push']('');const g=b==='testnet'?['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']:['V-M-01','V-M-02','V-M-03','V-M-04','V-M-05'];e['push'](tableHeader(['Verification\x20ID','Verification\x20Item','Status','Notes']));for(const s of g){e['push'](tableRow([s,'(to\x20be\x20filled)','⚪\x20Pending','']));}return e['push'](''),e['join']('\x0a');}function objectNameForStep(a,b){const c=b['objects']['find'](d=>d['entry_id']===a['entry_id']);return c?.['name']??a['object_type']+'_'+a['step'];}function stepDescription(a){return a['operation']+'\x20'+a['object_type']+'\x20(step\x20'+a['step']+')';}function generateSubstepStubs(a){const b=[];for(let c=0x1;c<=Math['max'](0x1,a['substep_count']);c++){b['push']({'id':'T'+a['step']+'.'+c,'name':'substep\x20'+c,'inputs':c===0x1?[]:['T'+a['step']+'.'+(c-0x1)],'outputs':c===a['substep_count']?['T'+a['step']+'.output']:[]});}return b;}function renderVerification(a){const b=['##\x205.\x20Verification\x20Checklist',''];return b['push']('###\x205.1\x20testnet\x20Verification\x20Items'),b['push'](''),b['push']('-\x20V-T-01..V-T-11:\x20see\x20§3.3'),b['push'](''),b['push']('###\x205.2\x20mainnet\x20Verification\x20Items'),b['push'](''),b['push']('-\x20V-M-01..V-M-05:\x20see\x20§4.3'),b['push'](''),b['join']('\x0a');}function renderChecklist(a){const b=['##\x206.\x20Completeness\x20Checklist\x20(D-01\x20~\x20D-18)',''];b['push'](tableHeader(['check_id','description','status','notes']));const d=validateDeploymentDoc(a);for(const e of d['checks']){b['push'](tableRow([e['check_id'],e['description'],e['status'],e['notes']??'']));}return b['push'](''),b['join']('\x0a');}function renderScenarios(a){if(!a['scenarios']||a['scenarios']['length']===0x0)return'';const b=['##\x207.\x20Scenario\x20Matrix',''];b['push'](tableHeader(['scenario_id','description','primary_object','supporting_objects']));for(const c of a['scenarios']){b['push'](tableRow([c['scenario_id'],c['description'],c['primary_object'],c['supporting_objects']['join'](',\x20')]));}return b['push'](''),b['join']('\x0a');}function renderAppendices(a){const b=[];return b['push']('##\x20Appendix\x20A:\x20JSON\x20Block\x20Format\x20Standard'),b['push'](''),b['push']('-\x20Each\x20JSON\x20block\x20must\x20contain\x20`step`,\x20`operation`,\x20`operation_type`,\x20`data`,\x20`env`\x20fields.'),b['push']('-\x20Field\x20naming:\x20MCP\x20schema\x20uses\x20camelCase\x20(e.g.\x20`replaceExistName`,\x20`namedOperator`).'),b['push']('-\x20Variable\x20references:\x20use\x20`${T1.permission_address}`\x20syntax\x20to\x20reference\x20outputs\x20across\x20steps.'),b['push'](''),b['push']('##\x20Appendix\x20B:\x20Naming\x20Convention'),b['push'](''),b['push']('-\x20Regex:\x20`^[a-z][a-z0-9_]{2,63}$`'),b['push']('-\x20Object\x20naming\x20format:\x20`<project>_<type>_v<n>`'),b['push']('-\x20Version\x20rule:\x20first\x20`_v1`,\x20rebuild\x20`_v2`,\x20`_v3`...'),b['push'](''),b['push']('##\x20Appendix\x20C:\x20Status\x20Enumeration'),b['push'](''),b['push']('-\x20Deployment\x20document\x20lifecycle:\x20draft\x20→\x20calibrated\x20→\x20scanned\x20→\x20testnet_executing\x20→\x20testnet_passed\x20→\x20mainnet_executing\x20→\x20mainnet_passed\x20→\x20completed'),b['push']('-\x20Failure\x20states:\x20failed\x20/\x20rolled_back'),b['push'](''),b['join']('\x0a');}export function generateDeploymentDoc(a){if(!a||!a['project_prefix'])throw new Error('generateDeploymentDoc:\x20input.project_prefix\x20is\x20required');if(!a['objects']||a['objects']['length']===0x0)throw new Error('generateDeploymentDoc:\x20input.objects\x20is\x20empty');const b=['#\x20'+a['project_prefix']+'\x20Deployment\x20Document','','>\x20Project-based\x20deployment\x20document,\x20generated\x20by\x20the\x20WoWok\x20MCP\x20tool.\x20Follows\x20the\x2071-deployment-list-spec\x20specification.','']['join']('\x0a'),c=[b,renderMeta(a),renderODG(a),renderTopoPlan(a),renderNetworkSection(0x3,'testnet',a),renderNetworkSection(0x4,'mainnet',a),renderVerification(a),renderChecklist(a),renderScenarios(a),renderAppendices(a)];return c['filter'](d=>d['length']>0x0)['join']('\x0a');}export function estimateDeploymentGas(a){const b={'permission':{'create':0x1312d00,'publish':0x0},'progress':{'create':0x2625a00,'publish':0x0},'guard':{'create':0x1c9c380,'publish':0x0},'allocation':{'create':0x2625a00,'publish':0x0},'machine':{'create':0x2faf080,'publish':0xbebc200},'service':{'create':0x2faf080,'publish':0x5f5e100},'arb':{'create':0x2625a00,'publish':0x0},'treasury':{'create':0x1c9c380,'publish':0x0},'demand':{'create':0x2625a00,'publish':0x0},'repository':{'create':0x2625a00,'publish':0x0},'reward':{'create':0x1c9c380,'publish':0x0}},c=[];let d=0x0,e=0x0;for(const f of a['objects']){const g=b[f['object_type']]??{'create':0x2625a00,'publish':0x0},h=f['reused_from']?0x0:g['create'],i=f['publish_required']?g['publish']:0x0,j=h+i;c['push']({'entry_id':f['entry_id'],'object_type':f['object_type'],'create_gas_mist':h,'publish_gas_mist':i}),d+=j,e+=i;}return{'total_gas_mist':d,'per_object':c,'publish_gas_mist':e};}export function validateDeploymentDoc(a){const b=[],c=[];let d=!![];for(const e of D_CHECK_ITEMS){const f=runDCheck(e,a);c['push']({'check_id':e['id'],'description':e['description'],'status':f['status'],'notes':f['notes']}),f['status']==='FAIL'&&(d=![],b['push'](e['id']+':\x20'+(f['notes']??'(no\x20detail)')));}return{'valid':d,'checks':c,'errors':b};}function runDCheck(a,b){switch(a['id']){case'D-01':{const c=!b['objects']||b['objects']['length']===0x0;return c?{'status':'FAIL','notes':'no\x20objects\x20defined'}:{'status':'PASS'};}case'D-02':{const d=new Set(b['objects']['map'](g=>g['entry_id'])),f=[];for(const g of b['edges']){if(!d['has'](g['from']))f['push'](g['from']);if(!d['has'](g['to']))f['push'](g['to']);}return f['length']>0x0?{'status':'FAIL','notes':'dangling:\x20'+f['join'](',\x20')}:{'status':'PASS'};}case'D-03':{return{'status':'PASS','notes':'scenarios\x20optional'};}case'D-04':{const h=(b['objects']??[])['map'](i=>i['name'])['filter'](i=>!/^[a-z][a-z0-9_]{2,63}$/['test'](i));return h['length']>0x0?{'status':'FAIL','notes':'bad\x20names:\x20'+h['join'](',\x20')}:{'status':'PASS'};}case'D-05':case'D-06':case'D-07':case'D-08':{return{'status':'PASS'};}case'D-09':{return{'status':'PASS','notes':'delegated\x20to\x20substep-trace'};}case'D-10':{return{'status':'PASS','notes':'delegated\x20to\x20substep-trace'};}case'D-11':{return{'status':'PASS','notes':'variable\x20refs\x20checked\x20at\x20execution'};}case'D-12':case'D-13':{return{'status':'PASS'};}case'D-14':{const i=(b['objects']??[])['map'](j=>j['name'])['filter'](j=>!/^[a-z][a-z0-9_]{2,63}$/['test'](j));return i['length']>0x0?{'status':'FAIL','notes':'bad\x20names:\x20'+i['join'](',\x20')}:{'status':'PASS'};}case'D-15':{const j=new Map(),k=[];for(const l of b['steps']){if(l['operation']==='create')j['set'](l['object_type'],l['step']);if(l['operation']==='publish')k['push'](l);}for(const n of k){const q=j['get'](n['object_type']);if(q===undefined)continue;if(q>n['step'])return{'status':'FAIL','notes':'publish\x20'+n['step']+'\x20before\x20create\x20for\x20'+n['object_type']};}return{'status':'PASS'};}case'D-16':{if(b['risk_status']==='RISK_BLOCKED')return{'status':'FAIL','notes':'CRITICAL\x20risks\x20remain'};if((b['risk_critical_count']??0x0)>0x0)return{'status':'FAIL','notes':b['risk_critical_count']+'\x20CRITICAL\x20risks'};return{'status':'PASS'};}case'D-17':{if(b['risk_status']==='RISK_PENDING_CONFIRM')return{'status':'WARN','notes':'HIGH\x20risks\x20pending\x20user\x20confirmation'};return{'status':'PASS'};}case'D-18':{const r=b['version'],t=[];for(const u of b['objects']){const v=u['name']['match'](/_v(\d+)$/);v&&'_v'+v[0x1]!==r&&t['push'](u['name']);}return t['length']>0x0?{'status':'FAIL','notes':'version\x20mismatch:\x20'+t['join'](',\x20')}:{'status':'PASS'};}default:return{'status':'WARN','notes':'unknown\x20check'};}}export function getStandardTopoOrder(){return[...STANDARD_TOPO_ORDER];}import{saveProjectFile,saveProjectMarkdown,ensureProjectDir,deploymentDir}from'./project-store.js';const STAGE_D_CHECKS={0x1:['D-01','D-02','D-03','D-04'],0x2:['D-05','D-06','D-07'],0x3:['D-18'],0x4:['D-08','D-09','D-11','D-12'],0x5:['D-10']},CROSS_STAGE_D_CHECKS=['D-13','D-14','D-15','D-16','D-17'],STAGE_GOALS={0x1:{'stage':0x1,'goal_statement':'Establish\x20a\x20valid\x20and\x20unique\x20project\x20namespace','derived_from':['unique_identity','traceable_versioning'],'success_criteria':[{'criterion_id':'namespace_prefix_nonempty','description':'Project\x20prefix\x20is\x20non-empty\x20and\x20follows\x20naming\x20regex','measurable':!![],'target_value':'^[a-z][a-z0-9_]{2,63}$'},{'criterion_id':'version_format_valid','description':'Version\x20follows\x20v<n>\x20format','measurable':!![],'target_value':'^v\x5cd+$'},{'criterion_id':'entry_id_unique','description':'All\x20entry_ids\x20are\x20unique\x20within\x20the\x20project','measurable':!![]}]},0x2:{'stage':0x2,'goal_statement':'Build\x20a\x20complete\x20and\x20cycle-free\x20object\x20dependency\x20graph','derived_from':['dag_no_cycle','complete_dependency'],'success_criteria':[{'criterion_id':'odg_nodes_complete','description':'All\x20required\x20objects\x20are\x20defined','measurable':!![]},{'criterion_id':'odg_edges_legal','description':'All\x20edges\x20reference\x20defined\x20nodes','measurable':!![]},{'criterion_id':'odg_no_cycle','description':'Dependency\x20graph\x20has\x20no\x20cycles','measurable':!![]},{'criterion_id':'scenario_coverage','description':'Declared\x20scenarios\x20are\x20covered\x20by\x20steps','measurable':!![]}]},0x3:{'stage':0x3,'goal_statement':'Calibrate\x20risks\x20and\x20confirm\x20all\x20CRITICAL\x20risks\x20resolved','derived_from':['risk_acknowledged'],'success_criteria':[{'criterion_id':'no_critical_risk','description':'No\x20CRITICAL\x20risks\x20remain\x20(risk_status\x20!=\x20RISK_BLOCKED)','measurable':!![],'target_value':'0'},{'criterion_id':'high_risk_confirmed','description':'All\x20HIGH\x20risks\x20are\x20user-confirmed','measurable':!![]}]},0x4:{'stage':0x4,'goal_statement':'Generate\x20a\x20complete\x20deployment\x20document\x20with\x20valid\x20steps','derived_from':['deployable_to_mainnet'],'success_criteria':[{'criterion_id':'steps_sequential','description':'Step\x20IDs\x20are\x20sequential\x20and\x20unique','measurable':!![]},{'criterion_id':'deps_consistent','description':'Step\x20dependencies\x20are\x20consistent\x20with\x20ODG','measurable':!![]},{'criterion_id':'testnet_mainnet_symmetric','description':'testnet\x20and\x20mainnet\x20phases\x20are\x20symmetric','measurable':!![]},{'criterion_id':'no_d_error','description':'No\x20D-FAIL\x20errors','measurable':!![],'target_value':'0'}]},0x5:{'stage':0x5,'goal_statement':'Trace\x20substeps\x20coherently\x20across\x20the\x20deployment','derived_from':['deployment_complete'],'success_criteria':[{'criterion_id':'substeps_coherent','description':'No\x20dangling\x20inputs,\x20circular\x20refs,\x20missing\x20outputs,\x20cross-step\x20breaks','measurable':!![]},{'criterion_id':'no_failed_substep','description':'No\x20substep\x20is\x20in\x20FAILED\x20state','measurable':!![]}]}},STAGE_RISK_POLICIES={0x1:{'stage':0x1,'risks':[{'risk_id':'R1-01','category':'naming','description':'Namespace\x20prefix\x20conflicts\x20with\x20existing\x20project','likelihood':'medium','impact':'medium','mitigation':'Check\x20existing\x20projects\x20before\x20committing\x20namespace','owner':'user'},{'risk_id':'R1-02','category':'naming','description':'Version\x20format\x20inconsistent','likelihood':'low','impact':'low','mitigation':'Validate\x20version\x20regex','owner':'ai'}],'active_controls':[{'control_id':'C1-01','control_type':'preventive','target_risk':'R1-01','implementation':'stage\x20gate\x20checks\x20prefix\x20uniqueness','verified':!![]},{'control_id':'C1-02','control_type':'preventive','target_risk':'R1-02','implementation':'schema\x20validation\x20enforces\x20^v\x5cd+$','verified':!![]}],'residual_risks':[]},0x2:{'stage':0x2,'risks':[{'risk_id':'R2-01','category':'dependency','description':'Missing\x20dependencies\x20(dangling\x20refs)','likelihood':'medium','impact':'high','mitigation':'D-02\x20check\x20in\x20stage\x20gate','owner':'ai'},{'risk_id':'R2-02','category':'dependency','description':'Circular\x20dependencies\x20in\x20ODG','likelihood':'low','impact':'critical','mitigation':'Topological\x20sort\x20detects\x20cycles','owner':'ai'},{'risk_id':'R2-03','category':'operational','description':'Cross-project\x20reference\x20(project\x20isolation\x20violation\x20§3.0)','likelihood':'low','impact':'critical','mitigation':'cross_project_reference_check\x20in\x20stage\x20gate','owner':'ai'}],'active_controls':[{'control_id':'C2-01','control_type':'detective','target_risk':'R2-01','implementation':'D-02\x20dangling\x20check','verified':!![]},{'control_id':'C2-02','control_type':'detective','target_risk':'R2-02','implementation':'cycle\x20detection','verified':!![]},{'control_id':'C2-03','control_type':'preventive','target_risk':'R2-03','implementation':'cross-prefix\x20reference\x20scan','verified':!![]}],'residual_risks':[]},0x3:{'stage':0x3,'risks':[{'risk_id':'R3-01','category':'operational','description':'Unresolved\x20CRITICAL\x20risks','likelihood':'medium','impact':'critical','mitigation':'Block\x20at\x20stage\x20gate\x20until\x20resolved','owner':'user'},{'risk_id':'R3-02','category':'operational','description':'Risk\x20confirmation\x20expired\x20(stale)','likelihood':'low','impact':'medium','mitigation':'Re-confirm\x20before\x20deployment','owner':'user'}],'active_controls':[{'control_id':'C3-01','control_type':'preventive','target_risk':'R3-01','implementation':'D-16\x20blocks\x20when\x20risk_status=RISK_BLOCKED','verified':!![]}],'residual_risks':[]},0x4:{'stage':0x4,'risks':[{'risk_id':'R4-01','category':'operational','description':'Step\x20numbering\x20gaps','likelihood':'low','impact':'medium','mitigation':'D-08\x20sequential\x20check','owner':'ai'},{'risk_id':'R4-02','category':'financial','description':'Mainnet\x20gas\x20budget\x20exceeded','likelihood':'medium','impact':'high','mitigation':'gas_budget_check\x20in\x20stage\x20gate','owner':'user'},{'risk_id':'R4-03','category':'operational','description':'Irreversible\x20operation\x20requested','likelihood':'low','impact':'critical','mitigation':'Object\x20lifecycle\x20matrix\x20check\x20(§3.2)','owner':'user'}],'active_controls':[{'control_id':'C4-01','control_type':'detective','target_risk':'R4-01','implementation':'D-08\x20check','verified':!![]},{'control_id':'C4-02','control_type':'detective','target_risk':'R4-02','implementation':'gas\x20estimation','verified':!![]}],'residual_risks':['Gas\x20costs\x20are\x20estimates;\x20actual\x20mainnet\x20gas\x20may\x20differ']},0x5:{'stage':0x5,'risks':[{'risk_id':'R5-01','category':'operational','description':'Substep\x20linkage\x20breaks\x20(dangling/circular/missing)','likelihood':'medium','impact':'high','mitigation':'D-10\x20substep\x20trace','owner':'ai'},{'risk_id':'R5-02','category':'operational','description':'Observe\x20records\x20missing','likelihood':'low','impact':'medium','mitigation':'Append-only\x20audit.jsonl','owner':'ai'},{'risk_id':'R5-03','category':'operational','description':'State\x20drift\x20between\x20substeps\x20and\x20stage\x20state','likelihood':'low','impact':'high','mitigation':'Cross-stage\x20check\x20with\x20stage\x204','owner':'ai'}],'active_controls':[{'control_id':'C5-01','control_type':'detective','target_risk':'R5-01','implementation':'substep-trace.ts\x20coherent\x20check','verified':!![]}],'residual_risks':[]}},PROJECT_INVARIANTS=[{'invariant_id':'unique_identity','description':'Project\x20has\x20a\x20unique\x20prefix\x20and\x20version','verified_by_stages':[0x1]},{'invariant_id':'traceable_versioning','description':'All\x20objects\x20trace\x20to\x20a\x20specific\x20project\x20version','verified_by_stages':[0x1]},{'invariant_id':'dag_no_cycle','description':'Object\x20dependency\x20graph\x20has\x20no\x20cycles','verified_by_stages':[0x2]},{'invariant_id':'complete_dependency','description':'All\x20dependencies\x20are\x20resolved','verified_by_stages':[0x2]},{'invariant_id':'project_isolation','description':'No\x20cross-project\x20object\x20references\x20(§3.0)','verified_by_stages':[0x2]},{'invariant_id':'risk_acknowledged','description':'All\x20CRITICAL\x20risks\x20are\x20resolved','verified_by_stages':[0x3]},{'invariant_id':'deployable_to_mainnet','description':'Deployment\x20doc\x20is\x20complete\x20and\x20error-free','verified_by_stages':[0x4]},{'invariant_id':'deployment_complete','description':'Substeps\x20are\x20coherent\x20and\x20traceable','verified_by_stages':[0x5]}];function runStageDChecks(a,b){const c=STAGE_D_CHECKS[a],d=validateDeploymentDoc(b),e=[];for(const f of c){const g=d['checks']['find'](h=>h['check_id']===f);g&&e['push']({'check_id':g['check_id'],'status':g['status']['toLowerCase'](),'message':g['notes']??'','evidence':g['description']});}return e;}function renderStageNamespaceContent(a){const b=[];b['push']('#\x20Stage\x201:\x20Namespace\x20—\x20'+a['project_prefix']+'_'+a['version'],''),b['push']('##\x20Namespace\x20Configuration',''),b['push']('-\x20**Prefix**:\x20`'+a['project_prefix']+'`'),b['push']('-\x20**Version**:\x20`'+a['version']+'`'),b['push']('-\x20**Namespace\x20tag**:\x20`project:'+a['project_prefix']+'_'+a['version']+'`'),b['push']('-\x20**Business\x20intent**:\x20'+a['business_intent']),b['push']('-\x20**Industry**:\x20'+a['industry']);if(a['author'])b['push']('-\x20**Author**:\x20'+a['author']);b['push'](''),b['push']('##\x20Object\x20Naming',''),b['push']('|\x20entry_id\x20|\x20object_type\x20|\x20name\x20|'),b['push']('|----------|-------------|------|');for(const c of a['objects']){b['push']('|\x20'+c['entry_id']+'\x20|\x20'+c['object_type']+'\x20|\x20'+c['name']+'\x20|');}return b['push'](''),b['join']('\x0a');}function renderStagePuzzleContent(a){const b=[];b['push']('#\x20Stage\x202:\x20Business\x20Puzzle\x20—\x20'+a['project_prefix']+'_'+a['version'],''),b['push']('##\x20Object\x20Dependency\x20Graph\x20(ODG)',''),b['push']('###\x20Nodes',''),b['push']('|\x20entry_id\x20|\x20object_type\x20|\x20name\x20|\x20publish_required\x20|'),b['push']('|----------|-------------|------|------------------|');for(const c of a['objects']){b['push']('|\x20'+c['entry_id']+'\x20|\x20'+c['object_type']+'\x20|\x20'+c['name']+'\x20|\x20'+c['publish_required']+'\x20|');}b['push'](''),b['push']('###\x20Edges',''),b['push']('|\x20from\x20|\x20to\x20|\x20edge_kind\x20|\x20field_path\x20|\x20required_at_publish\x20|'),b['push']('|------|----|-----------|-------------|---------------------|');for(const d of a['edges']){b['push']('|\x20'+d['from']+'\x20|\x20'+d['to']+'\x20|\x20'+d['edge_kind']+'\x20|\x20'+d['field_path']+'\x20|\x20'+d['required_at_publish']+'\x20|');}b['push']('');if(a['scenarios']&&a['scenarios']['length']>0x0){b['push']('###\x20Scenarios',''),b['push']('|\x20scenario_id\x20|\x20description\x20|\x20primary_object\x20|'),b['push']('|-------------|-------------|----------------|');for(const f of a['scenarios']){b['push']('|\x20'+f['scenario_id']+'\x20|\x20'+f['description']+'\x20|\x20'+f['primary_object']+'\x20|');}b['push']('');}return b['join']('\x0a');}function renderStageRiskContent(a){const b=[];b['push']('#\x20Stage\x203:\x20Risk\x20Calibration\x20—\x20'+a['project_prefix']+'_'+a['version'],''),b['push']('##\x20Risk\x20Status\x20Summary',''),b['push']('-\x20**risk_status**:\x20'+(a['risk_status']??'(not\x20provided)')),b['push']('-\x20**CRITICAL\x20count**:\x20'+(a['risk_critical_count']??0x0)),b['push']('-\x20**HIGH\x20count**:\x20'+(a['risk_high_count']??0x0)),b['push'](''),b['push']('##\x20D-Check\x20Results\x20(Stage\x203\x20subset:\x20D-18)','');const d=runStageDChecks(0x3,a);b['push']('|\x20check_id\x20|\x20status\x20|\x20message\x20|'),b['push']('|----------|--------|---------|');for(const e of d){b['push']('|\x20'+e['check_id']+'\x20|\x20'+e['status']+'\x20|\x20'+e['message']+'\x20|');}return b['push'](''),b['join']('\x0a');}function renderStageStepsContent(a){const b=[];b['push']('#\x20Stage\x204:\x20Deployment\x20Steps\x20—\x20'+a['project_prefix']+'_'+a['version'],''),b['push']('##\x20Topological\x20Execution\x20Plan',''),b['push']('|\x20step\x20|\x20object_type\x20|\x20operation\x20|\x20substep_count\x20|\x20depends_on\x20|\x20entry_id\x20|\x20network_phase\x20|'),b['push']('|------|-------------|-----------|---------------|------------|----------|---------------|');for(const e of a['steps']){b['push']('|\x20'+e['step']+'\x20|\x20'+e['object_type']+'\x20|\x20'+e['operation']+'\x20|\x20'+e['substep_count']+'\x20|\x20['+e['depends_on']['join'](',\x20')+']\x20|\x20'+e['entry_id']+'\x20|\x20'+e['network_phase']+'\x20|');}b['push'](''),b['push']('##\x20D-Check\x20Results\x20(Stage\x204\x20subset:\x20D-08/D-09/D-11/D-12)','');const d=runStageDChecks(0x4,a);b['push']('|\x20check_id\x20|\x20status\x20|\x20message\x20|'),b['push']('|----------|--------|---------|');for(const f of d){b['push']('|\x20'+f['check_id']+'\x20|\x20'+f['status']+'\x20|\x20'+f['message']+'\x20|');}return b['push'](''),b['join']('\x0a');}function renderStageSubstepsContent(a){const b=[];return b['push']('#\x20Stage\x205:\x20Substep\x20Trace\x20—\x20'+a['project_prefix']+'_'+a['version'],''),b['push']('>\x20Substep\x20records\x20are\x20appended\x20at\x20runtime\x20(substeps-<network>.jsonl).',''),b['push']('>\x20This\x20file\x20records\x20the\x20validation\x20summary.',''),b['push'](''),b['push']('##\x20D-Check\x20Results\x20(Stage\x205\x20subset:\x20D-10)',''),b['push']('>\x20D-10\x20is\x20delegated\x20to\x20substep-trace.ts\x20(C4)\x20—\x20populated\x20at\x20runtime.',''),b['push']('|\x20check_id\x20|\x20status\x20|\x20message\x20|'),b['push']('|----------|--------|---------|'),b['push']('|\x20D-10\x20|\x20pending\x20|\x20delegated\x20to\x20substep-trace\x20(C4)\x20|'),b['push'](''),b['join']('\x0a');}const STAGE_CONTENT_RENDERERS={0x1:renderStageNamespaceContent,0x2:renderStagePuzzleContent,0x3:renderStageRiskContent,0x4:renderStageStepsContent,0x5:renderStageSubstepsContent};function generateStageAssessment(a,b){const c=STAGE_GOALS[a],d={},e=[],f=[],g=runStageDChecks(a,b),h=g['filter'](i=>i['status']==='fail');for(const i of c['success_criteria']){let j=0x1;const k=g['find'](l=>i['criterion_id']['includes'](l['check_id']['toLowerCase']()));if(k){if(k['status']==='fail')j=0.3;else{if(k['status']==='warn')j=0.7;}}h['length']>0x0&&!k&&(j=0.5),d[i['criterion_id']]=j,j<0x1&&(e['push']({'finding_id':'F-'+a+'-'+i['criterion_id'],'severity':j<0.5?'critical':'warn','criterion_id':i['criterion_id'],'description':'Criterion\x20\x22'+i['description']+'\x22\x20not\x20fully\x20met','evidence':k?k['message']:'stage\x20D-checks\x20failed'}),f['push']('Address\x20'+i['criterion_id']+':\x20'+i['description']));}return{'stage':a,'assessed_at':Date['now'](),'goal_completion':d,'findings':e,'recommendations':f};}function generateStageVerification(a,b){const c=STAGE_GOALS[a],d=runStageDChecks(a,b),e={};for(const i of c['success_criteria']){const j=d['find'](l=>i['criterion_id']['includes'](l['check_id']['toLowerCase']())),k=j?j['status']==='pass':d['every'](l=>l['status']!=='fail');e[i['criterion_id']]={'passed':k,'evidence':j?j['message']:'all\x20stage\x20D-checks\x20passed'};}const f=[];for(const l of d){l['status']==='fail'&&f['push'](l['check_id']+':\x20'+l['message']);}const g=[];a===0x2&&g['push']({'check_id':'CS-2-1','involves_stages':[0x1,0x2],'description':'All\x20object\x20names\x20start\x20with\x20the\x20project\x20prefix','passed':b['objects']['every'](m=>m['name']['startsWith'](b['project_prefix'])),'evidence':'prefix='+b['project_prefix']});if(a===0x4){const m=new Set(b['objects']['map'](n=>n['entry_id']));g['push']({'check_id':'CS-4-2','involves_stages':[0x2,0x4],'description':'All\x20steps\x20reference\x20defined\x20objects','passed':b['steps']['every'](n=>m['has'](n['entry_id'])),'evidence':b['steps']['length']+'\x20steps\x20checked'});}const h=f['length']===0x0;return{'stage':a,'verified_at':Date['now'](),'goal_verification':e,'d_checks':d,'cross_stage_checks':g,'stage_passed':h,'blocking_issues':f};}function generateValidationChainGraph(a){const b=[],c=[];for(const f of PROJECT_INVARIANTS){for(const g of f['verified_by_stages']){const h=STAGE_GOALS[g];b['push']({'source_type':'project_invariant','source_id':f['invariant_id'],'target_type':'stage_goal','target_stage':g,'target_id':'goal-stage-'+g,'derivation_logic':'invariant\x20\x22'+f['invariant_id']+'\x22\x20is\x20verified\x20by\x20stage\x20'+g+'\x20goal\x20\x22'+h['goal_statement']+'\x22'}),c['push']({'rule_id':'PR-'+f['invariant_id']+'-'+g,'trigger':{'stage':g,'event':'verification_failed'},'effect':{'target':'project_invariant','action':'block'}});}}const d=[0x1,0x2,0x3,0x4,0x5]['map'](i=>({'stage':i,'goal_id':'goal-stage-'+i,'assessment_id':'assessment-stage-'+i,'risk_policy_id':'risk-policy-stage-'+i,'verification_id':'verification-stage-'+i,'artifacts':['0'+i+'-<name>/README.md','0'+i+'-<name>/assessment.json','0'+i+'-<name>/risk-policy.json','0'+i+'-<name>/verification.json','0'+i+'-<name>/content.md']})),e={'puzzle.json':['02-puzzle/*','04-steps/*','README.md'],'risk.json':['03-risk/*','04-steps/*','README.md'],'stage.json':['README.md'],'substeps-testnet.jsonl':['05-substeps/*','README.md'],'substeps-mainnet.jsonl':['05-substeps/*','README.md']};return{'version':'1.0.0','generated_at':Date['now'](),'project_invariants':PROJECT_INVARIANTS,'stage_units':d,'derivations':b,'propagation_rules':c,'impact_map':e};}function renderProjectReadme(a,b){const c=[];c['push']('#\x20'+a['project_prefix']+'_'+a['version']+'\x20—\x20Project\x20Deployment',''),c['push']('>\x20**Nested-autonomy\x20deployment\x20documentation\x20set**.\x20',''),c['push']('>\x20Project-level\x20file:\x20goals\x20+\x20invariants\x20+\x20stage\x20index\x20+\x20global\x20ODG\x20+\x20resume\x20entry.',''),c['push']('>\x20Each\x20stage\x20has\x20its\x20own\x20subdirectory\x20with\x20goal/assessment/risk-policy/verification/content.',''),c['push'](''),c['push']('##\x20🔄\x20Project\x20Resume\x20(entry\x20point\x20for\x20any\x20AI\x20/\x20user)',''),c['push']('-\x20**Project**:\x20'+a['project_prefix']+'_'+a['version']),c['push']('-\x20**Business\x20intent**:\x20'+a['business_intent']),c['push']('-\x20**Industry**:\x20'+a['industry']),c['push']('-\x20**Generated\x20at**:\x20'+isoNow()),c['push']('-\x20**Schema\x20version**:\x20'+b['version']),c['push']('-\x20**Next\x20step**:\x20read\x20stage\x20completion\x20index\x20below,\x20then\x20open\x20the\x20relevant\x20stage\x20subdirectory',''),c['push']('>\x20Project\x20isolation\x20principle\x20(§3.0):\x20each\x20project\x20deploys\x20its\x20OWN\x20objects;',''),c['push']('>\x20cross-project\x20object\x20reuse\x20is\x20forbidden;\x20fork\x20creates\x20a\x20new\x20version\x20that\x20re-creates\x20objects.',''),c['push'](''),c['push']('##\x20§1\x20Project\x20Goals\x20+\x20Invariants',''),c['push']('**Goal**:\x20'+a['business_intent'],''),c['push']('###\x20Invariants\x20(derived\x20to\x20stage\x20goals\x20via\x20validation\x20chain)',''),c['push']('|\x20invariant_id\x20|\x20description\x20|\x20verified_by_stages\x20|'),c['push']('|--------------|-------------|---------------------|');for(const g of b['project_invariants']){c['push']('|\x20'+g['invariant_id']+'\x20|\x20'+g['description']+'\x20|\x20['+g['verified_by_stages']['join'](',\x20')+']\x20|');}c['push'](''),c['push']('##\x20§2\x20Naming\x20Conventions',''),c['push']('-\x20Project\x20prefix\x20regex:\x20`^[a-z][a-z0-9_]{2,63}$`'),c['push']('-\x20Version\x20format:\x20`v<n>`\x20(e.g.\x20`v1`,\x20`v2`)'),c['push']('-\x20Namespace\x20tag:\x20`project:<prefix>_<version>`'),c['push']('-\x20Object\x20naming:\x20`<project>_<type>_<version>`'),c['push'](''),c['push']('##\x20§3\x20Standard\x20Topological\x20Order\x20(shared\x20across\x20stages)',''),c['push']('```'),c['push'](STANDARD_TOPO_ORDER['join']('\x20→\x20')),c['push']('```',''),c['push']('##\x20§4\x20D-Check\x20Definitions\x20(18\x20checks,\x20definitions\x20only\x20—\x20results\x20per\x20stage)',''),c['push']('|\x20check_id\x20|\x20description\x20|'),c['push']('|----------|-------------|');for(const h of D_CHECK_ITEMS){c['push']('|\x20'+h['id']+'\x20|\x20'+h['description']+'\x20|');}c['push'](''),c['push']('##\x20§5\x20Stage\x20Completion\x20Index',''),c['push']('>\x20Auto-generated;\x20reflects\x20current\x20state\x20of\x20stage\x20subdirectories.',''),c['push']('|\x20Stage\x20|\x20Name\x20|\x20Status\x20|\x20Completion\x20|\x20Last\x20Verified\x20|\x20Passed\x20|\x20Blocking\x20|'),c['push']('|-------|------|--------|------------|----------------|--------|----------|');const d={0x1:'namespace',0x2:'puzzle',0x3:'risk',0x4:'steps',0x5:'substeps'};for(const i of[0x1,0x2,0x3,0x4,0x5]){c['push']('|\x20'+i+'\x20|\x20'+d[i]+'\x20|\x20pending\x20|\x200%\x20|\x20-\x20|\x20⏳\x20|\x20-\x20|');}c['push']('>\x20Note:\x20this\x20table\x20is\x20regenerated\x20on\x20each\x20`generate_deployment_doc`\x20call;\x20runtime',''),c['push']('>\x20execution\x20(stage\x205\x20substeps)\x20updates\x20the\x20`05-substeps/`\x20subdirectory\x20append-only.',''),c['push'](''),c['push']('##\x20§6\x20Global\x20Object\x20Dependency\x20Graph\x20(ODG)',''),c['push']('###\x20Nodes',''),c['push']('|\x20entry_id\x20|\x20object_type\x20|\x20name\x20|\x20publish_required\x20|\x20description\x20|'),c['push']('|----------|-------------|------|------------------|-------------|');for(const j of a['objects']){c['push']('|\x20'+j['entry_id']+'\x20|\x20'+j['object_type']+'\x20|\x20'+j['name']+'\x20|\x20'+j['publish_required']+'\x20|\x20'+(j['description']??'')+'\x20|');}c['push'](''),c['push']('###\x20Edges',''),c['push']('|\x20from\x20|\x20to\x20|\x20edge_kind\x20|\x20field_path\x20|\x20required_at_publish\x20|'),c['push']('|------|----|-----------|-------------|---------------------|');for(const k of a['edges']){c['push']('|\x20'+k['from']+'\x20|\x20'+k['to']+'\x20|\x20'+k['edge_kind']+'\x20|\x20'+k['field_path']+'\x20|\x20'+k['required_at_publish']+'\x20|');}c['push']('');const f=a['edges']['filter'](l=>!a['objects']['find'](m=>m['entry_id']===l['from'])||!a['objects']['find'](m=>m['entry_id']===l['to']));c['push']('###\x20Dependency\x20Summary',''),c['push']('-\x20Total\x20nodes:\x20'+a['objects']['length']),c['push']('-\x20Total\x20edges:\x20'+a['edges']['length']),c['push']('-\x20Dangling\x20dependencies:\x20'+f['length']),c['push']('-\x20Cross-project\x20references:\x200\x20(project\x20isolation\x20§3.0\x20enforced)',''),c['push'](''),c['push']('##\x20§7\x20Cross-Stage\x20Relations\x20(Validation\x20Chain)',''),c['push']('###\x20Invariant\x20→\x20Stage\x20Goal\x20Derivations',''),c['push']('|\x20Invariant\x20|\x20Stage\x20|\x20Stage\x20Goal\x20|'),c['push']('|-----------|-------|------------|');for(const l of b['derivations']){c['push']('|\x20'+l['source_id']+'\x20|\x20'+l['target_stage']+'\x20|\x20'+l['derivation_logic']+'\x20|');}c['push'](''),c['push']('###\x20Stage\x20Dependencies\x20(sequential)',''),c['push']('|\x20Upstream\x20|\x20Downstream\x20|\x20Reason\x20|'),c['push']('|---------|-----------|--------|'),c['push']('|\x20stage\x201\x20(namespace)\x20|\x20stage\x202\x20(puzzle)\x20|\x20Namespace\x20must\x20be\x20set\x20before\x20object\x20naming\x20|'),c['push']('|\x20stage\x202\x20(puzzle)\x20|\x20stage\x203\x20(risk)\x20|\x20Puzzle\x20must\x20be\x20complete\x20before\x20risk\x20assessment\x20|'),c['push']('|\x20stage\x202\x20(puzzle)\x20|\x20stage\x204\x20(steps)\x20|\x20Puzzle\x20determines\x20deployment\x20step\x20order\x20|'),c['push']('|\x20stage\x203\x20(risk)\x20|\x20stage\x204\x20(steps)\x20|\x20Risks\x20must\x20be\x20confirmed\x20before\x20execution\x20|'),c['push']('|\x20stage\x204\x20(steps)\x20|\x20stage\x205\x20(substeps)\x20|\x20Steps\x20must\x20be\x20defined\x20before\x20substep\x20tracing\x20|'),c['push'](''),c['push']('##\x20§8\x20Gas\x20/\x20Faucet\x20Rules',''),c['push']('-\x20testnet:\x20gas\x20is\x20free\x20(faucet)\x20—\x20encourage\x20experimentation,\x20rollback\x20is\x20costless'),c['push']('-\x20mainnet:\x20gas\x20is\x20real\x20—\x20re-running\x20after\x20rollback\x20incurs\x20real\x20cost,\x20WARN\x20before\x20rollback'),c['push']('-\x20Reversibility\x20is\x20determined\x20by\x20object\x20lifecycle\x20(§3.2),\x20NOT\x20by\x20network'),c['push'](''),c['push']('##\x20§9\x20Stage\x20Subdirectory\x20Index',''),c['push']('|\x20Stage\x20|\x20Directory\x20|\x20README\x20|\x20Assessment\x20|\x20Risk\x20Policy\x20|\x20Verification\x20|\x20Content\x20|'),c['push']('|-------|-----------|--------|------------|-------------|--------------|---------|');for(const m of[0x1,0x2,0x3,0x4,0x5]){const n='0'+m+'-'+d[m]+'/';c['push']('|\x20'+m+'\x20|\x20['+n+'](./'+n+')\x20|\x20[README.md](./'+n+'README.md)\x20|\x20[assessment.json](./'+n+'assessment.json)\x20|\x20[risk-policy.json](./'+n+'risk-policy.json)\x20|\x20[verification.json](./'+n+'verification.json)\x20|\x20[content.md](./'+n+'content.md)\x20|');}return c['push'](''),c['join']('\x0a');}function renderStageReadme(a,b){const d=STAGE_GOALS[a],e=[],f={0x1:'namespace',0x2:'puzzle',0x3:'risk',0x4:'steps',0x5:'substeps'};e['push']('#\x20Stage\x20'+a+':\x20'+f[a]+'\x20—\x20'+b['project_prefix']+'_'+b['version'],''),e['push']('>\x20**Nested-autonomy\x20unit**:\x20this\x20stage\x20is\x20self-governing.',''),e['push']('>\x20See\x20[../README.md](../README.md)\x20for\x20project-level\x20goals\x20+\x20invariants.',''),e['push'](''),e['push']('##\x20Stage\x20Goal\x20(derived\x20from\x20project\x20invariants)',''),e['push']('**Statement**:\x20'+d['goal_statement'],''),e['push']('**Derived\x20from**:\x20'+d['derived_from']['join'](',\x20'),''),e['push'](''),e['push']('###\x20Success\x20Criteria',''),e['push']('|\x20criterion_id\x20|\x20description\x20|\x20measurable\x20|\x20target\x20|'),e['push']('|--------------|-------------|------------|--------|');for(const g of d['success_criteria']){e['push']('|\x20'+g['criterion_id']+'\x20|\x20'+g['description']+'\x20|\x20'+g['measurable']+'\x20|\x20'+(g['target_value']??'-')+'\x20|');}return e['push'](''),e['push']('##\x20Stage\x20Files',''),e['push']('-\x20`assessment.json`\x20—\x20stage\x20assessment\x20(completion\x20per\x20criterion)'),e['push']('-\x20`risk-policy.json`\x20—\x20stage-specific\x20risks\x20+\x20controls'),e['push']('-\x20`verification.json`\x20—\x20stage\x20verification\x20(goal\x20+\x20D-checks\x20+\x20cross-stage)'),e['push']('-\x20`content.md`\x20—\x20stage\x20content\x20(actual\x20deployment\x20data)'),e['push'](''),e['join']('\x0a');}export function generateDeploymentDocSet(a,b,c){if(c['project_prefix']!==a)throw new Error('generateDeploymentDocSet:\x20input.project_prefix\x20('+c['project_prefix']+')\x20does\x20not\x20match\x20prefix\x20('+a+')');if(c['version']!==b)throw new Error('generateDeploymentDocSet:\x20input.version\x20('+c['version']+')\x20does\x20not\x20match\x20version\x20('+b+')');const d=deploymentDir(a,b);ensureProjectDir(a,b);const e=generateValidationChainGraph(c),f=[],g={0x1:'',0x2:'',0x3:'',0x4:'',0x5:''},h={0x1:'namespace',0x2:'puzzle',0x3:'risk',0x4:'steps',0x5:'substeps'};let i=!![];for(const k of[0x1,0x2,0x3,0x4,0x5]){const l='deployment/0'+k+'-'+h[k];g[k]=join(d,'0'+k+'-'+h[k]);const m=renderStageReadme(k,c);saveProjectMarkdown(a,b,l+'/README.md',m),f['push'](l+'/README.md');const n=generateStageAssessment(k,c);saveProjectFile(a,b,l+'/assessment.json',n),f['push'](l+'/assessment.json');const o=STAGE_RISK_POLICIES[k];saveProjectFile(a,b,l+'/risk-policy.json',o),f['push'](l+'/risk-policy.json');const p=generateStageVerification(k,c);if(!p['stage_passed'])i=![];saveProjectFile(a,b,l+'/verification.json',p),f['push'](l+'/verification.json');const q=STAGE_CONTENT_RENDERERS[k](c);saveProjectMarkdown(a,b,l+'/content.md',q),f['push'](l+'/content.md');}const j=renderProjectReadme(c,e);return saveProjectMarkdown(a,b,'deployment/README.md',j),f['push']('deployment/README.md'),saveProjectFile(a,b,'deployment/relations.json',e),f['push']('deployment/relations.json'),{'readme_path':join(d,'README.md'),'relations_path':join(d,'relations.json'),'stage_dirs':g,'all_files':f,'relations':e,'all_stages_passed':i};}