universal-physics-tensor 0.29.0 → 0.31.0

package/dist/bridges/confrontation-coverage.d.ts

@@ -17,6 +17,21 @@
  *
  * @module bridges/confrontation-coverage
  */
+/**
+ * Catalog ids with a committed real-data confrontation:
+ *   - BE-36 — GW170817 vs the GW-speed bound (be36-gw170817-confrontation.ts)
+ *   - BE-23 — SYK Planckian dissipation vs cuprate data
+ *             (be23-planckian-confrontation.ts)
+ *   - BE-52 — Mercury anomalous perihelion advance vs Einstein 1915
+ *             (be52-mercury-confrontation.ts) — the first established-bridge
+ *             confrontation, GR's original empirical triumph
+ *
+ * Single source of truth — also consumed by `composition/bridge-analysis.ts`
+ * (the priority scorecard's data-confrontation flag).
+ *
+ * @internal
+ */
+export declare const DATA_CONFRONTED_IDS: ReadonlySet<number>;
 /**
  * The grounding tier of one bridge, strongest first:
  *   - `data-confronted` — has a committed real-data confrontation.

package/dist/bridges/confrontation-coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAgBH;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}
+{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAKH;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAyB,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}

package/dist/bridges/confrontation-coverage.js

@@ -27,8 +27,13 @@ import { CATALOG_GRAPH } from '../composition/catalog-graph.js';
  *   - BE-52 — Mercury anomalous perihelion advance vs Einstein 1915
  *             (be52-mercury-confrontation.ts) — the first established-bridge
  *             confrontation, GR's original empirical triumph
+ *
+ * Single source of truth — also consumed by `composition/bridge-analysis.ts`
+ * (the priority scorecard's data-confrontation flag).
+ *
+ * @internal
  */
-const DATA_CONFRONTED_IDS = new Set([23, 36, 52]);
+export const DATA_CONFRONTED_IDS = new Set([23, 36, 52]);
 /**
  * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
  * composition graph, and the data-confrontation registry; fabricates

package/dist/bridges/confrontation-coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE;;;;;;;;GAQG;AACH,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AA+CvE;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}
+{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AA+C9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}

package/dist/bridges/descriptor.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Unified per-bridge descriptor — one lookup that JOINS the catalog's three
+ * id-keyed registries so a consumer reads a single object instead of
+ * cross-referencing three hand-maintained sources:
+ *
+ *   1. `BRIDGE_EQUATIONS`   — catalog metadata (status, refs, signature, …)
+ *   2. `BRIDGE_RHS_BY_ID`   — faithful right-hand-side AST (where encoded)
+ *   3. `CATALOG_GRAPH`      — composition-graph edge(s) keyed by `beId`
+ *
+ * This is a DERIVED facade, not a fourth source of truth: every field still
+ * lives in its home registry. The point is anti-drift — the failure mode behind
+ * the stale `DATA_CONFRONTED = {23,36}` set and the `6.075e-12` value was the
+ * registries silently disagreeing. They are now (a) reachable through one
+ * accessor and (b) cross-checked by one guard
+ * (`tests/bridges/descriptor-consistency.test.ts`), so a future id that exists
+ * in one registry but not another fails loudly instead of drifting.
+ *
+ * @module bridges/descriptor
+ */
+import { type BridgeEquationEntry } from './index.js';
+import type { BridgeEdge } from '../composition/edge.js';
+import type { ExprNode } from '../dimensional/validator.js';
+/** One bridge, joined across the catalog's three id-keyed registries. */
+interface BridgeDescriptor {
+    /** Catalog id (11–54). */
+    readonly id: number;
+    /** Catalog metadata (from `BRIDGE_EQUATIONS`). */
+    readonly entry: BridgeEquationEntry;
+    /** Faithful RHS AST (from `BRIDGE_RHS_BY_ID`), or `undefined` if not encoded. */
+    readonly rhs: ExprNode | undefined;
+    /**
+     * Composition-graph edges carrying this `beId` (from `CATALOG_GRAPH`).
+     * Usually one; a few bridges have several (e.g. BE-42 + BE-42-via-rs).
+     * Empty when the bridge has no graph edge.
+     */
+    readonly edges: readonly BridgeEdge[];
+}
+/**
+ * Every bridge descriptor, keyed by catalog id. The single joined view of the
+ * three registries.
+ *
+ * @internal
+ */
+export declare const BRIDGE_DESCRIPTORS: ReadonlyMap<number, BridgeDescriptor>;
+/**
+ * Look up one bridge by id (a number, `'42'`, or `'BE-42'` — case-insensitive).
+ * Returns the joined descriptor (metadata + RHS + edges). Throws if the id is
+ * unparseable or not catalogued.
+ *
+ * @internal
+ */
+export declare function getBridge(bridgeId: number | string): BridgeDescriptor;
+export {};
+//# sourceMappingURL=descriptor.d.ts.map

