@vessel-dsp/compiler 0.0.0-stage → 0.3.0

package/dist/declared-program.js

@@ -0,0 +1,387 @@
+// A component's declared program, checked against the vocabulary that can actually execute it.
+//
+// The format carries an op as a name plus an untyped bag, because `@vessel-dsp/core` has no
+// opinion about a vocabulary that belongs to the runtime. That is the right split, and it puts the
+// whole burden of the check here: everything downstream of this file sees a `PrimitiveOp` or a
+// refusal, never a declaration that has not been read.
+//
+// **Why this refuses rather than drops.** An `ic` with no model is opened with a warning and the
+// packet renders silence -- the gap CLAUDE.md records as costing a session on 2026-09-10, where
+// the engine could not tell an unimplemented DSP pedal from an analog pedal with a severed net. A
+// *declared* program is different in kind: the source has stated what the chip does, so failing to
+// execute it is this compiler's gap and not the document's, and the console/ROM invariant applies
+// in full. An op this pipeline cannot place is named, never silently discarded.
+/**
+ * Every op name the runtime can execute, as a map that the type checker keeps exhaustive.
+ *
+ * **Not a hand-written list.** Keying a `Record` on `PrimitiveOp["op"]` means adding an op to the
+ * union and forgetting it here is a type error, which is the only version of this table that
+ * cannot go stale. A hand-listed array of strings would compile forever after the union moved --
+ * and a validator that silently stops recognising a new op is worse than none, because it refuses
+ * a correct declaration and names the source as the defect.
+ */
+const OP_READERS = {
+    "delay-tap": (op) => {
+        const line = readLine(op);
+        if (line === null)
+            return NO_LINE;
+        const length = readLength(op);
+        if (typeof length === "string")
+            return length;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "delay-tap", line, length, out };
+    },
+    "delay-tap-fractional": (op) => {
+        const line = readLine(op);
+        if (line === null)
+            return NO_LINE;
+        const length = readLength(op);
+        if (typeof length === "string")
+            return length;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "delay-tap-fractional", line, length, out };
+    },
+    "delay-tap-reverse": (op) => {
+        const line = readLine(op);
+        if (line === null)
+            return NO_LINE;
+        const length = readLength(op);
+        if (typeof length === "string")
+            return length;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "delay-tap-reverse", line, length, out };
+    },
+    "hold-loop": (op, parameters) => {
+        const line = readLine(op);
+        if (line === null)
+            return NO_LINE;
+        const input = readSource(op.input, "input");
+        if (typeof input === "string")
+            return input;
+        const raw = op.gate;
+        if (raw === null || typeof raw !== "object")
+            return 'declares no "gate" parameter';
+        const gate = readGainParameter(raw, parameters, "gate");
+        if (typeof gate === "string")
+            return gate;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "hold-loop", line, input, gate, out };
+    },
+    "delay-push": (op) => {
+        const line = readLine(op);
+        if (line === null)
+            return NO_LINE;
+        const input = readSource(op.input, "input");
+        if (typeof input === "string")
+            return input;
+        return { op: "delay-push", line, input };
+    },
+    mix: (op, parameters) => {
+        const terms = readTerms(op, parameters);
+        if (typeof terms === "string")
+            return terms;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "mix", terms, out };
+    },
+    "filter-dcblock": (op) => {
+        const input = readSource(op.input, "input");
+        if (typeof input === "string")
+            return input;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "filter-dcblock", input, out };
+    },
+    comb: (op) => {
+        const index = readNumber(op.index, "index");
+        if (typeof index === "string")
+            return index;
+        const decaySeconds = readNumber(op.decaySeconds, "decaySeconds");
+        if (typeof decaySeconds === "string")
+            return decaySeconds;
+        const input = readSource(op.input, "input");
+        if (typeof input === "string")
+            return input;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "comb", index, decaySeconds, input, out };
+    },
+    allpass: (op) => {
+        const index = readNumber(op.index, "index");
+        if (typeof index === "string")
+            return index;
+        const input = readSource(op.input, "input");
+        if (typeof input === "string")
+            return input;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "allpass", index, input, out };
+    },
+    "pitch-shift": (op) => {
+        const ratio = readNumber(op.ratio, "ratio");
+        if (typeof ratio === "string")
+            return ratio;
+        const input = readSource(op.input, "input");
+        if (typeof input === "string")
+            return input;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "pitch-shift", ratio, input, out };
+    },
+    "pitch-tracker": (op) => {
+        const input = readSource(op.input, "input");
+        if (typeof input === "string")
+            return input;
+        const out = readOut(op);
+        if (typeof out === "string")
+            return out;
+        return { op: "pitch-tracker", input, out };
+    },
+};
+/** The declared op names, for a refusal that can tell a reader what it could have written. */
+const KNOWN_OPS = Object.keys(OP_READERS).sort();
+/**
+ * Read a declaration into executable ops, or name the first thing that stopped it.
+ *
+ * Positions are checked in declaration order and the check stops at the first failure, because a
+ * list of every defect in a document nobody has fixed once is noise. The reason names the position
+ * and the op index, which is what locates it in the source.
+ */
+export function checkDeclaredProgram(program) {
+    const positions = [];
+    for (const position of program.positions) {
+        // Core refuses an empty `ops` at parse, so an empty list here means stage 1 dropped
+        // every entry as unreadable. Letting it through would publish an unwritten temporary,
+        // which is a packet that compiles clean and renders silence -- the failure this whole
+        // file exists to make impossible.
+        if (position.ops.length === 0) {
+            return {
+                ok: false,
+                reason: `position "${position.id}" carries no readable op`,
+            };
+        }
+        const ops = [];
+        for (const [index, declared] of position.ops.entries()) {
+            const reader = Object.hasOwn(OP_READERS, declared.op)
+                ? OP_READERS[declared.op]
+                : undefined;
+            if (reader === undefined) {
+                return {
+                    ok: false,
+                    reason: `position "${position.id}" op ${index} declares "${declared.op}", which this runtime does not implement; it executes ${KNOWN_OPS.join(", ")}`,
+                };
+            }
+            const read = reader(declared, position.parameters);
+            if (typeof read === "string") {
+                return {
+                    ok: false,
+                    reason: `position "${position.id}" op ${index} ("${declared.op}"): ${read}`,
+                };
+            }
+            ops.push(read);
+        }
+        // **Temporaries are sized to the op list**, one slot per op, in both consoles. An `out` or a
+        // temp source past it is a write or read of a slot that does not exist: the C++ console
+        // throws on the first sample and the TS console silently grows its array, so the two
+        // disagree and the Studio crashes where a render passes. `boss-dd-5` v1.46's HOLD wrote
+        // slot 3 of a two-op program.
+        for (const [index, op] of ops.entries()) {
+            const slots = [
+                ...("out" in op ? [["out", op.out]] : []),
+                ...tempSources(op).map((slot) => ["temp source", slot]),
+            ];
+            for (const [what, slot] of slots) {
+                if (slot < ops.length)
+                    continue;
+                return {
+                    ok: false,
+                    reason: `position "${position.id}" op ${index} ("${op.op}") names ${what} ${slot}, outside its ${ops.length} temporaries (one per op)`,
+                };
+            }
+        }
+        // A delay op naming a line the position does not declare has no length to read, and
+        // taking it as zero would render a silent pedal that compiled cleanly.
+        const declaredLines = new Set(Object.keys(position.lines));
+        for (const [index, op] of ops.entries()) {
+            if (!("line" in op))
+                continue;
+            if (!declaredLines.has(op.line)) {
+                return {
+                    ok: false,
+                    reason: `position "${position.id}" op ${index} ("${op.op}") reads delay line "${op.line}", which the position does not declare; it declares ${declaredLines.size === 0 ? "none" : [...declaredLines].join(", ")}`,
+                };
+            }
+        }
+        // A reverse tap keeps its segment phase on the line it reads, so a second one on the same
+        // line would advance that phase twice a sample and play at double speed.
+        const reversed = new Set();
+        for (const [index, op] of ops.entries()) {
+            if (op.op !== "delay-tap-reverse")
+                continue;
+            if (reversed.has(op.line)) {
+                return {
+                    ok: false,
+                    reason: `position "${position.id}" op ${index} is a second "delay-tap-reverse" on line "${op.line}"; a line carries at most one, because its reverse phase lives on the line`,
+                };
+            }
+            reversed.add(op.line);
+        }
+        // A hold sampler owns its line: its record position lives there, so a second writer
+        // would overwrite the recording it is looping.
+        const held = new Set();
+        for (const [index, op] of ops.entries()) {
+            if (op.op !== "hold-loop")
+                continue;
+            const shared = held.has(op.line) || ops.some((other) => other.op === "delay-push" && other.line === op.line);
+            if (shared) {
+                return {
+                    ok: false,
+                    reason: `position "${position.id}" op ${index} ("hold-loop") shares line "${op.line}" with another writer; a hold sampler owns its line`,
+                };
+            }
+            held.add(op.line);
+        }
+        positions.push({
+            id: position.id,
+            ops,
+            lines: [...declaredLines],
+        });
+    }
+    return { ok: true, positions };
+}
+/** The temp slots an op reads. */
+function tempSources(op) {
+    const sources = [];
+    if ("input" in op)
+        sources.push(op.input);
+    if (op.op === "mix")
+        sources.push(...op.terms.map((term) => term.source));
+    return sources.flatMap((source) => (source.kind === "temp" ? [source.index] : []));
+}
+/** The reason every delay op gives when it names no line, stated once. */
+const NO_LINE = 'declares no delay line name ("line")';
+function readLine(op) {
+    const value = op.line;
+    return typeof value === "string" && value.length > 0 ? value : null;
+}
+function readOut(op) {
+    return readIndex(op.out, "out");
+}
+function readNumber(value, field) {
+    return typeof value === "number" && Number.isFinite(value)
+        ? value
+        : `declares no finite "${field}"`;
+}
+function readIndex(value, field) {
+    return typeof value === "number" && Number.isInteger(value) && value >= 0
+        ? value
+        : `declares no non-negative integer "${field}"`;
+}
+function readLength(op) {
+    const value = op.length;
+    if (value === null || typeof value !== "object") {
+        return 'declares no "length"';
+    }
+    const mode = value.mode;
+    // Whole-value comparison against the closed set, which is the rule this repository runs on
+    // every other typed vocabulary.
+    if (mode === "capacity" ||
+        mode === "clock" ||
+        mode === "modulation" ||
+        mode === "parameter") {
+        return { mode };
+    }
+    return `declares length mode ${JSON.stringify(mode)}, which is not one of capacity, clock, modulation, parameter`;
+}
+function readSource(value, field) {
+    if (value === null || typeof value !== "object") {
+        return `declares no "${field}"`;
+    }
+    const kind = value.kind;
+    if (kind === "input")
+        return { kind: "input" };
+    if (kind === "const") {
+        const amount = readNumber(value.value, `${field}.value`);
+        return typeof amount === "string" ? amount : { kind: "const", value: amount };
+    }
+    if (kind === "temp") {
+        const index = readIndex(value.index, `${field}.index`);
+        return typeof index === "string" ? index : { kind: "temp", index };
+    }
+    return `declares ${field} kind ${JSON.stringify(kind)}, which is not one of input, const, temp`;
+}
+function readTerms(op, parameters) {
+    const value = op.terms;
+    if (!Array.isArray(value) || value.length === 0) {
+        return 'declares no non-empty "terms"';
+    }
+    const terms = [];
+    for (const [index, entry] of value.entries()) {
+        if (entry === null || typeof entry !== "object") {
+            return `term ${index} is not an object`;
+        }
+        const source = readSource(entry.source, `terms[${index}].source`);
+        if (typeof source === "string")
+            return source;
+        const rawGain = entry.gain;
+        if (rawGain !== null && typeof rawGain === "object") {
+            const sweep = readGainParameter(rawGain, parameters, `terms[${index}].gain`);
+            if (typeof sweep === "string")
+                return sweep;
+            terms.push({ source, gain: sweep.min, sweep });
+            continue;
+        }
+        const gain = readNumber(rawGain, `terms[${index}].gain`);
+        if (typeof gain === "string")
+            return gain;
+        terms.push({ source, gain });
+    }
+    return terms;
+}
+/**
+ * A gain that names a position parameter, resolved to the knob that sweeps it, or why not.
+ *
+ * Four refusals, each a declaration that cannot be executed faithfully. A name the position does
+ * not declare has nothing to read. A parameter with no `source` is not set, by the format's own
+ * rule, so a gain cannot be read from it. A parameter no control sweeps is a fixed number and
+ * belongs in `gain` as one. And a `node` read has no port a gain could arrive through: the
+ * control-to-chip path would have to be modelled, which is exactly what `scanned` says it is not.
+ */
+function readGainParameter(raw, parameters, field) {
+    const name = raw.parameter;
+    if (typeof name !== "string" || name.length === 0) {
+        return `${field} is an object but names no "parameter"`;
+    }
+    const parameter = parameters[name];
+    if (parameter === undefined) {
+        const declared = Object.keys(parameters);
+        return `${field} names parameter "${name}", which the position does not declare; it declares ${declared.length === 0 ? "none" : declared.join(", ")}`;
+    }
+    if (parameter.source === undefined) {
+        return `${field} names parameter "${name}", which cites no source and so is not set`;
+    }
+    if (parameter.control === undefined) {
+        return `${field} names parameter "${name}", which no control sweeps; a fixed gain is written as a number`;
+    }
+    if (parameter.read !== "scanned") {
+        return `${field} names parameter "${name}", read from a node; a gain has no node port, so only a scanned control can sweep one`;
+    }
+    if (!Number.isFinite(parameter.min) || !Number.isFinite(parameter.max)) {
+        return `${field} names parameter "${name}", whose range is not two finite numbers`;
+    }
+    return { controlId: parameter.control, min: parameter.min, max: parameter.max };
+}
+//# sourceMappingURL=declared-program.js.map

