@vessel-dsp/compiler 0.0.0-stage → 0.2.0

package/dist/inert-controls.js

@@ -0,0 +1,266 @@
+// Controls the document wires so that they provably cannot affect the circuit.
+//
+// Three reasons, and the third arrived with the execution schedule: a floating pot wiper, a
+// device joined to nothing, and a control whose every element sits in a region the program
+// does not execute. All three are structural -- connectivity, or the program's own `order`.
+//
+// This is a *warning* stage, not a refusal. A pedal with a dead knob still renders, and
+// refusing it would cost 11 compiling corpus packets to fix a defect the user can hear
+// around. What was not acceptable is shipping one silently: `ibanez-ts808` rendered
+// bit-identical output at `Drive=0.1` and `Drive=0.9` and nothing in the compile result
+// said why.
+//
+// The evidence is connectivity and nothing else. No component name, no `Description`,
+// no role prose -- the same discipline the rest of the pipeline holds to.
+import { potTerminals, stampControl } from "./lower.js";
+/**
+ * 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 function findInertControls(netlist, program) {
+    const degree = new Map();
+    for (const device of netlist.devices) {
+        for (const node of device.nodes) {
+            degree.set(node, (degree.get(node) ?? 0) + 1);
+        }
+    }
+    const byControl = new Map();
+    for (const device of netlist.devices) {
+        if (device.control === null) {
+            continue;
+        }
+        const bound = byControl.get(device.control);
+        if (bound === undefined) {
+            byControl.set(device.control, [device]);
+        }
+        else {
+            bound.push(device);
+        }
+    }
+    const unscheduled = controlsOnlyInUnscheduledBlocks(program);
+    const scheduledControls = controlsInScheduledBlocks(program);
+    // Controls a program reads through a port rather than a stamp. Their devices are genuinely
+    // dead to the circuit and that is not a defect: a mode pot read by a high-impedance input
+    // has a wiper driving nothing, and it still chooses which program runs. Reporting it would
+    // be a wrong answer about someone's circuit, which is the bar this whole file sets.
+    const portedControls = controlsReadThroughPorts(program);
+    const warnings = [];
+    for (const control of netlist.controls) {
+        const bound = byControl.get(control.id) ?? [];
+        if (bound.length === 0) {
+            continue;
+        }
+        if (portedControls.has(control.id)) {
+            continue;
+        }
+        // Every device the control drives must be dead for the claim to hold. One live gang, or a
+        // switch sharing the control, and the knob does something -- reporting it then would be a
+        // wrong answer about someone's circuit, which is worse than the silence this replaces. The
+        // narrower per-device fact is still visible in `devices`.
+        //
+        // **Two ways to be dead, and the second was missing.** A pot with a floating wiper is the
+        // original case. The other is a device with *every* terminal unwired, which the pot rule
+        // cannot express: `boss-od-3`'s `EFFECT_FOOTSWITCH` drives a switch whose three nodes are all
+        // degree 1, so the footswitch is bound to a real device that is connected to nothing, and the
+        // control read as fine. That packet's whole signal path is gated by JFETs whose gates the
+        // footswitch network should drive, so this is the control warning the pedal most needed.
+        const allPots = bound.every((device) => device.kind === "potentiometer" || device.kind === "rheostat");
+        const allDead = bound.every((device) => (device.kind === "potentiometer" && wiperIsFloating(device, degree)) ||
+            isFullyDisconnected(device, degree));
+        // **Three ways to be dead, and the device-level ones are reported first.** A floating
+        // wiper or a device joined to nothing is a fact about the circuit and is what a source
+        // reader can act on; sitting in an unexecuted region is a fact about the schedule, and
+        // only applies to audio potentiometers/rheostats (power contacts, bypass latches, and
+        // indicators naturally reside in DC/power regions outside the scheduled audio blocks).
+        if (!allDead && (!allPots || !unscheduled.has(control.id))) {
+            continue;
+        }
+        const disconnected = bound.filter((device) => isFullyDisconnected(device, degree));
+        const isDisconnected = disconnected.length === bound.length;
+        const reasonKind = !allDead
+            ? "unscheduled-region"
+            : isDisconnected
+                ? "disconnected"
+                : "floating-wiper";
+        // A structural defect is one that breaks an executed block (a scheduled part of the audio path).
+        // Controls for unselected channels or unexecuted regions are warned about but do not refuse compilation.
+        const isStructuralDefect = allDead && (program.order.length === 0 || scheduledControls.has(control.id));
+        warnings.push({
+            code: "control-cannot-affect-circuit",
+            control: control.id,
+            reasonKind,
+            isStructuralDefect,
+            devices: bound.map((device) => device.id),
+            detail: !allDead
+                ? `control "${control.id}" cannot affect the circuit: ` +
+                    `${bound.length === 1 ? "the element it varies sits" : "every element it varies sits"} ` +
+                    "in a region the program does not execute, because nothing in that region " +
+                    "can reach the output jack"
+                : isDisconnected
+                    ? `control "${control.id}" cannot affect the circuit: ` +
+                        `${bound.length === 1 ? "the device it drives has" : "every device it drives has"} ` +
+                        "every terminal connected to nothing else, so the device is present in the " +
+                        "document and joined to no circuit at all"
+                    : `control "${control.id}" cannot affect the circuit: ` +
+                        `${bound.length === 1 ? "its potentiometer has" : "every potentiometer it drives has"} ` +
+                        "a wiper node connected to nothing else, so the two track halves stay in " +
+                        "series and their sum is fixed at every knob position",
+        });
+    }
+    return warnings;
+}
+/**
+ * Controls whose every stamp sits in a block the program does not execute.
+ *
+ * The third way a knob can be provably dead, and the one only the emitted program can see:
+ * the device is wired, its stamps are real, and the region they are in owns neither jack and
+ * feeds nothing that does — so `link` leaves it out of `order` and the runtime never solves
+ * it. Measured on the corpus: 11 controls across 5 packets, `boss-od-1`'s battery contact and
+ * `boss-sd-1`'s effect switch being the two that no earlier rule catches.
+ *
+ * **A control with no stamp at all is deliberately not this warning.** 74 declared controls
+ * are in that position and almost all of them are jacks, LED indicators and DC-adaptor
+ * entries that were never knobs — a separate question about what belongs in
+ * `program.controls`, and warning about them would bury these 11 in 74 rows of noise.
+ *
+ * Reads `program.order` rather than re-deriving reachability, because the program's own
+ * statement of what executes is the fact being reported.
+ */
+/**
+ * Controls a block reads through a port: a clock control, or a router choosing a program.
+ *
+ * Neither changes the conductance matrix, so every structural test in this file calls them
+ * dead. They are not: the control reaches the program by another road.
+ */
+function controlsReadThroughPorts(program) {
+    const ported = new Set();
+    for (const block of program.blocks) {
+        if (block.kind !== "macro" && block.kind !== "composed")
+            continue;
+        const clock = block.clockControl?.controlId;
+        if (clock !== undefined)
+            ported.add(clock);
+        if (block.kind === "composed" && block.router !== null && block.router !== undefined) {
+            ported.add(block.router.controlId);
+        }
+        // A scanned or tapped line's control moves the program's delay without varying any device.
+        if (block.kind === "composed") {
+            for (const position of block.positions) {
+                for (const line of Object.values(position.lines)) {
+                    if (line.sweep !== undefined)
+                        ported.add(line.sweep.controlId);
+                }
+            }
+        }
+        // And a swept gain's knob moves a mix term the same way.
+        if (block.kind === "composed") {
+            for (const position of block.positions) {
+                for (const op of position.ops) {
+                    if (op.op !== "mix")
+                        continue;
+                    for (const term of op.terms) {
+                        if (term.sweep !== undefined)
+                            ported.add(term.sweep.controlId);
+                    }
+                }
+            }
+        }
+    }
+    return ported;
+}
+function controlsOnlyInUnscheduledBlocks(program) {
+    const scheduled = new Set(program.order);
+    const stampedAnywhere = new Set();
+    const stampedInScheduled = new Set();
+    for (const block of program.blocks) {
+        if (block.kind === "macro" || block.kind === "composed") {
+            const controlId = block.clockControl?.controlId;
+            if (controlId !== undefined) {
+                stampedAnywhere.add(controlId);
+                if (scheduled.has(block.id)) {
+                    stampedInScheduled.add(controlId);
+                }
+            }
+            continue;
+        }
+        if (block.kind !== "mna") {
+            continue;
+        }
+        for (const stamp of block.stamps) {
+            const control = stampControl(stamp);
+            if (control === null) {
+                continue;
+            }
+            stampedAnywhere.add(control);
+            if (scheduled.has(block.id)) {
+                stampedInScheduled.add(control);
+            }
+        }
+    }
+    for (const control of stampedInScheduled) {
+        stampedAnywhere.delete(control);
+    }
+    return stampedAnywhere;
+}
+/**
+ * Controls whose stamps sit in at least one block the program executes in `order`.
+ */
+function controlsInScheduledBlocks(program) {
+    const scheduled = new Set(program.order);
+    const inScheduled = new Set();
+    for (const block of program.blocks) {
+        if (!scheduled.has(block.id)) {
+            continue;
+        }
+        if (block.kind === "macro" || block.kind === "composed") {
+            const controlId = block.clockControl?.controlId;
+            if (controlId !== undefined) {
+                inScheduled.add(controlId);
+            }
+            continue;
+        }
+        if (block.kind !== "mna") {
+            continue;
+        }
+        for (const stamp of block.stamps) {
+            const control = stampControl(stamp);
+            if (control !== null) {
+                inScheduled.add(control);
+            }
+        }
+    }
+    return inScheduled;
+}
+/**
+ * A device joined to no circuit: every terminal it declares is touched by nothing else.
+ *
+ * Ground is deliberately *not* excused here, unlike in the dangling-terminal rule. A device with one
+ * terminal on ground and the rest unwired still cannot do anything, and a control driving it still
+ * cannot be heard -- which is the claim this file makes.
+ */
+function isFullyDisconnected(device, degree) {
+    return (device.nodes.length > 0 &&
+        device.nodes.every((node) => (degree.get(node) ?? 0) <= 1));
+}
+function wiperIsFloating(device, degree) {
+    if (device.nodes.length !== 3) {
+        return false;
+    }
+    // The same terminal-order reading the lowering stage uses, imported rather than
+    // repeated: a second copy of "which lug is the wiper" would drift from the one that
+    // decides what actually gets stamped, and then the warning would describe a
+    // different circuit from the program. Only the wiper is read here, which is decided
+    // before `potTerminals` ever consults connectivity, so two empty maps are exact -- not a
+    // stand-in -- for what this caller needs.
+    const [, wiper] = potTerminals(device, new Map(), new Map());
+    return (degree.get(wiper) ?? 0) === 1;
+}
+//# sourceMappingURL=inert-controls.js.map

