@scriptc/compiler 0.4.4 → 0.4.5

package/dist/node-islands/rules.js

@@ -0,0 +1,91 @@
+/* The refusal rules of scope B (results/design-scope-b/DESIGN.md §1.2):
+ * the constructs that put a module outside the native subset, grouped in
+ * eleven rule families, and the four classes the detector reports.
+ *
+ *   runtime       (R1) needs the JavaScript runtime itself
+ *   object-model  (R2) needs a mutable object model
+ *   gap           inside the native subset, but scriptc cannot compile it yet
+ *   packaging     not compilable as shipped (no declarations, minified, ...)
+ *
+ * A reason id names one construct; refusal sites carry it on their
+ * diagnostic (ScrDiagnostic.reason) and the pre-scan (detect.ts) reports it
+ * with the rule. */
+const RULES = [
+    { rule: "R1.1", title: "code from strings", userJsCode: null },
+    { rule: "R1.2", title: "dynamic module loading", userJsCode: null },
+    { rule: "R1.3", title: "native addons", userJsCode: null },
+    { rule: "R1.4", title: "loader and require hooks", userJsCode: null },
+    { rule: "R1.5", title: "engine internals", userJsCode: null },
+    { rule: "R1.6", title: "runtime-only globals", userJsCode: null },
+    { rule: "R2.1", title: "constructor functions", userJsCode: "SC8101" },
+    { rule: "R2.2", title: "prototype mutation", userJsCode: "SC8102" },
+    { rule: "R2.3", title: "shape mutation outside the checker's view", userJsCode: "SC8103" },
+    { rule: "R2.4", title: "sloppy-mode semantics", userJsCode: "SC8104" },
+    { rule: "R2.5", title: "builtin and global patching", userJsCode: "SC8105" },
+];
+export function ruleInfo(rule) {
+    for (const info of RULES)
+        if (info.rule === rule)
+            return info;
+    throw new Error(`unknown Node island rule ${rule}`);
+}
+/** Reason id → rule. Ids without a rule (gap, packaging) are absent. */
+const REASON_RULES = {
+    "code-from-string": "R1.1",
+    vm: "R1.1",
+    "dynamic-require": "R1.2",
+    "dynamic-import": "R1.2",
+    "unresolved-import": "R1.2",
+    "native-addon": "R1.3",
+    "loader-hook": "R1.4",
+    "engine-internal": "R1.5",
+    "weak-ref": "R1.6",
+    "constructor-function": "R2.1",
+    "prototype-write": "R2.2",
+    "define-property": "R2.3",
+    with: "R2.4",
+    "sloppy-arguments": "R2.4",
+    "sloppy-mode": "R2.4",
+    "builtin-write": "R2.5",
+    proxy: "R2.5",
+};
+export function ruleOfReason(reason) {
+    return REASON_RULES[reason] ?? null;
+}
+export function classOfRule(rule) {
+    return rule.startsWith("R1.") ? "runtime" : "object-model";
+}
+/** The decisive class first: a runtime need outranks an object-model need,
+ * which outranks shipping problems; a gap is a package's class only when
+ * nothing else keeps it out of the native subset (fixing the gap would make
+ * it native). */
+export function classRank(cls) {
+    if (cls === "runtime")
+        return 0;
+    if (cls === "object-model")
+        return 1;
+    if (cls === "packaging")
+        return 2;
+    if (cls === "gap")
+        return 3;
+    return 4;
+}
+/** Report order: gap islands first (compiler work hidden behind an
+ * island), then the rest by rank. */
+export function reportRank(cls) {
+    if (cls === "gap")
+        return 0;
+    return classRank(cls) + 1;
+}
+export function classDescription(cls) {
+    if (cls === "runtime")
+        return "needs the JavaScript runtime";
+    if (cls === "object-model")
+        return "needs a mutable object model";
+    if (cls === "gap")
+        return "inside the native subset, but scriptc cannot compile it yet";
+    if (cls === "packaging")
+        return "not compilable as shipped";
+    return "marked to run in Node";
+}
+//# sourceMappingURL=rules.js.map

