@scriptc/compiler 0.0.4 → 0.0.6

package/dist/library/profile.d.ts

@@ -0,0 +1,52 @@
+import { type ScrDiagnostic } from "../diagnostics/diagnostic.js";
+/** Marshalling classes legal in PARAMETER position (v1). */
+export declare const LIB_PARAM_CLASSES: readonly ["f64", "bool", "string", "bytes", "u8", "u32", "i32"];
+/** Marshalling classes legal in RETURN position (v1): the value classes
+ * plus void; the integer plumbing classes are param-only until ask 4. */
+export declare const LIB_RETURN_CLASSES: readonly ["f64", "bool", "string", "bytes", "void"];
+export type LibParamClass = (typeof LIB_PARAM_CLASSES)[number];
+export type LibReturnClass = (typeof LIB_RETURN_CLASSES)[number];
+export interface LibraryExportEntry {
+    /** The entry module's export name. */
+    export: string;
+    /** The external C symbol the wrapper is emitted under. */
+    symbol: string;
+    params: LibParamClass[];
+    returns: LibReturnClass;
+}
+export interface LibraryProfile {
+    profileFormat: 1;
+    name: string;
+    /** Resolved absolute path of the ONE entry module. */
+    entry: string;
+    /** The pinned emission — no fallback concept exists on the library path. */
+    emission: "llvm" | "c";
+    prefix: string;
+    initSymbol: string;
+    sinkRegisterSymbol: string;
+    /** Session ruling 2's mode-provided collect entry (delegates to the
+     * runtime cycle collector; snapshot-invariant, arena-resetting). Null =
+     * the profile declares none. */
+    collectSymbol: string | null;
+    /** §4.3: declared → results accumulate until the host calls it; null →
+     * every entry prologue resets the result arena. */
+    resultResetSymbol: string | null;
+    exports: LibraryExportEntry[];
+    /** Profile-supplied teaching text appended to refusals (the ratified
+     * SC4004/SC4005 rider): keyed by diagnostic code ("SC4005"), with
+     * "async" accepted as the shared key for both async-surface codes. */
+    teachings: Readonly<Record<string, string>>;
+}
+/** Parse + validate a profile file. Returns the profile or the SC4001
+ * diagnostics (one per problem found before parsing had to stop). */
+export declare function loadLibraryProfile(profilePath: string): {
+    ok: true;
+    profile: LibraryProfile;
+} | {
+    ok: false;
+    diagnostics: ScrDiagnostic[];
+};
+/** The profile's teaching text for one refusal code (the ratified rider:
+ * SC4004/SC4005 carry profile-supplied guidance naming the embedder's
+ * sanctioned alternative). Falls back to the shared "async" key. */
+export declare function profileTeaching(profile: LibraryProfile, code: string): string | undefined;

package/dist/library/profile.js