package/dist/inert-controls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inert-controls.js","sourceRoot":"","sources":["../src/inert-controls.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,4FAA4F;AAC5F,2FAA2F;AAC3F,4FAA4F;AAC5F,EAAE;AACF,wFAAwF;AACxF,uFAAuF;AACvF,oFAAoF;AACpF,wFAAwF;AACxF,YAAY;AACZ,EAAE;AACF,sFAAsF;AACtF,0EAA0E;AAE1E,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAUrD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAChC,OAAgB,EAChB,OAAgB;IAEhB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;IACF,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7B,SAAS;QACV,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACzC,CAAC;aAAM,CAAC;YACP,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpB,CAAC;IACF,CAAC;IAED,MAAM,WAAW,GAAG,+BAA+B,CAAC,OAAO,CAAC,CAAC;IAE7D,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAE7D,2FAA2F;IAC3F,0FAA0F;IAC1F,2FAA2F;IAC3F,oFAAoF;IACpF,MAAM,cAAc,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAEzD,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS;QACV,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACpC,SAAS;QACV,CAAC;QACD,0FAA0F;QAC1F,0FAA0F;QAC1F,2FAA2F;QAC3F,0DAA0D;QAC1D,EAAE;QACF,0FAA0F;QAC1F,yFAAyF;QACzF,8FAA8F;QAC9F,8FAA8F;QAC9F,0FAA0F;QAC1F,yFAAyF;QACzF,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAC1B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CACzE,CAAC;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAC1B,CAAC,MAAM,EAAE,EAAE,CACV,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACpE,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,CACpC,CAAC;QACF,sFAAsF;QACtF,uFAAuF;QACvF,uFAAuF;QACvF,sFAAsF;QACtF,uFAAuF;QACvF,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5C,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,CACnC,CAAC;QACF,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;QAC5D,MAAM,UAAU,GAA6D,CAAC,OAAO;YACpF,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,cAAc;gBACf,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,gBAAgB,CAAC;QACrB,iGAAiG;QACjG,yGAAyG;QACzG,MAAM,kBAAkB,GACvB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QAE9E,QAAQ,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,+BAA+B;YACrC,OAAO,EAAE,OAAO,CAAC,EAAE;YACnB,UAAU;YACV,kBAAkB;YAClB,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,MAAM,EAAE,CAAC,OAAO;gBACf,CAAC,CAAC,YAAY,OAAO,CAAC,EAAE,+BAA+B;oBACtD,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,8BAA8B,GAAG;oBACxF,2EAA2E;oBAC3E,2BAA2B;gBAC5B,CAAC,CAAC,cAAc;oBACf,CAAC,CAAC,YAAY,OAAO,CAAC,EAAE,+BAA+B;wBACtD,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,4BAA4B,GAAG;wBACpF,4EAA4E;wBAC5E,0CAA0C;oBAC3C,CAAC,CAAC,YAAY,OAAO,CAAC,EAAE,+BAA+B;wBACtD,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,mCAAmC,GAAG;wBACxF,0EAA0E;wBAC1E,sDAAsD;SACzD,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH;;;;;GAKG;AACH,SAAS,wBAAwB,CAAC,OAAgB;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAa,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,EAAE,SAAS,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,CAAC;QACD,2FAA2F;QAC3F,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;wBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAChE,CAAC;YACF,CAAC;QACF,CAAC;QACD,yDAAyD;QACzD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACxC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;oBAC/B,IAAI,EAAE,CAAC,EAAE,KAAK,KAAK;wBAAE,SAAS;oBAC9B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;wBAC7B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;4BAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;oBAChE,CAAC;gBACF,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,+BAA+B,CACvC,OAAgB;IAEhB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAa,CAAC;IAC7C,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAa,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,SAAS,CAAC;YAChD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC7B,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC/B,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC7B,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACnC,CAAC;YACF,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,SAAS;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACtB,SAAS;YACV,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC7B,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjC,CAAC;QACF,CAAC;IACF,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;QAC1C,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,eAAe,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CACjC,OAAgB;IAEhB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAa,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,SAAS,CAAC;YAChD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC7B,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC5B,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,SAAS;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACtB,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC1B,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,WAAW,CAAC;AACpB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAC3B,MAAc,EACd,MAAmC;IAEnC,OAAO,CACN,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACvB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAC1D,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACvB,MAAc,EACd,MAAmC;IAEnC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACd,CAAC;IACD,gFAAgF;IAChF,oFAAoF;IACpF,4EAA4E;IAC5E,oFAAoF;IACpF,yFAAyF;IACzF,0CAA0C;IAC1C,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC"}

