@scriptc/compiler 0.2.7 → 0.2.8

package/dist/diagnostics/envelope.js

@@ -0,0 +1,257 @@
+/* Machine-readable diagnostics: the versioned JSON envelope that
+ * `scriptc coverage --print=diagnostics` and `scriptc build
+ * --print=diagnostics` write to stdout, plus the location, category,
+ * root-cause grouping and fallback-hint helpers the human coverage report
+ * shares with it. One module owns all of them so the two views of the same
+ * analysis cannot drift apart.
+ *
+ * Schema (version 1) — documented in docs/content/docs/coverage.mdx:
+ *
+ *   { schema: "scriptc-diagnostics", schemaVersion: 1, compilerVersion,
+ *     command: "coverage" | "build", entry, success, phase, stats?,
+ *     artifact?, groups: DiagnosticGroup[], diagnostics: LocatedDiagnostic[] }
+ *
+ * Additive changes (new optional fields, new categories or codes) keep the
+ * version; renaming or removing a field, or changing a field's meaning,
+ * bumps it. */
+import { readFileSync } from "node:fs";
+export const DIAGNOSTICS_SCHEMA = "scriptc-diagnostics";
+export const DIAGNOSTICS_SCHEMA_VERSION = 1;
+/** Codes whose construct RUNS under --dynamic (the embedded engine). */
+export const DYNAMIC_CAPABLE_CODES = new Set([
+    "SC2010",
+    "SC2011",
+    "SC2012",
+    "SC2013",
+]);
+/** The divergence band: compiles, but the program can behave differently
+ * from Node. Warnings, never build failures. */
+export function isDivergenceCode(code) {
+    return /^SC6\d{3}$/.test(code);
+}
+export function categoryOf(diag) {
+    const code = diag.code;
+    if (isDivergenceCode(code))
+        return "divergence";
+    if (DYNAMIC_CAPABLE_CODES.has(code))
+        return "dynamic-only";
+    if (code === "SC0001")
+        return diag.typeWorld === true ? "environment" : "invalid-source";
+    if (code === "SC0003")
+        return "invalid-source";
+    if (code === "SC0002" || code === "SC0004")
+        return "environment";
+    if (/^SC[35]\d{3}$/.test(code))
+        return "environment";
+    if (/^SC9\d{3}$/.test(code))
+        return "internal";
+    return "unsupported";
+}
+/** Code-family guidance for diagnostics whose construct site has no
+ * specific hint: every group the report prints and every envelope entry
+ * carries one. */
+export function hintOf(diag) {
+    if (diag.hint !== undefined && diag.hint !== "")
+        return diag.hint;
+    const code = diag.code;
+    if (code === "SC0001")
+        return "fix the TypeScript error; scriptc only compiles programs that typecheck under its type world (strict null checks, the ES2025 library, Node types)";
+    if (code === "SC1090")
+        return "this form is valid TypeScript but does not compile yet — rewrite it with a supported equivalent of the construct the message names (https://scriptc.dev/limitations lists the boundary)";
+    if (/^SC1\d{3}$/.test(code))
+        return "this construct is valid TypeScript outside the compiled subset — rewrite it with a supported equivalent (https://scriptc.dev/limitations)";
+    if (code === "SC2001")
+        return "restate the value's type inside the compilable set (number, string, boolean, arrays, Maps, Sets, RegExp, functions, classes, records, unions of those, and 'unknown')";
+    if (/^SC2\d{3}$/.test(code))
+        return "restate the type inside the compilable set (https://scriptc.dev/limitations describes the boundary)";
+    if (/^SC9\d{3}$/.test(code))
+        return "this is a compiler bug — please report it with the program that triggers it";
+    return "see https://scriptc.dev/limitations";
+}
+/** The root-cause text of a message: type arguments of instantiated generic
+ * types collapse to `<…>`, so every instantiation of one uncompilable
+ * declaration lands in one group. Component fences (SC2009) group on the
+ * named component alone — the outer container type repeats per use. */
+export function rootCauseMessage(diag) {
+    let text = diag.message.replace(/ (?:is|are) not supported yet$/, "");
+    if (diag.code === "SC2009") {
+        const at = text.indexOf("cannot be compiled: ");
+        if (at >= 0)
+            text = text.slice(at + "cannot be compiled: ".length);
+    }
+    return collapseTypeArguments(text);
+}
+function collapseTypeArguments(text) {
+    // Only inside quoted spans: `<` elsewhere is prose (or an operator name).
+    return text.replace(/'[^']*'/g, (quoted) => {
+        let inner = quoted;
+        for (let i = 0; i < 8; i++) {
+            const next = inner.replace(/(\w)<[^<>]*>/g, "$1<…>");
+            if (next === inner)
+                break;
+            inner = next;
+        }
+        return inner;
+    });
+}
+export function groupId(diag, scope) {
+    // A short stable id: FNV-1a over code, scope and root-cause text.
+    const key = `${diag.code}\0${scope}\0${rootCauseMessage(diag)}`;
+    let h = 0x811c9dc5;
+    for (let i = 0; i < key.length; i++) {
+        h ^= key.charCodeAt(i);
+        h = Math.imul(h, 0x01000193) >>> 0;
+    }
+    return `${diag.code}-${h.toString(16).padStart(8, "0")}`;
+}
+/** Offset → line/column over a source text, with the line table cached
+ * per file. Files missing from the analysis' sources are read from disk;
+ * a file that cannot be read reports line 1 with the raw offset as column. */
+export class SourceLocator {
+    sources;
+    lineStarts = new Map();
+    constructor(sources = new Map()) {
+        this.sources = sources;
+    }
+    starts(file) {
+        let starts = this.lineStarts.get(file);
+        if (starts !== undefined)
+            return starts;
+        let text = this.sources.get(file);
+        if (text === undefined) {
+            try {
+                text = readFileSync(file, "utf8");
+            }
+            catch {
+                text = undefined;
+            }
+        }
+        if (text === undefined) {
+            starts = null;
+        }
+        else {
+            starts = [0];
+            for (let i = 0; i < text.length; i++)
+                if (text.charCodeAt(i) === 10)
+                    starts.push(i + 1);
+        }
+        this.lineStarts.set(file, starts);
+        return starts;
+    }
+    position(file, offset) {
+        const starts = this.starts(file);
+        if (starts === null)
+            return { line: 1, column: offset + 1 };
+        let lo = 0;
+        let hi = starts.length - 1;
+        while (lo < hi) {
+            const mid = (lo + hi + 1) >> 1;
+            if (starts[mid] <= offset)
+                lo = mid;
+            else
+                hi = mid - 1;
+        }
+        return { line: lo + 1, column: offset - starts[lo] + 1 };
+    }
+}
+export function locateDiagnostic(diag, scope, locator) {
+    const start = locator.position(diag.loc.file, diag.loc.start);
+    const end = locator.position(diag.loc.file, diag.loc.end);
+    return {
+        code: diag.code,
+        category: categoryOf(diag),
+        severity: isDivergenceCode(diag.code) ? "warning" : "error",
+        scope,
+        file: diag.loc.file,
+        line: start.line,
+        column: start.column,
+        endLine: end.line,
+        endColumn: end.column,
+        start: diag.loc.start,
+        end: diag.loc.end,
+        message: diag.message,
+        hint: hintOf(diag),
+        group: groupId(diag, scope),
+    };
+}
+/** Root-cause groups over located diagnostics, in input order of first
+ * appearance; sites inside each group are in source order. */
+export function groupDiagnostics(diags, scope, locator) {
+    const located = [];
+    const groups = new Map();
+    for (const diag of diags) {
+        const l = locateDiagnostic(diag, scope, locator);
+        located.push(l);
+        const site = { file: l.file, line: l.line, column: l.column };
+        const existing = groups.get(l.group);
+        if (existing) {
+            existing.count++;
+            existing.sites.push(site);
+            // A group whose sites disagree on the hint keeps the first specific one.
+        }
+        else {
+            groups.set(l.group, {
+                id: l.group,
+                code: l.code,
+                category: l.category,
+                severity: l.severity,
+                scope,
+                message: rootCauseMessage(diag),
+                hint: l.hint,
+                count: 1,
+                primary: site,
+                sites: [site],
+            });
+        }
+    }
+    for (const g of groups.values()) {
+        g.sites.sort(comparePositions);
+        // Identical positions (one construct reported through two paths) count
+        // once as a site but keep their diagnostic count.
+        g.sites = g.sites.filter((s, i) => i === 0 || comparePositions(s, g.sites[i - 1]) !== 0);
+        g.primary = g.sites[0];
+    }
+    return { located, groups: [...groups.values()] };
+}
+export function comparePositions(a, b) {
+    return a.file < b.file ? -1 : a.file > b.file ? 1 : a.line - b.line || a.column - b.column;
+}
+/** The versioned machine-readable form of a build's outcome
+ * (`scriptc build --print=diagnostics`). Build diagnostics are all reached
+ * (or preflight) errors; divergence warnings ride along on success. */
+export function buildEnvelope(opts) {
+    const locator = new SourceLocator(opts.sourceTexts);
+    const located = [];
+    const groups = [];
+    const preflight = opts.diagnostics.filter((d) => /^SC0\d{3}$/.test(d.code));
+    const backend = opts.diagnostics.filter((d) => /^SC[35]\d{3}$/.test(d.code));
+    const add = (diags, scope) => {
+        if (diags.length === 0)
+            return;
+        const r = groupDiagnostics(diags, scope, locator);
+        located.push(...r.located);
+        groups.push(...r.groups);
+    };
+    add(preflight, "preflight");
+    add(opts.diagnostics.filter((d) => !preflight.includes(d)), "reached");
+    add(opts.warnings ?? [], "reached");
+    return {
+        schema: DIAGNOSTICS_SCHEMA,
+        schemaVersion: DIAGNOSTICS_SCHEMA_VERSION,
+        compilerVersion: opts.compilerVersion,
+        command: "build",
+        entry: opts.entry,
+        success: opts.ok,
+        phase: opts.ok
+            ? "complete"
+            : preflight.length > 0
+                ? "preflight"
+                : backend.length > 0 && backend.length === opts.diagnostics.length
+                    ? "native"
+                    : "compile",
+        ...(opts.artifact === undefined ? {} : { artifact: opts.artifact }),
+        groups,
+        diagnostics: located,
+    };
+}
+//# sourceMappingURL=envelope.js.map