package/dist/declared-program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-program.js","sourceRoot":"","sources":["../src/declared-program.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,EAAE;AACF,4FAA4F;AAC5F,mGAAmG;AACnG,+FAA+F;AAC/F,uDAAuD;AACvD,EAAE;AACF,iGAAiG;AACjG,gGAAgG;AAChG,kGAAkG;AAClG,mGAAmG;AACnG,kGAAkG;AAClG,gFAAgF;AA2BhF;;;;;;;;GAQG;AACH,MAAM,UAAU,GAKZ;IACH,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE;QACnB,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QAClC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC9C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/C,CAAC;IACD,sBAAsB,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QAClC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC9C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC1D,CAAC;IACD,mBAAmB,EAAE,CAAC,EAAE,EAAE,EAAE;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QAClC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC9C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACvD,CAAC;IACD,WAAW,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;QACpB,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,8BAA8B,CAAC;QACnF,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpD,CAAC;IACD,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE;QACpB,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,GAAG,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE;QACvB,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACxC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAClC,CAAC;IACD,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE;QACxB,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE;QACZ,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,YAAY,GAAG,UAAU,CAAC,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QACjE,IAAI,OAAO,YAAY,KAAK,QAAQ;YAAE,OAAO,YAAY,CAAC;QAC1D,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACxD,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QACf,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC7C,CAAC;IACD,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE;QACrB,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACjD,CAAC;IACD,eAAe,EAAE,CAAC,EAAE,EAAE,EAAE;QACvB,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC5C,CAAC;CACD,CAAC;AAEF,8FAA8F;AAC9F,MAAM,SAAS,GAAsB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;AAEpE;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CACnC,OAAwB;IAExB,MAAM,SAAS,GAAsB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAC1C,oFAAoF;QACpF,sFAAsF;QACtF,sFAAsF;QACtF,kCAAkC;QAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO;gBACN,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,aAAa,QAAQ,CAAC,EAAE,0BAA0B;aAC1D,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACpD,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAuB,CAAC;gBAC9C,CAAC,CAAC,SAAS,CAAC;YACb,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,aAAa,QAAQ,CAAC,EAAE,QAAQ,KAAK,cAAc,QAAQ,CAAC,EAAE,yDAAyD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBACrJ,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;YACnD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,aAAa,QAAQ,CAAC,EAAE,QAAQ,KAAK,MAAM,QAAQ,CAAC,EAAE,OAAO,IAAI,EAAE;iBAC3E,CAAC;YACH,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC;QACD,6FAA6F;QAC7F,wFAAwF;QACxF,qFAAqF;QACrF,wFAAwF;QACxF,8BAA8B;QAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG;gBACb,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,aAAa,EAAE,IAAI,CAAU,CAAC;aAChE,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;gBAClC,IAAI,IAAI,GAAG,GAAG,CAAC,MAAM;oBAAE,SAAS;gBAChC,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,aAAa,QAAQ,CAAC,EAAE,QAAQ,KAAK,MAAM,EAAE,CAAC,EAAE,YAAY,IAAI,IAAI,IAAI,iBAAiB,GAAG,CAAC,MAAM,2BAA2B;iBACtI,CAAC;YACH,CAAC;QACF,CAAC;QACD,oFAAoF;QACpF,uEAAuE;QACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;gBAAE,SAAS;YAC9B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,aAAa,QAAQ,CAAC,EAAE,QAAQ,KAAK,MAAM,EAAE,CAAC,EAAE,wBAAwB,EAAE,CAAC,IAAI,uDAAuD,aAAa,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBACjN,CAAC;YACH,CAAC;QACF,CAAC;QACD,0FAA0F;QAC1F,yEAAyE;QACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC,EAAE,KAAK,mBAAmB;gBAAE,SAAS;YAC5C,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,aAAa,QAAQ,CAAC,EAAE,QAAQ,KAAK,6CAA6C,EAAE,CAAC,IAAI,4EAA4E;iBAC7K,CAAC;YACH,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;QACD,oFAAoF;QACpF,+CAA+C;QAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC,EAAE,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;YAC7G,IAAI,MAAM,EAAE,CAAC;gBACZ,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,aAAa,QAAQ,CAAC,EAAE,QAAQ,KAAK,+BAA+B,EAAE,CAAC,IAAI,qDAAqD;iBACxI,CAAC;YACH,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,SAAS,CAAC,IAAI,CAAC;YACd,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,GAAG;YACH,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC;SACzB,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC;AAED,kCAAkC;AAClC,SAAS,WAAW,CAAC,EAAe;IACnC,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,IAAI,OAAO,IAAI,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,EAAE,CAAC,EAAE,KAAK,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,0EAA0E;AAC1E,MAAM,OAAO,GAAG,sCAAsC,CAAC;AAEvD,SAAS,QAAQ,CAAC,EAAqB;IACtC,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC;IACtB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC;AAED,SAAS,OAAO,CAAC,EAAqB;IACrC,OAAO,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAChD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QACzD,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,uBAAuB,KAAK,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QACxE,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,qCAAqC,KAAK,GAAG,CAAC;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,EAAqB;IACxC,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC;IACxB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACjD,OAAO,sBAAsB,CAAC;IAC/B,CAAC;IACD,MAAM,IAAI,GAAI,KAA4B,CAAC,IAAI,CAAC;IAChD,2FAA2F;IAC3F,gCAAgC;IAChC,IACC,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,YAAY;QACrB,IAAI,KAAK,WAAW,EACnB,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,CAAC;IACjB,CAAC;IACD,OAAO,wBAAwB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,8DAA8D,CAAC;AACnH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAChD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACjD,OAAO,gBAAgB,KAAK,GAAG,CAAC;IACjC,CAAC;IACD,MAAM,IAAI,GAAI,KAA4B,CAAC,IAAI,CAAC;IAChD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC/C,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,UAAU,CAAE,KAA6B,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;QAClF,OAAO,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,SAAS,CAAE,KAA6B,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;QAChF,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,YAAY,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,0CAA0C,CAAC;AACjG,CAAC;AAED,SAAS,SAAS,CACjB,EAAqB,EACrB,UAA8D;IAE9D,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACvB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,+BAA+B,CAAC;IACxC,CAAC;IACD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjD,OAAO,QAAQ,KAAK,mBAAmB,CAAC;QACzC,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CACvB,KAA8B,CAAC,MAAM,EACtC,SAAS,KAAK,UAAU,CACxB,CAAC;QACF,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC9C,MAAM,OAAO,GAAI,KAA4B,CAAC,IAAI,CAAC;QACnD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC;YAC7E,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/C,SAAS;QACV,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC;QACzD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CACzB,GAAW,EACX,UAA8D,EAC9D,KAAa;IAEb,MAAM,IAAI,GAAI,GAA+B,CAAC,SAAS,CAAC;IACxD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,GAAG,KAAK,wCAAwC,CAAC;IACzD,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,OAAO,GAAG,KAAK,qBAAqB,IAAI,uDAAuD,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACvJ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,GAAG,KAAK,qBAAqB,IAAI,4CAA4C,CAAC;IACtF,CAAC;IACD,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,GAAG,KAAK,qBAAqB,IAAI,iEAAiE,CAAC;IAC3G,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,GAAG,KAAK,qBAAqB,IAAI,uFAAuF,CAAC;IACjI,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACxE,OAAO,GAAG,KAAK,qBAAqB,IAAI,0CAA0C,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;AACjF,CAAC"}