package/dist/latch-seed.d.ts

@@ -0,0 +1,53 @@
+import type { Netlist, NodeId, OperatingPointSeed } from "./types";
+/**
+ * A cross-coupled pair, by connectivity alone.
+ *
+ * **Seed a base, never a collector.** This is the whole reason the rule is written in terms
+ * of bases. A seed enters the solve only through the nonlinear devices' linearisation
+ * points, and perturbing a *collector* creates no differential base drive: measured at every
+ * magnitude from `1e-9` to `5 V`, a collector seed returns the symmetric solution in an
+ * identical 16 iterations, so it does exactly nothing. A caller cannot be trusted to know
+ * that, which is why this function emits the seeds rather than exposing the pair.
+ *
+ * Four structural requirements, and each one is load-bearing:
+ *
+ * 1. **A direct resistor each way**, collector to the opposite base. All three corpus pairs
+ *    are wired this way, two of them with a speed-up capacitor in parallel. Requiring a
+ *    direct element rather than a path is most of what keeps this from over-matching.
+ * 2. **A shared emitter node.** The corpus pairs share ground, ground, and a common node
+ *    that is not ground. Two transistors that merely have resistors between them do not.
+ * 3. **Rails are not routes.** Neither collector nor base may be a rail. Without this the
+ *    supply links every collector to every base and the rule dissolves: measured, a census
+ *    lacking it reported one packet as having **12** cross-coupled pairs among four
+ *    transistors. The same exclusion `findUnboundedOpamps` and `switchesClosedForPortPath`
+ *    make. An emitter *on* a rail is expected and fine — two of the three pairs sit on
+ *    ground.
+ * 4. **Exclusivity.** A transistor in more than one candidate pair makes every pair it is in
+ *    ambiguous, and an ambiguous latch is not seeded. Guessing which pair is the real one
+ *    from a tie-break would put the pedal in a state chosen by node numbering.
+ *
+ * **Which side, with a floor.** `engagedBase` derives the side that engages the effect from
+ * connectivity, and when it cannot, this falls back to the lower base node id — deterministic,
+ * meaningless, and still a *physical* state rather than the midpoint. The fallback is the
+ * floor, not the intent: a latch nobody can read out is better left latched somewhere than
+ * left halfway.
+ *
+ * What this still does not give is **toggling**. The seed decides where the circuit powers up;
+ * it is not an input the control plane can move, so a footswitch cannot change it. That needs
+ * the latched-state operator with a state entry — see the runtime plan's S4 initial-state item.
+ */
+export type BistableLatch = {
+    readonly controlId: string | null;
+    readonly engagedBase: NodeId;
+    readonly bypassedBase: NodeId;
+    readonly emitter: NodeId;
+    readonly engagedCollector: NodeId;
+    readonly bypassedCollector: NodeId;
+    readonly engagedTransistorId: string;
+    readonly bypassedTransistorId: string;
+};
+export declare function findBistableLatches(netlist: Pick<Netlist, "devices"> & {
+    readonly controls?: readonly import("./types").Control[];
+}): readonly BistableLatch[];
+export declare function findLatchSeeds(netlist: Netlist): readonly OperatingPointSeed[];
+//# sourceMappingURL=latch-seed.d.ts.map

