@scriptc/compiler 0.3.6 → 0.4.1

package/dist/frontend/lowering/expressions/narrowing.js

@@ -0,0 +1,1337 @@
+/* Type narrowing of lowered values, conditional and as-expressions, and runtime-optional receiver reads. */
+import * as ts from "../../ts7/adapter.js";
+import { dynFallbackType } from "../lowerer.js";
+import { BOOL, CAUGHT, DYN, DYN_HANDLE_KINDS, NULL_T, STRING, UNDEFINED_T, arrayOf, canAdaptDynFuncTo, canDynCheckTo, isDynTypedRefType, isUnitType, shapeHasAccessorSlots, typeEquals, } from "../../../ir/ir.js";
+import { isJsSourceFile, locOf } from "../../program.js";
+import { hasRuntimeStatics } from "../class-runtime-statics.js";
+import { jsBindingHasOpenWrites } from "../lower-stmts.js";
+import { documentedParameter, prototypeAssignedFunction } from "../call-signatures.js";
+import { narrowClassUnion, narrowStoredClassValue, structuralNarrowing } from "../class-unions.js";
+import { checkedClassAssertion, checkedClassUnionAssertion } from "../class-assertions.js";
+import { isOptionalProcessStreamProperty, isOptionalProcessVersionsRead, } from "../builtins/process.js";
+import { requestGeneralStreamSurface } from "../general-streams.js";
+import { literalValues } from "../../literal-values.js";
+import { literalUnionArm } from "../../union-discriminants.js";
+import { checkedArmExtraction } from "../coercions/unions.js";
+import { hostedStorageView, hostsAll } from "./hosted-narrowing.js";
+import { nodeThrowExpr, varRef } from "../../../ir/build.js";
+import { InternalCompilerError } from "../../../errors.js";
+import { hasClassPayload, runtimeOptionalAssertionErases, runtimeOptionalLocalOf, runtimeOptionalUseOf, } from "../lower-exprs.js";
+import { isConstAssertionTypeNode, unitOnlyUnion } from "../../type-mapper.js";
+import { assertsGlobalObject, extractionCopiesReference } from "../assertion-identity.js";
+/** `c ? a : b`. An explicit destination constructs each branch at that
+ * layout before joining it. Without one, retain the expression's inferred
+ * type and the contextual/sibling rules below. */
+export function lowerTernary(lowerer, expr, expected) {
+    const loc = locOf(expr);
+    // `Array.isArray(x) ? x : [x]` over a `T | readonly T[]` union: tsc
+    // narrows the TRUE branch to `any[]` (maybeNarrow's isArray bridge
+    // rides that) but leaves the FALSE branch wide — a readonly array
+    // is not assignable to `any[]`, so the arm never subtracts. The
+    // RUNTIME tag test proves the remaining arm exactly, so the false
+    // arm's reads of x narrow to the union's one non-array checker
+    // constituent (the certs configuredTlds shape). Nested functions
+    // stay out (they run later, when the proof is stale — tsc's own
+    // invalidation rule).
+    const falseArmNarrows = [];
+    let falseArmNarrowType = null;
+    {
+        let c = expr.condition;
+        while (ts.isParenthesizedExpression(c))
+            c = c.expression;
+        if (ts.isCallExpression(c) &&
+            ts.isPropertyAccessExpression(c.expression) &&
+            c.arguments.nodes.length === 1 &&
+            ts.isIdentifier(c.arguments.nodes[0]) &&
+            lowerer.stdlibGlobalMember(c.expression, "Array") === "isArray") {
+            const argIdent = c.arguments.nodes[0];
+            const sym = lowerer.resolveValueSymbol(argIdent);
+            const t = lowerer.checker.getTypeAtLocation(argIdent);
+            const constituents = t.isUnionType() ? ts.constituentTypes(t) : [];
+            const nonArray = constituents.filter((a) => !lowerer.checker.isArrayType(a) && !lowerer.checker.isTupleType(a));
+            const mapped = lowerer.mapTypeOf(t);
+            const armCount = mapped?.kind === "union" ? lowerer.arrayValueTags(mapped.unionId).length : 0;
+            if (sym && nonArray.length === 1 && armCount === 1) {
+                falseArmNarrowType = nonArray[0];
+                const collect = (n) => {
+                    if (ts.isFunctionLike(n))
+                        return;
+                    if (ts.isIdentifier(n) &&
+                        lowerer.resolveValueSymbol(n) === sym &&
+                        !lowerer.chainNarrowedType.has(n)) {
+                        falseArmNarrows.push(n);
+                    }
+                    ts.forEachChild(n, collect);
+                };
+                collect(expr.whenFalse);
+            }
+        }
+    }
+    for (const n of falseArmNarrows)
+        lowerer.chainNarrowedType.set(n, falseArmNarrowType);
+    try {
+        const cond = lowerer.lowerCondition(expr.condition);
+        // A condition the LOWERING proved constant (typeof-dyn against a
+        // kind no dyn box can hold — the bigint/symbol/function fold): only
+        // the taken arm exists at runtime, so only it lowers — which is
+        // exactly what lets a dual-mode arm with no static lowering (bigint
+        // literals) sit untaken in compiled JS. A boolLit carries no
+        // effects, so dropping the condition read loses nothing.
+        if (cond.kind === "boolLit") {
+            return lowerer.lowerExprExpecting(cond.value ? expr.whenTrue : expr.whenFalse, expected);
+        }
+        if (expected) {
+            // Construct fresh literals in their actual destination. Joining
+            // inferred layouts first can erase the literal discriminator or
+            // choose an empty array's uninhabited element representation.
+            // Runtime-optional proofs apply only within the selected true arm.
+            const then = withRuntimeOptionalNarrowed(lowerer, runtimeOptionalTrueIds(lowerer, expr.condition), () => lowerer.lowerExprExpecting(expr.whenTrue, expected));
+            const else_ = lowerer.lowerExprExpecting(expr.whenFalse, expected);
+            return { kind: "ternary", cond, then, else_, type: expected, loc };
+        }
+        const ctxTs = lowerer.checker.getContextualType(expr);
+        const ctxMapped = ctxTs ? lowerer.mapTypeOf(ctxTs) : null;
+        // Array-literal arms build directly as the slot's array type when
+        // the ternary sits under an ARRAY context (tsc accepts each arm
+        // covariantly — `[stdin]` types string[] against an
+        // (Uint8Array | string)[] slot — but a tagged element representation
+        // must be BUILT as the slot's element type, the same rule element
+        // expressions follow inside every array literal). And an EMPTY
+        // array-literal arm with no usable type of its own (tsc infers
+        // `never[]`; no mappable contextual type reaches into the arm — the
+        // conditional-spread idiom `[...(c ? [x] : [])]`) adopts the SIBLING
+        // arm's array type: the ternary twin of the union-slot rule in
+        // lowerArrayLiteral, and just as unambiguous — tsc already typed the
+        // whole ternary by the filled arm alone. Both arms empty stays
+        // fenced (no element type exists anywhere).
+        const ctxArray = ctxMapped?.kind === "array" ? ctxMapped : null;
+        const armLiteral = (e) => {
+            let x = e;
+            while (ts.isParenthesizedExpression(x))
+                x = x.expression;
+            return ts.isArrayLiteralExpression(x) ? x : null;
+        };
+        const emptyUntypedArrayArm = (e) => {
+            const lit = armLiteral(e);
+            if (!lit || lit.elements.nodes.length !== 0)
+                return false;
+            const t = lowerer.checker.getContextualType(lit) ?? lowerer.typeOf(lit);
+            if (!lowerer.mapTypeOf(t))
+                return true;
+            // never[] MAPS (the f64 representation for the uninhabited) but
+            // carries no element information — an empty literal typed that way
+            // still adopts the sibling arm's array type, tsc's own reading.
+            if (lowerer.checker.isArrayType(t)) {
+                const elem = lowerer.checker.getTypeArguments(t)[0];
+                if (elem !== undefined && elem.flags & ts.TypeFlags.Never)
+                    return true;
+            }
+            return false;
+        };
+        // Inferred signature tables often join a populated argument array
+        // with nested empty-array branches. Carry the whole record layout
+        // through those branches before constructing their fresh fields.
+        const ownJoin = lowerer.mapTypeOf(lowerer.typeOf(expr));
+        const recordJoin = ctxMapped?.kind === "record" ? ctxMapped : ownJoin?.kind === "record" ? ownJoin : undefined;
+        const lowerArm = (e, siblingType) => {
+            let fresh = e;
+            while (ts.isParenthesizedExpression(fresh))
+                fresh = fresh.expression;
+            if (recordJoin && ts.isConditionalExpression(fresh))
+                return lowerTernary(lowerer, fresh, recordJoin);
+            if (recordJoin && ts.isObjectLiteralExpression(fresh)) {
+                return lowerer.lowerObjectLiteral(fresh, recordJoin);
+            }
+            const lit = armLiteral(e);
+            if (lit && ctxArray)
+                return lowerer.lowerArrayLiteral(lit, ctxArray);
+            if (lit && siblingType?.kind === "array") {
+                if (emptyUntypedArrayArm(e)) {
+                    return { kind: "arrayLit", elems: [], type: siblingType, loc: locOf(lit) };
+                }
+                // A FILLED literal arm whose own element type is a UNION
+                // carrying the sibling's element as an arm (`Array.isArray(x) ?
+                // x : [x]` — the false arm's x checker-types as the whole union
+                // even though the runtime tag proved the non-array arm): build
+                // as the sibling's array type — each element coerces into the
+                // sibling element or fences on its own.
+                const ownT = lowerer.mapTypeOf(lowerer.typeOf(lit));
+                if (ownT?.kind === "array" &&
+                    ownT.elem.kind === "union" &&
+                    siblingType.elem.kind !== "union" &&
+                    lowerer.armTag(ownT.elem.unionId, siblingType.elem) >= 0) {
+                    return lowerer.lowerArrayLiteral(lit, siblingType);
+                }
+                // A FILLED literal arm whose own array type has NO lift into the
+                // sibling's (`isWindows ? ['cmd.exe', ['/d']] : ['pwd', []]` —
+                // the empty nested literal types never[], whose f64-element
+                // representation re-tags into nothing): the generic path could
+                // only fence the whole ternary, so build AS the sibling type —
+                // each element coerces into the sibling's element slot or fences
+                // on its own, and a nested empty literal adopts the slot's array
+                // arm (the union-slot rule). tsc already accepted the arm
+                // covariantly against the join, so a fitting literal is exactly
+                // the value the checker typed.
+                if (ownT?.kind === "array" &&
+                    !typeEquals(ownT, siblingType) &&
+                    lowerer.widthLiftPlan(ownT, siblingType) === null) {
+                    return lowerer.lowerArrayLiteral(lit, siblingType);
+                }
+            }
+            return lowerer.lowerExpr(e);
+        };
+        // Lower the filled arm first so an empty arm can adopt its type.
+        // When the checker's OWN join for the ternary maps to an ARRAY,
+        // literal arms build against it directly (tsc collapses the arms'
+        // covariant array types into one — `c ? ['sh', []] : ['cmd', ['/d']]`
+        // joins as (string | string[])[] whichever arm nests the empty
+        // literal), so neither arm's uninhabited never[] reading decides.
+        const ownArrayJoin = (() => {
+            const m = lowerer.mapTypeOf(lowerer.typeOf(expr));
+            return m?.kind === "array" ? m : null;
+        })();
+        let thenRaw;
+        let elseRaw;
+        const runtimeTrueIds = runtimeOptionalTrueIds(lowerer, expr.condition);
+        const lowerTrueArm = () => withRuntimeOptionalNarrowed(lowerer, runtimeTrueIds, () => lowerArm(expr.whenTrue, ownArrayJoin ?? undefined));
+        if (!ctxArray && emptyUntypedArrayArm(expr.whenTrue) && !emptyUntypedArrayArm(expr.whenFalse)) {
+            elseRaw = lowerer.lowerExpr(expr.whenFalse);
+            thenRaw = withRuntimeOptionalNarrowed(lowerer, runtimeTrueIds, () => lowerArm(expr.whenTrue, elseRaw.type.kind === "dyn" && ownArrayJoin ? ownArrayJoin : elseRaw.type));
+        }
+        else {
+            thenRaw = lowerTrueArm();
+            // A checked-dynamic producer (Object.entries(...).filter(...))
+            // can still have a precise checker array type. Empty literal arms
+            // must adopt that element layout before the checked array boundary.
+            elseRaw = lowerArm(expr.whenFalse, thenRaw.type.kind === "dyn" && ownArrayJoin ? ownArrayJoin : thenRaw.type);
+        }
+        // The ternary's IR type is normally the checker's own: it collapses
+        // same-kind literal unions ("a" | "b" → string) and forms tagged
+        // unions for mixed arms that map (`c ? okRec : errRec`); anything
+        // left unmappable gets the type fence (badType) here. A record/union CONTEXTUAL type
+        // takes over exactly when the own type can't carry the value —
+        // unmappable, or a DIFFERENT union (branch literals omitting
+        // DIFFERENT optional subsets make the own type a union of the
+        // narrower fresh shapes, and a union-typed slot can sub-union the
+        // same way; neither has a runtime re-tag, while tsc guarantees each
+        // branch is assignable to the context). A base-CLASS context absorbs
+        // the same case: branches producing different subclasses make the
+        // own type a class union (`c ? new Dog() : new Bird()` against an
+        // Animal slot), while each branch upcasts into the context fine. A
+        // collapsed own type must WIN over a wider contextual union
+        // (`console.log(c ? "yes" : "no")` stays string against the ambient
+        // string | number | boolean parameter), and an 'unknown'/'any'
+        // context never absorbs the ternary (`JSON.stringify(c ? 1 : 2)`
+        // stays f64-typed). Arms that AGREE on an array type decide it
+        // themselves (a context- or sibling-built literal arm can carry a
+        // tagged element type the checker's own type doesn't spell).
+        const own = lowerer.mapTypeOf(lowerer.typeOf(expr));
+        const useCtx = (ctxMapped?.kind === "record" ||
+            ctxMapped?.kind === "union" ||
+            ctxMapped?.kind === "object") &&
+            (own === null ||
+                (own.kind === "union" &&
+                    !typeEquals(own, ctxMapped) &&
+                    !lowerer.inLogicalLeftPosition(expr)));
+        // Mixed dyn/unit arms under an unmappable own type (`typeof pkg.name
+        // === "string" ? pkg.name : null` — the lowering world types the
+        // unknown-receiver read `any`, which a static build cannot hold):
+        // dyn represents null and undefined directly, so the ternary stays
+        // dyn — a unit arm converts to the dyn unit value (the dynFrom form
+        // the index-signature lowerings already use). A FRESH literal arm
+        // (`... ? pkg.scripts : {}` — the default-object idiom) converts the
+        // same way when it is JSON-safe: nothing else aliases a literal, so
+        // the dyn copy is unobservable.
+        const dynish = (e) => e.type.kind === "dyn" ||
+            e.kind === "unitLit" ||
+            ((e.kind === "recordLit" || e.kind === "arrayLit") && lowerer.dynConvertible(e.type));
+        const dynJoin = own === null &&
+            !(useCtx && ctxMapped) &&
+            dynish(thenRaw) &&
+            dynish(elseRaw) &&
+            (thenRaw.type.kind === "dyn" || elseRaw.type.kind === "dyn");
+        // A checker-`any` ternary whose lowered arms are STATIC (`rawName ?
+        // rawName.replace(...) : null` — the dyn-receiver string machinery
+        // answers a static string): the checker's `any` carries no shape,
+        // but the arms do — equal arms take their shared type, a unit arm
+        // joins the other arm as its null/undefined-armed union. Gated on
+        // genuine `any` so every other unmappable keeps its own diagnostic.
+        let anyJoin = null;
+        if (own === null &&
+            !dynJoin &&
+            !(useCtx && ctxMapped) &&
+            (lowerer.typeOf(expr).flags & ts.TypeFlags.Any) !== 0) {
+            const a = thenRaw.type;
+            const b = elseRaw.type;
+            const staticArm = (t) => t.kind !== "dyn" && t.kind !== "caught" && t.kind !== "void";
+            if (staticArm(a) && staticArm(b)) {
+                if (typeEquals(a, b)) {
+                    anyJoin = a;
+                }
+                else if (isUnitType(a) !== isUnitType(b)) {
+                    const unit = isUnitType(a) ? a : b;
+                    const val = isUnitType(a) ? b : a;
+                    const arms = val.kind === "union" ? (lowerer.unions.get(val.unionId)?.arms ?? null) : [val];
+                    if (arms && !arms.some((x) => typeEquals(x, unit))) {
+                        anyJoin = { kind: "union", unionId: lowerer.unions.intern([...arms, unit]) };
+                    }
+                    else if (arms) {
+                        anyJoin = val; // the unit is already an arm
+                    }
+                }
+            }
+        }
+        // JavaScript function selection preserves the chosen closure's full
+        // call ABI. A checker join can erase a rest/arguments pack even though
+        // a later call supplies additional observable arguments.
+        const callableJoin = isJsSourceFile(ts.getSourceFileOfNode(expr)) &&
+            thenRaw.type.kind === "func" &&
+            elseRaw.type.kind === "func" &&
+            !typeEquals(thenRaw.type, elseRaw.type) &&
+            lowerer.dynConvertible(thenRaw.type) &&
+            lowerer.dynConvertible(elseRaw.type);
+        // JavaScript inference can discard an initially-undefined field from
+        // a conditional's type even after that field acquired other values.
+        // A checked arm must retain its actual representation at the join.
+        const checkedJsJoin = isJsSourceFile(ts.getSourceFileOfNode(expr)) &&
+            (thenRaw.type.kind === "dyn" || elseRaw.type.kind === "dyn") &&
+            lowerer.dynConvertible(thenRaw.type) &&
+            lowerer.dynConvertible(elseRaw.type);
+        const type = callableJoin || checkedJsJoin
+            ? DYN
+            : thenRaw.type.kind === "array" && typeEquals(thenRaw.type, elseRaw.type)
+                ? thenRaw.type
+                : dynJoin
+                    ? DYN
+                    : (anyJoin ?? (useCtx && ctxMapped ? ctxMapped : lowerer.irTypeOf(expr)));
+        // Each arm flows into the ternary's type through the slot-coercion
+        // path: union arms wrap, dyn slots reject the non-dyn arm with
+        // SC1101, mismatched record shapes get SC2002; coerceInto is
+        // inert when the types already agree.
+        const intoDyn = (e) => e.type.kind === "dyn" ? e : { kind: "dynFrom", value: e, type: DYN, loc: e.loc };
+        const then = dynJoin ? intoDyn(thenRaw) : lowerer.coerceInto(expr.whenTrue, thenRaw, type);
+        const else_ = dynJoin ? intoDyn(elseRaw) : lowerer.coerceInto(expr.whenFalse, elseRaw, type);
+        if (then.type.kind !== type.kind || else_.type.kind !== type.kind) {
+            lowerer.badType(expr, lowerer.typeOf(expr));
+        }
+        return { kind: "ternary", cond, then, else_, type, loc };
+    }
+    finally {
+        for (const n of falseArmNarrows)
+            lowerer.chainNarrowedType.delete(n);
+    }
+}
+/** Checker-driven union narrowing. tsc's control-flow analysis narrows a
+ * union-typed reference at use sites (`if (r.kind === "ok") { ...r... }`
+ * types `r` as the ok-arm inside the branch); the IR value is still the
+ * tagged union, so the read is bridged with a `unionNarrow` extracting
+ * the arm's payload. The extraction relies on tsc having proven the tag;
+ * backends verify it once and trap on a mismatch, so a wrong proof stops
+ * the program instead of reading another arm. A checker type that maps to
+ * the same union (unnarrowed use), to a SUB-union (partial narrowing —
+ * unrepresentable without a re-tag), or to nothing (`never` in an
+ * exhaustive default) leaves the expression union-typed. */
+export function maybeNarrow(lowerer, expr, node) {
+    if ((expr.type.kind === "union" || expr.type.kind === "dyn") &&
+        isJsSourceFile(ts.getSourceFileOfNode(node)) &&
+        ts.isPropertyAccessExpression(node)) {
+        const symbol = lowerer.checker.getSymbolAtLocation(node.name);
+        if (symbol &&
+            symbol.declarations.some((decl) => ts.isPropertyDeclaration(decl) &&
+                !decl.initializer &&
+                !decl.type &&
+                isJsSourceFile(ts.getSourceFileOfNode(decl)))) {
+            // Inference describes later writes, not the initial undefined.
+            // A use that requires the inferred type must validate the value.
+            return expr.type.kind === "dyn"
+                ? expr
+                : { kind: "dynFrom", value: expr, type: DYN, loc: expr.loc };
+        }
+    }
+    // A dyn read tsc narrowed to a SCALAR (a typeof test proved the kind):
+    // bridge with a VALIDATED extraction — dynCheck, the checked-cast
+    // machinery — rather than a trusted one. After the guard the check
+    // never fires; a read smuggled past it throws a catchable TypeError
+    // instead of misreading the payload (the dyn boundary's usual stance).
+    // Object/array narrowings stay dyn-typed and keep their fences.
+    if (expr.type.kind === "dyn") {
+        // A process.versions entry declared as a string can be absent here.
+        if (isOptionalProcessVersionsRead(lowerer, node))
+            return lowerer.coerceToExpected(expr, lowerer.withUndefinedArm(STRING));
+        // An inferred JS member's storage may be deliberately wider than its
+        // declaration (prototype-selected buffers, null-initialized scratch
+        // objects). Extract at the consuming operation, not at the read.
+        if (isJsSourceFile(ts.getSourceFileOfNode(node)) && ts.isPropertyAccessExpression(node)) {
+            const receiver = lowerer.mapTypeOf(lowerer.typeOf(node.expression));
+            if (receiver?.kind === "object") {
+                const info = lowerer.classes.get(receiver.className);
+                if (info?.fields.get(node.name.text)?.kind === "dyn" ||
+                    lowerer.findMethodOn(info ?? null, `get:${node.name.text}`)?.sig.ret.kind === "dyn")
+                    return expr;
+            }
+            if (receiver?.kind === "classval") {
+                const info = lowerer.classes.get(receiver.className);
+                if (info && hasRuntimeStatics(info))
+                    return expr;
+            }
+        }
+        if (isJsSourceFile(ts.getSourceFileOfNode(node)) &&
+            (ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node))) {
+            let receiver = node.expression;
+            while (ts.isPropertyAccessExpression(receiver) ||
+                ts.isElementAccessExpression(receiver) ||
+                ts.isParenthesizedExpression(receiver)) {
+                if (ts.isPropertyAccessExpression(receiver)) {
+                    const owner = lowerer.mapTypeOf(lowerer.typeOf(receiver.expression));
+                    if (owner?.kind === "object" &&
+                        lowerer.classes.get(owner.className)?.fields.get(receiver.name.text)?.kind === "dyn")
+                        return expr;
+                }
+                receiver = receiver.expression;
+            }
+            if (receiver.kind === ts.SyntaxKind.ThisKeyword && lowerer.resolveThis()?.type.kind === "dyn")
+                return expr;
+            if (ts.isIdentifier(receiver)) {
+                const stored = lowerer.peekLocal(receiver)?.type ?? lowerer.globalOf(receiver)?.type;
+                if (stored?.kind === "dyn")
+                    return expr;
+                const symbol = lowerer.resolveValueSymbol(receiver);
+                const bound = symbol && lowerer.implicitParamTypes?.get(symbol);
+                if (bound && lowerer.mapTypeOf(bound)?.kind === "dyn")
+                    return expr;
+            }
+        }
+        if (isJsSourceFile(ts.getSourceFileOfNode(node)) && ts.isIdentifier(node)) {
+            const symbol = lowerer.resolveValueSymbol(node);
+            if (symbol &&
+                symbol.declarations.some((decl) => ts.isParameter(decl) &&
+                    ts.isMethodDeclaration(decl.parent) &&
+                    lowerer.checkedVirtualJsMethods.has(decl.parent)))
+                return expr;
+            if (symbol &&
+                symbol.declarations.some((decl) => ts.isParameter(decl) && ts.isConstructorDeclaration(decl.parent)))
+                return expr;
+            // A prototype method in a file TypeScript does not check takes its
+            // documented parameters as checked-dynamic values whatever their
+            // JSDoc says (paramShape); reads keep the actual value.
+            if (symbol &&
+                !lowerer.checkedJsFile(ts.getSourceFileOfNode(node)) &&
+                symbol.declarations.some((decl) => ts.isParameter(decl) &&
+                    prototypeAssignedFunction(decl.parent) &&
+                    documentedParameter(decl)))
+                return expr;
+            if (symbol &&
+                symbol.declarations.some((decl) => ts.isVariableDeclaration(decl) && jsBindingHasOpenWrites(lowerer, decl)))
+                return expr;
+            if (symbol &&
+                symbol.declarations.some((decl) => ts.isParameter(decl) &&
+                    decl.initializer &&
+                    !decl.type &&
+                    !/@(?:param|type)\b/.test(ts
+                        .getSourceFileOfNode(decl)
+                        .text.slice(decl.parent?.pos ?? decl.pos, ts.tokenStartOfNode(decl)))))
+                return expr;
+            if (symbol &&
+                symbol.declarations.some((decl) => {
+                    if (!ts.isParameter(decl) || decl.type)
+                        return false;
+                    const fn = decl.parent;
+                    if (!ts.isFunctionExpression(fn) && !ts.isArrowFunction(fn))
+                        return false;
+                    const assignment = fn.parent;
+                    return (ts.isBinaryExpression(assignment) &&
+                        assignment.right === fn &&
+                        ts.isPropertyAccessExpression(assignment.left) &&
+                        assignment.left.name.text === "write" &&
+                        lowerer.isStdlibMember(assignment.left));
+                }))
+                return expr;
+        }
+        // Node's TTY declarations promise booleans/numbers even when a pipe
+        // has no such property. Preserve the checked read for JS capability
+        // probes instead of treating a declaration as a runtime type guard.
+        if (isJsSourceFile(ts.getSourceFileOfNode(node)) &&
+            ts.isPropertyAccessExpression(node) &&
+            ["isTTY", "columns", "rows"].includes(node.name.text) &&
+            lowerer.isStdlibMember(node))
+            return expr;
+        // A null-initialized JS field can later receive an object even when
+        // checker flow calls its non-null branch never. The live checked
+        // value remains authoritative; never is not a numeric guard.
+        if (isJsSourceFile(ts.getSourceFileOfNode(node)) &&
+            (lowerer.typeOf(node).flags & ts.TypeFlags.Never) !== 0)
+            return expr;
+        const narrowed = lowerer.mapTypeOf(lowerer.typeOf(node));
+        if (narrowed &&
+            (narrowed.kind === "f64" ||
+                narrowed.kind === "bool" ||
+                narrowed.kind === "string" ||
+                narrowed.kind === "bigint")) {
+            return { kind: "dynCheck", value: expr, type: narrowed, loc: expr.loc };
+        }
+        // An instanceof narrow retains the native view after validating its
+        // exact element kind. Buffer also matches Uint8Array.
+        if (narrowed?.kind === "bytes" || narrowed?.kind === "url") {
+            return { kind: "dynCheck", value: expr, type: narrowed, loc: expr.loc };
+        }
+        // An `instanceof Error` narrow: the checked-dynamic tree's error encoding rebuilds a
+        // fresh %Error (name/message/code from the marker object — a COPY,
+        // the unknown boundary's stance; SEMANTICS.md 67), validated like
+        // every dyn extraction.
+        if (narrowed?.kind === "object" && narrowed.className === "%Error") {
+            return { kind: "dynCheck", value: expr, type: narrowed, loc: expr.loc };
+        }
+        return expr;
+    }
+    // instanceof narrowing for classes: tsc types this USE as a subclass of
+    // the IR value's class (only a dynamic instanceof test narrows a class
+    // type), so the read bridges with a static downcast that backends verify
+    // at run time, like the union bridge below.
+    if (expr.type.kind === "object") {
+        const narrowed = lowerer.mapTypeOf(lowerer.typeOf(node));
+        if (narrowed?.kind === "union") {
+            const union = narrowClassUnion(lowerer, expr, narrowed);
+            if (union)
+                return union;
+        }
+        if (narrowed?.kind === "object" &&
+            narrowed.className !== expr.type.className &&
+            lowerer.isSubclassOf(narrowed.className, expr.type.className)) {
+            const reduced = structuralNarrowing(lowerer, node, expr.type.className, narrowed);
+            const union = reduced ? narrowClassUnion(lowerer, expr, reduced) : null;
+            if (union)
+                return union;
+            if (lowerer.narrowing.untrusted(node, narrowed)) {
+                const checked = checkedClassAssertion(lowerer, expr, narrowed, expr.loc);
+                if (checked)
+                    return checked;
+            }
+            return { kind: "downcast", value: expr, type: narrowed, loc: expr.loc };
+        }
+        return expr;
+    }
+    if (expr.type.kind !== "union")
+        return expr;
+    if (ts.isPropertyAccessExpression(node) && isOptionalProcessStreamProperty(lowerer, node))
+        return expr;
+    if (isOptionalProcessVersionsRead(lowerer, node))
+        return expr;
+    // Represented fields and index values can include undefined even when
+    // checker inference or lib.d.ts declares strings (RegExp captures).
+    // Only a declaration that represents the optional arm can provide a
+    // trustworthy flow narrowing; otherwise consumers must check it.
+    if ((expr.kind === "recordGet" || expr.kind === "recordKeyGet") &&
+        (ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node))) {
+        // The read itself rules out a null or undefined receiver, which a
+        // JavaScript receiver such as `m.groups` still declares.
+        const receiver = lowerer.mapTypeOf(lowerer.checker.getNonNullableType(lowerer.typeOf(node.expression)));
+        const shape = receiver?.kind === "record" ? lowerer.shapes.get(receiver.shapeId) : undefined;
+        const declared = expr.kind === "recordGet"
+            ? shape?.fields.find((field) => field.name === expr.field)?.type
+            : shape?.indexValue;
+        if (lowerer.armTag(expr.type.unionId, UNDEFINED_T) >= 0 &&
+            declared &&
+            !(declared.kind === "union" && lowerer.armTag(declared.unionId, UNDEFINED_T) >= 0))
+            return expr;
+        // The same for a field holding a Date's toJSON() result, whose null
+        // the declared string does not represent.
+        if (expr.kind === "recordGet" &&
+            lowerer.isRuntimeOptionalField(expr.shapeId, expr.field) &&
+            lowerer.armTag(expr.type.unionId, NULL_T) >= 0 &&
+            declared &&
+            !(declared.kind === "union" && lowerer.armTag(declared.unionId, NULL_T) >= 0))
+            return expr;
+    }
+    if (ts.isIdentifier(node)) {
+        const symbol = lowerer.resolveValueSymbol(node);
+        if (symbol && lowerer.unstableSwitchBindings.has(symbol))
+            return expr;
+        // A binding initialized by a Date's toJSON() can hold null where the
+        // checker says string; consumers check it.
+        if (symbol && lowerer.dateJsonBindings.has(symbol))
+            return expr;
+    }
+    if (ts.isPropertyAccessExpression(node) &&
+        getterResultHoldsUndeclaredUndefined(lowerer, node, expr))
+        return expr;
+    const narrowedTs = lowerer.typeOf(node);
+    const narrowed = lowerer.mapTypeOf(narrowedTs);
+    // `Array.isArray(u)` on a union with one readonly array/tuple arm: the
+    // lib predicate narrows to `any[]`, possibly intersected with another
+    // type. That mapping may be a checked value or a synthetic record, but
+    // the tag test proved the union's one array-valued arm, so bridge to it
+    // with the same trusted unionNarrow the mapped case below builds.
+    if (lowerer.checkerAnyArrayType(narrowedTs)) {
+        const def = lowerer.unions.get(expr.type.unionId);
+        const arrayTags = lowerer.arrayValueTags(expr.type.unionId);
+        if (arrayTags.length === 1) {
+            const arm = def.arms[arrayTags[0]];
+            const checked = checkedStaleArm(lowerer, node, expr, arrayTags[0], arm);
+            if (checked)
+                return checked;
+            return {
+                kind: "unionNarrow",
+                unionId: expr.type.unionId,
+                tag: arrayTags[0],
+                value: expr,
+                type: arm,
+                loc: expr.loc,
+            };
+        }
+    }
+    // A narrowing that refines record arms with an intersection keeps the
+    // stored layout: view the value as the stored arms that can hold it.
+    if (narrowed?.kind === "union") {
+        const hosted = hostedStorageView(lowerer, expr, narrowed, expr.loc);
+        if (hosted)
+            return hosted;
+    }
+    // A checker type narrowed to a UNIT arm (the `=== undefined` branch)
+    // also stays union-typed: a unit arm has no payload to extract, and
+    // nothing useful reads such a value anyway. (Standalone undefined maps
+    // to void and standalone null to nothing, so the isUnitType guard is
+    // defensive.)
+    if (!narrowed || narrowed.kind === "union" || narrowed.kind === "void" || isUnitType(narrowed)) {
+        return expr;
+    }
+    const tag = lowerer.armTag(expr.type.unionId, narrowed);
+    if (tag < 0 &&
+        narrowed.kind === "record" &&
+        !lowerer.unions.get(expr.type.unionId)?.discriminant) {
+        const hosted = hostedStorageView(lowerer, expr, narrowed, expr.loc);
+        if (hosted)
+            return hosted;
+    }
+    if (tag < 0) {
+        // The checker may refine fields inside a discriminated record too.
+        // That creates a different mapped shape, but does not change the
+        // stored payload layout. A required literal discriminator proves
+        // which original arm to read; retain all of that arm's field types.
+        const def = lowerer.unions.get(expr.type.unionId);
+        if (narrowed.kind === "record" && def?.discriminant) {
+            const property = lowerer.checker.getPropertyOfType(narrowedTs, def.discriminant.field);
+            if (property &&
+                !(property.flags &
+                    (ts.SymbolFlags.Optional | ts.SymbolFlags.GetAccessor | ts.SymbolFlags.SetAccessor))) {
+                const values = literalValues(lowerer.checker.getTypeOfSymbol(property));
+                const arm = values && literalUnionArm(def, values, (id) => lowerer.shapes.get(id));
+                if (arm) {
+                    const checked = checkedStaleArm(lowerer, node, expr, lowerer.armTag(expr.type.unionId, arm), arm);
+                    if (checked)
+                        return checked;
+                    return {
+                        kind: "unionNarrow",
+                        unionId: expr.type.unionId,
+                        tag: lowerer.armTag(expr.type.unionId, arm),
+                        value: expr,
+                        type: arm,
+                        loc: expr.loc,
+                    };
+                }
+            }
+        }
+        // A base-class arm can narrow to a subclass after instanceof. The
+        // payload retains its base-class tag even when the union also has
+        // records or other classes. Require one unambiguous containing arm.
+        const arms = lowerer.unions.get(expr.type.unionId)?.arms ?? [];
+        const valueTag = narrowed.kind === "object"
+            ? arms.findIndex((arm) => arm.kind === "object" && lowerer.isSubclassOf(narrowed.className, arm.className))
+            : -1;
+        const valueType = arms[valueTag];
+        if (narrowed.kind === "object" &&
+            valueType?.kind === "object" &&
+            arms.every((arm, i) => i === valueTag ||
+                arm.kind !== "object" ||
+                !lowerer.isSubclassOf(narrowed.className, arm.className)) &&
+            lowerer.isSubclassOf(narrowed.className, valueType.className)) {
+            const checked = checkedStaleArm(lowerer, node, expr, valueTag, valueType, narrowed);
+            if (checked) {
+                return checkedClassAssertion(lowerer, checked, narrowed, expr.loc) ?? checked;
+            }
+            return {
+                kind: "downcast",
+                value: {
+                    kind: "unionNarrow",
+                    unionId: expr.type.unionId,
+                    tag: valueTag,
+                    value: expr,
+                    type: valueType,
+                    loc: expr.loc,
+                },
+                type: narrowed,
+                loc: expr.loc,
+            };
+        }
+        return expr;
+    }
+    const checked = checkedStaleArm(lowerer, node, expr, tag, narrowed);
+    if (checked)
+        return checked;
+    return {
+        kind: "unionNarrow",
+        unionId: expr.type.unionId,
+        tag,
+        value: expr,
+        type: narrowed,
+        loc: expr.loc,
+    };
+}
+/** A getter read whose runtime result can be undefined (an unchecked
+ * element read in its body, or in another member of its override family)
+ * although its declared type cannot. The checker's type for the read is
+ * then no narrowing proof, so the read keeps the getter's result. */
+function getterResultHoldsUndeclaredUndefined(lowerer, node, expr) {
+    if (expr.type.kind !== "union" || lowerer.armTag(expr.type.unionId, UNDEFINED_T) < 0)
+        return false;
+    const getter = (expr.kind === "virtualCall" && expr.method.startsWith("get:")) ||
+        (expr.kind === "call" && expr.callee.includes(".get:"));
+    if (!getter)
+        return false;
+    const symbol = lowerer.checker.getSymbolAtLocation(node.name);
+    if (!symbol || (symbol.flags & ts.SymbolFlags.GetAccessor) === 0)
+        return false;
+    const declared = lowerer.checker.getTypeOfSymbol(symbol);
+    const holdsUndefined = (type) => (type.flags &
+        (ts.TypeFlags.Undefined | ts.TypeFlags.Void | ts.TypeFlags.Any | ts.TypeFlags.Unknown)) !==
+        0;
+    return !(holdsUndefined(declared) ||
+        (declared.isUnionType() && ts.constituentTypes(declared).some(holdsUndefined)));
+}
+/** The checked form of maybeNarrow's arm extraction for a narrowing the
+ * checker may hold past code that replaced the value (a call clearing the
+ * property; see NarrowingStability). Every other arm throws the TypeError
+ * Node raises for the operation consuming the read (`Cannot read
+ * properties of undefined (reading 'x')`, `o.f is not a function`), or the
+ * stranded-value TypeError where Node would carry the value on. Null when
+ * the narrowing is provably current. `narrowed` is the checker's type when
+ * it refines the arm (a subclass view). */
+function checkedStaleArm(lowerer, node, value, tag, arm, narrowed = arm) {
+    if (value.type.kind !== "union" || tag < 0)
+        return null;
+    if (!lowerer.narrowing.untrusted(node, narrowed))
+        return null;
+    const inPlace = checkedArmExtraction(lowerer, value, tag, arm, (found) => staleReadMessage(node, found));
+    if (inPlace)
+        return inPlace;
+    const helper = lowerer.narrowedArmHelper(value.type.unionId, arm, value.loc);
+    return helper ? lowerer.checkedNarrowCall(helper, value, arm, value.loc) : null;
+}
+/** V8's spelling of a callee in "is not a function": a string-literal
+ * element key reads as a property name (`o["a"]` is `o.a`), other keys
+ * keep their brackets. */
+export function v8CalleeText(node) {
+    if (ts.isElementAccessExpression(node)) {
+        const key = node.argumentExpression;
+        const object = v8CalleeText(node.expression);
+        return ts.isStringLiteral(key) || ts.isNoSubstitutionTemplateLiteral(key)
+            ? `${object}.${key.text}`
+            : `${object}[${ts.getTextOfNode(key)}]`;
+    }
+    if (ts.isPropertyAccessExpression(node) && !node.questionDotToken)
+        return `${v8CalleeText(node.expression)}.${node.name.text}`;
+    return ts.getTextOfNode(node);
+}
+/** Node's TypeError for the operation consuming `node` when it holds a
+ * value of type `found`, or null where Node would not throw. */
+function staleReadMessage(node, found) {
+    let child = node;
+    let parent = node.parent;
+    while (ts.isParenthesizedExpression(parent)) {
+        child = parent;
+        parent = parent.parent;
+    }
+    if (ts.isCallExpression(parent) && parent.expression === child && !parent.questionDotToken) {
+        return found.kind === "func" ? null : `${v8CalleeText(node)} is not a function`;
+    }
+    const unit = found.kind === "undefinedT" ? "undefined" : found.kind === "nullT" ? "null" : null;
+    if (unit === null)
+        return null;
+    if (!(ts.isPropertyAccessExpression(parent) || ts.isElementAccessExpression(parent)) ||
+        parent.expression !== child ||
+        parent.questionDotToken)
+        return null;
+    let key = null;
+    if (ts.isPropertyAccessExpression(parent))
+        key = parent.name.text;
+    else if (ts.isStringLiteral(parent.argumentExpression))
+        key = parent.argumentExpression.text;
+    else if (ts.isNumericLiteral(parent.argumentExpression))
+        key = String(Number(parent.argumentExpression.text));
+    if (key === null)
+        return null;
+    const store = parent.parent;
+    return ts.isBinaryExpression(store) &&
+        store.left === parent &&
+        store.operatorToken.kind === ts.SyntaxKind.EqualsToken
+        ? `Cannot set properties of ${unit} (setting '${key}')`
+        : `Cannot read properties of ${unit} (reading '${key}')`;
+}
+/** A runtime-optional slot can be assigned while a truthy guard is in
+ * force. TypeScript then types a direct member receiver as the plain arm,
+ * even though an OOB-safe assignment may have restored undefined. Check
+ * that hidden arm and throw the member-read TypeError Node would produce. */
+export function runtimeOptionalReceiverRead(lowerer, expr, local, property, loc) {
+    if (local.type.kind !== "union") {
+        lowerer.runtimeOptionalLocals.delete(local);
+        lowerer.runtimeOptionalStorageLocals.delete(local);
+        return varRef(local.id, local.type, loc);
+    }
+    // A non-null/type assertion around the receiver carries the useful
+    // checker narrowing on the wrapper rather than on the identifier token
+    // itself (`gg!.day`). Follow only erased wrappers; the member/call node
+    // still receives the checked extraction built below.
+    let narrowedNode = expr;
+    while ((ts.isParenthesizedExpression(narrowedNode.parent) ||
+        ts.isAssertionExpression(narrowedNode.parent) ||
+        ts.isSatisfiesExpression(narrowedNode.parent) ||
+        ts.isNonNullExpression(narrowedNode.parent)) &&
+        narrowedNode.parent.expression === narrowedNode) {
+        narrowedNode = narrowedNode.parent;
+    }
+    const narrowed = lowerer.mapTypeOf(lowerer.typeOf(narrowedNode));
+    if (!narrowed || isUnitType(narrowed)) {
+        lowerer.unsupported("SC1090", expr, "a runtime-optional capture whose narrowed value type is not representable");
+    }
+    if (narrowed.kind === "union") {
+        const classView = narrowStoredClassValue(lowerer, varRef(local.id, local.type, loc), narrowed);
+        if (classView)
+            return classView;
+        // The checker may keep the receiver at the storage union unchanged
+        // (`string | undefined` on a JS `.match()` call). There is no
+        // sub-union to re-tag: preserve the value for the downstream
+        // nullable-receiver lowering, which performs the member-specific
+        // checked extraction. Refusing here deferred the whole statement to
+        // a runtime fence before that lowering could run.
+        if (typeEquals(local.type, narrowed)) {
+            return varRef(local.id, local.type, loc);
+        }
+        // A captured array element can itself be a union of records (for
+        // example Circle | Square). The optional storage union has one extra
+        // undefined arm; re-tag it to the checker-narrowed value union with a
+        // checked trap for that arm, then let union property lowering inspect
+        // the surviving record arms.
+        const helper = lowerer.narrowedRetagHelper(narrowedNode, local.type.unionId, narrowed.unionId, loc);
+        if (!helper) {
+            // Intersection-refined record arms read through their stored
+            // layout (the predicate `r is Route & { path: string }`).
+            const hosted = hostedStorageView(lowerer, varRef(local.id, local.type, loc), narrowed, loc);
+            if (hosted)
+                return hosted;
+            lowerer.unsupported("SC1090", expr, "a runtime-optional capture whose narrowed union is not representable");
+        }
+        return {
+            kind: "call",
+            callee: helper,
+            args: [varRef(local.id, local.type, loc)],
+            type: narrowed,
+            loc,
+        };
+    }
+    if (narrowed.kind === "object") {
+        const view = checkedClassAssertion(lowerer, varRef(local.id, local.type, loc), narrowed, loc);
+        // Preserve the member-specific missing-value error on the two-arm
+        // path below; mixed storage also needs to validate its concrete class.
+        if (view && (lowerer.unions.get(local.type.unionId)?.arms.length ?? 0) > 2)
+            return view;
+    }
+    if (narrowed.kind === "record" && lowerer.armTag(local.type.unionId, narrowed) < 0) {
+        const hosted = hostedStorageView(lowerer, varRef(local.id, local.type, loc), narrowed, loc);
+        if (hosted)
+            return hosted;
+    }
+    const undefTag = lowerer.armTag(local.type.unionId, UNDEFINED_T);
+    const def = lowerer.unions.get(local.type.unionId);
+    if (!def || undefTag < 0)
+        throw new InternalCompilerError("runtime-optional local is missing its undefined arm");
+    if (def.arms.length !== 2) {
+        // The checker may narrow a runtime-optional capture to one arm of a
+        // value union (`Circle | Square | undefined` -> `Circle`). The
+        // two-arm fast path below cannot extract that arm safely: a later
+        // array mutation can leave any of the stored tags in the slot. Use
+        // the checked helper so every other arm, including undefined, remains
+        // a catchable TypeError rather than an unchecked payload read.
+        const helper = lowerer.narrowedArmHelper(local.type.unionId, narrowed, loc);
+        if (!helper) {
+            lowerer.unsupported("SC1090", expr, "a direct read from a runtime-optional capture with multiple value arms");
+        }
+        return lowerer.checkedNarrowCall(helper, varRef(local.id, local.type, loc), narrowed, loc);
+    }
+    // A predicate can strengthen a record's fields or narrow a base class
+    // to a subclass without changing the slot's stored value arm. Extract
+    // that actual arm first: record reads need its original field layout,
+    // and class reads apply the ordinary downcast bridge afterward.
+    const valueTag = undefTag === 0 ? 1 : 0;
+    const valueType = def.arms[valueTag];
+    if (!valueType || isUnitType(valueType)) {
+        lowerer.unsupported("SC1090", expr, "a runtime-optional receiver without a representable value arm");
+    }
+    const message = property === null
+        ? `${expr.text} is not a function`
+        : `Cannot read properties of undefined (reading '${property}')`;
+    return lowerer.maybeNarrow({
+        kind: "ternary",
+        cond: {
+            kind: "unionIsTag",
+            unionId: local.type.unionId,
+            tag: undefTag,
+            negated: false,
+            value: varRef(local.id, local.type, loc),
+            type: BOOL,
+            loc,
+        },
+        then: nodeThrowExpr(1, "", message, valueType, loc),
+        else_: {
+            kind: "unionNarrow",
+            unionId: local.type.unionId,
+            tag: valueTag,
+            value: varRef(local.id, local.type, loc),
+            type: valueType,
+            loc,
+        },
+        type: valueType,
+        loc,
+    }, narrowedNode);
+}
+export function runtimeOptionalTrueIds(lowerer, node) {
+    return runtimeOptionalGuardIds(lowerer, node, true);
+}
+/** Presence proved by one outcome of a boolean guard. Negation flips
+ * the outcome; all operands of a true AND or false OR have that outcome.
+ * Assignments invalidate a syntactic proof even when checker types hide
+ * the undefined produced by an out-of-bounds read. */
+export function runtimeOptionalGuardIds(lowerer, node, truthy) {
+    const candidates = [];
+    const collect = (expr, outcome) => {
+        if (ts.isParenthesizedExpression(expr))
+            return collect(expr.expression, outcome);
+        if (ts.isPrefixUnaryExpression(expr) && expr.operator === ts.SyntaxKind.ExclamationToken) {
+            return collect(expr.operand, outcome === null ? null : !outcome);
+        }
+        if (ts.isBinaryExpression(expr) &&
+            ((outcome === true && expr.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) ||
+                (outcome === false && expr.operatorToken.kind === ts.SyntaxKind.BarBarToken))) {
+            collect(expr.left, outcome);
+            collect(expr.right, outcome);
+        }
+        else if (ts.isPropertyAccessExpression(expr) && !expr.questionDotToken) {
+            // A completed ordinary member read checked its receiver even if
+            // the property's value was falsy. Optional chains make no such
+            // promise, and calls/captures retain their separate checked ABI.
+            const local = runtimeOptionalLocalOf(lowerer, expr.expression);
+            if (local !== null)
+                candidates.push(local);
+            else if (ts.isPropertyAccessExpression(expr.expression))
+                collect(expr.expression, outcome);
+        }
+        else if (ts.isBinaryExpression(expr) &&
+            expr.operatorToken.kind !== ts.SyntaxKind.AmpersandAmpersandToken &&
+            expr.operatorToken.kind !== ts.SyntaxKind.BarBarToken &&
+            expr.operatorToken.kind !== ts.SyntaxKind.QuestionQuestionToken) {
+            // Both operands of a comparison/arithmetic operator are evaluated.
+            // Only member reads prove presence; bare identifiers need truth.
+            const member = (operand) => {
+                while (ts.isParenthesizedExpression(operand))
+                    operand = operand.expression;
+                if (ts.isPropertyAccessExpression(operand))
+                    collect(operand, outcome);
+            };
+            member(expr.left);
+            member(expr.right);
+            const op = expr.operatorToken.kind;
+            const equal = op === ts.SyntaxKind.EqualsEqualsEqualsToken || op === ts.SyntaxKind.EqualsEqualsToken;
+            const unequal = op === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+                op === ts.SyntaxKind.ExclamationEqualsToken;
+            if ((equal && outcome === false) || (unequal && outcome === true)) {
+                const present = (value, unit) => {
+                    while (ts.isParenthesizedExpression(unit))
+                        unit = unit.expression;
+                    const excludesUndefined = (ts.isIdentifier(unit) &&
+                        unit.text === "undefined" &&
+                        (lowerer.typeOf(unit).flags & ts.TypeFlags.Undefined) !== 0) ||
+                        (unit.kind === ts.SyntaxKind.NullKeyword &&
+                            (op === ts.SyntaxKind.EqualsEqualsToken ||
+                                op === ts.SyntaxKind.ExclamationEqualsToken));
+                    if (excludesUndefined) {
+                        const local = runtimeOptionalLocalOf(lowerer, value);
+                        if (local !== null)
+                            candidates.push(local);
+                    }
+                };
+                present(expr.left, expr.right);
+                present(expr.right, expr.left);
+            }
+        }
+        else if (outcome) {
+            const local = runtimeOptionalLocalOf(lowerer, expr);
+            if (local !== null)
+                candidates.push(local);
+        }
+    };
+    collect(node, truthy);
+    if (candidates.length === 0)
+        return candidates;
+    const assigned = new Set();
+    const visit = (part) => {
+        if (ts.isFunctionLike(part))
+            return;
+        let target = null;
+        if (ts.isBinaryExpression(part) &&
+            part.operatorToken.kind >= ts.SyntaxKind.FirstAssignment &&
+            part.operatorToken.kind <= ts.SyntaxKind.LastAssignment)
+            target = part.left;
+        if ((ts.isPrefixUnaryExpression(part) || ts.isPostfixUnaryExpression(part)) &&
+            (part.operator === ts.SyntaxKind.PlusPlusToken ||
+                part.operator === ts.SyntaxKind.MinusMinusToken))
+            target = part.operand;
+        if (target !== null) {
+            // Destructuring assignments can contain several identifiers.
+            const mark = (name) => {
+                if (ts.isIdentifier(name)) {
+                    const local = lowerer.resolveLocal(name);
+                    if (local)
+                        assigned.add(lowerer.runtimeOptionalRootOf(local));
+                }
+                ts.forEachChild(name, mark);
+            };
+            mark(target);
+        }
+        ts.forEachChild(part, visit);
+    };
+    visit(node);
+    return candidates.filter((local) => !assigned.has(lowerer.runtimeOptionalRootOf(local)));
+}
+export function withRuntimeOptionalNarrowed(lowerer, locals, fn) {
+    if (locals.length === 0)
+        return fn();
+    for (const local of locals)
+        lowerer.runtimeOptionalLocals.delete(lowerer.runtimeOptionalRootOf(local));
+    try {
+        return fn();
+    }
+    finally {
+        for (const local of locals)
+            lowerer.runtimeOptionalLocals.add(lowerer.runtimeOptionalRootOf(local));
+    }
+}
+/** `x as T`. Non-dyn inner values ordinarily erase; a record assertion
+ * changing monomorphic shape rebuilds through the established width-copy
+ * path so its represented value agrees with its asserted type.
+ * A dyn ('unknown') inner value makes this THE dynamic boundary:
+ * - `as unknown` (dyn → dyn) stays erasure;
+ * - dyn → a JSON-representable target type T compiles to `dynCheck`, a
+ *   runtime validation that builds the typed value or THROWS a catchable
+ *   TypeError-flavored error (JS `as` never checks — the headline
+ *   documented divergence: a lying cast throws instead of corrupting
+ *   memory);
+ * - dyn → anything else (closures, class instances, void) is rejected:
+ *   those types cannot be found inside a JSON dyn. */
+/** A class instance, or a union of class instances and unit arms (a
+ * runtime-optional binding such as `const node = stack.pop()!`). */
+function classInstanceOrAbsent(lowerer, type) {
+    if (type.kind === "object")
+        return true;
+    if (type.kind !== "union")
+        return false;
+    const arms = lowerer.unions.get(type.unionId)?.arms ?? [];
+    return (arms.some((arm) => arm.kind === "object") &&
+        arms.every((arm) => arm.kind === "object" || isUnitType(arm)));
+}
+/** `Object.fromEntries(...) as T` with T a declared record (the generic
+ * `transform<T extends Record<string, unknown>>(t: T): T` idiom): the
+ * entries build a pure index-signature record, which has no layout in
+ * common with T's struct. Node keeps the object itself, with exactly the
+ * keys and the order the entries gave it. The result of fromEntries is a
+ * fresh object nothing else references, so the checked-dynamic bridge,
+ * which keeps keys and their order the same way `JSON.parse(text) as T`
+ * does, cannot be told apart from the original object; a value outside
+ * T throws the catchable TypeError of every checked cast. The entries'
+ * values must be scalars or checked-dynamic values, which the bridge
+ * passes by value or by identity; native arrays and records would be
+ * copied. Other sources may be aliased, where a rebuilt object would sever
+ * mutation, so they keep the exact-shape fence. */
+function freshEntriesRecordAssertion(lowerer, expr, inner, target) {
+    if (inner.type.kind !== "record" || target?.kind !== "record")
+        return null;
+    const source = lowerer.shapes.get(inner.type.shapeId);
+    const dest = lowerer.shapes.get(target.shapeId);
+    if (!source?.indexValue || source.tuple || source.fields.length > 0)
+        return null;
+    if (!dest || dest.tuple || dest.indexValue || shapeHasAccessorSlots(dest))
+        return null;
+    // Native arrays and records in the entries would be copied on the way
+    // through the checked-dynamic bridge, severing their identity: only
+    // slots of scalars or checked-dynamic values pass.
+    if (extractionCopiesReference(lowerer, source.indexValue))
+        return null;
+    let operand = expr.expression;
+    while (ts.isParenthesizedExpression(operand))
+        operand = operand.expression;
+    if (!ts.isCallExpression(operand) ||
+        !ts.isPropertyAccessExpression(operand.expression) ||
+        operand.expression.name.text !== "fromEntries" ||
+        !lowerer.isStdlibGlobal(operand.expression.expression, "Object"))
+        return null;
+    if (!lowerer.dynConvertible(inner.type))
+        return null;
+    if (!canDynCheckTo(target, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id)))
+        return null;
+    const loc = locOf(expr);
+    return { kind: "dynCheck", value: lowerer.coerceToExpected(inner, DYN), type: target, loc };
+}
+/** `e as T` and the old-style assertion `<T>e` — one node shape (both
+ * carry `.type` and `.expression`), one lowering. */
+export function lowerAsExpression(lowerer, expr) {
+    // `[] as const` — tsgo panics computing the expression's `readonly []`
+    // type (the facade's fence answers `any`), but the syntax pins the
+    // value exactly: the empty tuple, ridden as the unit-element array
+    // (mapType's empty-tuple rule). Lower it directly; enclosing slots
+    // coerce like any other empty-array source.
+    if (ts.isAsExpression(expr) &&
+        isConstAssertionTypeNode(expr.type) &&
+        ts.isArrayLiteralExpression(expr.expression) &&
+        expr.expression.elements.nodes.length === 0) {
+        return {
+            kind: "arrayLit",
+            elems: [],
+            type: arrayOf(unitOnlyUnion(lowerer.unions)),
+            loc: locOf(expr),
+        };
+    }
+    // `e as C` on a CATCH BINDING (`(err as Error).message`): the checked
+    // extraction — an instanceof match extracts the payload, anything else
+    // throws the catchable TypeError (dynCheck's trust-but-verify stance,
+    // extended to exception payloads). Intercepts BEFORE lowerExpr — the
+    // raw read would hit caughtRead's narrowness fence.
+    const caughtLocal = lowerer.caughtLocalOf(expr.expression);
+    if (caughtLocal) {
+        const loc = locOf(expr);
+        const targetTs = lowerer.checker.getTypeFromTypeNode(expr.type);
+        const target = lowerer.mapTypeOf(targetTs);
+        if (target?.kind === "object") {
+            const info = lowerer.classes.get(target.className);
+            if (info && lowerer.inHierarchy(info)) {
+                return {
+                    kind: "caughtCheck",
+                    value: { kind: "varRef", localId: caughtLocal.id, type: CAUGHT, loc },
+                    className: target.className,
+                    type: target,
+                    loc,
+                };
+            }
+        }
+        // Structural assertions use the ordinary checked dynamic bridge. It
+        // retains primitive values and native class identity before validating
+        // the requested shape; an assertion does not bypass runtime checks.
+        const narrowed = lowerer.mapTypeOf(lowerer.typeOf(expr.expression));
+        const bridged = (narrowed &&
+            (narrowed.kind === "f64" ||
+                narrowed.kind === "bool" ||
+                narrowed.kind === "string" ||
+                narrowed.kind === "object" ||
+                narrowed.kind === "dyn")) ||
+            // `catch (e: any)`: the binding reads as its checked-dynamic value.
+            (narrowed === null && (lowerer.typeOf(expr.expression).flags & ts.TypeFlags.Any) !== 0);
+        if (!bridged)
+            lowerer.unsupported("SC1063", expr);
+    }
+    const inner = lowerer.lowerExpr(expr.expression);
+    const use = runtimeOptionalUseOf(expr);
+    if (inner.type.kind === "union" && runtimeOptionalAssertionErases(lowerer, expr, inner, use))
+        return inner;
+    if (inner.type.kind !== "dyn") {
+        const targetTs0 = lowerer.checker.getTypeFromTypeNode(expr.type);
+        const target = lowerer.mapTypeOf(targetTs0);
+        if (target?.kind === "object") {
+            const asserted = checkedClassAssertion(lowerer, inner, target, locOf(expr));
+            if (asserted)
+                return asserted;
+        }
+        // Unknown-only record views use the checked-dynamic representation.
+        // A native record asserted to such a view still denotes the original
+        // object. Box a live reference instead of erasing the assertion and
+        // handing native storage to a checked-dynamic property operation.
+        if (target?.kind === "dyn" && (targetTs0.flags & ts.TypeFlags.Object) !== 0) {
+            // A class instance asserted to a class-backed protocol view (a type
+            // class instances flow into): the same identity-keeping box an
+            // implicit flow into the view uses. A runtime-optional binding of a
+            // class (`const node = stack.pop()!`) boxes the same way, and its
+            // undefined arm stays undefined, as in Node.
+            if (classInstanceOrAbsent(lowerer, inner.type) && lowerer.classImplementedProtocol(targetTs0))
+                return lowerer.coerceInto(expr, inner, DYN);
+            const sourceShape = inner.type.kind === "record" ? lowerer.shapes.get(inner.type.shapeId) : undefined;
+            if (hasClassPayload(lowerer, inner.type) ||
+                (sourceShape && shapeHasAccessorSlots(sourceShape))) {
+                lowerer.unsupported("SC1090", expr, "opaque structural views of classes or accessor records (name the property's concrete type to retain native accessor dispatch)");
+            }
+            const boxed = lowerer.coerceInto(expr, inner, DYN);
+            // Only references box live; a scalar or unit source (`value as
+            // unknown as View`) is an ordinary snapshot.
+            const seen = new Set();
+            const live = (type) => {
+                if (type.kind === "record" ||
+                    type.kind === "array" ||
+                    type.kind === "bytes" ||
+                    isDynTypedRefType(type))
+                    return true;
+                if (type.kind !== "union" || seen.has(type.unionId))
+                    return false;
+                seen.add(type.unionId);
+                return lowerer.unions.get(type.unionId)?.arms.some(live) ?? false;
+            };
+            return boxed.kind === "dynFrom" && live(boxed.value.type)
+                ? { ...boxed, liveRef: true }
+                : boxed;
+        }
+        // Collection assertions are interface views only: their backing
+        // value must already have the same native key/element/value layout.
+        // Erasing a mock or a different instantiation here would let member
+        // lowering interpret a record (or another ABI) as a native handle.
+        if (target?.kind === "map" || target?.kind === "set") {
+            return lowerer.coerceInto(expr, inner, target);
+        }
+        // A class-derived interface still names the class's native layout.
+        // An assertion must not let a structural mock acquire that layout;
+        // unions retain their checked extraction below, and real instances
+        // keep the ordinary class narrowing path.
+        if (target?.kind === "object" && inner.type.kind !== "object" && inner.type.kind !== "union") {
+            return lowerer.coerceInto(expr, inner, target);
+        }
+        if (target?.kind === "object" &&
+            inner.type.kind === "object" &&
+            !typeEquals(target, inner.type) &&
+            !lowerer.isSubclassOf(inner.type.className, target.className) &&
+            !lowerer.isSubclassOf(target.className, inner.type.className)) {
+            return lowerer.coerceInto(expr, inner, target);
+        }
+        const rebuilt = freshEntriesRecordAssertion(lowerer, expr, inner, target);
+        if (rebuilt)
+            return rebuilt;
+        // `job as Job & { startedAt: number }` on a record: the asserted
+        // record refines the stored one, so the assertion keeps the object
+        // (a width copy would sever writes through the asserted view).
+        if (inner.type.kind === "record" && target && hostsAll(lowerer, inner.type, target)) {
+            return inner;
+        }
+        // Static assertions normally erase, but record layouts are
+        // monomorphic: a consumer selected from the asserted shape must see
+        // that shape physically. Reuse the ordinary slot coercion so plain
+        // widths and index-signature captures share their established copy
+        // semantics (and unsupported pairs report SC2002 at this assertion).
+        if (inner.type.kind === "record" &&
+            target?.kind === "record" &&
+            inner.type.shapeId !== target.shapeId) {
+            return lowerer.coerceInto(expr, inner, target);
+        }
+        // `u as Arm` on a UNION value is `u!`'s spelling with a named arm
+        // (`req.headers[h] as string`): the CHECKED single-arm extraction —
+        // the asserted arm's payload comes out, any other arm throws the
+        // catchable TypeError (divergence 38's lying-assertion stance; an
+        // erasure would just move the failure to the next typed slot as an
+        // opaque union-mismatch fence). Sub-union targets and same-type
+        // casts keep the historic erasure.
+        if (inner.type.kind === "union") {
+            if (target && target.kind !== "union" && !typeEquals(target, inner.type)) {
+                const helper = lowerer.narrowedArmHelper(inner.type.unionId, target, locOf(expr));
+                if (helper) {
+                    return lowerer.checkedNarrowCall(helper, inner, target, locOf(expr));
+                }
+            }
+            // An intersection refining the stored record arms keeps the value
+            // (hosted-narrowing.ts): the stored arms that can hold it.
+            if (target && (target.kind === "union" || target.kind === "record")) {
+                const hosted = hostedStorageView(lowerer, inner, target, locOf(expr));
+                if (hosted)
+                    return hosted;
+            }
+        }
+        // `node.parent as Sub | undefined`: a union target whose class arm is
+        // narrower than the stored class gets the same checked class view as
+        // `node.parent as Sub`; the other arms keep their identical tags.
+        if (target?.kind === "union" &&
+            (inner.type.kind === "union" || inner.type.kind === "object") &&
+            !typeEquals(target, inner.type)) {
+            const asserted = checkedClassUnionAssertion(lowerer, inner, target, locOf(expr));
+            if (asserted)
+                return asserted;
+        }
+        return inner; // erasure, unchanged
+    }
+    // `value as never` is the escape hatch that makes an unknown value fit
+    // any slot (`tagSuccess(value as never)`). No value has type never, so
+    // checking against its placeholder layout would reject every value.
+    // Erase it instead: the consuming slot applies the same validated
+    // extraction an unknown value gets wherever the checker admits it.
+    if (expr.type.kind === ts.SyntaxKind.NeverKeyword)
+        return inner;
+    const targetTs = lowerer.checker.getTypeFromTypeNode(expr.type);
+    const target = lowerer.mapTypeOf(targetTs) ?? dynFallbackType(lowerer, expr.type, targetTs);
+    if (!target)
+        lowerer.badType(expr.type, targetTs);
+    if (target.kind === "dyn")
+        return inner; // `as unknown`: erasure
+    // An all-`unknown`-fields record target (`err as { code?: unknown }`
+    // — the errno-probing idiom): there is nothing to validate (every
+    // field is unknown, exactly what the dyn value already answers) and
+    // nothing to build — the cast is pure typing, so it ERASES and the
+    // reads ride the dyn keyed read.
+    if (target.kind === "record") {
+        const shape = lowerer.shapes.get(target.shapeId);
+        if (shape &&
+            !shape.tuple &&
+            shape.fields.every((f) => f.type.kind === "dyn") &&
+            (!shape.indexValue || shape.indexValue.kind === "dyn")) {
+            return inner;
+        }
+    }
+    // The global object: the checked extraction would build a separate
+    // value, so the assertion keeps the object and its member operations
+    // reach it (assertion-identity.ts).
+    if (extractionCopiesReference(lowerer, target) && assertsGlobalObject(lowerer, expr))
+        return inner;
+    if (target.kind === "void" ||
+        !canDynCheckTo(target, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))) {
+        // Bare undefined-armed targets pass when every OTHER arm is
+        // JSON-safe: the checked-dynamic tree holds a first-class undefined value now
+        // (index-signature overflow reads produce it for missing keys), and
+        // the undefined arm matches exactly it — `p[key] as string |
+        // undefined` is the missing-key idiom. Parsed JSON still never
+        // contains undefined, so casts over parse results keep failing on
+        // non-string values with the usual path-annotated TypeError.
+        if (target.kind === "union" && lowerer.dynConvertible(target)) {
+            return { kind: "dynCheck", value: inner, type: target, loc: locOf(expr) };
+        }
+        // Uint8Array targets: the checked-dynamic tree carries a bytes kind now (converted
+        // stdin chunks) — the extraction validates the kind and copies out.
+        if (target.kind === "bytes" && target.elem === "u8") {
+            return { kind: "dynCheck", value: inner, type: target, loc: locOf(expr) };
+        }
+        // Class instances round-trip only through compiler-owned typed
+        // references. Plain JSON objects fail the runtime class-brand check;
+        // exact capsules unwrap the original object by identity.
+        if (isDynTypedRefType(target)) {
+            return { kind: "dynCheck", value: inner, type: target, loc: locOf(expr) };
+        }
+        // ADAPTABLE function targets (`u as (x: number) => number` — the
+        // checked-dynamic function boundary): kind check, then exact unwrap
+        // or the per-target adapter shim. Non-adaptable signatures keep the
+        // fence below.
+        if (target.kind === "func" &&
+            canAdaptDynFuncTo(target, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))) {
+            return { kind: "dynCheck", value: inner, type: target, loc: locOf(expr) };
+        }
+        // Runtime HANDLE targets (`u as IncomingMessage` — a boxed handle
+        // coming back out of an untyped wrapper): a tag-checked reference
+        // unwrap, identity preserved (DYN_HANDLE_KINDS).
+        if (DYN_HANDLE_KINDS.has(target.kind)) {
+            return { kind: "dynCheck", value: inner, type: target, loc: locOf(expr) };
+        }
+        // `value as NodeJS.ReadableStream`: the general stream classes take
+        // the checked cast (general-streams.ts).
+        requestGeneralStreamSurface(lowerer, expr);
+        lowerer.unsupported("SC1090", expr, `a checked cast of 'unknown' to '${target.kind === "void" ? "void" : lowerer.fmt(target)}' ` +
+            `(a dynamic value can only be validated against JSON-representable types: ` +
+            `number, string, boolean, records, arrays, and unions of those)`);
+    }
+    return { kind: "dynCheck", value: inner, type: target, loc: locOf(expr) };
+}
+//# sourceMappingURL=narrowing.js.map