@vessel-dsp/compiler 0.0.0-stage → 0.3.0

package/dist/unverified-pinout.js

@@ -0,0 +1,121 @@
+import { declaredRegulatorTerminals } from "./device-laws.js";
+import { identify, mayCarryRegistrySections, requiresIdentification, } from "./identify.js";
+import { foldToken, pinoutMatches, terminalWithRole } from "./registry.js";
+/**
+ * The entry a part identified to, or null.
+ *
+ * Matched on the resolved `partId` against both id lists, because `identify` returns a part id
+ * that may have come from either -- an `exact-part` match resolves through `partIds`, a
+ * `declared-type` match through `declaredTypes`.
+ */
+function entryFor(partId, registry) {
+    // Folded on both sides, because `identify` matches folded and this looked up raw: a part that
+    // resolved through a declared type spelled differently from the registry's copy would fail to
+    // find its own entry here and silently lose its pinout check. `Circuit.LED`/`Circuit.Led` is
+    // the spelling the corpus actually varies on today.
+    const folded = foldToken(partId);
+    for (const entry of registry.entries) {
+        if (entry.partIds.some((id) => foldToken(id) === folded) ||
+            entry.declaredTypes.some((type) => foldToken(type) === folded)) {
+            return entry;
+        }
+    }
+    return null;
+}
+/**
+ * Does this device's pin-to-law-slot mapping rest on nothing but the order its terminals were
+ * written in?
+ *
+ * `expandRegistrySections` has three rungs. A clean bijection from the entry's role groups onto
+ * the device's terminal names wires by role. Failing that, `pinoutMatches` checks the device's
+ * names against the entry's `pinout` position by position -- but **a position the entry leaves
+ * `null` is unchecked**, so an entry whose pinout is null throughout accepts any order at all.
+ * Failing both, the device is refused.
+ *
+ * This finds the middle rung with nothing left to check: the mapping is the declaration order,
+ * and no side asserts what that order means.
+ */
+function bindsByUnverifiedOrder(device, entry) {
+    if (entry.model.kind !== "sections" && entry.model.kind !== "sections-core") {
+        return false;
+    }
+    // **A declared supply binding takes the section before any of this runs.** Without this the
+    // warning fired on `moogerfooger-mf-102`'s `U13` after its packet declared `positive` and
+    // `ground` on it -- reporting an unverified order for a device whose order the document had
+    // just settled, which is the same defect as a warning naming a mechanism the compiler did
+    // not use.
+    if (declaredRegulatorTerminals(device, entry.model) !== null) {
+        return false;
+    }
+    const roles = device.identity.terminalRoles;
+    const groups = entry.terminalRoleGroups;
+    const positions = groups.map((group) => terminalWithRole(roles, group));
+    const boundByRole = groups.length > 0 &&
+        groups.length === roles.length &&
+        positions.every((position) => position !== null) &&
+        new Set(positions).size === positions.length;
+    if (boundByRole) {
+        return false;
+    }
+    if (!pinoutMatches(entry.model.pinout, roles)) {
+        return false; // Refused elsewhere, and a refusal is not a silent binding.
+    }
+    return entry.model.pinout.every((position) => position === null);
+}
+/**
+ * Parts whose terminals are mapped to law slots by declaration order alone.
+ *
+ * **Measured 2026-09-03: 30 devices across 21 packets, and one of them is wrong.**
+ * (55 corpus devices take the positional rung; the 30 are those whose entry pinout is null
+ * throughout, so nothing checks the order at all.)
+ * `moogerfooger-mf-102`'s `U13` is a 78L05 whose three terminals are `pin1`/`pin2`/`pin3`, and the
+ * order the entry assumed puts the regulator's reference on the pedal's own rail: node 3 carries
+ * 24 devices and solves to **-4.9989 V**, so 18 of the packet's 26 active devices sit dark with
+ * their base-emitter junctions reverse-biased by a whole supply.
+ *
+ * **There is no connectivity rule to fall back on, and that was tested rather than assumed.**
+ * "The reference is the grounded terminal and the output is the busier of the rest" agrees with
+ * four of the corpus's named regulators, disagrees with `boss-dd-3b`'s `TA78L05F`, and cannot
+ * apply to `boss-rv-3`, whose 78L05 has no terminal on ground at all. A rule that fixes one
+ * packet and breaks another is not a rule.
+ *
+ * Nor does the corpus agree on the order itself: three packets name a 78Lxx `in, gnd, out` and
+ * `electro-harmonix-q-tron` names it `in, out, ground`. So this is reported rather than repaired
+ * -- the order has to be asserted by the entry's `pinout` or by the document's own terminal
+ * roles, and until one of them does, an author who writes a package's pins in a different order
+ * gets a different circuit with no diagnostic.
+ */
+export function findUnverifiedPinoutBindings(netlist, registry) {
+    const warnings = [];
+    for (const device of netlist.devices) {
+        if (!requiresIdentification(device) || !mayCarryRegistrySections(device)) {
+            continue;
+        }
+        let identity;
+        try {
+            identity = identify(device, registry);
+        }
+        catch {
+            continue;
+        }
+        if (identity === null) {
+            continue;
+        }
+        const entry = entryFor(identity.partId, registry);
+        if (entry === null || !bindsByUnverifiedOrder(device, entry)) {
+            continue;
+        }
+        warnings.push({
+            code: "unverified-pinout-binding",
+            device: device.id,
+            partNumber: identity.partId,
+            detail: `${identity.partId} ${device.id} has its ${device.nodes.length} terminals mapped to ` +
+                "law slots by the order they were written in: its registry entry states no pinout " +
+                "and its terminal names do not resolve onto the entry's role groups, so nothing " +
+                "asserts what that order means. A document listing the same package's pins in a " +
+                "different order compiles to a different circuit.",
+        });
+    }
+    return warnings;
+}
+//# sourceMappingURL=unverified-pinout.js.map