package/dist/latch-seed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"latch-seed.d.ts","sourceRoot":"","sources":["../src/latch-seed.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAU,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAY3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACtC,CAAC;AAEF,wBAAgB,mBAAmB,CAClC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,OAAO,SAAS,EAAE,OAAO,EAAE,CAAA;CAAE,GAC9F,SAAS,aAAa,EAAE,CA6G1B;AAED,wBAAgB,cAAc,CAC7B,OAAO,EAAE,OAAO,GACd,SAAS,kBAAkB,EAAE,CAY/B"}

package/dist/latch-seed.js

@@ -0,0 +1,257 @@
+// Operating-point seeds for cross-coupled bistables.
+//
+// A symmetric cross-coupled BJT pair has **three** DC solutions: two latched and the
+// unstable midpoint between them. Newton started from `fill(0)` begins exactly on the
+// symmetry axis and returns the midpoint, which is a valid solution of the system and a
+// state no physical pedal holds. Nothing is failing to converge, so no iteration cap and
+// no tolerance touches it — the initial guess *chooses the answer*, and the only fix is to
+// make that guess data rather than a convention.
+//
+// Measured on the corpus: three compiled packets sit on the axis, at `1.74723 / 1.74723`,
+// `1.78645 / 1.78645` and `3.13363 / 3.13363`, their two halves agreeing to between `2e-11`
+// and `4e-6`. One of them is the corpus's only ngspice `disagrees`, one is near-silent, and
+// the third **agrees with ngspice at `corr=1.0000`** — because the deck carries the same
+// stamps and ngspice converges to the same midpoint. Parity cannot see this class.
+//
+// See `docs/troubleshootings/boss-hm-2-linear-where-ngspice-distorts.md` for what the
+// midpoint does downstream: both collectors half-high bias every switching JFET
+// identically, so the bypass and effect paths conduct at once and which dominates is
+// settled by rounding.
+/**
+ * Enough forward bias to put one base into conduction and let the pair fall to that side.
+ *
+ * Measured rather than chosen: seeding a single base at this value converges to a latched
+ * state in 16 iterations, the same count as the symmetric solve, and the mirrored seed
+ * reaches the mirrored state. Its exact value is not delicate — it has to be a base-emitter
+ * voltage that conducts, and anything that does selects the same basin.
+ */
+const LATCH_SEED_VOLTS = 0.65;
+export function findBistableLatches(netlist) {
+    const rails = new Set([0]);
+    for (const device of netlist.devices) {
+        if (device.kind === "voltage-source" || device.kind === "rail") {
+            for (const node of device.nodes) {
+                rails.add(node);
+            }
+        }
+    }
+    const transistors = netlist.devices.flatMap((device) => {
+        if (device.kind !== "bjt") {
+            return [];
+        }
+        const collector = terminal(device, "collector");
+        const base = terminal(device, "base");
+        const emitter = terminal(device, "emitter");
+        if (collector === null || base === null || emitter === null) {
+            return [];
+        }
+        // Requirement 3, on the two nodes that carry the state. The emitter is exempt.
+        if (rails.has(collector) || rails.has(base)) {
+            return [];
+        }
+        return [{ id: String(device.id), collector, base, emitter }];
+    });
+    const coupledBetween = (a, b) => a === b ||
+        netlist.devices.some((device) => device.kind === "resistor" &&
+            device.nodes.length === 2 &&
+            device.nodes.includes(a) &&
+            device.nodes.includes(b));
+    const pairs = [];
+    for (let i = 0; i < transistors.length; i += 1) {
+        for (let j = i + 1; j < transistors.length; j += 1) {
+            const a = transistors[i];
+            const b = transistors[j];
+            if (a === undefined || b === undefined) {
+                continue;
+            }
+            if (a.emitter !== b.emitter) {
+                continue;
+            }
+            if (!coupledBetween(a.collector, b.base) ||
+                !coupledBetween(b.collector, a.base)) {
+                continue;
+            }
+            pairs.push({ a, b });
+        }
+    }
+    // Requirement 4. A transistor in two candidate pairs makes all of them ambiguous.
+    const appearances = new Map();
+    for (const pair of pairs) {
+        for (const member of [pair.a, pair.b]) {
+            appearances.set(member.id, (appearances.get(member.id) ?? 0) + 1);
+        }
+    }
+    const latches = [];
+    for (const pair of pairs) {
+        if ([pair.a, pair.b].some((m) => (appearances.get(m.id) ?? 0) > 1)) {
+            continue;
+        }
+        // Prefer the side that engages the effect. Falling back to the lower base id keeps a
+        // latch this cannot read out of the unphysical midpoint, which is the seed's floor.
+        const engagedBaseNode = engagedBase(netlist, rails, pair.a, pair.b) ??
+            Math.min(pair.a.base, pair.b.base);
+        const engaged = engagedBaseNode === pair.a.base ? pair.a : pair.b;
+        const bypassed = engagedBaseNode === pair.a.base ? pair.b : pair.a;
+        const bypassControls = (netlist.controls ?? []).filter((c) => c.role === "bypass");
+        let controlId = bypassControls.length === 1 ? (bypassControls[0]?.id ?? null) : null;
+        if (controlId === null) {
+            for (const dev of netlist.devices) {
+                if (dev.kind === "switch" && dev.control !== null) {
+                    controlId = dev.control;
+                    break;
+                }
+            }
+        }
+        latches.push({
+            controlId,
+            engagedBase: engaged.base,
+            bypassedBase: bypassed.base,
+            emitter: pair.a.emitter,
+            engagedCollector: engaged.collector,
+            bypassedCollector: bypassed.collector,
+            engagedTransistorId: engaged.id,
+            bypassedTransistorId: bypassed.id,
+        });
+    }
+    return latches;
+}
+export function findLatchSeeds(netlist) {
+    const latches = findBistableLatches(netlist);
+    const seeds = [];
+    const seeded = new Set();
+    for (const latch of latches) {
+        if (seeded.has(latch.engagedBase)) {
+            continue;
+        }
+        seeded.add(latch.engagedBase);
+        seeds.push({ node: latch.engagedBase, volts: LATCH_SEED_VOLTS });
+    }
+    return seeds;
+}
+/**
+ * Which member of the pair is high when the pedal is **engaged**, or `null` when that is not
+ * derivable from connectivity.
+ *
+ * Ported from the old spine's `discrete-bypass-latch.ts`, whose rule this repository already
+ * paid for: a latch's side is a control fact, and the two questions that decide it are which
+ * switches each collector gates, and which of those switch paths carries the audio the user
+ * adjusts. Every refusal below is one the old rule names, and returning `null` for all of
+ * them is deliberate — an undecidable side must fall back to *a* physical state rather than a
+ * confident guess, because being wrong here silently bypasses the pedal.
+ *
+ * Two edge sets, and the split matters:
+ *
+ * - **DC edges are resistors and diodes only.** Capacitors are excluded because a bistable's
+ *   own cross-coupling capacitors, plus every supply bypass capacitor, would bridge the whole
+ *   circuit and make both collectors appear to gate everything.
+ * - **Audio edges include capacitors**, since that is how a signal path is coupled, but
+ *   exclude the switch channels themselves so a side cannot reach the controls *through* its
+ *   counterpart.
+ *
+ * Both floods are blocked by rails, the same exclusion the rest of this file makes.
+ */
+function engagedBase(netlist, rails, a, b) {
+    const dcEdges = edgesOf(netlist, ["resistor", "diode"]);
+    const switches = netlist.devices.flatMap((switching) => {
+        if (switching.kind !== "jfet" && switching.kind !== "mosfet") {
+            return [];
+        }
+        const gate = terminal(switching, "gate");
+        const drain = terminal(switching, "drain");
+        return gate === null || drain === null
+            ? []
+            : [{ id: String(switching.id), gate, drain }];
+    });
+    const gatedBy = (collector) => {
+        const reached = flood(collector, dcEdges, rails);
+        return switches
+            .filter((candidate) => reached.has(candidate.gate))
+            .map((candidate) => candidate.id)
+            .sort();
+    };
+    const gatedA = gatedBy(a.collector);
+    const gatedB = gatedBy(b.collector);
+    // Neither side drives a switch: not a switched bypass latch at all. A latch driving only
+    // an indicator lands here, correctly.
+    if (gatedA.length === 0 && gatedB.length === 0) {
+        return null;
+    }
+    // Both sides gate the same switches, so the sides are indistinguishable.
+    if (gatedA.length === gatedB.length &&
+        gatedA.every((id, index) => id === gatedB[index])) {
+        return null;
+    }
+    const switchIds = new Set([...gatedA, ...gatedB]);
+    const audioEdges = edgesOf(netlist, [
+        "resistor",
+        "capacitor",
+        "inductor",
+        "potentiometer",
+    ]).filter((edge) => !switchIds.has(edge.id));
+    // A control-bound device is one a knob varies, which is a typed field rather than a name.
+    const controlNodes = netlist.devices.flatMap((device) => device.control === null ? [] : device.nodes);
+    const reachesAControl = (gated) => gated.some((switchId) => {
+        const found = switches.find((candidate) => candidate.id === switchId);
+        if (found === undefined) {
+            return false;
+        }
+        const reached = flood(found.drain, audioEdges, rails);
+        return controlNodes.some((node) => reached.has(node));
+    });
+    const engagedA = reachesAControl(gatedA);
+    const engagedB = reachesAControl(gatedB);
+    if (engagedA === engagedB) {
+        return null;
+    }
+    return engagedA ? a.base : b.base;
+}
+/** Undirected two-terminal edges of the given kinds; a pot contributes one per terminal pair. */
+function edgesOf(netlist, kinds) {
+    const wanted = new Set(kinds);
+    const edges = [];
+    for (const device of netlist.devices) {
+        if (!wanted.has(device.kind)) {
+            continue;
+        }
+        for (let i = 0; i < device.nodes.length; i += 1) {
+            for (let j = i + 1; j < device.nodes.length; j += 1) {
+                const a = device.nodes[i];
+                const b = device.nodes[j];
+                if (a !== undefined && b !== undefined && a !== b) {
+                    edges.push({ a, b, id: String(device.id) });
+                }
+            }
+        }
+    }
+    return edges;
+}
+/** Reachable nodes, never entering a blocked node. */
+function flood(start, edges, blocked) {
+    if (blocked.has(start)) {
+        return new Set();
+    }
+    const seen = new Set([start]);
+    const queue = [start];
+    while (queue.length > 0) {
+        const node = queue.pop();
+        for (const edge of edges) {
+            const other = edge.a === node ? edge.b : edge.b === node ? edge.a : null;
+            if (other === null || seen.has(other) || blocked.has(other)) {
+                continue;
+            }
+            seen.add(other);
+            queue.push(other);
+        }
+    }
+    return seen;
+}
+/** A terminal's node by role token, or `null` when the role is absent or repeated. */
+function terminal(device, role) {
+    const found = device.identity.terminalRoles.flatMap((candidate, index) => candidate === role ? [index] : []);
+    if (found.length !== 1) {
+        return null;
+    }
+    const node = device.nodes[found[0]];
+    return node === undefined ? null : node;
+}
+//# sourceMappingURL=latch-seed.js.map

