@scriptc/compiler 0.1.6 → 0.2.0

package/dist/library/prepare.js

@@ -0,0 +1,584 @@
+import { dirname, resolve } from "node:path";
+import { moduleWasiUnavailableSurface, targetRefusalDiag } from "../backend/target-diagnostics.js";
+import { checkerPanicDiag, libAsyncExportDiag, libAsyncSurfaceDiag, libExportUnresolvedDiag, libGenericExportDiag, libIntBoundaryDiag, libNpmIneligibleDiag, libSidecarDiag, libUnmappableSignatureDiag, iceDiag, isCheckerPanic, LIB_INBOUND_BYTES_TRAP_CODE, LIB_RUNTIME_TRAP_CODES } from "../diagnostics/diagnostic.js";
+import { checkLibraryIntegerSlots, classSeed, hasIntSlots, numberCarrierKind } from "./int-infer.js";
+import { profileRemediation, profileTeaching } from "./library-profile.js";
+import { decorateLibraryRefusals, evaluateLibraryFences } from "./fence-eval.js";
+import { assembleTrapTeaching } from "./trap-teaching.js";
+import { buildSidecar, canonicalModuleGraph, canonicalPath, libraryIdentityHashes } from "./sidecar.js";
+import { validateSidecar } from "./sidecar-validate.js";
+import { moduleLibAsyncSurface, moduleLibNondeterministicSurface } from "../ir/ir.js";
+import { validateModule } from "../ir/validate.js";
+/** The marshalling-class fit over IR types (design §4.2 + the ratified
+ * integer plumbing classes): number is every f64-backed class, bool/string
+ * map directly, bytes is the u8 element kind. */
+function libClassFits(cls, t) {
+    switch (cls) {
+        case "bool":
+            return t.kind === "bool";
+        case "string":
+            return t.kind === "string";
+        case "bytes":
+            return t.kind === "bytes" && t.elem === "u8";
+        default: // f64 and the u8/u32/i32 plumbing classes
+            return t.kind === "f64";
+    }
+}
+/** Resolve the profile's export map against the entry module — SC4002/
+ * SC4004/SC4007 from the declaration facts, SC4003 from the lowered IR
+ * signatures — and land the library section on the module. */
+function resolveLibrarySection(profile, entryInfo, mod, entryPath) {
+    const diagnostics = [];
+    const entryLoc = { file: entryPath, start: 0, end: 0 };
+    const fnByName = new Map(mod.functions.map((f) => [f.name, f]));
+    const exports = [];
+    for (const e of profile.exports) {
+        const info = entryInfo.get(e.export);
+        if (info === undefined) {
+            diagnostics.push(libExportUnresolvedDiag(e.export, "the entry module has no exported function declaration by that name", entryLoc));
+            continue;
+        }
+        if (info.generic) {
+            diagnostics.push(libGenericExportDiag(e.export, info.loc));
+            continue;
+        }
+        if (info.async || info.generator) {
+            diagnostics.push(libAsyncExportDiag(e.export, info.async ? "async" : "generator", info.loc));
+            continue;
+        }
+        const fn = fnByName.get(e.export);
+        if (fn === undefined) {
+            diagnostics.push(libExportUnresolvedDiag(e.export, "the export did not lower to a compiled function", info.loc));
+            continue;
+        }
+        if (fn.params.length !== e.params.length) {
+            diagnostics.push(libUnmappableSignatureDiag(e.export, "signature", `has ${fn.params.length} parameter(s) but the profile declares ${e.params.length} marshalling class(es)`, info.loc));
+            continue;
+        }
+        let bad = false;
+        e.params.forEach((cls, i) => {
+            if (!libClassFits(cls, fn.params[i].type)) {
+                bad = true;
+                diagnostics.push(libUnmappableSignatureDiag(e.export, `parameter ${i + 1} ('${fn.params[i].name}')`, `has IR type '${fn.params[i].type.kind}', which does not fit the declared marshalling class '${cls}'`, info.loc));
+            }
+        });
+        if (e.returns === "void" ? fn.returnType.kind !== "void" : !libClassFits(e.returns, fn.returnType)) {
+            bad = true;
+            diagnostics.push(libUnmappableSignatureDiag(e.export, "the return", `has IR type '${fn.returnType.kind}', which does not fit the declared marshalling class '${e.returns}'`, info.loc));
+        }
+        if (!bad) {
+            const resolvedExport = {
+                symbol: e.symbol,
+                fnName: e.export,
+                params: e.params,
+                returns: e.returns,
+            };
+            if (e.params.includes("bytes")) {
+                // The wrapper's one host-contract trap (an inbound bytes length
+                // past the marshalling class's range) is assembled HERE, once, as
+                // the structured trap-teaching message: the profile's teaching for
+                // SC4012 (or the mode's default text), the code, the trapping
+                // export's C symbol exactly as the host linked it, and the
+                // profile's remediation when supplied — so the backend emits the
+                // same bytes and the sink sees one canonical message.
+                resolvedExport.inboundBytesTrap = assembleTrapTeaching(profileTeaching(profile, LIB_INBOUND_BYTES_TRAP_CODE) ??
+                    "scriptc: library inbound bytes length out of range\n", LIB_INBOUND_BYTES_TRAP_CODE, e.symbol, profileRemediation(profile, LIB_INBOUND_BYTES_TRAP_CODE));
+            }
+            if (e.params.includes("i64") || e.params.includes("u64")) {
+                // The sibling host-contract trap for inbound declared-integer
+                // parameters (ask 4): a value past ±(2^53−1) cannot ride f64
+                // exactly, and silent rounding is a coercion the author never
+                // wrote. Same code (SC4012 — one host-contract story), same
+                // assembly-once discipline.
+                resolvedExport.inboundIntTrap = assembleTrapTeaching(profileTeaching(profile, LIB_INBOUND_BYTES_TRAP_CODE) ??
+                    "scriptc: library inbound integer parameter out of range\n", LIB_INBOUND_BYTES_TRAP_CODE, e.symbol, profileRemediation(profile, LIB_INBOUND_BYTES_TRAP_CODE));
+            }
+            exports.push(resolvedExport);
+        }
+    }
+    if (diagnostics.length > 0)
+        return { diagnostics };
+    // The runtime detected-trap overlay rows: one per family code the profile
+    // declares teaching or remediation text for, in the registry family's
+    // order. LLVM emits these rows as the program TU's overlay table,
+    // which the runtime uses to assemble the sink message. (SC4012 stays compile-time
+    // assembled into the wrapper's message above and never reaches the
+    // funnel's assembly path.)
+    const trapOverlays = [];
+    for (const code of LIB_RUNTIME_TRAP_CODES) {
+        const teaching = profileTeaching(profile, code);
+        const remediation = profileRemediation(profile, code);
+        if (teaching !== undefined || remediation !== undefined) {
+            trapOverlays.push({
+                code,
+                ...(teaching !== undefined ? { teaching } : {}),
+                ...(remediation !== undefined ? { remediation } : {}),
+            });
+        }
+    }
+    const lib = {
+        profileName: profile.name,
+        prefix: profile.prefix,
+        initSymbol: profile.initSymbol,
+        sinkRegisterSymbol: profile.sinkRegisterSymbol,
+        collectSymbol: profile.collectSymbol,
+        resultResetSymbol: profile.resultResetSymbol,
+        threadInstances: profile.instancePerThread,
+        // Host-callback channels: declaration order is the runtime slot
+        // assignment, and the unregistered-call trap text is assembled HERE,
+        // once, for consistent constant bytes (a DETECTED
+        // trap: the funnel classifies the "scriptc: library callback "
+        // prefix as SC4025 and names the entry the host called — the entry
+        // is runtime knowledge, so no compile-time SC4012-style assembly
+        // can carry it). Both fields stay absent on callback-free profiles
+        // (the byte-identity guarantee).
+        exports,
+        trapOverlays,
+    };
+    if (profile.callbacks.length > 0) {
+        lib.callbackRegisterSymbol = profile.callbackRegisterSymbol;
+        lib.callbacks = profile.callbacks.map((cb, slot) => ({
+            name: cb.name, slot, params: [...cb.params], returns: cb.returns,
+            unregisteredTrap: `scriptc: library callback '${cb.name}' invoked before registration\n`,
+        }));
+    }
+    return { lib };
+}
+/** The export map's integer-slot obligations (ask 4): i64/u64 params and
+ * returns become declared boundary slots keyed `exports.<name>.params[i]`
+ * / `exports.<name>.return`; the u8/u32/i32 plumbing classes contribute
+ * their proven inbound shapes as parameter seeds (the wrapper's coercion
+ * contract), tightening the intraprocedural analysis at zero declaration
+ * cost. Sidecar-declared slots (record fields, msg arms, helper params
+ * and returns) merge into the same config at sidecar build. */
+function libraryIntSlotConfig(profile) {
+    const cfg = { fns: new Map(), records: new Map() };
+    for (const e of profile.exports) {
+        const params = e.params.map((c) => (c === "i64" || c === "u64" ? c : null));
+        const ret = e.returns === "i64" || e.returns === "u64" ? e.returns : null;
+        const paramSeeds = e.params.map((c) => (c === "u8" || c === "u32" || c === "i32" ? classSeed(c) : null));
+        if (params.every((p) => p === null) && ret === null && paramSeeds.every((s) => s === null))
+            continue;
+        const slots = {
+            fnName: e.export,
+            params,
+            paramPaths: e.params.map((c, i) => (c === "i64" || c === "u64" ? `exports.${e.export}.params[${i}]` : null)),
+            ret,
+            retPath: ret !== null ? `exports.${e.export}.return` : null,
+            paramSeeds,
+        };
+        cfg.fns.set(e.export, slots);
+    }
+    return cfg;
+}
+/** Match the sidecar syntax's exact structural type projection against the
+ * frontend's interned IR registries. The pattern deliberately mirrors
+ * ShapeRegistry's identity: every field name and recursively mapped field
+ * type participates. Tagged payload records additionally accept omission
+ * of their `kind` field because the lowering may carry that discriminant
+ * only in the surrounding union tag. */
+function sidecarRecordMatcher(mod) {
+    const records = new Map((mod.records ?? []).map((shape) => [shape.id, shape]));
+    const unions = new Map((mod.unions ?? []).map((union) => [union.id, union]));
+    const recordMatches = (pattern, shape) => {
+        if (shape.tuple === true || shape.indexValue !== undefined)
+            return false;
+        const variants = [pattern.fields];
+        if (pattern.kindMayBeOmitted === true) {
+            variants.push(pattern.fields.filter((field) => field.name !== "kind"));
+        }
+        return variants.some((fields) => fields.length === shape.fields.length &&
+            fields.every((field) => {
+                const actual = shape.fields.find((candidate) => candidate.name === field.name);
+                return actual !== undefined && typeMatches(field.type, actual.type);
+            }));
+    };
+    const unionMatches = (patterns, actual) => {
+        if (patterns.length !== actual.length)
+            return false;
+        const used = new Set();
+        const visit = (index) => {
+            if (index === patterns.length)
+                return true;
+            for (let i = 0; i < actual.length; i++) {
+                if (used.has(i) || !typeMatches(patterns[index], actual[i]))
+                    continue;
+                used.add(i);
+                if (visit(index + 1))
+                    return true;
+                used.delete(i);
+            }
+            return false;
+        };
+        return visit(0);
+    };
+    const typeMatches = (pattern, actual) => {
+        switch (pattern.kind) {
+            case "f64":
+            case "string":
+            case "bool":
+            case "nullT":
+            case "undefinedT":
+            case "dyn":
+                return actual.kind === pattern.kind;
+            case "bytes":
+                return actual.kind === "bytes" && actual.elem === pattern.elem;
+            case "array":
+                return actual.kind === "array" && typeMatches(pattern.elem, actual.elem);
+            case "record": {
+                if (actual.kind !== "record")
+                    return false;
+                const shape = records.get(actual.shapeId);
+                return shape !== undefined && recordMatches(pattern, shape);
+            }
+            case "union": {
+                if (actual.kind !== "union")
+                    return false;
+                const union = unions.get(actual.unionId);
+                return union !== undefined && unionMatches(pattern.arms, union.arms);
+            }
+        }
+    };
+    return (pattern, shape) => recordMatches(pattern, shape);
+}
+/** Merge the sidecar-resolved integer slots (ask 4) into the inference
+ * config: helper slots key by function name and IR parameter index (the
+ * projection already shifted past the model receiver); record-field
+ * slots map onto every interned IR shape whose complete structural field
+ * signature matches the projected record's. Shapes intern structurally,
+ * so a same-shaped second type shares the obligation. DECLARED paths with
+ * the same class coalesce while retaining every source path for verdicts;
+ * differing classes refuse because one lowered field cannot seed or check
+ * two distinct class contracts without arm provenance. A
+ * record fact that matches no shape binds nothing: no compiled code
+ * constructs the type (the contract surface — init/update/subscriptions
+ * and every helper — is force-lowered whenever integer slots are
+ * declared, so this is genuine vacuity, not dead-stripping). */
+function mergeSidecarIntSlots(cfg, facts, mod) {
+    const recordMatches = sidecarRecordMatcher(mod);
+    for (const h of facts.helpers) {
+        const fn = mod.functions.find((f) => f.name === h.fnName);
+        const arity = Math.max(fn?.params.length ?? 0, (h.index ?? 0) + 1);
+        let slots = cfg.fns.get(h.fnName);
+        if (slots === undefined) {
+            slots = {
+                fnName: h.fnName,
+                params: new Array(arity).fill(null),
+                paramPaths: new Array(arity).fill(null),
+                ret: null,
+                retPath: null,
+                paramSeeds: new Array(arity).fill(null),
+            };
+            cfg.fns.set(h.fnName, slots);
+        }
+        if (h.kind === "param") {
+            const i = h.index;
+            while (slots.params.length <= i) {
+                slots.params.push(null);
+                slots.paramPaths.push(null);
+                slots.paramSeeds.push(null);
+            }
+            slots.params[i] = h.cls;
+            slots.paramPaths[i] = h.path;
+        }
+        else {
+            slots.ret = h.cls;
+            slots.retPath = h.path;
+        }
+    }
+    for (const r of facts.records) {
+        for (const shape of mod.records ?? []) {
+            if (!recordMatches(r.shape, shape))
+                continue;
+            const target = shape.fields.find((f) => f.name === r.targetField);
+            if (target === undefined || numberCarrierKind(target.type, mod) === null)
+                continue;
+            let m = cfg.records.get(shape.id);
+            if (m === undefined) {
+                m = new Map();
+                cfg.records.set(shape.id, m);
+            }
+            const existing = m.get(r.targetField);
+            if (existing !== undefined && existing.cls !== r.cls) {
+                const paths = [
+                    ...existing.paths.map((path) => `'${path}' (${existing.cls})`),
+                    `'${r.path}' (${r.cls})`,
+                ];
+                return {
+                    ok: false,
+                    diagnostic: libSidecarDiag(`integer slots ${paths.join(" and ")} collapse to the same lowered record field '${r.targetField}' — their proof obligations cannot be kept distinct`, r.loc, "kind-tagged union arms and structurally identical records may share one lowered shape — same-class declarations coalesce, but differing classes require distinct structural shapes or at most one classified slot"),
+                };
+            }
+            if (existing === undefined) {
+                m.set(r.targetField, { cls: r.cls, paths: [r.path] });
+            }
+            else if (!existing.paths.includes(r.path)) {
+                existing.paths.push(r.path);
+            }
+        }
+    }
+    return { ok: true, config: cfg };
+}
+export function prepareLibrary(profile, profilePath, compilerVersion, buildPlatform, createFrontend, timing = () => { }) {
+    const entryPath = profile.entry;
+    // Bare npm specifiers in a library graph take the STATIC-OR-REFUSE
+    // posture: "lib" runs the same auto-detection and eligibility bar as
+    // the executable lane's --npm-static (own .d.ts, unminified shipped JS,
+    // no build-transform markers), automatically — the library path has no
+    // island/dynamic tier to offer. Explicit profile npm_static entries may
+    // also attempt source inference; any failed attempt remains a refusal.
+    const fe = createFrontend(entryPath, "lib", undefined, profile.npmStatic);
+    timing("frontend-load", {
+        entry_bytes: fe.entryText().length,
+        source_files: fe.sourceTexts().size,
+    });
+    let lowered;
+    let sourceTexts;
+    let entryInfo;
+    let contractFacts;
+    try {
+        // Every library refusal leaves through the ask-5 teaching decoration:
+        // profile text attaches by code, manifest id, or fence coverage as the
+        // attributed note (the SC4004/SC4005 rider generalized).
+        const fail = (diagnostics) => ({
+            ok: false,
+            diagnostics: decorateLibraryRefusals(diagnostics, profile),
+            sourceTexts: fe.sourceTexts(),
+        });
+        // The npm verdicts FIRST: whatever the shared frontend would have
+        // served from the island — an eligibility miss, an untyped install, a
+        // preflight offender inside a package's files, a dropped inferred
+        // surface — refuses here with the package and the specific bar it
+        // missed. Checked before the general preflight, whose diagnostics for
+        // these same imports speak executable-lane teachings (SC1010/SC0001 at
+        // the unresolvable edge); the library answer is this one.
+        const npmRefused = fe.npmStatic.filter((s) => s.status === "fallback");
+        if (npmRefused.length > 0) {
+            return fail(npmRefused.map((s) => libNpmIneligibleDiag(s.package, 
+            // The one shared offender reason that narrates the executable
+            // lane's fallback loses that clause here — no island exists on
+            // this path to serve anything.
+            (s.detail ?? "its static compilation was refused").replace("; the island serves the package", ""), fe.npmImportSites.get(s.package) ?? { file: entryPath, start: 0, end: 0 })));
+        }
+        if (fe.preflight.length > 0)
+            return fail(fe.preflight);
+        contractFacts = profile.sidecar !== null ? fe.entryContract() : null;
+        // Ask 4, contract-surface reachability: when the sidecar declares ANY
+        // integer slot, the designated init/update/subscriptions exports and
+        // every contract helper (model-first exported function) seed lowering
+        // too. They are attested surface — a declared record-field or msg-arm
+        // class obligates EVERY write those bodies perform, and a declared
+        // helper param is checked at their internal call sites — so the
+        // attestation must cover COMPILED bodies, never a dead-stripped
+        // vacuity (the bug this closes: a model-slot declaration whose only
+        // writers were dead-stripped attested without any proof).
+        const contractSurfaceRoots = [];
+        if (profile.sidecar !== null && profile.sidecar.integerSlots.length > 0) {
+            const sc = profile.sidecar;
+            const fnNames = new Set(contractFacts.functions.filter((f) => !f.generic).map((f) => f.name));
+            for (const name of [sc.initExport, sc.updateExport, sc.subscriptionsExport]) {
+                if (fnNames.has(name))
+                    contractSurfaceRoots.push(name);
+            }
+            for (const fn of contractFacts.functions) {
+                if (fn.generic)
+                    continue;
+                const first = fn.params[0];
+                if (first !== undefined && first.shape !== null && first.shape.k === "ref" && first.shape.name === sc.model) {
+                    contractSurfaceRoots.push(fn.name);
+                }
+            }
+        }
+        // The profile's host-callback channels ride the FFI import machinery:
+        // each channel is a signature-only ambient binding whose direct calls
+        // lower to ffiCall nodes (the classes are a subset of the FFI's), and
+        // `libraryCallbacks` flips the recognition to the library flavor —
+        // SC4024 diagnostics, unused channels legal, undeclared references
+        // refused with the callback teaching. The library lane never loads a
+        // native-FFI manifest, so the channel set owns the surface outright.
+        const cbImports = profile.callbacks.map((cb) => ({
+            name: cb.name,
+            symbol: cb.name,
+            params: [...cb.params],
+            returns: cb.returns,
+        }));
+        const integerSlotRoots = [];
+        for (const slot of profile.sidecar?.integerSlots ?? []) {
+            const name = /^helpers\.([^.]+)\.(?:params\[\d+\]|return)$/.exec(slot.slot)?.[1];
+            if (name !== undefined)
+                integerSlotRoots.push(name);
+        }
+        try {
+            lowered = fe.lower({
+                dynamic: false,
+                targetPlatform: buildPlatform,
+                ...(cbImports.length > 0 ? { ffiImports: cbImports } : {}),
+                ...(cbImports.length > 0 ? { libraryCallbacks: true } : {}),
+                // The profile-mapped exports are called from OUTSIDE the graph:
+                // they seed reachability beside the entry's top level (an
+                // executable build would dead-strip an uncalled export). A helper
+                // with a declared integer slot (ask 4) seeds too: its attestation
+                // must cover a COMPILED body, never a dead-stripped vacuity — the
+                // sidecar advertises the slot's class, so the proof must exist.
+                libRoots: [
+                    ...new Set([
+                        ...profile.exports.map((e) => e.export),
+                        ...integerSlotRoots,
+                        ...contractSurfaceRoots,
+                    ]),
+                ],
+            });
+            timing("lower", {
+                lib_roots: profile.exports.length + contractSurfaceRoots.length,
+            });
+        }
+        catch (e) {
+            if (!isCheckerPanic(e))
+                throw e;
+            return fail([checkerPanicDiag(e.message.split("\n", 1)[0], { file: entryPath, start: 0, end: 0 })]);
+        }
+        if (lowered.module === null)
+            return fail(lowered.diagnostics);
+        entryInfo = fe.entryExports();
+        sourceTexts = fe.sourceTexts();
+    }
+    finally {
+        fe.dispose();
+    }
+    const mod = lowered.module;
+    timing("frontend-dispose");
+    const fail = (diagnostics) => ({
+        ok: false,
+        diagnostics: decorateLibraryRefusals(diagnostics, profile),
+        sourceTexts,
+    });
+    // Export resolution first (SC4002/SC4003/SC4004/SC4007 anchor at the
+    // mapped declaration — a mapped async export reports as SC4004, not the
+    // graph-wide gate), then the async_free requirement (ratified, SC4005),
+    // then the profile's determinism fences (ask 5, SC4008) over the same
+    // compiled graph the attestation scan reads: all refused before anything
+    // is emitted, so the narrowed library link set below is structural fact.
+    const resolved = resolveLibrarySection(profile, entryInfo, mod, entryPath);
+    if ("diagnostics" in resolved)
+        return fail(resolved.diagnostics);
+    const asyncSurface = moduleLibAsyncSurface(mod);
+    if (asyncSurface !== null) {
+        return fail([libAsyncSurfaceDiag(asyncSurface.surface, asyncSurface.loc)]);
+    }
+    const fenced = evaluateLibraryFences(mod, profile);
+    if (fenced.length > 0)
+        return fail(fenced);
+    mod.lib = resolved.lib;
+    if (buildPlatform === "wasi") {
+        const unavailable = moduleWasiUnavailableSurface(mod);
+        if (unavailable !== null)
+            return fail([targetRefusalDiag("wasm32-wasi", unavailable.surface, unavailable.loc)]);
+    }
+    // Ask 4's declared integer slots: the export map's i64/u64 classes
+    // seed the config here; sidecar-declared slots (record fields, msg
+    // arms, helper params/returns) merge in after the projection resolves
+    // them below.
+    let intCfg = libraryIntSlotConfig(profile);
+    // The ask-2 contract sidecar rides the same invocation. Identity first
+    // (schema §2's worked build_id definition over compiler version, profile
+    // bytes, and the sorted canonical module graph; source_hash per the
+    // profile's "module-graph" contract) — the u64 lands on the IR so native
+    // archive assembly emits the identity getters from the ONE value the
+    // sidecar records (V12's coherence by construction), then the projection into
+    // the schema (declaration orders from the AST) and the V1–V14
+    // self-check before anything is written.
+    let sidecarJson = null;
+    if (profile.sidecar !== null) {
+        const rootDir = dirname(resolve(profilePath));
+        const modules = canonicalModuleGraph(rootDir, sourceTexts);
+        const { buildId, sourceHash } = libraryIdentityHashes(compilerVersion, profile.profileBytes, modules);
+        mod.lib.identity = {
+            buildIdSymbol: profile.sidecar.buildIdSymbol,
+            abiVersionSymbol: profile.sidecar.abiVersionSymbol,
+            buildId,
+            abiVersion: profile.sidecar.abiVersion,
+        };
+        const built = buildSidecar({
+            profile,
+            facts: contractFacts,
+            compilerVersion: compilerVersion,
+            entry: canonicalPath(rootDir, entryPath),
+            buildId,
+            sourceHash,
+            deterministic: moduleLibNondeterministicSurface(mod) === null,
+        });
+        if (!built.ok)
+            return fail(built.diagnostics);
+        // Validate the serialized contract, including its omitted optional
+        // properties, through the same checked-value path used by consumers.
+        const violations = validateSidecar(JSON.parse(built.json));
+        if (violations.length > 0) {
+            // The projection above refuses every user-caused shape; a rule
+            // violation surviving to here is an emitter bug.
+            return fail(violations.map((v) => iceDiag(`sidecar self-check failed — ${v}`, { file: entryPath, start: 0, end: 0 })));
+        }
+        sidecarJson = built.json;
+        const merged = mergeSidecarIntSlots(intCfg, built.integerSlotFacts, mod);
+        if (!merged.ok)
+            return fail([merged.diagnostic]);
+        intCfg = merged.config;
+    }
+    timing("contract-sidecar", { source_files: sourceTexts.size });
+    // Ask 4: the integer-boundary inference — every value that can reach a
+    // profile-declared i64/u64 slot must PROVE representability, wholeness,
+    // and range, or the build refuses with the failed obligation, the
+    // observed evidence, and the author's fix (SC4021/SC4022/SC4023). Runs
+    // only when at least one integer slot is declared; the sidecar (already
+    // built above, written only on success) may then attest the classes —
+    // §5's invariant that an attested integer class means the proof was
+    // discharged holds because no artifact leaves this function otherwise.
+    if (hasIntSlots(intCfg)) {
+        const refusals = checkLibraryIntegerSlots(mod, intCfg).filter((v) => v.outcome === "refuse");
+        if (refusals.length > 0) {
+            return fail(refusals.map((v) => libIntBoundaryDiag(v.path, v.cls, v.obligation, v.detail, v.fix, v.loc)));
+        }
+    }
+    timing("integer-proof");
+    const validation = validateModule(mod);
+    if (validation.length > 0)
+        return fail(validation.map((v) => iceDiag(v.message, v.loc)));
+    timing("ir-validate");
+    return { ok: true, mod, sourceTexts, sidecarJson };
+}
+export function libraryLocalizeSymbols(profile) {
+    return profile.localizeRuntime
+        ? [
+            profile.initSymbol,
+            profile.sinkRegisterSymbol,
+            ...(profile.collectSymbol !== null ? [profile.collectSymbol] : []),
+            ...(profile.resultResetSymbol !== null ? [profile.resultResetSymbol] : []),
+            ...(profile.callbackRegisterSymbol !== null ? [profile.callbackRegisterSymbol] : []),
+            ...(profile.sidecar !== null
+                ? [profile.sidecar.buildIdSymbol, profile.sidecar.abiVersionSymbol]
+                : []),
+            ...profile.exports.map((entry) => entry.symbol),
+        ]
+        : undefined;
+}
+export function libraryWasmExports(profile) {
+    return [
+        profile.initSymbol, "scriptc_alloc", "scriptc_free",
+        ...(profile.collectSymbol === null ? [] : [profile.collectSymbol]),
+        ...(profile.resultResetSymbol === null ? [] : [profile.resultResetSymbol]),
+        ...(profile.sidecar === null ? [] : [profile.sidecar.buildIdSymbol, profile.sidecar.abiVersionSymbol]),
+        ...profile.exports.map((entry) => entry.symbol),
+    ];
+}
+export function libraryWasmRefusal(profile, sanitize) {
+    const reserved = new Set(["scriptc_alloc", "scriptc_free", "memory", "_initialize", "_start"]);
+    const symbols = [profile.initSymbol, profile.sinkRegisterSymbol, profile.collectSymbol, profile.resultResetSymbol,
+        profile.callbackRegisterSymbol, ...profile.exports.map((entry) => entry.symbol), profile.sidecar?.buildIdSymbol, profile.sidecar?.abiVersionSymbol];
+    const surface = sanitize ? "sanitized library builds"
+        : profile.instancePerThread ? "thread-instanced libraries (instantiate separate Wasm instances instead)"
+            : profile.localizeRuntime ? "runtime localization (Wasm instances already isolate their runtime)"
+                : symbols.some((symbol) => symbol != null && reserved.has(symbol)) ? "library symbols reserved by the Wasm embedding ABI"
+                    : profile.callbacks.some((cb) => cb.name === "panic") ? "a callback named 'panic' (reserved by the Wasm embedding ABI)"
+                        : null;
+    return surface === null ? null : targetRefusalDiag("wasm32-wasi", surface, { file: profile.entry, start: 0, end: 0 });
+}
+//# sourceMappingURL=prepare.js.map

