@scriptc/compiler 0.0.6 → 0.0.8

package/dist/frontend/lib-contract.js

@@ -0,0 +1,372 @@
+/* Library mode's contract-sidecar input: the entry module's exported
+ * function signatures and exported-const contract conventions, plus the
+ * exported type declarations of the WHOLE module graph (entry first, the
+ * other modules in canonical path order — never import order, so moving
+ * an import statement can never perturb a sidecar table) — all read from
+ * the SYNTAX TREE in statement order. Declaration order is the ratified
+ * contract (the sidecar's field, member, and arm orders are wire
+ * semantics), and the checker's property enumeration hands back
+ * internal/sorted order, so the AST is the only trustworthy order source;
+ * this module never touches the checker.
+ *
+ * Order must be derivable from ONE declaration site (ask 3's
+ * define-or-refuse rule), so this module also records every type name
+ * whose members gather from multiple sites — a second same-name interface
+ * block (declaration merging), a module augmentation's contribution, or a
+ * same-name exported declaration in another module (the type table has
+ * one namespace) — for the emitter to refuse when such a name is tabled.
+ *
+ * The projection into the sidecar schema's closed vocabulary happens in
+ * library/sidecar.ts; this module only captures syntactic shapes. The
+ * exported-const conventions this module reads (the ratified ask-2
+ * drafting item — under an embedder's profile a generated facade declares
+ * these; authors declare nothing):
+ *
+ *   export const modelUnbound  = ["fieldOrHelper", ...] as const;
+ *   export const msgUnbound    = ["arm", ...] as const;
+ *   export const appearanceMsg = "arm";
+ *   export const chromeMsg     = "arm";
+ *   export const envMsgs       = [{ env: "NAME", msg: "arm" }, ...] as const;
+ */
+import * as ts from "./ts7/adapter.js";
+const CONVENTION_CONSTS = new Set(["modelUnbound", "msgUnbound", "appearanceMsg", "chromeMsg", "envMsgs"]);
+function locOf(file, node) {
+    return { file: file.fileName, start: node.getStart(), end: node.end };
+}
+function isExported(stmt) {
+    const mods = ts.canHaveModifiers(stmt) ? ts.getModifiers(stmt) : undefined;
+    return mods?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) === true;
+}
+function propName(name) {
+    if (ts.isIdentifier(name))
+        return name.text;
+    if (ts.isStringLiteral(name))
+        return name.text;
+    return null;
+}
+function shapeOfMembers(file, members, onBad) {
+    const fields = [];
+    for (const m of members) {
+        if (!ts.isPropertySignature(m)) {
+            onBad("a non-property member (methods/index signatures have no contract projection)");
+            continue;
+        }
+        const name = propName(m.name);
+        if (name === null) {
+            onBad("a computed property name");
+            continue;
+        }
+        const shape = m.type !== undefined ? typeShape(file, m.type) : { k: "unsupported", text: "missing type annotation" };
+        fields.push({ name, optional: m.postfixToken?.kind === ts.SyntaxKind.QuestionToken, shape, loc: locOf(file, m) });
+    }
+    return fields;
+}
+/** The syntactic shape of a type node, over the closed vocabulary the
+ * sidecar schema can express. Anything else lands as `unsupported` with
+ * the source text preserved for the refusal message. */
+export function typeShape(file, node) {
+    switch (node.kind) {
+        case ts.SyntaxKind.BooleanKeyword:
+            return { k: "bool" };
+        case ts.SyntaxKind.NumberKeyword:
+            return { k: "number" };
+        case ts.SyntaxKind.StringKeyword:
+            return { k: "text" };
+        case ts.SyntaxKind.VoidKeyword:
+            return { k: "void" };
+        case ts.SyntaxKind.UndefinedKeyword:
+            return { k: "absent" };
+        default:
+            break;
+    }
+    if (ts.isParenthesizedTypeNode(node))
+        return typeShape(file, node.type);
+    if (ts.isLiteralTypeNode(node)) {
+        const lit = node.literal;
+        if (ts.isStringLiteral(lit))
+            return { k: "stringLit", text: lit.text };
+        if (lit.kind === ts.SyntaxKind.NullKeyword)
+            return { k: "absent" };
+        return { k: "unsupported", text: node.getText(file) };
+    }
+    if (ts.isArrayTypeNode(node))
+        return { k: "array", elem: typeShape(file, node.elementType) };
+    if (ts.isTupleTypeNode(node)) {
+        const elems = [];
+        for (const e of node.elements) {
+            // Named tuple members carry the type under `.type`.
+            const t = ts.isNamedTupleMember(e) ? e.type : e;
+            elems.push(typeShape(file, t));
+        }
+        return { k: "tuple", elems };
+    }
+    if (ts.isUnionTypeNode(node)) {
+        return { k: "union", parts: node.types.map((t) => typeShape(file, t)) };
+    }
+    if (ts.isTypeLiteralNode(node)) {
+        let bad = null;
+        const fields = shapeOfMembers(file, node.members, (text) => {
+            bad = text;
+        });
+        if (bad !== null)
+            return { k: "unsupported", text: bad };
+        return { k: "object", fields };
+    }
+    if (ts.isConditionalTypeNode(node)) {
+        return { k: "unsupported", text: `a conditional type (${node.getText(file)})`, computed: "conditional" };
+    }
+    if (ts.isMappedTypeNode(node)) {
+        return { k: "unsupported", text: `a mapped type (${node.getText(file)})`, computed: "mapped" };
+    }
+    if (ts.isTypeReferenceNode(node)) {
+        if (!ts.isIdentifier(node.typeName))
+            return { k: "unsupported", text: node.getText(file) };
+        const name = node.typeName.text;
+        if (name === "Uint8Array" && (node.typeArguments?.length ?? 0) === 0)
+            return { k: "bytes" };
+        if (name === "Array" && node.typeArguments?.length === 1) {
+            return { k: "array", elem: typeShape(file, node.typeArguments[0]) };
+        }
+        if ((node.typeArguments?.length ?? 0) > 0)
+            return { k: "unsupported", text: node.getText(file) };
+        return { k: "ref", name };
+    }
+    return { k: "unsupported", text: node.getText(file) };
+}
+/** Unwrap `expr as const` / parenthesized initializers. */
+function unwrapConst(expr) {
+    let e = expr;
+    for (;;) {
+        if (ts.isAsExpression(e) || ts.isSatisfiesExpression(e)) {
+            e = e.expression;
+            continue;
+        }
+        if (ts.isParenthesizedExpression(e)) {
+            e = e.expression;
+            continue;
+        }
+        return e;
+    }
+}
+function stringArray(expr) {
+    const e = unwrapConst(expr);
+    if (!ts.isArrayLiteralExpression(e))
+        return null;
+    const out = [];
+    for (const el of e.elements) {
+        const v = unwrapConst(el);
+        if (!ts.isStringLiteral(v))
+            return null;
+        out.push(v.text);
+    }
+    return out;
+}
+function envMsgArray(expr) {
+    const e = unwrapConst(expr);
+    if (!ts.isArrayLiteralExpression(e))
+        return null;
+    const out = [];
+    for (const el of e.elements) {
+        const v = unwrapConst(el);
+        if (!ts.isObjectLiteralExpression(v))
+            return null;
+        let env = null;
+        let msg = null;
+        for (const prop of v.properties) {
+            if (!ts.isPropertyAssignment(prop))
+                return null;
+            const name = propName(prop.name);
+            const val = unwrapConst(prop.initializer);
+            if (!ts.isStringLiteral(val))
+                return null;
+            if (name === "env")
+                env = val.text;
+            else if (name === "msg")
+                msg = val.text;
+            else
+                return null;
+        }
+        if (env === null || msg === null)
+            return null;
+        out.push({ env, msg });
+    }
+    return out;
+}
+/** One mergeable declaration site, `file:line` (1-based line). */
+function siteOf(file, node) {
+    return `${file.fileName}:${ts.getLineAndCharacterOfPosition(file, node.getStart()).line + 1}`;
+}
+/** Everything the sidecar projection needs from the program's syntax
+ * trees: functions and convention consts from the entry module, type
+ * declarations from the whole graph (entry first, other modules in
+ * canonical path order), each in statement (declaration) order. Call
+ * before the frontend is disposed. */
+export function entryContractFacts(entry, modules = []) {
+    const facts = {
+        types: [],
+        multiSiteTypes: [],
+        functions: [],
+        modelUnbound: null,
+        msgUnbound: null,
+        appearanceMsg: null,
+        chromeMsg: null,
+        envMsgs: null,
+        malformedConsts: [],
+    };
+    // name → every mergeable declaration site, in scan order.
+    const sites = new Map();
+    const addSite = (name, site) => {
+        const list = sites.get(name);
+        if (list === undefined)
+            sites.set(name, [site]);
+        else
+            list.push(site);
+    };
+    const declared = new Set();
+    /** One module's exported type declarations (statement order) plus every
+     * extra declaration site the merge refusal needs: a non-exported
+     * declaration merging with an exported same-name one in the SAME module,
+     * a repeated exported declaration (in this module or a later-scanned
+     * one — the type table has one namespace), and the type declarations
+     * inside `declare module "…"` augmentation blocks. Augmentations are
+     * read syntactically — the specifier is not resolved, so a same-name
+     * augmentation of ANY module counts as an extra site; that over-refuses
+     * only programs already trafficking in colliding contract type names,
+     * and the refusal names every site. */
+    const collectTypes = (file) => {
+        const exportedHere = new Set();
+        for (const stmt of file.statements) {
+            if ((ts.isInterfaceDeclaration(stmt) || ts.isTypeAliasDeclaration(stmt)) && isExported(stmt)) {
+                exportedHere.add(stmt.name.text);
+            }
+        }
+        for (const stmt of file.statements) {
+            if (ts.isInterfaceDeclaration(stmt) || ts.isTypeAliasDeclaration(stmt)) {
+                const name = stmt.name.text;
+                const exported = isExported(stmt);
+                // A non-exported declaration matters only when it merges with an
+                // exported same-name declaration of its own module; other modules'
+                // private types never touch the contract namespace.
+                if (!exported && !exportedHere.has(name))
+                    continue;
+                addSite(name, siteOf(file, stmt));
+                if (!exported || declared.has(name))
+                    continue;
+                declared.add(name);
+                if (ts.isInterfaceDeclaration(stmt)) {
+                    let bad = null;
+                    const fields = shapeOfMembers(file, stmt.members, (text) => {
+                        bad = text;
+                    });
+                    const generic = (stmt.typeParameters?.length ?? 0) > 0;
+                    const heritage = (stmt.heritageClauses?.length ?? 0) > 0;
+                    facts.types.push({
+                        name,
+                        form: "interface",
+                        shape: bad !== null
+                            ? { k: "unsupported", text: bad }
+                            : generic
+                                ? { k: "unsupported", text: "a generic interface" }
+                                : heritage
+                                    ? { k: "unsupported", text: "an interface with heritage clauses" }
+                                    : { k: "object", fields },
+                        loc: locOf(file, stmt),
+                    });
+                }
+                else {
+                    const generic = (stmt.typeParameters?.length ?? 0) > 0;
+                    facts.types.push({
+                        name,
+                        form: "alias",
+                        shape: generic ? { k: "unsupported", text: "a generic type alias" } : typeShape(file, stmt.type),
+                        loc: locOf(file, stmt),
+                    });
+                }
+                continue;
+            }
+            if (ts.isModuleDeclaration(stmt) && ts.isStringLiteral(stmt.name) && stmt.body !== undefined && ts.isModuleBlock(stmt.body)) {
+                for (const inner of stmt.body.statements) {
+                    if (ts.isInterfaceDeclaration(inner) || ts.isTypeAliasDeclaration(inner)) {
+                        addSite(inner.name.text, siteOf(file, inner));
+                    }
+                }
+            }
+        }
+    };
+    // The entry's declarations anchor first; the rest of the graph follows
+    // in bytewise path order — a DECLARATION-SITE order, so reordering
+    // import statements or import bindings can never perturb the table.
+    collectTypes(entry);
+    const others = modules
+        .filter((m) => m.fileName !== entry.fileName)
+        .sort((a, b) => (a.fileName < b.fileName ? -1 : a.fileName > b.fileName ? 1 : 0));
+    for (const m of others)
+        collectTypes(m);
+    for (const [name, list] of sites) {
+        if (list.length > 1)
+            facts.multiSiteTypes.push({ name, sites: list });
+    }
+    for (const stmt of entry.statements) {
+        if (ts.isFunctionDeclaration(stmt) && stmt.name !== undefined) {
+            if (!isExported(stmt))
+                continue;
+            if (stmt.body === undefined && facts.functions.some((f) => f.name === stmt.name.text))
+                continue; // overload signature
+            facts.functions.push({
+                name: stmt.name.text,
+                params: stmt.parameters.map((p) => ({
+                    name: ts.isIdentifier(p.name) ? p.name.text : "<pattern>",
+                    shape: p.type !== undefined ? typeShape(entry, p.type) : null,
+                })),
+                returns: stmt.type !== undefined ? typeShape(entry, stmt.type) : null,
+                generic: (stmt.typeParameters?.length ?? 0) > 0,
+                loc: locOf(entry, stmt),
+            });
+            continue;
+        }
+        if (ts.isVariableStatement(stmt) && isExported(stmt)) {
+            for (const decl of stmt.declarationList.declarations) {
+                if (!ts.isIdentifier(decl.name))
+                    continue;
+                const name = decl.name.text;
+                if (!CONVENTION_CONSTS.has(name))
+                    continue;
+                const loc = locOf(entry, decl);
+                if (decl.initializer === undefined) {
+                    facts.malformedConsts.push({ name, detail: "has no initializer", loc });
+                    continue;
+                }
+                if (name === "appearanceMsg" || name === "chromeMsg") {
+                    const v = unwrapConst(decl.initializer);
+                    if (!ts.isStringLiteral(v)) {
+                        facts.malformedConsts.push({ name, detail: "must be a string literal naming a msg arm", loc });
+                        continue;
+                    }
+                    facts[name] = { value: v.text, loc };
+                    continue;
+                }
+                if (name === "envMsgs") {
+                    const v = envMsgArray(decl.initializer);
+                    if (v === null) {
+                        facts.malformedConsts.push({
+                            name,
+                            detail: 'must be an array of { env: "NAME", msg: "arm" } object literals with string-literal values',
+                            loc,
+                        });
+                        continue;
+                    }
+                    facts.envMsgs = { value: v, loc };
+                    continue;
+                }
+                const v = stringArray(decl.initializer);
+                if (v === null) {
+                    facts.malformedConsts.push({ name, detail: "must be an array of string literals", loc });
+                    continue;
+                }
+                facts[name === "modelUnbound" ? "modelUnbound" : "msgUnbound"] = { value: v, loc };
+            }
+        }
+    }
+    return facts;
+}
+//# sourceMappingURL=lib-contract.js.map

