@vessel-dsp/compiler 0.0.0-stage → 0.2.0

package/dist/unreachable-output.js

@@ -0,0 +1,97 @@
+// A program that reaches its output port with nothing at all.
+//
+// **The question a builder actually asks, and the one nothing answered.** Wire a guitar signal
+// into a chip the registry cannot model -- an omitted codec, a DSP declared as a pin shell, a
+// package whose analog pins the packet never traced -- and the chip lowers to `open`. The
+// compiled program is then byte-for-byte the circuit *without* it: the stages before it stamp
+// exactly as they did, the document is `ok`, and the output jack sits on a node no live block
+// produces. `ic-not-executed` names the chip; nothing named the consequence.
+//
+// **What this proves, and it is a proof rather than an inference.** `link.ts` already computes
+// which blocks reach the output (`blocksReachingOutput`) and emits only those into `order`. A
+// program whose `order` is empty executes no block under any runtime, at any control position,
+// at any sample rate. It cannot produce audio. That is a statement about the emitted program,
+// not a claim about a graph.
+//
+// **Why this is not path-finding, which was the obvious design and is the wrong one.**
+// `scripts/report-signal-path.ts` walks input to output over device conduction, and its own
+// header records the trap: a non-inverting op-amp stage has no passive route from its signal
+// input to its output, so `vemuram-jan-ray`, `mxr-micro-amp` and `jhs-morning-glory` all read
+// "no path" while rendering perfectly well. A warning built on that graph would fire on working
+// pedals, and a warning that cries wolf on a working pedal is worse than no warning. The first
+// attempt here made a smaller version of the same mistake -- comparing `ports.output`, a global
+// node id, against the node ids inside stamps -- and flagged 42 of 118 packets including
+// `mxr-micro-amp` and `mxr-carbon-copy`. Block node ids are block-local; the comparison was
+// meaningless. Measured against the emitted `order` instead, the false-alarm count is zero.
+//
+// **What it does not prove.** Not that a program with a non-empty `order` is audible: a block
+// can execute and still be attenuated to nothing, which is `report-signal-path.ts`'s question
+// and stays there. And a live `macro` block whose write-back reaches no block claiming the
+// output port is *not* caught, because `blocksReachingOutput` treats every macro as live by
+// construction; `boss-ps-2` and `boss-tu-3` are in that position and are deliberately left
+// alone rather than flagged on a rule this cannot back.
+//
+// **Warning, not refusal**, for the reason the repository settles this trade every time: four
+// corpus packets are in this state today (`boss-bf-3`, `boss-hr-2`, `boss-oc-3`, `boss-st-2`,
+// each a digital pedal whose audio path crosses a chip that is not modelled) and refusing them
+// would trade a compiling packet for a stricter gate. `boss-bf-3` is the one to look at first:
+// it compiles **148 blocks and executes none of them**.
+import { deviceCountByNode } from "./device-laws.js";
+/**
+ * How much of the document is wired, as a sentence, or empty when it is wired normally.
+ *
+ * **The number that explains the block count.** `boss-bf-3` compiles 148 blocks of one stamp each
+ * and runs none, and the block count alone reads like a compiler defect. It is not: its 166
+ * devices declare 458 terminals across 418 non-ground nodes and only **10** of those nodes are
+ * touched by more than one device. A node one device touches is not a net, so the document is a
+ * terminalized parts list rather than a circuit, which is exactly the graph coverage its own
+ * README claims (`terminalized-source-shell`).
+ *
+ * Reported as a measurement with no threshold and no verdict, because the corpus has a spread
+ * rather than two classes: the median packet shares 93.3% of its non-ground nodes, and the tail
+ * runs 2.1% (`boss-oc-3`), 2.4% (`boss-bf-3`), 4.8% (`boss-bf-2`), 11.5% (`boss-dd-5`). Naming a
+ * cutoff would invent a boundary the data does not have; the reader can see the ratio.
+ */
+function wiringSummary(netlist) {
+    const counts = deviceCountByNode(netlist);
+    let nets = 0;
+    let shared = 0;
+    for (const [node, devices] of counts) {
+        if (node === 0) {
+            continue;
+        }
+        nets += 1;
+        if (devices >= 2) {
+            shared += 1;
+        }
+    }
+    if (nets === 0) {
+        return "";
+    }
+    const terminals = netlist.devices.reduce((total, device) => total + device.nodes.length, 0);
+    return (` Its ${netlist.devices.length} devices declare ${terminals} terminals across ${nets} ` +
+        `non-ground nodes, and ${shared} of those nodes are touched by more than one device: a node ` +
+        "only one device touches is not a net, so a low share here means the document's " +
+        "connectivity was never captured rather than that a component is missing a model.");
+}
+export function findUnreachableOutput(program, netlist) {
+    if (program.order.length > 0) {
+        return [];
+    }
+    const macros = program.blocks.filter((block) => block.kind === "macro" || block.kind === "composed").length;
+    return [
+        {
+            code: "output-port-unreachable",
+            device: null,
+            detail: `no block reaches the output port, so this program's execution order is empty: ` +
+                `${program.blocks.length} block${program.blocks.length === 1 ? " was" : "s were"} compiled ` +
+                `(${macros} of them DSP blocks) and none of them runs. It can produce no audio at any ` +
+                "control position. The usual cause is a component on the signal path that carries no " +
+                "executable model, which an `ic-not-executed` or `electrically-isolated-ic` warning " +
+                "beside this one will name: the stages around it still compile, so the document looks " +
+                "whole while the path to the jack is severed." +
+                wiringSummary(netlist),
+        },
+    ];
+}
+//# sourceMappingURL=unreachable-output.js.map