package/dist/node-islands/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/node-islands/rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;oBAWoB;AAwBpB,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,EAAE,UAAU,EAAE,IAAI,EAAE;IAC9D,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,wBAAwB,EAAE,UAAU,EAAE,IAAI,EAAE;IACnE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,IAAI,EAAE;IAC1D,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,0BAA0B,EAAE,UAAU,EAAE,IAAI,EAAE;IACrE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,kBAAkB,EAAE,UAAU,EAAE,IAAI,EAAE;IAC7D,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,sBAAsB,EAAE,UAAU,EAAE,IAAI,EAAE;IACjE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,uBAAuB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACtE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,oBAAoB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACnE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,2CAA2C,EAAE,UAAU,EAAE,QAAQ,EAAE;IAC1F,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,uBAAuB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACtE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,6BAA6B,EAAE,UAAU,EAAE,QAAQ,EAAE;CAC7E,CAAC;AAEF,MAAM,UAAU,QAAQ,CAAC,IAAoB;IAC3C,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,wEAAwE;AACxE,MAAM,YAAY,GAAmC;IACnD,kBAAkB,EAAE,MAAM;IAC1B,EAAE,EAAE,MAAM;IACV,iBAAiB,EAAE,MAAM;IACzB,gBAAgB,EAAE,MAAM;IACxB,mBAAmB,EAAE,MAAM;IAC3B,cAAc,EAAE,MAAM;IACtB,aAAa,EAAE,MAAM;IACrB,iBAAiB,EAAE,MAAM;IACzB,UAAU,EAAE,MAAM;IAClB,sBAAsB,EAAE,MAAM;IAC9B,iBAAiB,EAAE,MAAM;IACzB,iBAAiB,EAAE,MAAM;IACzB,IAAI,EAAE,MAAM;IACZ,kBAAkB,EAAE,MAAM;IAC1B,aAAa,EAAE,MAAM;IACrB,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,MAAM;CACd,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAoB;IAC9C,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC;AAC7D,CAAC;AAED;;;iBAGiB;AACjB,MAAM,UAAU,SAAS,CAAC,GAAoB;IAC5C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAChC,IAAI,GAAG,KAAK,cAAc;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,GAAG,KAAK,WAAW;QAAE,OAAO,CAAC,CAAC;IAClC,IAAI,GAAG,KAAK,KAAK;QAAE,OAAO,CAAC,CAAC;IAC5B,OAAO,CAAC,CAAC;AACX,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,UAAU,CAAC,GAAoB;IAC7C,IAAI,GAAG,KAAK,KAAK;QAAE,OAAO,CAAC,CAAC;IAC5B,OAAO,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAoB;IACnD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,8BAA8B,CAAC;IAC7D,IAAI,GAAG,KAAK,cAAc;QAAE,OAAO,8BAA8B,CAAC;IAClE,IAAI,GAAG,KAAK,KAAK;QAAE,OAAO,6DAA6D,CAAC;IACxF,IAAI,GAAG,KAAK,WAAW;QAAE,OAAO,2BAA2B,CAAC;IAC5D,OAAO,uBAAuB,CAAC;AACjC,CAAC"}

package/dist/node-islands/scan.d.ts