package/dist/denomination.d.ts

@@ -0,0 +1,48 @@
+/**
+ * A number that knows what it is *per*.
+ *
+ * **Not a branded `number`, and the standard recipe fails here for a reason worth stating.** A
+ * branded number is still a number, so TypeScript permits `>=` between two of them — which is
+ * exactly the comparison this exists to reject. Tested before writing: the branded form blocks
+ * `const x: PerBlock = 5000` and waves through `saving >= measured`, so it fails at the only case
+ * it is for.
+ *
+ * The error it prevents is a class, not an incident. On 2026-09-11 a saving was registered per
+ * BLOCK and measured per PACKET; pre-registration, the control set and rule 32 all passed it,
+ * because **each was correct at the level it was stated**. 84% became 0.3%. The same shape cost
+ * two more hours the same day: a bound wrong by 64x (per-sample read as per-render) and an
+ * attribution reading 106.2% (per-drive against a shared window — a signal larger than its own
+ * total). A `PerBlock` and a `PerPacket` as distinct types could not have been compared at all.
+ *
+ * **The cost, stated honestly.** An opaque type is more invasive than a brand: arithmetic needs
+ * `.value`, and it is not erased — it allocates. Confine it to comparisons, thresholds and
+ * recorded figures. Never put one in an inner loop.
+ */
+export type Per<T extends string> = {
+    readonly denomination: T;
+    readonly value: number;
+};
+export type PerBlock = Per<"block">;
+export type PerPacket = Per<"packet">;
+export type PerSample = Per<"sample">;
+export type PerRender = Per<"render">;
+export type PerDrive = Per<"drive">;
+export type SharedWindow = Per<"shared-window">;
+export declare const perBlock: (value: number) => PerBlock;
+export declare const perPacket: (value: number) => PerPacket;
+export declare const perSample: (value: number) => PerSample;
+export declare const perRender: (value: number) => PerRender;
+export declare const perDrive: (value: number) => PerDrive;
+export declare const sharedWindow: (value: number) => SharedWindow;
+/**
+ * Comparison, legal only WITHIN one denomination.
+ *
+ * **`NoInfer` on the second operand is load-bearing.** Without it `T` widens to the union of both
+ * arguments and the guard accepts precisely what it exists to reject — the second of the two
+ * designs tried here, and it passed its own negative control before `NoInfer` was added.
+ */
+export declare const atLeast: <T extends string>(a: Per<T>, b: Per<NoInfer<T>>) => boolean;
+/** Deliberately requires the share: the error was this conversion performed implicitly. */
+export declare const blockToPacket: (v: PerBlock, shareOfPacket: number) => PerPacket;
+export declare const sampleToRender: (v: PerSample, samples: number) => PerRender;
+//# sourceMappingURL=denomination.d.ts.map