@@ -0,0 +1,232 @@
+/* Library-mode profile: the published configuration file an embedder ships to
+ * name its ABI (symbol prefix, entry module, export map with per-param/
+ * return marshalling classes, and the mode-provided symbol names). The
+ * profile is configuration, not code — scriptc knows nothing about any
+ * particular embedder; a second embedder writes its own profile against the
+ * same mode. Every validation failure is SC4001 with the offending JSON
+ * path named (the design's "profile malformed" family: parse errors,
+ * meaning-changing unknown fields, prefix violations, duplicate symbols,
+ * bad C identifiers).
+ *
+ * Ratified shape (the ratified library-mode design §5.1 + the ABI ratification session):
+ *   {
+ *     "profile_format": 1,
+ *     "name": "<embedder identity string>",
+ *     "entry": "src/lib.ts",                  // ONE module, profile-relative
+ *     "emission": "llvm" | "c",                // pins the emission; no fallback
+ *     "abi": {
+ *       "prefix": "<prefix>_",
+ *       "init_symbol": "<prefix>_init",
+ *       "sink_register_symbol": "<prefix>_set_panic_sink",
+ *       "collect_symbol": "<prefix>_collect" | null,   // session ruling 2
+ *       "result_reset_symbol": "<prefix>_reset" | null // §4.3 two postures
+ *     },
+ *     "exports": [ { "export": "update", "symbol": "<prefix>_update",
+ *                    "params": ["f64", "string"], "returns": "bytes" } ],
+ *     "determinism": { ... }                   // ask-5 surface, reserved;
+ *                                              // only `teachings` is read
+ *                                              // today (the SC4004/SC4005
+ *                                              // teaching rider)
+ *   }
+ *
+ * Marshalling classes (design §4.2 + session ruling 3): f64, bool, string,
+ * bytes for params and returns; u8/u32/i32 are PARAM-ONLY plumbing classes
+ * in v1 (outbound integer returns wait for ask-4's prove-or-refuse
+ * machinery); void is return-only. Unknown top-level fields are ignored
+ * (reserved surface: determinism, identity/version echo); unknown fields
+ * INSIDE `abi` and export entries are refused — a typo there silently
+ * changes meaning. */
+import { readFileSync } from "node:fs";
+import { dirname, isAbsolute, resolve } from "node:path";
+import { libProfileDiag } from "../diagnostics/diagnostic.js";
+/** Marshalling classes legal in PARAMETER position (v1). */
+export const LIB_PARAM_CLASSES = ["f64", "bool", "string", "bytes", "u8", "u32", "i32"];
+/** Marshalling classes legal in RETURN position (v1): the value classes
+ * plus void; the integer plumbing classes are param-only until ask 4. */
+export const LIB_RETURN_CLASSES = ["f64", "bool", "string", "bytes", "void"];
+const C_IDENT = /^[A-Za-z_][A-Za-z0-9_]*$/;
+class ProfileError extends Error {
+    detail;
+    constructor(detail) {
+        super(detail);
+        this.detail = detail;
+    }
+}
+function req(v, path, kind) {
+    if (typeof v !== kind) {
+        throw new ProfileError(`'${path}' must be a ${kind}${v === undefined ? " (missing)" : ""}`);
+    }
+    return v;
+}
+function symbolField(v, path, prefix, nullable) {
+    if (nullable && (v === null || v === undefined))
+        return null;
+    const s = req(v, path, "string");
+    if (!C_IDENT.test(s))
+        throw new ProfileError(`'${path}' is not a valid C identifier: '${s}'`);
+    if (!s.startsWith(prefix)) {
+        throw new ProfileError(`'${path}' must start with the profile prefix '${prefix}': '${s}'`);
+    }
+    return s;
+}
+function rejectUnknownKeys(obj, path, known) {
+    for (const k of Object.keys(obj)) {
+        if (!known.includes(k)) {
+            throw new ProfileError(`unknown field '${path}.${k}' (a typo here would change the ABI; remove it)`);
+        }
+    }
+}
+/** Parse + validate a profile file. Returns the profile or the SC4001
+ * diagnostics (one per problem found before parsing had to stop). */
+export function loadLibraryProfile(profilePath) {
+    const fail = (detail) => ({
+        ok: false,
+        diagnostics: [libProfileDiag(detail, profilePath)],
+    });
+    let text;
+    try {
+        text = readFileSync(profilePath, "utf8");
+    }
+    catch (e) {
+        return fail(`cannot read profile: ${e.message}`);
+    }
+    let raw;
+    try {
+        raw = JSON.parse(text);
+    }
+    catch (e) {
+        return fail(`profile is not valid JSON (${e.message})`);
+    }
+    try {
+        if (raw === null || typeof raw !== "object" || Array.isArray(raw)) {
+            throw new ProfileError("profile must be a JSON object");
+        }
+        const p = raw;
+        const format = req(p["profile_format"], "profile_format", "number");
+        if (format !== 1)
+            throw new ProfileError(`unsupported profile_format ${format} (this scriptc reads format 1)`);
+        const name = req(p["name"], "name", "string");
+        if (name === "")
+            throw new ProfileError("'name' must be a non-empty identity string");
+        const entryRel = req(p["entry"], "entry", "string");
+        if (entryRel === "")
+            throw new ProfileError("'entry' must name the profile's one entry module");
+        const emission = req(p["emission"], "emission", "string");
+        if (emission !== "llvm" && emission !== "c") {
+            throw new ProfileError(`'emission' must be "llvm" or "c", got '${emission}'`);
+        }
+        const abi = p["abi"];
+        if (abi === null || typeof abi !== "object" || Array.isArray(abi)) {
+            throw new ProfileError("'abi' must be an object");
+        }
+        rejectUnknownKeys(abi, "abi", ["prefix", "init_symbol", "sink_register_symbol", "collect_symbol", "result_reset_symbol"]);
+        const a = abi;
+        const prefix = req(a["prefix"], "abi.prefix", "string");
+        if (!C_IDENT.test(prefix)) {
+            throw new ProfileError(`'abi.prefix' is not a valid C identifier fragment: '${prefix}'`);
+        }
+        const initSymbol = symbolField(a["init_symbol"], "abi.init_symbol", prefix, false);
+        const sinkRegisterSymbol = symbolField(a["sink_register_symbol"], "abi.sink_register_symbol", prefix, false);
+        const collectSymbol = symbolField(a["collect_symbol"], "abi.collect_symbol", prefix, true);
+        const resultResetSymbol = symbolField(a["result_reset_symbol"], "abi.result_reset_symbol", prefix, true);
+        const exportsRaw = p["exports"];
+        if (!Array.isArray(exportsRaw))
+            throw new ProfileError("'exports' must be an array");
+        const entries = [];
+        exportsRaw.forEach((e, i) => {
+            const path = `exports[${i}]`;
+            if (e === null || typeof e !== "object" || Array.isArray(e)) {
+                throw new ProfileError(`'${path}' must be an object`);
+            }
+            rejectUnknownKeys(e, path, ["export", "symbol", "params", "returns"]);
+            const ee = e;
+            const exportName = req(ee["export"], `${path}.export`, "string");
+            if (exportName === "")
+                throw new ProfileError(`'${path}.export' must be a non-empty export name`);
+            const symbol = symbolField(ee["symbol"], `${path}.symbol`, prefix, false);
+            const paramsRaw = ee["params"];
+            if (!Array.isArray(paramsRaw))
+                throw new ProfileError(`'${path}.params' must be an array`);
+            const params = paramsRaw.map((c, j) => {
+                if (typeof c !== "string" || !LIB_PARAM_CLASSES.includes(c)) {
+                    throw new ProfileError(`'${path}.params[${j}]' must be one of ${LIB_PARAM_CLASSES.join("/")}, got ${JSON.stringify(c)}`);
+                }
+                return c;
+            });
+            const returns = req(ee["returns"], `${path}.returns`, "string");
+            if (!LIB_RETURN_CLASSES.includes(returns)) {
+                const detail = returns === "u8" || returns === "u32" || returns === "i32"
+                    ? `'${path}.returns': integer classes are parameter-only in v1 — outbound integer returns wait for the prove-or-refuse machinery (ask 4); return f64 and convert on the host side`
+                    : `'${path}.returns' must be one of ${LIB_RETURN_CLASSES.join("/")}, got '${returns}'`;
+                throw new ProfileError(detail);
+            }
+            entries.push({ export: exportName, symbol, params, returns: returns });
+        });
+        // Pairwise-distinct symbols across the whole declared set (exports +
+        // the mode-provided entries).
+        const all = new Map();
+        const claim = (sym, path) => {
+            if (sym === null)
+                return;
+            const prev = all.get(sym);
+            if (prev !== undefined) {
+                throw new ProfileError(`symbol '${sym}' is declared twice (${prev} and ${path}); symbols must be pairwise distinct`);
+            }
+            all.set(sym, path);
+        };
+        claim(initSymbol, "abi.init_symbol");
+        claim(sinkRegisterSymbol, "abi.sink_register_symbol");
+        claim(collectSymbol, "abi.collect_symbol");
+        claim(resultResetSymbol, "abi.result_reset_symbol");
+        entries.forEach((e, i) => claim(e.symbol, `exports[${i}].symbol`));
+        const exportNames = new Set();
+        entries.forEach((e, i) => {
+            if (exportNames.has(e.export)) {
+                throw new ProfileError(`export '${e.export}' is mapped twice (exports[${i}])`);
+            }
+            exportNames.add(e.export);
+        });
+        // Ask-5 surface: only the teachings rider is read today; everything
+        // else under `determinism` is reserved and ignored.
+        const teachings = {};
+        const det = p["determinism"];
+        if (det !== undefined && det !== null && typeof det === "object" && !Array.isArray(det)) {
+            const t = det["teachings"];
+            if (t !== undefined && t !== null && typeof t === "object" && !Array.isArray(t)) {
+                for (const [k, v] of Object.entries(t)) {
+                    if (typeof v === "string")
+                        teachings[k] = v;
+                }
+            }
+        }
+        const entry = isAbsolute(entryRel) ? entryRel : resolve(dirname(profilePath), entryRel);
+        return {
+            ok: true,
+            profile: {
+                profileFormat: 1,
+                name,
+                entry,
+                emission,
+                prefix,
+                initSymbol,
+                sinkRegisterSymbol,
+                collectSymbol,
+                resultResetSymbol,
+                exports: entries,
+                teachings,
+            },
+        };
+    }
+    catch (e) {
+        if (e instanceof ProfileError)
+            return fail(e.detail);
+        throw e;
+    }
+}
+/** The profile's teaching text for one refusal code (the ratified rider:
+ * SC4004/SC4005 carry profile-supplied guidance naming the embedder's
+ * sanctioned alternative). Falls back to the shared "async" key. */
+export function profileTeaching(profile, code) {
+    return profile.teachings[code] ?? (code === "SC4004" || code === "SC4005" ? profile.teachings["async"] : undefined);
+}
+//# sourceMappingURL=profile.js.map

