@vessel-dsp/compiler 0.0.0-stage → 0.2.0

package/dist/dangling-active-terminal.d.ts

@@ -0,0 +1,47 @@
+import type { Block, CompileWarning, NodeId, Program } from "./types";
+/**
+ * Active-device stamps with a terminal on a node no other stamp touches.
+ *
+ * **Read from the lowered stamps, not the netlist.** The sibling rule in `over-driven-node.ts`
+ * learned this the hard way: `boss-sd-1` declares two supplies on one node and lowering collapses
+ * them, so a netlist-level count reported a contradiction that the compiled circuit does not
+ * contain. Stamps are what the runtime executes, so they are the only thing that can say whether a
+ * terminal really reaches nothing.
+ *
+ * Per block, because regions are independent solves and the same node id in two regions is two
+ * different unknowns.
+ *
+ * **Op-amp supply pins are excluded, and that exclusion is measured rather than assumed.** An
+ * `ideal-opamp` stamp carries no supply nodes at all — its rails are voltages resolved from the
+ * circuit's supply set — so a dangling `vcc` is invisible to the solve and cannot be what makes a
+ * packet silent. Including it flagged `mxr-distortion-plus` and `mxr-micro-amp`, both of which
+ * render plausibly, for a pin the model does not read. The exclusion is free here: those nodes
+ * never appear in a stamp.
+ *
+ * Ground is skipped: every device returns there and it is touched by everything.
+ */
+export declare function findDanglingActiveTerminals(program: Program): readonly CompileWarning[];
+/**
+ * Every node a stamp names, from the closed field list above.
+ *
+ * Exported because `scripts/report-net-graph-health.ts` needs the same answer: its dangling-net
+ * count is a gate for source re-capture, and counting *declared* terminals lets a package shell
+ * that lowers to no stamp hold a severed net's count down. One enumerator, so the gate and this
+ * rule cannot drift apart.
+ */
+export declare function stampNodes(stamp: Extract<Block, {
+    kind: "mna";
+}>["stamps"][number]): readonly NodeId[];
+/**
+ * Adds an implicit high-value DC-bias conductance for every op-amp in `program` whose operating
+ * point is genuinely undefined by the topology -- see this section's header for the two shapes
+ * and why. Runs once, after linking, on the program the runtime will actually execute; every
+ * later Program-consuming warning (including this file's own `findDanglingActiveTerminals`) sees
+ * the bridged circuit, because that is the circuit that now exists.
+ *
+ * **Fires on any op-amp matching either condition, corpus-wide.** There is no packet slug, part
+ * number, or component name anywhere in this function -- the two conditions are read entirely off
+ * stamp connectivity, the same evidence discipline `findDanglingActiveTerminals` already keeps.
+ */
+export declare function synthesizeOpampImplicitBias(program: Program): Program;
+//# sourceMappingURL=dangling-active-terminal.d.ts.map

package/dist/dangling-active-terminal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dangling-active-terminal.d.ts","sourceRoot":"","sources":["../src/dangling-active-terminal.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAGtE;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,2BAA2B,CAC1C,OAAO,EAAE,OAAO,GACd,SAAS,cAAc,EAAE,CAsC3B;AAyED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACzB,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACtD,SAAS,MAAM,EAAE,CAQnB;AAmTD;;;;;;;;;;GAUG;AACH,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAOrE"}

package/dist/dangling-active-terminal.js

