universal-physics-tensor 0.46.0 → 0.47.0

package/dist/cli-api.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,4EAA4E;AAC5E,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACjG,2EAA2E;AAC3E,kEAAkE;AAClE,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAGxC,gFAAgF;AAChF,oDAAoD;AACpD,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAGvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAG/D,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElF,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAEjF,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,4EAA4E;AAC5E,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACjG,2EAA2E;AAC3E,kEAAkE;AAClE,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAGxC,gFAAgF;AAChF,oDAAoD;AACpD,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAGvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAGhE,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElF,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAEjF,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/composition/canonical-compare.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Compare a user's formula with the canonical (textbook) equation it restates.
+ *
+ * Dimensional analysis cannot see a dimensionless prefactor, so `T = π√(ℓ/g)`
+ * and `K = m v²` pass every dimensional check. When the registry holds an
+ * equation with the same target and the same variables, this module evaluates
+ * both sides at {@link FIXED_POINT_EXPONENTS}, fixed points documented here, and
+ * classifies the ratio `yours / canonical`:
+ *
+ * - `agrees`  — constant and equal to 1: the prefactor is checked and right.
+ * - `factor`  — constant but not 1: the forms agree and the prefactor does not.
+ * - `form`    — not constant across the points: a different law.
+ * - `prefactor-unchecked` — the forms agree, but the registry records the law
+ *   only up to a constant or only dimensionally, so it holds no prefactor to
+ *   compare with. That is reported as unchecked, never as agreement.
+ * - `not-compared` — the variables could not be aligned, or an evaluation
+ *   failed; `detail` says which.
+ *
+ * The points are fixed so the output is identical on every run.
+ *
+ * INTERNAL — surfaced by `upt map --equation` and `upt derive --formula`.
+ *
+ * @module composition/canonical-compare
+ */
+import type { Dimension } from '../dimensional/types.js';
+import type { CanonicalEquation } from '../canonical/canonical-equation.js';
+/** How a user formula compares with one canonical equation. @internal */
+export interface CanonicalComparison {
+    readonly id: string;
+    readonly name: string;
+    readonly kind: 'agrees' | 'factor' | 'form' | 'prefactor-unchecked' | 'not-compared';
+    /** `yours / canonical`, present only for `agrees` and `factor`. */
+    readonly ratio?: number;
+    /** Why the prefactor is unchecked, or why no comparison was made. */
+    readonly detail?: string;
+}
+/**
+ * Compare a user formula with every canonical equation that has the same
+ * target and the same non-constant variables (names match after `_` → `-`).
+ * `evaluateUser` receives values keyed by the CANONICAL variable names.
+ * Returns one comparison per matching entry, in registry order; empty when
+ * no entry matches.
+ *
+ * @internal
+ */
+export declare function compareWithCanonical(target: string, sources: readonly string[], evaluateUser: (values: Readonly<Record<string, number>>) => number, entries?: readonly CanonicalEquation[]): CanonicalComparison[];
+/**
+ * Compare a `TARGET = EXPR` user equation (the `upt map --equation` input) with
+ * the canonical registry. Names resolve onto `catalogDims` the way
+ * `analyzeUserEquation` resolves them; `pi` and `tau` are the only named numbers.
+ * Returns `[]` when the equation does not parse or no entry matches.
+ *
+ * @internal
+ */
+export declare function compareUserEquation(equation: string, catalogDims: ReadonlyMap<string, Dimension>): Promise<CanonicalComparison[]>;
+/**
+ * The report lines for a comparison result, shared by `upt map --equation` and
+ * `upt derive`. An empty result is itself a line: a dimensional MATCH never
+ * checks a prefactor, and the reader must not take silence for a check.
+ * @internal
+ */
+export declare function describeComparisons(cs: readonly CanonicalComparison[]): string[];
+/** One report line per comparison. @internal */
+export declare function describeComparison(c: CanonicalComparison): string;
+//# sourceMappingURL=canonical-compare.d.ts.map

package/dist/composition/canonical-compare.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-compare.d.ts","sourceRoot":"","sources":["../../src/composition/canonical-compare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAsB5E,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,qBAAqB,GAAG,cAAc,CAAC;IACrF,mEAAmE;IACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAyED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,YAAY,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,EAClE,OAAO,GAAE,SAAS,iBAAiB,EAAwB,GAC1D,mBAAmB,EAAE,CA8DvB;AAED;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqBhC;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,SAAS,mBAAmB,EAAE,GAAG,MAAM,EAAE,CAIhF;AAED,gDAAgD;AAChD,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,mBAAmB,GAAG,MAAM,CAejE"}

