@vessel-dsp/compiler 0.0.0-stage → 0.3.0

package/dist/supply-short.js

@@ -0,0 +1,118 @@
+// Diodes wired forward across a supply, which no built circuit contains.
+//
+// A warning rather than a refusal, matching the other two: the program builds, the pedal
+// renders, and this says the rendered circuit contains a short that the source almost certainly
+// did not intend. `ibanez-ts808` and `ibanez-ts9` each carry **1.074 A** through a
+// reverse-polarity protection diode on a 9 V supply, and reported nothing until now.
+//
+// Evidence is connectivity plus terminal roles, both of which this pipeline already reads to
+// tell an anode from a cathode. No component name, no `Description`, no part number.
+/** Role tokens naming a diode's ends, as `terminalRoleToken` leaves them. */
+const anodeRoles = new Set(["anode", "a", "p", "plus", "positive"]);
+const cathodeRoles = new Set(["cathode", "k", "c", "minus", "negative"]);
+/**
+ * A diode whose **anode sits on a supply node and whose cathode sits on ground** is forward
+ * biased by the whole supply. In a real circuit that is a dead short: the junction conducts
+ * until something fails.
+ *
+ * The runtime does not diverge on it, which is why this went unseen. `DIODE_VOLTAGE_LIMIT` caps
+ * the junction voltage at `0.9 V` before the current is computed, so instead of running away the
+ * diode settles at about **1 A** — and the supply is an ideal source, so it simply sinks that
+ * current and the pedal renders a plausible level. `ibanez-ts808` renders a gain of `0.506` with
+ * a 1 A short on its rail. The clamp is a convergence device that turned out to be hiding a
+ * circuit defect, which is the same shape as several other masks found the same day.
+ *
+ * **Directness is required, and it is what makes this precise.** The check asks that the anode
+ * be *on* a node a `voltage-source` or `rail` device terminates, and the cathode be ground
+ * itself. An indicator LED fed through a series resistor does not match, because its anode sits
+ * on the resistor's node rather than the supply's — so the common legitimate arrangement is
+ * excluded by construction rather than by a special case.
+ *
+ * Measured over the pedal corpus: **6 diodes across 6 packets** match structurally, of which the
+ * two that compile carry `1.074 A` each. The other four are in the unsupported population, so
+ * they are flagged the moment their packets compile.
+ *
+ * The warning states the structure and the polarity, and does **not** claim the source is wrong.
+ * A protection diode reversed in the source and a protection diode this pipeline has mis-read
+ * look identical from here; what makes it reportable is that either way the compiled circuit
+ * contains a short. Checked on `ibanez-ts808`: the source itself declares `anode` on the 9 V
+ * node and `cathode` on ground, so the role reading is not at fault there — but that is a
+ * per-packet finding rather than something this stage should assert.
+ */
+export function findSupplyShorts(netlist) {
+    const positiveSupplyNodes = new Set();
+    const negativeSupplyNodes = new Set();
+    for (const device of netlist.devices) {
+        if (device.kind !== "voltage-source" && device.kind !== "rail") {
+            continue;
+        }
+        const volts = device.parameters.volts;
+        for (const node of device.nodes) {
+            if (node !== 0) {
+                if (volts !== undefined && volts < 0) {
+                    negativeSupplyNodes.add(node);
+                }
+                else {
+                    positiveSupplyNodes.add(node);
+                }
+            }
+        }
+    }
+    if (positiveSupplyNodes.size === 0 && negativeSupplyNodes.size === 0) {
+        return [];
+    }
+    const warnings = [];
+    for (const device of netlist.devices) {
+        if (device.kind !== "diode" || device.nodes.length !== 2) {
+            continue;
+        }
+        const ends = diodeEnds(device);
+        if (ends === null) {
+            continue;
+        }
+        const [anode, cathode] = ends;
+        if (positiveSupplyNodes.has(anode) && cathode === 0) {
+            warnings.push({
+                code: "diode-forward-across-supply",
+                device: device.id,
+                detail: `diode ${device.id} has its anode on positive supply node ${anode} and its cathode on ground, ` +
+                    "so the whole supply forward biases it: the compiled circuit contains a short across " +
+                    "the supply, which the runtime renders rather than diverging on only because the " +
+                    "junction voltage is clamped",
+            });
+        }
+        else if (negativeSupplyNodes.has(cathode) && anode === 0) {
+            warnings.push({
+                code: "diode-forward-across-supply",
+                device: device.id,
+                detail: `diode ${device.id} has its anode on ground and its cathode on negative supply node ${cathode}, ` +
+                    "so the whole supply forward biases it: the compiled circuit contains a short across " +
+                    "the supply, which the runtime renders rather than diverging on only because the " +
+                    "junction voltage is clamped",
+            });
+        }
+    }
+    return warnings;
+}
+/**
+ * A diode's `(anode, cathode)` nodes, or `null` when its roles do not name exactly one of each.
+ *
+ * No positional fallback. A diode whose ends are unlabelled cannot be said to point anywhere, and
+ * guessing would let this warning accuse a circuit of a short on the strength of terminal order.
+ */
+function diodeEnds(device) {
+    const roles = device.identity.terminalRoles;
+    const only = (accepted) => {
+        const found = roles.flatMap((role, index) => role !== null && accepted.has(role) ? [index] : []);
+        return found.length === 1 ? (found[0] ?? null) : null;
+    };
+    const anode = only(anodeRoles);
+    const cathode = only(cathodeRoles);
+    if (anode === null || cathode === null) {
+        return null;
+    }
+    const a = device.nodes[anode];
+    const c = device.nodes[cathode];
+    return a === undefined || c === undefined ? null : [a, c];
+}
+//# sourceMappingURL=supply-short.js.map

