@scriptc/compiler 0.0.7 → 0.0.9

package/dist/diagnostics/diagnostic.d.ts

@@ -74,12 +74,36 @@ export declare function requiresDynamicTypeDiag(typeText: string, loc: SrcLoc):
 export declare function genericSignatureTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
 /** An index-signature object type that STILL does not map: STRING and
  * NUMBER index signatures compile (declared fields + an overflow map for
- * undeclared keys, number keys canonicalized to their JS string spelling),
- * so reaching this means a symbol-keyed signature, dual signatures with
- * UNEQUAL value types, a value type outside the supported set (functions,
- * Maps, promises, ...), or a declared `unknown` field under the signature.
- * The message points at the working alternatives. */
+ * undeclared keys, number keys canonicalized to their JS string spelling)
+ * over the whole overflow-store value domain — data values, functions
+ * (the command-registry pattern), Maps/Sets, nested index-signature
+ * records, and 'unknown' — so reaching this means a symbol-keyed
+ * signature, dual signatures with UNEQUAL value types, or a value type
+ * with no representation at all (Dates, typed arrays beyond the domain,
+ * lib API objects). The message points at the working alternatives. */
 export declare function indexSignatureTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
+/** A value whose type declares TWO OR MORE call signatures (an overloaded
+ * function type: `{ (x: "a"): string; (x: "b"): number }`, the on()-style
+ * listener registries, overloaded stdlib functions stored as values): a
+ * compiled function value is exactly one signature, so a multi-signature
+ * slot has no instance to hold. CALLS of overloaded declarations resolve
+ * per call site and compile — it is the VALUE position that fences. */
+export declare function overloadedSignatureTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
+/** An intersection type that resolved to no lowering. The intersections
+ * that DO compile never reach this: object-member intersections resolve
+ * through the record path (`A & B` interns the combined shape),
+ * function-with-properties hybrids map to `%call` records, and
+ * mixin-instantiation intersections resolve by chain structure to their
+ * pinned instantiation. What lands here is the remainder — an intersection
+ * part outside those rules, or a mixin intersection no chain pins. */
+export declare function intersectionTypeDiag(typeText: string, loc: SrcLoc): ScrDiagnostic;
+/** A SUPPORTED shape over a component type outside its slot: the Map/Set
+ * key-value domains, array and tuple elements, union arms, function
+ * parameters/returns, and record members. The container is not the blocker
+ * — `detail` (computed by describeComponentBlocker/
+ * describeRecordMemberBlocker in frontend/types.ts, which mirror mapType's
+ * own rules) names the component and the slot it cannot fill. */
+export declare function componentTypeDiag(typeText: string, detail: string, loc: SrcLoc): ScrDiagnostic;
 /** A REACHED use of standard-library surface with no lowering — the scope
  * fence of the real-lib type world. The checker sees the full es2025
  * standard library, so `Symbol`, `new Date()`, `p.then(...)`, `Math.min`
@@ -89,10 +113,13 @@ export declare function indexSignatureTypeDiag(typeText: string, loc: SrcLoc): S
  * used ('Symbol', 'Math.sumPrecise', 'new Date', 'string.normalize'). */
 export declare function noLoweringDiag(surface: string, loc: SrcLoc, hint?: string, viaNodeTypes?: boolean): ScrDiagnostic;
 /** Records are monomorphic structs, so a value's shape must match the
- * expected shape EXACTLY — TypeScript's structural width subtyping
- * (`{a: 1, b: 2}` where `{a: number}` is expected) would need a runtime
- * shape coercion that doesn't exist yet. */
-export declare function recordShapeMismatchDiag(expectedText: string, actualText: string, loc: SrcLoc): ScrDiagnostic;
+ * expected shape exactly OR narrow through the width-copy family
+ * (recordWidthPlan / the overflow capture: target fields copied off the
+ * source, extra fields dropped, per-field lifts). What reaches this is
+ * the RESIDUE those rules decline — `detail`, when the classifier has a
+ * pointed answer (describeRecordWidthBlocker), names the first blocking
+ * rule instead of leaving two near-identical type prints to eyeball. */
+export declare function recordShapeMismatchDiag(expectedText: string, actualText: string, loc: SrcLoc, detail?: string): ScrDiagnostic;
 /** Union values carry a runtime tag assigned per-union: a value of one
  * union type flowing into a DIFFERENT union's slot re-tags at runtime when
  * every source arm has a home in the destination (`A | B` into `A | B | C`
@@ -171,10 +198,12 @@ export declare function libAsyncExportDiag(exportName: string, kind: "async" | "
  * graph, never observed at runtime. Carries the profile's teaching. */
 export declare function libAsyncSurfaceDiag(surface: string, loc: SrcLoc, teaching?: string): ScrDiagnostic;
 /** SC4006 — island/dynamic machinery on the library path: --dynamic,
- * --npm-static, npm imports, `any`-typed island surface. */
+ * --npm-static as a FLAG, `any`-typed island surface. Bare npm imports
+ * themselves are not this code: an eligible package compiles statically
+ * as part of the library graph, an ineligible one refuses SC4013. */
 export declare function libDynamicDiag(what: string, loc: SrcLoc): ScrDiagnostic;
 /** SC4007 — a mapped export whose signature keeps type parameters: every
- * compiled function is one concrete signature (the SC2001 monomorphization
+ * compiled function is one concrete signature (the SC2005 monomorphization
  * rule, re-anchored at the profile entry). */
 export declare function libGenericExportDiag(exportName: string, loc: SrcLoc): ScrDiagnostic;
 /** SC4009 — the contract sidecar cannot be projected: a profile
@@ -183,5 +212,63 @@ export declare function libGenericExportDiag(exportName: string, loc: SrcLoc): S
  * is malformed. The sidecar records verdicts, never guesses — anything
  * unprojectable refuses with the offending declaration named. */
 export declare function libSidecarDiag(detail: string, loc: SrcLoc, hint?: string): ScrDiagnostic;