package/dist/composition/canonical-compare.js

@@ -0,0 +1,237 @@
+/**
+ * Compare a user's formula with the canonical (textbook) equation it restates.
+ *
+ * Dimensional analysis cannot see a dimensionless prefactor, so `T = π√(ℓ/g)`
+ * and `K = m v²` pass every dimensional check. When the registry holds an
+ * equation with the same target and the same variables, this module evaluates
+ * both sides at {@link FIXED_POINT_EXPONENTS}, fixed points documented here, and
+ * classifies the ratio `yours / canonical`:
+ *
+ * - `agrees`  — constant and equal to 1: the prefactor is checked and right.
+ * - `factor`  — constant but not 1: the forms agree and the prefactor does not.
+ * - `form`    — not constant across the points: a different law.
+ * - `prefactor-unchecked` — the forms agree, but the registry records the law
+ *   only up to a constant or only dimensionally, so it holds no prefactor to
+ *   compare with. That is reported as unchecked, never as agreement.
+ * - `not-compared` — the variables could not be aligned, or an evaluation
+ *   failed; `detail` says which.
+ *
+ * The points are fixed so the output is identical on every run.
+ *
+ * INTERNAL — surfaced by `upt map --equation` and `upt derive --formula`.
+ *
+ * @module composition/canonical-compare
+ */
+import { equals } from '../dimensional/algebra.js';
+import { CANONICAL_EQUATIONS } from '../canonical/registry.js';
+import { CONSTANTS } from './symbolic-constants.js';
+import { evalExpr } from './expr-eval.js';
+import { canonicalPrefactor } from './canonical-prefactors.js';
+import { parseUserEquation, resolveToCatalogName } from './user-equation.js';
+import { parsePhysics } from '../numerical/formula-registry.js';
+import { DIMENSIONLESS } from '../dimensional/types.js';
+/**
+ * The comparison points: variable `i` (in sorted name order) takes the value
+ * `(1.7 + i)^p` at point `p` of this list, the scheme `upt derive` uses to
+ * recover a prefactor. Each variable has its own base, so the RATIOS between
+ * variables change from point to point too. A common scale factor would leave
+ * every ratio such as ℓ/g fixed, and `T ∝ ℓ/g` would then pass as the form of
+ * `T ∝ √(ℓ/g)`.
+ * @internal
+ */
+const FIXED_POINT_EXPONENTS = [1, 1.3, 1.6];
+/** Relative tolerance for "the ratio is constant" and "the ratio is 1". @internal */
+const RATIO_TOLERANCE = 1e-9;
+const normalize = (name) => name.replace(/_/g, '-');
+/** A governing variable that is a registered physical constant of the same dimension. */
+function isConstant(v) {
+    const c = CONSTANTS[v.name];
+    return c !== undefined && equals(c.dim, v.dim);
+}
+/** The free (non-constant, non-literal) symbols of an AST, with their dimensions. */
+function freeSymbols(node, out) {
+    if (node.kind === 'symbol') {
+        const literal = Number.isFinite(Number(node.name));
+        if (!literal && CONSTANTS[node.name] === undefined)
+            out.set(node.name, node.dim);
+        return out;
+    }
+    const args = node.args ?? [];
+    for (const a of args)
+        freeSymbols(a, out);
+    return out;
+}
+/**
+ * Map each free AST symbol to a governing variable: by name first, then by a
+ * dimension that exactly one unassigned variable carries. `null` when that fails.
+ */
+function alignSymbols(symbols, governing) {
+    if (symbols.size !== governing.length)
+        return null;
+    const assignment = new Map();
+    const free = new Set(governing.map((g) => g.name));
+    for (const s of [...symbols.keys()].sort()) {
+        if (free.has(s)) {
+            assignment.set(s, s);
+            free.delete(s);
+        }
+    }
+    for (const [s, dim] of [...symbols.entries()].sort(([a], [b]) => a.localeCompare(b))) {
+        if (assignment.has(s))
+            continue;
+        const candidates = governing.filter((g) => free.has(g.name) && equals(g.dim, dim));
+        if (candidates.length !== 1)
+            return null;
+        assignment.set(s, candidates[0].name);
+        free.delete(candidates[0].name);
+    }
+    return assignment;
+}
+function classify(entry, ratios, recordsPrefactor) {
+    const base = { id: entry.id, name: entry.name };
+    const r0 = ratios[0];
+    const constant = ratios.every((r) => Math.abs(r / r0 - 1) <= RATIO_TOLERANCE);
+    if (!constant)
+        return { ...base, kind: 'form' };
+    if (!recordsPrefactor) {
+        return {
+            ...base,
+            kind: 'prefactor-unchecked',
+            detail: entry.epistemicStatus === 'dimensional'
+                ? 'the registry records its dimensional form only'
+                : 'the registry records it only up to a constant',
+        };
+    }
+    return Math.abs(r0 - 1) <= RATIO_TOLERANCE
+        ? { ...base, kind: 'agrees', ratio: r0 }
+        : { ...base, kind: 'factor', ratio: r0 };
+}
+/**
+ * Compare a user formula with every canonical equation that has the same
+ * target and the same non-constant variables (names match after `_` → `-`).
+ * `evaluateUser` receives values keyed by the CANONICAL variable names.
+ * Returns one comparison per matching entry, in registry order; empty when
+ * no entry matches.
+ *
+ * @internal
+ */
+export function compareWithCanonical(target, sources, evaluateUser, entries = CANONICAL_EQUATIONS) {
+    const wantTarget = normalize(target);
+    const wantSources = [...new Set(sources.map(normalize))].sort();
+    const results = [];
+    for (const entry of entries) {
+        const d = entry.dimensional;
+        if (normalize(d.target.name) !== wantTarget)
+            continue;
+        const variables = d.governing.filter((g) => !isConstant(g));
+        const names = variables.map((g) => normalize(g.name)).sort();
+        if (names.length !== wantSources.length || names.some((n, i) => n !== wantSources[i]))
+            continue;
+        const points = FIXED_POINT_EXPONENTS.map((p) => Object.fromEntries(names.map((n, i) => [n, Math.pow(1.7 + i, p)])));
+        // A prefactor the entry does not record may come from the sourced table,
+        // which lives outside the pinned src/canonical tree.
+        const tabled = entry.epistemicStatus === 'fully-quantitative' ? undefined : canonicalPrefactor(entry.id);
+        const factor = tabled ?? 1;
+        let canonicalAt;
+        if (entry.scalarAst !== undefined) {
+            const alignment = alignSymbols(freeSymbols(entry.scalarAst, new Map()), variables);
+            if (alignment === null) {
+                results.push({
+                    id: entry.id,
+                    name: entry.name,
+                    kind: 'not-compared',
+                    detail: 'its variables could not be aligned by name or by a unique dimension',
+                });
+                continue;
+            }
+            const ast = entry.scalarAst;
+            canonicalAt = (p) => factor * evalExpr(ast, Object.fromEntries([...alignment].map(([sym, g]) => [sym, p[normalize(g)]])));
+        }
+        else if (d.monomial !== null) {
+            const monomial = d.monomial;
+            canonicalAt = (p) => factor * Object.entries(monomial).reduce((acc, [n, e]) => acc * Math.pow(p[normalize(n)] ?? 1, e), 1);
+        }
+        else {
+            continue;
+        }
+        let ratios;
+        try {
+            ratios = points.map((p) => evaluateUser(p) / canonicalAt(p));
+        }
+        catch (e) {
+            results.push({
+                id: entry.id,
+                name: entry.name,
+                kind: 'not-compared',
+                detail: `an evaluation failed (${e instanceof Error ? e.message : String(e)})`,
+            });
+            continue;
+        }
+        if (!ratios.every((r) => Number.isFinite(r) && r !== 0)) {
+            results.push({ id: entry.id, name: entry.name, kind: 'not-compared', detail: 'a ratio was zero or not finite' });
+            continue;
+        }
+        results.push(classify(entry, ratios, entry.epistemicStatus === 'fully-quantitative' || tabled !== undefined));
+    }
+    return results;
+}
+/**
+ * Compare a `TARGET = EXPR` user equation (the `upt map --equation` input) with
+ * the canonical registry. Names resolve onto `catalogDims` the way
+ * `analyzeUserEquation` resolves them; `pi` and `tau` are the only named numbers.
+ * Returns `[]` when the equation does not parse or no entry matches.
+ *
+ * @internal
+ */
+export async function compareUserEquation(equation, catalogDims) {
+    const eq = await parseUserEquation(equation);
+    const catalogNames = new Set(catalogDims.keys());
+    const resolved = new Map(eq.sources.map((s) => [s, resolveToCatalogName(s, catalogNames) ?? s]));
+    const target = resolveToCatalogName(eq.target, catalogNames) ?? eq.target;
+    const dims = {};
+    for (const [name, c] of Object.entries(CONSTANTS))
+        dims[name] = c.dim;
+    for (const [s, r] of resolved)
+        dims[s] = catalogDims.get(r) ?? DIMENSIONLESS;
+    let expr;
+    try {
+        expr = (await parsePhysics(equation.slice(equation.indexOf('=') + 1), dims)).expr;
+    }
+    catch {
+        return [];
+    }
+    return compareWithCanonical(target, [...resolved.values()], (values) => evalExpr(expr, {
+        pi: Math.PI,
+        tau: 2 * Math.PI,
+        ...Object.fromEntries([...resolved].map(([s, r]) => [s, values[normalize(r)]])),
+    }));
+}
+/**
+ * The report lines for a comparison result, shared by `upt map --equation` and
+ * `upt derive`. An empty result is itself a line: a dimensional MATCH never
+ * checks a prefactor, and the reader must not take silence for a check.
+ * @internal
+ */
+export function describeComparisons(cs) {
+    return cs.length === 0
+        ? ['· no canonical equation has this target and these variables, so the prefactor is NOT checked']
+        : cs.map(describeComparison);
+}
+/** One report line per comparison. @internal */
+export function describeComparison(c) {
+    const who = `${c.id} (${c.name})`;
+    const n = FIXED_POINT_EXPONENTS.length;
+    switch (c.kind) {
+        case 'agrees':
+            return `✓ agrees with ${who}, prefactor included: yours/canonical = 1 at ${n} fixed points`;
+        case 'factor':
+            return `⚠ differs from ${who} by a constant factor: yours/canonical = ${c.ratio.toPrecision(6)} at ${n} fixed points`;
+        case 'form':
+            return `⚠ differs in FORM from ${who}: yours/canonical is not constant across ${n} fixed points`;
+        case 'prefactor-unchecked':
+            return `· same form as ${who}, but ${c.detail}, so your prefactor is NOT checked`;
+        case 'not-compared':
+            return `· ${who} shares your target and variables, but was not compared: ${c.detail}`;
+    }
+}
+//# sourceMappingURL=canonical-compare.js.map