package/dist/latch-seed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"latch-seed.js","sourceRoot":"","sources":["../src/latch-seed.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,EAAE;AACF,qFAAqF;AACrF,sFAAsF;AACtF,wFAAwF;AACxF,yFAAyF;AACzF,2FAA2F;AAC3F,iDAAiD;AACjD,EAAE;AACF,0FAA0F;AAC1F,4FAA4F;AAC5F,4FAA4F;AAC5F,yFAAyF;AACzF,mFAAmF;AACnF,EAAE;AACF,sFAAsF;AACtF,gFAAgF;AAChF,qFAAqF;AACrF,uBAAuB;AAIvB;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAkD9B,MAAM,UAAU,mBAAmB,CAClC,OAAgG;IAEhG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC;QACF,CAAC;IACF,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QACtD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,OAAO,EAAE,CAAC;QACX,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC5C,IAAI,SAAS,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7D,OAAO,EAAE,CAAC;QACX,CAAC;QACD,+EAA+E;QAC/E,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,EAAE,CAAC;QACX,CAAC;QACD,OAAO,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CACxD,CAAC,KAAK,CAAC;QACP,OAAO,CAAC,OAAO,CAAC,IAAI,CACnB,CAAC,MAAM,EAAE,EAAE,CACV,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YACzB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CACzB,CAAC;IAEH,MAAM,KAAK,GAAyD,EAAE,CAAC;IACvE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACxC,SAAS;YACV,CAAC;YACD,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC7B,SAAS;YACV,CAAC;YACD,IACC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC;gBACpC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,EACnC,CAAC;gBACF,SAAS;YACV,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;IACF,CAAC;IAED,kFAAkF;IAClF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACnE,CAAC;IACF,CAAC;IAED,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,IACC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAC7D,CAAC;YACF,SAAS;QACV,CAAC;QACD,qFAAqF;QACrF,oFAAoF;QACpF,MAAM,eAAe,GACpB,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAY,CAAC;QAEhD,MAAM,OAAO,GAAG,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEnE,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC1B,CAAC;QACF,IAAI,SAAS,GACZ,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAEtE,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACxB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACnC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;oBACnD,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC;oBACxB,MAAM;gBACP,CAAC;YACF,CAAC;QACF,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACZ,SAAS;YACT,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,YAAY,EAAE,QAAQ,CAAC,IAAI;YAC3B,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO;YACvB,gBAAgB,EAAE,OAAO,CAAC,SAAS;YACnC,iBAAiB,EAAE,QAAQ,CAAC,SAAS;YACrC,mBAAmB,EAAE,OAAO,CAAC,EAAE;YAC/B,oBAAoB,EAAE,QAAQ,CAAC,EAAE;SACjC,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAC7B,OAAgB;IAEhB,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAyB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YACnC,SAAS;QACV,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAWD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,WAAW,CACnB,OAAiC,EACjC,KAA0B,EAC1B,CAAa,EACb,CAAa;IAEb,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QACtD,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9D,OAAO,EAAE,CAAC;QACX,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,OAAO,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;YACrC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,CAAC,SAAiB,EAAqB,EAAE;QACxD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,OAAO,QAAQ;aACb,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;aAClD,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;aAChC,IAAI,EAAE,CAAC;IACV,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpC,yFAAyF;IACzF,sCAAsC;IACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACb,CAAC;IACD,yEAAyE;IACzE,IACC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,EAChD,CAAC;QACF,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,EAAE;QACnC,UAAU;QACV,WAAW;QACX,UAAU;QACV,eAAe;KACf,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,0FAA0F;IAC1F,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvD,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAC3C,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,KAAwB,EAAW,EAAE,CAC7D,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;QACvB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;QACtE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,KAAK,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEJ,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACb,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnC,CAAC;AAED,iGAAiG;AACjG,SAAS,OAAO,CACf,OAAiC,EACjC,KAAgC;IAEhC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,SAAS;QACV,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACnD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC7C,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,sDAAsD;AACtD,SAAS,KAAK,CACb,KAAa,EACb,KAAsB,EACtB,OAA4B;IAE5B,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,GAAG,EAAE,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,MAAM,KAAK,GAAa,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAY,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACzE,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7D,SAAS;YACV,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,sFAAsF;AACtF,SAAS,QAAQ,CAAC,MAAc,EAAE,IAAY;IAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACxE,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CACjC,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC;IAC9C,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACzC,CAAC"}