package/dist/frontend/lib-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib-contract.js","sourceRoot":"","sources":["../../src/frontend/lib-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AA4EvC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;AAE3G,SAAS,KAAK,CAAC,IAAmB,EAAE,IAAa;IAC/C,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,QAAQ,CAAC,IAAa;IAC7B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB,EAAE,OAA2B,EAAE,KAA6B;IACrG,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,8EAA8E,CAAC,CAAC;YACtF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,yBAAyB,EAAY,CAAC;QAChI,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;wDAEwD;AACxD,MAAM,UAAU,SAAS,CAAC,IAAmB,EAAE,IAAiB;IAC9D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QACvB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QACzB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QACvB,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QACvB,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QACzB;YACE,MAAM;IACV,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QACvE,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QACnE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;IAC7F,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAwB,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,oDAAoD;YACpD,MAAM,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAiB,CAAC;YACjE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzD,GAAG,GAAG,IAAI,CAAC;QACb,CAAC,CAAC,CAAC;QACH,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACzD,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACjC,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,uBAAuB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC3G,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,kBAAkB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACjG,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3F,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QAC5F,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QACvE,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjG,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,2DAA2D;AAC3D,SAAS,WAAW,CAAC,IAAmB;IACtC,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,WAAW,CAAC,EAAmB,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACxC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAmC,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,WAAW,CAAC,EAAmB,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAChC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1C,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC1C,IAAI,IAAI,KAAK,KAAK;gBAAE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;iBAC9B,IAAI,IAAI,KAAK,KAAK;gBAAE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;;gBACnC,OAAO,IAAI,CAAC;QACnB,CAAC;QACD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9C,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kEAAkE;AAClE,SAAS,MAAM,CAAC,IAAmB,EAAE,IAAa;IAChD,OAAO,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;AAChG,CAAC;AAED;;;;sCAIsC;AACtC,MAAM,UAAU,kBAAkB,CAAC,KAAoB,EAAE,UAAoC,EAAE;IAC7F,MAAM,KAAK,GAAkB;QAC3B,KAAK,EAAE,EAAE;QACT,cAAc,EAAE,EAAE;QAClB,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,IAAI;QAClB,UAAU,EAAE,IAAI;QAChB,aAAa,EAAE,IAAI;QACnB,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,IAAI;QACb,eAAe,EAAE,EAAE;KACpB,CAAC;IAEF,0DAA0D;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAY,EAAQ,EAAE;QACnD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;;YAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC;;;;;;;;;2CASuC;IACvC,MAAM,YAAY,GAAG,CAAC,IAAmB,EAAQ,EAAE;QACjD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7F,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAClC,iEAAiE;gBACjE,mEAAmE;gBACnE,oDAAoD;gBACpD,IAAI,CAAC,QAAQ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACnD,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBAClC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC9C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,IAAI,GAAG,GAAkB,IAAI,CAAC;oBAC9B,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;wBACzD,GAAG,GAAG,IAAI,CAAC;oBACb,CAAC,CAAC,CAAC;oBACH,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;oBACvD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;oBACzD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;wBACf,IAAI;wBACJ,IAAI,EAAE,WAAW;wBACjB,KAAK,EACH,GAAG,KAAK,IAAI;4BACV,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjC,CAAC,CAAC,OAAO;gCACP,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,qBAAqB,EAAE;gCACnD,CAAC,CAAC,QAAQ;oCACR,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,oCAAoC,EAAE;oCAClE,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE;wBACjC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;oBACvD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;wBACf,IAAI;wBACJ,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;wBAChG,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;qBACvB,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5H,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;oBACzC,IAAI,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;wBACzE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;oBAChD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,uEAAuE;IACvE,mEAAmE;IACnE,oEAAoE;IACpE,YAAY,CAAC,KAAK,CAAC,CAAC;IACpB,MAAM,MAAM,GAAG,OAAO;SACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC;SAC5C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAK,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,qBAAqB;YACvH,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;gBACnB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW;oBACzD,KAAK,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;iBAC9D,CAAC,CAAC;gBACH,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;gBACrE,OAAO,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;gBAC/C,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;aACxB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC3C,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBACnC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC;oBACxE,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;oBACrD,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBACxC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,2CAA2C,EAAE,GAAG,EAAE,CAAC,CAAC;wBAC/F,SAAS;oBACX,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;oBACrC,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBACxC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;wBACf,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC;4BACzB,IAAI;4BACJ,MAAM,EAAE,4FAA4F;4BACpG,GAAG;yBACJ,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,KAAK,CAAC,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;oBAClC,SAAS;gBACX,CAAC;gBACD,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACxC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACf,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,qCAAqC,EAAE,GAAG,EAAE,CAAC,CAAC;oBACzF,SAAS;gBACX,CAAC;gBACD,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/lowering/lower-builtins.js

