@scriptc/compiler 0.0.0 → 0.0.2

package/dist/coverage/report.js

@@ -0,0 +1,238 @@
+import { renderAll } from "../diagnostics/render.js";
+const GREEN = "\x1b[32m";
+const YELLOW = "\x1b[33m";
+const RED = "\x1b[31m";
+const DIM = "\x1b[2m";
+const BOLD = "\x1b[1m";
+const RESET = "\x1b[0m";
+const MILESTONE_ORDER = ["M1", "M2", "M3", "M4", "M5", "later"];
+/** Codes whose construct RUNS under --dynamic (the embedded engine) — the
+ * report separates "one flag away" from "cannot compile at all". */
+const DYNAMIC_CAPABLE = new Set(["SC2010", "SC2011", "SC2012", "SC2013"]);
+export function renderCoverage(input, opts = {}) {
+    const c = (code, s) => (opts.color ? code + s + RESET : s);
+    const out = [];
+    out.push(`${c(BOLD, "scriptc coverage")} ${DIMPath(input.file, opts.color ?? false)}`);
+    out.push("");
+    if (input.preflightFailed) {
+        // Three preflight failure shapes, in order of "whose problem is it":
+        // an incompatible project config (SC0002 — ours to explain), real
+        // TypeScript errors (theirs to fix), and OUR import-form fences
+        // (SC1xxx from checkPreflight — lowering-style blockers that shape
+        // the module graph, reported as blockers instead of masquerading as
+        // "TypeScript errors").
+        const config = input.diagnostics.filter((d) => d.code === "SC0002");
+        if (config.length > 0) {
+            out.push(`  ${c(RED, "not analyzable")}: ${config[0].message}`);
+            return out.join("\n");
+        }
+        const tsc = input.diagnostics.filter((d) => d.code === "SC0001");
+        if (tsc.length > 0) {
+            out.push(`  ${c(RED, "not analyzable")}: ${tsc.length} TypeScript error${tsc.length === 1 ? "" : "s"} — ` +
+                `fix type errors first (scriptc only analyzes programs that typecheck)`);
+            // The same rendered diagnostics a build prints: coverage is the
+            // command people reach for first, so the verdict line alone would
+            // swallow the code frames that say what to fix.
+            if (opts.sourceTexts) {
+                out.push("");
+                out.push(renderAll(tsc, opts.sourceTexts, { color: opts.color ?? false }));
+            }
+            return out.join("\n");
+        }
+        const n = input.diagnostics.length;
+        out.push(`  ${c(RED, "analysis stopped at preflight")}: ${n} unsupported import site${n === 1 ? "" : "s"} — ` +
+            `the module graph must load before statements can be counted`);
+        const blockers = groupBlockers(input.diagnostics);
+        const widest = Math.max(...blockers.map((b) => b.what.length));
+        for (const b of blockers) {
+            out.push(`    ${c(RED, `×${b.count}`.padStart(4))}  ${b.what.padEnd(widest)}  ${c(DIM, b.code)}`);
+        }
+        if (opts.sourceTexts) {
+            out.push("");
+            out.push(renderAll(input.diagnostics, opts.sourceTexts, { color: opts.color ?? false }));
+        }
+        return out.join("\n");
+    }
+    // Top-line numbers stay whole-program: reached statements plus the
+    // unreached remainder the analysis lowered anyway. Under --dynamic the
+    // island-lowered statements split out as "compile dynamically" — they
+    // BUILD, but their work runs in the embedded engine, and counting them
+    // as static would overstate how native the program is.
+    const un = input.unreached;
+    const total = input.stats.statementsTotal + (un?.stats.statementsTotal ?? 0);
+    const failed = input.stats.statementsFailed + (un?.stats.statementsFailed ?? 0);
+    const island = input.stats.statementsIsland + (un?.stats.statementsIsland ?? 0);
+    const skipped = input.stats.functionsSkipped + (un?.stats.functionsSkipped ?? 0);
+    const ok = total - failed - island;
+    const pct = total === 0 ? 100 : Math.floor((ok / total) * 100);
+    const pctColor = pct === 100 ? GREEN : pct >= 75 ? YELLOW : RED;
+    out.push(`  statements analyzed   ${total}`);
+    out.push(`  compile statically    ${ok}  ${c(pctColor, c(BOLD, `(${pct}%)`))}`);
+    if (input.dynamic) {
+        const ipct = total === 0 ? 0 : Math.floor((island / total) * 100);
+        out.push(`  compile dynamically   ${island}  ${c(YELLOW, c(BOLD, `(${ipct}%)`))} ${c(DIM, "(island sites — the embedded engine runs them)")}`);
+    }
+    if (skipped > 0) {
+        out.push(`  ${c(DIM, `(+${skipped} function${skipped === 1 ? "" : "s"} not analyzed — signature blocked)`)}`);
+    }
+    out.push("");
+    // --npm-static outcomes: which opted-in packages compiled statically as
+    // program modules and which fell back to the island (with the first
+    // refusal reason) — the flag's honesty section.
+    const npmStatic = input.npmStatic ?? [];
+    if (npmStatic.length > 0) {
+        out.push(`  ${c(DIM, "npm packages compiled statically (--npm-static):")}`);
+        const widestP = Math.max(...npmStatic.map((s) => s.package.length));
+        for (const s of npmStatic) {
+            const status = s.status === "static"
+                ? c(GREEN, "static")
+                : c(YELLOW, "island fallback") + (s.detail !== undefined ? ` ${c(DIM, `(${s.detail})`)}` : "");
+            out.push(`    ${s.package.padEnd(widestP)}  ${status}`);
+        }
+        out.push("");
+    }
+    // What the embedded npm code asks of the island: every Node builtin the
+    // graph imports, with its shim status, plus every unresolvable specifier
+    // only require()/import() edges reach. Eagerly-blocked builtins also
+    // surface as SC2030 blockers below; "lazy trap" rows DON'T fail the
+    // build — the binary embeds Node's call-time error and the call throws
+    // at runtime, exactly where Node would have failed.
+    const builtins = (input.dynamic && input.npmBuiltins) || [];
+    const traps = (input.dynamic && input.npmLazyTraps) || [];
+    if (builtins.length > 0 || traps.length > 0) {
+        out.push(`  ${c(DIM, traps.length > 0 ? "embedded npm code imports Node builtins and unresolved specifiers:" : "embedded npm code imports Node builtins:")}`);
+        const widestB = Math.max(...builtins.map((b) => b.builtin.length), ...traps.map((t) => t.specifier.length));
+        // Pad the plain words before coloring — escape codes have no width.
+        const widestS = Math.max(...builtins.map((b) => (b.shimmed ? 7 : b.lazy ? 23 : 11)), ...traps.map(() => 24));
+        for (const b of builtins) {
+            const status = b.shimmed
+                ? c(GREEN, "shimmed".padEnd(widestS))
+                : b.lazy
+                    ? c(YELLOW, "not shimmed — lazy trap".padEnd(widestS))
+                    : c(RED, "not shimmed".padEnd(widestS));
+            out.push(`    ${b.builtin.padEnd(widestB)}  ${status}  ${c(DIM, `(${b.packages.join(", ")})`)}`);
+        }
+        for (const t of traps) {
+            // A native .node addon RESOLVED — the island cannot dlopen it, so
+            // the build embedded a throwing ERR_DLOPEN_FAILED stub instead of
+            // the addon's machine code; unresolvable rows keep Node's not-found
+            // error shapes.
+            const what = t.native ? "native addon — lazy trap" : "unresolvable — lazy trap";
+            out.push(`    ${t.specifier.padEnd(widestB)}  ${c(YELLOW, what.padEnd(widestS))}  ` +
+                c(DIM, `(${t.via.join("/")} in ${t.packages.join(", ")})`));
+        }
+        if (builtins.some((b) => b.lazy) || traps.length > 0) {
+            out.push(`    ${c(DIM, "(lazy trap: only reachable through require()/import() boundaries — the build embeds Node's call-time error; the call throws at runtime)")}`);
+        }
+        out.push("");
+    }
+    // --provenance-sources: per-package attribution — the answer to "did
+    // the DEPENDENCY's statements compile static?", computed by summing
+    // statsByFile entries under each package's source dir. Elided
+    // pure-annotated dead consts and fallback notes render here too, so
+    // the provenance story is complete in one place.
+    if (input.provenance !== undefined) {
+        const prov = input.provenance;
+        out.push(`  ${c(BOLD, "provenance sources")}   ${c(DIM, "(attested source compiled as program modules)")}`);
+        for (const pkg of prov.packages) {
+            let pTotal = 0;
+            let pFailed = 0;
+            let pIsland = 0;
+            const dir = pkg.dir.endsWith("/") ? pkg.dir : `${pkg.dir}/`;
+            for (const [file, s] of input.statsByFile ?? []) {
+                if (!file.startsWith(dir))
+                    continue;
+                pTotal += s.total;
+                pFailed += s.failed;
+                pIsland += s.island;
+            }
+            const elided = (input.provenanceElided ?? []).filter((d) => d.loc.file.startsWith(dir)).length;
+            const pOk = pTotal - pFailed - pIsland;
+            const pPct = pTotal === 0 ? 100 : Math.floor((pOk / pTotal) * 100);
+            const pColor = pPct === 100 ? GREEN : pPct >= 75 ? YELLOW : RED;
+            const shortRepo = pkg.repo.replace(/^git\+/, "").replace(/^https:\/\//, "").replace(/@refs\/.*$/, "");
+            out.push(`    ${pkg.name}@${pkg.version}  ${c(DIM, `${shortRepo} @ ${pkg.commit.slice(0, 12)}`)}`);
+            out.push(`      ${pTotal} statements: ${pOk} static ${c(pColor, c(BOLD, `(${pPct}%)`))}, ${pIsland} island, ${pFailed} fenced` +
+                (elided > 0 ? ` ${c(DIM, `(${elided} fence${elided === 1 ? "" : "s"} elided as @__PURE__ dead consts — uses would fence per site)`)}` : ""));
+        }
+        for (const note of prov.notes)
+            out.push(`    ${c(YELLOW, "note")}  ${note}`);
+        out.push("");
+    }
+    // JS statements whose fences DEFERRED to runtime (the runtimeFence
+    // statements the module carries): they compile, but executing one
+    // throws its SC-coded error — the report lists them so a "compiling"
+    // JS program never hides its dynamic gaps.
+    const fences = input.runtimeFences ?? [];
+    if (fences.length > 0) {
+        const grouped = groupBlockers(fences);
+        const widestF = Math.max(...grouped.map((b) => b.what.length));
+        out.push(`  ${c(YELLOW, "deferred to runtime")}   ${fences.length} site${fences.length === 1 ? "" : "s"} ${c(DIM, "(JS statements that throw their fence if executed)")}`);
+        for (const b of grouped) {
+            out.push(`    ${c(YELLOW, `×${b.count}`.padStart(4))}  ${b.what.padEnd(widestF)}  ${c(DIM, b.code)}`);
+        }
+        out.push("");
+    }
+    const unreachedDiags = un?.diagnostics ?? [];
+    if (failed === 0 && input.diagnostics.length === 0 && unreachedDiags.length === 0) {
+        out.push(island > 0
+            ? `  ${c(GREEN, "builds with --dynamic")} — no remaining blockers (the island sites above run in the embedded engine).`
+            : `  ${c(GREEN, "fully static")} — this program has no dynamic remainder.`);
+        return out.join("\n");
+    }
+    // Ordered by internal scheduling (soonest first), then by frequency —
+    // the top line is the blocker most likely to disappear next. The
+    // milestone labels themselves are maintainer business and never rendered.
+    // Blockers split by what a flag can fix: sites that RUN under --dynamic
+    // (the embedded engine) versus constructs with no lowering at all.
+    const blockers = groupBlockers(input.diagnostics);
+    const unreachedBlockers = groupBlockers(unreachedDiags);
+    const dynamic = blockers.filter((b) => DYNAMIC_CAPABLE.has(b.code));
+    const rejected = blockers.filter((b) => !DYNAMIC_CAPABLE.has(b.code));
+    const widest = Math.max(...[...blockers, ...unreachedBlockers].map((b) => b.what.length));
+    const renderGroup = (group, dim = false) => {
+        for (const b of group) {
+            const what = b.what.padEnd(widest);
+            out.push(`    ${c(dim ? DIM : RED, `×${b.count}`.padStart(4))}  ${dim ? c(DIM, what) : what}  ${c(DIM, b.code)}`);
+        }
+    };
+    if (dynamic.length > 0) {
+        const sites = dynamic.reduce((n, b) => n + b.count, 0);
+        out.push(`  ${c(YELLOW, `runs with --dynamic`)}   ${sites} site${sites === 1 ? "" : "s"} ${c(DIM, "(embeds a JS engine, ~620KB — static stays the default)")}`);
+        renderGroup(dynamic);
+        out.push("");
+    }
+    if (rejected.length > 0) {
+        out.push(`  blockers:`);
+        renderGroup(rejected);
+    }
+    // Blockers in code nothing on the entry path reaches: never lowered by
+    // a build, so they cannot fail one — secondary by design.
+    if (unreachedBlockers.length > 0) {
+        if (rejected.length > 0)
+            out.push("");
+        out.push(`  ${c(DIM, "in unreached code")}   ${c(DIM, "(never lowered — cannot fail a build)")}`);
+        renderGroup(unreachedBlockers, true);
+    }
+    return out.join("\n");
+}
+function DIMPath(file, color) {
+    return color ? DIM + file + RESET : file;
+}
+function groupBlockers(diags) {
+    const byCode = new Map();
+    for (const d of diags) {
+        const what = d.message.replace(/ (?:is|are) not supported yet$/, "");
+        const key = `${d.code}:${what}`;
+        const existing = byCode.get(key);
+        if (existing)
+            existing.count++;
+        else
+            byCode.set(key, { code: d.code, what, milestone: d.milestone, count: 1 });
+    }
+    const rank = (m) => m === undefined ? MILESTONE_ORDER.length : MILESTONE_ORDER.indexOf(m);
+    return [...byCode.values()].sort((a, b) => rank(a.milestone) - rank(b.milestone) ||
+        b.count - a.count ||
+        a.code.localeCompare(b.code));
+}
+//# sourceMappingURL=report.js.map

package/dist/coverage/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/coverage/report.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAyDrD,MAAM,KAAK,GAAG,UAAU,CAAC;AACzB,MAAM,MAAM,GAAG,UAAU,CAAC;AAC1B,MAAM,GAAG,GAAG,UAAU,CAAC;AACvB,MAAM,GAAG,GAAG,SAAS,CAAC;AACtB,MAAM,IAAI,GAAG,SAAS,CAAC;AACvB,MAAM,KAAK,GAAG,SAAS,CAAC;AAExB,MAAM,eAAe,GAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAE7E;oEACoE;AACpE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAW1E,MAAM,UAAU,cAAc,CAAC,KAAoB,EAAE,OAA+D,EAAE;IACpH,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;IACvF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEb,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,qEAAqE;QACrE,kEAAkE;QAClE,gEAAgE;QAChE,mEAAmE;QACnE,oEAAoE;QACpE,wBAAwB;QACxB,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACpE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,gBAAgB,CAAC,KAAK,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YACjE,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACjE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnB,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,CAAC,GAAG,EAAE,gBAAgB,CAAC,KAAK,GAAG,CAAC,MAAM,oBAAoB,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK;gBAC9F,uEAAuE,CAC1E,CAAC;YACF,gEAAgE;YAChE,kEAAkE;YAClE,gDAAgD;YAChD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;QACnC,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,CAAC,GAAG,EAAE,+BAA+B,CAAC,KAAK,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK;YAClG,6DAA6D,CAChE,CAAC;QACF,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC;QACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,mEAAmE;IACnE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,uDAAuD;IACvD,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC;IAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,eAAe,IAAI,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC;IACjF,MAAM,EAAE,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,CAAC;IACnC,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;IAEhE,GAAG,CAAC,IAAI,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;IAC7C,GAAG,CAAC,IAAI,CAAC,2BAA2B,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;QAClE,GAAG,CAAC,IAAI,CACN,2BAA2B,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,gDAAgD,CAAC,EAAE,CACrI,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,OAAO,YAAY,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,oCAAoC,CAAC,EAAE,CACpG,CAAC;IACJ,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEb,wEAAwE;IACxE,oEAAoE;IACpE,gDAAgD;IAChD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC;IACxC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,kDAAkD,CAAC,EAAE,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,MAAM,GACV,CAAC,CAAC,MAAM,KAAK,QAAQ;gBACnB,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACpB,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;QAC1D,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,wEAAwE;IACxE,yEAAyE;IACzE,qEAAqE;IACrE,oEAAoE;IACpE,uEAAuE;IACvE,oDAAoD;IACpD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IAC5D,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC1D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oEAAoE,CAAC,CAAC,CAAC,0CAA0C,CAAC,EAAE,CACpJ,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EACxC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CACxC,CAAC;QACF,oEAAoE;QACpE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC1D,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CACvB,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO;gBACtB,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACrC,CAAC,CAAC,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,yBAAyB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACtD,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5C,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,MAAM,KAAK,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACvF,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,kEAAkE;YAClE,kEAAkE;YAClE,oEAAoE;YACpE,gBAAgB;YAChB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,0BAA0B,CAAC;YAChF,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI;gBACxE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAC7D,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,CAAC,GAAG,EAAE,yIAAyI,CAAC,EAAE,CAC3J,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,qEAAqE;IACrE,oEAAoE;IACpE,8DAA8D;IAC9D,oEAAoE;IACpE,iDAAiD;IACjD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,+CAA+C,CAAC,EAAE,CAAC,CAAC;QAC5G,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;gBAChD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;gBAClB,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC;gBACpB,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC;YACtB,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAC/F,MAAM,GAAG,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC;YACnE,MAAM,MAAM,GAAG,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;YAChE,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YACtG,GAAG,CAAC,IAAI,CACN,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CACzF,CAAC;YACF,GAAG,CAAC,IAAI,CACN,SAAS,MAAM,gBAAgB,GAAG,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC,KAAK,OAAO,YAAY,OAAO,SAAS;gBACnH,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,SAAS,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,+DAA+D,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC9I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC7E,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,mEAAmE;IACnE,kEAAkE;IAClE,qEAAqE;IACrE,2CAA2C;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,MAAM,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,oDAAoD,CAAC,EAAE,CACjK,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAC5F,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAED,MAAM,cAAc,GAAG,EAAE,EAAE,WAAW,IAAI,EAAE,CAAC;IAC7C,IAAI,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,IAAI,CACN,MAAM,GAAG,CAAC;YACR,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,uBAAuB,CAAC,+EAA+E;YACvH,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,2CAA2C,CAC7E,CAAC;QACF,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,sEAAsE;IACtE,iEAAiE;IACjE,0EAA0E;IAC1E,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAClD,MAAM,iBAAiB,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1F,MAAM,WAAW,GAAG,CAAC,KAAgB,EAAE,GAAG,GAAG,KAAK,EAAE,EAAE;QACpD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACnC,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CACxG,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACvD,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,MAAM,KAAK,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,yDAAyD,CAAC,EAAE,CACtJ,CAAC;QACF,WAAW,CAAC,OAAO,CAAC,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACxB,WAAW,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IACD,uEAAuE;IACvE,0DAA0D;IAC1D,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,uCAAuC,CAAC,EAAE,CAAC,CAAC;QAClG,WAAW,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,KAAc;IAC3C,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED,SAAS,aAAa,CAAC,KAAsB;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ;YAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;;YAC1B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAwB,EAAE,EAAE,CACxC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACrC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK;QACjB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/B,CAAC;AACJ,CAAC"}

package/dist/diagnostics/diagnostic.d.ts

@@ -0,0 +1,140 @@
+import type { SrcLoc } from "../ir/nodes.js";
+export type Milestone = "M1" | "M2" | "M3" | "M4" | "M5" | "later";
+export interface ScrDiagnostic {
+    code: `SC${number}`;
+    message: string;
+    loc: SrcLoc;
+    milestone?: Milestone;
+    hint?: string;
+}
+interface UnsupportedEntry {
+    feature: string;
+    milestone: Milestone;
+    hint?: string;
+}
+export declare const UNSUPPORTED: Record<string, UnsupportedEntry>;
+export declare function unsupportedDiag(code: keyof typeof UNSUPPORTED & `SC${number}`, loc: SrcLoc, featureOverride?: string, hintOverride?: string): ScrDiagnostic;
+export declare function tscPassthroughDiag(message: string, loc: SrcLoc): ScrDiagnostic;
+/** The project's tsconfig disables strictNullChecks, which scriptc cannot
+ * adopt: null and undefined are DISTINCT STATIC TYPES in the value model
+ * (union arms with their own runtime representation) — with the knob off,
+ * every type silently includes them and nothing about the model holds. The
+ * config gate fails loudly instead of silently re-enabling the knob. */
+/** True for the sync channel's surfaced Go panics: typescript-go wraps a
+ * server-side panic into a thrown Error whose message starts "panic:" and
+ * keeps the server intact (the prefetch fence's original finding). The
+ * 2026-07-19 sweep's three upstream panics — the TupleType interface
+ * conversion, the import.defer Debug failure, the 1e999 JSON marshal — all
+ * arrive in this shape. */
+export declare function isCheckerPanic(e: unknown): e is Error;
+/** A Go panic inside the typescript-go checker reached through a query
+ * about this source position. Upstream bugs from scriptc's point of view —
+ * but scriptc still owes a source-anchored diagnostic, never a crashed
+ * CLI. */
+export declare function checkerPanicDiag(detail: string, loc: SrcLoc): ScrDiagnostic;
+/** An imported .json module whose text strict JSON.parse rejects (a leading
+ * `//` comment line — the importAttributes11 shape). tsgo tolerates it, so
+ * the SC0001 passthrough never fires; Node itself refuses to import such a
+ * module at runtime, and the honest answer is a source-anchored gate at the
+ * import, never an uncaught parse throw. */
+export declare function invalidJsonModuleDiag(fileName: string, detail: string, loc: SrcLoc): ScrDiagnostic;
+export declare function strictNullChecksFloorDiag(configFile: string): ScrDiagnostic;
+export declare function unsupportedTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
+/** A type with a DYNAMIC representation but no static one — `any[]`,
+ * records/functions with `any`-typed members, or a shipped-.d.ts type whose
+ * values are island handles. The caller PROVED the claim by re-running
+ * mapType with `dynamic: true` before choosing this wording, so the message
+ * is a measured fact, not a guess. SC2011 like the bare-`any` arm of
+ * unsupportedTypeDiag (one dynamic-family code per story: this is the
+ * "values of this TYPE run in the engine" story), and "runs in" voice like
+ * SC2012 — the value exists under --dynamic; the build just didn't opt in. */
+export declare function requiresDynamicTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
+/** A value whose type keeps a GENERIC call signature (`let g: <T>(x: T) =>
+ * T`, a stored generic function, a call result the checker left
+ * higher-order generic): every compiled function is one concrete
+ * signature, so a slot that keeps type parameters has no instance to hold
+ * — the generic-value monomorphization rule, named instead of the generic
+ * supported-types recitation. */
+export declare function genericSignatureTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
+/** An index-signature object type that STILL does not map: STRING and
+ * NUMBER index signatures compile (declared fields + an overflow map for
+ * undeclared keys, number keys canonicalized to their JS string spelling),
+ * so reaching this means a symbol-keyed signature, dual signatures with
+ * UNEQUAL value types, a value type outside the supported set (functions,
+ * Maps, promises, ...), or a declared `unknown` field under the signature.
+ * The message points at the working alternatives. */
+export declare function indexSignatureTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
+/** A REACHED use of standard-library surface with no lowering — the scope
+ * fence of the real-lib type world. The checker sees the full es2025
+ * standard library, so `Symbol`, `new Date()`, `p.then(...)`, `Math.min`
+ * with three arguments all TYPECHECK; each use site of surface (or a call
+ * form of it) that nothing lowers reports here instead of the old minimal-
+ * ambient "Cannot find name" — and never ICEs. `surface` names what was
+ * used ('Symbol', 'Math.sumPrecise', 'new Date', 'string.normalize'). */
+export declare function noLoweringDiag(surface: string, loc: SrcLoc, hint?: string, viaNodeTypes?: boolean): ScrDiagnostic;
+/** Records are monomorphic structs, so a value's shape must match the
+ * expected shape EXACTLY — TypeScript's structural width subtyping
+ * (`{a: 1, b: 2}` where `{a: number}` is expected) would need a runtime
+ * shape coercion that doesn't exist yet. */
+export declare function recordShapeMismatchDiag(expectedText: string, actualText: string, loc: SrcLoc): ScrDiagnostic;
+/** Union values carry a runtime tag assigned per-union: a value of one
+ * union type flowing into a DIFFERENT union's slot re-tags at runtime when
+ * every source arm has a home in the destination (`A | B` into `A | B | C`
+ * — see unionRetagHelper). What this rejects is the remainder: a source arm
+ * with no identical destination arm, where the value could not be
+ * represented in the target union at all. */
+export declare function unionMismatchDiag(expectedText: string, actualText: string, loc: SrcLoc): ScrDiagnostic;
+/** A use of a binding whose DECLARATION did not compile: the declaration
+ * site already carries the real diagnostic (a fenced type, a blocked
+ * signature, an unsupported binding form), and every later reference falls
+ * through the resolution steps because no local/global/function was ever
+ * registered under the symbol. This cascade marker names the binding and
+ * points back at the root cause instead of misreporting the reference as
+ * an unsupported construct of its own. */
+export declare function blockedBindingUseDiag(name: string, loc: SrcLoc): ScrDiagnostic;
+/** An OPERATION on an `any`-typed value with no static lowering, in a
+ * static build. The honest static subset of `any` compiles (bindings ride
+ * the checked-dynamic DOM — declarations, assignments, reads, equality,
+ * typeof, truthiness, templates, calls through boxed functions), but the
+ * operations that need JS's full coercion/mutation semantics (operators,
+ * expando writes, computed member names, iteration) execute only in the
+ * engine. Same code as the `any` type fence (SC2011) so the coverage
+ * report and the two-tier retry treat both as one dynamic-capable family:
+ * the island lifts exactly these sites. */
+export declare function anyOpRequiresDynamicDiag(feature: string, loc: SrcLoc): ScrDiagnostic;
+/** A construct that needs the embedded dynamic-island engine was used in a
+ * static build. Static is the default and never silently embeds the engine
+ * (~620KB); the fix is spelled out in the hint, not applied implicitly.
+ * "Requires" (vs SC2011/SC2012's "runs in"): the construct is engine-only
+ * — it has no static form to stay with, so the hint offers no alternative. */
+export declare function requiresDynamicDiag(feature: string, loc: SrcLoc): ScrDiagnostic;
+/** An ambient API with an island-backed lowering (Math.*, number/string
+ * methods beyond the static set, parseFloat, ...) was used in a static
+ * build. Same contract as SC2010, its own code so the coverage report can
+ * name the construct: the call RUNS under --dynamic (the engine executes
+ * it with JS-exact semantics); without the flag each use site reports the
+ * choice instead of ICEing or failing at link time. */
+export declare function requiresDynamicApiDiag(feature: string, loc: SrcLoc): ScrDiagnostic;
+/** An npm package import in a static build. The package's shipped JS has
+ * exactly one execution home — the embedded engine — so the import itself
+ * "requires" (SC2010's voice); its own code so the coverage report can
+ * attribute sites per package. */
+export declare function requiresDynamicImportDiag(pkg: string, loc: SrcLoc): ScrDiagnostic;
+/** A USE SITE of a value whose type the package's .d.ts declares, in a
+ * static build. Message names ONLY the package (never the type) so the
+ * coverage report groups all of a package's sites into one line. */
+export declare function requiresDynamicPackageDiag(pkg: string, loc: SrcLoc): ScrDiagnostic;
+/** Building the embedded npm runtime graph failed — the package's entry
+ * or one of its internal modules can't resolve, or it needs a Node builtin
+ * the island doesn't shim. Named per problem, at the import site. */
+export declare function npmEmbedFailedDiag(detail: string, loc: SrcLoc): ScrDiagnostic;
+/** comptime went wrong at evaluation time. The callback runs in an isolated
+ * `node:vm` context inside the compiler's own Node process and its RESULT is
+ * baked into the binary as a literal — everything that can fail at that
+ * stage lands here with a specific detail: the callback threw, evaluation
+ * exceeded the compile-time budget, or the returned value cannot be written
+ * as a literal of the expected type (NaN/Infinity, undefined/null/functions,
+ * shape mismatches — the detail names the offending path, dynCheck-style). */
+export declare function comptimeFailedDiag(detail: string, loc: SrcLoc): ScrDiagnostic;
+export declare function iceDiag(message: string, loc: SrcLoc): ScrDiagnostic;
+export {};