package/dist/denomination.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"denomination.d.ts","sourceRoot":"","sources":["../src/denomination.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,IAAI;IACnC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;AACpC,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;AACtC,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;AACtC,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;AACtC,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;AACpC,MAAM,MAAM,YAAY,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC;AAEhD,eAAO,MAAM,QAAQ,GAAI,OAAO,MAAM,KAAG,QAA8C,CAAC;AACxF,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,KAAG,SAAgD,CAAC;AAC3F,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,KAAG,SAAgD,CAAC;AAC3F,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,KAAG,SAAgD,CAAC;AAC3F,eAAO,MAAM,QAAQ,GAAI,OAAO,MAAM,KAAG,QAA8C,CAAC;AACxF,eAAO,MAAM,YAAY,GAAI,OAAO,MAAM,KAAG,YAG3C,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAG,OACvD,CAAC;AAEpB,2FAA2F;AAC3F,eAAO,MAAM,aAAa,GAAI,GAAG,QAAQ,EAAE,eAAe,MAAM,KAAG,SAGjE,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,GAAG,SAAS,EAAE,SAAS,MAAM,KAAG,SAG7D,CAAC"}

package/dist/denomination.js

@@ -0,0 +1,27 @@
+export const perBlock = (value) => ({ denomination: "block", value });
+export const perPacket = (value) => ({ denomination: "packet", value });
+export const perSample = (value) => ({ denomination: "sample", value });
+export const perRender = (value) => ({ denomination: "render", value });
+export const perDrive = (value) => ({ denomination: "drive", value });
+export const sharedWindow = (value) => ({
+    denomination: "shared-window",
+    value,
+});
+/**
+ * Comparison, legal only WITHIN one denomination.
+ *
+ * **`NoInfer` on the second operand is load-bearing.** Without it `T` widens to the union of both
+ * arguments and the guard accepts precisely what it exists to reject — the second of the two
+ * designs tried here, and it passed its own negative control before `NoInfer` was added.
+ */
+export const atLeast = (a, b) => a.value >= b.value;
+/** Deliberately requires the share: the error was this conversion performed implicitly. */
+export const blockToPacket = (v, shareOfPacket) => ({
+    denomination: "packet",
+    value: v.value * shareOfPacket,
+});
+export const sampleToRender = (v, samples) => ({
+    denomination: "render",
+    value: v.value * samples,
+});
+//# sourceMappingURL=denomination.js.map

package/dist/denomination.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"denomination.js","sourceRoot":"","sources":["../src/denomination.ts"],"names":[],"mappings":"AAgCA,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACxF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAa,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAa,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAa,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACxF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAgB,EAAE,CAAC,CAAC;IAC7D,YAAY,EAAE,eAAe;IAC7B,KAAK;CACL,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAmB,CAAS,EAAE,CAAkB,EAAW,EAAE,CACnF,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC;AAEpB,2FAA2F;AAC3F,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAW,EAAE,aAAqB,EAAa,EAAE,CAAC,CAAC;IAChF,YAAY,EAAE,QAAQ;IACtB,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,aAAa;CAC9B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAY,EAAE,OAAe,EAAa,EAAE,CAAC,CAAC;IAC5E,YAAY,EAAE,QAAQ;IACtB,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,OAAO;CACxB,CAAC,CAAC"}