@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/canon-map.js

@@ -0,0 +1,177 @@
+/* Canonical mapping (localized-failure design §4.3), stage N1: the IR type
+ * of a canonical node, built from about ten structural rules plus the
+ * nominal table. Nominal objects (classes, standard-library interfaces,
+ * handles), callables, index-signature shapes, tuples, bigint and symbol
+ * keep their per-type recognitions: they map through mapType on the
+ * checker type the node came from. Everything structural (primitives,
+ * literals, units, arrays, flat unions, plain records) maps here, from the
+ * canonical form alone.
+ *
+ * Shadow mode (SCRIPTC_CANON_SHADOW=1) compares this mapping with mapType
+ * for every successful top-level mapping and appends one JSON line per
+ * comparison to SCRIPTC_CANON_SHADOW_OUT. It maps into throwaway
+ * registries, so the program's own IR is untouched. */
+import { appendFileSync } from "node:fs";
+import { BOOL, DYN, F64, NULL_T, STRING, UNDEFINED_T, typeKey } from "../ir/ir.js";
+import { canonKey, Normalizer } from "./canon.js";
+import * as ts from "./ts7/adapter.js";
+import { mapType, ShapeRegistry, UnionRegistry, withUndefinedArm, } from "./type-mapper.js";
+const MAX_DEPTH = 24;
+/** The IR type of a canonical node, or null when no rule applies. */
+export function mapCanonical(c, ctx, depth = 0, notes) {
+    if (depth > MAX_DEPTH)
+        return null;
+    const viaChecker = () => (c.src === undefined ? null : mapType(c.src, ctx));
+    switch (c.k) {
+        case "prim":
+            return c.p === "number"
+                ? F64
+                : c.p === "string"
+                    ? STRING
+                    : c.p === "boolean"
+                        ? BOOL
+                        : viaChecker();
+        case "lit":
+            return typeof c.value === "number" ? F64 : typeof c.value === "string" ? STRING : BOOL;
+        case "unit":
+            return c.u === "undefined" ? UNDEFINED_T : c.u === "null" ? NULL_T : viaChecker();
+        case "top":
+            return DYN;
+        case "param":
+            // A class's type parameters bind at IR level only (a generic class
+            // instance's bindings); the lowerer's resolver answers them.
+            // `this` in a class body is the class itself: the nominal table.
+            if (c.src === undefined)
+                return null;
+            if (c.src.isThisType === true)
+                return viaChecker();
+            return ctx.resolveTypeParam?.(c.src) ?? null;
+        case "opaque":
+        case "tuple":
+            return viaChecker();
+        case "array": {
+            const elem = mapCanonical(c.elem, ctx, depth + 1, notes);
+            return elem === null ? null : { kind: "array", elem };
+        }
+        case "union": {
+            const byKey = new Map();
+            for (const arm of c.arms) {
+                const mapped = mapCanonical(arm, ctx, depth + 1, notes);
+                if (mapped === null || mapped.kind === "void")
+                    return null;
+                if (mapped.kind === "union") {
+                    const def = ctx.unions.get(mapped.unionId);
+                    if (def === undefined)
+                        return null;
+                    for (const a of def.arms)
+                        byKey.set(typeKey(a), a);
+                }
+                else
+                    byKey.set(typeKey(mapped), mapped);
+            }
+            const arms = [...byKey.values()];
+            if (arms.length === 1)
+                return arms[0];
+            if (arms.some((a) => a.kind === "dyn")) {
+                if (notes !== undefined)
+                    notes.collapsedToDynamic = true;
+                return DYN;
+            }
+            arms.sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
+            return { kind: "union", unionId: ctx.unions.intern(arms) };
+        }
+        case "obj": {
+            if (c.nominal !== undefined || c.call().length > 0 || c.construct().length > 0)
+                return viaChecker();
+            if (c.index().length > 0)
+                return viaChecker();
+            const props = c.props();
+            // Accessor members are closure slots (`%get:x`, `%set:x`), and a
+            // getter and setter of different types have no single slot type:
+            // mapType's rules decide them, not a data field of the read type.
+            if (props.some((p) => p.accessor))
+                return viaChecker();
+            // `{}` holds any non-nullish value: the checked dynamic, as mapType.
+            if (props.length === 0)
+                return DYN;
+            const structural = mapCanonicalRecord(props, ctx, depth, notes);
+            // An object whose members do not map structurally (an interface over
+            // Map or Set, methods) keeps its per-type recognition.
+            return structural ?? viaChecker();
+        }
+    }
+}
+/** A plain record from an object's canonical members, or null when a
+ * member does not map. */
+function mapCanonicalRecord(props, ctx, depth, notes) {
+    const fields = [];
+    for (const p of props) {
+        let t = mapCanonical(p.type(), ctx, depth + 1, notes);
+        if (t === null)
+            return null;
+        if (p.optional && t.kind !== "dyn") {
+            const armed = withUndefinedArm(t, ctx.unions);
+            if (armed === null)
+                return null;
+            t = armed;
+        }
+        fields.push({ name: p.name, type: t });
+    }
+    const declaredOrder = fields.map((f) => f.name);
+    fields.sort((a, b) => (a.name < b.name ? -1 : a.name > b.name ? 1 : 0));
+    return { kind: "record", shapeId: ctx.shapes.intern(fields, false, undefined, declaredOrder) };
+}
+/** Installs nothing unless SCRIPTC_CANON_SHADOW=1: the hook mapType calls
+ * after each successful top-level mapping. */
+export function canonShadowHook(checker) {
+    if (process.env["SCRIPTC_CANON_SHADOW"] !== "1")
+        return undefined;
+    const out = process.env["SCRIPTC_CANON_SHADOW_OUT"];
+    let busy = false;
+    return (type, mapped, ctx) => {
+        if (busy)
+            return;
+        busy = true;
+        // The shadow records and must never break a compile.
+        try {
+            const resolve = ctx.resolveTypeParamTs;
+            const normalizer = new Normalizer(checker);
+            const c = normalizer.canon(type, resolve ? (t) => resolve(t) : new Map());
+            const { typeMemo: _memo, canonShadow: _hook, ...rest } = ctx;
+            const shadowCtx = {
+                ...rest,
+                shapes: new ShapeRegistry(),
+                unions: new UnionRegistry(),
+                canMemoizeType: () => false,
+            };
+            let canonical = null;
+            try {
+                canonical = mapCanonical(c, shadowCtx);
+            }
+            catch {
+                canonical = null;
+            }
+            const status = canonical === null
+                ? "canon-fail"
+                : typeKey(canonical) === typeKey(mapped)
+                    ? "equal"
+                    : "diverge";
+            if (out !== undefined)
+                appendFileSync(out, `${JSON.stringify({
+                    status,
+                    kind: c.k,
+                    type: checker.typeToString(type).slice(0, 160),
+                    canon: canonKey(c).slice(0, 160),
+                    strict: typeKey(mapped),
+                    ...(canonical !== null ? { canonical: typeKey(canonical) } : {}),
+                })}\n`);
+        }
+        catch {
+            // A census line lost, nothing else.
+        }
+        finally {
+            busy = false;
+        }
+    };
+}
+//# sourceMappingURL=canon-map.js.map