@@ -0,0 +1,542 @@
+// An active device with a signal terminal wired to nothing, which cannot work.
+//
+// A collector with nowhere to go, a gate driven by nothing, a drain reaching no load: the device
+// is present, it is stamped, and it cannot do its job. `gmin` is why this renders instead of
+// failing — every node gets a `1e-12 S` path to ground before the matrix is read, so the row is
+// never empty, Newton converges, no sample is held, and the output is silence rather than a
+// diagnostic.
+//
+// **A general "dangling terminal" warning was measured and rejected first.** 2020 dangling nodes
+// across 73 of 102 readable packets, with a median of 2 in not-plausible rows against 0 in
+// plausible ones, and `boss-mt-2` carrying 11 while rendering fine. Most are harmless — a test
+// point, an unpopulated position, an unused pin on a dual op-amp — so the rule had no useful
+// signal-to-noise ratio.
+//
+// Narrowing it to **active devices** changes that, because a passive dangling end is often
+// deliberate and an active one is a stage that does nothing. Measured over the compiled corpus:
+//
+// ```
+// flagged                       9 of 52
+//   also renders implausibly    8
+// ```
+//
+// `tycobrahe-octavia` is the sharpest case: `Q2.collector` touches no other device, so the
+// transistor cannot conduct, its transformer primary never swings, and the pedal draws 10 uA where
+// a two-transistor germanium fuzz should draw milliamps. `boss-ds-1` is the loudest: nearly every
+// transistor terminal in the packet dangles, which is also why it partitions into 82 regions.
+//
+// Evidence is stamp connectivity and nothing else. No component name, no `Description`, no part
+// number.
+import { withStamp } from "./couple.js";
+import { GROUND } from "./types.js";
+import { blockRow, describeRow } from "./block-row.js";
+/**
+ * Active-device stamps with a terminal on a node no other stamp touches.
+ *
+ * **Read from the lowered stamps, not the netlist.** The sibling rule in `over-driven-node.ts`
+ * learned this the hard way: `boss-sd-1` declares two supplies on one node and lowering collapses
+ * them, so a netlist-level count reported a contradiction that the compiled circuit does not
+ * contain. Stamps are what the runtime executes, so they are the only thing that can say whether a
+ * terminal really reaches nothing.
+ *
+ * Per block, because regions are independent solves and the same node id in two regions is two
+ * different unknowns.
+ *
+ * **Op-amp supply pins are excluded, and that exclusion is measured rather than assumed.** An
+ * `ideal-opamp` stamp carries no supply nodes at all — its rails are voltages resolved from the
+ * circuit's supply set — so a dangling `vcc` is invisible to the solve and cannot be what makes a
+ * packet silent. Including it flagged `mxr-distortion-plus` and `mxr-micro-amp`, both of which
+ * render plausibly, for a pin the model does not read. The exclusion is free here: those nodes
+ * never appear in a stamp.
+ *
+ * Ground is skipped: every device returns there and it is touched by everything.
+ */
+export function findDanglingActiveTerminals(program) {
+    const warnings = [];
+    for (const block of program.blocks) {
+        if (block.kind !== "mna") {
+            continue;
+        }
+        const touchCount = new Map();
+        for (const stamp of block.stamps) {
+            for (const node of new Set(stampNodes(stamp))) {
+                touchCount.set(node, (touchCount.get(node) ?? 0) + 1);
+            }
+        }
+        for (const stamp of block.stamps) {
+            const active = activeTerminals(stamp);
+            if (active === null) {
+                continue;
+            }
+            const dangling = active.terminals.filter(([, node]) => node !== 0 && touchCount.get(node) === 1);
+            if (dangling.length === 0) {
+                continue;
+            }
+            warnings.push({
+                code: "active-device-terminal-unwired",
+                device: null,
+                detail: 
+                // Named by the source node, not the row it landed on: this message exists to
+                // send someone to a net in the `.vdsp`, and a row index is not a net.
+                `in block ${block.id}, ${active.label} has ${dangling
+                    .map(([role, node]) => `${role} on node ${describeRow(block, blockRow(node))}`)
+                    .join(" and ")}, which no other element touches: the device is stamped and ` +
+                    "cannot conduct, so the circuit renders silence rather than failing, because " +
+                    "gmin gives the node a path to ground and the solve converges",
+            });
+        }
+    }
+    return warnings;
+}
+/**
+ * Every node a stamp touches, so a node's fan-out can be counted.
+ *
+ * **Field names come from a closed set, never from scraping integers.** A first version collected
+ * every non-negative integer field, which silently counted `sourceIndex` and `stateIndex` as node
+ * touches — so a stamp with `sourceIndex: 10` inflated node 10's fan-out and hid
+ * `tycobrahe-octavia`'s dangling `Q2.collector`, the packet this rule was built for. An index and a
+ * node are both small integers and nothing but the field name distinguishes them.
+ */
+const nodeFields = new Set([
+    "a",
+    "b",
+    "anode",
+    "cathode",
+    "node",
+    "positive",
+    "negative",
+    "common",
+    "throwNode",
+    "base",
+    "collector",
+    "emitter",
+    "gate",
+    "drain",
+    "source",
+    "plus",
+    "minus",
+    "output",
+    "primaryPlus",
+    "primaryMinus",
+    "secondaryPlus",
+    "secondaryMinus",
+    "grid",
+    "plate",
+    "screen",
+    // Below: derived by enumerating every integer-valued field of every stamp the pedal corpus
+    // emits, then keeping the ones whose value indexes a node rather than a quantity. Their
+    // absence meant a net held up only by a `vccs`, `compandor`, `ota`, `bbd`, `clock-driver`,
+    // `optocoupler` or `logic-divider` terminal read as unoccupied, so this rule could call a
+    // wired terminal dangling. `deluxe-memory-man`'s compander summing node is one such net.
+    "control",
+    "clk1",
+    "clk2",
+    "input",
+    "out1",
+    "out2",
+    "cp1",
+    "cp2",
+    "vgg",
+    "vdd",
+    "ox1",
+    "rectIn",
+    "rectCap",
+    "cellIn",
+    "sumNode",
+    "vref",
+    "vee",
+    "bias",
+    "clockNode",
+    "qNode",
+    "gndNode",
+    "ledAnode",
+    "ledCathode",
+    "ldrA",
+    "ldrB",
+    "outP",
+    "outN",
+    "inP",
+    "inN",
+]);
+/**
+ * Every node a stamp names, from the closed field list above.
+ *
+ * Exported because `scripts/report-net-graph-health.ts` needs the same answer: its dangling-net
+ * count is a gate for source re-capture, and counting *declared* terminals lets a package shell
+ * that lowers to no stamp hold a severed net's count down. One enumerator, so the gate and this
+ * rule cannot drift apart.
+ */
+export function stampNodes(stamp) {
+    const nodes = [];
+    for (const [key, value] of Object.entries(stamp)) {
+        if (nodeFields.has(key) && typeof value === "number") {
+            nodes.push(value);
+        }
+    }
+    return nodes;
+}
+/**
+ * A stamp's signal terminals when it is an active device, or `null` when it is not.
+ *
+ * Deliberately excludes `dc-source`, `input-source` and `transformer`: a supply's job is to sit on
+ * one node, an input source drives one, and a transformer winding with a dangling end is a real but
+ * different question — `tycobrahe-octavia`'s shield is exactly that and is not a defect.
+ */
+function activeTerminals(stamp) {
+    switch (stamp.kind) {
+        case "bjt":
+            return {
+                label: `bjt#${stamp.base}/${stamp.collector}/${stamp.emitter}`,
+                terminals: [
+                    ["base", stamp.base],
+                    ["collector", stamp.collector],
+                    ["emitter", stamp.emitter],
+                ],
+            };
+        case "fet":
+            return {
+                label: `fet#${stamp.gate}/${stamp.drain}/${stamp.source}`,
+                terminals: [
+                    ["gate", stamp.gate],
+                    ["drain", stamp.drain],
+                    ["source", stamp.source],
+                ],
+            };
+        case "ideal-opamp":
+            // The output is a driven node and the inputs are read, so all three are signal pins.
+            // The supply pins are absent from the stamp entirely, which is why they cannot be
+            // checked here and why excluding them costs nothing.
+            return {
+                label: `ideal-opamp#${stamp.sourceIndex}`,
+                terminals: [
+                    ["noninverting input", stamp.plus],
+                    ["inverting input", stamp.minus],
+                    ["output", stamp.output],
+                ],
+            };
+        // **Kinds added 2026-09-12.** The switch previously covered bjt, fet, ideal-opamp and vccs
+        // only, so a diode, triode, pentode, tube-diode, optocoupler or OTA with a terminal on a
+        // node nothing else touches was reported by NOTHING. Measured over the corpus, that is 61
+        // devices across 29 packets -- 40 diodes, 11 triodes, 6 OTAs, 4 optocouplers -- including
+        // `boss-bf-2`'s five 1S2473 signal diodes sitting on private node pairs, and
+        // `mxr-dyna-comp`'s CA3080, the compressor's core device, with two unwired terminals.
+        //
+        // A diode is two-terminal and passive-looking, which is presumably why it was left out. It
+        // is still the difference between a clipping stage and an open circuit.
+        case "diode":
+            return {
+                label: `diode#${stamp.anode}/${stamp.cathode}`,
+                terminals: [
+                    ["anode", stamp.anode],
+                    ["cathode", stamp.cathode],
+                ],
+            };
+        case "tube-diode":
+            return {
+                label: `tube-diode#${stamp.plate}/${stamp.cathode}`,
+                terminals: [
+                    ["plate", stamp.plate],
+                    ["cathode", stamp.cathode],
+                ],
+            };
+        case "triode":
+            return {
+                label: `triode#${stamp.grid}/${stamp.plate}/${stamp.cathode}`,
+                terminals: [
+                    ["grid", stamp.grid],
+                    ["plate", stamp.plate],
+                    ["cathode", stamp.cathode],
+                ],
+            };
+        case "pentode":
+            // The suppressor is commonly tied to the cathode inside the envelope and is not a
+            // separate stamp terminal, so the four checked here are the four the stamp carries.
+            return {
+                label: `pentode#${stamp.grid}/${stamp.plate}/${stamp.cathode}`,
+                terminals: [
+                    ["grid", stamp.grid],
+                    ["plate", stamp.plate],
+                    ["cathode", stamp.cathode],
+                    ["screen", stamp.screen],
+                ],
+            };
+        case "optocoupler":
+            // Both halves, because they fail differently and independently: an unwired LED side is
+            // a control that never modulates, an unwired cell side is an audio path that never
+            // varies. `fender-super-reverb`'s tremolo is exactly this shape.
+            return {
+                label: `optocoupler#${stamp.ledAnode}/${stamp.ldrA}`,
+                terminals: [
+                    ["LED anode", stamp.ledAnode],
+                    ["LED cathode", stamp.ledCathode],
+                    ["cell A", stamp.ldrA],
+                    ["cell B", stamp.ldrB],
+                ],
+            };
+        case "ota":
+            // `bias` and `vee` are supply pins but, unlike an op-amp's, they are present in the
+            // stamp and a dangling bias current input silences the device outright.
+            return {
+                label: `ota#${stamp.plus}/${stamp.minus}/${stamp.output}`,
+                terminals: [
+                    ["noninverting input", stamp.plus],
+                    ["inverting input", stamp.minus],
+                    ["output", stamp.output],
+                    ["bias", stamp.bias],
+                ],
+            };
+        case "vccs":
+            return {
+                label: `vccs#${stamp.outP}/${stamp.outN}/${stamp.inP}/${stamp.inN}`,
+                terminals: [
+                    ["positive output", stamp.outP],
+                    ["negative output", stamp.outN],
+                    ["positive input", stamp.inP],
+                    ["negative input", stamp.inN],
+                ],
+            };
+        default:
+            return null;
+    }
+}
+// --- implicit op-amp DC-bias synthesis --------------------------------------------------------
+//
+// Two op-amp topologies have no DC-conducting path to define their operating point at all:
+//
+//   (a) no path from the output back to the inverting input except through a capacitor, so the
+//       feedback is AC-only and any standing differential integrates without bound
+//       (`opamp-operating-point-unbounded`, `unbounded-operating-point.ts`'s netlist-level
+//       warning, measured on `ibanez-pql` and `boss-mt-2`);
+//   (b) no path from the non-inverting input to any reference at all -- not a rail, not ground,
+//       not another stage's driven output -- so the input floats and the solver is free to put
+//       it anywhere (the floating-input case, first measured by hand on `tape-echo` and
+//       `mxr-noise-gate-line-driver`).
+//
+// Both were previously diagnostics only. `boss-cs-3` and `boss-oc-2` are two more instances --
+// found by the same measurement, not special-cased -- where the ideal-op-amp law's implicit
+// assumption of zero input bias current and infinite open-loop gain leaves the DC point
+// genuinely undefined, and the runtime's universal `gmin` (`1e-12 S`, see this file's header) is
+// far too weak to pin it inside an ordinary render: against a typical corpus feedback or coupling
+// capacitor, `gmin` alone needs an RC time constant of thousands of seconds.
+//
+// **The fix is topological, not numerical.** A real op-amp stage in either shape needs *some*
+// finite DC path -- a bleeder resistor across an integrator's feedback cap, or a bias resistor to
+// ground on a coupled input -- and a source that omits one is missing an implicit fact about how
+// the real device settles, not a fact this compiler can read off the netlist. So this synthesizes
+// the same kind of implicit reference `gmin` already is, sized to matter: strong enough to settle
+// within a render, weak enough to load no real audio path measurably.
+//
+// **Read from the lowered stamps, for the same reason the rest of this file is.** A pot's two
+// halves, a BBD's clock-gated conductance, a switch's selected throw -- all of that is already
+// resolved into plain stamps here, so this needs no per-device-kind wiring knowledge beyond what
+// `stampNodes` already extracts.
+//
+// **This does not retract `opamp-operating-point-unbounded`.** That warning is computed from the
+// *declared* netlist, before this stage runs, and it remains true of the source: nothing the
+// designer drew pins this operating point, however solvable the compiler has since made it. The
+// two are the same relationship `gmin` already has with `active-device-terminal-unwired` -- a
+// dangling collector is still genuinely dangling once `gmin` lets the solve converge.
+/** 10 M-ohm. See the section header for why this value and not `gmin`. */
+const IMPLICIT_BIAS_SIEMENS = 1e-7;
+/**
+ * Every node id this block's `dc-source`/`ac-source` stamps declare as a fixed rail, plus
+ * ground. Shared by both conduction graphs below: a rail is either the thing a route must not be
+ * allowed to pass through unbroken (case a) or a legitimate destination (case b), and both need
+ * the same set to say so.
+ */
+function railsOf(block) {
+    const rails = new Set([GROUND]);
+    for (const stamp of block.stamps) {
+        if (stamp.kind !== "dc-source" && stamp.kind !== "ac-source") {
+            continue;
+        }
+        if (stamp.positive !== GROUND) {
+            rails.add(stamp.positive);
+        }
+        if (stamp.negative !== GROUND) {
+            rails.add(stamp.negative);
+        }
+    }
+    return rails;
+}
+/**
+ * One block's DC (or, with `capacitorsConduct`, AC) conduction graph at stamp granularity.
+ *
+ * **No op-amp is a conductor** -- excluded the same way `unbounded-operating-point.ts` excludes
+ * one, and for the same reason: an op-amp's inputs draw no current, so linking its own terminals
+ * would invent a path through the device and let an op-amp bootstrap its own reference. **No
+ * transformer winding is either**, though `stampNodes` would otherwise link all four of its
+ * terminals: a transformer's primary and secondary are galvanically isolated at DC, and the
+ * generic all-pairs treatment below has no notion of which pairs are actually the same winding,
+ * so the conservative answer is to treat it as no path at all rather than invent one across the
+ * isolation barrier.
+ *
+ * **`rails` says whether a rail is a hole or a normal node.** Passing the block's real rails
+ * (from `railsOf`) makes every edge touching one vanish -- "rails are not routes", the exclusion
+ * `findUnboundedOpamps` needs so that a path reaching the input through a fixed potential does
+ * not count as feedback. Passing an empty set makes rails ordinary graph nodes, reachable like
+ * anything else -- what the floating-input case needs, since reaching ground is exactly the
+ * question it asks.
+ */
+function stampConductionGraph(block, options) {
+    const adjacency = new Map();
+    const link = (a, b) => {
+        if (a === b || options.rails.has(a) || options.rails.has(b)) {
+            return;
+        }
+        for (const [from, to] of [
+            [a, b],
+            [b, a],
+        ]) {
+            const edges = adjacency.get(from);
+            if (edges === undefined) {
+                adjacency.set(from, [to]);
+            }
+            else {
+                edges.push(to);
+            }
+        }
+    };
+    for (const stamp of block.stamps) {
+        if (stamp.kind === "ideal-opamp" || stamp.kind === "transformer") {
+            continue;
+        }
+        if (stamp.kind === "capacitor" && !options.capacitorsConduct) {
+            continue;
+        }
+        const nodes = [...new Set(stampNodes(stamp))];
+        for (let i = 0; i < nodes.length; i += 1) {
+            for (let j = i + 1; j < nodes.length; j += 1) {
+                link(nodes[i], nodes[j]);
+            }
+        }
+    }
+    return adjacency;
+}
+/** Every node reachable from `from`, breadth-first. */
+function reachableSet(graph, from) {
+    const seen = new Set([from]);
+    const queue = [from];
+    let head = 0;
+    while (head < queue.length) {
+        const node = queue[head];
+        head += 1;
+        for (const next of graph.get(node) ?? []) {
+            if (!seen.has(next)) {
+                seen.add(next);
+                queue.push(next);
+            }
+        }
+    }
+    return seen;
+}
+/**
+ * Whether `start` reaches any node in `targets`, stopping expansion at ground -- the same rule
+ * `report-compiler-coverage.ts`'s `reachesSupplyNode` uses, so a route through ground cannot
+ * smuggle two otherwise-unrelated nets together into one answer.
+ */
+function reachesAny(graph, start, targets) {
+    if (targets.has(start)) {
+        return true;
+    }
+    const seen = new Set([start]);
+    const queue = [start];
+    let head = 0;
+    while (head < queue.length) {
+        const at = queue[head];
+        head += 1;
+        if (at === GROUND) {
+            continue;
+        }
+        for (const next of graph.get(at) ?? []) {
+            if (targets.has(next)) {
+                return true;
+            }
+            if (!seen.has(next)) {
+                seen.add(next);
+                queue.push(next);
+            }
+        }
+    }
+    return false;
+}
+/**
+ * Adds an implicit high-value DC-bias conductance for every op-amp in `program` whose operating
+ * point is genuinely undefined by the topology -- see this section's header for the two shapes
+ * and why. Runs once, after linking, on the program the runtime will actually execute; every
+ * later Program-consuming warning (including this file's own `findDanglingActiveTerminals`) sees
+ * the bridged circuit, because that is the circuit that now exists.
+ *
+ * **Fires on any op-amp matching either condition, corpus-wide.** There is no packet slug, part
+ * number, or component name anywhere in this function -- the two conditions are read entirely off
+ * stamp connectivity, the same evidence discipline `findDanglingActiveTerminals` already keeps.
+ */
+export function synthesizeOpampImplicitBias(program) {
+    return {
+        ...program,
+        blocks: program.blocks.map((block) => block.kind === "mna" ? synthesizeForBlock(block) : block),
+    };
+}
+function synthesizeForBlock(block) {
+    const opamps = block.stamps.filter((stamp) => stamp.kind === "ideal-opamp");
+    if (opamps.length === 0) {
+        return block;
+    }
+    const rails = railsOf(block);
+    const opampOutputs = new Set(opamps.map((stamp) => stamp.output));
+    // Case (b)'s references: a rail, ground, or another stage's driven output -- the same set
+    // `findFloatingOpampInputs` builds. A plus input that only reaches its own op-amp's output
+    // would be a self-satisfying test, but that can only happen through a resistor, which is real
+    // feedback and does define the point, so no exclusion for it is needed here.
+    const floatingReferences = new Set([...rails, ...opampOutputs]);
+    const dcNormal = stampConductionGraph(block, {
+        capacitorsConduct: false,
+        rails: new Set(),
+    });
+    // Case (a)'s graphs: rails are holes, and the audio-path test needs both a DC and an AC
+    // version of the same rail-excluded graph.
+    const dcHoles = stampConductionGraph(block, { capacitorsConduct: false, rails });
+    const acHoles = stampConductionGraph(block, { capacitorsConduct: true, rails });
+    const fromInput = block.inputNode === null
+        ? new Set()
+        : reachableSet(acHoles, block.inputNode);
+    const toOutput = block.outputNode === null
+        ? new Set()
+        : reachableSet(acHoles, block.outputNode);
+    let next = block;
+    for (const stamp of opamps) {
+        const { plus, minus, output } = stamp;
+        if (!reachesAny(dcNormal, plus, floatingReferences)) {
+            next = withStamp(next, {
+                kind: "conductance",
+                a: plus,
+                b: GROUND,
+                siemens: IMPLICIT_BIAS_SIEMENS,
+            });
+        }
+        // A port on a rail is a different defect (`over-driven-node.ts`'s business), not this
+        // one's, the same exclusion `findUnboundedOpamps` makes.
+        if (rails.has(output) || rails.has(minus)) {
+            continue;
+        }
+        if (reachableSet(dcHoles, output).has(minus)) {
+            continue;
+        }
+        // Off the signal path does not count: an LFO integrator is supposed to run away and be
+        // reset by its comparator, and a comparator is open-loop by design. Both have no DC
+        // feedback and neither is a defect -- 38 of 51 corpus op-amps with no DC feedback are off
+        // the signal path this same exclusion removes in `unbounded-operating-point.ts`.
+        const carriesAudio = (fromInput.has(plus) || fromInput.has(minus)) && toOutput.has(output);
+        if (!carriesAudio) {
+            continue;
+        }
+        next = withStamp(next, {
+            kind: "conductance",
+            a: output,
+            b: minus,
+            siemens: IMPLICIT_BIAS_SIEMENS,
+        });
+    }
+    return next;
+}
+//# sourceMappingURL=dangling-active-terminal.js.map

