@vessel-dsp/compiler 0.6.0 → 0.8.0

package/dist/part-catalog.d.ts

@@ -13,6 +13,18 @@ export declare function bjtLawEntry(record: PartDataEntry): PartEntry;
  * stamps (a zener knee belongs to class `zener` and the existing `zenerLaw` path, not here).
  */
 export declare function diodeLawEntry(record: PartDataEntry): PartEntry;
+/**
+ * An LED colour-default record's law entry. Requires the forward pair together, like
+ * `diodeLawEntry`: the only admitted LED derivation (four fitted (I, Vf) points, or two
+ * with Rs fixed) yields IS and n as one working, so a lone IS without n is a broken
+ * derivation and throws rather than shipping half a knee. Gap-fills are the LED class
+ * defaults the unregistered path stamps (`device-laws.ts` diode case with `isLed`):
+ * thermalVoltage 0.05, seriesResistance 2.0 -- every shipped LED record states both
+ * explicitly (the fits were referred to VT 0.025852 V with fitted Rs), so the gap-fill
+ * only fires for a future sparse record, and the sparse-record test pins it to the live
+ * class defaults. breakdownVolts 0 keeps the no-knee reading; isLed true marks the law.
+ */
+export declare function ledLawEntry(record: PartDataEntry): PartEntry;
 /**
  * A JFET- or MOSFET-channel record's law entry. The class selects the gap-fill constants
  * (JFET depletion defaults with the silicon gate; MOSFET enhancement defaults with the
@@ -20,6 +32,13 @@ export declare function diodeLawEntry(record: PartDataEntry): PartEntry;
  * Throws on any other class and on an empty record.
  */
 export declare function fetLawEntry(record: PartDataEntry, cls: "jfet" | "mosfet"): PartEntry;