package/dist/frontend/canon-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canon-map.js","sourceRoot":"","sources":["../../src/frontend/canon-map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;uDAYuD;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAe,MAAM,aAAa,CAAC;AAChG,OAAO,EAAE,QAAQ,EAAE,UAAU,EAA8B,MAAM,YAAY,CAAC;AAC9E,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,EACL,OAAO,EACP,aAAa,EACb,aAAa,EACb,gBAAgB,GAEjB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,SAAS,GAAG,EAAE,CAAC;AAUrB,qEAAqE;AACrE,MAAM,UAAU,YAAY,CAC1B,CAAQ,EACR,GAAkB,EAClB,KAAK,GAAG,CAAC,EACT,KAAqB;IAErB,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,UAAU,GAAG,GAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3F,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ;gBACrB,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;oBAChB,CAAC,CAAC,MAAM;oBACR,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;wBACjB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,UAAU,EAAE,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACzF,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QACpF,KAAK,KAAK;YACR,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,mEAAmE;YACnE,6DAA6D;YAC7D,iEAAiE;YACjE,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACrC,IAAK,CAAC,CAAC,GAAgC,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO,UAAU,EAAE,CAAC;YACjF,OAAO,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QAC/C,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,UAAU,EAAE,CAAC;QACtB,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YACzD,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACxD,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;YACxC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACxD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,IAAI,CAAC;gBAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC3C,IAAI,GAAG,KAAK,SAAS;wBAAE,OAAO,IAAI,CAAC;oBACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI;wBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACrD,CAAC;;oBAAM,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACvC,IAAI,KAAK,KAAK,SAAS;oBAAE,KAAK,CAAC,kBAAkB,GAAG,IAAI,CAAC;gBACzD,OAAO,GAAG,CAAC;YACb,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,MAAM,GAAG,CAAC;gBAC5E,OAAO,UAAU,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,UAAU,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,iEAAiE;YACjE,iEAAiE;YACjE,kEAAkE;YAClE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAAE,OAAO,UAAU,EAAE,CAAC;YACvD,qEAAqE;YACrE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC;YACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAChE,qEAAqE;YACrE,uDAAuD;YACvD,OAAO,UAAU,IAAI,UAAU,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;AACH,CAAC;AAED;0BAC0B;AAC1B,SAAS,kBAAkB,CACzB,KAA2B,EAC3B,GAAkB,EAClB,KAAa,EACb,KAAgC;IAEhC,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChC,CAAC,GAAG,KAAK,CAAC;QACZ,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,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,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;AACjG,CAAC;AAID;8CAC8C;AAC9C,MAAM,UAAU,eAAe,CAC7B,OAAuB;IAEvB,IAAI,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,KAAK,GAAG;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACpD,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QAC3B,IAAI,IAAI;YAAE,OAAO;QACjB,IAAI,GAAG,IAAI,CAAC;QACZ,qDAAqD;QACrD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,GAAG,CAAC,kBAAkB,CAAC;YACvC,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC;YAC3C,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAC1E,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;YAC7D,MAAM,SAAS,GAAkB;gBAC/B,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,aAAa,EAAE;gBAC3B,MAAM,EAAE,IAAI,aAAa,EAAE;gBAC3B,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK;aAC5B,CAAC;YACF,IAAI,SAAS,GAAkB,IAAI,CAAC;YACpC,IAAI,CAAC;gBACH,SAAS,GAAG,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,MAAM,MAAM,GACV,SAAS,KAAK,IAAI;gBAChB,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC;oBACtC,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,SAAS,CAAC;YAClB,IAAI,GAAG,KAAK,SAAS;gBACnB,cAAc,CACZ,GAAG,EACH,GAAG,IAAI,CAAC,SAAS,CAAC;oBAChB,MAAM;oBACN,IAAI,EAAE,CAAC,CAAC,CAAC;oBACT,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBAC9C,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBAChC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC;oBACvB,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjE,CAAC,IAAI,CACP,CAAC;QACN,CAAC;QAAC,MAAM,CAAC;YACP,oCAAoC;QACtC,CAAC;gBAAS,CAAC;YACT,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/frontend/canon.d.ts