package/dist/supply-short.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"supply-short.js","sourceRoot":"","sources":["../src/supply-short.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,EAAE;AACF,yFAAyF;AACzF,gGAAgG;AAChG,mFAAmF;AACnF,qFAAqF;AACrF,EAAE;AACF,6FAA6F;AAC7F,qFAAqF;AAIrF,6EAA6E;AAC7E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;AACpE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,gBAAgB,CAC/B,OAAgB;IAEhB,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,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,SAAS;QACV,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBAChB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;oBACtC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/B,CAAC;qBAAM,CAAC;oBACP,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/B,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,mBAAmB,CAAC,IAAI,KAAK,CAAC,IAAI,mBAAmB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,EAAE,CAAC;IACX,CAAC;IAED,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1D,SAAS;QACV,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACnB,SAAS;QACV,CAAC;QACD,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QAC9B,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,MAAM,EACL,SAAS,MAAM,CAAC,EAAE,0CAA0C,KAAK,8BAA8B;oBAC/F,sFAAsF;oBACtF,kFAAkF;oBAClF,6BAA6B;aAC9B,CAAC,CAAC;QACJ,CAAC;aAAM,IAAI,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,MAAM,EACL,SAAS,MAAM,CAAC,EAAE,oEAAoE,OAAO,IAAI;oBACjG,sFAAsF;oBACtF,kFAAkF;oBAClF,6BAA6B;aAC9B,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,MAAc;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,QAA6B,EAAiB,EAAE;QAC7D,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;QACF,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3D,CAAC"}

package/dist/supply-stamps.d.ts

@@ -0,0 +1,51 @@
+import type { Program } from "./types";
+/** Where a supply stamp lives: which block holds it and which source it is. */
+export type SupplyAddress = {
+    readonly blockIndex: number;
+    readonly sourceIndex: number;
+};
+export type ResolvedSupply = {
+    readonly address: SupplyAddress;
+    readonly railComponentId: string;
+    readonly role: string;
+    readonly nominalVolts: number | null;
+    /**
+     * How the rail reached its stamp, compared as a whole value.
+     *
+     * `rail-device` is the rail's own lowered device matched to a stamp through
+     * `block.nodeIds`. `domain-source` is the fallback below: the rail is a
+     * label or port with no lowered device, and the stamp is the one the
+     * domain's own source components lower to. A host can show or ignore the
+     * weaker path; both are typed evidence, never names.
+     */
+    readonly via: "rail-device" | "domain-source";
+};
+/**
+ * Why a rail was left on its compiled values, compared as whole values.
+ *
+ * Closed on purpose: callers switch on `reason`, and the prose in `detail` is
+ * for a human reading a report, never for a test to match.
+ */
+export type SupplyRefusalReason = "no-power-section" | "mains-ac-source" | "unknown-source-kind" | "source-kind-conflict" | "derived-rail" | "rail-not-main-supply" | "no-stamp-for-rail" | "ambiguous-stamp";
+export type RefusedSupply = {
+    readonly railComponentId: string | null;
+    readonly reason: SupplyRefusalReason;
+    readonly detail: string;
+};
+export type SupplyResolution = {
+    readonly supplies: readonly ResolvedSupply[];
+    readonly refused: readonly RefusedSupply[];
+};
+/**
+ * Join the document's power domains to the program's `dc-source` stamps.
+ *
+ * Only rails in an `external-dc` domain -- declared, or inferred from the
+ * domain's source components when `sourceKind` is absent -- whose
+ * `derivation` is `direct` and whose `role` is `main-supply` are candidates.
+ * Each candidate's `railComponentId` resolves to its lowered device, whose
+ * nodes are matched to the single `dc-source` stamp with a terminal on one
+ * of them. Zero or several such stamps is a refusal naming the rail, never
+ * a guess.
+ */
+export declare function resolveSupplyStamps(source: string, program: Program): SupplyResolution;
+//# sourceMappingURL=supply-stamps.d.ts.map