package/dist/diagnostics/envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../src/diagnostics/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;eAee;AACf,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAGvC,MAAM,CAAC,MAAM,kBAAkB,GAAG,qBAAqB,CAAC;AACxD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AA4F5C,wEAAwE;AACxE,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IAChE,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH;gDACgD;AAChD,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAmB;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC;IAChD,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,cAAc,CAAC;IAC3D,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACzF,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,gBAAgB,CAAC;IAC/C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,aAAa,CAAC;IACjE,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAC;IACrD,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/C,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;kBAEkB;AAClB,MAAM,UAAU,MAAM,CAAC,IAAmB;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,mJAAmJ,CAAC;IAC7J,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,yLAAyL,CAAC;IACnM,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACzB,OAAO,2IAA2I,CAAC;IACrJ,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,uKAAuK,CAAC;IACjL,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACzB,OAAO,qGAAqG,CAAC;IAC/G,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACzB,OAAO,6EAA6E,CAAC;IACvF,OAAO,qCAAqC,CAAC;AAC/C,CAAC;AAED;;;uEAGuE;AACvE,MAAM,UAAU,gBAAgB,CAAC,IAAmB;IAClD,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAChD,IAAI,EAAE,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY;IACzC,0EAA0E;IAC1E,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE;QACzC,IAAI,KAAK,GAAG,MAAM,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,IAAI,KAAK,KAAK;gBAAE,MAAM;YAC1B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAmB,EAAE,KAAsB;IACjE,kEAAkE;IAClE,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,KAAK,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;IAChE,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED;;8EAE8E;AAC9E,MAAM,OAAO,aAAa;IAGK,OAAO;IAFnB,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEjE,YAA6B,OAAO,GAAgC,IAAI,GAAG,EAAE;uBAAhD,OAAO;IAA4C,CAAC;IAEzE,MAAM,CAAC,IAAY;QACzB,IAAI,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACpC,CAAC;YAAC,MAAM,CAAC;gBACP,IAAI,GAAG,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE;oBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ,CAAC,IAAY,EAAE,MAAc;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,MAAM,CAAC,GAAG,CAAE,IAAI,MAAM;gBAAE,EAAE,GAAG,GAAG,CAAC;;gBAChC,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,CAAE,GAAG,CAAC,EAAE,CAAC;IAC5D,CAAC;CACF;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAmB,EACnB,KAAsB,EACtB,OAAsB;IAEtB,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC;QAC1B,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;QAC3D,KAAK;QACL,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;QACnB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,GAAG,CAAC,IAAI;QACjB,SAAS,EAAE,GAAG,CAAC,MAAM;QACrB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK;QACrB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;QAClB,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED;8DAC8D;AAC9D,MAAM,UAAU,gBAAgB,CAC9B,KAA+B,EAC/B,KAAsB,EACtB,OAAsB;IAEtB,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjB,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1B,yEAAyE;QAC3E,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE;gBAClB,EAAE,EAAE,CAAC,CAAC,KAAK;gBACX,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,KAAK;gBACL,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC;gBAC/B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,CAAC,IAAI,CAAC;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC/B,uEAAuE;QACvE,kDAAkD;QAClD,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1F,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAiB,EAAE,CAAiB;IACnE,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;AAC7F,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,aAAa,CAAC,IAQ7B;IACC,MAAM,OAAO,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,CAAC,KAA+B,EAAE,KAAsB,EAAE,EAAE;QACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC5B,GAAG,CACD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EACtD,SAAS,CACV,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;IACpC,OAAO;QACL,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,EAAE;QAChB,KAAK,EAAE,IAAI,CAAC,EAAE;YACZ,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;gBACpB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,CAAC,MAAM;oBAChE,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,SAAS;QACjB,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnE,MAAM;QACN,WAAW,EAAE,OAAO;KACrB,CAAC;AACJ,CAAC"}

