@vessel-dsp/compiler 0.0.0-stage → 0.3.0

package/dist/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;AAEpD;;;;;;;;;;;;GAYG;AACH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,cAAc,GAAG;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF;;;;;;;GAOG;AACH;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uFAAuF;IACvF,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,qBAAqB,CAAC;IAClD,QAAQ,CAAC,sBAAsB,EAAE,UAAU,CAAC,wBAAwB,CAAC,CAAC;IACtE,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,SAAS,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GACjD;IACA,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC3B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAC1D;IACA;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC7B,CAAC;AAEL;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC/B,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EACzC,OAAO,EAAE,SAAS,MAAM,EAAE,GACxB,MAAM,GAAG,IAAI,CAMf;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,GACvC,OAAO,CAOT;AAED,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,MAAM,MAAM,SAAS,GAAG;IACvB,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iEAAiE;IACjE,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C;;;OAGG;IACH,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS;QACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACpB,EAAE,CAAC;IACJ;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC;CAC1C,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC;IAClC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;CACvC,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,YAA8B,CAAC;AAmB3D,sGAAsG;AACtG,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAUlE;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAExE;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC;AAED,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,EACtB,aAAa,CAAC,EAAE,MAAM,GACpB,SAAS,GAAG,IAAI,CAqDlB;AAED,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,EACtB,aAAa,CAAC,EAAE,MAAM,GACpB,SAAS,GAAG,IAAI,CAGlB;AAED,gFAAgF;AAChF,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAEnE;AAED,uFAAuF;AACvF,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAKlE;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,cAAc,CAC7B,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,EACzB,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,GACxB,SAAS,GAAG,IAAI,CAclB;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,GACvB,MAAM,GAAG,IAAI,CAoBf"}

package/dist/registry.js