@@ -0,0 +1,122 @@
+import * as ts from "./ts7/adapter.js";
+export type CanonPrim = "number" | "string" | "boolean" | "bigint" | "symbol";
+export interface CanonProp {
+    name: string;
+    optional: boolean;
+    readonly: boolean;
+    /** A get or set accessor, not a data property. */
+    accessor: boolean;
+    type: () => Canon;
+}
+export interface CanonSig {
+    params: {
+        name: string;
+        optional: boolean;
+        rest: boolean;
+        type: () => Canon;
+    }[];
+    ret: () => Canon;
+    /** The signature keeps type parameters of its own. */
+    generic: boolean;
+}
+export interface CanonIndex {
+    key: Canon;
+    value: () => Canon;
+}
+export interface AliasRef {
+    name: string;
+    args: readonly Canon[];
+    /** The checker type the alias reference came from (identity preserved
+     * for tables keyed by ts.Type, such as boundAliasInstances). */
+    tsType: ts.Type;
+}
+export type Canon = CanonNode & {
+    /** The checker type the node was normalized from (a type parameter's
+     * binding for substituted parameters). */
+    src?: ts.Type;
+};
+type CanonNode = {
+    k: "prim";
+    p: CanonPrim;
+} | {
+    k: "lit";
+    value: string | number | boolean;
+} | {
+    k: "unit";
+    u: "undefined" | "null" | "void" | "never";
+} | {
+    k: "top";
+    t: "unknown" | "any" | "object";
+} | {
+    k: "obj";
+    /** Class or standard-library declaration name, when nominal. */
+    nominal?: string;
+    /** The type arguments of a nominal generic instantiation. */
+    typeArgs: () => readonly Canon[];
+    alias?: AliasRef;
+    props: () => readonly CanonProp[];
+    index: () => readonly CanonIndex[];
+    call: () => readonly CanonSig[];
+    construct: () => readonly CanonSig[];
+} | {
+    k: "array";
+    elem: Canon;
+    readonly: boolean;
+} | {
+    k: "tuple";
+    elems: readonly {
+        type: Canon;
+        optional: boolean;
+        rest: boolean;
+    }[];
+} | {
+    k: "union";
+    arms: readonly Canon[];
+} | {
+    k: "param";
+    name: string;
+} | {
+    k: "opaque";
+    ts: ts.Type;
+    reason: string;
+};
+/** Type-parameter bindings: the checker type a parameter is bound to, by
+ * the parameter's symbol, or a resolver over the parameter type (the
+ * lowerer's resolveTypeParamTs). */
+export type CanonEnv = ReadonlyMap<ts.Symbol, ts.Type> | ((param: ts.Type) => ts.Type | null);
+/** A stable key for a canonical node, for deduplication and tests. Deep
+ * and wide types are cut off (depth 6, about 4,000 characters), so equal
+ * keys mean equal up to that horizon. */
+export declare function canonKey(c: Canon): string;
+/** The pairs a comparison takes as equal while it runs, and the order they
+ * were assumed in, so that a failed comparison withdraws what it assumed. */
+interface Assumptions {
+    pairs: Map<Canon, Set<Canon>>;
+    trail: [Canon, Canon][];
+}
+/** Whether two canonical nodes are the same type, structurally: unlike
+ * canonKey, every part is compared (signature parameters, index
+ * signatures, type arguments, any depth). A pair met again while it is
+ * being compared is taken as equal, which closes the comparison of
+ * recursive types; when the comparison fails, the pairs assumed during it
+ * are withdrawn. */
+export declare function canonEqual(a: Canon, b: Canon, assumed?: Assumptions): boolean;
+export declare class Normalizer {
+    private readonly checker;
+    private readonly interned;
+    /** A number for each type parameter an environment binds: parameters
+     * with the same name are distinct keys. */
+    private readonly paramIds;
+    constructor(checker: ts.TypeChecker);
+    canon(type: ts.Type, env?: CanonEnv): Canon;
+    private envKey;
+    private build;
+    /** Flat, deduplicated, never-free; `void` reads as `undefined`. */
+    private union;
+    /** Equal constituents collapse; object-like constituents without
+     * signatures merge through the checker's resolved properties; a
+     * primitive branded with an object is the primitive. */
+    private intersection;
+    private object;
+}
+export {};