package/dist/diagnostics/envelope.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/diagnostics/envelope.test.js

@@ -0,0 +1,91 @@
+import { expect, test } from "vitest";
+import { SourceLocator, buildEnvelope, categoryOf, groupDiagnostics, hintOf } from "./envelope.js";
+const diag = (code, message, start, extra = {}) => ({
+    code,
+    message,
+    loc: { file: "/src/main.ts", start, end: start + 3 },
+    ...extra,
+});
+test("instantiations of one component fence share a root-cause group", () => {
+    const source = "a\nbb\nccc\n";
+    const locator = new SourceLocator(new Map([["/src/main.ts", source]]));
+    const { groups, located } = groupDiagnostics([
+        diag("SC2009", "values of type 'Box<number>' cannot be compiled: member 'load' of 'Loader<number>' does not compile", 5),
+        diag("SC2009", "values of type 'Map<string, Box<string>>' cannot be compiled: member 'load' of 'Loader<string>' does not compile", 2),
+        diag("SC1090", "spreading unions is not supported yet", 0),
+    ], "reached", locator);
+    expect(groups).toHaveLength(2);
+    expect(groups[0].message).toBe("member 'load' of 'Loader<…>' does not compile");
+    expect(groups[0].count).toBe(2);
+    // Sites in source order; the first is the primary location.
+    expect(groups[0].sites.map((s) => [s.line, s.column])).toEqual([
+        [2, 1],
+        [3, 1],
+    ]);
+    expect(groups[0].primary).toEqual({ file: "/src/main.ts", line: 2, column: 1 });
+    expect(located[2]).toMatchObject({ line: 1, column: 1, endLine: 2, endColumn: 2 });
+    expect(located[2].group).toBe(groups[1].id);
+});
+test("every diagnostic carries a category and a hint", () => {
+    expect(categoryOf(diag("SC6001", "copy", 0))).toBe("divergence");
+    expect(categoryOf(diag("SC2012", "engine", 0))).toBe("dynamic-only");
+    expect(categoryOf(diag("SC0001", "TS error", 0))).toBe("invalid-source");
+    expect(categoryOf(diag("SC0001", "TS error", 0, { typeWorld: true }))).toBe("environment");
+    expect(categoryOf(diag("SC9001", "ice", 0))).toBe("internal");
+    expect(categoryOf(diag("SC1090", "form", 0))).toBe("unsupported");
+    for (const code of [
+        "SC1090",
+        "SC1031",
+        "SC2001",
+        "SC2003",
+        "SC0001",
+        "SC9001",
+        "SC3002",
+    ])
+        expect(hintOf(diag(code, "m", 0)).length).toBeGreaterThan(0);
+    expect(hintOf(diag("SC1090", "m", 0, { hint: "specific" }))).toBe("specific");
+});
+test("the build envelope reports the phase that stopped the build", () => {
+    const sources = new Map([["/src/main.ts", "let x = 1;\n"]]);
+    const failed = buildEnvelope({
+        compilerVersion: "0.0.0",
+        entry: "/src/main.ts",
+        ok: false,
+        diagnostics: [diag("SC1090", "form is not supported yet", 4)],
+        sourceTexts: sources,
+    });
+    expect(failed).toMatchObject({
+        schema: "scriptc-diagnostics",
+        schemaVersion: 1,
+        command: "build",
+        success: false,
+        phase: "compile",
+    });
+    expect(failed.diagnostics[0]).toMatchObject({
+        severity: "error",
+        scope: "reached",
+        line: 1,
+        column: 5,
+    });
+    const preflight = buildEnvelope({
+        compilerVersion: "0.0.0",
+        entry: "/src/main.ts",
+        ok: false,
+        diagnostics: [diag("SC0001", "Cannot find name 'y'.", 0)],
+        sourceTexts: sources,
+    });
+    expect(preflight.phase).toBe("preflight");
+    expect(preflight.diagnostics[0].scope).toBe("preflight");
+    const ok = buildEnvelope({
+        compilerVersion: "0.0.0",
+        entry: "/src/main.ts",
+        ok: true,
+        artifact: "/out/main",
+        diagnostics: [],
+        warnings: [diag("SC6002", "order", 0)],
+        sourceTexts: sources,
+    });
+    expect(ok).toMatchObject({ success: true, phase: "complete", artifact: "/out/main" });
+    expect(ok.diagnostics[0]).toMatchObject({ category: "divergence", severity: "warning" });
+});
+//# sourceMappingURL=envelope.test.js.map