package/dist/composition/canonical-compare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-compare.js","sourceRoot":"","sources":["../../src/composition/canonical-compare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAsB,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE/D,qFAAqF;AACrF,MAAM,eAAe,GAAG,IAAI,CAAC;AAa7B,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAEpE,yFAAyF;AACzF,SAAS,UAAU,CAAC,CAAmC;IACrD,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,qFAAqF;AACrF,SAAS,WAAW,CAAC,IAAc,EAAE,GAA2B;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACjF,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,IAAI,GAAI,IAAuC,CAAC,IAAI,IAAI,EAAE,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CACnB,OAAuC,EACvC,SAAsD;IAEtD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAChC,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CACf,KAAwB,EACxB,MAAyB,EACzB,gBAAyB;IAEzB,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAChD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC;IAC9E,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAChD,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO;YACL,GAAG,IAAI;YACP,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EACJ,KAAK,CAAC,eAAe,KAAK,aAAa;gBACrC,CAAC,CAAC,gDAAgD;gBAClD,CAAC,CAAC,+CAA+C;SACtD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,eAAe;QACxC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE;QACxC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC7C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,OAA0B,EAC1B,YAAkE,EAClE,OAAO,GAAiC,mBAAmB;IAE3D,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,MAAM,OAAO,GAA0B,EAAE,CAAC;IAE1C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QAC5B,IAAI,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,UAAU;YAAE,SAAS;QACtD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAEhG,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACnE,CAAC;QAEF,yEAAyE;QACzE,qDAAqD;QACrD,MAAM,MAAM,GAAG,KAAK,CAAC,eAAe,KAAK,oBAAoB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzG,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,CAAC;QAC3B,IAAI,WAA4D,CAAC;QACjE,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YACnF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACvB,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,qEAAqE;iBAC9E,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;YAC5B,WAAW,GAAG,CAAC,CAAC,EAAE,EAAE,CAClB,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1G,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;YAC5B,WAAW,GAAG,CAAC,CAAC,EAAE,EAAE,CAClB,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1G,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QAED,IAAI,MAAgB,CAAC;QACrB,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,yBAAyB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG;aAC/E,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC,CAAC;YACjH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,eAAe,KAAK,oBAAoB,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAgB,EAChB,WAA2C;IAE3C,MAAM,EAAE,GAAG,MAAM,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC;IAC1E,MAAM,IAAI,GAA8B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;IACtE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC;IAC7E,IAAI,IAAc,CAAC;IACnB,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,MAAM,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACpF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,oBAAoB,CAAC,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CACrE,QAAQ,CAAC,IAAI,EAAE;QACb,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QAChB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;KACjF,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAkC;IACpE,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC;QACpB,CAAC,CAAC,CAAC,8FAA8F,CAAC;QAClG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;AACjC,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,kBAAkB,CAAC,CAAsB;IACvD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;IAClC,MAAM,CAAC,GAAG,qBAAqB,CAAC,MAAM,CAAC;IACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,iBAAiB,GAAG,gDAAgD,CAAC,eAAe,CAAC;QAC9F,KAAK,QAAQ;YACX,OAAO,kBAAkB,GAAG,4CAA4C,CAAC,CAAC,KAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;QACzH,KAAK,MAAM;YACT,OAAO,0BAA0B,GAAG,4CAA4C,CAAC,eAAe,CAAC;QACnG,KAAK,qBAAqB;YACxB,OAAO,kBAAkB,GAAG,SAAS,CAAC,CAAC,MAAM,oCAAoC,CAAC;QACpF,KAAK,cAAc;YACjB,OAAO,KAAK,GAAG,4DAA4D,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1F,CAAC;AACH,CAAC"}