package/dist/unreachable-output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unreachable-output.js","sourceRoot":"","sources":["../src/unreachable-output.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,EAAE;AACF,+FAA+F;AAC/F,8FAA8F;AAC9F,0FAA0F;AAC1F,8FAA8F;AAC9F,8FAA8F;AAC9F,6EAA6E;AAC7E,EAAE;AACF,+FAA+F;AAC/F,8FAA8F;AAC9F,+FAA+F;AAC/F,8FAA8F;AAC9F,6BAA6B;AAC7B,EAAE;AACF,uFAAuF;AACvF,4FAA4F;AAC5F,6FAA6F;AAC7F,8FAA8F;AAC9F,gGAAgG;AAChG,+FAA+F;AAC/F,gGAAgG;AAChG,yFAAyF;AACzF,4FAA4F;AAC5F,4FAA4F;AAC5F,EAAE;AACF,8FAA8F;AAC9F,8FAA8F;AAC9F,2FAA2F;AAC3F,4FAA4F;AAC5F,2FAA2F;AAC3F,wDAAwD;AACxD,EAAE;AACF,8FAA8F;AAC9F,8FAA8F;AAC9F,+FAA+F;AAC/F,+FAA+F;AAC/F,wDAAwD;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGlD;;;;;;;;;;;;;;GAcG;AACH,SAAS,aAAa,CAAC,OAAgB;IACtC,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;YAChB,SAAS;QACV,CAAC;QACD,IAAI,IAAI,CAAC,CAAC;QACV,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,CAAC,CAAC;QACb,CAAC;IACF,CAAC;IACD,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,CAAC;IACX,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CACvC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAC9C,CAAC,CACD,CAAC;IACF,OAAO,CACN,QAAQ,OAAO,CAAC,OAAO,CAAC,MAAM,oBAAoB,SAAS,qBAAqB,IAAI,GAAG;QACvF,yBAAyB,MAAM,8DAA8D;QAC7F,iFAAiF;QACjF,kFAAkF,CAClF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACpC,OAAgB,EAChB,OAAgB;IAEhB,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,CAAC;IACX,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CACnC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAC9D,CAAC,MAAM,CAAC;IACT,OAAO;QACN;YACC,IAAI,EAAE,yBAAyB;YAC/B,MAAM,EAAE,IAAI;YACZ,MAAM,EACL,gFAAgF;gBAChF,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,SAAS,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,YAAY;gBAC5F,IAAI,MAAM,6EAA6E;gBACvF,sFAAsF;gBACtF,qFAAqF;gBACrF,uFAAuF;gBACvF,8CAA8C;gBAC9C,aAAa,CAAC,OAAO,CAAC;SACvB;KACD,CAAC;AACH,CAAC"}

package/dist/unreadable-terminal-role.d.ts

@@ -0,0 +1,67 @@
+import type { Device, LawedNetlist, NonExecutableSupportShellWarning, UnreadableTerminalRoleWarning } from "./types";
+/**
+ * A component declared as one transistor that is really **several devices in one shell**.
+ *
+ * `boss-ce-1` declares `SRC_CE1_Q3_Q6_D01_D05_CLOCK_BRIDGE_SUPPORT` as `kind: bjt` with
+ * **nineteen** terminals, standing for four transistors and five diodes, and
+ * `SRC_CE1_Q15_Q16_Q17_POWER_REGULATOR` as `kind: bjt` with eight, standing for three. Stamping
+ * either as a single transistor invents a device: the packet's own `Description` says "Exact
+ * physical package C/B/E orientation … remain unresolved", so there is no base, collector or
+ * emitter to bind, and declaration order supplies one anyway.
+ *
+ * **Two conditions, and the conjunction is what makes this safe.**
+ *
+ *  - *The law cannot consume the terminals.* A `bjt`/`fet` law binds exactly three nodes, so a
+ *    component declaring more has terminals no stamp can reach.
+ *  - *And its roles cannot be read.* This is the discriminator. Measured across the corpus, 20
+ *    devices declare more terminals than their kind's law consumes, and almost all are
+ *    legitimate: 14 are multi-junction diodes (bridges, dual tube rectifiers) that
+ *    `diodeJunctions` places by role, and `moogerfooger-mf-102`'s four `MPQ3906` sections are a
+ *    quad transistor array declaring `collector`/`base`/`emitter` plus two unused package pins,
+ *    which read cleanly. Only `boss-ce-1`'s two shells fail both tests.
+ *
+ * **Why not read `PartNumber`.** These shells announce themselves there —
+ * `"Q3/Q4 2SA493; Q5/Q6 2SC536F; D01-D05 1S1555"` is plainly several parts — and splitting that
+ * string on its separators is exactly the prose parsing this repository forbids for a
+ * classification decision. Terminal count against a law's fixed arity, and whether a closed role
+ * vocabulary reads, are structural facts about the document instead.
+ *
+ * Deliberately not extended to `opamp`: an op-amp package legitimately declares more terminals
+ * than its law binds (supplies, a second section), so arity says nothing there. `boss-dm-3`'s
+ * 8-pin `IC1` is that case and is a registry-expansion question, not a shell.
+ */
+export declare function isMultiDeviceTransistorShell(device: Device): boolean;
+export declare function findUnreadableTerminalRoles(lawed: LawedNetlist): readonly UnreadableTerminalRoleWarning[];
+/**
+ * The multi-device shells stage 3 resolved to `open`, so a packet is told the component was
+ * dropped rather than silently losing it.
+ *
+ * Paired with `isMultiDeviceTransistorShell`'s use in `resolveDevice`: that decides the law, this
+ * reports it. Conjoined with the law so a device the predicate matches but some other rule opened
+ * — an isolated IC, a charge pump — is not attributed to this one.
+ */
+export declare function findMultiDeviceShells(lawed: LawedNetlist): readonly NonExecutableSupportShellWarning[];
+/**
+ * An `opamp` whose own device-class law cannot bind its terminals, so a registry `sections` entry
+ * is the only thing that can place them.
+ *
+ * **The direction matters, and it is the OTA rule inverted.** `sectionDevices` records that for an
+ * OTA "the registry only wins when it can bind by role", because an OTA carries a correct
+ * role-bound device-class law and a positional guess from an entry written for other spellings is
+ * strictly worse. An op-amp is in the same position, so the same principle gives the mirror rule:
+ * **the device-class law wins wherever it can read the terminals, and the registry is consulted
+ * only where it cannot.** That keeps every ordinary op-amp exactly where it is.
+ *
+ * Measured over the corpus: 113 `opamp` devices declare three terminals, 195 declare five, four
+ * declare seven (`LM308`/`OP07CP` balance pins, `HA1457W` compensation pins) and **one** declares
+ * eight -- `boss-dm-3`'s `IC1`, a whole `NJM4558DD` dual package as a single component. Only that
+ * one fails to bind, because it names two non-inverting inputs and `uniqueRoleIndex` refuses an
+ * ambiguous read. Stamped as one op-amp it put both inputs on node 4 and drove node 10, which is
+ * *both* sections' non-inverting input.
+ *
+ * Widening `mayCarryRegistrySections` to every `opamp` was tried on 2026-09-02 and measured wrong:
+ * `boss-dm-3` itself became `unsupported` and 14 other packets' programs moved. This predicate is
+ * why the fix is scoped rather than a kind test.
+ */
+export declare function opampNeedsRegistrySections(device: Device): boolean;
+//# sourceMappingURL=unreadable-terminal-role.d.ts.map