@@ -3706,7 +3706,11 @@ export function lowerProcessProperty(L, expr) {
     // (process.features.* — no inspector, not a debug build).
     if (!expr.questionDotToken && ts.isPropertyAccessExpression(expr.expression)) {
         const container = L.stdlibGlobalMember(expr.expression, "process");
-        if (container === "versions" && expr.name.text === "sqlite") {
+        if (container === "versions" && (expr.name.text === "sqlite" || expr.name.text === "bun" || expr.name.text === "deno")) {
+            // versions.bun / versions.deno are the OTHER-runtime probes (a
+            // formatter's config loader picks its package.json reader by
+            // them): a compiled binary is neither, so both read undefined —
+            // exactly Node's own answer.
             return { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc: locOf(expr) };
         }
         if (container === "features") {
@@ -4740,6 +4744,17 @@ export function lowerNumberStaticCall(L, call, access) {
         }
         const argNode = call.arguments[0];
         const arg = L.lowerExpr(argNode);
+        // An ISLAND ('any'-typed) argument evaluates the predicate in the
+        // engine — the statics never coerce, so the engine's answer over the
+        // real value is JS-exact where a static fence would refuse the
+        // editorconfig `(value) => Number.isSafeInteger(value)` shape; the
+        // boolean exits validated like every island boolean.
+        if (arg.type.kind === "jsval") {
+            L.requireDynamicApi(`'Number.${member}'`, call);
+            const numberGlobal = { kind: "jsOp", op: "globalGet", name: "Number", args: [], type: JSVAL, loc };
+            const raw = { kind: "jsOp", op: "callMethod", name: member, args: [numberGlobal, arg], type: JSVAL, loc };
+            return { kind: "jsExit", value: raw, type: BOOL, loc };
+        }
         if (arg.type.kind !== "f64") {
             L.noLowering(`Number.${member} of '${L.fmt(arg.type)}' values`, argNode, "the Number statics never coerce — a statically non-number argument is constantly false in JS (narrow unions first, or write the constant)");
         }