@@ -0,0 +1,53 @@
+import type { ScrDiagnostic } from "../diagnostics/diagnostic.js";
+import type { SrcLoc } from "../ir/ir.js";
+import * as ts from "../frontend/ts7/adapter.js";
+import { type NodeIslandMarker } from "./detect.js";
+import { type Origin } from "./origin.js";
+export interface ScannedModule {
+    file: string;
+    origin: Origin;
+    /** The npm package directory, for npm modules. */
+    packageDir: string | null;
+    packageName: string | null;
+    markers: NodeIslandMarker[];
+    /** True for a module of a package the drop-and-reload loop removed. */
+    dropped: boolean;
+}
+/** One import of an npm package. */
+export interface PackageEdge {
+    /** The importing package's directory; null for user code. */
+    fromDir: string | null;
+    fromFile: string;
+    /** The imported package's name. */
+    to: string;
+    /** Its directory when the import resolves to installed JavaScript. */
+    toDir: string | null;
+    /** Served by a registry shim, a builtin alias, or marked unloaded. */
+    shim: boolean;
+    loc: SrcLoc;
+}
+/** How the drop-and-reload loop refused a package. */
+export type RefusalKind = "preflight" | "offender" | "degrade" | "typecheck" | "external";
+export interface RefusalRecord {
+    package: string;
+    kind: RefusalKind;
+    /** The package-anchored preflight diagnostic, for kind "preflight". */
+    diag: ScrDiagnostic | null;
+}
+export interface NodeIslandScan {
+    modules: ScannedModule[];
+    edges: PackageEdge[];
+    refusals: RefusalRecord[];
+}
+export declare function emptyScan(): NodeIslandScan;
+/** Scans `files`: markers for npm JavaScript (and for user JavaScript when
+ * `userJs`), and package edges for every file when `edges` (a program with
+ * no npm package has none to find). */
+export declare function scanFiles(program: ts.Program, files: readonly ts.SourceFile[], opts: {
+    userJs: boolean;
+    dropped: boolean;
+    edges: boolean;
+}): {
+    modules: ScannedModule[];
+    edges: PackageEdge[];
+};

package/dist/node-islands/scan.js

@@ -0,0 +1,104 @@
+import * as ts from "../frontend/ts7/adapter.js";
+import { canonicalBuiltinModule, npmBuiltinAliasOf } from "../frontend/builtin-modules.js";
+import { erasedTypeOnlyImport } from "../frontend/type-only-imports.js";
+import { isShimmedImport } from "../frontend/package-shims.js";
+import { resolveBareModule } from "../frontend/resolve.js";
+import { isJsSourceFileName } from "../frontend/tsc-codes.js";
+import { isRelativeSpecifier, packageNameOfSpecifier } from "../frontend/workspace-registry.js";
+import { moduleSourceCandidates } from "../frontend/module-source-candidates.js";
+import { scanModule } from "./detect.js";
+import { originOf, packageDirOf } from "./origin.js";
+export function emptyScan() {
+    return { modules: [], edges: [], refusals: [] };
+}
+function locOfNode(node) {
+    const sf = ts.getSourceFileOfNode(node);
+    return { file: sf.fileName, start: ts.tokenStartOfNode(node), end: node.end };
+}
+/** The literal module specifiers of a file with their sites: top-level
+ * import and export declarations, and the require() and import() calls the
+ * program's shared module-source scan already collected (no second walk). */
+function specifiersOf(program, sf) {
+    const out = [];
+    for (const node of sf.statements.nodes) {
+        if ((ts.isImportDeclaration(node) || ts.isExportDeclaration(node)) &&
+            node.moduleSpecifier !== undefined &&
+            ts.isStringLiteral(node.moduleSpecifier)) {
+            // Type-only imports load nothing.
+            const typeOnly = ts.isImportDeclaration(node) ? erasedTypeOnlyImport(node) : node.isTypeOnly;
+            if (!typeOnly)
+                out.push({ spec: node.moduleSpecifier.text, node });
+        }
+    }
+    for (const call of moduleSourceCandidates(program, sf).calls) {
+        const arg = call.arguments.nodes[0];
+        if (arg !== undefined &&
+            ts.isStringLiteralLike(arg) &&
+            (call.expression.kind === ts.SyntaxKind.ImportKeyword ||
+                (ts.isIdentifier(call.expression) && call.expression.text === "require")))
+            out.push({ spec: arg.text, node: call });
+    }
+    return out;
+}
+/** Scans `files`: markers for npm JavaScript (and for user JavaScript when
+ * `userJs`), and package edges for every file when `edges` (a program with
+ * no npm package has none to find). */
+export function scanFiles(program, files, opts) {
+    const modules = [];
+    const edges = [];
+    const seen = new Set();
+    for (const sf of files) {
+        if (seen.has(sf.fileName))
+            continue;
+        seen.add(sf.fileName);
+        const origin = originOf(sf.fileName);
+        if (origin === "builtin" || origin === "shim")
+            continue;
+        const at = origin === "npm" ? packageDirOf(sf.fileName) : null;
+        const js = isJsSourceFileName(sf.fileName);
+        const markers = js && (origin === "npm" || opts.userJs) ? scanModule(sf) : [];
+        modules.push({
+            file: sf.fileName,
+            origin,
+            packageDir: at === null ? null : at.dir,
+            packageName: at === null ? null : at.name,
+            markers,
+            dropped: opts.dropped,
+        });
+        if (!opts.edges)
+            continue;
+        for (const { spec, node } of specifiersOf(program, sf)) {
+            if (isRelativeSpecifier(spec) || spec.startsWith("/") || spec.startsWith("#"))
+                continue;
+            // scriptc's own packages lower at their use sites.
+            if (spec.startsWith("@scriptc/"))
+                continue;
+            const alias = npmBuiltinAliasOf(spec);
+            if (alias === null && (spec.startsWith("node:") || canonicalBuiltinModule(spec) !== null))
+                continue;
+            const name = packageNameOfSpecifier(spec);
+            const shim = alias !== null || isShimmedImport(sf.fileName, spec);
+            let toDir = null;
+            if (!shim) {
+                const resolved = resolveBareModule(sf.fileName, spec, "js-only");
+                if (resolved !== null) {
+                    const target = packageDirOf(resolved.typesFile);
+                    // A workspace package compiled from source is user code.
+                    if (target === null)
+                        continue;
+                    toDir = target.dir;
+                }
+            }
+            edges.push({
+                fromDir: at === null ? null : at.dir,
+                fromFile: sf.fileName,
+                to: name,
+                toDir,
+                shim,
+                loc: locOfNode(node),
+            });
+        }
+    }
+    return { modules, edges };
+}
+//# sourceMappingURL=scan.js.map