@@ -0,0 +1,192 @@
+// The part registry is an injected parameter, never an import.
+//
+// This file defines the *shape* of a registry and contains no parts. The compiler
+// therefore has no knowledge of any specific chip, which buys three things:
+//
+//   - tests run against a fake registry: no corpus, no real parts, fast;
+//   - compiling with an EMPTY registry shows exactly what works with no part
+//     knowledge at all, which is the arbitrary-schematic measurement as a compiler
+//     input rather than a separate harness;
+//   - the catalog can be artifact-owned data, matching the ownership boundary --
+//     this repo owns the compiler, vessel-dsp/artifacts owns what an MN3007 is.
+/**
+ * The index of the one terminal whose role matches any of `aliases`, or `null`.
+ *
+ * `null` for no match and for an ambiguous one. Two terminals answering to the same port role is a
+ * declaration this entry cannot address — a `SAD1024`'s two cascaded sections both carry an
+ * `input` if a document names them that way — and picking the first would be a guess about which
+ * half the audio enters.
+ */
+export function terminalWithRole(terminalRoles, aliases) {
+    const folded = new Set(aliases.map(foldToken));
+    const matches = terminalRoles.flatMap((role, index) => role !== null && folded.has(role) ? [index] : []);
+    return matches.length === 1 ? matches[0] : null;
+}
+/**
+ * Does this device declare the terminal order a `sections` entry's indices were written against?
+ *
+ * Length must match, and every position the entry names must carry that role token. A position the
+ * entry leaves `null` is unchecked, which is what lets a part whose document numbers its pins
+ * (`pin1`, `pin2`, ... -- `terminalRoleToken` returns null for those) still be expanded.
+ */
+export function pinoutMatches(pinout, terminalRoles) {
+    if (pinout.length !== terminalRoles.length) {
+        return false;
+    }
+    return pinout.every((role, index) => role === null || foldToken(role) === terminalRoles[index]);
+}
+export const emptyRegistry = { entries: [] };
+/**
+ * **A RECORDED READ SET: which part entries a macro's parameter computation actually consulted.**
+ *
+ * `subsumes` claims that a macro accounts for another device. The mutant tests that claim by
+ * changing the device and watching the parameters move — which can fail vacuously if the mutation
+ * breaks the packet, as it did on its first run. **This is the cheaper primary check and it cannot
+ * fail that way**: if the packet does not compile there is no read set at all, so the verdict is
+ * INVALID rather than HOLD.
+ *
+ * **It is a recorded read, not source analysis.** Parsing our own code to decide what it consults
+ * is brittle and rots; wrapping the accessor is exact. And the read set is reusable — it answers
+ * *"what does this macro's behaviour actually depend on"* for every macro, not only those carrying
+ * a claim.
+ */
+let activeReadSet = null;
+const recordedReadSets = new Map();
+/** Run `fn` with registry reads recorded against `owner`. Nesting is honoured; the outer set wins. */
+export function withRecordedReads(owner, fn) {
+    const previous = activeReadSet;
+    const mine = recordedReadSets.get(owner) ?? new Set();
+    recordedReadSets.set(owner, mine);
+    activeReadSet = mine;
+    try {
+        return fn();
+    }
+    finally {
+        activeReadSet = previous;
+    }
+}
+/** What each owner consulted. Keyed by the owner string passed to `withRecordedReads`. */
+export function recordedReads() {
+    return recordedReadSets;
+}
+/** Forget everything recorded so far. Callers that measure one packet at a time need this. */
+export function clearRecordedReads() {
+    recordedReadSets.clear();
+}
+export function registryEntryFor(registry, identity, terminalCount) {
+    if (!identity?.partId) {
+        return null;
+    }
+    // Instrumentation only -- no behaviour change. The returned entry is recorded against
+    // whichever owner is currently bracketing this call.
+    activeReadSet?.add(foldPartId(identity.partId));
+    const entries = registry?.entries ?? [];
+    if (terminalCount !== undefined) {
+        for (const entry of entries) {
+            if ((entry.partIds ?? []).some((id) => foldPartId(id) === foldPartId(identity.partId)) &&
+                (entry.model.kind !== "sections" &&
+                    entry.model.kind !== "sections-core" ||
+                    entry.model.pinout.length === terminalCount ||
+                    (entry.terminalRoleGroups?.length > 0 &&
+                        entry.terminalRoleGroups.length === terminalCount))) {
+                return entry;
+            }
+            if ((entry.declaredTypes ?? []).some((type) => foldToken(type) === foldToken(identity.partId)) &&
+                (entry.model.kind !== "sections" &&
+                    entry.model.kind !== "sections-core" ||
+                    entry.model.pinout.length === terminalCount ||
+                    (entry.terminalRoleGroups?.length > 0 &&
+                        entry.terminalRoleGroups.length === terminalCount))) {
+                return entry;
+            }
+        }
+    }
+    for (const entry of entries) {
+        if ((entry.partIds ?? []).some((id) => foldPartId(id) === foldPartId(identity.partId))) {
+            return entry;
+        }
+        if ((entry.declaredTypes ?? []).some((type) => foldToken(type) === foldToken(identity.partId))) {
+            return entry;
+        }
+    }
+    return null;
+}
+export function registryModelFor(registry, identity, terminalCount) {
+    const entry = registryEntryFor(registry, identity, terminalCount);
+    return entry === null ? null : entry.model;
+}
+/** Part numbers compare ignoring case and separators: `MN-3007` is `mn3007`. */
+export function foldPartId(value) {
+    return (value ?? "").toLowerCase().replace(/[^a-z0-9]/gu, "");
+}
+/** Typed vocabulary values compare ignoring case and whitespace, keeping structure. */
+export function foldToken(value) {
+    return (value ?? "")
+        .trim()
+        .toLowerCase()
+        .replace(/[\s_-]+/gu, "");
+}
+/**
+ * The law a registered part supplies for a device whose class already names its law kind.
+ *
+ * This is rung 1 of `identify.ts`'s evidence ladder and **only** rung 1: an exact manufacturer
+ * part number, compared whole and case-folded. The other two rungs are deliberately unreachable
+ * here.
+ *
+ * - **Declared type is not consulted.** `Circuit.Pentode` is a *class*, and resolving a class to
+ *   one part's model would claim every pentode in the corpus is an EL84 — the same reason
+ *   `part-catalog.ts` leaves `declaredTypes` empty for op-amps.
+ * - **Pinout signature is not consulted.** Every pentode has the same electrodes, so a pinout
+ *   match cannot tell an EL84 from a KT66. That is exactly the case where a wrong identity is
+ *   worse than none.
+ *
+ * `lawKind` must match the law the device's class already implies, so an entry can only refine
+ * the law that class was going to get. A triode cannot be handed a pentode's fit by a catalog
+ * typo; it falls back instead.
+ *
+ * Returns `null` when nothing matches, which is a correct and expected answer — the caller keeps
+ * its device-class default. See `findGenericTubeFits`, which reports every such fallback, because
+ * a silent one is what let every amp in the corpus run a 6V6 fit.
+ */
+export function registryLawFor(registry, partNumber, lawKind) {
+    if (partNumber === null) {
+        return null;
+    }
+    const folded = foldPartId(partNumber);
+    for (const entry of registry.entries) {
+        if (!entry.partIds.some((id) => foldPartId(id) === folded)) {
+            continue;
+        }
+        if (entry.model.kind === "law" && entry.model.law.kind === lawKind) {
+            return entry.model.law;
+        }
+    }
+    return null;
+}
+/**
+ * How far a part's output stops short of each supply rail, from the registry entry that names
+ * it, or `null` when the part is not in the registry or states none (the rails are then used as
+ * they are). Read from either an `ideal-opamp` law entry or the first section of a `sections`
+ * entry, because a declared `opamp` device never reaches the section lowering.
+ */
+export function registryOpampSwingDrop(registry, partNumber) {
+    if (partNumber === null) {
+        return null;
+    }
+    const folded = foldPartId(partNumber);
+    for (const entry of registry.entries) {
+        if (!entry.partIds.some((id) => foldPartId(id) === folded)) {
+            continue;
+        }
+        const law = entry.model.kind === "law"
+            ? entry.model.law
+            : entry.model.kind === "sections"
+                ? entry.model.sections[0]?.law
+                : undefined;
+        if (law !== undefined && law.kind === "ideal-opamp") {
+            return law.outputSwingDropVolts ?? null;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=registry.js.map

package/dist/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,EAAE;AACF,kFAAkF;AAClF,4EAA4E;AAC5E,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,mFAAmF;AACnF,4CAA4C;AAC5C,iFAAiF;AACjF,gFAAgF;AA6JhF;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC/B,aAAyC,EACzC,OAA0B;IAE1B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACrD,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC5B,MAAkB,EAClB,aAAyC;IAEzC,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAClB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAC1E,CAAC;AACH,CAAC;AAsHD,MAAM,CAAC,MAAM,aAAa,GAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,IAAI,aAAa,GAAuB,IAAI,CAAC;AAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;AAExD,sGAAsG;AACtG,MAAM,UAAU,iBAAiB,CAAI,KAAa,EAAE,EAAW;IAC9D,MAAM,QAAQ,GAAG,aAAa,CAAC;IAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IAC9D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,aAAa,GAAG,IAAI,CAAC;IACrB,IAAI,CAAC;QACJ,OAAO,EAAE,EAAE,CAAC;IACb,CAAC;YAAS,CAAC;QACV,aAAa,GAAG,QAAQ,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa;IAC5B,OAAO,gBAAgB,CAAC;AACzB,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB;IACjC,gBAAgB,CAAC,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC/B,QAAsB,EACtB,QAAsB,EACtB,aAAsB;IAEtB,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,sFAAsF;IACtF,qDAAqD;IACrD,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;IACxC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC7B,IACC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtD;gBACD,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;oBACpC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa;oBAC3C,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,GAAG,CAAC;wBACpC,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,EACpD,CAAC;gBACF,OAAO,KAAK,CAAC;YACd,CAAC;YACD,IACC,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CACxD;gBACD,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;oBACpC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa;oBAC3C,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,GAAG,CAAC;wBACpC,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,EACpD,CAAC;gBACF,OAAO,KAAK,CAAC;YACd,CAAC;QACF,CAAC;IACF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,IACC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtD,EACA,CAAC;YACF,OAAO,KAAK,CAAC;QACd,CAAC;QACD,IACC,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CACxD,EACA,CAAC;YACF,OAAO,KAAK,CAAC;QACd,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC/B,QAAsB,EACtB,QAAsB,EACtB,aAAsB;IAEtB,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;IAClE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;AAC5C,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,KAAgC;IAC1D,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,SAAS,CAAC,KAAgC;IACzD,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;SAClB,IAAI,EAAE;SACN,WAAW,EAAE;SACb,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,cAAc,CAC7B,QAAsB,EACtB,UAAyB,EACzB,OAA0B;IAE1B,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;QACxB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACrC,QAAsB,EACtB,UAAyB;IAEzB,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,MAAM,GAAG,GACR,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YACzB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG;YACjB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;gBAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG;gBAC9B,CAAC,CAAC,SAAS,CAAC;QACf,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACrD,OAAO,GAAG,CAAC,oBAAoB,IAAI,IAAI,CAAC;QACzC,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC"}

package/dist/sparse-schedule.d.ts

@@ -0,0 +1,65 @@
+import type { SparseSchedule, Stamp } from "./types.js";
+/**
+ * Every matrix entry a stamp can write, over-approximated as the full square over the stamp's
+ * own terminals.
+ *
+ * Read off the shape table in `stamp-partition.ts` rather than restated here. `terminalNodes`
+ * lets a kind narrow the set -- only `vccs` does, to its output pair -- and `terminalsDropGround`
+ * lets it drop ground, which `vccs` also does and nothing else may, because `schedulePattern`
+ * removes row 0 globally but keeps column 0.
+ *
+ * Order is not significant: the caller expands these into every (row, column) pair and collects
+ * them in a `Set`.
+ */
+export declare function stampTerminals(stamp: Stamp, nodeCount: number): readonly number[];
+/**
+ * Entries that are provably nonzero at every control position and every Newton iterate,
+ * and are therefore the only ones allowed to be pivots.
+ *
+ * **Two conditions, and both are load-bearing. An entry belongs here only when the stamp
+ * writes it (a) in the direction being claimed and (b) on every iterate.** Marking an entry
+ * the stamp leaves zero does not produce a wrong answer -- the runtime's pivot guard catches
+ * the collapse and re-solves densely -- but it produces a *silently dense* block, which is
+ * worse than a slow one because nothing reports it. Measured 2026-09-18 on the shipping
+ * console: `boss-ch-1` gave its schedule up inside `prepare()` and ran 100x100 dense for the
+ * whole session (12.8x real time), `boss-ce-5` tripped the guard on half its iterations and
+ * paid for the schedule *and* the dense solve (6.6x), and `boss-ce-2`, `boss-ce-2b`,
+ * `boss-dm-2` and `boss-dd-3b` abandoned within their first 64 audio iterations. Every one of
+ * those traced back to an entry marked here that the owning stamp cannot guarantee. See
+ * `thoughts/shared/2026-09-18-sparse-schedule-runtime-audit.md`.
+ *
+ * So `pair()` is for symmetric writes only. A stamp that writes `matrix[row][column]` and not
+ * its transpose -- every controlled-source coupling in this file's device set does exactly
+ * that -- marks the one entry with `eligible.add`, or marks nothing when the value can vanish.
+ *
+ * **What this does NOT establish is that an eligible pivot is numerically usable.** Every node
+ * diagonal is listed below because the runtime adds `gmin` to it, which is true and nearly
+ * useless: a pivot of 1e-12 against entries of order 1e2 is a growth factor of 1e14, and dense
+ * partial pivoting would never choose it. That is a separate, open defect (`boss-aw-2` fails to
+ * converge on the sparse path and converges in four iterations densely), and it cannot be fixed
+ * from the pattern alone -- it needs the pivot search to see magnitudes. Recorded in §6 of the
+ * audit above.
+ */
+export declare function provablyNonzeroEntries(block: {
+    nodeCount: number;
+    stamps: readonly Stamp[];
+}, size: number): Set<number>;
+/**
+ * The block's structural pattern: every entry any stamp can write, plus the gmin diagonals,
+ * with ground-pin overwrite applied.
+ */
+export declare function schedulePattern(block: {
+    nodeCount: number;
+    stamps: readonly Stamp[];
+}, size: number): Set<number>;
+/**
+ * Work out the elimination order and emit its opcode stream.
+ *
+ * Returns null when the pattern cannot be eliminated at all (a structurally singular block).
+ */
+export declare function computeSparseSchedule(block: {
+    nodeCount: number;
+    auxCount: number;
+    stamps: readonly Stamp[];
+}): SparseSchedule | null;
+//# sourceMappingURL=sparse-schedule.d.ts.map

package/dist/sparse-schedule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sparse-schedule.d.ts","sourceRoot":"","sources":["../src/sparse-schedule.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAC7B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,MAAM,GACf,SAAS,MAAM,EAAE,CAQnB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,sBAAsB,CACrC,KAAK,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAAE,EACtD,IAAI,EAAE,MAAM,GACV,GAAG,CAAC,MAAM,CAAC,CAiLb;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC9B,KAAK,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAAE,EACtD,IAAI,EAAE,MAAM,GACV,GAAG,CAAC,MAAM,CAAC,CAkBb;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACpC,KAAK,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAAE,GACtE,cAAc,GAAG,IAAI,CAmMvB"}