package/dist/library/prepare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepare.js","sourceRoot":"","sources":["../../src/library/prepare.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE7C,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACnG,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,cAAc,EAAE,0BAA0B,EAAE,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,sBAAsB,EAAsB,MAAM,8BAA8B,CAAC;AAChV,OAAO,EAAE,wBAAwB,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,EAAuC,MAAM,gBAAgB,CAAC;AAC1I,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAuB,MAAM,sBAAsB,CAAC;AAChG,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,aAAa,EAAE,qBAAqB,EAAwF,MAAM,cAAc,CAAC;AAC9L,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAKxD,OAAO,EAAE,qBAAqB,EAAE,gCAAgC,EAAuF,MAAM,aAAa,CAAC;AAC3K,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD;;iDAEiD;AACjD,SAAS,YAAY,CAAC,GAAW,EAAE,CAAS;IAC1C,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;QAC3B,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QAC7B,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;QAC/C,SAAS,0CAA0C;YACjD,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;8DAE8D;AAC9D,SAAS,qBAAqB,CAC5B,OAAuB,EACvB,SAAuC,EACvC,GAAa,EACb,SAAiB;IAEjB,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CACd,uBAAuB,CAAC,CAAC,CAAC,MAAM,EAAE,oEAAoE,EAAE,QAAQ,CAAC,CAClH,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7F,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CACd,uBAAuB,CAAC,CAAC,CAAC,MAAM,EAAE,iDAAiD,EAAE,IAAI,CAAC,GAAG,CAAC,CAC/F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CACd,0BAA0B,CACxB,CAAC,CAAC,MAAM,EACR,WAAW,EACX,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,0CAA0C,CAAC,CAAC,MAAM,CAAC,MAAM,wBAAwB,EACxG,IAAI,CAAC,GAAG,CACT,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC1B,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,GAAG,GAAG,IAAI,CAAC;gBACX,WAAW,CAAC,IAAI,CACd,0BAA0B,CACxB,CAAC,CAAC,MAAM,EACR,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,EAC9C,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,yDAAyD,GAAG,GAAG,EACtG,IAAI,CAAC,GAAG,CACT,CACF,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACnG,GAAG,GAAG,IAAI,CAAC;YACX,WAAW,CAAC,IAAI,CACd,0BAA0B,CACxB,CAAC,CAAC,MAAM,EACR,YAAY,EACZ,gBAAgB,EAAE,CAAC,UAAU,CAAC,IAAI,yDAAyD,CAAC,CAAC,OAAO,GAAG,EACvG,IAAI,CAAC,GAAG,CACT,CACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,cAAc,GAAoC;gBACtD,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,OAAO,EAAE,CAAC,CAAC,OAAO;aACnB,CAAC;YACF,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,gEAAgE;gBAChE,kEAAkE;gBAClE,mEAAmE;gBACnE,8DAA8D;gBAC9D,2DAA2D;gBAC3D,iEAAiE;gBACjE,sDAAsD;gBACtD,cAAc,CAAC,gBAAgB,GAAG,oBAAoB,CACpD,eAAe,CAAC,OAAO,EAAE,2BAA2B,CAAC;oBACnD,sDAAsD,EACxD,2BAA2B,EAC3B,CAAC,CAAC,MAAM,EACR,kBAAkB,CAAC,OAAO,EAAE,2BAA2B,CAAC,CACzD,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzD,8DAA8D;gBAC9D,6DAA6D;gBAC7D,8DAA8D;gBAC9D,4DAA4D;gBAC5D,4BAA4B;gBAC5B,cAAc,CAAC,cAAc,GAAG,oBAAoB,CAClD,eAAe,CAAC,OAAO,EAAE,2BAA2B,CAAC;oBACnD,2DAA2D,EAC7D,2BAA2B,EAC3B,CAAC,CAAC,MAAM,EACR,kBAAkB,CAAC,OAAO,EAAE,2BAA2B,CAAC,CACzD,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACnD,0EAA0E;IAC1E,sEAAsE;IACtE,kEAAkE;IAClE,kFAAkF;IAClF,mEAAmE;IACnE,2BAA2B;IAC3B,MAAM,YAAY,GAAiC,EAAE,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,sBAAsB,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAChD,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YACxD,YAAY,CAAC,IAAI,CAAC;gBAChB,IAAI;gBACJ,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAiB;QACtB,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,eAAe,EAAE,OAAO,CAAC,iBAAiB;QAC1C,gEAAgE;QAChE,qEAAqE;QACrE,kDAAkD;QAClD,+DAA+D;QAC/D,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,iCAAiC;QAEjC,OAAO;QACP,YAAY;KACf,CAAC;IACF,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,sBAAsB,GAAG,OAAO,CAAC,sBAAuB,CAAC;QAC7D,GAAG,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACnD,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO;YAChE,gBAAgB,EAAE,8BAA8B,EAAE,CAAC,IAAI,iCAAiC;SACzF,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAED;;;;;;+DAM+D;AAC/D,SAAS,oBAAoB,CAAC,OAAuB;IACnD,MAAM,GAAG,GAAkB,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5E,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;YAAE,SAAS;QACrG,MAAM,KAAK,GAAe;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM;YACN,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5G,GAAG;YACH,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,IAAI;YAC3D,UAAU;SACX,CAAC;QACF,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;wCAKwC;AACxC,SAAS,oBAAoB,CAC3B,GAAa;IAEb,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7E,MAAM,aAAa,GAAG,CACpB,OAA+B,EAC/B,KAAoB,EACX,EAAE;QACX,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACzE,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,OAAO,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,CAClB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM;YACrC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;gBACrB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/E,OAAO,MAAM,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YACtE,CAAC,CAAC,CACL,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CACnB,QAAgC,EAChC,MAAgB,EACP,EAAE;QACX,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,KAAa,EAAW,EAAE;YACvC,IAAI,KAAK,KAAK,QAAQ,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAE,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC;oBAAE,SAAS;gBACxE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAClC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QACF,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAClB,OAA6B,EAC7B,MAAc,EACL,EAAE;QACX,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,KAAK,CAAC;YACX,KAAK,QAAQ,CAAC;YACd,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO,CAAC;YACb,KAAK,YAAY,CAAC;YAClB,KAAK,KAAK;gBACR,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;YACtC,KAAK,OAAO;gBACV,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;YACjE,KAAK,OAAO;gBACV,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3E,KAAK,QAAQ,EAAE,CAAC;gBACd,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,KAAK,CAAC;gBAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC1C,OAAO,KAAK,KAAK,SAAS,IAAI,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC9D,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,KAAK,CAAC;gBAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACzC,OAAO,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;gEAYgE;AAChE,SAAS,oBAAoB,CAC3B,GAAkB,EAClB,KAA8B,EAC9B,GAAa;IAEb,MAAM,aAAa,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACnE,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG;gBACN,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,MAAM,EAAE,IAAI,KAAK,CAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzC,UAAU,EAAE,IAAI,KAAK,CAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7C,GAAG,EAAE,IAAI;gBACT,OAAO,EAAE,IAAI;gBACb,UAAU,EAAE,IAAI,KAAK,CAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aAC9C,CAAC;YACF,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAM,CAAC;YACnB,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAChC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxB,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5B,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;YACD,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YACxB,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;YAClB,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;QACzB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC;gBAAE,SAAS;YAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YAClE,IAAI,MAAM,KAAK,SAAS,IAAI,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,SAAS;YACnF,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;gBACd,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAC/B,CAAC;YACD,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACtC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrD,MAAM,KAAK,GAAG;oBACZ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,MAAM,QAAQ,CAAC,GAAG,GAAG,CAAC;oBAC9D,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,GAAG;iBACzB,CAAC;gBACF,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,UAAU,EAAE,cAAc,CACxB,iBAAiB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC,WAAW,qDAAqD,EACrJ,CAAC,CAAC,GAAG,EACL,mNAAmN,CACpN;iBACF,CAAC;YACJ,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;iBAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACnC,CAAC;AASD,MAAM,UAAU,cAAc,CAC5B,OAAuB,EACvB,WAAmB,EACnB,eAAuB,EACvB,aAAqB,EACrB,cAA+B,EAC/B,MAAM,GAA8D,GAAG,EAAE,GAAE,CAAC;IAE5E,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;IAChC,mEAAmE;IACnE,qEAAqE;IACrE,wEAAwE;IACxE,uEAAuE;IACvE,wEAAwE;IACxE,uEAAuE;IACvE,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1E,MAAM,CAAC,eAAe,EAAE;QACtB,WAAW,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM;QAClC,YAAY,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI;KACpC,CAAC,CAAC;IACH,IAAI,OAAoB,CAAC;IACzB,IAAI,WAAgC,CAAC;IACrC,IAAI,SAAuC,CAAC;IAC5C,IAAI,aAAmC,CAAC;IACxC,IAAI,CAAC;QACH,sEAAsE;QACtE,uEAAuE;QACvE,yDAAyD;QACzD,MAAM,IAAI,GAAG,CAAC,WAA4B,EAAkB,EAAE,CAAC,CAAC;YAC9D,EAAE,EAAE,KAAK;YACT,WAAW,EAAE,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;YAC1D,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE;SAC9B,CAAC,CAAC;QACH,kEAAkE;QAClE,sEAAsE;QACtE,kEAAkE;QAClE,kEAAkE;QAClE,sEAAsE;QACtE,uEAAuE;QACvE,0DAA0D;QAC1D,MAAM,UAAU,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;QACvE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CACT,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACnB,oBAAoB,CAClB,CAAC,CAAC,OAAO;YACT,8DAA8D;YAC9D,+DAA+D;YAC/D,+BAA+B;YAC/B,CAAC,CAAC,CAAC,MAAM,IAAI,oCAAoC,CAAC,CAAC,OAAO,CAAC,iCAAiC,EAAE,EAAE,CAAC,EACjG,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAC1E,CACF,CACF,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACvD,aAAa,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACrE,sEAAsE;QACtE,qEAAqE;QACrE,sEAAsE;QACtE,sEAAsE;QACtE,mEAAmE;QACnE,gEAAgE;QAChE,gEAAgE;QAChE,oEAAoE;QACpE,0DAA0D;QAC1D,MAAM,oBAAoB,GAAa,EAAE,CAAC;QAC1C,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxE,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;YAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,aAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/F,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC5E,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzD,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,aAAc,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,EAAE,CAAC,OAAO;oBAAE,SAAS;gBACzB,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC;oBAC5G,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;QACD,sEAAsE;QACtE,sEAAsE;QACtE,sEAAsE;QACtE,mEAAmE;QACnE,mEAAmE;QACnE,qEAAqE;QACrE,qEAAqE;QACrE,MAAM,SAAS,GAAkB,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9D,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,MAAM,EAAE,EAAE,CAAC,IAAI;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;YACtB,OAAO,EAAE,EAAE,CAAC,OAAO;SACpB,CAAC,CAAC,CAAC;QACJ,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,EAAE,YAAY,IAAI,EAAE,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,8CAA8C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACjF,IAAI,IAAI,KAAK,SAAS;gBAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;gBACjB,OAAO,EAAE,KAAK;gBACd,cAAc,EAAE,aAAa;gBAC7B,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1D,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3D,gEAAgE;gBAChE,0DAA0D;gBAC1D,kEAAkE;gBAClE,kEAAkE;gBAClE,kEAAkE;gBAClE,gEAAgE;gBAChE,QAAQ,EAAE;oBACR,GAAG,IAAI,GAAG,CAAC;wBACT,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;wBACvC,GAAG,gBAAgB;wBACnB,GAAG,oBAAoB;qBACxB,CAAC;iBACH;aACF,CAAC,CAAC;YACH,MAAM,CAAC,OAAO,EAAE;gBACd,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,oBAAoB,CAAC,MAAM;aAChE,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvG,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC9D,SAAS,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC;QAC9B,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,OAAO,EAAE,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAO,CAAC;IAC5B,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAE3B,MAAM,IAAI,GAAG,CAAC,WAA4B,EAAkB,EAAE,CAAC,CAAC;QAC9D,EAAE,EAAE,KAAK;QACT,WAAW,EAAE,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC1D,WAAW;KACZ,CAAC,CAAC;IAEH,qEAAqE;IACrE,wEAAwE;IACxE,wEAAwE;IACxE,sEAAsE;IACtE,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC3E,IAAI,aAAa,IAAI,QAAQ;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,CAAC,mBAAmB,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3C,GAAG,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC;IACvB,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;QACtD,IAAI,WAAW,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClH,CAAC;IAED,mEAAmE;IACnE,mEAAmE;IACnE,sEAAsE;IACtE,cAAc;IACd,IAAI,MAAM,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE3C,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,yEAAyE;IACzE,qEAAqE;IACrE,8EAA8E;IAC9E,8DAA8D;IAC9D,yCAAyC;IACzC,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC3D,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,qBAAqB,CAAC,eAAe,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACtG,GAAG,CAAC,GAAG,CAAC,QAAQ,GAAG;YACjB,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,aAAa;YAC5C,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB;YAClD,OAAO;YACP,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU;SACvC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC;YACzB,OAAO;YACP,KAAK,EAAE,aAAc;YACrB,eAAe,EAAE,eAAe;YAChC,KAAK,EAAE,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC;YACxC,OAAO;YACP,UAAU;YACV,aAAa,EAAE,gCAAgC,CAAC,GAAG,CAAC,KAAK,IAAI;SAC9D,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC9C,mEAAmE;QACnE,qEAAqE;QACrE,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,+DAA+D;YAC/D,iDAAiD;YACjD,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzH,CAAC;QACD,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC;QACzB,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;QACzE,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACzB,CAAC;IACD,MAAM,CAAC,kBAAkB,EAAE,EAAE,YAAY,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IAE/D,uEAAuE;IACvE,wEAAwE;IACxE,kEAAkE;IAClE,uEAAuE;IACvE,wEAAwE;IACxE,sEAAsE;IACtE,oEAAoE;IACpE,uEAAuE;IACvE,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;QAC7F,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAW,EAAE,CAAC,CAAC,MAAO,EAAE,CAAC,CAAC,GAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC;IACD,MAAM,CAAC,eAAe,CAAC,CAAC;IAExB,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,CAAC,aAAa,CAAC,CAAC;IAEtB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAuB;IAC5D,OAAO,OAAO,CAAC,eAAe;QAC5B,CAAC,CAAC;YACE,OAAO,CAAC,UAAU;YAClB,OAAO,CAAC,kBAAkB;YAC1B,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,OAAO,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,GAAG,CAAC,OAAO,CAAC,sBAAsB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI;gBAC1B,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC;gBACnE,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;SAChD;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAuB;IACxD,OAAO;QACL,OAAO,CAAC,UAAU,EAAE,eAAe,EAAE,cAAc;QACnD,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAClE,GAAG,CAAC,OAAO,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC1E,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACtG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAuB,EAAE,QAAiB;IAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,kBAAkB,EAAE,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,iBAAiB;QAC/G,OAAO,CAAC,sBAAsB,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACtJ,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,0BAA0B;QACnD,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,0EAA0E;YACxG,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,qEAAqE;gBACjG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,oDAAoD;oBACzH,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,+DAA+D;wBACvH,CAAC,CAAC,IAAI,CAAC;IACT,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACxH,CAAC"}

package/dist/library/semantic-source.d.ts

@@ -2,7 +2,7 @@
 export declare function semanticSourceDigest(path: string, source: string): string;
 export declare function semanticallyEqualSource(path: string, previous: string, current: string): boolean;
 /** Build a cheap old-line to current-line mapper for semantically identical
- * sources. C emission records only a location's line, not its byte offset, so
+ * sources. The emitted location metadata uses line numbers, so
  * representative semantic tokens anchor each old line across trivia edits. */
 export declare function createSourceLineRebaser(path: string, previous: string, current: string): (line: number) => number;
 /** True when every existing source line keeps its physical line number. This