package/dist/unreadable-terminal-role.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unreadable-terminal-role.d.ts","sourceRoot":"","sources":["../src/unreadable-terminal-role.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EACX,MAAM,EACN,YAAY,EACZ,gCAAgC,EAChC,6BAA6B,EAC7B,MAAM,SAAS,CAAC;AAwDjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAqBpE;AA8HD,wBAAgB,2BAA2B,CAC1C,KAAK,EAAE,YAAY,GACjB,SAAS,6BAA6B,EAAE,CAqI1C;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACpC,KAAK,EAAE,YAAY,GACjB,SAAS,gCAAgC,EAAE,CAuB7C;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAQlE"}

package/dist/unreadable-terminal-role.js

@@ -0,0 +1,409 @@
+// A device that **named** its terminals in a spelling no resolver recognises, and was therefore
+// wired by declaration order.
+//
+// **The defect class this closes.** Four asymmetric-device resolvers in `lower.ts` -- transistor,
+// op-amp, two-terminal diode, supply -- fall back to declaration order when they cannot read a
+// terminal role. That fallback is correct for a document of bare lugs, which carries no
+// orientation evidence at all. It is a *guess* for a document that named its terminals in a
+// vocabulary the resolver does not speak, and the guess is silent: the packet compiles `ok`,
+// renders, and sounds like something. `bjtTerminals`' own comment records why that matters --
+// 449 of the corpus's 490 transistors do not declare their control terminal first, so positional
+// order exchanges base and collector on nearly every transistor there is.
+//
+// **Why a warning and not a refusal.** The 2026-09-02 census (R1 in
+// `thoughts/shared/plans/archive/2026-08-31-v2-complexity-reduction-plan.md`) measured the residue after
+// the true synonyms were absorbed: five packets that compile today carry a device this would
+// refuse, and all five render. `CompileWarning`'s own contract is the rule for exactly this
+// situation -- "things that compiled but will not behave. A warning never blocks a program ... but
+// it must not be silent either" -- and this repository's standing principle is not to trade a
+// working product for a stricter gate. So the silent class becomes *named* here, which was the
+// whole complaint, and promoting these rows to refusals is a later layer, once the named rows are
+// corrected at the source.
+//
+// **What this does not claim.** A warning here says the resolver could not read the declared
+// roles and fell back to position. It does **not** say the resulting wiring is wrong: declaration
+// order may coincide with the right answer, and on a symmetric device it always does. The
+// `orientationFreeRoles` escape hatch removes the cases where the fallback is the document's
+// intended reading, so what remains is "a stated fact this pipeline could not use" -- which is
+// the same bar `report-source-coverage.ts` applies on the property side.
+import { orientationFreeRoles, supplyDriveRoles, } from "./terminal-roles.js";
+import { foldToken } from "./registry.js";
+import { otaPackageOrderAssumed } from "./device-laws.js";
+import { optocouplerBinding } from "./lower.js";
+/**
+ * The one terminal index whose role is in `accepted`, or null when none or several are.
+ *
+ * Mirrors `lower.ts`'s `uniqueRoleIndex` deliberately, including its refusal of an ambiguous
+ * match: a device declaring two terminals that both read as one slot is more than one device in
+ * one component, and the resolver falls back for that reason too.
+ */
+function unique(roles, accepted) {
+    const found = roles.flatMap((role, index) => role !== null && accepted.has(role) ? [index] : []);
+    return found.length === 1 ? (found[0] ?? null) : null;
+}
+const allSlotsRead = (roles, slots) => slots.every((slot) => unique(roles, slot) !== null);
+/**
+ * The declared roles a resolver was given and could not place: everything the document named,
+ * minus the tokens that deliberately state no orientation. Empty means there was nothing to
+ * misread — either the document named nothing, or what it named carries no electrode claim.
+ */
+function unplaceableRoles(roles, slots) {
+    const named = roles.filter((role) => role !== null);
+    if (named.length === 0 || allSlotsRead(roles, slots)) {
+        return [];
+    }
+    return named.filter((role) => !orientationFreeRoles.has(role));
+}
+/** A transistor whose declared roles do not give exactly one full electrode triple. */
+function transistorDeclaredRolesMissing(device) {
+    // Fewer than three terminals is not a transistor this law can bind at all, and a device with
+    // none reaches no resolver.
+    if (device.nodes.length < 3) {
+        return false;
+    }
+    const declared = device.identity.declaredTerminalRoles;
+    const has = (role) => declared.filter((value) => value === role).length === 1;
+    return !((has("base") && has("collector") && has("emitter")) ||
+        (has("gate") && has("drain") && has("source")));
+}
+/**
+ * A component declared as one transistor that is really **several devices in one shell**.
+ *
+ * `boss-ce-1` declares `SRC_CE1_Q3_Q6_D01_D05_CLOCK_BRIDGE_SUPPORT` as `kind: bjt` with
+ * **nineteen** terminals, standing for four transistors and five diodes, and
+ * `SRC_CE1_Q15_Q16_Q17_POWER_REGULATOR` as `kind: bjt` with eight, standing for three. Stamping
+ * either as a single transistor invents a device: the packet's own `Description` says "Exact
+ * physical package C/B/E orientation … remain unresolved", so there is no base, collector or
+ * emitter to bind, and declaration order supplies one anyway.
+ *
+ * **Two conditions, and the conjunction is what makes this safe.**
+ *
+ *  - *The law cannot consume the terminals.* A `bjt`/`fet` law binds exactly three nodes, so a
+ *    component declaring more has terminals no stamp can reach.
+ *  - *And its roles cannot be read.* This is the discriminator. Measured across the corpus, 20
+ *    devices declare more terminals than their kind's law consumes, and almost all are
+ *    legitimate: 14 are multi-junction diodes (bridges, dual tube rectifiers) that
+ *    `diodeJunctions` places by role, and `moogerfooger-mf-102`'s four `MPQ3906` sections are a
+ *    quad transistor array declaring `collector`/`base`/`emitter` plus two unused package pins,
+ *    which read cleanly. Only `boss-ce-1`'s two shells fail both tests.
+ *
+ * **Why not read `PartNumber`.** These shells announce themselves there —
+ * `"Q3/Q4 2SA493; Q5/Q6 2SC536F; D01-D05 1S1555"` is plainly several parts — and splitting that
+ * string on its separators is exactly the prose parsing this repository forbids for a
+ * classification decision. Terminal count against a law's fixed arity, and whether a closed role
+ * vocabulary reads, are structural facts about the document instead.
+ *
+ * Deliberately not extended to `opamp`: an op-amp package legitimately declares more terminals
+ * than its law binds (supplies, a second section), so arity says nothing there. `boss-dm-3`'s
+ * 8-pin `IC1` is that case and is a registry-expansion question, not a shell.
+ */
+export function isMultiDeviceTransistorShell(device) {
+    if (device.kind !== "bjt" &&
+        device.kind !== "jfet" &&
+        device.kind !== "mosfet") {
+        return false;
+    }
+    if (device.nodes.length <= 3) {
+        return false;
+    }
+    // **The declared triple, not a table of spellings.** This predicate decides the *program* --
+    // a shell is opened rather than stamped -- so it was the last program-affecting reader of
+    // `transistorControlRoles` and its two siblings -- now deleted, since diagnostics were their
+    // only other reader and it needed neither. Every device this distinguishes already declares
+    // its electrodes, which is what makes the swap behaviour-neutral: `moogerfooger-mf-102`'s
+    // four `MPQ3906` sections declare `collector`/`base`/`emitter` beside two unused package
+    // pins, `fulltone-ocd`'s and `mxr-carbon-copy`'s MOSFETs declare `drain`/`gate`/`source`
+    // beside `bulk`, and `boss-ce-1`'s two shells declare nothing at all -- which is exactly the
+    // distinction being drawn.
+    return transistorDeclaredRolesMissing(device);
+}
+/**
+ * The slot sets each law's resolver reads, or null for a law this check does not cover.
+ *
+ * Only the four asymmetric resolvers that **fall back to declaration order** are listed. A
+ * resolver that already refuses on an unreadable role needs nothing here -- the triode, the
+ * pentode, the tube diode, the transformer and the multi-junction diode all name the offending
+ * token themselves. Deliberately absent for a different reason: a **pot**, whose unresolved
+ * orientation is a quiet-reference hint rather than a topology decision ("an unresolved pot,
+ * never a wrong one" -- `lowerRegion`'s own parameter docs); a **switch**, where the corpus
+ * routinely leaves the common terminal unnamed and `switchPoles` treats the first contact as
+ * common by design; and an **OTA**, whose binding permits a null bias pin outright and whose
+ * package fallback requires eight all-null roles, so a named OTA never reaches it.
+ */
+function slotsForLaw(law, device) {
+    // `bjt`, `fet` and `ideal-opamp` are handled by `declaredRolesMissing` instead: since
+    // 2026-09-03 their resolvers read the declared `role` rather than the terminal name, so
+    // checking the name vocabulary here would report a device as readable that the resolver then
+    // refuses or wires positionally -- the silent fallback this warning exists to catch. Keeping
+    // a warning on a different vocabulary from the resolver it guards is how that bug was
+    // introduced once already, in this same file, on the same day.
+    if (law === "bjt" || law === "fet" || law === "ideal-opamp") {
+        return null;
+    }
+    // A two-terminal diode is handled by `diodeDeclaredRolesMissing` for the same reason: its
+    // resolver reads the declared `anode`/`cathode`, so a name check here would call a device
+    // readable that the resolver then orients by declaration order.
+    if (law === "diode" && device.nodes.length === 2) {
+        return null;
+    }
+    // A rail declares one terminal and means "against ground", which is not a polarity
+    // question -- `supplyTerminals` returns early for it and reads no role at all.
+    if ((law === "voltage-source" || law === "ac-source") &&
+        device.nodes.length > 1) {
+        return [supplyDriveRoles];
+    }
+    return null;
+}
+/**
+ * `supplyTerminals` resolves from **either** end alone -- one named terminal beside an unlabelled
+ * lug is enough, and requiring both would discard the evidence in a supply declaring `positive`
+ * next to a bare pin. So its readable test is a disjunction where the other three are
+ * conjunctions, and treating it as a conjunction here would warn about supplies the resolver
+ * orients correctly.
+ *
+ * **The return half of the disjunction is gone**, along with `supplyReturnRoles`. Emptying that
+ * set left the corpus's `terminal-role-unreadable` count unchanged at 34, and removing its slot
+ * outright left it unchanged again -- so no corpus supply was being spared a warning by a
+ * `negative`/`neutral`/`return` *name*. Its declared counterpart is what `supplyTerminals` reads.
+ */
+function supplyReadable(roles) {
+    return roles.some((role) => role !== null && supplyDriveRoles.has(role));
+}
+/**
+ * The three-terminal roles a `bjt`/`fet` resolver needs, and whether the device declares them.
+ *
+ * Kept beside the name-based check rather than merged with it, because the two ask different
+ * questions now: this one asks what the *source declared*, which is what `lower.ts` reads.
+ */
+/**
+ * A switch with three or more contacts that declares no pole, so `switchPoles` takes the first
+ * contact as the common.
+ *
+ * **Two contacts are exempt, and the exemption is measured rather than assumed.** A closed contact
+ * pair is a symmetric conductance, so which terminal is called the pole cannot change the circuit
+ * -- verified by swapping the two terminals of `earthquaker-devices-plumes`'s `SW` and diffing the
+ * program: the only difference is the stamp's `a` and `b` fields exchanging, `{"a":25,"b":0}` for
+ * `{"a":0,"b":25}`. The digest moves and the circuit does not, which is the one case where the
+ * digest gate reports a difference that is not there.
+ *
+ * At three contacts it matters: the pole is the node every throw hangs off, and choosing the wrong
+ * one rewires the switch. 118 corpus switches name what each contact *connects to* -- `effect`,
+ * `bypass`, `rectifier_output` -- which says nothing about which is the pole, and 32 of those have
+ * three or more contacts.
+ */
+function switchPoleUnreadable(device) {
+    const declared = device.identity.declaredTerminalRoles;
+    if (declared.some((role) => role === "common")) {
+        return false;
+    }
+    // The name rung this used to mirror is gone from `switchPoles` along with
+    // `switchCommonRoles`, so the declared role above is the whole test. It stays worth
+    // recording that mirroring mattered: checking only the declaration once reported 62
+    // switches, and its first two examples had a terminal literally named `common`, which the
+    // compiler was still reading -- a warning naming a mechanism the compiler did not use is
+    // worse than none.
+    // Contacts only: a `coil` or `pin` terminal is not part of the mechanism's contact set, and a
+    // document declaring neither still has every terminal to choose a pole from.
+    const contacts = declared.some((role) => role !== null)
+        ? declared.filter((role) => role === "throw").length
+        : device.nodes.length;
+    return contacts >= 3;
+}
+/**
+ * A two-terminal diode that declares no orientation, so `diodeTerminals` takes its direction from
+ * declaration order.
+ *
+ * **`end`/`end` is the case this exists for.** Core's `end` means two interchangeable ends, which
+ * is true of a resistor and false of a diode: a diode has a direction, so `end`/`end` says the
+ * source did not state it rather than that there is nothing to state. 13 corpus diodes are in
+ * that position, and reversing one of them moves the program — measured by mutation, in a review
+ * that found this while `orientationFreeRoles` was keeping the warning quiet about it.
+ */
+function diodeDeclaredRolesMissing(device) {
+    const declared = device.identity.declaredTerminalRoles;
+    return !(declared.includes("anode") && declared.includes("cathode"));
+}
+/** An op-amp whose declared roles do not give exactly one of each signal pin. */
+function opampDeclaredRolesMissing(device) {
+    const declared = device.identity.declaredTerminalRoles;
+    return !["nonInverting", "inverting", "output"].every((role) => declared.filter((value) => value === role).length === 1);
+}
+export function findUnreadableTerminalRoles(lawed) {
+    const warnings = [];
+    // Read the law rather than `device.kind`, because a multi-section part has already become
+    // one device per section by this stage, with its roles rewritten to canonical ones -- so a
+    // dual op-amp the registry recognises is correctly wired and must not be reported here.
+    const lawByDevice = new Map(lawed.resolutions.flatMap((resolution) => resolution.outcome === "law"
+        ? [[resolution.device, resolution.law.kind]]
+        : []));
+    for (const device of lawed.netlist.devices) {
+        const law = lawByDevice.get(device.id);
+        if (law === undefined) {
+            continue;
+        }
+        if (law === "selector") {
+            if (switchPoleUnreadable(device)) {
+                const named = device.identity.terminalRoles
+                    .filter((role) => role !== null)
+                    .map((role) => `"${role}"`);
+                warnings.push({
+                    code: "terminal-role-unreadable",
+                    device: device.id,
+                    detail: `switch ${device.id} declares no \`common\` among its ${device.nodes.length} ` +
+                        "terminals' roles, so the first contact was taken as the pole and every other " +
+                        `contact hung off it${named.length > 0 ? ` (its terminals are named ${named.join(", ")})` : ""}. ` +
+                        "With three or more contacts the pole decides the wiring; with two it cannot.",
+                });
+            }
+            continue;
+        }
+        if (law === "ota") {
+            if (otaPackageOrderAssumed(device)) {
+                warnings.push({
+                    code: "terminal-role-unreadable",
+                    device: device.id,
+                    detail: `OTA ${device.id} names none of its eight terminals and declares no ` +
+                        "electrodes, so its inputs, output and bias were read as DIP-8 package " +
+                        "order. That is a better assumption than declaration order, which puts the " +
+                        "output on pin 3, but it is still the package's convention rather than " +
+                        "anything this document states.",
+                });
+            }
+            continue;
+        }
+        if (law === "optocoupler") {
+            const binding = optocouplerBinding(device);
+            if (binding !== "declared") {
+                warnings.push({
+                    code: "terminal-role-unreadable",
+                    device: device.id,
+                    detail: binding === "named"
+                        ? `optocoupler ${device.id} declares no anode or cell ends, so its LED ` +
+                            "direction was taken from its terminals' names instead. The wiring is " +
+                            "right and the evidence is prose: declaring `anode` and two `end` " +
+                            "roles states the same fact in a form nothing has to spell-match."
+                        : `optocoupler ${device.id} declares no roles and names none its ` +
+                            "resolver recognises, so its LED and cell were taken in declaration " +
+                            "order. An LED has a direction and the source did not state one.",
+                });
+            }
+            continue;
+        }
+        if (law === "diode" && device.nodes.length === 2) {
+            if (diodeDeclaredRolesMissing(device)) {
+                const named = device.identity.terminalRoles
+                    .filter((role) => role !== null)
+                    .map((role) => `"${role}"`);
+                warnings.push({
+                    code: "terminal-role-unreadable",
+                    device: device.id,
+                    detail: `diode ${device.id} declares no anode and cathode among its terminals' roles, ` +
+                        `so its direction was taken in declaration order instead${named.length > 0 ? ` (its terminals are named ${named.join(", ")})` : ""}. ` +
+                        "A diode has a direction and `end` does not state one, so declaration order " +
+                        "may or may not be the way this one conducts.",
+                });
+            }
+            continue;
+        }
+        if (law === "bjt" || law === "fet") {
+            if (transistorDeclaredRolesMissing(device)) {
+                const named = device.identity.terminalRoles
+                    .filter((role) => role !== null)
+                    .map((role) => `"${role}"`);
+                warnings.push({
+                    code: "terminal-role-unreadable",
+                    device: device.id,
+                    detail: `${device.kind} ${device.id} does not declare a base/collector/emitter or ` +
+                        "gate/drain/source among its terminals' roles, so they were taken in " +
+                        `declaration order instead${named.length > 0 ? ` (its terminals are named ${named.join(", ")})` : ""}. ` +
+                        "Declaration order may or may not be the right wiring.",
+                });
+            }
+            continue;
+        }
+        const slots = slotsForLaw(law, device);
+        if (slots === null) {
+            continue;
+        }
+        const roles = device.identity.terminalRoles;
+        // A supply resolves from **either** end alone, so its readable test is a disjunction
+        // where the other three are conjunctions; `unplaceableRoles` asks the conjunction.
+        if ((law === "voltage-source" || law === "ac-source") &&
+            supplyReadable(roles)) {
+            continue;
+        }
+        // Empty covers all three silent cases at once: nothing declared (bare lugs, where
+        // declaration order is all the document supports), roles that read cleanly, and roles
+        // that are orientation-free and so state no electrode to have missed.
+        const unreadable = unplaceableRoles(roles, slots);
+        if (unreadable.length === 0) {
+            continue;
+        }
+        warnings.push({
+            code: "terminal-role-unreadable",
+            device: device.id,
+            detail: `${device.kind} ${device.id} declares terminal role${unreadable.length === 1 ? "" : "s"} ` +
+                `${unreadable.map((role) => `"${role}"`).join(", ")} that its ${law} lowering ` +
+                "cannot place, so its terminals were taken in declaration order instead. Declaration " +
+                "order may or may not be the right wiring; the device's declared roles were not used.",
+        });
+    }
+    return warnings;
+}
+/**
+ * The multi-device shells stage 3 resolved to `open`, so a packet is told the component was
+ * dropped rather than silently losing it.
+ *
+ * Paired with `isMultiDeviceTransistorShell`'s use in `resolveDevice`: that decides the law, this
+ * reports it. Conjoined with the law so a device the predicate matches but some other rule opened
+ * — an isolated IC, a charge pump — is not attributed to this one.
+ */
+export function findMultiDeviceShells(lawed) {
+    const opened = new Set(lawed.resolutions.flatMap((resolution) => resolution.outcome === "law" && resolution.law.kind === "open"
+        ? [resolution.device]
+        : []));
+    return lawed.netlist.devices.flatMap((device) => opened.has(device.id) && isMultiDeviceTransistorShell(device)
+        ? [
+            {
+                code: "non-executable-support-shell",
+                device: device.id,
+                detail: `${device.kind} ${device.id} declares ${device.nodes.length} terminals for a law that ` +
+                    "binds three, and names none of them readably, so it stands for several devices " +
+                    "rather than one. It is not executed: stamping it as a single transistor would " +
+                    "invent a base, collector and emitter the source does not state.",
+            },
+        ]
+        : []);
+}
+/**
+ * An `opamp` whose own device-class law cannot bind its terminals, so a registry `sections` entry
+ * is the only thing that can place them.
+ *
+ * **The direction matters, and it is the OTA rule inverted.** `sectionDevices` records that for an
+ * OTA "the registry only wins when it can bind by role", because an OTA carries a correct
+ * role-bound device-class law and a positional guess from an entry written for other spellings is
+ * strictly worse. An op-amp is in the same position, so the same principle gives the mirror rule:
+ * **the device-class law wins wherever it can read the terminals, and the registry is consulted
+ * only where it cannot.** That keeps every ordinary op-amp exactly where it is.
+ *
+ * Measured over the corpus: 113 `opamp` devices declare three terminals, 195 declare five, four
+ * declare seven (`LM308`/`OP07CP` balance pins, `HA1457W` compensation pins) and **one** declares
+ * eight -- `boss-dm-3`'s `IC1`, a whole `NJM4558DD` dual package as a single component. Only that
+ * one fails to bind, because it names two non-inverting inputs and `uniqueRoleIndex` refuses an
+ * ambiguous read. Stamped as one op-amp it put both inputs on node 4 and drove node 10, which is
+ * *both* sections' non-inverting input.
+ *
+ * Widening `mayCarryRegistrySections` to every `opamp` was tried on 2026-09-02 and measured wrong:
+ * `boss-dm-3` itself became `unsupported` and 14 other packets' programs moved. This predicate is
+ * why the fix is scoped rather than a kind test.
+ */
+export function opampNeedsRegistrySections(device) {
+    if (device.kind !== "opamp") {
+        return false;
+    }
+    // The same question `opampTerminals` asks, on the same field: a package declares two of each
+    // signal role and the resolver refuses it, so this predicate has to agree with that or the
+    // two disagree about which devices need sections.
+    return opampDeclaredRolesMissing(device);
+}
+//# sourceMappingURL=unreadable-terminal-role.js.map