package/dist/link.d.ts

@@ -0,0 +1,7 @@
+import { StageRefusal } from "./errors";
+import type { Block, Control, Partitioning, Ports, Program, ProgramBypass } from "./types";
+export declare class LinkError extends StageRefusal {
+    constructor(message: string);
+}
+export declare function link(blocks: readonly Block[], partitioning: Partitioning, controls: readonly Control[], ports: Ports, portImpedanceOhms?: Program["portImpedanceOhms"], portDeclaredFullScaleVolts?: Program["portImpedanceOhms"], bypass?: ProgramBypass): Program;
+//# sourceMappingURL=link.d.ts.map

package/dist/link.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"link.d.ts","sourceRoot":"","sources":["../src/link.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAIxC,OAAO,KAAK,EACX,KAAK,EACL,OAAO,EAGP,YAAY,EACZ,KAAK,EACL,OAAO,EACP,aAAa,EACb,MAAM,SAAS,CAAC;AAEjB,qBAAa,SAAU,SAAQ,YAAY;gBAC9B,OAAO,EAAE,MAAM;CAG3B;AAED,wBAAgB,IAAI,CACnB,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,YAAY,EAAE,YAAY,EAC1B,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,KAAK,EAAE,KAAK,EAGZ,iBAAiB,GAAE,OAAO,CAAC,mBAAmB,CAG7C,EAGD,0BAA0B,GAAE,OAAO,CAAC,mBAAmB,CAGtD,EACD,MAAM,GAAE,aAAoC,GAC1C,OAAO,CAkDT"}