package/dist/dangling-active-terminal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dangling-active-terminal.js","sourceRoot":"","sources":["../src/dangling-active-terminal.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,iGAAiG;AACjG,6FAA6F;AAC7F,gGAAgG;AAChG,4FAA4F;AAC5F,cAAc;AACd,EAAE;AACF,iGAAiG;AACjG,2FAA2F;AAC3F,+FAA+F;AAC/F,6FAA6F;AAC7F,yBAAyB;AACzB,EAAE;AACF,2FAA2F;AAC3F,gGAAgG;AAChG,EAAE;AACF,MAAM;AACN,wCAAwC;AACxC,kCAAkC;AAClC,MAAM;AACN,EAAE;AACF,2FAA2F;AAC3F,mGAAmG;AACnG,kGAAkG;AAClG,8FAA8F;AAC9F,EAAE;AACF,gGAAgG;AAChG,UAAU;AAEV,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEpD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,2BAA2B,CAC1C,OAAgB;IAEhB,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,SAAS;QACV,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC/C,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACvD,CAAC;QACF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACrB,SAAS;YACV,CAAC;YACD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CACtD,CAAC;YACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,SAAS;YACV,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,IAAI;gBACZ,MAAM;gBACL,6EAA6E;gBAC7E,sEAAsE;gBACtE,YAAY,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,QAAQ,QAAQ;qBACnD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,YAAY,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;qBAC9E,IAAI,CAAC,OAAO,CAAC,8DAA8D;oBAC7E,8EAA8E;oBAC9E,8DAA8D;aAC/D,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC;IAC/C,GAAG;IACH,GAAG;IACH,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,UAAU;IACV,QAAQ;IACR,WAAW;IACX,MAAM;IACN,WAAW;IACX,SAAS;IACT,MAAM;IACN,OAAO;IACP,QAAQ;IACR,MAAM;IACN,OAAO;IACP,QAAQ;IACR,aAAa;IACb,cAAc;IACd,eAAe;IACf,gBAAgB;IAChB,MAAM;IACN,OAAO;IACP,QAAQ;IACR,2FAA2F;IAC3F,wFAAwF;IACxF,2FAA2F;IAC3F,0FAA0F;IAC1F,yFAAyF;IACzF,SAAS;IACT,MAAM;IACN,MAAM;IACN,OAAO;IACP,MAAM;IACN,MAAM;IACN,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,MAAM;IACN,KAAK;IACL,MAAM;IACN,WAAW;IACX,OAAO;IACP,SAAS;IACT,UAAU;IACV,YAAY;IACZ,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,KAAK;IACL,KAAK;CACL,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CACzB,KAAwD;IAExD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;QAC7B,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CACvB,KAAwD;IAIxD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,KAAK;YACT,OAAO;gBACN,KAAK,EAAE,OAAO,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,EAAE;gBAC9D,SAAS,EAAE;oBACV,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;oBACpB,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC;oBAC9B,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC;iBAC1B;aACD,CAAC;QACH,KAAK,KAAK;YACT,OAAO;gBACN,KAAK,EAAE,OAAO,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE;gBACzD,SAAS,EAAE;oBACV,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;oBACpB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;oBACtB,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;iBACxB;aACD,CAAC;QACH,KAAK,aAAa;YACjB,qFAAqF;YACrF,kFAAkF;YAClF,qDAAqD;YACrD,OAAO;gBACN,KAAK,EAAE,eAAe,KAAK,CAAC,WAAW,EAAE;gBACzC,SAAS,EAAE;oBACV,CAAC,oBAAoB,EAAE,KAAK,CAAC,IAAI,CAAC;oBAClC,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC;oBAChC,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;iBACxB;aACD,CAAC;QACH,2FAA2F;QAC3F,yFAAyF;QACzF,0FAA0F;QAC1F,0FAA0F;QAC1F,6EAA6E;QAC7E,sFAAsF;QACtF,EAAE;QACF,2FAA2F;QAC3F,wEAAwE;QACxE,KAAK,OAAO;YACX,OAAO;gBACN,KAAK,EAAE,SAAS,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE;gBAC9C,SAAS,EAAE;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;oBACtB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC;iBAC1B;aACD,CAAC;QACH,KAAK,YAAY;YAChB,OAAO;gBACN,KAAK,EAAE,cAAc,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE;gBACnD,SAAS,EAAE;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;oBACtB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC;iBAC1B;aACD,CAAC;QACH,KAAK,QAAQ;YACZ,OAAO;gBACN,KAAK,EAAE,UAAU,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE;gBAC7D,SAAS,EAAE;oBACV,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;oBACpB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;oBACtB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC;iBAC1B;aACD,CAAC;QACH,KAAK,SAAS;YACb,kFAAkF;YAClF,oFAAoF;YACpF,OAAO;gBACN,KAAK,EAAE,WAAW,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE;gBAC9D,SAAS,EAAE;oBACV,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;oBACpB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;oBACtB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC;oBAC1B,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;iBACxB;aACD,CAAC;QACH,KAAK,aAAa;YACjB,uFAAuF;YACvF,mFAAmF;YACnF,iEAAiE;YACjE,OAAO;gBACN,KAAK,EAAE,eAAe,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;gBACpD,SAAS,EAAE;oBACV,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC;oBAC7B,CAAC,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC;oBACjC,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;oBACtB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;iBACtB;aACD,CAAC;QACH,KAAK,KAAK;YACT,oFAAoF;YACpF,wEAAwE;YACxE,OAAO;gBACN,KAAK,EAAE,OAAO,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE;gBACzD,SAAS,EAAE;oBACV,CAAC,oBAAoB,EAAE,KAAK,CAAC,IAAI,CAAC;oBAClC,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC;oBAChC,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;oBACxB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;iBACpB;aACD,CAAC;QACH,KAAK,MAAM;YACV,OAAO;gBACN,KAAK,EAAE,QAAQ,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,EAAE;gBACnE,SAAS,EAAE;oBACV,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC;oBAC/B,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC;oBAC/B,CAAC,gBAAgB,EAAE,KAAK,CAAC,GAAG,CAAC;oBAC7B,CAAC,gBAAgB,EAAE,KAAK,CAAC,GAAG,CAAC;iBAC7B;aACD,CAAC;QACH;YACC,OAAO,IAAI,CAAC;IACd,CAAC;AACF,CAAC;AAED,iGAAiG;AACjG,EAAE;AACF,2FAA2F;AAC3F,EAAE;AACF,+FAA+F;AAC/F,mFAAmF;AACnF,2FAA2F;AAC3F,4DAA4D;AAC5D,gGAAgG;AAChG,+FAA+F;AAC/F,wFAAwF;AACxF,uCAAuC;AACvC,EAAE;AACF,+FAA+F;AAC/F,4FAA4F;AAC5F,wFAAwF;AACxF,iGAAiG;AACjG,kGAAkG;AAClG,6EAA6E;AAC7E,EAAE;AACF,8FAA8F;AAC9F,kGAAkG;AAClG,iGAAiG;AACjG,kGAAkG;AAClG,kGAAkG;AAClG,sEAAsE;AACtE,EAAE;AACF,8FAA8F;AAC9F,+FAA+F;AAC/F,iGAAiG;AACjG,iCAAiC;AACjC,EAAE;AACF,iGAAiG;AACjG,6FAA6F;AAC7F,gGAAgG;AAChG,8FAA8F;AAC9F,sFAAsF;AAEtF,0EAA0E;AAC1E,MAAM,qBAAqB,GAAG,IAAI,CAAC;AAKnC;;;;;GAKG;AACH,SAAS,OAAO,CAAC,KAAe;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9D,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,oBAAoB,CAC5B,KAAe,EACf,OAAqF;IAErF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC3C,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,OAAO;QACR,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;YACxB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACG,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACP,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC;QACF,CAAC;IACF,CAAC,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAClE,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC9D,SAAS;QACV,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,KAAK,CAAC,CAAC,CAAW,EAAE,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC;YAC9C,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,uDAAuD;AACvD,SAAS,YAAY,CAAC,KAAY,EAAE,IAAY;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAW,CAAC;QACnC,IAAI,IAAI,CAAC,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAClB,KAAY,EACZ,KAAa,EACb,OAA4B;IAE5B,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,MAAM,KAAK,GAAa,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAW,CAAC;QACjC,IAAI,IAAI,CAAC,CAAC;QACV,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;YACnB,SAAS;QACV,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC;YACb,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,2BAA2B,CAAC,OAAgB;IAC3D,OAAO;QACN,GAAG,OAAO;QACV,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACpC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CACxD;KACD,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAe;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CACjC,CAAC,KAAK,EAA2D,EAAE,CAClE,KAAK,CAAC,IAAI,KAAK,aAAa,CAC7B,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,0FAA0F;IAC1F,2FAA2F;IAC3F,8FAA8F;IAC9F,6EAA6E;IAC7E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,KAAK,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE;QAC5C,iBAAiB,EAAE,KAAK;QACxB,KAAK,EAAE,IAAI,GAAG,EAAE;KAChB,CAAC,CAAC;IAEH,wFAAwF;IACxF,2CAA2C;IAC3C,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAChF,MAAM,SAAS,GACd,KAAK,CAAC,SAAS,KAAK,IAAI;QACvB,CAAC,CAAC,IAAI,GAAG,EAAU;QACnB,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,QAAQ,GACb,KAAK,CAAC,UAAU,KAAK,IAAI;QACxB,CAAC,CAAC,IAAI,GAAG,EAAU;QACnB,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAE5C,IAAI,IAAI,GAAa,KAAK,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QAEtC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,kBAAkB,CAAC,EAAE,CAAC;YACrD,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE;gBACtB,IAAI,EAAE,aAAa;gBACnB,CAAC,EAAE,IAAI;gBACP,CAAC,EAAE,MAAM;gBACT,OAAO,EAAE,qBAAqB;aAC9B,CAAC,CAAC;QACJ,CAAC;QAED,sFAAsF;QACtF,yDAAyD;QACzD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,SAAS;QACV,CAAC;QACD,IAAI,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9C,SAAS;QACV,CAAC;QACD,uFAAuF;QACvF,oFAAoF;QACpF,0FAA0F;QAC1F,iFAAiF;QACjF,MAAM,YAAY,GACjB,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YACnB,SAAS;QACV,CAAC;QACD,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE;YACtB,IAAI,EAAE,aAAa;YACnB,CAAC,EAAE,MAAM;YACT,CAAC,EAAE,KAAK;YACR,OAAO,EAAE,qBAAqB;SAC9B,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC"}