package/dist/bridges/descriptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.d.ts","sourceRoot":"","sources":["../../src/bridges/descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAoB,KAAK,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGxE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE5D,yEAAyE;AACzE,UAAU,gBAAgB;IACxB,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,iFAAiF;IACjF,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AAsBD;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAe,CAAC;AAErF;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,gBAAgB,CASrE"}

package/dist/bridges/descriptor.js

@@ -0,0 +1,67 @@
+/**
+ * Unified per-bridge descriptor — one lookup that JOINS the catalog's three
+ * id-keyed registries so a consumer reads a single object instead of
+ * cross-referencing three hand-maintained sources:
+ *
+ *   1. `BRIDGE_EQUATIONS`   — catalog metadata (status, refs, signature, …)
+ *   2. `BRIDGE_RHS_BY_ID`   — faithful right-hand-side AST (where encoded)
+ *   3. `CATALOG_GRAPH`      — composition-graph edge(s) keyed by `beId`
+ *
+ * This is a DERIVED facade, not a fourth source of truth: every field still
+ * lives in its home registry. The point is anti-drift — the failure mode behind
+ * the stale `DATA_CONFRONTED = {23,36}` set and the `6.075e-12` value was the
+ * registries silently disagreeing. They are now (a) reachable through one
+ * accessor and (b) cross-checked by one guard
+ * (`tests/bridges/descriptor-consistency.test.ts`), so a future id that exists
+ * in one registry but not another fails loudly instead of drifting.
+ *
+ * @module bridges/descriptor
+ */
+import { BRIDGE_EQUATIONS } from './index.js';
+import { BRIDGE_RHS_BY_ID, parseBridgeId } from './rhs-registry.js';
+import { CATALOG_GRAPH } from '../composition/catalog-graph.js';
+const DESCRIPTORS = (() => {
+    const edgesById = new Map();
+    for (const e of CATALOG_GRAPH) {
+        if (e.beId === null)
+            continue;
+        const list = edgesById.get(e.beId);
+        if (list)
+            list.push(e);
+        else
+            edgesById.set(e.beId, [e]);
+    }
+    const m = new Map();
+    for (const entry of BRIDGE_EQUATIONS) {
+        m.set(entry.id, {
+            id: entry.id,
+            entry,
+            rhs: BRIDGE_RHS_BY_ID.get(entry.id),
+            edges: edgesById.get(entry.id) ?? [],
+        });
+    }
+    return m;
+})();
+/**
+ * Every bridge descriptor, keyed by catalog id. The single joined view of the
+ * three registries.
+ *
+ * @internal
+ */
+export const BRIDGE_DESCRIPTORS = DESCRIPTORS;
+/**
+ * Look up one bridge by id (a number, `'42'`, or `'BE-42'` — case-insensitive).
+ * Returns the joined descriptor (metadata + RHS + edges). Throws if the id is
+ * unparseable or not catalogued.
+ *
+ * @internal
+ */
+export function getBridge(bridgeId) {
+    const id = parseBridgeId(bridgeId);
+    const d = DESCRIPTORS.get(id);
+    if (d === undefined) {
+        throw new RangeError(`getBridge: no catalogued bridge with id ${id} (BE-${id}).`);
+    }
+    return d;
+}
+//# sourceMappingURL=descriptor.js.map