package/dist/diagnostics/envelope.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.test.js","sourceRoot":"","sources":["../../src/diagnostics/envelope.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEtC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEnG,MAAM,IAAI,GAAG,CACX,IAAmB,EACnB,OAAe,EACf,KAAa,EACb,KAAK,GAA2B,EAAE,EACnB,EAAE,CAAC,CAAC;IACnB,IAAI;IACJ,OAAO;IACP,GAAG,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE;IACpD,GAAG,KAAK;CACT,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,MAAM,GAAG,cAAc,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAC1C;QACE,IAAI,CACF,QAAQ,EACR,qGAAqG,EACrG,CAAC,CACF;QACD,IAAI,CACF,QAAQ,EACR,kHAAkH,EAClH,CAAC,CACF;QACD,IAAI,CAAC,QAAQ,EAAE,uCAAuC,EAAE,CAAC,CAAC;KAC3D,EACD,SAAS,EACT,OAAO,CACR,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IACjF,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,4DAA4D;IAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC9D,CAAC,CAAC,EAAE,CAAC,CAAC;QACN,CAAC,CAAC,EAAE,CAAC,CAAC;KACP,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACzE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC3F,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAClE,KAAK,MAAM,IAAI,IAAI;QACjB,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;KACA;QACR,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,aAAa,CAAC;QAC3B,eAAe,EAAE,OAAO;QACxB,KAAK,EAAE,cAAc;QACrB,EAAE,EAAE,KAAK;QACT,WAAW,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,2BAA2B,EAAE,CAAC,CAAC,CAAC;QAC7D,WAAW,EAAE,OAAO;KACrB,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;QAC3B,MAAM,EAAE,qBAAqB;QAC7B,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,SAAS;KACjB,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QAC1C,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;KACV,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,aAAa,CAAC;QAC9B,eAAe,EAAE,OAAO;QACxB,KAAK,EAAE,cAAc;QACrB,EAAE,EAAE,KAAK;QACT,WAAW,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC;QACzD,WAAW,EAAE,OAAO;KACrB,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,aAAa,CAAC;QACvB,eAAe,EAAE,OAAO;QACxB,KAAK,EAAE,cAAc;QACrB,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,WAAW;QACrB,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACtC,WAAW,EAAE,OAAO;KACrB,CAAC,CAAC;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;IACtF,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;AAC3F,CAAC,CAAC,CAAC"}