package/dist/declared-program.d.ts

@@ -0,0 +1,23 @@
+import type { DeclaredProgram, PrimitiveOp } from "./types";
+/** A declaration that checked out, or the first reason it did not. */
+export type DeclaredProgramCheck = {
+    readonly ok: true;
+    readonly positions: readonly CheckedPosition[];
+} | {
+    readonly ok: false;
+    readonly reason: string;
+};
+export type CheckedPosition = {
+    readonly id: string;
+    readonly ops: readonly PrimitiveOp[];
+    readonly lines: readonly string[];
+};
+/**
+ * Read a declaration into executable ops, or name the first thing that stopped it.
+ *
+ * Positions are checked in declaration order and the check stops at the first failure, because a
+ * list of every defect in a document nobody has fixed once is noise. The reason names the position
+ * and the op index, which is what locates it in the source.
+ */
+export declare function checkDeclaredProgram(program: DeclaredProgram): DeclaredProgramCheck;
+//# sourceMappingURL=declared-program.d.ts.map

package/dist/declared-program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-program.d.ts","sourceRoot":"","sources":["../src/declared-program.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAIX,eAAe,EAIf,WAAW,EACX,MAAM,SAAS,CAAC;AAEjB,sEAAsE;AACtE,MAAM,MAAM,oBAAoB,GAC7B;IACA,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;CAC9C,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,SAAS,WAAW,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC;AAuHF;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CACnC,OAAO,EAAE,eAAe,GACtB,oBAAoB,CAiGtB"}