package/dist/unverified-pinout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unverified-pinout.js","sourceRoot":"","sources":["../src/unverified-pinout.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EACN,QAAQ,EACR,wBAAwB,EACxB,sBAAsB,GACtB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAIxE;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,MAAc,EAAE,QAAsB;IACvD,8FAA8F;IAC9F,8FAA8F;IAC9F,6FAA6F;IAC7F,oDAAoD;IACpD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IACC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;YACpD,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,EAC7D,CAAC;YACF,OAAO,KAAK,CAAC;QACd,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,sBAAsB,CAAC,MAAc,EAAE,KAAgB;IAC/D,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC7E,OAAO,KAAK,CAAC;IACd,CAAC;IACD,4FAA4F;IAC5F,0FAA0F;IAC1F,4FAA4F;IAC5F,0FAA0F;IAC1F,WAAW;IACX,IAAI,0BAA0B,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC;IACxC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACxE,MAAM,WAAW,GAChB,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC9B,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC;QAChD,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC;IAC9C,IAAI,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC,CAAC,4DAA4D;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,4BAA4B,CAC3C,OAAgB,EAChB,QAAsB;IAEtB,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1E,SAAS;QACV,CAAC;QACD,IAAI,QAAqC,CAAC;QAC1C,IAAI,CAAC;YACJ,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACR,SAAS;QACV,CAAC;QACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACvB,SAAS;QACV,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAClD,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9D,SAAS;QACV,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,2BAA2B;YACjC,MAAM,EAAE,MAAM,CAAC,EAAE;YACjB,UAAU,EAAE,QAAQ,CAAC,MAAM;YAC3B,MAAM,EACL,GAAG,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,EAAE,YAAY,MAAM,CAAC,KAAK,CAAC,MAAM,uBAAuB;gBACrF,mFAAmF;gBACnF,iFAAiF;gBACjF,iFAAiF;gBACjF,kDAAkD;SACnD,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC"}

package/package.json

@@ -1,6 +1,76 @@
 {
-  "name": "@vessel-dsp/compiler",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+	"name": "@vessel-dsp/compiler",
+	"version": "0.3.0",
+	"description": "Headless circuit compiler turning .vdsp documents into executable simulation Programs.",
+	"keywords": [
+		"guitar-pedal",
+		"electronics",
+		"simulation",
+		"dsp",
+		"compiler",
+		"mna",
+		"circuit"
+	],
+	"homepage": "https://vessel-dsp.github.io/core/",
+	"bugs": {
+		"url": "https://github.com/vessel-dsp/core/issues"
+	},
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/vessel-dsp/core.git"
+	},
+	"license": "MIT",
+	"sideEffects": false,
+	"type": "module",
+	"exports": {
+		".": {
+			"types": "./dist/index.d.ts",
+			"bun": "./dist/index.js",
+			"import": "./dist/index.js"
+		},
+		"./diagnostics": {
+			"types": "./dist/diagnostics.d.ts",
+			"bun": "./dist/diagnostics.js",
+			"import": "./dist/diagnostics.js"
+		},
+		"./fixtures": {
+			"types": "./dist/fixtures/index.d.ts",
+			"bun": "./dist/fixtures/index.js",
+			"import": "./dist/fixtures/index.js"
+		},
+		"./fixtures/*": {
+			"types": "./dist/fixtures/*.d.ts",
+			"bun": "./dist/fixtures/*.js",
+			"import": "./dist/fixtures/*.js"
+		},
+		"./package.json": {
+			"default": "./package.json"
+		}
+	},
+	"main": "./dist/index.js",
+	"module": "./dist/index.js",
+	"types": "./dist/index.d.ts",
+	"files": [
+		"dist",
+		"README.md",
+		"LICENSE.md"
+	],
+	"scripts": {
+		"build": "tsc -p tsconfig.build.json && bun run ../../scripts/fix-dist-imports.ts dist",
+		"clean": "rm -rf dist",
+		"prepack": "bun run --cwd ../core build && bun run build",
+		"pack:dry-run": "npm pack --dry-run",
+		"typecheck": "tsc --noEmit -p tsconfig.json",
+		"test": "bun test tests"
+	},
+	"dependencies": {
+		"@vessel-dsp/core": "0.16.0",
+		"js-yaml": "^4.1.0"
+	},
+	"devDependencies": {
+		"@types/js-yaml": "^4.0.9"
+	},
+	"publishConfig": {
+		"access": "public"
+	}
+}