package/dist/bridges/descriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.js","sourceRoot":"","sources":["../../src/bridges/descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,gBAAgB,EAA4B,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAoBhE,MAAM,WAAW,GAA0C,CAAC,GAAG,EAAE;IAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAClB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE;YACd,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,KAAK;YACL,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;SACrC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EAAE,CAAC;AAEL;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0C,WAAW,CAAC;AAErF;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,QAAyB;IACjD,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAClB,2CAA2C,EAAE,QAAQ,EAAE,IAAI,CAC5D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/bridges/equations/_be-helpers.d.ts

@@ -25,7 +25,6 @@
  * @module bridges/equations/_be-helpers
  */
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-import type { Dimension } from '../../dimensional/types.js';
 export { validateFiniteInputs, type FieldSpec } from '../../numerical/input-validation.js';
 /**
  * Run `validateEquation(lhs, rhs)` + `validate(lhs)` + `validate(rhs)`
@@ -77,5 +76,5 @@ export declare function validateBEDimensions(lhs: ExprNode, rhs: ExprNode, _equa
  *
  * @internal
  */
-export declare function sym(name: string, dim: Dimension): ExprNode;
+export { sym } from '../../dimensional/ast-builders.js';
 //# sourceMappingURL=_be-helpers.d.ts.map