package/dist/composition/canonical-prefactors.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Exact prefactors for canonical equations that `src/canonical` records only
+ * dimensionally or only up to a constant.
+ *
+ * CE-pendulum-period is a monomial and CE-kinetic-energy's AST is `m·v²`, so a
+ * user formula wrong by 2π or ½ could not be caught (persona findings L2, L7).
+ * `src/canonical` is a pinned Criterion 3 input tree, so the prefactors live
+ * here, outside it (Mothership ruling 2026-09-25). Each prefactor multiplies the
+ * entry's AST, or its monomial when it has no AST; a test holds that neither
+ * carries a constant of its own.
+ *
+ * Every quote is verbatim wikitext from the pinned Wikipedia revision in its
+ * locator, fetched and matched on 2026-09-25.
+ *
+ * @module composition/canonical-prefactors
+ */
+/** One sourced prefactor. @internal */
+export interface CanonicalPrefactor {
+    /** A `CanonicalEquation.id`. */
+    readonly id: string;
+    /** The exact dimensionless factor in front of the entry's AST or monomial. */
+    readonly prefactor: number;
+    /** Verbatim source text the factor is read from. */
+    readonly quote: string;
+    /** Where the quote is: page, revision id and wikitext line. */
+    readonly locator: string;
+}
+/** The sourced prefactors, by canonical id. @internal */
+export declare const CANONICAL_PREFACTORS: readonly CanonicalPrefactor[];
+/** The sourced prefactor of a canonical entry, or `undefined`. @internal */
+export declare function canonicalPrefactor(id: string): number | undefined;
+//# sourceMappingURL=canonical-prefactors.d.ts.map

