universal-physics-tensor 0.21.0 → 0.23.0

package/README.md

@@ -236,26 +236,27 @@ delivered a measured **5-6× RK4 geodesic-integrator speedup** (see [CHANGELOG](
 
 ## Development Status
 
-**Current version:** v0.7.3 on npm
-([`universal-physics-tensor`](https://www.npmjs.com/package/universal-physics-tensor));
-the branch carries unreleased **v0.8.0 → v0.14** milestones (composition graph +
-GW170817 / BE-23 data confrontations + catalog adjudication, Part-IX Phase C/D,
-the full catalog→graph migration, the bridge-inference + symbolic-composition
-tooling, the G-9 geometrized-units adapters, and the v0.14 work — distributional/
-variational grammar primitives, the `BridgeEquations` facade, G-9 increment 2's
-public adapters, and the `LabeledTensor` axis-order fix + `mergeAxes`/`splitAxis`)
-awaiting a single **rollup tag** — see the [CHANGELOG](CHANGELOG.md) `[Unreleased]`
-block.
+**Current version:** v0.22.0 on npm
+([`universal-physics-tensor`](https://www.npmjs.com/package/universal-physics-tensor),
+published 2026-06-18) — the rollup of the **v0.8.0 → v0.22.0** arc (composition
+graph + GW170817 / BE-23 data confrontations + catalog adjudication, Part-IX
+Phase C/D, the full catalog→graph migration, the bridge-inference +
+symbolic-composition tooling, the G-9 geometrized-units adapters, the
+distributional/variational grammar primitives, the AST bridge-gradient path, and
+the **canonical-equation L-layer** with bridge↔canonical linkage). The working
+branch carries unreleased post-0.22.0 refinements (the canonical GR tranche + a
+Jarzynski partner, discovery-funnel hardening, and normal-form stub-identity
+tagging) in the [CHANGELOG](CHANGELOG.md) `[Unreleased]` block.
 
 | Metric | Value |
 |---|---|
 | Bridge catalog | **44** (IDs 11-54) — 8 established · 33 speculative · 3 highly-speculative · 0 invalid; membership-adjudicated **36 bridges · 5 not-a-bridge · 3 contested**; **41-edge composition graph** (full migration, 131 centralized quantity nodes) with a bridge-inference suite — **identifiability classifier**, **retrodiction harness**, **Buckingham-π enumerator**, unified by an **`explainQuantity`** entry point, plus (v0.12) the candidate-vetting **discovery loop**, regime-prediction map, empirical-coverage audit, and **symbolic composition** (the Observable contract + MathTS simplification) |
-| Test suite | **2620** passing (5 skipped, 1 todo; incl. property-based algebra tests) — gated by CI |
+| Test suite | **2796** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 274 files — gated by CI |
 | `tsc --noEmit` | clean (src + strict `tsc -p tsconfig.tests.json`) |
 | GR validation anchors | BE-52 Mercury perihelion relErr 1.8×10⁻⁷ · BE-37 Shapiro delay relErr ~2×10⁻⁸ |
 | First derived relation | E_min(M) = ℏc³ln2/(8πGM) from BE-42 ∘ BE-16, relErr ≤ 10⁻¹² (pre-registered CT-1) |
 | First data confrontation | GW170817 → BE-36: recomputed bounds +6.5×10⁻¹⁶ / −3.1×10⁻¹⁵ vs published +7×10⁻¹⁶ / −3×10⁻¹⁵ |
-| Core capability | Dimensional AST validator (23 node kinds; valence-homogeneity + symbolic-exponent grammar, v0.13; distributional/variational primitives, v0.14) · curvature + Einstein-field-equation layers · GL4 symplectic geodesic integrator · composition graph (`composeEdges` + symbolic `composeSymbolic`) · geometrized-units adapters (G-9 increment 1, v0.13) |
+| Core capability | Dimensional AST validator (23 node kinds; valence-homogeneity + symbolic-exponent grammar, v0.13; distributional/variational primitives, v0.14) · curvature + Einstein-field-equation layers · GL4 symplectic geodesic integrator · composition graph (`composeEdges` + symbolic `composeSymbolic`) · geometrized-units adapters (G-9 increment 1, v0.13) · canonical-equation **L-layer** + bridge↔canonical linkage / F4 guard (v0.22) |
 
 Release history lives in the **[CHANGELOG](CHANGELOG.md)** — from the v0.1.0
 catalog-closure milestone (40/40 AST encodings via the Wave A→Z encoding arc,

package/bin/upt.mjs

@@ -11,13 +11,16 @@
  * Run from a built checkout (`npm run build`) via `npm run upt -- <cmd>`,
  * or as an installed command (`npx universal-physics-tensor <cmd>`).
  */
-import { fileURLToPath } from 'node:url';
+import { fileURLToPath, pathToFileURL } from 'node:url';
 import { dirname, join } from 'node:path';
 
 const here = dirname(fileURLToPath(import.meta.url));
-const dist = (...p) => join(here, '..', 'dist', ...p);
+// Return a file:// URL, not a bare path: Node's ESM dynamic import() rejects
+// absolute Windows paths ("protocol 'c:'") — it only accepts file/data/node URLs.
+const dist = (...p) => pathToFileURL(join(here, '..', 'dist', ...p)).href;
 
 let api, analysis, formulaReg, dimSpecMod, prediction, discovery, coverage, simplifyMod;
+let canonicalReg, linkageMod;
 try {
   api = await import(dist('index.js'));
   analysis = await import(dist('composition', 'bridge-analysis.js'));
@@ -27,6 +30,8 @@ try {
   discovery = await import(dist('composition', 'discovery.js'));
   coverage = await import(dist('bridges', 'confrontation-coverage.js'));
   simplifyMod = await import(dist('composition', 'expr-simplify.js'));
+  canonicalReg = await import(dist('canonical', 'registry.js'));
+  linkageMod = await import(dist('canonical', 'linkage.js'));
 } catch (err) {
   console.error('Could not load the built package. Run `npm run build` first.');
   console.error(String(err.message || err));
@@ -42,6 +47,8 @@ const { predictMissingBridges } = prediction;
 const { rankDiscoveries } = discovery;
 const { auditCoverage } = coverage;
 const { simplifyObservable } = simplifyMod;
+const { CANONICAL_EQUATIONS, bridgesWithoutCanonicalPartner } = canonicalReg;
+const { scanLinkages } = linkageMod;
 
 const GRAPH = CATALOG_GRAPH;
 
@@ -97,6 +104,17 @@ Usage:
         data-confronted vs graph-computable vs encoded-only vs thin — to
         target the physicist review. Fabricates nothing.
 
+  upt canonical
+        List the canonical-equation registry — the standard-physics L-layer
+        (textbook "answer key") with each entry's fidelity (L0/L1/L2),
+        domain, and bridge partners, plus the coverage gap.
+
+  upt recover
+        Validate bridges against standard physics: classify each bridge↔
+        canonical link as restates-canonical (F4 circularity — NOT a
+        discovery), recovers (undeclared structural match), or
+        dimensional-only.
+
   upt symbolic [--simplify]
         Compose bridges' SYMBOLIC (AST) forms, not just their numeric
         evaluators (the Observable contract). Shows the CT-1 / CT-1b chains
@@ -373,11 +391,13 @@ function discoverCmd() {
   const ranked = rankDiscoveries(GRAPH);
   const by = (v) => ranked.filter((r) => r.verdict === v);
   const promising = by('promising'), inert = by('inert'), contra = by('contradictory');
+  const clash = by('magnitude-clash');
   console.log('\nDiscovery — link candidates VETTED through the inference suite');
   console.log('⚠ a REVIEW SURFACE: `promising` means "worth a physicist\'s minute", not "true".');
   console.log('  Each candidate hypothesises an identification a≡b and tests its consequences.\n');
   console.log(`  funnel:  ${ranked.length} candidates  →  ${promising.length} promising  ` +
-    `·  ${inert.length} inert  ·  ${contra.length} contradictory (falsified)\n`);
+    `·  ${inert.length} inert  ·  ${clash.length} magnitude-clash  ` +
+    `·  ${contra.length} contradictory (falsified)\n`);
   if (promising.length) {
     console.log('  PROMISING (merges disconnected physics, unlocks quantities, stays consistent):');
     for (const r of promising) {
@@ -387,13 +407,27 @@ function discoverCmd() {
   } else {
     console.log('  no candidate is `promising` from the default {mass} anchor.');
   }
+  if (clash.length) {
+    console.log(`\n  MAGNITUDE-CLASH (representative values differ by > N orders — a falsifier):`);
+    for (const r of clash) {
+      const basis = r.magnitudeUsedAnchor ? '  (anchor-derived)' : '';
+      console.log(`    ${(r.a + ' ≟ ' + r.b).padEnd(52)} ~${r.ordersApart.toFixed(1)} orders apart${basis}`);
+    }
+  }
+  const subsumed = inert.filter((r) => r.subsuming);
+  if (subsumed.length) {
+    console.log(`\n  SUBSUMING (generic ≟ specialization — tautological, barred from promising):`);
+    for (const r of subsumed) {
+      console.log(`    ${(r.a + ' ≟ ' + r.b).padEnd(52)} [${r.dim}]`);
+    }
+  }
   if (contra.length) {
     console.log(`\n  CONTRADICTORY (the identification falsifies itself numerically):`);
     for (const r of contra) {
       console.log(`    ${(r.a + ' ≟ ' + r.b).padEnd(52)} disagreeing node(s): ${r.inconsistentNodes.join(', ')}`);
     }
   }
-  console.log('\n  (numeric check only exercises the anchor-reachable subgraph; weak priors on dimension.)');
+  console.log('\n  (magnitude gate abstains where a representative value is unknown; weak priors on dimension.)');
 }
 
 // ── coverage (empirical-spine audit) ──────────────────────────────────────
@@ -481,6 +515,49 @@ function connectorsCmd() {
   console.log('  docs/research/Orphan-Connector-Analysis.md and proposed in spec Part-IX §9.');
 }
 
+// ── canonical (the standard-physics L-layer registry) ─────────────────────
+function canonicalCmd() {
+  const fidelity = (e) => (e.fieldEquation ? 'L2' : e.scalarAst ? 'L1' : 'L0');
+  console.log('\nCanonical-equation registry — the standard-physics L-layer (Π = L + B + E)');
+  console.log('the textbook "answer key" bridge equations are validated against.\n');
+  console.log(`  ${CANONICAL_EQUATIONS.length} entries:\n`);
+  console.log('   fid  domain               id                       partners');
+  console.log('   ─────────────────────────────────────────────────────────────────');
+  for (const e of CANONICAL_EQUATIONS) {
+    const partners = [...e.partnerBridges, ...(e.restatesBridge ? [`=${e.restatesBridge}`] : [])].join(',') || '—';
+    console.log(`   ${fidelity(e).padEnd(3)}  ${e.domain.padEnd(19)} ${e.id.padEnd(24)} ${partners}`);
+  }
+  const gap = bridgesWithoutCanonicalPartner();
+  console.log(`\n  coverage: ${gap.length} catalog bridges have no canonical partner yet`);
+  console.log(`  (fidelity: L0 dimensional · L1 scalar-AST · L2 field-equation; "=NN" = restatesBridge)`);
+}
+
+// ── recover (bridge↔canonical linkage; the F4 circularity guard) ──────────
+function recoverCmd() {
+  const all = scanLinkages();
+  const by = (c) => all.filter((r) => r.classification === c);
+  const restates = by('restates-canonical'), recovers = by('recovers'), dimOnly = by('dimensional-only');
+  console.log('\nBridge↔canonical recovery — validating bridges against standard physics');
+  console.log('⚠ structural match is "same relation UP TO a dimensionless factor"; that factor');
+  console.log('  may itself be physically substantive (e.g. ⟨e^-βW⟩). A review surface.\n');
+  console.log(`  ${all.length} non-unrelated links  →  ${restates.length} restates-canonical  ` +
+    `·  ${recovers.length} recovers  ·  ${dimOnly.length} dimensional-only\n`);
+  if (restates.length) {
+    console.log('  RESTATES-CANONICAL (the bridge IS the canonical law — F4: NOT a discovery):');
+    for (const r of restates) {
+      const rec = r.recovery && r.recovery.tested ? ` (recovery exact, err ${r.recovery.maxRelErr.toExponential(0)})` : '';
+      console.log(`    ${r.canonicalId.padEnd(26)} ≡ bridge ${r.bridgeId}${rec}`);
+    }
+  }
+  if (recovers.length) {
+    console.log('\n  RECOVERS (undeclared structural correspondence — worth a physicist\'s look):');
+    for (const r of recovers) {
+      console.log(`    ${r.canonicalId.padEnd(26)} ~ bridge ${r.bridgeId}  (same form up to a dimensionless factor)`);
+    }
+  }
+  console.log(`\n  (${dimOnly.length} dimensional-only: same dimension, different form. Run \`upt canonical\` for the registry.)`);
+}
+
 // ── dispatch ──────────────────────────────────────────────────────────────
 const [cmd, ...rest] = process.argv.slice(2);
 switch (cmd) {
@@ -493,6 +570,8 @@ switch (cmd) {
   case 'discover': case 'discovery': discoverCmd(); break;
   case 'connectors': case 'orphans': connectorsCmd(); break;
   case 'coverage': case 'grounding': coverageCmd(); break;
+  case 'canonical': case 'laws': canonicalCmd(); break;
+  case 'recover': case 'recovery': case 'validate': recoverCmd(); break;
   case 'symbolic': case 'compose-symbolic': await symbolicCmd(rest); break;
   case 'eval': case 'calc': await evalCmd(rest); break;
   case 'derive': case 'dim': await derive(rest); break;

package/dist/canonical/canonical-equation.d.ts

@@ -0,0 +1,79 @@
+/**
+ * Canonical (textbook) physics equations — the ground-truth L-layer of the
+ * universal tensor (Π = L + B + E). A `CanonicalEquation` is the *answer key*
+ * that bridge equations (the B-layer) are validated against; it is NOT a
+ * speculative claim.
+ *
+ * Entries carry whichever FIDELITY LEVELS they can:
+ *   - L0 (mandatory) — `dimensional`: target dim + governing vars (+ monomial
+ *     when dimensionally determined). Reproduced by the Buckingham-π engine.
+ *   - L1 (optional)  — `scalarAst`: an `ExprNode` RHS, validated dimensionally.
+ *   - L2 (optional)  — `fieldEquation`: a tensor/PDE predicate node.
+ *
+ * Epistemic honesty (review finding F1): an L0-only entry must never read as
+ * more than "dimensionally consistent". `epistemicStatus` is the highest claim
+ * the entry supports; `freeDimensionlessGroups > 0` means dimensions cannot pin
+ * the form. Consumers must not use an entry above its `epistemicStatus`.
+ *
+ * See `docs/planning/Canonical-Equation-Registry-A-Design.md`.
+ *
+ * @module canonical/canonical-equation
+ */
+import type { ExprNode } from '../dimensional/validator.js';
+import type { DimensionalVariable } from '../dimensional/buckingham.js';
+import type { TensorIndices } from '../core/types.js';
+import type { EinsteinFieldEquationNode } from '../dimensional/einstein-equation.js';
+/** Physics domain — indexes the registry and (later) the discovery kind filter. */
+export type CanonicalDomain = 'mechanics' | 'gravitation' | 'general-relativity' | 'cosmology' | 'electromagnetism' | 'quantum' | 'thermodynamics' | 'statistical' | 'information';
+/**
+ * The strongest claim an entry supports:
+ *   - `dimensional`          — only the dimensional signature (L0).
+ *   - `scalar-up-to-constant`— the algebraic form, leading constant aside (L1).
+ *   - `fully-quantitative`   — the complete relation incl. the constant.
+ */
+export type EpistemicStatus = 'dimensional' | 'scalar-up-to-constant' | 'fully-quantitative';
+/** A field-equation predicate node (L2). Concrete node kinds live in the
+ *  dimensional layer; widen this union as Maxwell/Klein–Gordon nodes land. */
+export type FieldEquationNode = EinsteinFieldEquationNode;
+/** Disambiguators for forms that share a dimensional signature (finding F3). */
+export interface CanonicalForms {
+    /** Bekenstein–Hawking depends on horizon AREA, not radius. */
+    readonly areaOrRadius?: 'area' | 'radius';
+    /** Landauer uses the NATURAL log. */
+    readonly logBase?: 'e' | '2' | '10';
+    /** Stefan–Boltzmann `j=σT⁴` is a FLUX; luminosity `L=σAT⁴` changes σ. */
+    readonly quantityKind?: 'flux' | 'power' | 'energy';
+}
+/** A canonical (textbook) physics equation. */
+export interface CanonicalEquation {
+    /** Stable id, e.g. 'CE-newton-gravitation'. */
+    readonly id: string;
+    readonly name: string;
+    readonly domain: CanonicalDomain;
+    /** LaTeX rendering (display only). */
+    readonly formula_latex: string;
+    readonly epistemicStatus: EpistemicStatus;
+    /** 0 ⇒ the L0 monomial is fully determined; ≥1 ⇒ dimensions can't pin it. */
+    readonly freeDimensionlessGroups: number;
+    readonly dimensional: {
+        readonly target: DimensionalVariable;
+        readonly governing: readonly DimensionalVariable[];
+        /** Textbook monomial exponents, or null when there are free groups. */
+        readonly monomial: Readonly<Record<string, number>> | null;
+    };
+    readonly scalarAst?: ExprNode;
+    readonly fieldEquation?: FieldEquationNode;
+    readonly forms?: CanonicalForms;
+    /** L-layer cell coordinates. */
+    readonly regime: TensorIndices;
+    /** Implicit regime assumptions (e.g. 'blackbody equilibrium'). */
+    readonly assumptions: readonly string[];
+    readonly references: readonly string[];
+    /** Bridges this law is the intended correspondence partner for (advisory;
+     *  the check itself is Sub-project B). */
+    readonly partnerBridges: readonly string[];
+    /** Set when this law is LITERALLY a bridge's own relation (BH≡BE-21, …);
+     *  Sub-project B uses it to discount the trivial X≡X match (finding F4). */
+    readonly restatesBridge?: string;
+}
+//# sourceMappingURL=canonical-equation.d.ts.map

package/dist/canonical/canonical-equation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-equation.d.ts","sourceRoot":"","sources":["../../src/canonical/canonical-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAErF,mFAAmF;AACnF,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,aAAa,GACb,oBAAoB,GACpB,WAAW,GACX,kBAAkB,GAClB,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,aAAa,CAAC;AAElB;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GACvB,aAAa,GACb,uBAAuB,GACvB,oBAAoB,CAAC;AAEzB;8EAC8E;AAC9E,MAAM,MAAM,iBAAiB,GAAG,yBAAyB,CAAC;AAE1D,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC1C,qCAAqC;IACrC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC;IACpC,yEAAyE;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;CACrD;AAED,+CAA+C;AAC/C,MAAM,WAAW,iBAAiB;IAChC,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,sCAAsC;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAG/B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,6EAA6E;IAC7E,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IAGzC,QAAQ,CAAC,WAAW,EAAE;QACpB,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;QACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,mBAAmB,EAAE,CAAC;QACnD,uEAAuE;QACvE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC;KAC5D,CAAC;IAEF,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAG3C,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;IAGhC,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;8CAC0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C;gFAC4E;IAC5E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC"}

package/dist/canonical/canonical-equation.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=canonical-equation.js.map

package/dist/canonical/canonical-equation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-equation.js","sourceRoot":"","sources":["../../src/canonical/canonical-equation.ts"],"names":[],"mappings":""}

package/dist/canonical/dimensional-fields.d.ts

@@ -0,0 +1,7 @@
+import type { DimensionalVariable } from '../dimensional/buckingham.js';
+/** L0 dimensional fields derived from the engine. */
+export declare function dimensionalFields(target: DimensionalVariable, governing: readonly DimensionalVariable[]): {
+    monomial: Record<string, number> | null;
+    freeDimensionlessGroups: number;
+};
+//# sourceMappingURL=dimensional-fields.d.ts.map

package/dist/canonical/dimensional-fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dimensional-fields.d.ts","sourceRoot":"","sources":["../../src/canonical/dimensional-fields.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAExE,qDAAqD;AACrD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,SAAS,mBAAmB,EAAE,GACxC;IACD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;IACxC,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAaA"}

package/dist/canonical/dimensional-fields.js

@@ -0,0 +1,31 @@
+/**
+ * Compute the L0 dimensional fields of a canonical entry FROM the Buckingham-π
+ * engine, so `monomial` and `freeDimensionlessGroups` are always mutually
+ * consistent and never hand-asserted (HonestClaude).
+ *
+ * The two are consistent by construction: the target monomial is unique iff the
+ * governing set has no free dimensionless group, so
+ *   `monomial !== null  ⟺  freeDimensionlessGroups === 0`.
+ * Equations whose form dimensions CANNOT pin (Newton `F=Gm₁m₂/r²` — a free
+ * mass-ratio group; Bekenstein–Hawking — a free `c³A/Għ` group) get
+ * `monomial: null, freeDimensionlessGroups ≥ 1`; their scalar-AST (L1) carries
+ * the form dimensions can't.
+ *
+ * @module canonical/dimensional-fields
+ */
+import { dimensionallyDetermines, buckinghamPi, } from '../dimensional/buckingham.js';
+/** L0 dimensional fields derived from the engine. */
+export function dimensionalFields(target, governing) {
+    const det = dimensionallyDetermines(target, governing);
+    const gPi = governing.length > 0 ? buckinghamPi([...governing]).piGroupCount : 0;
+    // Keep the invariant `monomial !== null ⟺ freeDimensionlessGroups === 0`
+    // UNCONDITIONALLY true: when the target is not in the governing span,
+    // `determined` is false yet `gPi` may be 0 — force ≥1 so null monomial always
+    // reports a free group.
+    const freeDimensionlessGroups = det.determined ? gPi : Math.max(1, gPi);
+    return {
+        monomial: det.determined ? { ...det.monomial } : null,
+        freeDimensionlessGroups,
+    };
+}
+//# sourceMappingURL=dimensional-fields.js.map

package/dist/canonical/dimensional-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dimensional-fields.js","sourceRoot":"","sources":["../../src/canonical/dimensional-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EACL,uBAAuB,EACvB,YAAY,GACb,MAAM,8BAA8B,CAAC;AAGtC,qDAAqD;AACrD,MAAM,UAAU,iBAAiB,CAC/B,MAA2B,EAC3B,SAAyC;IAKzC,MAAM,GAAG,GAAG,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,GAAG,GACP,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,8EAA8E;IAC9E,wBAAwB;IACxB,MAAM,uBAAuB,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO;QACL,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,QAAS,EAAE,CAAC,CAAC,CAAC,IAAI;QACtD,uBAAuB;KACxB,CAAC;AACJ,CAAC"}

package/dist/canonical/entries/_l1-build.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Shared builders for L1 (scalar-AST) canonical entries. Keeps the entry files
+ * declarative: `op`/`pow` assemble the `ExprNode`, and `l1` derives the L0
+ * fields from the Buckingham engine so `monomial` and `freeDimensionlessGroups`
+ * are always consistent.
+ *
+ * @module canonical/entries/_l1-build
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+import type { ExprNode } from '../../dimensional/validator.js';
+import type { Dimension } from '../../dimensional/types.js';
+import type { DimensionalVariable } from '../../dimensional/buckingham.js';
+/** Dimension builder. Arg order is (L, M, T, **I**, **Θ**) — note I precedes Θ. */
+export declare const dim: (L?: number, M?: number, T?: number, I?: number, Theta?: number) => Dimension;
+export declare const op: (o: "+" | "-" | "*" | "/" | "^", args: ExprNode[]) => ExprNode;
+/** `base` raised to the numeric-literal power `n` (a dimensionless exponent). */
+export declare const pow: (base: ExprNode, n: string) => ExprNode;
+/** Everything an L1 entry declares except the engine-derived L0 fields. */
+export type L1Rest = Omit<CanonicalEquation, 'freeDimensionlessGroups' | 'dimensional'>;
+/** Build an L1 entry; L0 fields are derived from the engine for consistency. */
+export declare const l1: (target: DimensionalVariable, governing: readonly DimensionalVariable[], rest: L1Rest) => CanonicalEquation;
+//# sourceMappingURL=_l1-build.d.ts.map

package/dist/canonical/entries/_l1-build.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_l1-build.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/_l1-build.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAK3E,mFAAmF;AACnF,eAAO,MAAM,GAAG,GAAI,UAAK,EAAE,UAAK,EAAE,UAAK,EAAE,UAAK,EAAE,cAAS,KAAG,SAQ1D,CAAC;AAEH,eAAO,MAAM,EAAE,GACb,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,EAC9B,MAAM,QAAQ,EAAE,KACf,QAAyC,CAAC;AAE7C,iFAAiF;AACjF,eAAO,MAAM,GAAG,GAAI,MAAM,QAAQ,EAAE,GAAG,MAAM,KAAG,QACR,CAAC;AAEzC,2EAA2E;AAC3E,MAAM,MAAM,MAAM,GAAG,IAAI,CACvB,iBAAiB,EACjB,yBAAyB,GAAG,aAAa,CAC1C,CAAC;AAEF,gFAAgF;AAChF,eAAO,MAAM,EAAE,GACb,QAAQ,mBAAmB,EAC3B,WAAW,SAAS,mBAAmB,EAAE,EACzC,MAAM,MAAM,KACX,iBAUF,CAAC"}

package/dist/canonical/entries/_l1-build.js

@@ -0,0 +1,26 @@
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { dimensionalFields } from '../dimensional-fields.js';
+/** Dimension builder. Arg order is (L, M, T, **I**, **Θ**) — note I precedes Θ. */
+export const dim = (L = 0, M = 0, T = 0, I = 0, Theta = 0) => ({
+    L,
+    M,
+    T,
+    I,
+    Theta,
+    N: 0,
+    J: 0,
+});
+export const op = (o, args) => ({ kind: 'op', op: o, args });
+/** `base` raised to the numeric-literal power `n` (a dimensionless exponent). */
+export const pow = (base, n) => op('^', [base, sym(n, DIMENSIONLESS)]);
+/** Build an L1 entry; L0 fields are derived from the engine for consistency. */
+export const l1 = (target, governing, rest) => {
+    const { monomial, freeDimensionlessGroups } = dimensionalFields(target, governing);
+    return {
+        ...rest,
+        freeDimensionlessGroups,
+        dimensional: { target, governing, monomial },
+    };
+};
+//# sourceMappingURL=_l1-build.js.map

package/dist/canonical/entries/_l1-build.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_l1-build.js","sourceRoot":"","sources":["../../../src/canonical/entries/_l1-build.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,mFAAmF;AACnF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAa,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,CAAC;IACD,CAAC;IACD,CAAC;IACD,KAAK;IACL,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,CAAC;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,CAA8B,EAC9B,IAAgB,EACN,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAE7C,iFAAiF;AACjF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,CAAS,EAAY,EAAE,CACzD,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;AAQzC,gFAAgF;AAChF,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,MAA2B,EAC3B,SAAyC,EACzC,IAAY,EACO,EAAE;IACrB,MAAM,EAAE,QAAQ,EAAE,uBAAuB,EAAE,GAAG,iBAAiB,CAC7D,MAAM,EACN,SAAS,CACV,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,uBAAuB;QACvB,WAAW,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC"}

package/dist/canonical/entries/dimensional-classics.d.ts

@@ -0,0 +1,11 @@
+/**
+ * L0 (dimensional) canonical entries — the 9 textbook equations recovered by
+ * the Buckingham-π engine (promoted from the dimensional-derivation benchmark).
+ * Dimensions give the monomial exponents only, never the leading constant, so
+ * every entry here is `epistemicStatus: 'dimensional'`.
+ *
+ * @module canonical/entries/dimensional-classics
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const DIMENSIONAL_CLASSICS: readonly CanonicalEquation[];
+//# sourceMappingURL=dimensional-classics.d.ts.map

package/dist/canonical/entries/dimensional-classics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dimensional-classics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/dimensional-classics.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAiDlE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EA6K5D,CAAC"}

package/dist/canonical/entries/dimensional-classics.js

@@ -0,0 +1,194 @@
+import { LENGTH, TIME, MASS, VELOCITY, ACCELERATION, FORCE, ACTION, ENTROPY, TEMPERATURE, } from '../../dimensional/types.js';
+/** Local builder for composite dims not exported as named constants. */
+const dim = (L = 0, M = 0, T = 0, I = 0, Theta = 0) => ({
+    L,
+    M,
+    T,
+    I,
+    Theta,
+    N: 0,
+    J: 0,
+});
+const G = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]
+const LIN_DENSITY = dim(-1, 1, 0); // mass per length [L⁻¹ M]
+/** Shared shape for an L0 classic (no L1/L2, fully dimensionally determined). */
+const l0 = (e) => ({
+    epistemicStatus: 'dimensional',
+    freeDimensionlessGroups: 0,
+    ...e,
+});
+export const DIMENSIONAL_CLASSICS = [
+    l0({
+        id: 'CE-pendulum-period',
+        name: 'Pendulum period',
+        domain: 'mechanics',
+        formula_latex: 'T = 2\\pi\\sqrt{L/g}',
+        dimensional: {
+            target: { name: 'period', dim: TIME },
+            governing: [
+                { name: 'length', dim: LENGTH },
+                { name: 'gravity', dim: ACCELERATION },
+            ],
+            monomial: { length: 0.5, gravity: -0.5 },
+        },
+        regime: { scale: 'classical', force: 'gravitational' },
+        assumptions: ['small-angle', 'point mass', 'rigid massless rod'],
+        references: ['Taylor, Classical Mechanics §1'],
+        partnerBridges: [],
+    }),
+    l0({
+        id: 'CE-kepler-third',
+        name: "Kepler's third law",
+        domain: 'gravitation',
+        formula_latex: 'T^2 = 4\\pi^2 a^3/(GM)',
+        dimensional: {
+            target: { name: 'period', dim: TIME },
+            governing: [
+                { name: 'semi-major-axis', dim: LENGTH },
+                { name: 'G', dim: G },
+                { name: 'mass', dim: MASS },
+            ],
+            monomial: { 'semi-major-axis': 1.5, G: -0.5, mass: -0.5 },
+        },
+        regime: { scale: 'classical', force: 'gravitational' },
+        assumptions: ['two-body', 'M ≫ m'],
+        references: ['Kepler 1619; any celestial-mechanics text'],
+        partnerBridges: [],
+    }),
+    l0({
+        id: 'CE-schwarzschild-radius',
+        name: 'Schwarzschild radius',
+        domain: 'general-relativity',
+        formula_latex: 'r_s = 2GM/c^2',
+        dimensional: {
+            target: { name: 'radius', dim: LENGTH },
+            governing: [
+                { name: 'mass', dim: MASS },
+                { name: 'G', dim: G },
+                { name: 'c', dim: VELOCITY },
+            ],
+            monomial: { mass: 1, G: 1, c: -2 },
+        },
+        regime: { force: 'gravitational' },
+        assumptions: ['static', 'spherically symmetric', 'vacuum'],
+        references: ['Schwarzschild 1916'],
+        partnerBridges: [],
+    }),
+    l0({
+        id: 'CE-string-wave-speed',
+        name: 'Wave speed on a string',
+        domain: 'mechanics',
+        formula_latex: 'v = \\sqrt{F/\\mu}',
+        dimensional: {
+            target: { name: 'speed', dim: VELOCITY },
+            governing: [
+                { name: 'tension', dim: FORCE },
+                { name: 'linear-density', dim: LIN_DENSITY },
+            ],
+            monomial: { tension: 0.5, 'linear-density': -0.5 },
+        },
+        regime: { scale: 'classical' },
+        assumptions: ['ideal flexible string', 'small amplitude'],
+        references: ['Any waves/mechanics text'],
+        partnerBridges: [],
+    }),
+    l0({
+        id: 'CE-planck-length',
+        name: 'Planck length',
+        domain: 'quantum',
+        formula_latex: '\\ell_P = \\sqrt{\\hbar G/c^3}',
+        dimensional: {
+            target: { name: 'planck-length', dim: LENGTH },
+            governing: [
+                { name: 'hbar', dim: ACTION },
+                { name: 'G', dim: G },
+                { name: 'c', dim: VELOCITY },
+            ],
+            monomial: { hbar: 0.5, G: 0.5, c: -1.5 },
+        },
+        regime: { scale: 'quantum', force: 'gravitational' },
+        assumptions: [],
+        references: ['Planck 1899'],
+        partnerBridges: [],
+    }),
+    l0({
+        id: 'CE-planck-mass',
+        name: 'Planck mass',
+        domain: 'quantum',
+        formula_latex: 'm_P = \\sqrt{\\hbar c/G}',
+        dimensional: {
+            target: { name: 'planck-mass', dim: MASS },
+            governing: [
+                { name: 'hbar', dim: ACTION },
+                { name: 'c', dim: VELOCITY },
+                { name: 'G', dim: G },
+            ],
+            monomial: { hbar: 0.5, c: 0.5, G: -0.5 },
+        },
+        regime: { scale: 'quantum', force: 'gravitational' },
+        assumptions: [],
+        references: ['Planck 1899'],
+        partnerBridges: ['41'], // 41 = Swampland Distance Conjecture ([mass])
+    }),
+    l0({
+        id: 'CE-planck-time',
+        name: 'Planck time',
+        domain: 'quantum',
+        formula_latex: 't_P = \\sqrt{\\hbar G/c^5}',
+        dimensional: {
+            target: { name: 'planck-time', dim: TIME },
+            governing: [
+                { name: 'hbar', dim: ACTION },
+                { name: 'G', dim: G },
+                { name: 'c', dim: VELOCITY },
+            ],
+            monomial: { hbar: 0.5, G: 0.5, c: -2.5 },
+        },
+        regime: { scale: 'quantum', force: 'gravitational' },
+        assumptions: [],
+        references: ['Planck 1899'],
+        partnerBridges: [],
+    }),
+    l0({
+        id: 'CE-compton-wavelength',
+        name: 'Compton wavelength',
+        domain: 'quantum',
+        formula_latex: '\\lambda_C = \\hbar/(mc)',
+        dimensional: {
+            target: { name: 'compton-wavelength', dim: LENGTH },
+            governing: [
+                { name: 'hbar', dim: ACTION },
+                { name: 'mass', dim: MASS },
+                { name: 'c', dim: VELOCITY },
+            ],
+            monomial: { hbar: 1, mass: -1, c: -1 },
+        },
+        regime: { scale: 'quantum' },
+        assumptions: [],
+        references: ['Compton 1923'],
+        partnerBridges: [],
+    }),
+    l0({
+        id: 'CE-thermal-de-broglie',
+        name: 'Thermal de Broglie wavelength',
+        domain: 'statistical',
+        formula_latex: '\\lambda \\propto \\hbar/\\sqrt{m k_B T}',
+        dimensional: {
+            target: { name: 'thermal-wavelength', dim: LENGTH },
+            governing: [
+                { name: 'hbar', dim: ACTION },
+                { name: 'mass', dim: MASS },
+                { name: 'boltzmann', dim: ENTROPY },
+                { name: 'temperature', dim: TEMPERATURE },
+            ],
+            monomial: { hbar: 1, mass: -0.5, boltzmann: -0.5, temperature: -0.5 },
+        },
+        regime: { scale: 'quantum' },
+        assumptions: ['non-relativistic', 'ideal gas'],
+        references: ['Any statistical-mechanics text'],
+        // 12 = Caldeira-Leggett dephasing length: same [length] target, a candidate
+        // correspondence — NOT a literal restatement, so no restatesBridge.
+        partnerBridges: ['12'],
+    }),
+];
+//# sourceMappingURL=dimensional-classics.js.map

package/dist/canonical/entries/dimensional-classics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dimensional-classics.js","sourceRoot":"","sources":["../../../src/canonical/entries/dimensional-classics.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,OAAO,EACP,WAAW,GACZ,MAAM,4BAA4B,CAAC;AAEpC,wEAAwE;AACxE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAa,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,CAAC;IACD,CAAC;IACD,CAAC;IACD,KAAK;IACL,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,CAAC;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;AAC3D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0BAA0B;AAE7D,iFAAiF;AACjF,MAAM,EAAE,GAAG,CACT,CAYC,EACkB,EAAE,CAAC,CAAC;IACvB,eAAe,EAAE,aAAa;IAC9B,uBAAuB,EAAE,CAAC;IAC1B,GAAG,CAAC;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE,EAAE,CAAC;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,sBAAsB;QACrC,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE;YACrC,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;gBAC/B,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,YAAY,EAAE;aACvC;YACD,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE;SACzC;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,oBAAoB,CAAC;QAChE,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,wBAAwB;QACvC,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE;YACrC,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;gBACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACrB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;aAC5B;YACD,QAAQ,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE;SAC1D;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;QAClC,UAAU,EAAE,CAAC,2CAA2C,CAAC;QACzD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,eAAe;QAC9B,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;YACvC,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;gBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACrB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;aAC7B;YACD,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SACnC;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,QAAQ,EAAE,uBAAuB,EAAE,QAAQ,CAAC;QAC1D,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,oBAAoB;QACnC,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;YACxC,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE;gBAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,EAAE;aAC7C;YACD,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,GAAG,EAAE;SACnD;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,uBAAuB,EAAE,iBAAiB,CAAC;QACzD,UAAU,EAAE,CAAC,0BAA0B,CAAC;QACxC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,gCAAgC;QAC/C,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;YAC9C,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;gBAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACrB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;aAC7B;YACD,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE;SACzC;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;QACpD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,0BAA0B;QACzC,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE;YAC1C,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;gBAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;gBAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;aACtB;YACD,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE;SACzC;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;QACpD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,8CAA8C;KACvE,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,4BAA4B;QAC3C,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE;YAC1C,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;gBAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACrB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;aAC7B;YACD,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE;SACzC;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;QACpD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,0BAA0B;QACzC,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;YACnD,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;gBAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;gBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;aAC7B;YACD,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SACvC;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,0CAA0C;QACzD,WAAW,EAAE;YACX,MAAM,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;YACnD,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;gBAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;gBAC3B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE;gBACnC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;aAC1C;YACD,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,GAAG,EAAE;SACtE;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,kBAAkB,EAAE,WAAW,CAAC;QAC9C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,4EAA4E;QAC5E,oEAAoE;QACpE,cAAc,EAAE,CAAC,IAAI,CAAC;KACvB,CAAC;CACH,CAAC"}

package/dist/canonical/entries/l1-gravity-thermo.d.ts

@@ -0,0 +1,12 @@
+/**
+ * L1 (scalar-AST) canonical entries — gravitation + thermodynamics. Each
+ * carries a dimensionally-validated `ExprNode` form; L0 fields are derived from
+ * the engine via `dimensionalFields`. Forms with a free dimensionless group
+ * (Newton, Bekenstein–Hawking) have `monomial: null` — the scalar-AST is what
+ * pins them, which is exactly the point of the L1 layer.
+ *
+ * @module canonical/entries/l1-gravity-thermo
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const L1_GRAVITY_THERMO: readonly CanonicalEquation[];
+//# sourceMappingURL=l1-gravity-thermo.d.ts.map