+/** SC4010 — a tabled or designated type's members gather from MORE THAN
+ * ONE declaration site (interface merging, module augmentation, a
+ * same-name exported declaration in another module): the merged member
+ * order is a checker implementation detail no sidecar consumer can
+ * reproduce from source, and declaration order IS the wire contract. The
+ * teaching names every contributing site. */
+export declare function libSidecarMergedDiag(name: string, sites: readonly string[], loc: SrcLoc): ScrDiagnostic;
+/** SC4011 — a conditional or mapped type produces a tabled or designated
+ * type: type-level computation has no author-visible declaration order,
+ * so its member order cannot be the wire contract. */
+export declare function libSidecarComputedDiag(name: string, which: "conditional" | "mapped", loc: SrcLoc): ScrDiagnostic;
+/** SC4012 — the library-mode host-contract violation trap a generated
+ * entry wrapper raises when an inbound bytes buffer's declared length falls
+ * outside the marshalling class's range (past 2^53−1 — no real buffer, so
+ * the host and the library disagree about the call contract). A RUNTIME
+ * code, never a compile-time refusal: it rides the structured trap-teaching
+ * message (library/trap-teaching.ts) the wrapper delivers through the panic
+ * sink, alongside the trapping export's C symbol and the profile's teaching
+ * and remediation text for this code when the profile supplies them. */
+export declare const LIB_INBOUND_BYTES_TRAP_CODE = "SC4012";
+/** SC4013–SC4019 — the library-mode runtime detected-trap family. RUNTIME
+ * codes like SC4012, never compile-time refusals: every trap the runtime
+ * DETECTS in library mode reaches the panic sink as a structured
+ * trap-teaching message (library/trap-teaching.ts's encoding), assembled by
+ * the library trap funnel (scr_library.c) with the baseline human line
+ * unchanged as field 0, one of these codes, and the trapping entry's
+ * symbol; a profile may overlay teaching/remediation text per code through
+ * the program TU's overlay table. The kinds are the runtime's ACTUAL trap
+ * sites, classified by the funnel over the sites' message conventions:
+ *
+ *   SC4013  escaped exception at an entry (the "Uncaught ..." renderer,
+ *           scr_library_check_exc — declared entries do not throw)
+ *   SC4014  range trap ("scriptc: RangeError: ...": array/typed-array
+ *           index out of bounds, pop() on empty, invalid count value)
+ *   SC4015  type trap ("scriptc: TypeError: ...": a keyed read miss on a
+ *           result type that cannot say undefined)
+ *   SC4016  syntax trap ("scriptc: SyntaxError: ...": invalid regular
+ *           expression at runtime construction)
+ *   SC4017  out of memory ("scriptc: out of memory")
+ *   SC4018  internal invariant failure ("scriptc: internal error: ...")
+ *   SC4019  other detected trap (the family's residual: environment
+ *           failures like getcwd/os lookups, unsupported regex
+ *           operations, circular-structure conversion, the RC audit)
+ *
+ * There is no arithmetic/div-by-zero kind: JS division never traps, so the
+ * runtime has no such site. The list here is the compile-time face of the
+ * family (profile overlay filtering); the funnel's classification table in
+ * scr_library.c is the runtime face — keep the two in step. */
+export declare const LIB_RUNTIME_TRAP_CODES: readonly ["SC4013", "SC4014", "SC4015", "SC4016", "SC4017", "SC4018", "SC4019"];
+/** SC4020 — a bare npm specifier in a library graph naming a package that
+ * fails the npm-static eligibility bar (own .d.ts, unminified shipped JS,
+ * no build-transform markers) or whose static compilation the preflight
+ * had to refuse. Library mode is STATIC-OR-REFUSE by construction: the
+ * island/dynamic tier the executable lane falls back to does not exist on
+ * this path (SC4006's ground), so the refusal names the package, the
+ * specific bar it missed, and the remedy. Carries the profile's teaching
+ * for this code when supplied. */
+export declare function libNpmIneligibleDiag(pkg: string, reason: string, loc: SrcLoc, teaching?: string): ScrDiagnostic;
 export declare function iceDiag(message: string, loc: SrcLoc): ScrDiagnostic;
 export {};

package/dist/diagnostics/diagnostic.js

@@ -7,10 +7,11 @@ export const UNSUPPORTED = {
             "exports), installed npm packages (their code runs under --dynamic), " +
             "and the built-in fs, fs/promises, path, os, url, crypto, zlib, " +
             "child_process, net, http, tls, https, http2, dgram, dns, util, " +
-            "util/types, string_decoder, readline, events, stream, buffer, " +
-            "assert, assert/strict, worker_threads, cluster, tty, async_hooks, " +
-            "timers, timers/promises, diagnostics_channel, perf_hooks, and " +
-            "node:test and node:module modules (bare or node:-prefixed) are supported",
+            "util/types, string_decoder, querystring, readline, events, stream, " +
+            "stream/promises, buffer, assert, assert/strict, worker_threads, " +
+            "cluster, tty, async_hooks, timers, timers/promises, " +
+            "diagnostics_channel, perf_hooks, and node:test and node:module " +
+            "modules (bare or node:-prefixed) are supported",
     },
     // SC1011 (exports) shipped via export modifiers — retired, do not reuse.
     // Default exports/imports SHIPPED (expression, function/class declaration