package/dist/diagnostics/render.d.ts

@@ -8,4 +8,7 @@ interface SourceLookup {
 }
 export declare function renderDiagnostic(diag: ScrDiagnostic, source: SourceLookup | undefined, opts?: RenderOptions): string;
 export declare function renderDiagnostics(diags: ScrDiagnostic[], sourceTextByFile: Map<string, string>, opts?: RenderOptions): string;
+/** Divergence warnings after a successful build: the rendered sites plus a
+ * one-line count, on stderr. */
+export declare function renderWarnings(diags: readonly ScrDiagnostic[], sourceTextByFile: Map<string, string>, opts?: RenderOptions): string;
 export {};

package/dist/diagnostics/render.js

@@ -1,4 +1,5 @@
 const RED = "\x1b[31m";
+const YELLOW = "\x1b[33m";
 const CYAN = "\x1b[36m";
 const DIM = "\x1b[2m";
 const BOLD = "\x1b[1m";
@@ -34,10 +35,13 @@ export function renderDiagnostic(diag, source, opts = {}) {
         const spanOnLine = Math.max(1, Math.min(diag.loc.end - diag.loc.start, lineText.length - (colNum - 1)));
         frame.push(c(DIM, `  ${" ".repeat(gutterWidth)} | `) +
             " ".repeat(colNum - 1) +
-            c(RED, "^" + "~".repeat(spanOnLine - 1)));
+            c(/^SC6\d{3}$/.test(diag.code) ? YELLOW : RED, "^" + "~".repeat(spanOnLine - 1)));
         emitLine(lineNum + 1);
     }
-    out.push(`${c(BOLD, `${diag.loc.file}:${lineNum}:${colNum}`)} - ${c(RED, "error")} ${c(BOLD, diag.code)}: ${diag.message}`);
+    // The divergence band (SC6xxx) is the one warning severity: the program
+    // compiles, and the site can behave differently from Node.
+    const warning = /^SC6\d{3}$/.test(diag.code);
+    out.push(`${c(BOLD, `${diag.loc.file}:${lineNum}:${colNum}`)} - ${warning ? c(YELLOW, "warning") : c(RED, "error")} ${c(BOLD, diag.code)}: ${diag.message}`);
     if (frame.length) {
         out.push("", ...frame);
     }
@@ -63,4 +67,11 @@ export function renderDiagnostics(diags, sourceTextByFile, opts = {}) {
     })
         .join("\n\n");
 }
+/** Divergence warnings after a successful build: the rendered sites plus a
+ * one-line count, on stderr. */
+export function renderWarnings(diags, sourceTextByFile, opts = {}) {
+    const n = diags.length;
+    return (renderDiagnostics([...diags], sourceTextByFile, opts) +
+        `\n\n${n} warning${n === 1 ? "" : "s"}: the program compiled, but ${n === 1 ? "this site" : "these sites"} can behave differently from Node.`);
+}
 //# sourceMappingURL=render.js.map

package/dist/diagnostics/render.js.map