package/dist/unreadable-terminal-role.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unreadable-terminal-role.js","sourceRoot":"","sources":["../src/unreadable-terminal-role.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,8BAA8B;AAC9B,EAAE;AACF,kGAAkG;AAClG,+FAA+F;AAC/F,wFAAwF;AACxF,4FAA4F;AAC5F,6FAA6F;AAC7F,8FAA8F;AAC9F,iGAAiG;AACjG,0EAA0E;AAC1E,EAAE;AACF,oEAAoE;AACpE,yGAAyG;AACzG,6FAA6F;AAC7F,4FAA4F;AAC5F,mGAAmG;AACnG,8FAA8F;AAC9F,+FAA+F;AAC/F,kGAAkG;AAClG,2BAA2B;AAC3B,EAAE;AACF,6FAA6F;AAC7F,kGAAkG;AAClG,0FAA0F;AAC1F,6FAA6F;AAC7F,+FAA+F;AAC/F,yEAAyE;AACzE,OAAO,EACN,oBAAoB,EACpB,gBAAgB,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAQ7C;;;;;;GAMG;AACH,SAAS,MAAM,CACd,KAAiC,EACjC,QAA6B;IAE7B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC3C,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAClD,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED,MAAM,YAAY,GAAG,CACpB,KAAiC,EACjC,KAAqC,EAC3B,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;AAElE;;;;GAIG;AACH,SAAS,gBAAgB,CACxB,KAAiC,EACjC,KAAqC;IAErC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,CAAC;IACX,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,uFAAuF;AACvF,SAAS,8BAA8B,CAAC,MAAc;IACrD,6FAA6F;IAC7F,4BAA4B;IAC5B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IACvD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAE,CAC5B,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IACzD,OAAO,CAAC,CACP,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACnD,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAC9C,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAc;IAC1D,IACC,MAAM,CAAC,IAAI,KAAK,KAAK;QACrB,MAAM,CAAC,IAAI,KAAK,MAAM;QACtB,MAAM,CAAC,IAAI,KAAK,QAAQ,EACvB,CAAC;QACF,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACd,CAAC;IACD,6FAA6F;IAC7F,0FAA0F;IAC1F,6FAA6F;IAC7F,4FAA4F;IAC5F,0FAA0F;IAC1F,yFAAyF;IACzF,yFAAyF;IACzF,6FAA6F;IAC7F,2BAA2B;IAC3B,OAAO,8BAA8B,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,WAAW,CACnB,GAAW,EACX,MAAc;IAEd,sFAAsF;IACtF,wFAAwF;IACxF,6FAA6F;IAC7F,6FAA6F;IAC7F,sFAAsF;IACtF,+DAA+D;IAC/D,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACb,CAAC;IACD,0FAA0F;IAC1F,0FAA0F;IAC1F,gEAAgE;IAChE,IAAI,GAAG,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACb,CAAC;IACD,mFAAmF;IACnF,+EAA+E;IAC/E,IACC,CAAC,GAAG,KAAK,gBAAgB,IAAI,GAAG,KAAK,WAAW,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EACtB,CAAC;QACF,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,cAAc,CAAC,KAAiC;IACxD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED;;;;;GAKG;AACH;;;;;;;;;;;;;;;GAeG;AACH,SAAS,oBAAoB,CAAC,MAAc;IAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,0EAA0E;IAC1E,oFAAoF;IACpF,oFAAoF;IACpF,0FAA0F;IAC1F,yFAAyF;IACzF,mBAAmB;IACnB,8FAA8F;IAC9F,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;QACtD,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,MAAM;QACpD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;IACvB,OAAO,QAAQ,IAAI,CAAC,CAAC;AACtB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,yBAAyB,CAAC,MAAc;IAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IACvD,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,iFAAiF;AACjF,SAAS,yBAAyB,CAAC,MAAc;IAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IACvD,OAAO,CAAE,CAAC,cAAc,EAAE,WAAW,EAAE,QAAQ,CAAW,CAAC,KAAK,CAC/D,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CACjE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CAC1C,KAAmB;IAEnB,MAAM,QAAQ,GAAoC,EAAE,CAAC;IACrD,0FAA0F;IAC1F,2FAA2F;IAC3F,wFAAwF;IACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CAC1B,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CACxC,UAAU,CAAC,OAAO,KAAK,KAAK;QAC3B,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC;QACrD,CAAC,CAAC,EAAE,CACL,CACD,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACxB,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa;qBACzC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;qBAC/C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,0BAA0B;oBAChC,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,MAAM,EACL,UAAU,MAAM,CAAC,EAAE,qCAAqC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG;wBAC9E,+EAA+E;wBAC/E,sBAAsB,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,6BAA6B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI;wBAClG,8EAA8E;iBAC/E,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACnB,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,0BAA0B;oBAChC,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,MAAM,EACL,OAAO,MAAM,CAAC,EAAE,qDAAqD;wBACrE,wEAAwE;wBACxE,4EAA4E;wBAC5E,wEAAwE;wBACxE,gCAAgC;iBACjC,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,0BAA0B;oBAChC,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,MAAM,EACL,OAAO,KAAK,OAAO;wBAClB,CAAC,CAAC,eAAe,MAAM,CAAC,EAAE,8CAA8C;4BACvE,uEAAuE;4BACvE,mEAAmE;4BACnE,kEAAkE;wBACnE,CAAC,CAAC,eAAe,MAAM,CAAC,EAAE,wCAAwC;4BACjE,qEAAqE;4BACrE,iEAAiE;iBACpE,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,IAAI,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa;qBACzC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;qBAC/C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,0BAA0B;oBAChC,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,MAAM,EACL,SAAS,MAAM,CAAC,EAAE,6DAA6D;wBAC/E,0DAA0D,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,6BAA6B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI;wBACtI,6EAA6E;wBAC7E,8CAA8C;iBAC/C,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACpC,IAAI,8BAA8B,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa;qBACzC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;qBAC/C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,0BAA0B;oBAChC,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,MAAM,EACL,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,gDAAgD;wBAC3E,sEAAsE;wBACtE,4BAA4B,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,6BAA6B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI;wBACxG,uDAAuD;iBACxD,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACpB,SAAS;QACV,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;QAC5C,qFAAqF;QACrF,mFAAmF;QACnF,IACC,CAAC,GAAG,KAAK,gBAAgB,IAAI,GAAG,KAAK,WAAW,CAAC;YACjD,cAAc,CAAC,KAAK,CAAC,EACpB,CAAC;YACF,SAAS;QACV,CAAC;QACD,kFAAkF;QAClF,sFAAsF;QACtF,sEAAsE;QACtE,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACV,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,0BAA0B;YAChC,MAAM,EAAE,MAAM,CAAC,EAAE;YACjB,MAAM,EACL,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,0BAA0B,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG;gBAC1F,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,GAAG,YAAY;gBAC/E,sFAAsF;gBACtF,sFAAsF;SACvF,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACpC,KAAmB;IAEnB,MAAM,MAAM,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CACxC,UAAU,CAAC,OAAO,KAAK,KAAK,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;QAC7D,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;QACrB,CAAC,CAAC,EAAE,CACL,CACD,CAAC;IACF,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/C,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,4BAA4B,CAAC,MAAM,CAAC;QAC5D,CAAC,CAAC;YACA;gBACC,IAAI,EAAE,8BAAuC;gBAC7C,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,MAAM,EACL,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,aAAa,MAAM,CAAC,KAAK,CAAC,MAAM,4BAA4B;oBACvF,iFAAiF;oBACjF,gFAAgF;oBAChF,iEAAiE;aAClE;SACD;QACF,CAAC,CAAC,EAAE,CACL,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,0BAA0B,CAAC,MAAc;IACxD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACd,CAAC;IACD,6FAA6F;IAC7F,2FAA2F;IAC3F,kDAAkD;IAClD,OAAO,yBAAyB,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC"}