package/dist/node-islands/scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../src/node-islands/scan.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACjF,OAAO,EAAE,UAAU,EAAyB,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAe,MAAM,aAAa,CAAC;AA2ClE,MAAM,UAAU,SAAS;IACvB,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAAC,IAAa;IAC9B,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;AAChF,CAAC;AAED;;6EAE6E;AAC7E,SAAS,YAAY,CAAC,OAAmB,EAAE,EAAiB;IAC1D,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACvC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC9D,IAAI,CAAC,eAAe,KAAK,SAAS;YAClC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EACxC,CAAC;YACD,kCAAkC;YAClC,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;YAC7F,IAAI,CAAC,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,sBAAsB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACpC,IACE,GAAG,KAAK,SAAS;YACjB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC;YAC3B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBACnD,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAE3E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;uCAEuC;AACvC,MAAM,UAAU,SAAS,CACvB,OAAmB,EACnB,KAA+B,EAC/B,IAA2D;IAE3D,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACtB,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM;YAAE,SAAS;QACxD,MAAM,EAAE,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/D,MAAM,EAAE,GAAG,kBAAkB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,EAAE,IAAI,CAAC,MAAM,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,EAAE,CAAC,QAAQ;YACjB,MAAM;YACN,UAAU,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG;YACvC,WAAW,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI;YACzC,OAAO;YACP,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC,CAAC;QACH,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,SAAS;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC;YACvD,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACxF,mDAAmD;YACnD,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;gBAAE,SAAS;YAC3C,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;gBACvF,SAAS;YACX,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,KAAK,KAAK,IAAI,IAAI,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClE,IAAI,KAAK,GAAkB,IAAI,CAAC;YAChC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBACjE,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACtB,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;oBAChD,yDAAyD;oBACzD,IAAI,MAAM,KAAK,IAAI;wBAAE,SAAS;oBAC9B,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,OAAO,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG;gBACpC,QAAQ,EAAE,EAAE,CAAC,QAAQ;gBACrB,EAAE,EAAE,IAAI;gBACR,KAAK;gBACL,IAAI;gBACJ,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC"}