@@ -142,10 +143,20 @@ export const UNSUPPORTED = {
  * (SC9001/SC9002) report problems or engine tiers, not language/stdlib
  * surface. */
 export const FENCE_CODES = {
-    SC2001: { name: "values of types outside the compilable set", status: "unsupported" },
-    SC2002: { name: "record width subtyping (shapes must match exactly)", status: "unsupported" },
+    // SC2001 is the residual type fence: the named type-shape families each
+    // carry their own code (SC2005 generic signatures, SC2006 index
+    // signatures, SC2007 overloads, SC2008 intersections, SC2009 component
+    // fences; standard-library types with no lowering report SC2020). What
+    // remains here is the remainder the name enumerates.
+    SC2001: { name: "values of types outside the compilable set (bigint and symbol primitives, constructor objects, and library-derived or unresolved generic shapes)", status: "unsupported" },
+    SC2002: { name: "record shape flows outside the width-copy rules (shapes must match exactly or width-coerce)", status: "unsupported" },
     SC2003: { name: "union-to-union conversions outside the re-tagging rule", status: "unsupported" },
     SC2004: { name: "uses of a binding whose declaration did not compile (cascade marker)", status: "unsupported" },
+    SC2005: { name: "values whose type keeps a generic call signature (a compiled function is one concrete signature)", status: "unsupported" },
+    SC2006: { name: "index-signature object types outside the supported shape", status: "unsupported" },
+    SC2007: { name: "values of overloaded function type (a compiled function value is one signature)", status: "unsupported" },
+    SC2008: { name: "intersection types with no resolved lowering", status: "unsupported" },
+    SC2009: { name: "supported container and function shapes over a component type outside its slot", status: "unsupported" },
     SC2010: { name: "constructs that exist only in the embedded dynamic engine", status: "dynamic-only" },
     SC2011: { name: "'any'-typed values and the operations on them", status: "dynamic-only" },
     SC2012: { name: "standard-library surface that runs in the embedded dynamic engine", status: "dynamic-only" },
@@ -245,6 +256,12 @@ export function unsupportedTypeDiag(typeText, loc) {
             hint: "build with --dynamic to run 'any'-typed code in the embedded engine (adds ~620KB to the binary), or stay static with 'unknown' and a checked cast ('x as T')",
         };
     }
+    // The RESIDUAL type fence: the named families (generic signatures —
+    // SC2005, index signatures — SC2006, overloads — SC2007, intersections —
+    // SC2008, component fences — SC2009, standard-library types — SC2020)
+    // all speak before badType reaches for this, so what lands here is the
+    // remainder the registry entry enumerates: bigint/symbol primitives,
+    // constructor objects, and library-derived or unresolved generic shapes.
     return {
         code: "SC2001",
         message: `values of type '${typeText}' cannot be compiled yet ` +
@@ -278,8 +295,8 @@ export function requiresDynamicTypeDiag(typeText, loc) {
  * supported-types recitation. */
 export function genericSignatureTypeDiag(typeText, loc) {
     return {
-        code: "SC2001",
-        message: `values of type '${typeText}' cannot be compiled: the signature keeps its type parameters, and a compiled function is always one concrete signature (generic functions monomorphize per pinned signature — declarations, methods, and never-reassigned module-scope bindings initialized with a generic arrow/function expression)`,
+        code: "SC2005",
+        message: `values of type '${typeText}' cannot be compiled: the signature keeps its type parameters, and a compiled function is always one concrete signature (generic functions monomorphize per pinned signature — declarations, methods, and never-reassigned bindings holding a generic arrow/function expression, an alias of a registered generic function, or a function initializer under a generic-signature annotation)`,
         loc,
         milestone: "M2",
         hint: "annotate the destination with a concrete signature (e.g. '(x: number) => number'), instantiate explicitly ('f<number>'), or call the generic function directly",
@@ -287,18 +304,66 @@ export function genericSignatureTypeDiag(typeText, loc) {
 }
 /** An index-signature object type that STILL does not map: STRING and
  * NUMBER index signatures compile (declared fields + an overflow map for
- * undeclared keys, number keys canonicalized to their JS string spelling),
- * so reaching this means a symbol-keyed signature, dual signatures with
- * UNEQUAL value types, a value type outside the supported set (functions,
- * Maps, promises, ...), or a declared `unknown` field under the signature.
- * The message points at the working alternatives. */
+ * undeclared keys, number keys canonicalized to their JS string spelling)
+ * over the whole overflow-store value domain — data values, functions
+ * (the command-registry pattern), Maps/Sets, nested index-signature
+ * records, and 'unknown' — so reaching this means a symbol-keyed
+ * signature, dual signatures with UNEQUAL value types, or a value type
+ * with no representation at all (Dates, typed arrays beyond the domain,
+ * lib API objects). The message points at the working alternatives. */
 export function indexSignatureTypeDiag(typeText, loc) {
     return {
-        code: "SC2001",
-        message: `values of type '${typeText}' cannot be compiled: this index signature is outside the supported shape (string or number keys; values limited to numbers, strings, booleans, records, classes, arrays, unions, or 'unknown')`,
+        code: "SC2006",
+        message: `values of type '${typeText}' cannot be compiled: this index signature is outside the supported shape (string or number keys; values limited to numbers, strings, booleans, records, classes, arrays, unions, functions, Maps, Sets, RegExps, Promises, or 'unknown')`,
+        loc,
+        milestone: "M2",
+        hint: "string- and number-keyed index signatures over the supported value types compile directly; symbol keys and dual signatures with unequal value types have no lowering",
+    };
+}
+/** A value whose type declares TWO OR MORE call signatures (an overloaded
+ * function type: `{ (x: "a"): string; (x: "b"): number }`, the on()-style
+ * listener registries, overloaded stdlib functions stored as values): a
+ * compiled function value is exactly one signature, so a multi-signature
+ * slot has no instance to hold. CALLS of overloaded declarations resolve
+ * per call site and compile — it is the VALUE position that fences. */
+export function overloadedSignatureTypeDiag(typeText, loc) {
+    return {
+        code: "SC2007",
+        message: `values of type '${typeText}' cannot be compiled: the type declares multiple call signatures (overloads), and a compiled function value is always one concrete signature`,
+        loc,
+        milestone: "M2",
+        hint: "annotate the slot with the ONE signature the program actually calls (e.g. '(x: number) => string'), or wrap the overloaded function in a single-signature arrow",
+    };
+}
+/** An intersection type that resolved to no lowering. The intersections
+ * that DO compile never reach this: object-member intersections resolve
+ * through the record path (`A & B` interns the combined shape),
+ * function-with-properties hybrids map to `%call` records, and
+ * mixin-instantiation intersections resolve by chain structure to their
+ * pinned instantiation. What lands here is the remainder — an intersection
+ * part outside those rules, or a mixin intersection no chain pins. */
+export function intersectionTypeDiag(typeText, loc) {
+    return {
+        code: "SC2008",
+        message: `values of type '${typeText}' cannot be compiled: this intersection resolves to no runtime shape`,
+        loc,
+        milestone: "M2",
+        hint: "restate the intersection as a single interface or type literal with the combined members; mixin-produced intersections compile where the mixin chain pins one instantiation",
+    };
+}
+/** A SUPPORTED shape over a component type outside its slot: the Map/Set
+ * key-value domains, array and tuple elements, union arms, function
+ * parameters/returns, and record members. The container is not the blocker
+ * — `detail` (computed by describeComponentBlocker/
+ * describeRecordMemberBlocker in frontend/types.ts, which mirror mapType's
+ * own rules) names the component and the slot it cannot fill. */
+export function componentTypeDiag(typeText, detail, loc) {
+    return {
+        code: "SC2009",
+        message: `values of type '${typeText}' cannot be compiled: ${detail}`,
         loc,
         milestone: "M2",
-        hint: "string- and number-keyed index signatures over the supported value types compile directly; richer value types want Map<string, V>, and symbol keys have no lowering",
+        hint: "the outer shape is supported — the named component is the blocker; restate it inside the compilable set (number, string, boolean, arrays, Maps, Sets, RegExp, functions, classes, records, unions of those, and 'unknown')",
     };
 }
 /** A REACHED use of standard-library surface with no lowering — the scope
@@ -329,17 +394,20 @@ export function noLoweringDiag(surface, loc, hint, viaNodeTypes = false) {
     };
 }
 /** Records are monomorphic structs, so a value's shape must match the
- * expected shape EXACTLY — TypeScript's structural width subtyping
- * (`{a: 1, b: 2}` where `{a: number}` is expected) would need a runtime
- * shape coercion that doesn't exist yet. */
-export function recordShapeMismatchDiag(expectedText, actualText, loc) {
+ * expected shape exactly OR narrow through the width-copy family
+ * (recordWidthPlan / the overflow capture: target fields copied off the
+ * source, extra fields dropped, per-field lifts). What reaches this is
+ * the RESIDUE those rules decline — `detail`, when the classifier has a
+ * pointed answer (describeRecordWidthBlocker), names the first blocking
+ * rule instead of leaving two near-identical type prints to eyeball. */
+export function recordShapeMismatchDiag(expectedText, actualText, loc, detail) {
     return {
         code: "SC2002",
-        message: `record shapes must match exactly: expected '${expectedText}', got '${actualText}' ` +
-            `(structural width subtyping needs a shape coercion that is not supported yet)`,
+        message: `record shapes must match exactly or width-coerce: expected '${expectedText}', got '${actualText}'` +
+            (detail !== undefined ? ` — ${detail}` : ""),
         loc,
         milestone: "later",
-        hint: "build a new literal with exactly the expected fields instead of passing a wider value",
+        hint: "width subtyping compiles as a copy (each expected field copied off the source; extra fields drop) — this pair is outside the copy's rules; build a literal with exactly the expected fields instead",
     };
 }
 /** Union values carry a runtime tag assigned per-union: a value of one
@@ -537,7 +605,9 @@ export function libAsyncSurfaceDiag(surface, loc, teaching) {
     };
 }
 /** SC4006 — island/dynamic machinery on the library path: --dynamic,
- * --npm-static, npm imports, `any`-typed island surface. */
+ * --npm-static as a FLAG, `any`-typed island surface. Bare npm imports
+ * themselves are not this code: an eligible package compiles statically
+ * as part of the library graph, an ineligible one refuses SC4013. */
 export function libDynamicDiag(what, loc) {
     return {
         code: "SC4006",
@@ -547,7 +617,7 @@ export function libDynamicDiag(what, loc) {
     };
 }
 /** SC4007 — a mapped export whose signature keeps type parameters: every
- * compiled function is one concrete signature (the SC2001 monomorphization
+ * compiled function is one concrete signature (the SC2005 monomorphization
  * rule, re-anchored at the profile entry). */
 export function libGenericExportDiag(exportName, loc) {
     return {
@@ -574,6 +644,96 @@ export function libSidecarDiag(detail, loc, hint) {
                 "module's exported declarations in source order",
     };
 }
+/** SC4010 — a tabled or designated type's members gather from MORE THAN
+ * ONE declaration site (interface merging, module augmentation, a
+ * same-name exported declaration in another module): the merged member
+ * order is a checker implementation detail no sidecar consumer can
+ * reproduce from source, and declaration order IS the wire contract. The
+ * teaching names every contributing site. */
+export function libSidecarMergedDiag(name, sites, loc) {
+    return {
+        code: "SC4010",
+        message: `contract sidecar: '${name}' gathers members from ${sites.length} declaration sites (${sites.join(", ")}) — a tabled type's order must derive from ONE declaration site`,
+        loc,
+        hint: `merged declaration order is a checker implementation detail that no sidecar consumer can reproduce from source — ` +
+            `collapse '${name}' into a single declaration and delete or rename the other site(s): ${sites.join(", ")}`,
+    };
+}
+/** SC4011 — a conditional or mapped type produces a tabled or designated
+ * type: type-level computation has no author-visible declaration order,
+ * so its member order cannot be the wire contract. */
+export function libSidecarComputedDiag(name, which, loc) {
+    return {
+        code: "SC4011",
+        message: `contract sidecar: '${name}' is produced by a ${which} type — a tabled or designated type needs literal, declaration-ordered members`,
+        loc,
+        hint: "table and arm order is wire contract read from the declaration site, and a computed type's member order is " +
+            "checker evaluation, not source — spell the union's arms (or the record's fields) literally in one declaration",
+    };
+}
+/** SC4012 — the library-mode host-contract violation trap a generated
+ * entry wrapper raises when an inbound bytes buffer's declared length falls
+ * outside the marshalling class's range (past 2^53−1 — no real buffer, so
+ * the host and the library disagree about the call contract). A RUNTIME
+ * code, never a compile-time refusal: it rides the structured trap-teaching
+ * message (library/trap-teaching.ts) the wrapper delivers through the panic
+ * sink, alongside the trapping export's C symbol and the profile's teaching
+ * and remediation text for this code when the profile supplies them. */
+export const LIB_INBOUND_BYTES_TRAP_CODE = "SC4012";
+/** SC4013–SC4019 — the library-mode runtime detected-trap family. RUNTIME
+ * codes like SC4012, never compile-time refusals: every trap the runtime
+ * DETECTS in library mode reaches the panic sink as a structured
+ * trap-teaching message (library/trap-teaching.ts's encoding), assembled by
+ * the library trap funnel (scr_library.c) with the baseline human line
+ * unchanged as field 0, one of these codes, and the trapping entry's
+ * symbol; a profile may overlay teaching/remediation text per code through
+ * the program TU's overlay table. The kinds are the runtime's ACTUAL trap
+ * sites, classified by the funnel over the sites' message conventions:
+ *
+ *   SC4013  escaped exception at an entry (the "Uncaught ..." renderer,
+ *           scr_library_check_exc — declared entries do not throw)
+ *   SC4014  range trap ("scriptc: RangeError: ...": array/typed-array
+ *           index out of bounds, pop() on empty, invalid count value)
+ *   SC4015  type trap ("scriptc: TypeError: ...": a keyed read miss on a
+ *           result type that cannot say undefined)
+ *   SC4016  syntax trap ("scriptc: SyntaxError: ...": invalid regular
+ *           expression at runtime construction)
+ *   SC4017  out of memory ("scriptc: out of memory")
+ *   SC4018  internal invariant failure ("scriptc: internal error: ...")
+ *   SC4019  other detected trap (the family's residual: environment
+ *           failures like getcwd/os lookups, unsupported regex
+ *           operations, circular-structure conversion, the RC audit)
+ *
+ * There is no arithmetic/div-by-zero kind: JS division never traps, so the
+ * runtime has no such site. The list here is the compile-time face of the
+ * family (profile overlay filtering); the funnel's classification table in
+ * scr_library.c is the runtime face — keep the two in step. */
+export const LIB_RUNTIME_TRAP_CODES = [
+    "SC4013",
+    "SC4014",
+    "SC4015",
+    "SC4016",
+    "SC4017",
+    "SC4018",
+    "SC4019",
+];
+/** SC4020 — a bare npm specifier in a library graph naming a package that
+ * fails the npm-static eligibility bar (own .d.ts, unminified shipped JS,
+ * no build-transform markers) or whose static compilation the preflight
+ * had to refuse. Library mode is STATIC-OR-REFUSE by construction: the
+ * island/dynamic tier the executable lane falls back to does not exist on
+ * this path (SC4006's ground), so the refusal names the package, the
+ * specific bar it missed, and the remedy. Carries the profile's teaching
+ * for this code when supplied. */
+export function libNpmIneligibleDiag(pkg, reason, loc, teaching) {
+    return {
+        code: "SC4020",
+        message: `library mode compiles npm packages statically or not at all, and '${pkg}' cannot compile statically: ${reason}`,
+        loc,
+        hint: "library artifacts have no island/dynamic tier to fall back to — vendor the code you need from the package as project modules, or drop the dependency" +
+            (teaching !== undefined ? ` — ${teaching}` : ""),
+    };
+}
 export function iceDiag(message, loc) {
     return {
         code: "SC9001",

package/dist/diagnostics/diagnostic.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/diagnostics/diagnostic.ts"],"names":[],"mappings":"AA8CA,MAAM,CAAC,MAAM,WAAW,GAAqC;IAC3D,MAAM,EAAE;QACN,OAAO,EAAE,iBAAiB;QAC1B,SAAS,EAAE,IAAI;QACf,IAAI,EACF,wEAAwE;YACxE,kEAAkE;YAClE,sEAAsE;YACtE,iEAAiE;YACjE,iEAAiE;YACjE,gEAAgE;YAChE,oEAAoE;YACpE,gEAAgE;YAChE,0EAA0E;KAC7E;IACD,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,uEAAuE;IACvE,oEAAoE;IACpE,2BAA2B;IAC3B,MAAM,EAAE;QACN,OAAO,EAAE,yBAAyB;QAClC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,uEAAuE;KAC9E;IACD,kEAAkE;IAClE,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,6BAA6B;IAC7B,MAAM,EAAE,EAAE,OAAO,EAAE,6BAA6B,EAAE,SAAS,EAAE,OAAO,EAAE;IACtE,MAAM,EAAE;QACN,OAAO,EAAE,6BAA6B;QACtC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,sDAAsD;KAC7D;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,EAAE;IACxD,MAAM,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,OAAO,EAAE;IAC3D,2EAA2E;IAC3E,MAAM,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,OAAO,EAAE;IAC5D,gEAAgE;IAChE,uDAAuD;IACvD,qEAAqE;IACrE,+DAA+D;IAC/D,sDAAsD;IACtD,wDAAwD;IACxD,qEAAqE;IACrE,wEAAwE;IACxE,wEAAwE;IACxE,yEAAyE;IACzE,kEAAkE;IAClE,gBAAgB;IAChB,MAAM,EAAE;QACN,OAAO,EAAE,kBAAkB;QAC3B,SAAS,EAAE,OAAO;KACnB;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE;IACrD,0EAA0E;IAC1E,yEAAyE;IACzE,eAAe;IACf,qEAAqE;IACrE,SAAS;IACT,MAAM,EAAE;QACN,OAAO,EAAE,4BAA4B;QACrC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gJAAgJ;KACvJ;IACD,wEAAwE;IACxE,gBAAgB;IAChB,MAAM,EAAE;QACN,OAAO,EAAE,0CAA0C;QACnD,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,+DAA+D;KACtE;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,yCAAyC,EAAE,SAAS,EAAE,IAAI,EAAE;IAC/E,MAAM,EAAE;QACN,OAAO,EAAE,4CAA4C;QACrD,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,yDAAyD;KAChE;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,wBAAwB,EAAE,SAAS,EAAE,OAAO,EAAE;IACjE,gEAAgE;IAChE,MAAM,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,mCAAmC;IACzF,mEAAmE;IACnE,0EAA0E;IAC1E,2EAA2E;IAC3E,kEAAkE;IAClE,mDAAmD;IACnD,MAAM,EAAE;QACN,OAAO,EAAE,qCAAqC;QAC9C,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,4HAA4H;KACnI;IACD,MAAM,EAAE;QACN,OAAO,EAAE,6BAA6B;QACtC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,2WAA2W;KAClX;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE;IACnD,MAAM,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE;IACrD,sEAAsE;IACtE,qEAAqE;IACrE,MAAM,EAAE,EAAE,OAAO,EAAE,+BAA+B,EAAE,SAAS,EAAE,OAAO,EAAE;IACxE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,gDAAgD;IACxG,MAAM,EAAE;QACN,OAAO,EAAE,gCAAgC;QACzC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,uGAAuG;KAC9G;IACD,MAAM,EAAE;QACN,OAAO,EAAE,sCAAsC;QAC/C,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,oQAAoQ;KAC3Q;IACD,yEAAyE;IACzE,sEAAsE;IACtE,6CAA6C;IAC7C,MAAM,EAAE;QACN,OAAO,EAAE,oBAAoB;QAC7B,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,wJAAwJ;KAC/J;IACD,MAAM,EAAE;QACN,OAAO,EAAE,+CAA+C;QACxD,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,oLAAoL;KAC3L;CACF,CAAC;AAEF;;;;;;;;;;;cAWc;AACd,MAAM,CAAC,MAAM,WAAW,GAA6E;IACnG,MAAM,EAAE,EAAE,IAAI,EAAE,4CAA4C,EAAE,MAAM,EAAE,aAAa,EAAE;IACrF,MAAM,EAAE,EAAE,IAAI,EAAE,oDAAoD,EAAE,MAAM,EAAE,aAAa,EAAE;IAC7F,MAAM,EAAE,EAAE,IAAI,EAAE,wDAAwD,EAAE,MAAM,EAAE,aAAa,EAAE;IACjG,MAAM,EAAE,EAAE,IAAI,EAAE,sEAAsE,EAAE,MAAM,EAAE,aAAa,EAAE;IAC/G,MAAM,EAAE,EAAE,IAAI,EAAE,2DAA2D,EAAE,MAAM,EAAE,cAAc,EAAE;IACrG,MAAM,EAAE,EAAE,IAAI,EAAE,+CAA+C,EAAE,MAAM,EAAE,cAAc,EAAE;IACzF,MAAM,EAAE,EAAE,IAAI,EAAE,mEAAmE,EAAE,MAAM,EAAE,cAAc,EAAE;IAC7G,MAAM,EAAE,EAAE,IAAI,EAAE,2FAA2F,EAAE,MAAM,EAAE,cAAc,EAAE;IACrI,MAAM,EAAE,EAAE,IAAI,EAAE,0DAA0D,EAAE,MAAM,EAAE,aAAa,EAAE;IACnG,MAAM,EAAE,EAAE,IAAI,EAAE,iEAAiE,EAAE,MAAM,EAAE,aAAa,EAAE;CAC3G,CAAC;AAEF,MAAM,UAAU,eAAe,CAC7B,IAA8C,EAC9C,GAAW,EACX,eAAwB,EACxB,YAAqB;IAErB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAE,CAAC;IACjC,MAAM,OAAO,GAAG,eAAe,IAAI,KAAK,CAAC,OAAO,CAAC;IACjD,MAAM,IAAI,GAAkB;QAC1B,IAAI;QACJ,OAAO,EAAE,GAAG,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,oBAAoB;QACzE,GAAG;QACH,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC;IACF,MAAM,IAAI,GAAG,YAAY,IAAI,KAAK,CAAC,IAAI,CAAC;IACxC,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,GAAW;IAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAC1C,CAAC;AAED;;;;wEAIwE;AACxE;;;;;2BAK2B;AAC3B,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AAC9D,CAAC;AAED;;;UAGU;AACV,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,GAAW;IAC1D,qEAAqE;IACrE,gEAAgE;IAChE,oEAAoE;IACpE,0EAA0E;IAC1E,oCAAoC;IACpC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,2CAA2C,EAAE,WAAW,CAAC,CAAC;IACxF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,0FAA0F,MAAM,EAAE;QAC3G,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;4CAI4C;AAC5C,MAAM,UAAU,qBAAqB,CAAC,QAAgB,EAAE,MAAc,EAAE,GAAW;IACjF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,yBAAyB,QAAQ,wBAAwB,MAAM,GAAG;QAC3E,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,UAAkB;IAC1D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,4EAA4E;YAC5E,6EAA6E;YAC7E,oCAAoC;QACtC,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC3C,IAAI,EAAE,0EAA0E;KACjF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,GAAW;IAC/D,wEAAwE;IACxE,wEAAwE;IACxE,wEAAwE;IACxE,mEAAmE;IACnE,yEAAyE;IACzE,uEAAuE;IACvE,4DAA4D;IAC5D,iCAAiC;IACjC,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,4FAA4F;YACrG,GAAG;YACH,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,8JAA8J;SACrK,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,mBAAmB,QAAQ,2BAA2B;YACtD,+HAA+H;QACjI,GAAG;QACH,SAAS,EAAE,IAAI;KAChB,CAAC;AACJ,CAAC;AAED;;;;;;;8EAO8E;AAC9E,MAAM,UAAU,uBAAuB,CAAC,QAAgB,EAAE,GAAW;IACnE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,2GAA2G;QAC/I,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,qMAAqM;KAC5M,CAAC;AACJ,CAAC;AAED;;;;;iCAKiC;AACjC,MAAM,UAAU,wBAAwB,CAAC,QAAgB,EAAE,GAAW;IACpE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,wSAAwS;QAC5U,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gKAAgK;KACvK,CAAC;AACJ,CAAC;AAED;;;;;;qDAMqD;AACrD,MAAM,UAAU,sBAAsB,CAAC,QAAgB,EAAE,GAAW;IAClE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,iMAAiM;QACrO,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,qKAAqK;KAC5K,CAAC;AACJ,CAAC;AAED;;;;;;yEAMyE;AACzE,MAAM,UAAU,cAAc,CAC5B,OAAe,EACf,GAAW,EACX,IAAa,EACb,YAAY,GAAG,KAAK;IAEpB,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,gEAAgE;IAChE,aAAa;IACb,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,YAAY;YACnB,CAAC,CAAC,IAAI,OAAO,2DAA2D;YACxE,CAAC,CAAC,IAAI,OAAO,yEAAyE;QACxF,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EACF,IAAI;YACJ,CAAC,YAAY;gBACX,CAAC,CAAC,kIAAkI;gBACpI,CAAC,CAAC,4HAA4H,CAAC;KACpI,CAAC;AACJ,CAAC;AAED;;;4CAG4C;AAC5C,MAAM,UAAU,uBAAuB,CACrC,YAAoB,EACpB,UAAkB,EAClB,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,+CAA+C,YAAY,WAAW,UAAU,IAAI;YACpF,+EAA+E;QACjF,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,uFAAuF;KAC9F,CAAC;AACJ,CAAC;AAED;;;;;6CAK6C;AAC7C,MAAM,UAAU,iBAAiB,CAC/B,YAAoB,EACpB,UAAkB,EAClB,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,6CAA6C,YAAY,WAAW,UAAU,IAAI;YAClF,0LAA0L;QAC5L,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,+OAA+O;KACtP,CAAC;AACJ,CAAC;AAED;;;;;;0CAM0C;AAC1C,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,GAAW;IAC7D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,YAAY,IAAI,0CAA0C;QACnE,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,uBAAuB,IAAI,qFAAqF;KACvH,CAAC;AACJ,CAAC;AAED;;;;;;;;2CAQ2C;AAC3C,MAAM,UAAU,wBAAwB,CAAC,OAAe,EAAE,GAAW;IACnE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,OAAO,+FAA+F;QAClH,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,8JAA8J;KACrK,CAAC;AACJ,CAAC;AAED;;;;8EAI8E;AAC9E,MAAM,UAAU,mBAAmB,CAAC,OAAe,EAAE,GAAW;IAC9D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,OAAO,0EAA0E;QAC7F,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,sGAAsG;KAC7G,CAAC;AACJ,CAAC;AAED;;;;;uDAKuD;AACvD,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,GAAW;IACjE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,OAAO,yEAAyE;QAC5F,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,0HAA0H;KACjI,CAAC;AACJ,CAAC;AAED;;;kCAGkC;AAClC,MAAM,UAAU,yBAAyB,CAAC,GAAW,EAAE,GAAW;IAChE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,cAAc,GAAG,qHAAqH;QAC/I,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,iIAAiI;KACxI,CAAC;AACJ,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,0BAA0B,CAAC,GAAW,EAAE,GAAW;IACjE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,oBAAoB,GAAG,iFAAiF;QACjH,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,iIAAiI;KACxI,CAAC;AACJ,CAAC;AAED;;qEAEqE;AACrE,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,GAAW;IAC5D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,kCAAkC,MAAM,EAAE;QACnD,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,kXAAkX;KACzX,CAAC;AACJ,CAAC;AAED;;;;;;8EAM8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,GAAW;IAC5D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,+BAA+B,MAAM,EAAE;QAChD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;8DAK8D;AAE9D;;+DAE+D;AAC/D,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,WAAmB;IAChE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,4BAA4B,MAAM,EAAE;QAC7C,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;KAC7C,CAAC;AACJ,CAAC;AAED;iCACiC;AACjC,MAAM,UAAU,uBAAuB,CAAC,UAAkB,EAAE,MAAc,EAAE,GAAW;IACrF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,yBAAyB,MAAM,EAAE;QACvE,GAAG;QACH,IAAI,EACF,iGAAiG;YACjG,qGAAqG;YACrG,8CAA8C;KACjD,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,0BAA0B,CACxC,UAAkB,EAClB,QAAgB,EAChB,MAAc,EACd,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,MAAM,QAAQ,IAAI,MAAM,EAAE;QAChE,GAAG;QACH,IAAI,EACF,kHAAkH;YAClH,wHAAwH;KAC3H,CAAC;AACJ,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,IAA2B,EAC3B,GAAW,EACX,QAAiB;IAEjB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,QAAQ,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,aAAa,gDAAgD;QACpJ,GAAG;QACH,IAAI,EACF,2DAA2D;YAC3D,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC;AAED;;;uEAGuE;AACvE,MAAM,UAAU,mBAAmB,CAAC,OAAe,EAAE,GAAW,EAAE,QAAiB;IACjF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,4EAA4E,OAAO,EAAE;QAC9F,GAAG;QACH,IAAI,EACF,uHAAuH;YACvH,qCAAqC;YACrC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC;AAED;4DAC4D;AAC5D,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,GAAW;IACtD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,IAAI,6GAA6G;QAC7H,GAAG;QACH,IAAI,EAAE,gGAAgG;KACvG,CAAC;AACJ,CAAC;AAED;;8CAE8C;AAC9C,MAAM,UAAU,oBAAoB,CAAC,UAAkB,EAAE,GAAW;IAClE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,sEAAsE;QAC5G,GAAG;QACH,IAAI,EACF,6EAA6E;YAC7E,0CAA0C;KAC7C,CAAC;AACJ,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,GAAW,EAAE,IAAa;IACvE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,qBAAqB,MAAM,EAAE;QACtC,GAAG;QACH,IAAI,EACF,IAAI;YACJ,0GAA0G;gBAC1G,4GAA4G;gBAC5G,gDAAgD;KACnD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAe,EAAE,GAAW;IAClD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,4BAA4B,OAAO,uBAAuB;QACnE,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/diagnostics/diagnostic.ts"],"names":[],"mappings":"AAwDA,MAAM,CAAC,MAAM,WAAW,GAAqC;IAC3D,MAAM,EAAE;QACN,OAAO,EAAE,iBAAiB;QAC1B,SAAS,EAAE,IAAI;QACf,IAAI,EACF,wEAAwE;YACxE,kEAAkE;YAClE,sEAAsE;YACtE,iEAAiE;YACjE,iEAAiE;YACjE,qEAAqE;YACrE,kEAAkE;YAClE,sDAAsD;YACtD,iEAAiE;YACjE,gDAAgD;KACnD;IACD,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,uEAAuE;IACvE,oEAAoE;IACpE,2BAA2B;IAC3B,MAAM,EAAE;QACN,OAAO,EAAE,yBAAyB;QAClC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,uEAAuE;KAC9E;IACD,kEAAkE;IAClE,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,6BAA6B;IAC7B,MAAM,EAAE,EAAE,OAAO,EAAE,6BAA6B,EAAE,SAAS,EAAE,OAAO,EAAE;IACtE,MAAM,EAAE;QACN,OAAO,EAAE,6BAA6B;QACtC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,sDAAsD;KAC7D;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,EAAE;IACxD,MAAM,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,OAAO,EAAE;IAC3D,2EAA2E;IAC3E,MAAM,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,OAAO,EAAE;IAC5D,gEAAgE;IAChE,uDAAuD;IACvD,qEAAqE;IACrE,+DAA+D;IAC/D,sDAAsD;IACtD,wDAAwD;IACxD,qEAAqE;IACrE,wEAAwE;IACxE,wEAAwE;IACxE,yEAAyE;IACzE,kEAAkE;IAClE,gBAAgB;IAChB,MAAM,EAAE;QACN,OAAO,EAAE,kBAAkB;QAC3B,SAAS,EAAE,OAAO;KACnB;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE;IACrD,0EAA0E;IAC1E,yEAAyE;IACzE,eAAe;IACf,qEAAqE;IACrE,SAAS;IACT,MAAM,EAAE;QACN,OAAO,EAAE,4BAA4B;QACrC,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gJAAgJ;KACvJ;IACD,wEAAwE;IACxE,gBAAgB;IAChB,MAAM,EAAE;QACN,OAAO,EAAE,0CAA0C;QACnD,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,+DAA+D;KACtE;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,yCAAyC,EAAE,SAAS,EAAE,IAAI,EAAE;IAC/E,MAAM,EAAE;QACN,OAAO,EAAE,4CAA4C;QACrD,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,yDAAyD;KAChE;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,wBAAwB,EAAE,SAAS,EAAE,OAAO,EAAE;IACjE,gEAAgE;IAChE,MAAM,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,mCAAmC;IACzF,mEAAmE;IACnE,0EAA0E;IAC1E,2EAA2E;IAC3E,kEAAkE;IAClE,mDAAmD;IACnD,MAAM,EAAE;QACN,OAAO,EAAE,qCAAqC;QAC9C,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,4HAA4H;KACnI;IACD,MAAM,EAAE;QACN,OAAO,EAAE,6BAA6B;QACtC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,2WAA2W;KAClX;IACD,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE;IACnD,MAAM,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE;IACrD,sEAAsE;IACtE,qEAAqE;IACrE,MAAM,EAAE,EAAE,OAAO,EAAE,+BAA+B,EAAE,SAAS,EAAE,OAAO,EAAE;IACxE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,gDAAgD;IACxG,MAAM,EAAE;QACN,OAAO,EAAE,gCAAgC;QACzC,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,uGAAuG;KAC9G;IACD,MAAM,EAAE;QACN,OAAO,EAAE,sCAAsC;QAC/C,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,oQAAoQ;KAC3Q;IACD,yEAAyE;IACzE,sEAAsE;IACtE,6CAA6C;IAC7C,MAAM,EAAE;QACN,OAAO,EAAE,oBAAoB;QAC7B,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,wJAAwJ;KAC/J;IACD,MAAM,EAAE;QACN,OAAO,EAAE,+CAA+C;QACxD,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,oLAAoL;KAC3L;CACF,CAAC;AAEF;;;;;;;;;;;cAWc;AACd,MAAM,CAAC,MAAM,WAAW,GAA6E;IACnG,wEAAwE;IACxE,gEAAgE;IAChE,uEAAuE;IACvE,uEAAuE;IACvE,qDAAqD;IACrD,MAAM,EAAE,EAAE,IAAI,EAAE,kJAAkJ,EAAE,MAAM,EAAE,aAAa,EAAE;IAC3L,MAAM,EAAE,EAAE,IAAI,EAAE,6FAA6F,EAAE,MAAM,EAAE,aAAa,EAAE;IACtI,MAAM,EAAE,EAAE,IAAI,EAAE,wDAAwD,EAAE,MAAM,EAAE,aAAa,EAAE;IACjG,MAAM,EAAE,EAAE,IAAI,EAAE,sEAAsE,EAAE,MAAM,EAAE,aAAa,EAAE;IAC/G,MAAM,EAAE,EAAE,IAAI,EAAE,kGAAkG,EAAE,MAAM,EAAE,aAAa,EAAE;IAC3I,MAAM,EAAE,EAAE,IAAI,EAAE,0DAA0D,EAAE,MAAM,EAAE,aAAa,EAAE;IACnG,MAAM,EAAE,EAAE,IAAI,EAAE,iFAAiF,EAAE,MAAM,EAAE,aAAa,EAAE;IAC1H,MAAM,EAAE,EAAE,IAAI,EAAE,8CAA8C,EAAE,MAAM,EAAE,aAAa,EAAE;IACvF,MAAM,EAAE,EAAE,IAAI,EAAE,gFAAgF,EAAE,MAAM,EAAE,aAAa,EAAE;IACzH,MAAM,EAAE,EAAE,IAAI,EAAE,2DAA2D,EAAE,MAAM,EAAE,cAAc,EAAE;IACrG,MAAM,EAAE,EAAE,IAAI,EAAE,+CAA+C,EAAE,MAAM,EAAE,cAAc,EAAE;IACzF,MAAM,EAAE,EAAE,IAAI,EAAE,mEAAmE,EAAE,MAAM,EAAE,cAAc,EAAE;IAC7G,MAAM,EAAE,EAAE,IAAI,EAAE,2FAA2F,EAAE,MAAM,EAAE,cAAc,EAAE;IACrI,MAAM,EAAE,EAAE,IAAI,EAAE,0DAA0D,EAAE,MAAM,EAAE,aAAa,EAAE;IACnG,MAAM,EAAE,EAAE,IAAI,EAAE,iEAAiE,EAAE,MAAM,EAAE,aAAa,EAAE;CAC3G,CAAC;AAEF,MAAM,UAAU,eAAe,CAC7B,IAA8C,EAC9C,GAAW,EACX,eAAwB,EACxB,YAAqB;IAErB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAE,CAAC;IACjC,MAAM,OAAO,GAAG,eAAe,IAAI,KAAK,CAAC,OAAO,CAAC;IACjD,MAAM,IAAI,GAAkB;QAC1B,IAAI;QACJ,OAAO,EAAE,GAAG,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,oBAAoB;QACzE,GAAG;QACH,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC;IACF,MAAM,IAAI,GAAG,YAAY,IAAI,KAAK,CAAC,IAAI,CAAC;IACxC,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,GAAW;IAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAC1C,CAAC;AAED;;;;wEAIwE;AACxE;;;;;2BAK2B;AAC3B,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AAC9D,CAAC;AAED;;;UAGU;AACV,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,GAAW;IAC1D,qEAAqE;IACrE,gEAAgE;IAChE,oEAAoE;IACpE,0EAA0E;IAC1E,oCAAoC;IACpC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,2CAA2C,EAAE,WAAW,CAAC,CAAC;IACxF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,0FAA0F,MAAM,EAAE;QAC3G,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;4CAI4C;AAC5C,MAAM,UAAU,qBAAqB,CAAC,QAAgB,EAAE,MAAc,EAAE,GAAW;IACjF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,yBAAyB,QAAQ,wBAAwB,MAAM,GAAG;QAC3E,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,UAAkB;IAC1D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,4EAA4E;YAC5E,6EAA6E;YAC7E,oCAAoC;QACtC,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC3C,IAAI,EAAE,0EAA0E;KACjF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,GAAW;IAC/D,wEAAwE;IACxE,wEAAwE;IACxE,wEAAwE;IACxE,mEAAmE;IACnE,yEAAyE;IACzE,uEAAuE;IACvE,4DAA4D;IAC5D,iCAAiC;IACjC,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,4FAA4F;YACrG,GAAG;YACH,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,8JAA8J;SACrK,CAAC;IACJ,CAAC;IACD,oEAAoE;IACpE,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,qEAAqE;IACrE,yEAAyE;IACzE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,mBAAmB,QAAQ,2BAA2B;YACtD,+HAA+H;QACjI,GAAG;QACH,SAAS,EAAE,IAAI;KAChB,CAAC;AACJ,CAAC;AAED;;;;;;;8EAO8E;AAC9E,MAAM,UAAU,uBAAuB,CAAC,QAAgB,EAAE,GAAW;IACnE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,2GAA2G;QAC/I,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,qMAAqM;KAC5M,CAAC;AACJ,CAAC;AAED;;;;;iCAKiC;AACjC,MAAM,UAAU,wBAAwB,CAAC,QAAgB,EAAE,GAAW;IACpE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,6XAA6X;QACja,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,gKAAgK;KACvK,CAAC;AACJ,CAAC;AAED;;;;;;;;uEAQuE;AACvE,MAAM,UAAU,sBAAsB,CAAC,QAAgB,EAAE,GAAW;IAClE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,2OAA2O;QAC/Q,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,sKAAsK;KAC7K,CAAC;AACJ,CAAC;AAED;;;;;uEAKuE;AACvE,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,GAAW;IACvE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,8IAA8I;QAClL,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,iKAAiK;KACxK,CAAC;AACJ,CAAC;AAED;;;;;;sEAMsE;AACtE,MAAM,UAAU,oBAAoB,CAAC,QAAgB,EAAE,GAAW;IAChE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,sEAAsE;QAC1G,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,6KAA6K;KACpL,CAAC;AACJ,CAAC;AAED;;;;;iEAKiE;AACjE,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,MAAc,EAAE,GAAW;IAC7E,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,QAAQ,yBAAyB,MAAM,EAAE;QACrE,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,4NAA4N;KACnO,CAAC;AACJ,CAAC;AAED;;;;;;yEAMyE;AACzE,MAAM,UAAU,cAAc,CAC5B,OAAe,EACf,GAAW,EACX,IAAa,EACb,YAAY,GAAG,KAAK;IAEpB,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,gEAAgE;IAChE,aAAa;IACb,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,YAAY;YACnB,CAAC,CAAC,IAAI,OAAO,2DAA2D;YACxE,CAAC,CAAC,IAAI,OAAO,yEAAyE;QACxF,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EACF,IAAI;YACJ,CAAC,YAAY;gBACX,CAAC,CAAC,kIAAkI;gBACpI,CAAC,CAAC,4HAA4H,CAAC;KACpI,CAAC;AACJ,CAAC;AAED;;;;;;wEAMwE;AACxE,MAAM,UAAU,uBAAuB,CACrC,YAAoB,EACpB,UAAkB,EAClB,GAAW,EACX,MAAe;IAEf,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,+DAA+D,YAAY,WAAW,UAAU,GAAG;YACnG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,qMAAqM;KAC5M,CAAC;AACJ,CAAC;AAED;;;;;6CAK6C;AAC7C,MAAM,UAAU,iBAAiB,CAC/B,YAAoB,EACpB,UAAkB,EAClB,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EACL,6CAA6C,YAAY,WAAW,UAAU,IAAI;YAClF,0LAA0L;QAC5L,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,+OAA+O;KACtP,CAAC;AACJ,CAAC;AAED;;;;;;0CAM0C;AAC1C,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,GAAW;IAC7D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,YAAY,IAAI,0CAA0C;QACnE,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,uBAAuB,IAAI,qFAAqF;KACvH,CAAC;AACJ,CAAC;AAED;;;;;;;;2CAQ2C;AAC3C,MAAM,UAAU,wBAAwB,CAAC,OAAe,EAAE,GAAW;IACnE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,OAAO,+FAA+F;QAClH,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,8JAA8J;KACrK,CAAC;AACJ,CAAC;AAED;;;;8EAI8E;AAC9E,MAAM,UAAU,mBAAmB,CAAC,OAAe,EAAE,GAAW;IAC9D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,OAAO,0EAA0E;QAC7F,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,sGAAsG;KAC7G,CAAC;AACJ,CAAC;AAED;;;;;uDAKuD;AACvD,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,GAAW;IACjE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,OAAO,yEAAyE;QAC5F,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,0HAA0H;KACjI,CAAC;AACJ,CAAC;AAED;;;kCAGkC;AAClC,MAAM,UAAU,yBAAyB,CAAC,GAAW,EAAE,GAAW;IAChE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,cAAc,GAAG,qHAAqH;QAC/I,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,iIAAiI;KACxI,CAAC;AACJ,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,0BAA0B,CAAC,GAAW,EAAE,GAAW;IACjE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,oBAAoB,GAAG,iFAAiF;QACjH,GAAG;QACH,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,iIAAiI;KACxI,CAAC;AACJ,CAAC;AAED;;qEAEqE;AACrE,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,GAAW;IAC5D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,kCAAkC,MAAM,EAAE;QACnD,GAAG;QACH,SAAS,EAAE,OAAO;QAClB,IAAI,EAAE,kXAAkX;KACzX,CAAC;AACJ,CAAC;AAED;;;;;;8EAM8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,GAAW;IAC5D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,+BAA+B,MAAM,EAAE;QAChD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;8DAK8D;AAE9D;;+DAE+D;AAC/D,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,WAAmB;IAChE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,4BAA4B,MAAM,EAAE;QAC7C,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;KAC7C,CAAC;AACJ,CAAC;AAED;iCACiC;AACjC,MAAM,UAAU,uBAAuB,CAAC,UAAkB,EAAE,MAAc,EAAE,GAAW;IACrF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,yBAAyB,MAAM,EAAE;QACvE,GAAG;QACH,IAAI,EACF,iGAAiG;YACjG,qGAAqG;YACrG,8CAA8C;KACjD,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,0BAA0B,CACxC,UAAkB,EAClB,QAAgB,EAChB,MAAc,EACd,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,MAAM,QAAQ,IAAI,MAAM,EAAE;QAChE,GAAG;QACH,IAAI,EACF,kHAAkH;YAClH,wHAAwH;KAC3H,CAAC;AACJ,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,IAA2B,EAC3B,GAAW,EACX,QAAiB;IAEjB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,QAAQ,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,aAAa,gDAAgD;QACpJ,GAAG;QACH,IAAI,EACF,2DAA2D;YAC3D,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC;AAED;;;uEAGuE;AACvE,MAAM,UAAU,mBAAmB,CAAC,OAAe,EAAE,GAAW,EAAE,QAAiB;IACjF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,4EAA4E,OAAO,EAAE;QAC9F,GAAG;QACH,IAAI,EACF,uHAAuH;YACvH,qCAAqC;YACrC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC;AAED;;;qEAGqE;AACrE,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,GAAW;IACtD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,GAAG,IAAI,6GAA6G;QAC7H,GAAG;QACH,IAAI,EAAE,gGAAgG;KACvG,CAAC;AACJ,CAAC;AAED;;8CAE8C;AAC9C,MAAM,UAAU,oBAAoB,CAAC,UAAkB,EAAE,GAAW;IAClE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mBAAmB,UAAU,sEAAsE;QAC5G,GAAG;QACH,IAAI,EACF,6EAA6E;YAC7E,0CAA0C;KAC7C,CAAC;AACJ,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,GAAW,EAAE,IAAa;IACvE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,qBAAqB,MAAM,EAAE;QACtC,GAAG;QACH,IAAI,EACF,IAAI;YACJ,0GAA0G;gBAC1G,4GAA4G;gBAC5G,gDAAgD;KACnD,CAAC;AACJ,CAAC;AAED;;;;;6CAK6C;AAC7C,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,KAAwB,EAAE,GAAW;IACtF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,sBAAsB,IAAI,0BAA0B,KAAK,CAAC,MAAM,uBAAuB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iEAAiE;QACjL,GAAG;QACH,IAAI,EACF,mHAAmH;YACnH,aAAa,IAAI,uEAAuE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KAC7G,CAAC;AACJ,CAAC;AAED;;sDAEsD;AACtD,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,KAA+B,EAAE,GAAW;IAC/F,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,sBAAsB,IAAI,sBAAsB,KAAK,gFAAgF;QAC9I,GAAG;QACH,IAAI,EACF,6GAA6G;YAC7G,+GAA+G;KAClH,CAAC;AACJ,CAAC;AACD;;;;;;;wEAOwE;AACxE,MAAM,CAAC,MAAM,2BAA2B,GAAG,QAAQ,CAAC;AAEpD;;;;;;;;;;;;;;;;;;;;;;;;;;;+DA2B+D;AAC/D,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACA,CAAC;AACX;;;;;;;kCAOkC;AAClC,MAAM,UAAU,oBAAoB,CAAC,GAAW,EAAE,MAAc,EAAE,GAAW,EAAE,QAAiB;IAC9F,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,qEAAqE,GAAG,gCAAgC,MAAM,EAAE;QACzH,GAAG;QACH,IAAI,EACF,sJAAsJ;YACtJ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAe,EAAE,GAAW;IAClD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,4BAA4B,OAAO,uBAAuB;QACnE,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lib-contract.d.ts

@@ -31,9 +31,14 @@ export type ContractTypeShape = {
 } | {
     k: "union";
     parts: ContractTypeShape[];
-} | {
+}
+/** `computed` marks type-level computation (conditional/mapped types):
+ * the members such a type produces have no author-visible declaration
+ * order, so a tabled/designated one refuses with its own teaching. */
+ | {
     k: "unsupported";
     text: string;
+    computed?: "conditional" | "mapped";
 };
 export interface ContractField {
     name: string;
@@ -66,8 +71,19 @@ export interface ContractConst<T> {
     loc: SrcLoc;
 }
 export interface ContractFacts {
-    /** Exported interface/type-alias declarations, statement order. */
+    /** Exported interface/type-alias declarations: the entry module's in
+     * statement order, then the other modules' (canonical path order, each
+     * module's in statement order). One entry per name — a later same-name
+     * exported declaration lands in `multiSiteTypes` instead. */
     types: ContractTypeDecl[];
+    /** Type names whose members gather from more than one declaration site
+     * (see the module comment). `sites` are `file:line`, in scan order
+     * (entry first, then path-ordered modules) — the emitter's refusal
+     * names every site. */
+    multiSiteTypes: {
+        name: string;
+        sites: string[];
+    }[];
     /** Exported function declarations, statement order. */
     functions: ContractFnDecl[];
     modelUnbound: ContractConst<string[]> | null;
@@ -90,7 +106,9 @@ export interface ContractFacts {
  * sidecar schema can express. Anything else lands as `unsupported` with
  * the source text preserved for the refusal message. */
 export declare function typeShape(file: ts.SourceFile, node: ts.TypeNode): ContractTypeShape;
-/** Everything the sidecar projection needs from the entry module's syntax
- * tree, in statement (declaration) order. Call before the frontend is
- * disposed. */
-export declare function entryContractFacts(entry: ts.SourceFile): ContractFacts;
+/** Everything the sidecar projection needs from the program's syntax
+ * trees: functions and convention consts from the entry module, type
+ * declarations from the whole graph (entry first, other modules in
+ * canonical path order), each in statement (declaration) order. Call
+ * before the frontend is disposed. */
+export declare function entryContractFacts(entry: ts.SourceFile, modules?: readonly ts.SourceFile[]): ContractFacts;