package/dist/unverified-pinout.d.ts

@@ -0,0 +1,27 @@
+import type { PartRegistry } from "./registry";
+import type { CompileWarning, Netlist } from "./types";
+/**
+ * Parts whose terminals are mapped to law slots by declaration order alone.
+ *
+ * **Measured 2026-09-03: 30 devices across 21 packets, and one of them is wrong.**
+ * (55 corpus devices take the positional rung; the 30 are those whose entry pinout is null
+ * throughout, so nothing checks the order at all.)
+ * `moogerfooger-mf-102`'s `U13` is a 78L05 whose three terminals are `pin1`/`pin2`/`pin3`, and the
+ * order the entry assumed puts the regulator's reference on the pedal's own rail: node 3 carries
+ * 24 devices and solves to **-4.9989 V**, so 18 of the packet's 26 active devices sit dark with
+ * their base-emitter junctions reverse-biased by a whole supply.
+ *
+ * **There is no connectivity rule to fall back on, and that was tested rather than assumed.**
+ * "The reference is the grounded terminal and the output is the busier of the rest" agrees with
+ * four of the corpus's named regulators, disagrees with `boss-dd-3b`'s `TA78L05F`, and cannot
+ * apply to `boss-rv-3`, whose 78L05 has no terminal on ground at all. A rule that fixes one
+ * packet and breaks another is not a rule.
+ *
+ * Nor does the corpus agree on the order itself: three packets name a 78Lxx `in, gnd, out` and
+ * `electro-harmonix-q-tron` names it `in, out, ground`. So this is reported rather than repaired
+ * -- the order has to be asserted by the entry's `pinout` or by the document's own terminal
+ * roles, and until one of them does, an author who writes a package's pins in a different order
+ * gets a different circuit with no diagnostic.
+ */
+export declare function findUnverifiedPinoutBindings(netlist: Netlist, registry: PartRegistry): readonly CompileWarning[];
+//# sourceMappingURL=unverified-pinout.d.ts.map

package/dist/unverified-pinout.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unverified-pinout.d.ts","sourceRoot":"","sources":["../src/unverified-pinout.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAa,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAU,OAAO,EAAE,MAAM,SAAS,CAAC;AAoE/D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,4BAA4B,CAC3C,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,YAAY,GACpB,SAAS,cAAc,EAAE,CAgC3B"}