package/dist/library/profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile.js","sourceRoot":"","sources":["../../src/library/profile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAqCsB;AACtB,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,cAAc,EAAsB,MAAM,8BAA8B,CAAC;AAElF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAU,CAAC;AACjG;yEACyE;AACzE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAU,CAAC;AAsCtF,MAAM,OAAO,GAAG,0BAA0B,CAAC;AAE3C,MAAM,YAAa,SAAQ,KAAK;IACT;IAArB,YAAqB,MAAc;QACjC,KAAK,CAAC,MAAM,CAAC,CAAC;QADK,WAAM,GAAN,MAAM,CAAQ;IAEnC,CAAC;CACF;AAED,SAAS,GAAG,CAAI,CAAU,EAAE,IAAY,EAAE,IAAqC;IAC7E,IAAI,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,IAAI,YAAY,CAAC,IAAI,IAAI,eAAe,IAAI,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,CAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,IAAY,EAAE,MAAc,EAAE,QAAiB;IAC9E,IAAI,QAAQ,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,CAAC,GAAG,GAAG,CAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,IAAI,IAAI,mCAAmC,CAAC,GAAG,CAAC,CAAC;IAC9F,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,YAAY,CAAC,IAAI,IAAI,yCAAyC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,IAAY,EAAE,KAAwB;IAC5E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,YAAY,CAAC,kBAAkB,IAAI,IAAI,CAAC,iDAAiD,CAAC,CAAC;QACvG,CAAC;IACH,CAAC;AACH,CAAC;AAED;qEACqE;AACrE,MAAM,UAAU,kBAAkB,CAChC,WAAmB;IAEnB,MAAM,IAAI,GAAG,CAAC,MAAc,EAA+C,EAAE,CAAC,CAAC;QAC7E,EAAE,EAAE,KAAK;QACT,WAAW,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;KACnD,CAAC,CAAC;IACH,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAC,wBAAyB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAC,8BAA+B,CAAW,CAAC,OAAO,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC;QACH,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,YAAY,CAAC,+BAA+B,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,CAAC,GAAG,GAA8B,CAAC;QACzC,MAAM,MAAM,GAAG,GAAG,CAAS,CAAC,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,EAAE,QAAQ,CAAC,CAAC;QAC5E,IAAI,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,8BAA8B,MAAM,gCAAgC,CAAC,CAAC;QAC/G,MAAM,IAAI,GAAG,GAAG,CAAS,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,EAAE;YAAE,MAAM,IAAI,YAAY,CAAC,4CAA4C,CAAC,CAAC;QACtF,MAAM,QAAQ,GAAG,GAAG,CAAS,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC5D,IAAI,QAAQ,KAAK,EAAE;YAAE,MAAM,IAAI,YAAY,CAAC,kDAAkD,CAAC,CAAC;QAChG,MAAM,QAAQ,GAAG,GAAG,CAAS,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAClE,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;YAC5C,MAAM,IAAI,YAAY,CAAC,0CAA0C,QAAQ,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,YAAY,CAAC,yBAAyB,CAAC,CAAC;QACpD,CAAC;QACD,iBAAiB,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAC1H,MAAM,CAAC,GAAG,GAA8B,CAAC;QACzC,MAAM,MAAM,GAAG,GAAG,CAAS,CAAC,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,YAAY,CAAC,uDAAuD,MAAM,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,iBAAiB,EAAE,MAAM,EAAE,KAAK,CAAE,CAAC;QACpF,MAAM,kBAAkB,GAAG,WAAW,CAAC,CAAC,CAAC,sBAAsB,CAAC,EAAE,0BAA0B,EAAE,MAAM,EAAE,KAAK,CAAE,CAAC;QAC9G,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC3F,MAAM,iBAAiB,GAAG,WAAW,CAAC,CAAC,CAAC,qBAAqB,CAAC,EAAE,yBAAyB,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAEzG,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,4BAA4B,CAAC,CAAC;QACrF,MAAM,OAAO,GAAyB,EAAE,CAAC;QACzC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC;YAC7B,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,MAAM,IAAI,YAAY,CAAC,IAAI,IAAI,qBAAqB,CAAC,CAAC;YACxD,CAAC;YACD,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;YACtE,MAAM,EAAE,GAAG,CAA4B,CAAC;YACxC,MAAM,UAAU,GAAG,GAAG,CAAS,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,UAAU,KAAK,EAAE;gBAAE,MAAM,IAAI,YAAY,CAAC,IAAI,IAAI,0CAA0C,CAAC,CAAC;YAClG,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,MAAM,EAAE,KAAK,CAAE,CAAC;YAC3E,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,MAAM,IAAI,YAAY,CAAC,IAAI,IAAI,2BAA2B,CAAC,CAAC;YAC3F,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAE,iBAAuC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnF,MAAM,IAAI,YAAY,CACpB,IAAI,IAAI,WAAW,CAAC,qBAAqB,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CACjG,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAkB,CAAC;YAC5B,CAAC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,GAAG,CAAS,EAAE,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxE,IAAI,CAAE,kBAAwC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjE,MAAM,MAAM,GACV,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK;oBACxD,CAAC,CAAC,IAAI,IAAI,wKAAwK;oBAClL,CAAC,CAAC,IAAI,IAAI,4BAA4B,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,OAAO,GAAG,CAAC;gBAC3F,MAAM,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAyB,EAAE,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;QAEH,qEAAqE;QACrE,8BAA8B;QAC9B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,GAAkB,EAAE,IAAY,EAAQ,EAAE;YACvD,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO;YACzB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,IAAI,YAAY,CAAC,WAAW,GAAG,wBAAwB,IAAI,QAAQ,IAAI,sCAAsC,CAAC,CAAC;YACvH,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrB,CAAC,CAAC;QACF,KAAK,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QACrC,KAAK,CAAC,kBAAkB,EAAE,0BAA0B,CAAC,CAAC;QACtD,KAAK,CAAC,aAAa,EAAE,oBAAoB,CAAC,CAAC;QAC3C,KAAK,CAAC,iBAAiB,EAAE,yBAAyB,CAAC,CAAC;QACpD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;QACnE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,YAAY,CAAC,WAAW,CAAC,CAAC,MAAM,8BAA8B,CAAC,IAAI,CAAC,CAAC;YACjF,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,oEAAoE;QACpE,oDAAoD;QACpD,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACxF,MAAM,CAAC,GAAI,GAA+B,CAAC,WAAW,CAAC,CAAC;YACxD,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,EAAE,CAAC;oBAClE,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;QACxF,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE;gBACP,aAAa,EAAE,CAAC;gBAChB,IAAI;gBACJ,KAAK;gBACL,QAAQ;gBACR,MAAM;gBACN,UAAU;gBACV,kBAAkB;gBAClB,aAAa;gBACb,iBAAiB;gBACjB,OAAO,EAAE,OAAO;gBAChB,SAAS;aACV;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,YAAY;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,eAAe,CAAC,OAAuB,EAAE,IAAY;IACnE,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACtH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@scriptc/compiler",
-  "version": "0.0.4",
+  "version": "0.0.6",
   "description": "The scriptc compiler — TypeScript/JavaScript frontend, typed IR, LLVM and C backends",
   "license": "Apache-2.0",
   "homepage": "https://scriptc.dev",
@@ -30,7 +30,7 @@
   "dependencies": {
     "typescript": "7.0.2",
     "typescript5": "npm:typescript@5.9.3",
-    "@scriptc/runtime": "0.0.4"
+    "@scriptc/runtime": "0.0.6"
   },
   "scripts": {
     "build": "node node_modules/typescript5/bin/tsc -p tsconfig.json"

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.0.4",
+  "compilerVersion": "0.0.6",
   "coverage": [
     "Entries are projected mechanically from the compiler's own decision tables: the diagnostics registry, the unsupported-syntax dispatch tables, the stdlib and node-builtin lowering tables, and the supported-builtin-module list. Nothing is hand-maintained; the manifest regenerates byte-identically from the source tree at this version.",
     "Absence from this manifest means 'not projected', never 'unsupported'. Surfaces lowered through dedicated code paths rather than tables are not yet projected: console, JSON, process, Promise/async and the timer surface, the net/http/tls/https/dgram/dns/assert/test/stream/readline module member surfaces, template literals, the regex slice, and global functions (parseInt, parseFloat, isNaN, isFinite).",