package/dist/supply-stamps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"supply-stamps.d.ts","sourceRoot":"","sources":["../src/supply-stamps.ts"],"names":[],"mappings":"AAgEA,OAAO,KAAK,EAAU,OAAO,EAAE,MAAM,SAAS,CAAC;AAG/C,+EAA+E;AAC/E,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;OAQG;IACH,QAAQ,CAAC,GAAG,EAAE,aAAa,GAAG,eAAe,CAAC;CAC9C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAC5B,kBAAkB,GAClB,iBAAiB,GACjB,qBAAqB,GACrB,sBAAsB,GACtB,cAAc,GACd,sBAAsB,GACtB,mBAAmB,GACnB,iBAAiB,CAAC;AAErB,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;CAC3C,CAAC;AAoCF;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAClC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,OAAO,GACd,gBAAgB,CAoNlB"}

package/dist/supply-stamps.js

@@ -0,0 +1,363 @@
+// Which compiled `dc-source` stamps are the circuit's external supply.
+//
+// A compiled Program cannot tell its external rail from its derived ones: the
+// compiler ignores power domains, so klon-centaur's +9, +18 and -9 all lower to
+// plain `dc-source` stamps. A battery profile must be applied to the external
+// rail only, otherwise one cell is counted three times. The document model
+// declares which rail is external in typed fields (`CircuitPowerDomain` /
+// `CircuitPowerRailBinding`: `sourceKind`, `role`, `derivation`,
+// `railComponentId`, `nominalVoltage`), and this module joins that declaration
+// to the compiled stamps.
+//
+// Typed evidence only. This module never reads component names, designators,
+// descriptions, or any other prose: a rail is its `railComponentId`, a source
+// is its lowered device kind, and a stamp is its terminal rows. Renaming every
+// component in the document without touching the typed linkage returns the
+// same resolution.
+//
+// Two joins, both through the compiler's own lowering rather than geometry:
+//
+// 1. Source kind. Most real packets predate `sourceKind`, so when it is
+//    absent the domain's `sourceComponentIds` are classified by the same typed
+//    discriminator the device laws use (`device-laws.ts`): a `voltage-source`
+//    device with a positive finite `frequency` parameter lowers to `ac-source`
+//    and everything else in that kind lowers to `dc-source`; a `rail` with a
+//    finite `volts` parameter lowers to `voltage-source` and without one stays
+//    `open`; a `transformer` is mains-side magnetics. Any mains evidence makes
+//    the domain mains: a boundary touching the wall socket is mains-fed even
+//    when it also names DC rails downstream of its rectifier. An explicit
+//    `sourceKind` still wins, and a clean contradiction between it and the
+//    lowered evidence is its own refusal rather than a silent override.
+// 2. Rail to stamp. The rail's device is read from the compiler netlist
+//    (`readNetlist`, the same stage `compile` runs first, so declared `node:`
+//    keys and the `nodes:` ledger resolve exactly as they did at compile
+//    time), and its nodes are matched to `dc-source` stamps through
+//    `block.nodeIds`, which translates a stamp's row back to its source node
+//    (`lower.ts` builds `nodeIds` as row -> source `NodeId`). Either terminal
+//    may identify the rail -- a battery-style supply hangs it off one end or
+//    the other depending on grounding, while a single-ended `rail` asserts
+//    its potential on the positive terminal with the sign in its volts --
+//    except ground on the negative side: node 0 is the common return every
+//    supply shares, so it can never name a rail.
+// 3. Rail labels with no device. A port or label rail lowers to no device, so
+//    its own nodes cannot name a stamp -- but the domain's `sourceComponentIds`
+//    say which components feed it, and the stamp is the `dc-source` those
+//    sources lower to, read from the program through `block.nodeIds` exactly
+//    as in join 2. Only sources with DC evidence (the device-laws
+//    discriminator: a `voltage-source` without a positive finite `frequency`,
+//    a `rail` with a finite `volts`) contribute; a jack, an `ac-source`, a
+//    transformer, or an `open` never counts. Exactly one distinct stamp maps
+//    the rail (`via: "domain-source"`); zero keeps `no-stamp-for-rail` and
+//    more than one is `ambiguous-stamp`. The mains rule still runs first, so
+//    none of this can reach a mains-fed domain.
+//
+// The inputs are the `.vdsp` source text and the program compiled from it (the
+// node resolution does not depend on compile jack options, so none are taken).
+// Pure: reads both inputs, mutates neither, and leaves the program's stamps
+// exactly as compiled. A source text that cannot be read throws exactly as
+// `compile` does on the same text.
+import { parseInterchangeYaml, } from "@vessel-dsp/core";
+import { readNetlist } from "./netlist.js";
+import { GROUND } from "./types.js";
+function sourceEvidence(device) {
+    // Mirrors the `voltage-source` law: a positive finite `frequency`
+    // parameter is what makes the device an AC source; presence of the
+    // parameter, not anything in the packet's prose, is the discriminator.
+    if (device.kind === "voltage-source") {
+        const frequency = device.parameters.frequency;
+        return frequency !== undefined &&
+            Number.isFinite(frequency) &&
+            frequency > 0
+            ? "ac"
+            : "dc";
+    }
+    // Mirrors the `rail` law: a rail with a finite declared voltage asserts a
+    // potential (a `voltage-source` law); one without stays `open`.
+    if (device.kind === "rail") {
+        const volts = device.parameters.volts;
+        return typeof volts === "number" && Number.isFinite(volts)
+            ? "dc"
+            : "none";
+    }
+    // Mains-side magnetics: not a `dc-source` stamp, but mains evidence the
+    // same way an `ac-source` device is.
+    if (device.kind === "transformer") {
+        return "ac";
+    }
+    return "none";
+}
+/**
+ * Join the document's power domains to the program's `dc-source` stamps.
+ *
+ * Only rails in an `external-dc` domain -- declared, or inferred from the
+ * domain's source components when `sourceKind` is absent -- whose
+ * `derivation` is `direct` and whose `role` is `main-supply` are candidates.
+ * Each candidate's `railComponentId` resolves to its lowered device, whose
+ * nodes are matched to the single `dc-source` stamp with a terminal on one
+ * of them. Zero or several such stamps is a refusal naming the rail, never
+ * a guess.
+ */
+export function resolveSupplyStamps(source, program) {
+    const document = parseInterchangeYaml(source);
+    const netlist = readNetlist(source);
+    const deviceById = new Map(netlist.devices.map((device) => [device.id, device]));
+    const componentById = new Map(document.components.map((component) => [component.id, component]));
+    const power = document.power;
+    if (power === undefined || power.domains.length === 0) {
+        return {
+            supplies: [],
+            refused: [
+                {
+                    railComponentId: null,
+                    reason: "no-power-section",
+                    detail: "document declares no power section, so no rail can be shown external: every compiled supply keeps its compiled volts and sourceOhms.",
+                },
+            ],
+        };
+    }
+    const supplies = [];
+    const refused = [];
+    for (const domain of power.domains) {
+        const evidence = domain.sourceComponentIds.map((id) => sourceEvidenceOf(deviceById.get(id)));
+        const dc = evidence.filter((kind) => kind === "dc").length;
+        const ac = evidence.filter((kind) => kind === "ac").length;
+        // Any mains evidence makes the domain mains: a boundary touching the
+        // wall socket is mains-fed even when it also names DC rails downstream
+        // of its rectifier (the amp B+ case). Pure DC evidence is external.
+        const inferred = ac > 0
+            ? "mains-ac"
+            : dc > 0
+                ? "external-dc"
+                : undefined;
+        const explicit = domain.sourceKind;
+        if (explicit !== undefined && inferred !== undefined && explicit !== inferred) {
+            if (domain.rails.length === 0) {
+                refused.push({
+                    railComponentId: null,
+                    reason: "source-kind-conflict",
+                    detail: `domain "${domain.id}" declares sourceKind "${explicit}" but its source components lower as ${inferred === "mains-ac" ? "mains" : "external DC"}, so nothing in it can be trusted as external: it keeps its compiled values.`,
+                });
+            }
+            for (const rail of domain.rails) {
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "source-kind-conflict",
+                    detail: `domain "${domain.id}" declares sourceKind "${explicit}" but its source components lower as ${inferred === "mains-ac" ? "mains" : "external DC"}: rail "${rail.railComponentId}" keeps its compiled values.`,
+                });
+            }
+            continue;
+        }
+        const effective = explicit ?? inferred;
+        if (effective === "mains-ac") {
+            if (domain.rails.length === 0) {
+                refused.push({
+                    railComponentId: null,
+                    reason: "mains-ac-source",
+                    detail: `domain "${domain.id}" is a mains-ac inlet with no declared rails: rectifier behavior is out of scope, so nothing is mapped.`,
+                });
+            }
+            for (const rail of domain.rails) {
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "mains-ac-source",
+                    detail: `domain "${domain.id}" is a mains-ac inlet, so rail "${rail.railComponentId}" is refused: rectifier behavior is out of scope and it keeps its compiled values.`,
+                });
+            }
+            continue;
+        }
+        if (effective === undefined) {
+            if (domain.rails.length === 0) {
+                refused.push({
+                    railComponentId: null,
+                    reason: "unknown-source-kind",
+                    detail: `domain "${domain.id}" declares no sourceKind and its source components show no external DC or mains evidence, so nothing can be shown external.`,
+                });
+            }
+            for (const rail of domain.rails) {
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "unknown-source-kind",
+                    detail: `domain "${domain.id}" declares no sourceKind and its source components show no external DC or mains evidence, so rail "${rail.railComponentId}" cannot be shown external or derived: it keeps its compiled values.`,
+                });
+            }
+            continue;
+        }
+        for (const rail of domain.rails) {
+            if (rail.derivation !== "direct") {
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "derived-rail",
+                    detail: `rail "${rail.railComponentId}" is a converter output (derivation "${rail.derivation}"), not a battery terminal: it keeps its compiled values.`,
+                });
+                continue;
+            }
+            if (rail.role !== "main-supply") {
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "rail-not-main-supply",
+                    detail: `rail "${rail.railComponentId}" is a direct rail with role "${rail.role}", not the external main supply: it keeps its compiled values.`,
+                });
+                continue;
+            }
+            const device = deviceById.get(rail.railComponentId);
+            if (device === undefined) {
+                // A rail binding that names a component the document does not contain is a
+                // defect in the power declaration (a typo, a deleted part). The fallback below
+                // reads the domain's sources, so applying it here would silently repair the
+                // typo and hide it: refuse by name instead.
+                if (!componentById.has(rail.railComponentId)) {
+                    refused.push({
+                        railComponentId: rail.railComponentId,
+                        reason: "no-stamp-for-rail",
+                        detail: `rail "${rail.railComponentId}" names a component the document does not contain, so no node can be resolved for it and nothing is mapped.`,
+                    });
+                    continue;
+                }
+                // Fallback: the rail is a label or port with no lowered device, so
+                // its own nodes cannot name a stamp. The domain's
+                // `sourceComponentIds` say which components feed it, and the stamp
+                // is the `dc-source` those sources lower to -- read from the
+                // program's lowered stamps through `block.nodeIds`, never from
+                // the components' kinds or names. A source that lowers to
+                // anything else (a jack, an `ac-source`, a transformer, an
+                // `open`) never counts. Zero such stamps keeps
+                // `no-stamp-for-rail`; more than one distinct stamp is
+                // `ambiguous-stamp`, never a pick.
+                const sourced = matchDomainSourceStamps(domain.sourceComponentIds, deviceById, program);
+                if (sourced.length === 1) {
+                    const address = sourced[0];
+                    supplies.push({
+                        address,
+                        railComponentId: rail.railComponentId,
+                        role: rail.role,
+                        nominalVolts: rail.nominalVoltage?.value ?? domain.ratedVoltage?.value ?? null,
+                        via: "domain-source",
+                    });
+                    continue;
+                }
+                if (sourced.length > 1) {
+                    const at = sourced
+                        .map((match) => `block ${match.blockIndex} source ${match.sourceIndex}`)
+                        .join("; ");
+                    refused.push({
+                        railComponentId: rail.railComponentId,
+                        reason: "ambiguous-stamp",
+                        detail: `rail "${rail.railComponentId}" has no lowered device, and its domain's sources lower to ${sourced.length} dc-source stamps (${at}), so no single external supply can be named and nothing is mapped.`,
+                    });
+                    continue;
+                }
+                const component = componentById.get(rail.railComponentId);
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "no-stamp-for-rail",
+                    detail: component === undefined
+                        ? `rail "${rail.railComponentId}" names a component the document does not contain, so no node can be resolved for it and nothing is mapped.`
+                        : `rail "${rail.railComponentId}" is a ${component.kind} symbol with no lowered device, so no stamp can carry it and nothing is mapped.`,
+                });
+                continue;
+            }
+            const matches = matchStamps(new Set(device.nodes), program);
+            if (matches.length === 1) {
+                const address = matches[0];
+                supplies.push({
+                    address,
+                    railComponentId: rail.railComponentId,
+                    role: rail.role,
+                    nominalVolts: rail.nominalVoltage?.value ?? domain.ratedVoltage?.value ?? null,
+                    via: "rail-device",
+                });
+            }
+            else if (matches.length === 0) {
+                const railNodes = new Set(device.nodes);
+                const nodes = railNodes.size === 0
+                    ? "no resolvable node"
+                    : `node${railNodes.size === 1 ? "" : "s"} ${[...railNodes].sort((a, b) => a - b).join(", ")}`;
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "no-stamp-for-rail",
+                    detail: `rail "${rail.railComponentId}" sits on ${nodes}, which carries no dc-source stamp: it keeps its compiled values.`,
+                });
+            }
+            else {
+                const at = matches
+                    .map((match) => `block ${match.blockIndex} source ${match.sourceIndex}`)
+                    .join("; ");
+                refused.push({
+                    railComponentId: rail.railComponentId,
+                    reason: "ambiguous-stamp",
+                    detail: `rail "${rail.railComponentId}" matches ${matches.length} dc-source stamps (${at}), so no single external supply can be named and nothing is mapped.`,
+                });
+            }
+        }
+    }
+    return { supplies, refused };
+}
+function sourceEvidenceOf(device) {
+    return device === undefined ? "none" : sourceEvidence(device);
+}
+/**
+ * Every `dc-source` stamp with a terminal on one of `nodes`, in
+ * `program.blocks` order then stamp order.
+ *
+ * Either terminal may identify the rail: a battery-style supply hangs it off
+ * one end or the other depending on grounding, while a single-ended `rail`
+ * asserts its potential on the positive terminal with the sign in its volts
+ * (the germanium positive-ground case). Ground on the negative side never
+ * counts: node 0 is the common return every supply shares, so it cannot name
+ * a rail.
+ */
+function matchStamps(nodes, program) {
+    const matches = [];
+    program.blocks.forEach((block, blockIndex) => {
+        if (block.kind !== "mna") {
+            return;
+        }
+        for (const stamp of block.stamps) {
+            if (stamp.kind !== "dc-source") {
+                continue;
+            }
+            const positiveNode = block.nodeIds[stamp.positive];
+            const negativeNode = block.nodeIds[stamp.negative];
+            const touches = (positiveNode !== undefined && nodes.has(positiveNode)) ||
+                (negativeNode !== undefined &&
+                    negativeNode !== GROUND &&
+                    nodes.has(negativeNode));
+            if (touches) {
+                matches.push({ blockIndex, sourceIndex: stamp.sourceIndex });
+            }
+        }
+    });
+    return matches;
+}
+/**
+ * The distinct `dc-source` stamps the domain's source components lower to.
+ *
+ * Only sources that exist as netlist devices and carry DC evidence -- the
+ * same discriminator the device laws use, so a jack, an `ac-source`, a
+ * transformer, or an `open` never counts -- contribute their nodes; the stamp
+ * itself comes from the program's lowered result, never from a component's
+ * kind string or name. Two sources sharing one stamp still name one supply;
+ * two sources on two stamps is genuinely ambiguous.
+ */
+function matchDomainSourceStamps(sourceComponentIds, deviceById, program) {
+    const seen = new Set();
+    const out = [];
+    for (const id of sourceComponentIds) {
+        const device = deviceById.get(id);
+        if (device === undefined) {
+            continue;
+        }
+        if (sourceEvidence(device) !== "dc") {
+            continue;
+        }
+        for (const match of matchStamps(new Set(device.nodes), program)) {
+            const key = `${match.blockIndex}:${match.sourceIndex}`;
+            if (!seen.has(key)) {
+                seen.add(key);
+                out.push(match);
+            }
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=supply-stamps.js.map

package/dist/supply-stamps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"supply-stamps.js","sourceRoot":"","sources":["../src/supply-stamps.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,EAAE;AACF,8EAA8E;AAC9E,gFAAgF;AAChF,8EAA8E;AAC9E,2EAA2E;AAC3E,0EAA0E;AAC1E,iEAAiE;AACjE,+EAA+E;AAC/E,0BAA0B;AAC1B,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,2EAA2E;AAC3E,mBAAmB;AACnB,EAAE;AACF,4EAA4E;AAC5E,EAAE;AACF,wEAAwE;AACxE,+EAA+E;AAC/E,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAC/E,+EAA+E;AAC/E,6EAA6E;AAC7E,0EAA0E;AAC1E,2EAA2E;AAC3E,wEAAwE;AACxE,wEAAwE;AACxE,8EAA8E;AAC9E,yEAAyE;AACzE,oEAAoE;AACpE,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,2EAA2E;AAC3E,0EAA0E;AAC1E,2EAA2E;AAC3E,iDAAiD;AACjD,8EAA8E;AAC9E,gFAAgF;AAChF,0EAA0E;AAC1E,6EAA6E;AAC7E,kEAAkE;AAClE,8EAA8E;AAC9E,2EAA2E;AAC3E,6EAA6E;AAC7E,2EAA2E;AAC3E,6EAA6E;AAC7E,gDAAgD;AAChD,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,2EAA2E;AAC3E,mCAAmC;AAEnC,OAAO,EACN,oBAAoB,GAEpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AA0DjC,SAAS,cAAc,CAAC,MAAc;IACrC,kEAAkE;IAClE,mEAAmE;IACnE,uEAAuE;IACvE,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC;QAC9C,OAAO,SAAS,KAAK,SAAS;YAC7B,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC1B,SAAS,GAAG,CAAC;YACb,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC;IACT,CAAC;IACD,0EAA0E;IAC1E,gEAAgE;IAChE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC;QACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YACzD,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,MAAM,CAAC;IACX,CAAC;IACD,wEAAwE;IACxE,qCAAqC;IACrC,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACb,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAClC,MAAc,EACd,OAAgB;IAEhB,MAAM,QAAQ,GAAoB,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,CACzB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAU,CAAC,CAC7D,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAC5B,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAU,CAAC,CAC1E,CAAC;IAEF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,OAAO;YACN,QAAQ,EAAE,EAAE;YACZ,OAAO,EAAE;gBACR;oBACC,eAAe,EAAE,IAAI;oBACrB,MAAM,EAAE,kBAAkB;oBAC1B,MAAM,EACL,sIAAsI;iBACvI;aACD;SACD,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAoB,EAAE,CAAC;IAEpC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAC7C,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAC5C,CAAC;QACF,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;QAC3D,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;QAC3D,qEAAqE;QACrE,uEAAuE;QACvE,oEAAoE;QACpE,MAAM,QAAQ,GACb,EAAE,GAAG,CAAC;YACL,CAAC,CAAE,UAAoB;YACvB,CAAC,CAAC,EAAE,GAAG,CAAC;gBACP,CAAC,CAAE,aAAuB;gBAC1B,CAAC,CAAC,SAAS,CAAC;QACf,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC/E,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI;oBACrB,MAAM,EAAE,sBAAsB;oBAC9B,MAAM,EAAE,WAAW,MAAM,CAAC,EAAE,0BAA0B,QAAQ,wCAAwC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,8EAA8E;iBACrO,CAAC,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,sBAAsB;oBAC9B,MAAM,EAAE,WAAW,MAAM,CAAC,EAAE,0BAA0B,QAAQ,wCAAwC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,WAAW,IAAI,CAAC,eAAe,8BAA8B;iBACpN,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,IAAI,QAAQ,CAAC;QACvC,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI;oBACrB,MAAM,EAAE,iBAAiB;oBACzB,MAAM,EAAE,WAAW,MAAM,CAAC,EAAE,yGAAyG;iBACrI,CAAC,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,iBAAiB;oBACzB,MAAM,EAAE,WAAW,MAAM,CAAC,EAAE,mCAAmC,IAAI,CAAC,eAAe,oFAAoF;iBACvK,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI;oBACrB,MAAM,EAAE,qBAAqB;oBAC7B,MAAM,EAAE,WAAW,MAAM,CAAC,EAAE,6HAA6H;iBACzJ,CAAC,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,qBAAqB;oBAC7B,MAAM,EAAE,WAAW,MAAM,CAAC,EAAE,sGAAsG,IAAI,CAAC,eAAe,sEAAsE;iBAC5N,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,cAAc;oBACtB,MAAM,EAAE,SAAS,IAAI,CAAC,eAAe,wCAAwC,IAAI,CAAC,UAAU,2DAA2D;iBACvJ,CAAC,CAAC;gBACH,SAAS;YACV,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,sBAAsB;oBAC9B,MAAM,EAAE,SAAS,IAAI,CAAC,eAAe,iCAAiC,IAAI,CAAC,IAAI,gEAAgE;iBAC/I,CAAC,CAAC;gBACH,SAAS;YACV,CAAC;YACD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACpD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,2EAA2E;gBAC3E,+EAA+E;gBAC/E,4EAA4E;gBAC5E,4CAA4C;gBAC5C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;oBAC9C,OAAO,CAAC,IAAI,CAAC;wBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;wBACrC,MAAM,EAAE,mBAAmB;wBAC3B,MAAM,EAAE,SAAS,IAAI,CAAC,eAAe,6GAA6G;qBAClJ,CAAC,CAAC;oBACH,SAAS;gBACV,CAAC;gBACD,mEAAmE;gBACnE,kDAAkD;gBAClD,mEAAmE;gBACnE,6DAA6D;gBAC7D,+DAA+D;gBAC/D,0DAA0D;gBAC1D,2DAA2D;gBAC3D,+CAA+C;gBAC/C,uDAAuD;gBACvD,mCAAmC;gBACnC,MAAM,OAAO,GAAG,uBAAuB,CACtC,MAAM,CAAC,kBAAkB,EACzB,UAAU,EACV,OAAO,CACP,CAAC;gBACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAkB,CAAC;oBAC5C,QAAQ,CAAC,IAAI,CAAC;wBACb,OAAO;wBACP,eAAe,EAAE,IAAI,CAAC,eAAe;wBACrC,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,YAAY,EACX,IAAI,CAAC,cAAc,EAAE,KAAK,IAAI,MAAM,CAAC,YAAY,EAAE,KAAK,IAAI,IAAI;wBACjE,GAAG,EAAE,eAAe;qBACpB,CAAC,CAAC;oBACH,SAAS;gBACV,CAAC;gBACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACxB,MAAM,EAAE,GAAG,OAAO;yBAChB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,CAAC,UAAU,WAAW,KAAK,CAAC,WAAW,EAAE,CAAC;yBACvE,IAAI,CAAC,IAAI,CAAC,CAAC;oBACb,OAAO,CAAC,IAAI,CAAC;wBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;wBACrC,MAAM,EAAE,iBAAiB;wBACzB,MAAM,EAAE,SAAS,IAAI,CAAC,eAAe,8DAA8D,OAAO,CAAC,MAAM,sBAAsB,EAAE,qEAAqE;qBAC9M,CAAC,CAAC;oBACH,SAAS;gBACV,CAAC;gBACD,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBAC1D,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,mBAAmB;oBAC3B,MAAM,EACL,SAAS,KAAK,SAAS;wBACtB,CAAC,CAAC,SAAS,IAAI,CAAC,eAAe,6GAA6G;wBAC5I,CAAC,CAAC,SAAS,IAAI,CAAC,eAAe,UAAU,SAAS,CAAC,IAAI,iFAAiF;iBAC1I,CAAC,CAAC;gBACH,SAAS;YACV,CAAC;YACD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,GAAG,CAAS,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;YACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAkB,CAAC;gBAC5C,QAAQ,CAAC,IAAI,CAAC;oBACb,OAAO;oBACP,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,YAAY,EACX,IAAI,CAAC,cAAc,EAAE,KAAK,IAAI,MAAM,CAAC,YAAY,EAAE,KAAK,IAAI,IAAI;oBACjE,GAAG,EAAE,aAAa;iBAClB,CAAC,CAAC;YACJ,CAAC;iBAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChD,MAAM,KAAK,GACV,SAAS,CAAC,IAAI,KAAK,CAAC;oBACnB,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,OAAO,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChG,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,mBAAmB;oBAC3B,MAAM,EAAE,SAAS,IAAI,CAAC,eAAe,aAAa,KAAK,mEAAmE;iBAC1H,CAAC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACP,MAAM,EAAE,GAAG,OAAO;qBAChB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,CAAC,UAAU,WAAW,KAAK,CAAC,WAAW,EAAE,CAAC;qBACvE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC;oBACZ,eAAe,EAAE,IAAI,CAAC,eAAe;oBACrC,MAAM,EAAE,iBAAiB;oBACzB,MAAM,EAAE,SAAS,IAAI,CAAC,eAAe,aAAa,OAAO,CAAC,MAAM,sBAAsB,EAAE,qEAAqE;iBAC7J,CAAC,CAAC;YACJ,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA0B;IACnD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,WAAW,CAAC,KAAkB,EAAE,OAAgB;IACxD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;QAC5C,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,OAAO;QACR,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAChC,SAAS;YACV,CAAC;YACD,MAAM,YAAY,GAAuB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACvE,MAAM,YAAY,GAAuB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACvE,MAAM,OAAO,GACZ,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACvD,CAAC,YAAY,KAAK,SAAS;oBAC1B,YAAY,KAAK,MAAM;oBACvB,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;YAC3B,IAAI,OAAO,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;YAC9D,CAAC;QACF,CAAC;IACF,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,uBAAuB,CAC/B,kBAAqC,EACrC,UAA+B,EAC/B,OAAgB;IAEhB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,kBAAkB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1B,SAAS;QACV,CAAC;QACD,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;YACrC,SAAS;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,GAAG,CAAS,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACvD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC"}