@@ -1 +1 @@
-{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/diagnostics/render.ts"],"names":[],"mappings":"AAeA,MAAM,GAAG,GAAG,UAAU,CAAC;AACvB,MAAM,IAAI,GAAG,UAAU,CAAC;AACxB,MAAM,GAAG,GAAG,SAAS,CAAC;AACtB,MAAM,IAAI,GAAG,SAAS,CAAC;AACvB,MAAM,KAAK,GAAG,SAAS,CAAC;AAExB,MAAM,UAAU,gBAAgB,CAC9B,IAAmB,EACnB,MAAgC,EAChC,IAAI,GAAkB,EAAE;IAExB,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;IAEzB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,OAAO,EAAE,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,EAAE,GAAG,CAAC,CAAE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK;YAAE,EAAE,EAAE,CAAC;QACjF,OAAO,GAAG,EAAE,GAAG,CAAC,CAAC;QACjB,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,UAAU,CAAC,EAAE,CAAE,GAAG,CAAC,CAAC;QAE9C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACvE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO;YAC/B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;QACvE,CAAC,CAAC;QACF,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACtB,QAAQ,CAAC,OAAO,CAAC,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CACzB,CAAC,EACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CACxE,CAAC;QACF,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;YACvC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;YACtB,CAAC,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAC3C,CAAC;QACF,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,GAAG,CAAC,IAAI,CACN,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,EAAE,CAClH,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,oEAAoE;QACpE,mEAAmE;QACnE,mDAAmD;QACnD,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAsB,EACtB,gBAAqC,EACrC,IAAI,GAAkB,EAAE;IAExB,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAC5E,CAAC;IACF,OAAO,MAAM;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,OAAO,gBAAgB,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC"}
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/diagnostics/render.ts"],"names":[],"mappings":"AAeA,MAAM,GAAG,GAAG,UAAU,CAAC;AACvB,MAAM,MAAM,GAAG,UAAU,CAAC;AAC1B,MAAM,IAAI,GAAG,UAAU,CAAC;AACxB,MAAM,GAAG,GAAG,SAAS,CAAC;AACtB,MAAM,IAAI,GAAG,SAAS,CAAC;AACvB,MAAM,KAAK,GAAG,SAAS,CAAC;AAExB,MAAM,UAAU,gBAAgB,CAC9B,IAAmB,EACnB,MAAgC,EAChC,IAAI,GAAkB,EAAE;IAExB,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;IAEzB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,OAAO,EAAE,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,EAAE,GAAG,CAAC,CAAE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK;YAAE,EAAE,EAAE,CAAC;QACjF,OAAO,GAAG,EAAE,GAAG,CAAC,CAAC;QACjB,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,UAAU,CAAC,EAAE,CAAE,GAAG,CAAC,CAAC;QAE9C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACvE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO;YAC/B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;QACvE,CAAC,CAAC;QACF,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACtB,QAAQ,CAAC,OAAO,CAAC,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CACzB,CAAC,EACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CACxE,CAAC;QACF,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;YACvC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;YACtB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CACnF,CAAC;QACF,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,wEAAwE;IACxE,2DAA2D;IAC3D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,GAAG,CAAC,IAAI,CACN,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,EAAE,CACnJ,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,oEAAoE;QACpE,mEAAmE;QACnE,mDAAmD;QACnD,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAsB,EACtB,gBAAqC,EACrC,IAAI,GAAkB,EAAE;IAExB,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAC5E,CAAC;IACF,OAAO,MAAM;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,OAAO,gBAAgB,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC;AAED;gCACgC;AAChC,MAAM,UAAU,cAAc,CAC5B,KAA+B,EAC/B,gBAAqC,EACrC,IAAI,GAAkB,EAAE;IAExB,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,OAAO,CACL,iBAAiB,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC;QACrD,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,oCAAoC,CAC9I,CAAC;AACJ,CAAC"}

package/dist/executable/prepare.d.ts

@@ -1,5 +1,6 @@
 import type { CompileFailure, CompileRequestOptions } from "../compile-types.js";
 import type { FfiProfile } from "../ffi/ffi-manifest.js";
+import { type ScrDiagnostic } from "../diagnostics/diagnostic.js";
 import type { IrModule } from "../ir/ir.js";
 import type { LowerStats } from "../frontend/lowering/lowerer.js";
 import type { FrontendFactory } from "../frontend/pipeline.js";
@@ -9,6 +10,9 @@ export interface PreparedExecutableModule {
     mod: IrModule;
     sourceTexts: Map<string, string>;
     stats: LowerStats;
+    /** Divergence warnings (SC6xxx): the build succeeds; these sites can
+     * behave differently from Node. */
+    warnings: ScrDiagnostic[];
 }
 /** Release the parser/checker before native object generation begins. */
 export declare function prepareExecutableModule(entryPath: string, opts: CompileRequestOptions, ffi: FfiProfile | null, buildPlatform: string, createFrontend: FrontendFactory, timing?: CompilationTiming): PreparedExecutableModule | CompileFailure;

package/dist/executable/prepare.js

@@ -62,6 +62,12 @@ export function prepareExecutableModule(entryPath, opts, ffi, buildPlatform, cre
         fe.dispose();
         timing("frontend-dispose");
     }
-    return { ok: true, mod: lowered.module, sourceTexts, stats: lowered.stats };
+    return {
+        ok: true,
+        mod: lowered.module,
+        sourceTexts,
+        stats: lowered.stats,
+        warnings: lowered.divergences ?? [],
+    };
 }
 //# sourceMappingURL=prepare.js.map

package/dist/executable/prepare.js.map