package/dist/composition/canonical-prefactors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-prefactors.d.ts","sourceRoot":"","sources":["../../src/composition/canonical-prefactors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,uCAAuC;AACvC,MAAM,WAAW,kBAAkB;IACjC,gCAAgC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,8EAA8E;IAC9E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,oDAAoD;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,yDAAyD;AACzD,eAAO,MAAM,oBAAoB,EAAE,SAAS,kBAAkB,EAyD7D,CAAC;AAEF,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEjE"}

package/dist/composition/canonical-prefactors.js

@@ -0,0 +1,80 @@
+/**
+ * Exact prefactors for canonical equations that `src/canonical` records only
+ * dimensionally or only up to a constant.
+ *
+ * CE-pendulum-period is a monomial and CE-kinetic-energy's AST is `m·v²`, so a
+ * user formula wrong by 2π or ½ could not be caught (persona findings L2, L7).
+ * `src/canonical` is a pinned Criterion 3 input tree, so the prefactors live
+ * here, outside it (Mothership ruling 2026-09-25). Each prefactor multiplies the
+ * entry's AST, or its monomial when it has no AST; a test holds that neither
+ * carries a constant of its own.
+ *
+ * Every quote is verbatim wikitext from the pinned Wikipedia revision in its
+ * locator, fetched and matched on 2026-09-25.
+ *
+ * @module composition/canonical-prefactors
+ */
+/** The sourced prefactors, by canonical id. @internal */
+export const CANONICAL_PREFACTORS = [
+    {
+        id: 'CE-pendulum-period',
+        prefactor: 2 * Math.PI,
+        quote: String.raw `T_0 = 2\pi\sqrt{\frac \ell g}`,
+        locator: "Wikipedia, 'Pendulum (mechanics)', revision 1374595895, wikitext line 171",
+    },
+    {
+        id: 'CE-kinetic-energy',
+        prefactor: 0.5,
+        quote: String.raw `E_\text{k} = \frac{1}{2} mv^2`,
+        locator: "Wikipedia, 'Kinetic energy', revision 1370969006, wikitext line 56",
+    },
+    {
+        id: 'CE-rotational-kinetic-energy',
+        prefactor: 0.5,
+        quote: String.raw `E_\text{rotational} = \tfrac{1}{2} I \omega^2`,
+        locator: "Wikipedia, 'Rotational energy', revision 1258577842, wikitext line 3",
+    },
+    {
+        id: 'CE-capacitor-energy',
+        prefactor: 0.5,
+        quote: String.raw `W = \frac{1}{2}CV^2`,
+        locator: "Wikipedia, 'Capacitor', revision 1375788837, wikitext line 137",
+    },
+    {
+        id: 'CE-schwarzschild-radius',
+        prefactor: 2,
+        quote: String.raw `Schwarzschild radius{{br}}<math display="inline">\frac{2GM}{c^2}</math>`,
+        locator: "Wikipedia, 'Schwarzschild radius', revision 1373854769, wikitext line 25",
+    },
+    {
+        // a³/T² = GM/(4π²) for M ≫ m gives T = 2π √(a³/(GM)); the canonical monomial is a^1.5 (GM)^-0.5.
+        id: 'CE-kepler-third',
+        prefactor: 2 * Math.PI,
+        quote: String.raw `\frac{a^3}{T^2} = \frac{G(M + m)}{4\pi^2} \approx \frac{GM}{4\pi^2}`,
+        locator: "Wikipedia, 'Kepler's laws of planetary motion', revision 1376360196, wikitext line 232",
+    },
+    {
+        id: 'CE-lc-resonance',
+        prefactor: 1,
+        quote: String.raw `\omega_0 = \frac{1}{\sqrt{LC}},`,
+        locator: "Wikipedia, 'LC circuit', revision 1350658867, wikitext line 66",
+    },
+    {
+        // The Stokes friction coefficient ζ = 6πηr; the drag at speed v is F = ζ v.
+        id: 'CE-stokes-drag',
+        prefactor: 6 * Math.PI,
+        quote: String.raw `\zeta = 6 \pi \, \eta \, r,`,
+        locator: "Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 77",
+    },
+    {
+        id: 'CE-stokes-einstein',
+        prefactor: 1 / (6 * Math.PI),
+        quote: String.raw `D = \frac{k_\text{B} T}{6\pi\,\eta\,r}.`,
+        locator: "Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 79",
+    },
+];
+/** The sourced prefactor of a canonical entry, or `undefined`. @internal */
+export function canonicalPrefactor(id) {
+    return CANONICAL_PREFACTORS.find((p) => p.id === id)?.prefactor;
+}
+//# sourceMappingURL=canonical-prefactors.js.map