package/dist/bridges/equations/_be-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"_be-helpers.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAQ5D,OAAO,EAAE,oBAAoB,EAAE,KAAK,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAM3F;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,QAAQ,EACb,cAAc,EAAE,MAAM,GACrB,yBAAyB,CAS3B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAE1D"}
+{"version":3,"file":"_be-helpers.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F,OAAO,EAAE,oBAAoB,EAAE,KAAK,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAM3F;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,QAAQ,EACb,cAAc,EAAE,MAAM,GACrB,yBAAyB,CAS3B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/bridges/equations/_be-helpers.js

@@ -97,7 +97,7 @@ export function validateBEDimensions(lhs, rhs, _equationLabel) {
  *
  * @internal
  */
-export function sym(name, dim) {
-    return { kind: 'symbol', name, dim };
-}
+// Single source of truth in `dimensional/ast-builders`; re-exported here so the
+// ~55 BE/canonical modules that import `sym` from `_be-helpers` are unchanged.
+export { sym } from '../../dimensional/ast-builders.js';
 //# sourceMappingURL=_be-helpers.js.map

package/dist/bridges/equations/_be-helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"_be-helpers.js","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAG5E,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,iFAAiF;AACjF,OAAO,EAAE,oBAAoB,EAAkB,MAAM,qCAAqC,CAAC;AAE3F,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,GAAa,EACb,cAAsB;IAEtB,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,IAAI,CAAC,iBAAiB;QAC9B,MAAM,EAAE,IAAI,CAAC,iBAAiB;KAC/B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,GAAc;IAC9C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC"}
+{"version":3,"file":"_be-helpers.js","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAE5E,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,iFAAiF;AACjF,OAAO,EAAE,oBAAoB,EAAkB,MAAM,qCAAqC,CAAC;AAE3F,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,GAAa,EACb,cAAsB;IAEtB,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,IAAI,CAAC,iBAAiB;QAC9B,MAAM,EAAE,IAAI,CAAC,iBAAiB;KAC/B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,gFAAgF;AAChF,+EAA+E;AAC/E,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/bridges/equations/be-20-vacuum-energy.d.ts

@@ -31,7 +31,7 @@
  *     as the AST-encodable bridge content.
  *   - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
  *     [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
- *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
+ *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
  *     is the alternate convention; both forms are physically
  *     equivalent. We encode the mass-density form here.
  *   - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is

package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAUpC,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAqBF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
+{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAUpC,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAwBF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-20-vacuum-energy.js

@@ -31,7 +31,7 @@
  *     as the AST-encodable bridge content.
  *   - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
  *     [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
- *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
+ *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
  *     is the alternate convention; both forms are physically
  *     equivalent. We encode the mass-density form here.
  *   - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
@@ -70,11 +70,13 @@ export const MASS_DENSITY = {
  * Decision #9 (v0.6.0-Design.md): status pin unchanged — structural
  * AST promotion does NOT constitute physics validation.
  */
+/** Planck 2018 cosmological constant Λ ≈ 1.1×10⁻⁵² m⁻² — single source of truth. */
+const PLANCK_2018_LAMBDA = 1.1e-52;
 const BE20_COSMOLOGICAL_CONSTANT = {
     kind: 'cosmological-constant',
     symbol: 'Λ',
     dim: INV_LENGTH_2,
-    value: 1.1e-52, // Planck 2018 canonical value (m⁻²)
+    value: PLANCK_2018_LAMBDA,
 };
 /**
  * RHS of the cosmological-constant mass density:
@@ -111,7 +113,7 @@ export const BE20_VACUUM_ENERGY_RHS = {
 /** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
 /** @internal */
 export const BE20_VACUUM_ENERGY_LHS = sym('rho_Lambda', MASS_DENSITY);
-const DEFAULT_LAMBDA = 1.1e-52; // Planck 2018 canonical value (m^-2)
+const DEFAULT_LAMBDA = PLANCK_2018_LAMBDA;
 /**
  * Evaluate the mass density associated with the observed cosmological
  * constant

package/dist/bridges/equations/be-20-vacuum-energy.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,OAAO,EAAE,oCAAoC;CACrD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,qCAAqC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}
+{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,oFAAoF;AACpF,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAEnC,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,kBAAkB;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAE1C;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}

package/dist/bridges/equations/be-21-kss-bound.d.ts

@@ -62,7 +62,7 @@ export declare const BE21_KSS_LHS: ExprNode;
  *
  *   η/s = ℏ / (4π k_B)
  *
- * @returns η/s in K·s (SI). Approximately 6.075e-12 K·s.
+ * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
  */
 export declare function evaluateKSSBound(): number;
 /**

package/dist/bridges/equations/be-21-kss-bound.js

@@ -79,7 +79,7 @@ export const BE21_KSS_LHS = sym('eta_over_s', VISCOSITY_OVER_ENTROPY_DENSITY);
  *
  *   η/s = ℏ / (4π k_B)
  *
- * @returns η/s in K·s (SI). Approximately 6.075e-12 K·s.
+ * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
  */
 export function evaluateKSSBound() {
     const { hbar, kB } = PhysicalConstants;

package/dist/bridges/equations/be-25-iit-phi.d.ts

@@ -34,13 +34,11 @@
  * convention; the validator only enforces that all components are
  * dimensionally consistent.
  *
- * **Dimensionless-stub pattern for log₂.** The AST has no `log`
- * primitive. Following the same idiom as BE-26 (exp(-WKB)), BE-41
- * (exp(...)), BE-45 (log()), BE-46 (exp()), and BE-50 (no log/exp;
- * algebraic), we encode `log₂[p(s̃|s)/p(s̃)]` as a fresh DIMENSIONLESS
- * symbol stub `log2_ratio_ii` and expose the inner ratio
- * `p(s̃|s)/p(s̃)` separately as `BE25_LOG_RATIO_ARG` so a lemma test
- * can verify the argument is dimensionless directly.
+ * **Faithful `transcendental` log₂ (v0.19).** `log₂[p(s̃|s)/p(s̃)]` is encoded
+ * as a `transcendental` `log2` node over the inner ratio, which is exposed
+ * separately as `BE25_LOG_RATIO_ARG` so a lemma test can verify the argument is
+ * dimensionless directly. (dimensionless → dimensionless, so the round-trip
+ * dimensional_signature is unchanged.)
  *
  * **AST structure (multiplicative, not additive — note the difference
  * from BE-45).** BE-45's RHS `log(M_P/H_inf) − γ·log(r/0.01)` is a
@@ -158,12 +156,10 @@ export declare const BE25_P_MARGINAL: ExprNode;
  */
 export declare const BE25_LOG_RATIO_ARG: ExprNode;
 /**
- * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a fresh
- * DIMENSIONLESS symbol stub `log2_ratio_ii` (the AST has no `log`
- * primitive; following the BE-26 / BE-41 / BE-45 / BE-46 dimensionless-
- * stub idiom). The actual log argument is exposed separately via
- * `BE25_LOG_RATIO_ARG` so the lemma test can verify it is
- * dimensionless.
+ * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a faithful
+ * `transcendental` `log2` node (v0.19) over the inner ratio. The log argument
+ * is exposed separately via `BE25_LOG_RATIO_ARG` so the lemma test can verify
+ * it is dimensionless.
  */
 export declare const BE25_LOG2_FACTOR: ExprNode;
 /**
@@ -172,10 +168,10 @@ export declare const BE25_LOG2_FACTOR: ExprNode;
  *
  *   p_cond · log2_ratio_ii
  *
- * `log2_ratio_ii` is a DIMENSIONLESS symbol stub for `log₂(...)`; the
+ * `BE25_LOG2_FACTOR` is a faithful `transcendental` `log2` node; its
  * argument `p_cond / p_marg` is exposed via `BE25_LOG_RATIO_ARG` and
- * verified dimensionless directly. The product of two dimensionless
- * symbols is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
+ * verified dimensionless directly. The product of a dimensionless probability
+ * and a dimensionless log is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
  */
 export declare const BE25_INTRINSIC_INFORMATION_RHS: ExprNode;
 /**

package/dist/bridges/equations/be-25-iit-phi.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-iit-phi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAuC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAMhC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAI9B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAmC,CAAC;AAIjF;;GAEG;AACH,UAAU,0BAA0B;IAClC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,gIAAgI;IAChI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CA2BtF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}
+{"version":3,"file":"be-25-iit-phi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAuC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAMhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAI9B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAmC,CAAC;AAIjF;;GAEG;AACH,UAAU,0BAA0B;IAClC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,gIAAgI;IAChI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CA2BtF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-25-iit-phi.js

@@ -34,13 +34,11 @@
  * convention; the validator only enforces that all components are
  * dimensionally consistent.
  *
- * **Dimensionless-stub pattern for log₂.** The AST has no `log`
- * primitive. Following the same idiom as BE-26 (exp(-WKB)), BE-41
- * (exp(...)), BE-45 (log()), BE-46 (exp()), and BE-50 (no log/exp;
- * algebraic), we encode `log₂[p(s̃|s)/p(s̃)]` as a fresh DIMENSIONLESS
- * symbol stub `log2_ratio_ii` and expose the inner ratio
- * `p(s̃|s)/p(s̃)` separately as `BE25_LOG_RATIO_ARG` so a lemma test
- * can verify the argument is dimensionless directly.
+ * **Faithful `transcendental` log₂ (v0.19).** `log₂[p(s̃|s)/p(s̃)]` is encoded
+ * as a `transcendental` `log2` node over the inner ratio, which is exposed
+ * separately as `BE25_LOG_RATIO_ARG` so a lemma test can verify the argument is
+ * dimensionless directly. (dimensionless → dimensionless, so the round-trip
+ * dimensional_signature is unchanged.)
  *
  * **AST structure (multiplicative, not additive — note the difference
  * from BE-45).** BE-45's RHS `log(M_P/H_inf) − γ·log(r/0.01)` is a
@@ -166,12 +164,10 @@ export const BE25_LOG_RATIO_ARG = {
     ],
 };
 /**
- * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a fresh
- * DIMENSIONLESS symbol stub `log2_ratio_ii` (the AST has no `log`
- * primitive; following the BE-26 / BE-41 / BE-45 / BE-46 dimensionless-
- * stub idiom). The actual log argument is exposed separately via
- * `BE25_LOG_RATIO_ARG` so the lemma test can verify it is
- * dimensionless.
+ * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a faithful
+ * `transcendental` `log2` node (v0.19) over the inner ratio. The log argument
+ * is exposed separately via `BE25_LOG_RATIO_ARG` so the lemma test can verify
+ * it is dimensionless.
  */
 export const BE25_LOG2_FACTOR = {
     kind: 'transcendental',
@@ -184,10 +180,10 @@ export const BE25_LOG2_FACTOR = {
  *
  *   p_cond · log2_ratio_ii
  *
- * `log2_ratio_ii` is a DIMENSIONLESS symbol stub for `log₂(...)`; the
+ * `BE25_LOG2_FACTOR` is a faithful `transcendental` `log2` node; its
  * argument `p_cond / p_marg` is exposed via `BE25_LOG_RATIO_ARG` and
- * verified dimensionless directly. The product of two dimensionless
- * symbols is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
+ * verified dimensionless directly. The product of a dimensionless probability
+ * and a dimensionless log is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
  */
 export const BE25_INTRINSIC_INFORMATION_RHS = {
     kind: 'op', op: '*',

package/dist/bridges/equations/be-25-iit-phi.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-iit-phi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,gBAAgB;IACtB,EAAE,EAAE,MAAM;IACV,GAAG,EAAE,kBAAkB;CACxB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,gBAAgB;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAcjF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,yBAAyB;IACzB,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;QAC/E,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;KAChF,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,qEAAqE;IACrE,mEAAmE;IACnE,6BAA6B;IAC7B,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,gEAAgE;IAChE,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,0DAA0D,MAAM,OAAO;YACrE,6DAA6D;YAC7D,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,8BAA8B,EAC9B,8BAA8B,EAC9B,MAAM,CACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-25-iit-phi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgIG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,gBAAgB;IACtB,EAAE,EAAE,MAAM;IACV,GAAG,EAAE,kBAAkB;CACxB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,gBAAgB;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAcjF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,yBAAyB;IACzB,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;QAC/E,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;KAChF,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,qEAAqE;IACrE,mEAAmE;IACnE,6BAA6B;IAC7B,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,gEAAgE;IAChE,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,0DAA0D,MAAM,OAAO;YACrE,6DAA6D;YAC7D,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,8BAA8B,EAC9B,8BAA8B,EAC9B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-26-dna-tunneling.d.ts

@@ -10,12 +10,12 @@
  * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
  *
  * Honest-claude scope notes:
- *   - The AST has no `exp` primitive; we encode the relation as
- *     `ν₀ · ε · f` where ε is a dimensionless symbol stub for
- *     `exp(-WKB_arg)`, and we expose the WKB argument
- *     `(2/ℏ)∫√(2m(V−E))dx` as a separate ExprNode `DNA_TUNNELING_WKB_ARG`
- *     so the dimensionless-ness of the exp argument can be verified
- *     directly. (Same pattern as BE-41 / BE-34.)
+ *   - The Gamow exponential is encoded faithfully (v0.21) as
+ *     `transcendental(exp, −WKB_arg)`, with the WKB argument
+ *     `(2/ℏ)∫√(2m(V−E))dx` exposed as a separate ExprNode
+ *     `DNA_TUNNELING_WKB_ARG`, so the barrier parameters (m, V−E, x₁, x₂) are
+ *     visible to differentiation and the dimensionless-ness of the exp
+ *     argument can be verified directly. (Same pattern as BE-41 / BE-34.)
  *   - The integrand √(2m(V−E)) is encoded with `^` of 0.5 (the
  *     validator accepts non-integer numeric exponents). Result is
  *     [M^{1/2}(M L² T^-2)^{1/2}] = [M L T^-1] (momentum), as expected.

package/dist/bridges/equations/be-26-dna-tunneling.js

@@ -10,12 +10,12 @@
  * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
  *
  * Honest-claude scope notes:
- *   - The AST has no `exp` primitive; we encode the relation as
- *     `ν₀ · ε · f` where ε is a dimensionless symbol stub for
- *     `exp(-WKB_arg)`, and we expose the WKB argument
- *     `(2/ℏ)∫√(2m(V−E))dx` as a separate ExprNode `DNA_TUNNELING_WKB_ARG`
- *     so the dimensionless-ness of the exp argument can be verified
- *     directly. (Same pattern as BE-41 / BE-34.)
+ *   - The Gamow exponential is encoded faithfully (v0.21) as
+ *     `transcendental(exp, −WKB_arg)`, with the WKB argument
+ *     `(2/ℏ)∫√(2m(V−E))dx` exposed as a separate ExprNode
+ *     `DNA_TUNNELING_WKB_ARG`, so the barrier parameters (m, V−E, x₁, x₂) are
+ *     visible to differentiation and the dimensionless-ness of the exp
+ *     argument can be verified directly. (Same pattern as BE-41 / BE-34.)
  *   - The integrand √(2m(V−E)) is encoded with `^` of 0.5 (the
  *     validator accepts non-integer numeric exponents). Result is
  *     [M^{1/2}(M L² T^-2)^{1/2}] = [M L T^-1] (momentum), as expected.

package/dist/bridges/equations/be-40-composite-higgs.d.ts

@@ -19,10 +19,11 @@
  * Status: established (after Wave J Tier C5 f² → f⁴ dimensional fix).
  *
  * Honest-claude scope notes:
- *   - The AST has no transcendental primitives. The four trig terms
- *     `sin²(h/f)`, `cos²(h/f)`, `sin⁴(h/f)`, `sin²(h/f)·cos²(h/f)` are
- *     each encoded as dimensionless symbol stubs. The argument h/f is
- *     exposed as `BE40_HIGGS_DIMLESS_ARG` for the lemma test.
+ *   - The four trig terms `sin²(h/f)`, `cos²(h/f)`, `sin⁴(h/f)`,
+ *     `sin²(h/f)·cos²(h/f)` are built (v0.19) from faithful `transcendental`
+ *     sin/cos nodes over the exposed dimensionless argument h/f, so h and f are
+ *     visible to differentiation. The argument h/f is exposed as
+ *     `BE40_HIGGS_DIMLESS_ARG` for the lemma test.
  *   - Working in natural units (f, h dimensionless TeV-scale) is the
  *     particle-physics convention; the numerical evaluator takes f, h
  *     as bare numbers and returns V in those same natural units.
@@ -45,9 +46,10 @@ export declare const BE40_HIGGS_DIMLESS_ARG: ExprNode;
  *
  *   V = -α·f⁴·sin²(h/f) + β·f⁴·(sin⁴(h/f) - sin²(h/f)·cos²(h/f))
  *
- * Encoded with dimensionless stubs for the four trig combinations
- * (`sin²`, `cos²`, `sin⁴`, `sin²cos²`). The LHS argument h/f is
- * exposed separately as `BE40_HIGGS_DIMLESS_ARG`.
+ * The four trig combinations (`sin²`, `cos²`, `sin⁴`, `sin²cos²`) are built
+ * from the faithful `transcendental` sin/cos of h/f above (`BE40_SIN`/
+ * `BE40_COS`, v0.19). The LHS argument h/f is exposed separately as
+ * `BE40_HIGGS_DIMLESS_ARG`.
  */
 export declare const BE40_COMPOSITE_HIGGS_RHS: ExprNode;
 /** LHS: V(h) has dim [energy⁴]. */

package/dist/bridges/equations/be-40-composite-higgs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-40-composite-higgs.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAmBF;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,EAAE,QA8BtC,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAA4B,CAAC;AAIpE;;GAEG;AACH,UAAU,oBAAoB;IAC5B,+DAA+D;IAC/D,CAAC,EAAE,MAAM,CAAC;IACV,2FAA2F;IAC3F,CAAC,EAAE,MAAM,CAAC;IACV,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAoB1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
+{"version":3,"file":"be-40-composite-higgs.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAmBF;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,QA8BtC,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAA4B,CAAC;AAIpE;;GAEG;AACH,UAAU,oBAAoB;IAC5B,+DAA+D;IAC/D,CAAC,EAAE,MAAM,CAAC;IACV,2FAA2F;IAC3F,CAAC,EAAE,MAAM,CAAC;IACV,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAoB1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-40-composite-higgs.js

@@ -19,10 +19,11 @@
  * Status: established (after Wave J Tier C5 f² → f⁴ dimensional fix).
  *
  * Honest-claude scope notes:
- *   - The AST has no transcendental primitives. The four trig terms
- *     `sin²(h/f)`, `cos²(h/f)`, `sin⁴(h/f)`, `sin²(h/f)·cos²(h/f)` are
- *     each encoded as dimensionless symbol stubs. The argument h/f is
- *     exposed as `BE40_HIGGS_DIMLESS_ARG` for the lemma test.
+ *   - The four trig terms `sin²(h/f)`, `cos²(h/f)`, `sin⁴(h/f)`,
+ *     `sin²(h/f)·cos²(h/f)` are built (v0.19) from faithful `transcendental`
+ *     sin/cos nodes over the exposed dimensionless argument h/f, so h and f are
+ *     visible to differentiation. The argument h/f is exposed as
+ *     `BE40_HIGGS_DIMLESS_ARG` for the lemma test.
  *   - Working in natural units (f, h dimensionless TeV-scale) is the
  *     particle-physics convention; the numerical evaluator takes f, h
  *     as bare numbers and returns V in those same natural units.
@@ -70,9 +71,10 @@ const BE40_SIN2_COS2 = { kind: 'op', op: '*', args: [BE40_SIN2, BE40_COS2] };
  *
  *   V = -α·f⁴·sin²(h/f) + β·f⁴·(sin⁴(h/f) - sin²(h/f)·cos²(h/f))
  *
- * Encoded with dimensionless stubs for the four trig combinations
- * (`sin²`, `cos²`, `sin⁴`, `sin²cos²`). The LHS argument h/f is
- * exposed separately as `BE40_HIGGS_DIMLESS_ARG`.
+ * The four trig combinations (`sin²`, `cos²`, `sin⁴`, `sin²cos²`) are built
+ * from the faithful `transcendental` sin/cos of h/f above (`BE40_SIN`/
+ * `BE40_COS`, v0.19). The LHS argument h/f is exposed separately as
+ * `BE40_HIGGS_DIMLESS_ARG`.
  */
 export const BE40_COMPOSITE_HIGGS_RHS = {
     kind: 'op', op: '+',

package/dist/bridges/equations/be-40-composite-higgs.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-40-composite-higgs.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kCAAkC;AAClC,MAAM,OAAO,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,EAAE,GAAa;IACnB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAClD,CAAC;AAEF,gFAAgF;AAChF,8EAA8E;AAC9E,8EAA8E;AAC9E,8CAA8C;AAC9C,MAAM,QAAQ,GAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC;AAC9F,MAAM,QAAQ,GAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC;AAC9F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,cAAc,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;AAEvF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,yEAAyE;YACzE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,EAAE;gBACF,SAAS;aACV;SACF;QACD;YACE,6CAA6C;YAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;gBAC1B,EAAE;gBACF;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,SAAS;wBACT,cAAc;qBACf;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAkBpE;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,MAAM,EAAE;KACjB,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACpC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}
+{"version":3,"file":"be-40-composite-higgs.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kCAAkC;AAClC,MAAM,OAAO,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,EAAE,GAAa;IACnB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAClD,CAAC;AAEF,gFAAgF;AAChF,8EAA8E;AAC9E,8EAA8E;AAC9E,8CAA8C;AAC9C,MAAM,QAAQ,GAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC;AAC9F,MAAM,QAAQ,GAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC;AAC9F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,cAAc,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;AAEvF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,yEAAyE;YACzE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,EAAE;gBACF,SAAS;aACV;SACF;QACD;YACE,6CAA6C;YAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;gBAC1B,EAAE;gBACF;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,SAAS;wBACT,cAAc;qBACf;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAkBpE;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,MAAM,EAAE;KACjB,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACpC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}