package/dist/node-islands/summary.d.ts

@@ -0,0 +1,78 @@
+import type { ScrDiagnostic } from "../diagnostics/diagnostic.js";
+import type { SrcLoc } from "../ir/ir.js";
+import type { DecisionSource, NodeIslandPolicy } from "./policy.js";
+import type { NodeIslandClass, NodeIslandRule } from "./rules.js";
+export type NodeIslandReasonSource = "pre-scan" | "refusal" | "fence" | "package";
+export interface NodeIslandReason {
+    class: NodeIslandClass;
+    rule: NodeIslandRule | null;
+    /** Reason id: a rules.ts id, "gap" or "packaging". */
+    reason: string;
+    /** The SC code of the refusal, when the reason is a diagnostic. */
+    code: string | null;
+    message: string;
+    loc: SrcLoc | null;
+    source: NodeIslandReasonSource;
+}
+export type IslandDecision = "auto" | "config" | "cli";
+export interface NodeIslandEntry {
+    package: string;
+    version: string | null;
+    /** The package directory (the instance), when it is installed. */
+    path: string | null;
+    class: NodeIslandClass;
+    /** The first decisive reason, rendered. */
+    reason: string;
+    /** The SC code of the first decisive reason, when it is a refusal. */
+    diagnostic: string | null;
+    decision: IslandDecision;
+    /** Every reason, in report order (decisive class first, then source
+     * order). */
+    reasons: NodeIslandReason[];
+    /** Modules of the package with at least one reason. */
+    modules: number;
+    /** Packages imported only through this island, which run inside it. */
+    carries: string[];
+    /** Where native code imports the package: the island boundary. */
+    importedFrom: SrcLoc[];
+    /** Report-only: deferral (NI-7) is not decided yet, so every island
+     * would evaluate eagerly at its module position. */
+    evaluation: "eager";
+}
+export interface UserModuleIsland {
+    file: string;
+    source: DecisionSource;
+}
+export interface NativePackage {
+    package: string;
+    version: string | null;
+    path: string | null;
+    /** "native": compiles natively; "inside": runs inside an island's
+     * closure; "shared": reached from native code and from an island. */
+    status: "native" | "inside" | "shared";
+    /** For inside and shared: the islands that reach it. */
+    islands: string[];
+}
+export interface NodeIslandReport {
+    mode: "would-be";
+    policy: NodeIslandPolicy["mode"];
+    islands: NodeIslandEntry[];
+    packages: NativePackage[];
+    userModules: UserModuleIsland[];
+    /** Would-be errors: SC8002 (islands off) and SC8003 (marked native). */
+    violations: ScrDiagnostic[];
+    /** SC8101–SC8105 for user JavaScript (only with --strict-user-js). */
+    userJs: ScrDiagnostic[];
+    /** --native / --node-island / config package names the program does
+     * not import. */
+    unknownPackages: string[];
+}
+/** "R2.1 constructor functions: 'new Foo()' of a function" or
+ * "SC2012: <message>". */
+export declare function describe(r: NodeIslandReason): string;
+/** True when the report has decisions to show (islands, marked modules,
+ * policy errors or unknown names); SC81xx findings alone render as
+ * blockers. */
+export declare function hasNodeIslandDecisions(report: NodeIslandReport): boolean;
+/** True when the report has anything to show. */
+export declare function hasNodeIslandFindings(report: NodeIslandReport): boolean;

package/dist/node-islands/summary.js