+/**
+ * A unijunction-transistor record's law entry. Requires the tap fraction and the bar
+ * together: eta without Rbb cannot place the peak point and Rbb without eta cannot
+ * split the bar, so a half record throws rather than shipping half a device. The
+ * emitter diode and the snap are law structure, never entry fields.
+ */
+export declare function ujtLawEntry(record: PartDataEntry): PartEntry;
 export declare const zenerCatalogPartIds: ReadonlySet<string>;
 /**
  * The catalog's op-amp entries with each registry record's swing pair stamped onto the sections

package/dist/part-catalog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"part-catalog.d.ts","sourceRoot":"","sources":["../src/part-catalog.ts"],"names":[],"mappings":"AAsDA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1D,OAAO,EAaN,KAAK,UAAU,EACf,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAI5D,OAAO,EACN,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,GACtB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;AA+HzD,6FAA6F;AAC7F,wBAAgB,WAAW,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CA8B5D;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAiC9D;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAC1B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,MAAM,GAAG,QAAQ,GACpB,SAAS,CAiEX;AA+BD,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAInD,CAAC;AA60QF;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACvC,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,IAAI,GAAE,SAAS,mBAAmB,EAAyB,EAC3D,UAAU,GAAE,aAAa,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAA0B,GAClH,SAAS,SAAS,EAAE,CAgHtB;AAeD,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAUlD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,YAE9B,CAAC"}
+{"version":3,"file":"part-catalog.d.ts","sourceRoot":"","sources":["../src/part-catalog.ts"],"names":[],"mappings":"AAsDA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1D,OAAO,EAeN,KAAK,UAAU,EACf,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAI5D,OAAO,EACN,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,GACtB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;AAoIzD,6FAA6F;AAC7F,wBAAgB,WAAW,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CA+B5D;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAkC9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAkC5D;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAC1B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,MAAM,GAAG,QAAQ,GACpB,SAAS,CAkEX;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CA6B5D;AA+BD,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAInD,CAAC;AA02QF;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACvC,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,IAAI,GAAE,SAAS,mBAAmB,EAAyB,EAC3D,UAAU,GAAE,aAAa,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAA0B,GAClH,SAAS,SAAS,EAAE,CAgHtB;AAeD,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAUlD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,YAE9B,CAAC"}

package/dist/part-catalog.js

@@ -52,7 +52,7 @@
 // runs at 9 V, so the carry is a named choice, and `opamp-law-default-parameters` names
 // every device it was carried for.
 import { foldPartId, opampOutputSwingOf } from "./registry.js";
-import { bjtRegistryRecords, chargePumpRegistryRecords, diodeRegistryRecords, findPartRegistryData, jfetRegistryRecords, mosfetRegistryRecords, opampGainBandwidthAbsent, opampOutputSwingAbsent, opampRegistryRecords, regulatorRegistryRecords, zenerRegistryRecords, communityProvenanceOf, } from "./registry-data/index.js";
+import { bjtRegistryRecords, chargePumpRegistryRecords, diodeRegistryRecords, findPartRegistryData, jfetRegistryRecords, ledRegistryRecords, mosfetRegistryRecords, opampGainBandwidthAbsent, opampOutputSwingAbsent, opampRegistryRecords, regulatorRegistryRecords, ujtRegistryRecords, zenerRegistryRecords, communityProvenanceOf, } from "./registry-data/index.js";
 // The absent lists and the merged op-amp records live in `registry-data/opamp.ts` and are
 // re-exported here so their existing import sites keep working.
 export { opampGainBandwidthAbsent, opampOutputSwingAbsent, opampRegistryRecords, } from "./registry-data/index.js";
@@ -165,6 +165,10 @@ function citedValueOf(record, name) {
     const param = record.params[name];
     return param === undefined ? undefined : param.value;
 }
+/** The `citedParams` arm of a law entry built from a record: the parameters it states. */
+function citedArmOf(record) {
+    return { citedParams: Object.keys(record.params) };
+}
 /** The entry's id list: canonical ids plus typed alias spellings, in listing order. */
 function entryIdsOf(record) {
     return [...record.partIds, ...(record.aliases ?? [])];
@@ -182,6 +186,7 @@ export function bjtLawEntry(record) {
         declaredTypes: [],
         terminalRoleGroups: [],
         ...provisionalArmOf(record),
+        ...citedArmOf(record),
         model: {
             kind: "law",
             law: {
@@ -219,6 +224,7 @@ export function diodeLawEntry(record) {
         declaredTypes: [],
         terminalRoleGroups: [],
         ...provisionalArmOf(record),
+        ...citedArmOf(record),
         model: {
             kind: "law",
             law: {
@@ -233,6 +239,48 @@ export function diodeLawEntry(record) {
         },
     };
 }
+/**
+ * An LED colour-default record's law entry. Requires the forward pair together, like
+ * `diodeLawEntry`: the only admitted LED derivation (four fitted (I, Vf) points, or two
+ * with Rs fixed) yields IS and n as one working, so a lone IS without n is a broken
+ * derivation and throws rather than shipping half a knee. Gap-fills are the LED class
+ * defaults the unregistered path stamps (`device-laws.ts` diode case with `isLed`):
+ * thermalVoltage 0.05, seriesResistance 2.0 -- every shipped LED record states both
+ * explicitly (the fits were referred to VT 0.025852 V with fitted Rs), so the gap-fill
+ * only fires for a future sparse record, and the sparse-record test pins it to the live
+ * class defaults. breakdownVolts 0 keeps the no-knee reading; isLed true marks the law.
+ */
+export function ledLawEntry(record) {
+    if (record.class !== "led") {
+        throw new Error(`${record.partIds.join(",")}: a led entry needs class "led", not "${record.class}"`);
+    }
+    const saturationCurrent = citedValueOf(record, "saturationCurrent");
+    const emissionCoefficient = citedValueOf(record, "emissionCoefficient");
+    if (saturationCurrent === undefined || emissionCoefficient === undefined) {
+        throw new Error(`${record.partIds.join(",")}: a led record states no forward pair ` +
+            `(saturationCurrent ${saturationCurrent === undefined ? "absent" : "present"}, ` +
+            `emissionCoefficient ${emissionCoefficient === undefined ? "absent" : "present"})`);
+    }
+    return {
+        partIds: entryIdsOf(record),
+        declaredTypes: [],
+        terminalRoleGroups: [],
+        ...provisionalArmOf(record),
+        ...citedArmOf(record),
+        model: {
+            kind: "law",
+            law: {
+                kind: "diode",
+                saturationCurrent,
+                emissionCoefficient,
+                thermalVoltage: citedValueOf(record, "thermalVoltage") ?? 0.05,
+                breakdownVolts: citedValueOf(record, "breakdownVolts") ?? 0,
+                seriesResistance: citedValueOf(record, "seriesResistance") ?? 2.0,
+                isLed: true,
+            },
+        },
+    };
+}
 /**
  * A JFET- or MOSFET-channel record's law entry. The class selects the gap-fill constants
  * (JFET depletion defaults with the silicon gate; MOSFET enhancement defaults with the
@@ -270,6 +318,7 @@ export function fetLawEntry(record, cls) {
         declaredTypes: [],
         terminalRoleGroups: [],
         ...provisionalArmOf(record),
+        ...citedArmOf(record),
         model: {
             kind: "law",
             law: {
@@ -293,6 +342,38 @@ export function fetLawEntry(record, cls) {
         },
     };
 }
+/**
+ * A unijunction-transistor record's law entry. Requires the tap fraction and the bar
+ * together: eta without Rbb cannot place the peak point and Rbb without eta cannot
+ * split the bar, so a half record throws rather than shipping half a device. The
+ * emitter diode and the snap are law structure, never entry fields.
+ */
+export function ujtLawEntry(record) {
+    if (record.class !== "ujt") {
+        throw new Error(`${record.partIds.join(",")}: a ujt entry needs class "ujt", not "${record.class}"`);
+    }
+    const intrinsicStandoffRatio = citedValueOf(record, "intrinsicStandoffRatio");
+    const interbaseResistanceOhms = citedValueOf(record, "interbaseResistanceOhms");
+    if (intrinsicStandoffRatio === undefined || interbaseResistanceOhms === undefined) {
+        throw new Error(`${record.partIds.join(",")}: a ujt record states no tap and bar ` +
+            `(intrinsicStandoffRatio ${intrinsicStandoffRatio === undefined ? "absent" : "present"}, ` +
+            `interbaseResistanceOhms ${interbaseResistanceOhms === undefined ? "absent" : "present"})`);
+    }
+    return {
+        partIds: entryIdsOf(record),
+        declaredTypes: [],
+        terminalRoleGroups: [],
+        ...provisionalArmOf(record),
+        model: {
+            kind: "law",
+            law: {
+                kind: "ujt",
+                intrinsicStandoffRatio,
+                interbaseResistanceOhms,
+            },
+        },
+    };
+}
 // --- JFET channel records: built by `fetLawEntry` (wave-1 builders above) -------------------
 //
 // The JFET class default is avowedly no part's values; see `registry-data/jfet.ts` for the
@@ -1878,7 +1959,21 @@ const entries = [
                         "clock",
                         "phi1",
                         "phi1a"
-                    ]
+                    ],
+                    // The two 512-stage sections chain when the document ties the first's output to the
+                    // second's input (the EH-4700 does: pins 5 and 15 share one node). The 1024 stages
+                    // are then read at the second section's output, pin 12.
+                    "cascade": {
+                        "sectionOut": [
+                            "outputa"
+                        ],
+                        "nextIn": [
+                            "inputb"
+                        ],
+                        "finalOut": [
+                            "outputb"
+                        ]
+                    }
                 },
                 "barePinPositions": {
                     "audioIn": 1,
@@ -4954,10 +5049,17 @@ const entries = [
         }
     },
     // --- Light-Emitting Diodes / LED Indicators (SLP24B, SLP-24B, general LEDs) --------------------------------------------------
+    // The `red-led` spelling this row carried is gone: the owner's measured red colour
+    // default keys "RED LED" (same fold, "redled"), and one fold must resolve to one law.
+    // This row never served the stamping path (`registryLawFor` only matches `law` models,
+    // never `sections`), so nothing stamped changes for it; what it still serves is
+    // `registryEntryFor` exact-part evidence queries (the custom-override guard, the
+    // supply-amps reads) for LED, green-led, yellow-led and IndicatorLED. Bare "LED"
+    // devices keep stamping the LED class defaults -- the colour is unknown, so no colour
+    // record keys it.
     {
         "partIds": [
             "LED",
-            "red-led",
             "green-led",
             "yellow-led",
             "IndicatorLED"
@@ -5600,6 +5702,11 @@ const entries = [
     // positions fail `pinoutMatches`, so this needs its own entry rather than an alias added to the
     // existing one. "CD4013AE" is not registered elsewhere, so no collision.
     //
+    // `SCL4013A` (Solid State Scientific, the part `electro-harmonix-slapback-echo`'s `IC3` is printed as on the
+    // factory sheet: a 14-pin 7+7 package with the 4013 pin legend, second-half outputs 12/13 NC) rides this
+    // entry rather than the first CD4013 one because that packet declares the same `pin<N>_<role>` names
+    // as `mxr-m117r-flanger`'s `U3`, in strict pin order 1..14.
+    //
     // Verified directly against the document: `U3`'s 14 terminals are declared in strict ascending
     // pin order (`pin1_q1` through `pin14_vdd`), matching the standard CD4013 pinout, and the
     // component's own `Description` corroborates the same reading pin-by-pin ("pins 4 RESET1, 6 SET1,
@@ -5608,7 +5715,8 @@ const entries = [
     // existing CD4013 entry already assumes for the same law.
     {
         "partIds": [
-            "CD4013AE"
+            "CD4013AE",
+            "SCL4013A"
         ],
         "declaredTypes": [],
         "terminalRoleGroups": [],
@@ -8550,8 +8658,10 @@ const entries = [
     // and the stamp is byte-identical to the bespoke mapping this replaces.
     ...bjtRegistryRecords.map((record) => bjtLawEntry(record)),
     ...diodeRegistryRecords.map((record) => diodeLawEntry(record)),
+    ...ledRegistryRecords.map((record) => ledLawEntry(record)),
     ...mosfetRegistryRecords.map((record) => fetLawEntry(record, "mosfet")),
     ...jfetRegistryRecords.map((record) => fetLawEntry(record, "jfet")),
+    ...ujtRegistryRecords.map((record) => ujtLawEntry(record)),
 ];
 // --- Op-amp gain-bandwidth product: stamped from the data registry ------------------------------
 /**