@vessel-dsp/compiler 0.5.0 → 0.7.0

package/dist/registry.d.ts

@@ -83,6 +83,24 @@ export type MacroPortRoles = {
      * nothing about the single-output path changes.
      */
     readonly audioOut2?: readonly string[];
+    /**
+     * A part made of two sections that a circuit may chain, and where the audio leaves when it
+     * does. `sectionOut` is the first section's output, `nextIn` the second section's input and
+     * `finalOut` the second section's output, each as aliases of a terminal role.
+     *
+     * Applies only when the document wires `sectionOut` and `nextIn` to the **same node**: that
+     * connectivity is the circuit saying the sections are in series, so the delay the part
+     * contributes (all of its stages) is read at `finalOut`, not at the half-way tap `audioOut`
+     * names. A document that leaves the second section unused (its input on ground, or not named)
+     * is not chained and resolves by `audioOut` exactly as before.
+     *
+     * Absent for every part that has one section, and nothing about those changes.
+     */
+    readonly cascade?: {
+        readonly sectionOut: readonly string[];
+        readonly nextIn: readonly string[];
+        readonly finalOut: readonly string[];
+    };
     /**
      * Aliases for the terminal whose network derives the `parameter` port, if the part has one.
      *
@@ -168,6 +186,22 @@ export declare function pinoutMatches(pinout: PartPinout, terminalRoles: readonl
 import type { FirmwareEvidence } from "./firmware-class";
 import type { TerminalProfile } from "./terminal-role";
 import type { ProxyDeclaration } from "./proxy-declaration";
+/**
+ * One provisional parameter an entry's law carries: the registry parameter name and
+ * the `community` source URL its value was taken from.
+ *
+ * Stamped by the `registry-data` builders (`bjtLawEntry`, `diodeLawEntry`,
+ * `fetLawEntry`, the op-amp gain-bandwidth and output-swing passes) from the record's
+ * `community`-basis parameters, so the compiler can name every device that runs on a
+ * provisional value without importing any part data. Absent or empty means the entry
+ * carries no provisional value.
+ */
+export type ProvisionalParam = {
+    /** The registry parameter name, e.g. `saturationCurrent`. */
+    readonly name: string;
+    /** The community source URL the value was taken from. */
+    readonly url: string;
+};
 export type PartEntry = {
     /** Matched whole and case-folded against a device's part number. */
     readonly partIds: readonly string[];
@@ -187,6 +221,27 @@ export type PartEntry = {
      * reproduce. Absent means the entry asserts it models the part.
      */
     readonly proxy?: ProxyDeclaration;
+    /**
+     * **Provisional parameters this entry's law carries.** Each names a registry
+     * parameter whose value came from a `community` source, with that source's URL.
+     * See `ProvisionalParam`. Absent or empty means the entry carries no provisional
+     * value, and nothing about the entry changes: the law stamps exactly as before.
+     */
+    readonly provisionalParams?: readonly ProvisionalParam[];
+    /**
+     * **The registry parameters the source record states, by schema name.** The wave-1
+     * builders gap-fill every law field a record leaves out with the class default the
+     * unregistered path stamps, so the law alone cannot say which numbers a source supplied:
+     * `2SC1815` states `forwardBeta` only and its `saturationCurrent` is the bjt class
+     * default, repeated by value. This names the ones a source did state, so a warning about
+     * defaults can tell a registered value from a gap-fill.
+     *
+     * Absent means the entry's author stated the whole law (a hand-built entry, a fixture),
+     * and every field counts as stated. Present, it is exhaustive: a name not listed is a
+     * gap-fill. Provisional (`community`) parameters are listed, since they are stated; the
+     * provisional warning names them separately.
+     */
+    readonly citedParams?: readonly string[];
     /**
      * **Whether this chip's behaviour comes from a program — typed, with positive evidence.**
      * Absent means `undetermined`, which is **not** a scope boundary. See `firmware-class.ts`: the
@@ -207,6 +262,20 @@ export type PartEntry = {
      * Absent means no datasheet figure is recorded, and the part draws nothing, as before.
      */
     readonly quiescentSupplyAmps?: number;
+    /**
+     * **A charge pump's fixed open-circuit shortfall below ideal inversion, in volts,
+     * from its datasheet.**
+     *
+     * Present only on single-section `voltage-source` entries that model a
+     * switched-capacitor inverter: the derived rail is
+     * `-(inputVolts) - sign * chargePumpLossVolts` with the section law's `sourceOhms`
+     * carrying the load-dependent drop (see `pumpDerivation` in `device-laws.ts`).
+     * The CMOS 7660 family prints ~99.9% open-circuit conversion efficiency and so
+     * carries 0; the LT1054 prints a loss table (0.35 V TYP at 10 mA, TI SLVS033G p5)
+     * and carries that. Absent means the entry is not a pump model and the derivation
+     * never reads it.
+     */
+    readonly chargePumpLossVolts?: number;
     /**
      * **What each terminal IS, with per-terminal evidence.** Absent means `unpopulated`, which is a
      * correct state rather than a gap: a consumer that needs audio terminals must fall back to
@@ -313,17 +382,35 @@ export declare function foldToken(value: string | undefined | null): string;
  * a silent one is what let every amp in the corpus run a 6V6 fit.
  */
 export declare function registryLawFor(registry: PartRegistry, partNumber: string | null, lawKind: DeviceLaw["kind"]): DeviceLaw | null;
+/** A part's printed output swing, as the registry states it. See `DeviceLaw` `outputSwingDropHighVolts`. */
+export type OpampOutputSwing = {
+    readonly highVolts: number;
+    readonly lowVolts: number;
+    readonly printed: NonNullable<Extract<DeviceLaw, {
+        kind: "ideal-opamp";
+    }>["outputSwingPrinted"]>;
+};
+/**
+ * The output-swing pair, with the condition it was printed at, from an `ideal-opamp` law, or `null`
+ * when the law states none. **Both of the pair or neither, and the printed condition exactly when the
+ * pair is**: a law that states a half, or a pair with no condition, or a condition with no pair, is a
+ * table error and throws, naming the part. Nothing here guesses a missing side from the other.
+ */
+export declare function opampOutputSwingOf(law: Extract<DeviceLaw, {
+    kind: "ideal-opamp";
+}>, partId: string): OpampOutputSwing | null;
 /**
- * How far a part's output stops short of each supply rail, from the registry entry that names
- * it, or `null` when the part is not in the registry or states none (the rails are then used as
- * they are). Read from either an `ideal-opamp` law entry or the first section of a `sections`
- * entry, because a declared `opamp` device never reaches the section lowering.
+ * How far a part's output stops short of each supply rail, as its datasheet prints it, from the
+ * registry entry that names it by exact folded part id, or `null` when the part is not in the registry
+ * or its entry states none (the rails are then used as they are). Read from either an `ideal-opamp` law
+ * entry or the first section of a `sections` entry, because a declared `opamp` device never reaches the
+ * section lowering. Throws on a half-stated pair (`opampOutputSwingOf`).
  */
-export declare function registryOpampSwingDrop(registry: PartRegistry, partNumber: string | null): number | null;
+export declare function registryOpampSwing(registry: PartRegistry, partNumber: string | null): OpampOutputSwing | null;
 /**
  * The gain-bandwidth product, in hertz, that a part's datasheet states, from the registry entry
  * that names it by exact part id, or `null` when the part is not in the registry or its entry states
- * none. Read the same way as `registryOpampSwingDrop` -- from an `ideal-opamp` law entry or the first
+ * none. Read the same way as `registryOpampSwing` -- from an `ideal-opamp` law entry or the first
  * section of a `sections` entry -- and for the same reason: a declared `opamp` device never reaches
  * the section lowering, so this is the only door through which the catalog's figure reaches it.
  *

package/dist/registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;AAEpD;;;;;;;;;;;;GAYG;AACH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,cAAc,GAAG;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF;;;;;;;GAOG;AACH;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uFAAuF;IACvF,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,qBAAqB,CAAC;IAClD,QAAQ,CAAC,sBAAsB,EAAE,UAAU,CAAC,wBAAwB,CAAC,CAAC;IACtE,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,SAAS,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GACjD;IACA,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC3B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAC1D;IACA;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC7B,CAAC;AAEL;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC/B,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EACzC,OAAO,EAAE,SAAS,MAAM,EAAE,GACxB,MAAM,GAAG,IAAI,CAMf;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,GACvC,OAAO,CAOT;AAED,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,MAAM,MAAM,SAAS,GAAG;IACvB,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iEAAiE;IACjE,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C;;;OAGG;IACH,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS;QACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACpB,EAAE,CAAC;IACJ;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC;CAC1C,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC;IAClC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;CACvC,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,YAA8B,CAAC;AAmB3D,sGAAsG;AACtG,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAUlE;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAExE;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC;AAED,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,EACtB,aAAa,CAAC,EAAE,MAAM,GACpB,SAAS,GAAG,IAAI,CAqDlB;AAED,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,EACtB,aAAa,CAAC,EAAE,MAAM,GACpB,SAAS,GAAG,IAAI,CAGlB;AAED,gFAAgF;AAChF,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAEnE;AAED,uFAAuF;AACvF,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAKlE;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,cAAc,CAC7B,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,EACzB,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,GACxB,SAAS,GAAG,IAAI,CAclB;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,GACvB,MAAM,GAAG,IAAI,CAoBf;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,0BAA0B,CACzC,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,GACvB,MAAM,GAAG,IAAI,CAoBf"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;AAEpD;;;;;;;;;;;;GAYG;AACH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,cAAc,GAAG;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QAClB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;KACrC,CAAC;IACF;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF;;;;;;;GAOG;AACH;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uFAAuF;IACvF,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,qBAAqB,CAAC;IAClD,QAAQ,CAAC,sBAAsB,EAAE,UAAU,CAAC,wBAAwB,CAAC,CAAC;IACtE,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,SAAS,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GACjD;IACA,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC3B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAC1D;IACA;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC7B,CAAC;AAEL;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC/B,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EACzC,OAAO,EAAE,SAAS,MAAM,EAAE,GACxB,MAAM,GAAG,IAAI,CAMf;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,GACvC,OAAO,CAOT;AAED,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC9B,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACvB,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iEAAiE;IACjE,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C;;;OAGG;IACH,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACzD;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS;QACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACpB,EAAE,CAAC;IACJ;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC;CAC1C,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC;IAClC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;CACvC,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,YAA8B,CAAC;AAmB3D,sGAAsG;AACtG,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAUlE;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAExE;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC;AAED,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,EACtB,aAAa,CAAC,EAAE,MAAM,GACpB,SAAS,GAAG,IAAI,CAqDlB;AAED,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,EACtB,aAAa,CAAC,EAAE,MAAM,GACpB,SAAS,GAAG,IAAI,CAGlB;AAED,gFAAgF;AAChF,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAEnE;AAED,uFAAuF;AACvF,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAKlE;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,cAAc,CAC7B,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,EACzB,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,GACxB,SAAS,GAAG,IAAI,CAclB;AAED,4GAA4G;AAC5G,MAAM,MAAM,gBAAgB,GAAG;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE;QAAE,IAAI,EAAE,aAAa,CAAA;KAAE,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;CACjG,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,kBAAkB,CACjC,GAAG,EAAE,OAAO,CAAC,SAAS,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EAChD,MAAM,EAAE,MAAM,GACZ,gBAAgB,GAAG,IAAI,CA0BzB;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CACjC,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,GACvB,gBAAgB,GAAG,IAAI,CAoBzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,0BAA0B,CACzC,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GAAG,IAAI,GACvB,MAAM,GAAG,IAAI,CAoBf"}

package/dist/registry.js

@@ -164,12 +164,40 @@ export function registryLawFor(registry, partNumber, lawKind) {
     return null;
 }
 /**
- * How far a part's output stops short of each supply rail, from the registry entry that names
- * it, or `null` when the part is not in the registry or states none (the rails are then used as
- * they are). Read from either an `ideal-opamp` law entry or the first section of a `sections`
- * entry, because a declared `opamp` device never reaches the section lowering.
+ * The output-swing pair, with the condition it was printed at, from an `ideal-opamp` law, or `null`
+ * when the law states none. **Both of the pair or neither, and the printed condition exactly when the
+ * pair is**: a law that states a half, or a pair with no condition, or a condition with no pair, is a
+ * table error and throws, naming the part. Nothing here guesses a missing side from the other.
  */
-export function registryOpampSwingDrop(registry, partNumber) {
+export function opampOutputSwingOf(law, partId) {
+    const high = law.outputSwingDropHighVolts;
+    const low = law.outputSwingDropLowVolts;
+    const printed = law.outputSwingPrinted;
+    if (high === undefined && low === undefined && printed === undefined) {
+        return null;
+    }
+    if (high === undefined || low === undefined || printed === undefined) {
+        throw new Error(`${partId}: an op-amp output swing is a pair with its printed condition, both sides and the condition or none ` +
+            `(outputSwingDropHighVolts ${String(high)}, outputSwingDropLowVolts ${String(low)}, outputSwingPrinted ${printed === undefined ? "absent" : "present"})`);
+    }
+    const finitePositive = (value) => Number.isFinite(value) && value > 0;
+    if (!finitePositive(high) ||
+        !finitePositive(low) ||
+        !finitePositive(printed.supplyVolts) ||
+        !finitePositive(printed.loadOhms) ||
+        (printed.translation !== "constant" && printed.translation !== "proportional")) {
+        throw new Error(`${partId}: an op-amp output swing needs finite positive drops, supply and load and a translation of "constant" or "proportional"`);
+    }
+    return { highVolts: high, lowVolts: low, printed };
+}
+/**
+ * How far a part's output stops short of each supply rail, as its datasheet prints it, from the
+ * registry entry that names it by exact folded part id, or `null` when the part is not in the registry
+ * or its entry states none (the rails are then used as they are). Read from either an `ideal-opamp` law
+ * entry or the first section of a `sections` entry, because a declared `opamp` device never reaches the
+ * section lowering. Throws on a half-stated pair (`opampOutputSwingOf`).
+ */
+export function registryOpampSwing(registry, partNumber) {
     if (partNumber === null) {
         return null;
     }
@@ -184,7 +212,7 @@ export function registryOpampSwingDrop(registry, partNumber) {
                 ? entry.model.sections[0]?.law
                 : undefined;
         if (law !== undefined && law.kind === "ideal-opamp") {
-            return law.outputSwingDropVolts ?? null;
+            return opampOutputSwingOf(law, partNumber);
         }
     }
     return null;
@@ -192,7 +220,7 @@ export function registryOpampSwingDrop(registry, partNumber) {
 /**
  * The gain-bandwidth product, in hertz, that a part's datasheet states, from the registry entry
  * that names it by exact part id, or `null` when the part is not in the registry or its entry states
- * none. Read the same way as `registryOpampSwingDrop` -- from an `ideal-opamp` law entry or the first
+ * none. Read the same way as `registryOpampSwing` -- from an `ideal-opamp` law entry or the first
  * section of a `sections` entry -- and for the same reason: a declared `opamp` device never reaches
  * the section lowering, so this is the only door through which the catalog's figure reaches it.
  *

package/dist/registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,EAAE;AACF,kFAAkF;AAClF,4EAA4E;AAC5E,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,mFAAmF;AACnF,4CAA4C;AAC5C,iFAAiF;AACjF,gFAAgF;AA6JhF;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC/B,aAAyC,EACzC,OAA0B;IAE1B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACrD,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC5B,MAAkB,EAClB,aAAyC;IAEzC,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAClB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAC1E,CAAC;AACH,CAAC;AAsHD,MAAM,CAAC,MAAM,aAAa,GAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,IAAI,aAAa,GAAuB,IAAI,CAAC;AAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;AAExD,sGAAsG;AACtG,MAAM,UAAU,iBAAiB,CAAI,KAAa,EAAE,EAAW;IAC9D,MAAM,QAAQ,GAAG,aAAa,CAAC;IAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IAC9D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,aAAa,GAAG,IAAI,CAAC;IACrB,IAAI,CAAC;QACJ,OAAO,EAAE,EAAE,CAAC;IACb,CAAC;YAAS,CAAC;QACV,aAAa,GAAG,QAAQ,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa;IAC5B,OAAO,gBAAgB,CAAC;AACzB,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB;IACjC,gBAAgB,CAAC,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC/B,QAAsB,EACtB,QAAsB,EACtB,aAAsB;IAEtB,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,sFAAsF;IACtF,qDAAqD;IACrD,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;IACxC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC7B,IACC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtD;gBACD,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;oBACpC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa;oBAC3C,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,GAAG,CAAC;wBACpC,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,EACpD,CAAC;gBACF,OAAO,KAAK,CAAC;YACd,CAAC;YACD,IACC,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CACxD;gBACD,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;oBACpC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa;oBAC3C,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,GAAG,CAAC;wBACpC,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,EACpD,CAAC;gBACF,OAAO,KAAK,CAAC;YACd,CAAC;QACF,CAAC;IACF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,IACC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtD,EACA,CAAC;YACF,OAAO,KAAK,CAAC;QACd,CAAC;QACD,IACC,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CACxD,EACA,CAAC;YACF,OAAO,KAAK,CAAC;QACd,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC/B,QAAsB,EACtB,QAAsB,EACtB,aAAsB;IAEtB,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;IAClE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;AAC5C,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,KAAgC;IAC1D,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,SAAS,CAAC,KAAgC;IACzD,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;SAClB,IAAI,EAAE;SACN,WAAW,EAAE;SACb,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,cAAc,CAC7B,QAAsB,EACtB,UAAyB,EACzB,OAA0B;IAE1B,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;QACxB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACrC,QAAsB,EACtB,UAAyB;IAEzB,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,MAAM,GAAG,GACR,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YACzB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG;YACjB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;gBAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG;gBAC9B,CAAC,CAAC,SAAS,CAAC;QACf,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACrD,OAAO,GAAG,CAAC,oBAAoB,IAAI,IAAI,CAAC;QACzC,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,0BAA0B,CACzC,QAAsB,EACtB,UAAyB;IAEzB,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,MAAM,GAAG,GACR,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YACzB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG;YACjB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;gBAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG;gBAC9B,CAAC,CAAC,SAAS,CAAC;QACf,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACrD,OAAO,GAAG,CAAC,eAAe,IAAI,IAAI,CAAC;QACpC,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC"}
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,EAAE;AACF,kFAAkF;AAClF,4EAA4E;AAC5E,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,mFAAmF;AACnF,4CAA4C;AAC5C,iFAAiF;AACjF,gFAAgF;AA+KhF;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC/B,aAAyC,EACzC,OAA0B;IAE1B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACrD,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC5B,MAAkB,EAClB,aAAyC;IAEzC,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAClB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAC1E,CAAC;AACH,CAAC;AA0KD,MAAM,CAAC,MAAM,aAAa,GAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,IAAI,aAAa,GAAuB,IAAI,CAAC;AAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;AAExD,sGAAsG;AACtG,MAAM,UAAU,iBAAiB,CAAI,KAAa,EAAE,EAAW;IAC9D,MAAM,QAAQ,GAAG,aAAa,CAAC;IAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IAC9D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,aAAa,GAAG,IAAI,CAAC;IACrB,IAAI,CAAC;QACJ,OAAO,EAAE,EAAE,CAAC;IACb,CAAC;YAAS,CAAC;QACV,aAAa,GAAG,QAAQ,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa;IAC5B,OAAO,gBAAgB,CAAC;AACzB,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB;IACjC,gBAAgB,CAAC,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC/B,QAAsB,EACtB,QAAsB,EACtB,aAAsB;IAEtB,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,sFAAsF;IACtF,qDAAqD;IACrD,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;IACxC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC7B,IACC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtD;gBACD,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;oBACpC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa;oBAC3C,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,GAAG,CAAC;wBACpC,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,EACpD,CAAC;gBACF,OAAO,KAAK,CAAC;YACd,CAAC;YACD,IACC,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CACxD;gBACD,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;oBACpC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa;oBAC3C,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,GAAG,CAAC;wBACpC,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,EACpD,CAAC;gBACF,OAAO,KAAK,CAAC;YACd,CAAC;QACF,CAAC;IACF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,IACC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtD,EACA,CAAC;YACF,OAAO,KAAK,CAAC;QACd,CAAC;QACD,IACC,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CACxD,EACA,CAAC;YACF,OAAO,KAAK,CAAC;QACd,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC/B,QAAsB,EACtB,QAAsB,EACtB,aAAsB;IAEtB,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;IAClE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;AAC5C,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,KAAgC;IAC1D,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,SAAS,CAAC,KAAgC;IACzD,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;SAClB,IAAI,EAAE;SACN,WAAW,EAAE;SACb,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,cAAc,CAC7B,QAAsB,EACtB,UAAyB,EACzB,OAA0B;IAE1B,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;QACxB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CACjC,GAAgD,EAChD,MAAc;IAEd,MAAM,IAAI,GAAG,GAAG,CAAC,wBAAwB,CAAC;IAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,uBAAuB,CAAC;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,kBAAkB,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACb,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CACd,GAAG,MAAM,sGAAsG;YAC9G,6BAA6B,MAAM,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,GAAG,CAAC,wBAAwB,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,GAAG,CACzJ,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAC9E,IACC,CAAC,cAAc,CAAC,IAAI,CAAC;QACrB,CAAC,cAAc,CAAC,GAAG,CAAC;QACpB,CAAC,cAAc,CAAC,OAAO,CAAC,WAAW,CAAC;QACpC,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC;QACjC,CAAC,OAAO,CAAC,WAAW,KAAK,UAAU,IAAI,OAAO,CAAC,WAAW,KAAK,cAAc,CAAC,EAC7E,CAAC;QACF,MAAM,IAAI,KAAK,CACd,GAAG,MAAM,yHAAyH,CAClI,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CACjC,QAAsB,EACtB,UAAyB;IAEzB,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,MAAM,GAAG,GACR,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YACzB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG;YACjB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;gBAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG;gBAC9B,CAAC,CAAC,SAAS,CAAC;QACf,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACrD,OAAO,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC5C,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,0BAA0B,CACzC,QAAsB,EACtB,UAAyB;IAEzB,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS;QACV,CAAC;QACD,MAAM,GAAG,GACR,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YACzB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG;YACjB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;gBAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG;gBAC9B,CAAC,CAAC,SAAS,CAAC;QACf,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACrD,OAAO,GAAG,CAAC,eAAe,IAAI,IAAI,CAAC;QACpC,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC"}

package/dist/types.d.ts

@@ -125,6 +125,43 @@ export type DeclaredWindingImpedance = Readonly<{
     across: readonly [number, number];
     ohms: number;
 }>;
+/**
+ * An explicit device-parameter override block, as declared in a component's `properties`
+ * under the `DeviceOverride` key (stage 2).
+ *
+ * A `.vdsp` NAMES the part; the registry holds its parameters. This block states measured
+ * values that replace registry values for this device (`kind: "measured"`), or the full
+ * parameter set for a part the registry does not have (`kind: "custom"`). Parameter names
+ * are the part's own class-schema names (`CLASS_PARAM_SCHEMAS`), values are plain SI numbers
+ * with one value per parameter. Parsed and validated by `readDeviceOverride` in `netlist.ts`;
+ * this type is the validated shape that `device.parameters` merging and the
+ * `registry-override-applied` notice both read.
+ */
+export type DeviceOverrideParameter = Readonly<{
+    /** A class-schema parameter name (checked against the part's class schema). */
+    readonly name: string;
+    /** The single SI number the engine uses. */
+    readonly value: number;
+}>;
+export type DeviceOverrideKind = "measured" | "custom";
+export type DeviceOverrideProvenance = Readonly<{
+    readonly kind: DeviceOverrideKind;
+    /** What was measured, or which document the numbers come from. */
+    readonly source: string;
+    /** Instrument/procedure for `measured`; why the registry lacks the part for `custom`. */
+    readonly method: string;
+    /** Sitting date, ISO YYYY-MM-DD. */
+    readonly date: string;
+    /** A named person or organisation. */
+    readonly by: string;
+    /** Optional supply, temperature, current. */
+    readonly conditions?: string;
+}>;
+export type DeviceOverride = Readonly<{
+    readonly provenance: DeviceOverrideProvenance;
+    /** A list (not a mapping) so a duplicate name stays detectable. */
+    readonly parameters: readonly DeviceOverrideParameter[];
+}>;
 export type Device = {
     readonly id: DeviceId;
     readonly kind: DeviceKind;
@@ -136,6 +173,15 @@ export type Device = {
     readonly control: ControlId | null;
     readonly identity: DeviceIdentity;
     readonly isLed?: boolean;
+    /**
+     * This device's explicit parameter override, as the source declared it under
+     * `properties.DeviceOverride`, or absent where it declares none. Validated at
+     * read time (unknown names, bad provenance and `custom` rule violations refuse
+     * the pedal); the merged values already sit in `parameters`, so this carries
+     * the provenance and the per-parameter record the `registry-override-applied`
+     * notice reports.
+     */
+    readonly deviceOverride?: DeviceOverride;
     /**
      * This device's id **within its package**, when the source split the package itself.
      *
@@ -255,8 +301,15 @@ export type DeclaredProgram = Readonly<{
  * `reverse-linear` is a real track the corpus declares (`klon-centaur`,
  * `vemuram-jan-ray`, `jhs-morning-glory`) and is not the same device as
  * `reverse-logarithmic`: the track is linear, only its direction is reversed.
+ *
+ * `s-curve` is Alpha's W(4B) and only that: the one S-curve a vendor sheet on file prints
+ * (RV16AF §2.4: 5-15 % at 90 degrees, 40-60 % at 150, 85-95 % at 210, of a 300-degree rotation).
+ * Any other S-curve is `custom` in the core format until a source prints its points.
+ *
+ * The runtime refuses a taper outside this list rather than reading it as linear, so a program
+ * naming a law a console does not implement stops at load instead of playing the wrong curve.
  */
-export type TaperKind = "linear" | "logarithmic" | "reverse-logarithmic" | "reverse-linear";
+export type TaperKind = "linear" | "logarithmic" | "reverse-logarithmic" | "reverse-linear" | "s-curve";
 export type Control = {
     readonly id: ControlId;
     readonly taper: TaperKind;
@@ -363,6 +416,13 @@ export type PartIdentity = {
     readonly partId: string;
     readonly evidence: "exact-part" | "declared-type" | "pinout";
 };
+/**
+ * How a printed op-amp output-swing pair is carried to a pedal whose supply is not the supply it
+ * was printed at (`DeviceLaw` `outputSwingPrinted`). A closed pair of words, compared whole:
+ * `"constant"` applies the printed drops as printed; `"proportional"` multiplies both by the
+ * op-amp's own supply span over the printed supply.
+ */
+export type OpampOutputSwingTranslation = "constant" | "proportional";
 /** A lumped constitutive relation the solver can stamp into a matrix. */
 export type DeviceLaw = {
     readonly kind: "conductance";
@@ -888,14 +948,48 @@ export type DeviceLaw = {
      */
     readonly openLoopGain: number;
     /**
-     * How far the output stops short of each supply rail, in volts. **A drop from the rail,
-     * not an absolute swing**: the output clamps to `railLow + drop .. railHigh - drop`, so the
-     * same figure is right on a 9 V pedal and an 18 V one. Absent means the part states none
-     * and the rails are used as they are. The pedal still owns the rails; the part owns only how
-     * close to them it gets. Symmetric, so it cannot say the LM358/LM324's asymmetric swing to
-     * ground; those parts state none.
+     * How far the output stops short of the positive and of the negative supply rail, in volts,
+     * **as the part's datasheet prints it, at the condition it prints it at**
+     * (`outputSwingPrinted`). A drop from the rail, not an absolute swing: the output clamps to
+     * `railLow + low .. railHigh - high`. The pedal still owns the rails; the part owns only how
+     * close to them it gets, and the two sides are separate facts so a part that prints them
+     * separately (an LM358's swing to ground) can say so.
+     *
+     * **Both or neither**, and `outputSwingPrinted` exactly when the pair is: the catalog loader
+     * and `registryOpampSwing` throw on anything else. Absent means the part states none and the
+     * rails are used as they are (`opamp-law-default-parameters` names it). There is no single
+     * symmetric field: the one that was here carried a figure printed at +-15 V to a 9 V pedal
+     * without saying so.
+     *
+     * On a lowered law (a section of a resolved device) these stay the printed figures; what the
+     * lowering actually applied is `outputSwingCarried`.
+     */
+    readonly outputSwingDropHighVolts?: number;
+    readonly outputSwingDropLowVolts?: number;
+    /**
+     * The condition `outputSwingDropHighVolts`/`outputSwingDropLowVolts` were printed at, and how
+     * they are carried to a pedal on another supply: `supplyVolts` is the **total** supply of the
+     * printed row (30 for +-15 V), `loadOhms` the printed load, `translation` the owner's stated
+     * reading of the datasheet. `"constant"` applies the printed drops as printed;
+     * `"proportional"` scales both by `(railHigh - railLow) / supplyVolts`. Evidence status is
+     * part of the choice and lives in the table row's `source`, never in this field.
+     */
+    readonly outputSwingPrinted?: {
+        readonly supplyVolts: number;
+        readonly loadOhms: number;
+        readonly translation: OpampOutputSwingTranslation;
+    };
+    /**
+     * Set by the lowering, only on a lowered law, and only when it moved the rails: the drops it
+     * applied (after `translation`) and the supply span of the op-amp they were applied to. Read
+     * by `opamp-law-default-parameters` to tell a pair carried across a supply from one used at
+     * the supply it was printed at.
      */
-    readonly outputSwingDropVolts?: number;
+    readonly outputSwingCarried?: {
+        readonly highVolts: number;
+        readonly lowVolts: number;
+        readonly circuitSupplyVolts: number;
+    };
     /**
      * Gain-bandwidth product in hertz: where a single-pole part's open-loop gain falls to
      * unity, so its dominant pole sits at `gainBandwidthHz / openLoopGain`. A closed-loop
@@ -1021,6 +1115,28 @@ export type DeviceLaw = {
     readonly pullDownOhms: number;
     readonly floatOhms: number;
     readonly sensitivity: number;
+} | {
+    /**
+     * Unijunction transistor: an interbase bar (B2 to B1) with the emitter
+     * diode tapped at a fraction `eta` of the bar, plus conductivity
+     * modulation that makes the emitter see negative resistance once fired.
+     *
+     * The bar split and the tap are the part's facts (this law). The snap
+     * itself has no lowering yet: it needs a hysteretic switch stamp
+     * (once-per-sample evaluation, no Newton involvement), so until that
+     * stamp exists no device resolves to this law and `lower.ts` refuses
+     * one that does. The shape is kept so the registry contract, the
+     * override vocabulary and the builder below have a law to target.
+     */
+    readonly kind: "ujt";
+    /**
+     * Intrinsic standoff ratio eta, dimensionless, strictly between 0 and 1:
+     * the fraction of the interbase voltage that appears at the tap with the
+     * emitter open. RB1 = eta * Rbb, RB2 = (1 - eta) * Rbb.
+     */
+    readonly intrinsicStandoffRatio: number;
+    /** Interbase resistance Rbb in ohms, B1 to B2 with the emitter open. */
+    readonly interbaseResistanceOhms: number;
 };
 /** A region the compiler does not solve. Exists only when the registry fills it. */
 export type MacroModel = {
@@ -1156,7 +1272,7 @@ export type MacroClockControl = {
  * `electrically-isolated` has its own dedicated warning (`electrically-isolated-ic`) and is
  * tagged only so `findIcsNotExecuted` can exclude it by the decision rather than by guessing.
  */
-export type OpenIcReason = "source-boundary-shell" | "registry-arity-mismatch" | "electrically-isolated" | "charge-pump-declared-rail" | "registry-open" | "declared-class-without-model";
+export type OpenIcReason = "source-boundary-shell" | "registry-arity-mismatch" | "electrically-isolated" | "charge-pump-declared-rail" | "charge-pump-no-input" | "charge-pump-output-unloaded" | "registry-open" | "declared-class-without-model";
 /**
  * Which phase-3 bucket an unmodelled core belongs in (board-p3 row 1).
  *
@@ -2808,6 +2924,10 @@ export type RailWithoutVoltageWarning = {
  * **What it does not claim.** Not that the source is wrong: a packet may leave a JFET untyped on
  * purpose, because the datasheet prints only grade limits (the 2N5952 case). The claim is only
  * that the stamped values came from the consumer, not the source.
+ *
+ * **Per parameter, and registry-aware**, as `BjtLawDefaultWarning`: a registered part whose
+ * record states only its gate (`2SK30A`) still runs Vt0 and Beta on the class default and is
+ * named for them; one whose record states them is not.
  */
 export type FetLawDefaultWarning = {
     readonly code: "fet-law-default-parameters";
@@ -2829,6 +2949,13 @@ export type FetLawDefaultWarning = {
  * **What it does not claim.** Not that the source is wrong: most corpus BJTs predate any
  * typed parameter, and a packet may leave one untyped because its datasheet prints only a
  * beta bin. The claim is only that the stamped values came from the consumer, not the source.
+ *
+ * **Per parameter, and registry-aware.** A device is named only for a parameter that really
+ * runs on the class default: one the document does not type and the registry record for its
+ * exact part does not state (`PartEntry.citedParams`). A record that states BF alone leaves
+ * IS on the default and is named for IS alone; a record that states both is not named.
+ * Before this, a registered part was named whatever its record held, so a count of these
+ * warnings overstated how many pedals run on defaults.
  */
 export type BjtLawDefaultWarning = {
     readonly code: "bjt-law-default-parameters";
@@ -2837,24 +2964,120 @@ export type BjtLawDefaultWarning = {
     readonly detail: string;
 };
 /**
- * Op-amps whose output runs the full supply, because the part states no distance it stops short
- * of the rails (`outputSwingDropVolts`). One warning per document, naming every such device.
+ * A device whose law runs on at least one provisional `community` registry value,
+ * because no datasheet, manufacturer model or owner measurement states it.
+ *
+ * **Why it is named.** A community value is a published number, not a measured fact
+ * about the part: a SPICE model fit at other currents, or one author's bench reading.
+ * The pedal still renders -- this is a notice, not a refusal -- but a reader quoting
+ * the render is entitled to know which parts of it rest on provisional values and
+ * where those values can be checked. Adding a better source for the same parameter
+ * of the same part throws until the community record is removed, so this warning can
+ * only ever name values nothing better has replaced.
+ *
+ * **What it does not claim.** Not that the value is wrong: only that it is
+ * provisional. A device whose document types the parameter runs on its own typed
+ * value instead and is not listed for that parameter.
+ */
+export type RegistryProvisionalValueWarning = {
+    readonly code: "registry-provisional-value";
+    readonly device: DeviceId;
+    /** The part number as the source authored it. */
+    readonly partNumber: string | null;
+    /** The registry parameter names this device took from community values. */
+    readonly parameters: readonly string[];
+    /** The distinct community source URLs those values were taken from. */
+    readonly urls: readonly string[];
+    readonly detail: string;
+};
+/**
+ * A device parameter the source still types under its legacy spelling (`Aol`, `IS`, `BF`,
+ * `Vt0`, `Beta`, `GBP`, `EmissionCoefficient`, ...), which the compiler still reads while
+ * the artifacts migration to explicit `DeviceOverride` blocks is in flight. One warning per
+ * device, naming every legacy key present.
+ *
+ * **Why it is named.** The end state (stage 4) reads device parameters from no other property:
+ * a legacy key the migration drops without converting silently changes the program (or, for
+ * keys the compiler never read, silently changes nothing while looking like it did). Naming
+ * every still-read legacy key per device is the migration checklist, and the `overridden`
+ * subset says which ones an override block already supersedes. REMOVAL of legacy reading is
+ * stage 4, not this task: this warning is additive and changes no program.
+ */
+export type LegacyDeviceParameterWarning = {
+    readonly code: "legacy-device-parameter";
+    readonly device: DeviceId;
+    /** Every legacy typed device-parameter key present on the component, as authored. */
+    readonly keys: readonly string[];
+    /** The subset an explicit override block supersedes (the override value wins). */
+    readonly overridden: readonly string[];
+    readonly detail: string;
+};
+/**
+ * One applied explicit parameter override: the device's values that came from its
+ * `DeviceOverride` block rather than the registry or a class default. One notice per device,
+ * so a player can show "measured by ... on ..." beside the part.
+ *
+ * A notice, never a refusal: the values already stamped (precedence override > legacy typed
+ * key > registry > class default). `registryValue` is `null` when no registry value was
+ * replaced -- either the part has no entry, or the entry states no such parameter -- and
+ * `detail` says which.
+ */
+export type RegistryOverrideAppliedWarning = {
+    readonly code: "registry-override-applied";
+    readonly device: DeviceId;
+    /** The part number as the source authored it (null when the device names none). */
+    readonly partNumber: string | null;
+    /** Per overridden parameter: what the override states and what it replaced. */
+    readonly items: readonly {
+        readonly parameter: string;
+        readonly overrideValue: number;
+        readonly registryValue: number | null;
+    }[];
+    readonly provenance: DeviceOverrideProvenance;
+    readonly detail: string;
+};
+/**
+ * Why one op-amp is named by `opamp-law-default-parameters`. `not-stated`: the part states no
+ * output-swing pair, so the output runs the full supply. `stated-at-other-supply`: the part's
+ * datasheet prints a pair, but at a supply other than this pedal's, and the lowering carried it
+ * across by the row's stated `translation`; `printedSupplyVolts` is the row's total supply and
+ * `circuitSupplyVolts` the span of the op-amp it was carried to.
+ */
+export type OpampLawDefaultItem = {
+    readonly device: DeviceId;
+    readonly reason: "not-stated";
+} | {
+    readonly device: DeviceId;
+    readonly reason: "stated-at-other-supply";
+    readonly printedSupplyVolts: number;
+    readonly circuitSupplyVolts: number;
+};
+/**
+ * Op-amps whose output swing the compiler could not take from the part at this pedal's supply:
+ * either the part states no distance it stops short of the rails (`outputSwingDropHighVolts` /
+ * `outputSwingDropLowVolts`), or it states one printed at another supply and the lowering carried it.
+ * One warning per document, naming every such device with a typed reason (`items`); `devices` is
+ * the same list without the reason.
  *
  * **Why it is named.** No real op-amp reaches its rails. `mxr-phase-90` read WEAK 79.6 deg on
  * rail-to-rail TL062s and SWEEPING 106.0 deg once they stopped 1.2 V short of each rail
- * (packet-study/mxr-phase-90, 2026-09-29), and three simulators agreed on the wrong answer
- * because the oracle deck follows the program's rails. A comparator or LFO near the rails, or a
- * clipper, is decided by this number.
+ * (packet-study/mxr-phase-90, 2026-09-29), and three simulators agreed on the wrong answer because
+ * the oracle deck follows the program's rails. A comparator or LFO near the rails, or a clipper, is
+ * decided by this number. Almost every printed swing row is at +-15 V and almost every pedal runs
+ * at 9 V, so a figure carried across the supply is a choice the part's datasheet does not make; the
+ * second reason names it instead of hiding it.
  *
  * **What it does not claim.** Not that the source is wrong, and not that the stamped rails are
- * wrong for a circuit that never nears them; a unity-gain buffer at low level is untouched.
- * The claim is only that the swing came from the consumer's default (the supply), not the part.
- * LM358, LM324 and TL022 are listed until an asymmetric swing can be stated.
+ * wrong for a circuit that never nears them; a unity-gain buffer at low level is untouched. The
+ * claim is only that the swing came from the consumer's default (the supply) or from a datasheet
+ * row carried across a supply, not from a figure printed for this pedal. LM358, LM324 and TL022 are
+ * listed until a row for them is typed.
  */
 export type OpampLawDefaultWarning = {
     readonly code: "opamp-law-default-parameters";
     readonly device: null;
     readonly devices: readonly DeviceId[];
+    readonly items: readonly OpampLawDefaultItem[];
     readonly detail: string;
 };
 /**
@@ -3048,7 +3271,7 @@ export type GenericTubeFitWarning = {
  * whose source explicitly records the marking as unknown, has nothing for this stage to have
  * failed to read and is silent. This fires only where the source states something: a part marking
  * whose law is not derivable here (`W20`, `Boss-G-taper`, `BH`), or a taper core's format supports
- * and this runtime has no curve for (`s-curve`, `stepped`, `custom`).
+ * and this runtime has no curve for (`stepped`, `custom`).
  *
  * Measured 2026-09-03: 69 of the corpus's 608 declared tapers fell through to linear, and all 69
  * did it silently. An audio pot rendered linear is audible across the whole knob sweep, which is
@@ -3123,7 +3346,7 @@ export type PowerDomainControlWarning = {
     readonly device: DeviceId;
     readonly detail: string;
 };
-export type CompileWarning = UnroutableThrowWarning | GenericSpeakerProfileWarning | LedgerDivergenceWarning | GenericTubeFitWarning | InertControlWarning | UnboundedOpampWarning | SupplyShortWarning | TaperNotExecutableWarning | OverDrivenNodeWarning | DanglingActiveTerminalWarning | ClockDriverSupplyAtGroundWarning | NonExecutableClockDriverWarning | NonExecutableSupportShellWarning | UnconnectedBehaviorComponentWarning | UnreadableTerminalRoleWarning | UnverifiedPinoutBindingWarning | PowerDomainControlWarning | UnimplementedControlRoleWarning | UnimplementedDeviceLawWarning | ElectricallyIsolatedIcWarning | RailWithoutVoltageWarning | FetLawDefaultWarning | BjtLawDefaultWarning | OpampLawDefaultWarning | OpampGainBandwidthDefaultWarning | IcNotExecutedWarning | OutputPortUnreachableWarning | InterfaceOrSourceOnlyWarning | NotPopulatedWarning | NotPopulatedWithoutValueWarning | UnsupportedComponentWarning | UnexecutedActiveRegionWarning | OutputPortNotTransformerCoupledWarning | NoOutputTransformerWarning | DeclaredDelayWarning | ControlPositionDisagreesWarning | BypassEngagedDisagreesWarning | ModulationNotModelledWarning | ConverterScaleNotModelledWarning;
+export type CompileWarning = UnroutableThrowWarning | GenericSpeakerProfileWarning | LedgerDivergenceWarning | GenericTubeFitWarning | InertControlWarning | UnboundedOpampWarning | SupplyShortWarning | TaperNotExecutableWarning | OverDrivenNodeWarning | DanglingActiveTerminalWarning | ClockDriverSupplyAtGroundWarning | NonExecutableClockDriverWarning | NonExecutableSupportShellWarning | UnconnectedBehaviorComponentWarning | UnreadableTerminalRoleWarning | UnverifiedPinoutBindingWarning | PowerDomainControlWarning | UnimplementedControlRoleWarning | UnimplementedDeviceLawWarning | ElectricallyIsolatedIcWarning | RailWithoutVoltageWarning | FetLawDefaultWarning | BjtLawDefaultWarning | RegistryProvisionalValueWarning | LegacyDeviceParameterWarning | RegistryOverrideAppliedWarning | OpampLawDefaultWarning | OpampGainBandwidthDefaultWarning | IcNotExecutedWarning | OutputPortUnreachableWarning | InterfaceOrSourceOnlyWarning | NotPopulatedWarning | NotPopulatedWithoutValueWarning | UnsupportedComponentWarning | UnexecutedActiveRegionWarning | OutputPortNotTransformerCoupledWarning | NoOutputTransformerWarning | DeclaredDelayWarning | ControlPositionDisagreesWarning | BypassEngagedDisagreesWarning | ModulationNotModelledWarning | ConverterScaleNotModelledWarning;
 /**
  * A composed program that touches a data converter but runs unity in volts, because one side's
  * converter is unwired, ambiguous, or has no cited full scale. See `converter-scale.ts`: the