@@ -1 +1 @@
-{"version":3,"file":"prepare.js","sourceRoot":"","sources":["../../src/executable/prepare.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gBAAgB,EAChB,OAAO,EACP,cAAc,GAEf,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,kCAAkC,CAAC;AAY1C,yEAAyE;AACzE,MAAM,UAAU,uBAAuB,CACrC,SAAiB,EACjB,IAA2B,EAC3B,GAAsB,EACtB,aAAqB,EACrB,cAA+B,EAC/B,MAAM,GAAsB,GAAG,EAAE,GAAE,CAAC;IAEpC,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,CAAC,eAAe,CAAC,CAAC;IACxB,IAAI,OAAoB,CAAC;IACzB,IAAI,WAAgC,CAAC;IACrC,qEAAqE;IACrE,gDAAgD;IAChD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,CAAC,WAA4B,EAAkB,EAAE,CAAC,CAAC;YAC9D,EAAE,EAAE,KAAK;YACT,WAAW;YACX,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE;SAC9B,CAAC,CAAC;QAEH,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAEvD,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;gBACjB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;gBAC9B,cAAc,EAAE,aAAa;gBAC7B,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC,CAAC;YACH,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,qEAAqE;YACrE,qEAAqE;YACrE,qEAAqE;YACrE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC;gBACV,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;aACtF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAE9D,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,aAAa,CAAC,CAAC;QACtB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC/D,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,OAAO,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,OAAO,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,sBAAsB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YACpF,CAAC;YACD,6BAA6B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,4BAA4B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjE,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;QACD,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,MAAO,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;AAC/E,CAAC"}
+{"version":3,"file":"prepare.js","sourceRoot":"","sources":["../../src/executable/prepare.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gBAAgB,EAChB,OAAO,EACP,cAAc,GAEf,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,kCAAkC,CAAC;AAe1C,yEAAyE;AACzE,MAAM,UAAU,uBAAuB,CACrC,SAAiB,EACjB,IAA2B,EAC3B,GAAsB,EACtB,aAAqB,EACrB,cAA+B,EAC/B,MAAM,GAAsB,GAAG,EAAE,GAAE,CAAC;IAEpC,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,CAAC,eAAe,CAAC,CAAC;IACxB,IAAI,OAAoB,CAAC;IACzB,IAAI,WAAgC,CAAC;IACrC,qEAAqE;IACrE,gDAAgD;IAChD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,CAAC,WAA4B,EAAkB,EAAE,CAAC,CAAC;YAC9D,EAAE,EAAE,KAAK;YACT,WAAW;YACX,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE;SAC9B,CAAC,CAAC;QAEH,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAEvD,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;gBACjB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;gBAC9B,cAAc,EAAE,aAAa;gBAC7B,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC,CAAC;YACH,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,qEAAqE;YACrE,qEAAqE;YACrE,qEAAqE;YACrE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC;gBACV,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;aACtF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAE9D,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,aAAa,CAAC,CAAC;QACtB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC/D,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,OAAO,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,OAAO,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,sBAAsB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YACpF,CAAC;YACD,6BAA6B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,4BAA4B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjE,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;QACD,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,GAAG,EAAE,OAAO,CAAC,MAAO;QACpB,WAAW;QACX,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;KACpC,CAAC;AACJ,CAAC"}

package/dist/frontend/analysis.js

@@ -77,6 +77,7 @@ export function analyzeWithFrontend(entryPath, opts, buildPlatform, createFronte
                 // which the report groups with these).
                 diagnostics: [...preflight, ...lowered.diagnostics],
                 ...(lowered.runtimeFences.length > 0 ? { runtimeFences: lowered.runtimeFences } : {}),
+                ...(lowered.divergences !== undefined ? { divergences: lowered.divergences } : {}),
                 ...(lowered.unreached ? { unreached: lowered.unreached } : {}),
                 ...(lowered.npmBuiltins ? { npmBuiltins: lowered.npmBuiltins } : {}),
                 ...(lowered.npmLazyTraps ? { npmLazyTraps: lowered.npmLazyTraps } : {}),

package/dist/frontend/analysis.js.map

@@ -1 +1 @@
-{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../src/frontend/analysis.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAmB,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;wEACwE;AACxE,MAAM,UAAU,mBAAmB,CACjC,SAAiB,EACjB,IAAoB,EACpB,aAAqB,EACrB,cAA+B;IAE/B,IAAI,GAAG,GAAsB,IAAI,CAAC;IAClC,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO;gBACL,QAAQ,EAAE;oBACR,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;oBAC9B,KAAK,EAAE;wBACL,eAAe,EAAE,CAAC;wBAClB,gBAAgB,EAAE,CAAC;wBACnB,gBAAgB,EAAE,CAAC;wBACnB,gBAAgB,EAAE,CAAC;qBACpB;oBACD,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,eAAe,EAAE,IAAI;iBACtB;gBACD,WAAW,EAAE,IAAI,GAAG,EAAE;aACvB,CAAC;QACJ,CAAC;QACD,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC;IACvB,CAAC;IACD,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IACzE,IAAI,CAAC;QACH,MAAM,UAAU,GAAG;YACjB,eAAe,EAAE,CAAC;YAClB,gBAAgB,EAAE,CAAC;YACnB,gBAAgB,EAAE,CAAC;YACnB,gBAAgB,EAAE,CAAC;SACpB,CAAC;QAEF,MAAM,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;QAC/B,wEAAwE;QACxE,kEAAkE;QAClE,uEAAuE;QACvE,kEAAkE;QAClE,wEAAwE;QACxE,uEAAuE;QACvE,wEAAwE;QACxE,mEAAmE;QACnE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClF,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO;gBACL,QAAQ,EAAE;oBACR,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;oBAC9B,KAAK,EAAE,UAAU;oBACjB,WAAW,EAAE,SAAS;oBACtB,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/D,eAAe,EAAE,IAAI;iBACtB;gBACD,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE;aAC9B,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,wEAAwE;QACxE,yEAAyE;QACzE,wCAAwC;QACxC,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;YACvB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;YAC9B,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,aAAa;YAC7B,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;QACvC,OAAO;YACL,QAAQ,EAAE;gBACR,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;gBAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,qEAAqE;gBACrE,oEAAoE;gBACpE,uCAAuC;gBACvC,WAAW,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;gBACnD,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrF,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/D,gEAAgE;gBAChE,kEAAkE;gBAClE,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9C,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,eAAe,EAAE,KAAK;aACvB;YACD,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE;SAC9B,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,OAAO,EAAE,CAAC;IACf,CAAC;AACH,CAAC"}
+{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../src/frontend/analysis.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAmB,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;wEACwE;AACxE,MAAM,UAAU,mBAAmB,CACjC,SAAiB,EACjB,IAAoB,EACpB,aAAqB,EACrB,cAA+B;IAE/B,IAAI,GAAG,GAAsB,IAAI,CAAC;IAClC,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO;gBACL,QAAQ,EAAE;oBACR,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;oBAC9B,KAAK,EAAE;wBACL,eAAe,EAAE,CAAC;wBAClB,gBAAgB,EAAE,CAAC;wBACnB,gBAAgB,EAAE,CAAC;wBACnB,gBAAgB,EAAE,CAAC;qBACpB;oBACD,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,eAAe,EAAE,IAAI;iBACtB;gBACD,WAAW,EAAE,IAAI,GAAG,EAAE;aACvB,CAAC;QACJ,CAAC;QACD,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC;IACvB,CAAC;IACD,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IACzE,IAAI,CAAC;QACH,MAAM,UAAU,GAAG;YACjB,eAAe,EAAE,CAAC;YAClB,gBAAgB,EAAE,CAAC;YACnB,gBAAgB,EAAE,CAAC;YACnB,gBAAgB,EAAE,CAAC;SACpB,CAAC;QAEF,MAAM,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;QAC/B,wEAAwE;QACxE,kEAAkE;QAClE,uEAAuE;QACvE,kEAAkE;QAClE,wEAAwE;QACxE,uEAAuE;QACvE,wEAAwE;QACxE,mEAAmE;QACnE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClF,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO;gBACL,QAAQ,EAAE;oBACR,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;oBAC9B,KAAK,EAAE,UAAU;oBACjB,WAAW,EAAE,SAAS;oBACtB,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/D,eAAe,EAAE,IAAI;iBACtB;gBACD,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE;aAC9B,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,wEAAwE;QACxE,yEAAyE;QACzE,wCAAwC;QACxC,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;YACvB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;YAC9B,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,aAAa;YAC7B,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;QACvC,OAAO;YACL,QAAQ,EAAE;gBACR,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;gBAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,qEAAqE;gBACrE,oEAAoE;gBACpE,uCAAuC;gBACvC,WAAW,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;gBACnD,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrF,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/D,gEAAgE;gBAChE,kEAAkE;gBAClE,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9C,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,eAAe,EAAE,KAAK;aACvB;YACD,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE;SAC9B,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,OAAO,EAAE,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/array-values.d.ts

@@ -17,6 +17,13 @@ export declare function arrayValueStore(lowerer: Lowerer, arr: IrExpr, index: Ir
 /** An ordinary indexed read: values retain their element type, while
  * holes, missing properties, and present undefined yield undefined. */
 export declare function lowerSafeIndexRead(lowerer: Lowerer, arr: IrExpr, index: IrExpr, loc: SrcLoc): IrExpr | null;
+/** An ordinary typed-array element read `t[i]`: like Node, an index that
+ * is not an integer in [0, length) answers undefined (the storage is
+ * never touched out of bounds). The result is `number | undefined`, the
+ * same optional shape ordinary array reads carry; numeric consumers fuse
+ * back to the plain element read (tryLowerNumericIndexRead), where the
+ * invalid case reads as NaN — exactly ToNumber(undefined). */
+export declare function lowerSafeBytesRead(lowerer: Lowerer, receiver: IrExpr, index: IrExpr, loc: SrcLoc): IrExpr;
 /** Fuse only our own f64-array read helper with immediate ToNumber.
  * Reuse its arguments verbatim so the receiver and index still evaluate
  * exactly once, in order, before the read. Do not specialize user calls,