@@ -0,0 +1,26 @@
+/** "R2.1 constructor functions: 'new Foo()' of a function" or
+ * "SC2012: <message>". */
+export function describe(r) {
+    if (r.source === "pre-scan" && r.rule !== null)
+        return `${r.rule} ${r.message}`;
+    const rule = r.rule === null ? "" : `${r.rule} `;
+    return r.code === null ? `${rule}${r.message}` : `${rule}${r.code}: ${r.message}`;
+}
+/** True when the report has decisions to show (islands, marked modules,
+ * policy errors or unknown names); SC81xx findings alone render as
+ * blockers. */
+export function hasNodeIslandDecisions(report) {
+    return (report.islands.length > 0 ||
+        report.userModules.length > 0 ||
+        report.violations.length > 0 ||
+        report.unknownPackages.length > 0);
+}
+/** True when the report has anything to show. */
+export function hasNodeIslandFindings(report) {
+    return (report.islands.length > 0 ||
+        report.userModules.length > 0 ||
+        report.violations.length > 0 ||
+        report.userJs.length > 0 ||
+        report.unknownPackages.length > 0);
+}
+//# sourceMappingURL=summary.js.map

package/dist/node-islands/summary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"summary.js","sourceRoot":"","sources":["../../src/node-islands/summary.ts"],"names":[],"mappings":"AAgFA;0BAC0B;AAC1B,MAAM,UAAU,QAAQ,CAAC,CAAmB;IAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;IAChF,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC;IACjD,OAAO,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;AACpF,CAAC;AAED;;eAEe;AACf,MAAM,UAAU,sBAAsB,CAAC,MAAwB;IAC7D,OAAO,CACL,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAC7B,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC5B,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAClC,CAAC;AACJ,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,qBAAqB,CAAC,MAAwB;IAC5D,OAAO,CACL,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAC7B,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACxB,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAClC,CAAC;AACJ,CAAC"}

package/dist/project-config.d.ts

@@ -0,0 +1,50 @@
+import { type ScrDiagnostic } from "./diagnostics/diagnostic.js";
+/** How a package runs: compiled natively, in a Node island, or decided by
+ * the detector. */
+export type PackageRun = "native" | "node" | "auto";
+export type PackageEvaluate = "auto" | "lazy" | "eager";
+export type PackageShare = "auto" | "shared" | "duplicate";
+export type PackageMarshal = "copy" | "handles";
+export type PackageSchedule = "lockstep" | "free";
+/** One `scriptc.packages.<name>` entry. `unloaded` packages never load;
+ * the other settings choose where the package runs. */
+export interface PackageSetting {
+    unloaded: boolean;
+    run: PackageRun;
+    evaluate: PackageEvaluate;
+    share: PackageShare;
+    marshal: PackageMarshal;
+    schedule: PackageSchedule;
+}
+export interface NodeIslandsSetting {
+    /** Automatic Node islands for npm code outside the native subset. */
+    auto: boolean;
+    /** User modules (paths or globs relative to the package.json) that run
+     * in Node. */
+    modules: string[];
+    /** The `node` executable recorded into the binary. */
+    node: string | null;
+    /** A semver range checked at the helper handshake. */
+    nodeVersion: string | null;
+    packaging: "embedded" | "beside";
+    speculativeStart: boolean;
+}
+export interface ProjectConfig {
+    /** The package.json the configuration came from, or null. */
+    manifest: string | null;
+    /** Its text, for diagnostic code frames. */
+    manifestText: string | null;
+    packages: Map<string, PackageSetting>;
+    nodeIslands: NodeIslandsSetting;
+    /** `scriptc.wasm`: module paths, resolved against the manifest. */
+    wasm: string[];
+    /** SC8004 for every unknown key or value. */
+    diagnostics: ScrDiagnostic[];
+}
+/** The empty configuration of a project without a package.json. */
+export declare function emptyProjectConfig(): ProjectConfig;
+/** Reads and validates one package.json text. Exported for tests. */
+export declare function parseProjectConfig(manifest: string, text: string): ProjectConfig;
+/** The configuration of the entry's nearest package.json (the first one
+ * found walking up from the entry's directory, readable or not). */
+export declare function readProjectConfig(entryPath: string): ProjectConfig;