@vessel-dsp/compiler 0.0.0-stage → 0.2.0

package/dist/identify.js

@@ -0,0 +1,319 @@
+// Stage 2: Device -> PartIdentity | null.
+//
+// The only stage in the pipeline that asks "what is this thing". Everything else is
+// arithmetic on a graph. Passives and discretes never reach it: an R, C, D or
+// transistor's law follows from its typed kind plus parameters, so identification
+// exists solely for parts whose behaviour is genuinely not in the netlist.
+//
+// The evidence ladder, hardest first. Each rung refuses to reach the next:
+//
+//   1. exact part id      a manufacturer number, compared whole and case-folded
+//   2. declared type      a value from the source's closed type vocabulary
+//   3. pinout signature   terminal role tokens, compared as whole tokens
+//
+// There is no fourth rung and no score. A ranked guess has no consumer, and a wrong
+// identity is worse than none: it renders a plausible wrong pedal instead of
+// refusing. Returning `null` is a correct, expected answer.
+//
+// Topology is deliberately absent. It was measured at length and the conclusions were
+// that similarity cannot gate a decision, that a memory and its clock driver are
+// automorphic across their shared net so no graph function separates them, and that
+// with n=1 to 3 instances per family a structural signature cannot be told from
+// memorisation. If a topology rung is ever added it belongs here and nowhere else.
+import { canonicalPartId } from "./part-number.js";
+import { foldPartId, foldToken, } from "./registry.js";
+import { opampNeedsRegistrySections } from "./unreadable-terminal-role.js";
+/** Kinds whose behaviour is not determined by the netlist and so need a part. */
+export function requiresIdentification(device) {
+    return device.kind === "ic" || device.kind === "power-amp";
+}
+/**
+ * Kinds whose behaviour a registry **may** extend, as opposed to supply outright.
+ *
+ * `ic` and `power-amp` have no behaviour except a part's, so for them the registry is the only
+ * source and its silence is a refusal -- that is `requiresIdentification` above. An `ota` is
+ * different in both directions: it carries a universal device-class law
+ * (`I_out = gm * (V+ - V-)`), so an unregistered one must still work; and a registered one can be
+ * *more* than that law, because a single `ota` stamp cannot carry a second section. A BA662A is
+ * an OTA **plus** a Darlington buffer, and before this `boss-cs-2`'s `bufferinput`/`buffertie`
+ * net was touched by no stamp in the compiled program at all.
+ *
+ * So this is consulted only where a `sections` model is being looked up. It deliberately does not
+ * widen `requiresIdentification`: doing that put OTAs through the `ic` shell/isolation predicates
+ * and the unmatched-pinout refusal, which cost `electro-harmonix-small-stone` all five of its
+ * CA3094 stamps at once.
+ */
+export function mayCarryRegistrySections(device) {
+    return (requiresIdentification(device) ||
+        device.kind === "ota" ||
+        // An optocoupler is the `ota` case in both directions: it has a universal law of its own,
+        // so an unregistered discrete LED/LDR pair must still work, and a registered VTL5C1 can be
+        // more than that law. 13 corpus packets declare `kind: optocoupler` against a registry part
+        // and reach their sections through here.
+        device.kind === "optocoupler" ||
+        // Only an op-amp its own device-class law cannot bind; see
+        // `opampNeedsRegistrySections` for why this is scoped rather than a kind test.
+        opampNeedsRegistrySections(device));
+}
+/**
+ * An op-amp whose registered *part* says it is not an op-amp, so the part's law overrides the
+ * device-class law even though the class law can read the terminals.
+ *
+ * The class law is `ideal-opamp`; a `sections` entry whose law kind is not that is the part
+ * disagreeing with the drawn kind. That is typed evidence the part carries and the document's
+ * `kind: opamp` is a drawing convenience: an LM339 drawn as an op-amp is still an
+ * open-collector comparator, and the ideal-op-amp output that stamps binds the shared node is
+ * a voltage source where the real part is a sink-or-float. `moogerfooger-mf-102`'s `U2A`/`U2C`
+ * wire-OR onto one pull-up resistor because the LM339's outputs *are* open-collector; a voltage
+ * source makes that node over-determined and the packet renders silence.
+ *
+ * Match is the same whole-token exact part id (rung 1) or canonical die (rung 4) the evidence
+ * ladder uses, so a prose mention can never admit one. The default registry is consulted with the
+ * arity deliberately unconstrained: an arity *mismatch* against a comparator entry still wants the
+ * registration question to end where it would today -- rung 3 -- rather than falling through to
+ * `declaredType`, whose class would re-stamp the drawn `opamp`.
+ */
+/**
+ * A bipolar transistor whose exact part id the registry expands into sections -- a bias-resistor
+ * built-in transistor (a "digital transistor") such as Toshiba's RN1307, whose datasheet puts a
+ * series base resistor and a base-emitter resistor inside the package. The class law is a bare
+ * transistor and cannot know they are there; the part number can. Every other BJT keeps its class
+ * law untouched, because no other BJT has a sections entry.
+ */
+export function bjtPartRegisteredAsSections(device, registry) {
+    if (device.kind !== "bjt")
+        return false;
+    const partNumber = device.identity.partNumber;
+    if (partNumber === null)
+        return false;
+    const canonical = foldPartId(canonicalPartId(partNumber));
+    return registry.entries.some((entry) => entry.model.kind === "sections" &&
+        entry.partIds.some((id) => foldPartId(canonicalPartId(id)) === canonical));
+}
+export function opampPartRegisteredAsOtherLaw(device, registry) {
+    if (device.kind !== "opamp") {
+        return false;
+    }
+    const partNumber = device.identity.partNumber;
+    if (partNumber === null) {
+        return false;
+    }
+    const folded = foldPartId(partNumber);
+    const canonical = foldPartId(canonicalPartId(partNumber));
+    for (const entry of registry.entries) {
+        if (entry.model.kind !== "sections") {
+            continue;
+        }
+        const matches = entry.partIds.some((id) => foldPartId(id) === folded) ||
+            entry.partIds.some((id) => foldPartId(canonicalPartId(id)) === canonical);
+        if (matches && entry.model.sections.some((section) => section.law.kind !== "ideal-opamp")) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * An op-amp the device-class law already binds, whose matched registry entry would say nothing
+ * new: a `sections` entry that is empty or every-section `ideal-opamp` is the class law in another
+ * spelling, so taking the entry would move the program (new section device ids, a registry arity
+ * read) without changing a stamp. Keeping the class law makes this route zero-change for every
+ * packet whose op-amps are actually op-amps -- measured wrong once already on 2026-09-02, when
+ * widening the gate to every `opamp` moved 14 packets before `opampNeedsRegistrySections`
+ * scoped it.
+ */
+function opampKeepsItsClass(device, entry) {
+    return (device.kind === "opamp" &&
+        !opampNeedsRegistrySections(device) &&
+        entry.model.kind === "sections" &&
+        entry.model.sections.every((section) => section.law.kind === "ideal-opamp"));
+}
+export function identify(device, registry) {
+    if (!mayCarryRegistrySections(device) &&
+        !opampPartRegisteredAsOtherLaw(device, registry) &&
+        !bjtPartRegisteredAsSections(device, registry)) {
+        return null;
+    }
+    const partNumber = device.identity.partNumber;
+    if (partNumber !== null) {
+        const folded = foldPartId(partNumber);
+        // 1. Try to find an entry with matching partId AND matching terminal arity (or macro kind)
+        for (const entry of registry.entries) {
+            if (entry.partIds.some((id) => foldPartId(id) === folded)) {
+                if (entry.model.kind === "sections" || entry.model.kind === "sections-core") {
+                    if (device.nodes.length === entry.model.pinout.length) {
+                        // A part the op-amp class law binds already keeps that law unless the
+                        // registry says the part is not an op-amp; see `opampKeepsItsClass`.
+                        if (opampKeepsItsClass(device, entry)) {
+                            continue;
+                        }
+                        const resolvedId = entry.partIds[0] ?? partNumber;
+                        return { partId: resolvedId, evidence: "exact-part" };
+                    }
+                }
+                else if (entry.model.kind === "macro") {
+                    const resolvedId = entry.partIds[0] ?? partNumber;
+                    return { partId: resolvedId, evidence: "exact-part" };
+                }
+            }
+        }
+        // 2. Fall back to standard matching on partId only if not an incompatible sections model
+        for (const entry of registry.entries) {
+            if (entry.partIds.some((id) => foldPartId(id) === folded)) {
+                if (entry.model.kind !== "sections" ||
+                    device.nodes.length === entry.model.pinout.length) {
+                    if (opampKeepsItsClass(device, entry)) {
+                        continue;
+                    }
+                    const resolvedId = entry.partIds[0] ?? partNumber;
+                    return { partId: resolvedId, evidence: "exact-part" };
+                }
+            }
+        }
+        // 3. **The rung is terminal, which is what "each rung refuses to reach the next" means.**
+        //
+        // Both loops above give up when a registered part's entry is a `sections` model whose
+        // pinout does not fit this component's terminal count -- and until 2026-09-04 that fell
+        // through to declared type and then to *pin names*, which is weaker evidence about a
+        // component whose part number the registry already knows. `moogerfooger-mf-102`'s `U4A`
+        // is the proof: it declares `PartNumber: LM13600` with five of that OTA's pins, no
+        // entry has a five-pin LM13600, and rung 3 matched its
+        // `nonInverting/inverting/output/vplus/vminus` naming against the **LM311 comparator**
+        // signature -- so a dual OTA was one lowering away from being stamped as a comparator.
+        // A pinout signature cannot tell an OTA from a comparator; both are five pins with those
+        // names, which is exactly the case this file records as "a wrong identity is worse than
+        // none".
+        //
+        // So a known part number ends identification here. An entry whose arity does not fit is a
+        // registry coverage gap, and it is reported as one downstream -- `sectionDevices` refuses
+        // by name for a part it cannot expand, and an OTA keeps its correct device-class law --
+        // rather than becoming grounds to guess a different part from pin names.
+        for (const entry of registry.entries) {
+            if (entry.partIds.some((id) => foldPartId(id) === folded)) {
+                if (opampKeepsItsClass(device, entry)) {
+                    continue;
+                }
+                return {
+                    partId: entry.partIds[0] ?? partNumber,
+                    evidence: "exact-part",
+                };
+            }
+        }
+        // 4. **Canonicalised ordering code -> die identity.** Tried only after both exact rungs,
+        // because rule 49's asymmetry runs the whole length of this file: a missed match is a
+        // diagnosable refusal and a wrong match executes silently, so exact evidence always wins
+        // and this rung never guesses. It strips trailing package markings and a fixed vocabulary
+        // of grade suffixes; it does NOT match on prefixes, because `M5K4164` against
+        // `M5K4164ANL-15` is a prefix match and a different die.
+        //
+        // **It exists because a package suffix decided whether a pedal got a DSP model.**
+        // `boss-rv-6` declares `UPD800402GJ-211` and `boss-st-2` declares
+        // `uPD800402GJ-211-UEN-A(ESC)` -- the same silicon. Neither matched the catalog's
+        // `UPD800402GJ-211-UEN-A`, so both fell through to `declaredType` below, and because the
+        // two packets declare different classes, `rv-6`'s 144-pin reverb DSP was resolved as a
+        // bucket-brigade delay line and rendered a 50 ms delay its chip never made.
+        const canonical = foldPartId(canonicalPartId(partNumber));
+        for (const entry of registry.entries) {
+            if (entry.partIds.some((id) => foldPartId(canonicalPartId(id)) === canonical)) {
+                if (opampKeepsItsClass(device, entry)) {
+                    continue;
+                }
+                return {
+                    partId: entry.partIds[0] ?? partNumber,
+                    evidence: "exact-part",
+                };
+            }
+        }
+    }
+    // **A NAMED PART NUMBER THAT MATCHED NOTHING ENDS IDENTIFICATION HERE.**
+    //
+    // Falling through to `declaredType` after an unmatched part number is how `boss-rv-6`'s
+    // 144-pin reverb DSP became a bucket-brigade delay line: the ordering code matched no entry,
+    // so the class decided the model, and the class said `Circuit.DelayMemoryChip`. The same path
+    // is still live for `boss-dd-3t`, whose `U1` declares `PartNumber: undisclosed-roland-boss-dsp`
+    // and whose DRAM declares `PartNumber: excluded-dd3b-dram-context` -- **prose in a typed
+    // field**, one lookup away from executing as a delay line (format item 8).
+    //
+    // **This is the rung order of the whole file applied once more** (rule 49): a device that
+    // names its part has given the strongest evidence available, and when that evidence matches
+    // nothing the honest answer is "no identity", not a weaker guess from a different field. The
+    // consequence is an open device with a reason a reader can act on, which is the outcome this
+    // programme exists to produce -- never a plausible model nobody asked for.
+    // **The narrow form, and the wide one was measured and rejected.** Refusing *all* fall-through
+    // after an unmatched part number stops two documents compiling, and one of them is a false
+    // positive: `belton-brick-reverb` declares `PartNumber: unspecified-op-amp-section` on an
+    // op-amp whose `Circuit.OpAmp` class resolves it perfectly well. Prose in the part-number field
+    // is a source defect (format item 8), not grounds to refuse a device its class already
+    // identifies.
+    //
+    // **What the class may NOT supply is a MACRO.** A generic class law says "this is an op-amp",
+    // which the class genuinely knows. A macro says "this is *this specific chip* and here is its
+    // behaviour" -- an identity claim, and the one piece of evidence that could support it just
+    // failed to match. That asymmetry is the whole rule: `boss-rv-6`'s reverb DSP became a
+    // bucket-brigade delay line through exactly this door, and `boss-dd-3t`'s
+    // `undisclosed-roland-boss-dsp` is still standing in it.
+    const partNumberUnmatched = partNumber !== null && partNumber.trim() !== "";
+    const declaredType = device.identity.declaredType;
+    if (declaredType !== null) {
+        const folded = foldToken(declaredType);
+        // 1. Try to find an entry with matching declaredType AND matching terminal arity (only for "sections" kind)
+        for (const entry of registry.entries) {
+            if (!(partNumberUnmatched && entry.model.kind === "macro") &&
+                entry.declaredTypes.some((type) => foldToken(type) === folded) &&
+                (entry.model.kind === "sections" || entry.model.kind === "sections-core") &&
+                device.nodes.length === entry.model.pinout.length) {
+                const resolvedId = entry.declaredTypes[0] ?? declaredType;
+                return { partId: resolvedId, evidence: "declared-type" };
+            }
+        }
+        // 2. Fall back to standard matching on declaredType only (backward compatibility)
+        for (const entry of registry.entries) {
+            if (partNumberUnmatched && entry.model.kind === "macro")
+                continue;
+            if (entry.declaredTypes.some((type) => foldToken(type) === folded)) {
+                const resolvedId = entry.declaredTypes[0] ?? declaredType;
+                return { partId: resolvedId, evidence: "declared-type" };
+            }
+        }
+    }
+    for (const entry of registry.entries) {
+        if (entry.terminalRoleGroups.length === 0) {
+            continue;
+        }
+        if (matchesTerminalRoles(device, entry)) {
+            const partId = entry.partIds[0] ?? entry.declaredTypes[0];
+            if (partId !== undefined) {
+                return { partId, evidence: "pinout" };
+            }
+        }
+    }
+    return null;
+}
+/**
+ * A pinout match is exact, not "these roles are present among possibly others". Two
+ * directions, both whole-token and case-folded on both sides: every required group must
+ * be satisfied by an alias, and every role the device declares must be covered by some
+ * group. The second direction is the guard against a superset: a five-terminal part that
+ * carries `in`/`gnd`/`out` plus two more would otherwise satisfy a three-group
+ * regulator's signature and be stamped with a regulator's law. Presence alone is a
+ * substring-shaped trap wearing role tokens.
+ *
+ * A part that declares more terminals than groups on purpose -- the MN3101 clock driver,
+ * six named roles on an eight-pin body, two power pins the entry does not model -- still
+ * matches, because its *extra terminals* carry no role token (a bare `pin` number folds
+ * to null and is not in `present`); the test is on roles, not on pin count.
+ *
+ * Whole-token comparison cannot invent a match the way a substring search can, but it is
+ * coverage-limited: the transcriber must have used a spelling the registry lists. That is
+ * a known and accepted bound, not a defect to paper over.
+ */
+function matchesTerminalRoles(device, entry) {
+    const present = device.identity.terminalRoles
+        .filter((role) => role !== null)
+        .map(foldToken);
+    if (present.length === 0) {
+        return false;
+    }
+    const covered = (role) => entry.terminalRoleGroups.some((group) => group.some((alias) => foldToken(alias) === role));
+    return (entry.terminalRoleGroups.every((group) => group.some((alias) => present.includes(foldToken(alias)))) && present.every(covered));
+}
+//# sourceMappingURL=identify.js.map

package/dist/identify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identify.js","sourceRoot":"","sources":["../src/identify.ts"],"names":[],"mappings":"AAAA,0CAA0C;AAC1C,EAAE;AACF,oFAAoF;AACpF,8EAA8E;AAC9E,kFAAkF;AAClF,2EAA2E;AAC3E,EAAE;AACF,2EAA2E;AAC3E,EAAE;AACF,gFAAgF;AAChF,2EAA2E;AAC3E,yEAAyE;AACzE,EAAE;AACF,oFAAoF;AACpF,6EAA6E;AAC7E,4DAA4D;AAC5D,EAAE;AACF,sFAAsF;AACtF,iFAAiF;AACjF,oFAAoF;AACpF,gFAAgF;AAChF,mFAAmF;AAEnF,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EACN,UAAU,EACV,SAAS,GAGT,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAExE,iFAAiF;AACjF,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACpD,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAc;IACtD,OAAO,CACN,sBAAsB,CAAC,MAAM,CAAC;QAC9B,MAAM,CAAC,IAAI,KAAK,KAAK;QACrB,0FAA0F;QAC1F,2FAA2F;QAC3F,4FAA4F;QAC5F,yCAAyC;QACzC,MAAM,CAAC,IAAI,KAAK,aAAa;QAC7B,2DAA2D;QAC3D,+EAA+E;QAC/E,0BAA0B,CAAC,MAAM,CAAC,CAClC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,MAAc,EAAE,QAAsB;IACjF,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC9C,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,SAAS,GAAG,UAAU,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1D,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,CAC3B,CAAC,KAAK,EAAE,EAAE,CACT,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QAC/B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAC1E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAAc,EAAE,QAAsB;IACnF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC9C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,UAAU,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACrC,SAAS;QACV,CAAC;QACD,MAAM,OAAO,GACZ,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;YACrD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;QAC3E,IAAI,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,CAAC;YAC3F,OAAO,IAAI,CAAC;QACb,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,MAAc,EAAE,KAAgB;IAC3D,OAAO,CACN,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACnC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QAC/B,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,aAAa,CAAC,CAC3E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CACvB,MAAc,EACd,QAAsB;IAEtB,IACC,CAAC,wBAAwB,CAAC,MAAM,CAAC;QACjC,CAAC,6BAA6B,CAAC,MAAM,EAAE,QAAQ,CAAC;QAChD,CAAC,2BAA2B,CAAC,MAAM,EAAE,QAAQ,CAAC,EAC7C,CAAC;QACF,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC9C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,2FAA2F;QAC3F,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;gBAC3D,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAC7E,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;wBACvD,sEAAsE;wBACtE,qEAAqE;wBACrE,IAAI,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;4BACvC,SAAS;wBACV,CAAC;wBACD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;wBAClD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;oBACvD,CAAC;gBACF,CAAC;qBAAM,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACzC,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;oBAClD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;gBACvD,CAAC;YACF,CAAC;QACF,CAAC;QACD,yFAAyF;QACzF,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;gBAC3D,IACC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC/B,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAChD,CAAC;oBACF,IAAI,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;wBACvC,SAAS;oBACV,CAAC;oBACD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;oBAClD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;gBACvD,CAAC;YACF,CAAC;QACF,CAAC;QACD,0FAA0F;QAC1F,EAAE;QACF,sFAAsF;QACtF,wFAAwF;QACxF,qFAAqF;QACrF,wFAAwF;QACxF,mFAAmF;QACnF,uDAAuD;QACvD,uFAAuF;QACvF,uFAAuF;QACvF,yFAAyF;QACzF,wFAAwF;QACxF,SAAS;QACT,EAAE;QACF,0FAA0F;QAC1F,0FAA0F;QAC1F,wFAAwF;QACxF,yEAAyE;QACzE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;gBAC3D,IAAI,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;oBACvC,SAAS;gBACV,CAAC;gBACD,OAAO;oBACN,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,UAAU;oBACtC,QAAQ,EAAE,YAAY;iBACtB,CAAC;YACH,CAAC;QACF,CAAC;QAED,yFAAyF;QACzF,sFAAsF;QACtF,yFAAyF;QACzF,0FAA0F;QAC1F,8EAA8E;QAC9E,yDAAyD;QACzD,EAAE;QACF,kFAAkF;QAClF,kEAAkE;QAClE,kFAAkF;QAClF,yFAAyF;QACzF,uFAAuF;QACvF,4EAA4E;QAC5E,MAAM,SAAS,GAAG,UAAU,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;gBAC/E,IAAI,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;oBACvC,SAAS;gBACV,CAAC;gBACD,OAAO;oBACN,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,UAAU;oBACtC,QAAQ,EAAE,YAAY;iBACtB,CAAC;YACH,CAAC;QACF,CAAC;IACF,CAAC;IAED,yEAAyE;IACzE,EAAE;IACF,wFAAwF;IACxF,6FAA6F;IAC7F,8FAA8F;IAC9F,gGAAgG;IAChG,yFAAyF;IACzF,2EAA2E;IAC3E,EAAE;IACF,0FAA0F;IAC1F,4FAA4F;IAC5F,6FAA6F;IAC7F,6FAA6F;IAC7F,2EAA2E;IAC3E,+FAA+F;IAC/F,2FAA2F;IAC3F,0FAA0F;IAC1F,gGAAgG;IAChG,uFAAuF;IACvF,cAAc;IACd,EAAE;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,4FAA4F;IAC5F,uFAAuF;IACvF,0EAA0E;IAC1E,yDAAyD;IACzD,MAAM,mBAAmB,GAAG,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IAE5E,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;IAClD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,4GAA4G;QAC5G,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,IACC,CAAC,CAAC,mBAAmB,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;gBACtD,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC;gBAC9D,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC;gBACzE,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAChD,CAAC;gBACF,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC;gBAC1D,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;YAC1D,CAAC;QACF,CAAC;QACD,kFAAkF;QAClF,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,mBAAmB,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YAClE,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;gBACpE,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC;gBAC1D,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;YAC1D,CAAC;QACF,CAAC;IACF,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,SAAS;QACV,CAAC;QACD,IAAI,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;YACvC,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,oBAAoB,CAAC,MAAc,EAAE,KAAgB;IAC7D,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa;SAC3C,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;SAC/C,GAAG,CAAC,SAAS,CAAC,CAAC;IACjB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACvC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAChD,CAAC;IACH,OAAO,CACN,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CACzD,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAC3B,CAAC;AACH,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,10 @@
+export { compile, compileToArtifact, type CompileOptions } from "./compile";
+export { emit } from "./emit";
+export { parseQuantity, readNetlist } from "./netlist";
+export { emptyRegistry, foldPartId, foldToken, registryEntryFor, registryLawFor, type PartEntry, type PartRegistry, type PartSection, } from "./registry";
+export { canonicalPartId } from "./part-number";
+export { pedalPartCatalog, zenerCatalogPartIds } from "./part-catalog";
+export { resolveSupplyStamps, type RefusedSupply, type ResolvedSupply, type SupplyAddress, type SupplyRefusalReason, type SupplyResolution, } from "./supply-stamps";
+export { attachDeviceLaws } from "./device-laws";
+export * from "./types";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,KAAK,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EACN,aAAa,EACb,UAAU,EACV,SAAS,EACT,gBAAgB,EAChB,cAAc,EACd,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,WAAW,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EACN,mBAAmB,EACnB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,GACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,cAAc,SAAS,CAAC"}

package/dist/index.js

@@ -0,0 +1,19 @@
+// Public surface of the v2 compiler: `.vdsp` source text to a compiled Program.
+//
+// This is the whole of what leaves the module. `@vessel-dsp/runtime`, the browser
+// surface and the report scripts import from here; nothing outside `src/compiler/`
+// reaches a stage file directly. Report-only helpers live in `./diagnostics`, and the
+// synthetic circuits the tests and the parity instruments share live in `./fixtures`.
+//
+// Adding a name here is a public-API decision. A stage that needs to be reached from a
+// script is a diagnostics export, not a public one.
+export { compile, compileToArtifact } from "./compile.js";
+export { emit } from "./emit.js";
+export { parseQuantity, readNetlist } from "./netlist.js";
+export { emptyRegistry, foldPartId, foldToken, registryEntryFor, registryLawFor, } from "./registry.js";
+export { canonicalPartId } from "./part-number.js";
+export { pedalPartCatalog, zenerCatalogPartIds } from "./part-catalog.js";
+export { resolveSupplyStamps, } from "./supply-stamps.js";
+export { attachDeviceLaws } from "./device-laws.js";
+export * from "./types.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,kFAAkF;AAClF,mFAAmF;AACnF,sFAAsF;AACtF,sFAAsF;AACtF,EAAE;AACF,uFAAuF;AACvF,oDAAoD;AAEpD,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAuB,MAAM,WAAW,CAAC;AAC5E,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EACN,aAAa,EACb,UAAU,EACV,SAAS,EACT,gBAAgB,EAChB,cAAc,GAId,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EACN,mBAAmB,GAMnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,cAAc,SAAS,CAAC"}

package/dist/inert-controls.d.ts

@@ -0,0 +1,15 @@
+import type { InertControlWarning, Netlist, Program } from "./types";
+/**
+ * A pot whose wiper node touches nothing else is electrically a fixed resistor.
+ *
+ * The two halves of the track are in series with a floating junction between them, so
+ * whatever the wiper takes from one half it gives back to the other and their sum is
+ * the whole track no matter where the knob sits. The pot still stamps, still solves,
+ * and still moves its two conductances -- it just cannot change any node voltage, which
+ * is why listening finds it and the matrix does not.
+ *
+ * A wiper tied back to one of its own ends is a rheostat and genuinely varies, so it
+ * has degree 2 and is correctly not reported here.
+ */
+export declare function findInertControls(netlist: Netlist, program: Program): readonly InertControlWarning[];
+//# sourceMappingURL=inert-controls.d.ts.map

package/dist/inert-controls.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inert-controls.d.ts","sourceRoot":"","sources":["../src/inert-controls.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAGX,mBAAmB,EACnB,OAAO,EAEP,OAAO,EACP,MAAM,SAAS,CAAC;AAEjB;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAChC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,GACd,SAAS,mBAAmB,EAAE,CAwGhC"}