package/dist/composition/canonical-prefactors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-prefactors.js","sourceRoot":"","sources":["../../src/composition/canonical-prefactors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAcH,yDAAyD;AACzD,MAAM,CAAC,MAAM,oBAAoB,GAAkC;IACjE;QACE,EAAE,EAAE,oBAAoB;QACxB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+BAA+B;QAChD,OAAO,EAAE,2EAA2E;KACrF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+BAA+B;QAChD,OAAO,EAAE,oEAAoE;KAC9E;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+CAA+C;QAChE,OAAO,EAAE,sEAAsE;KAChF;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,qBAAqB;QACtC,OAAO,EAAE,gEAAgE;KAC1E;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yEAAyE;QAC1F,OAAO,EAAE,0EAA0E;KACpF;IACD;QACE,iGAAiG;QACjG,EAAE,EAAE,iBAAiB;QACrB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,qEAAqE;QACtF,OAAO,EAAE,wFAAwF;KAClG;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iCAAiC;QAClD,OAAO,EAAE,gEAAgE;KAC1E;IACD;QACE,4EAA4E;QAC5E,EAAE,EAAE,gBAAgB;QACpB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,6BAA6B;QAC9C,OAAO,EAAE,wFAAwF;KAClG;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QAC5B,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yCAAyC;QAC1D,OAAO,EAAE,wFAAwF;KAClG;CACF,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,EAAU;IAC3C,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC;AAClE,CAAC"}

package/dist/composition/discovery.d.ts

@@ -80,6 +80,22 @@ export interface VettedCandidate {
     /** The magnitude gate read at least one endpoint value from the graph at
      *  the anchor (no static table entry) rather than the sourced table. */
     readonly magnitudeUsedAnchor: boolean;
+    /**
+     * The magnitude comparison used an anchor-derived value, and the ratio of the
+     * two magnitudes does NOT move when every anchor input is rescaled by
+     * {@link ANCHOR_PROBE_FACTOR}. The graph then fixes the ratio at every
+     * anchor, so agreement in magnitude is an identity of the graph and not
+     * evidence for the identification. The case that exposed it: the anchor sets
+     * the temperature to the Hawking temperature of the anchor mass M, and then
+     * the thermal wavelength is exactly 4π ℓ_P for EVERY M. Its anchor-derived
+     * magnitude is not a representative magnitude of the quantity at all.
+     * A quantity whose value really is a constant belongs in the
+     * representative-value table, where it is not anchor-derived.
+     * A clash stays a clash (the graph itself fixes the two apart); only a pass is
+     * withheld, in `describeGrounding`. Optional on the type so hand-built
+     * candidates need not state it; the funnel always sets it.
+     */
+    readonly magnitudeAnchorInvariant?: boolean;
     /**
      * One endpoint name's hyphen-token set is a strict subset of the other's
      * (`mass` ⊂ `reference-mass`) — a generic↔specific identification of the
@@ -93,9 +109,10 @@ export interface VettedCandidate {
      *                       single-anchor graph cannot make). Checked first.
      * - `contradictory`   — breaks numerical consistency (a graph falsification).
      * - `axis-clash`      — the identification's stated `scale`/`force` regime
-     *                       attributes disagree (an IDENTITY falsifier — see D1
-     *                       module docs; "identification falsified, stated
-     *                       regimes differ", not "no connection possible").
+     *                       attributes disagree. A regime-LABEL prior against a
+     *                       literal identity (D1), not a physical test: it
+     *                       compares catalog labels and runs no computation, so
+     *                       it is never counted or described as a falsification.
      * - `promising`       — consistent AND connects disconnected physics AND
      *                       unlocks ≥1 quantity. Worth physicist review.
      * - `inert`           — consistent but structurally/numerically idle (a

package/dist/composition/discovery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAG3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAWtE;4DAC4D;AAC5D,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAS1E,CAAC;AA+BL,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC;yEACqE;IACrE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;4EACwE;IACxE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,GAAG,eAAe,GAAG,iBAAiB,GAAG,YAAY,CAAC;IAC7F,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C;kDAC8C;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9E;;;;;OAKG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CACrE;AA0GD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,SAAS,EAAE,aAAa,EACxB,IAAI,GAAE,gBAAqB,GAC1B,eAAe,CAEjB;AA0KD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,gBAAqB,GAC1B,eAAe,EAAE,CAmBnB"}
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAG3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAWtE;4DAC4D;AAC5D,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAS1E,CAAC;AA+BL,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC;yEACqE;IACrE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;4EACwE;IACxE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IAC5C;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,GAAG,eAAe,GAAG,iBAAiB,GAAG,YAAY,CAAC;IAC7F,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C;kDAC8C;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9E;;;;;OAKG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CACrE;AA8HD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,SAAS,EAAE,aAAa,EACxB,IAAI,GAAE,gBAAqB,GAC1B,eAAe,CAEjB;AA+LD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,gBAAqB,GAC1B,eAAe,EAAE,CAmBnB"}

package/dist/composition/discovery.js

@@ -60,7 +60,7 @@ export const REGISTRY_ATTRIBUTES_BY_NAME = (() => {
     }
     return m;
 })();
-// The axes the D1 identity gate falsifies on are `GATE_AXES`, imported from the
+// The axes the D1 regime-label gate compares are `GATE_AXES`, imported from the
 // `axes.ts` registry (`AXES.filter(gated)`) at the top of this module. Currently
 // scale + force; the 2026-07-05 extensible-axis expansion added
 // symmetry/topology/statistics as UNGATED attributes (they only abstain until the
@@ -121,6 +121,15 @@ function quantityComponents(edges, idents) {
     return roots;
 }
 const ANCHOR_DEFAULT = { mass: M_SUN_KG };
+/**
+ * Factor every anchor input is multiplied by to probe whether a magnitude ratio
+ * depends on the anchor at all (persona finding L3). Three decades moves any
+ * log-ratio that depends on the anchor far beyond {@link ANCHOR_INVARIANCE_TOL}.
+ * @internal
+ */
+const ANCHOR_PROBE_FACTOR = 1e3;
+/** Decades within which a log-ratio counts as unchanged by the probe. @internal */
+const ANCHOR_INVARIANCE_TOL = 1e-9;
 /**
  * One name's hyphen-token set is a STRICT subset of the other's
  * (`mass` ⊂ `reference-mass`, `mass` ⊂ `planck-mass`) — i.e. identifying a
@@ -157,6 +166,7 @@ function buildDiscoveryContext(edges, opts) {
         // Candidate-invariant: the anchor's forward evaluation, the base component
         // partition, and the base forward closure all depend only on (edges, opts).
         anchorValues: forwardEvaluate(edges, groundTruth, baseIdents),
+        anchorValuesProbe: forwardEvaluate(edges, Object.fromEntries(Object.entries(groundTruth).map(([k, v]) => [k, v * ANCHOR_PROBE_FACTOR])), baseIdents),
         comps: quantityComponents(edges, baseIdents),
         closureBase: forwardClosure(edges, anchor, baseIdents),
     };
@@ -179,7 +189,7 @@ export function vetLinkCandidate(edges, candidate, opts = {}) {
  * @internal
  */
 function vetInContext(edges, candidate, ctx) {
-    const { baseIdents, groundTruth, anchor, repVals, maxOrders, anchorValues, comps, closureBase, attributesByName, } = ctx;
+    const { baseIdents, groundTruth, anchor, repVals, maxOrders, anchorValues, anchorValuesProbe, comps, closureBase, attributesByName, } = ctx;
     // Magnitude gate: an INDEPENDENT falsifier the single-anchor graph can't make.
     // Only fires when both endpoints have a representative value; abstains (and
     // never false-rejects) otherwise. A value comes from the sourced static table
@@ -206,6 +216,21 @@ function vetInContext(edges, candidate, ctx) {
         ? Math.abs(Math.log10(Math.abs(va.value)) - Math.log10(Math.abs(vb.value)))
         : null;
     const magnitudeClash = ordersApart !== null && ordersApart > maxOrders;
+    // Anchor-invariance probe: re-read each anchor-derived magnitude at the
+    // rescaled anchor. A table value is a constant and does not move.
+    const probeOf = (name, m) => (m.fromAnchor ? anchorValuesProbe.get(name) : m.value);
+    let magnitudeAnchorInvariant = false;
+    if (magnitudeUsedAnchor) {
+        const pa = probeOf(candidate.a, va);
+        const pb = probeOf(candidate.b, vb);
+        if (pa !== undefined && pb !== undefined && pa !== 0 && pb !== 0 && Number.isFinite(pa) && Number.isFinite(pb)) {
+            const la = Math.log10(Math.abs(va.value));
+            const lb = Math.log10(Math.abs(vb.value));
+            const lpa = Math.log10(Math.abs(pa));
+            const lpb = Math.log10(Math.abs(pb));
+            magnitudeAnchorInvariant = Math.abs((lpa - lpb) - (la - lb)) <= ANCHOR_INVARIANCE_TOL;
+        }
+    }
     // A generic↔specialization identification (mass ≟ reference-mass) is
     // near-tautological — barred from `promising` regardless of structure.
     const subsuming = nameSubsumes(candidate.a, candidate.b);
@@ -261,8 +286,8 @@ function vetInContext(edges, candidate, ctx) {
         .sort();
     // Verdict precedence: a magnitude clash is the most decisive, most
     // interpretable falsification, checked before the graph contradiction;
-    // the qualitative identity falsifier (axis-clash) is weaker than both
-    // numeric falsifiers but still outranks promising/inert (D1).
+    // the regime-label prior (axis-clash) is weaker than both numeric
+    // falsifiers and is not one itself, but still outranks promising/inert (D1).
     let verdict;
     if (magnitudeClash)
         verdict = 'magnitude-clash';
@@ -306,6 +331,7 @@ function vetInContext(edges, candidate, ctx) {
         ordersApart,
         magnitudeChecked,
         magnitudeUsedAnchor,
+        magnitudeAnchorInvariant,
         subsuming,
         verdict,
         score,