universal-physics-tensor 0.47.1 → 1.0.1

package/dist/atlas/translation-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"translation-registry.js","sourceRoot":"","sources":["../../src/atlas/translation-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AAEtF,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAGzD,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAqC,CAAC,0BAA0B,EAAE,6BAA6B,CAAC,CAAC;AAErI,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAkC,CAAC,wBAAwB,CAAC,CAAC;AAE9F,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,OAAO,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;AACxE,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,UAAkB;IAC7D,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;AAClG,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,mBAAmB,CAAC,KAAuB;IACzD,OAAO,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;AACjF,CAAC"}

package/dist/atlas/translation.d.ts

@@ -0,0 +1,116 @@
+/**
+ * A bridge's declared translation of its bound's quantity into ANOTHER
+ * observable (CLI audit §14 item 8).
+ *
+ * A bound is stated in one norm. A user asking for a tolerance in a different
+ * observable is asking a different question, and the answer is only as good
+ * as the map between the two. So the map is a record of its own: declared per
+ * bridge, with its derivation, its premises, what it does NOT cover, and its
+ * own witnesses. Its evidence is derived from those witnesses and is never the
+ * bound's: a translation that rests on a numerically-supported check does not
+ * inherit a proof the bound's transformation may carry, and it carries no
+ * `formalRef`.
+ *
+ * Both maps take the bound's own quantity as an argument, so the same
+ * translation serves the point value (`deltaAt`) and the domain supremum
+ * (`delta`). That is sound only when the translated error is monotone
+ * non-decreasing in the bound's quantity, which `derivation` must state.
+ *
+ * A translation is either the error itself (`'exact'`) or an upper bound on
+ * it (`'upper-bound'`). Past the horizon of an exact translation the error
+ * exceeds the tolerance; past the horizon of an upper bound only the BOUND
+ * does, and the error may still be within it — a caller must not report the
+ * second as inadequate.
+ *
+ * A translation composes across a following bridge only through an
+ * `ObservableCarriage` that bridge declares for the same observable. The
+ * composition table is not consulted and not widened: a carriage is a claim
+ * about one observable, not about the bound's norm.
+ *
+ * @module atlas/translation
+ * @internal
+ */
+import type { Witness } from './types.js';
+import type { DominanceWitnessSpec } from './witness-dominance.js';
+import type { NumericWitnessSpec } from './witness-numeric.js';
+/** An executable witness of either shape. @internal */
+export type TranslationCheck = NumericWitnessSpec | DominanceWitnessSpec;
+/** A witness run at the caller's point, with the control that shows it can fail there. @internal */
+export interface PointCheck {
+    /** What is checked at this point, in words, including the resolutions. */
+    readonly claim: string;
+    readonly check: TranslationCheck;
+    /** The same measurement against a plausible wrong map. */
+    readonly control: TranslationCheck;
+    /** The wrong map the control uses. */
+    readonly controlClaim: string;
+}
+/** A bridge-specific map from a bound's norm to an observable error and horizon. @internal */
+export interface ObservableTranslation {
+    /** The `AtlasBridge.id` whose bound is translated. */
+    readonly bridgeId: string;
+    /** `'phase'` — the name a `--tolerance=<observable>:EPS` request uses. */
+    readonly observable: string;
+    /** Unit of the translated error and of a tolerance on it. */
+    readonly unit: string;
+    /** Must equal the bridge's `bound.norm`: the quantity the maps consume. */
+    readonly fromNorm: string;
+    /** Whether `errorAt` is the error itself or an upper bound on it. */
+    readonly errorKind: 'exact' | 'upper-bound';
+    /** What the observable is, precisely enough to measure it. */
+    readonly definition: string;
+    /** How the maps follow from the bound's quantity, and why the supremum may be passed. */
+    readonly derivation: string;
+    /** Conditions the derivation assumes and nothing here checks. */
+    readonly premises: readonly string[];
+    /** Point parameters the maps need beyond the bound's own (`'T0'`). */
+    readonly parameters: readonly string[];
+    /** The unit an observation time is read in. */
+    readonly timeUnit: string;
+    /** The accumulated error in `observable` at time `t`, given the bound's value. */
+    readonly errorAt: (boundValue: number, t: number, params: Readonly<Record<string, number>>) => number;
+    /**
+     * The time at which the accumulated error reaches `tolerance`; `Infinity` if
+     * it never does; `NaN` if undefined, including when `floor` already exceeds
+     * the tolerance.
+     */
+    readonly horizonFor: (boundValue: number, tolerance: number, params: Readonly<Record<string, number>>) => number;
+    /** The part of `errorAt` present at every t (its value at t = 0); absent when it is 0. */
+    readonly floor?: (boundValue: number) => number;
+    /** Which side of the horizon is adequate, stated. */
+    readonly boundary: string;
+    /** Observables this translation is NOT a bound on. */
+    readonly notCovered: readonly string[];
+    readonly witnesses: readonly Witness[];
+    /** The executable form of each numeric witness, run on request. */
+    readonly checks: readonly TranslationCheck[];
+    /** The witness at the caller's point, bounded in cost, or why it cannot be run there. */
+    readonly pointCheck: (boundValue: number) => PointCheck | {
+        readonly unavailable: string;
+    };
+}
+/**
+ * A bridge's declaration that its map carries an observable unchanged, so a
+ * translation into that observable on an earlier step holds for the path
+ * through it. Declared per bridge, with its own derivation and witnesses; a
+ * bridge without one does not carry the observable, whatever its relation.
+ *
+ * @internal
+ */
+export interface ObservableCarriage {
+    /** The bridge that carries. */
+    readonly bridgeId: string;
+    /** The observable carried: a translation's `observable`. */
+    readonly observable: string;
+    /** How the observable on the premise maps to the conclusion's. */
+    readonly map: string;
+    /** Why the map leaves the observable's error unchanged. */
+    readonly derivation: string;
+    /** Conditions the carriage assumes and nothing here checks. */
+    readonly premises: readonly string[];
+    /** How the observation time on the premise maps to the conclusion's clock. */
+    readonly timeMap: string;
+    readonly witnesses: readonly Witness[];
+    readonly checks: readonly TranslationCheck[];
+}
+//# sourceMappingURL=translation.d.ts.map

package/dist/atlas/translation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"translation.d.ts","sourceRoot":"","sources":["../../src/atlas/translation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,uDAAuD;AACvD,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;AAEzE,oGAAoG;AACpG,MAAM,WAAW,UAAU;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,sCAAsC;IACtC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,8FAA8F;AAC9F,MAAM,WAAW,qBAAqB;IACpC,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,aAAa,CAAC;IAC5C,8DAA8D;IAC9D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yFAAyF;IACzF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,sEAAsE;IACtE,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,+CAA+C;IAC/C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACtG;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACjH,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC;IAChD,qDAAqD;IACrD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC7C,yFAAyF;IACzF,QAAQ,CAAC,UAAU,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,UAAU,GAAG;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5F;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,+BAA+B;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kEAAkE;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC9C"}

package/dist/atlas/translation.js

@@ -0,0 +1,34 @@
+/**
+ * A bridge's declared translation of its bound's quantity into ANOTHER
+ * observable (CLI audit §14 item 8).
+ *
+ * A bound is stated in one norm. A user asking for a tolerance in a different
+ * observable is asking a different question, and the answer is only as good
+ * as the map between the two. So the map is a record of its own: declared per
+ * bridge, with its derivation, its premises, what it does NOT cover, and its
+ * own witnesses. Its evidence is derived from those witnesses and is never the
+ * bound's: a translation that rests on a numerically-supported check does not
+ * inherit a proof the bound's transformation may carry, and it carries no
+ * `formalRef`.
+ *
+ * Both maps take the bound's own quantity as an argument, so the same
+ * translation serves the point value (`deltaAt`) and the domain supremum
+ * (`delta`). That is sound only when the translated error is monotone
+ * non-decreasing in the bound's quantity, which `derivation` must state.
+ *
+ * A translation is either the error itself (`'exact'`) or an upper bound on
+ * it (`'upper-bound'`). Past the horizon of an exact translation the error
+ * exceeds the tolerance; past the horizon of an upper bound only the BOUND
+ * does, and the error may still be within it — a caller must not report the
+ * second as inadequate.
+ *
+ * A translation composes across a following bridge only through an
+ * `ObservableCarriage` that bridge declares for the same observable. The
+ * composition table is not consulted and not widened: a carriage is a claim
+ * about one observable, not about the bound's norm.
+ *
+ * @module atlas/translation
+ * @internal
+ */
+export {};
+//# sourceMappingURL=translation.js.map

package/dist/atlas/translation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"translation.js","sourceRoot":"","sources":["../../src/atlas/translation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG"}

package/dist/atlas/types.d.ts

@@ -1,174 +1,29 @@
 /**
- * Atlas Phase 0 pilot types (oscillator pilot).
+ * Atlas record types.
  *
- * Fixed by `docs/planning/Atlas-Phase-0-Design.md` §2 and the implementation
- * plan's §"S0 types" block, implemented here verbatim.
- *
- * **These are throwaway pilot types** (design note §4). If Phase 1's
- * relation-contract work disagrees with any of them, the Phase 0 type is
- * replaced, not adapted: nothing atlas-side is public before Phase 6 and the
- * only consumers are Phase 0's own tests.
- *
- * Name note: the probe's `RelationKind` and `AuditState` are NOT shadowed —
- * this sprint uses `RelationType` and defines no `AuditState`.
- * `src/composition/bridge-prediction.ts` has a module-local, unexported
- * `interface Regime` for tensor-cell placement; different concept, no
- * import collision.
+ * The shared vocabulary lives in `src/relations/types.ts` and is re-exported
+ * here. A public name is also a local type alias in this file, so the
+ * facade scan still sees a declaration, and the alias is the same type.
  *
  * @module atlas/types
  */
-import type { PiGroup } from '../dimensional/buckingham.js';
-/** The relation a bridge asserts between its premises and its conclusion. @public */
-export type RelationType = 'derivation' | 'exact-equivalence' | 'restriction' | 'approximation' | 'coarse-graining' | 'analytic-continuation' | 'structural-analogy' | 'deformation-quantization';
-/** What kind of support a record carries. Carried only if its witness passes. @public */
-export type EvidenceTag = 'proposed' | 'reviewed' | 'dimension-checked' | 'convention-checked' | 'symbolically-checked' | 'numerically-supported' | 'formally-proved' | 'empirically-supported' | 'contradicted' | 'unresolved';
-/**
- * Every `EvidenceTag`, in declaration order, so a report can name all of them.
- *
- * Lives HERE, not in `coverage.ts` (which re-exports it), because
- * `tests/atlas/derived-tag-literals.test.ts` allows the literals
- * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` in
- * exactly two files: this one and `derive-evidence.ts`. A tag that can only be
- * DERIVED must not be spellable anywhere a record could hand-set it.
- *
- * @internal
- */
-export declare const ALL_EVIDENCE_TAGS: readonly ["proposed", "reviewed", "dimension-checked", "convention-checked", "symbolically-checked", "numerically-supported", "formally-proved", "empirically-supported", "contradicted", "unresolved"];
-/**
- * How a formal reference's statement was checked against the physics it claims
- * to state (Phase 4 design note §3).
- *
- * - `'two-formalizers'` — two people formalized it independently and agreed.
- * - `'back-translation'` — a reviewer who had not seen the source translated
- *   the formal statement back to prose and it matched.
- * - `'sanity-lemmas'` — the statement was instantiated on known cases in
- *   `tests/atlas/formal-sanity.test.ts`.
- * - `'unreviewed'` — recorded, not checked. **Earns no tag, by construction.**
- *
- * @internal
- */
-export type FormalFidelity = 'two-formalizers' | 'back-translation' | 'sanity-lemmas' | 'unreviewed';
-/**
- * A machine-checked counterpart of a record's claim in a proof assistant.
- *
- * A proof of the WRONG statement proves nothing about the physics, so the
- * reference carries its `fidelity` — how anyone knows the formal statement says
- * what the bridge says. `formally-proved` is derived from it and never set.
- *
- * @internal
- */
-export interface FormalRef {
-    readonly system: 'lean4-physlib' | 'other';
-    /** The formal statement's name or text, as it appears in `system`. */
-    readonly statement: string;
-    /** The library version or commit the statement was checked against. */
-    readonly version: string;
-    /** Axioms the proof depends on beyond the system's core. */
-    readonly axioms: readonly string[];
-    readonly fidelity: FormalFidelity;
-}
-/** Whether the limit a bridge takes is regular or singular. @public */
-export type LimitCharacter = 'regular' | 'singular' | 'unknown';
-/**
- * One inequality on a regime coordinate. The coordinate is either a π-group
- * `buckinghamPi` produced from the family's dimensioned parameters (keyed by
- * `PiGroup.formula`), or a dimensionless INPUT of the model (an initial datum
- * such as θ0, a wavenumber-lattice product qa) declared as a
- * `DimensionalVariable` with the zero dimension, which is its own trivial
- * group. Derived quantities such as ζ = ½ (m k / b²)^(−½) are NOT groups:
- * write the inequality on the group (`m k / b² > 1/4`) and record the display
- * alias in `alias`.
- *
- * @public
- */
-export interface RegimeInequality {
-    /** `PiGroup.formula`, or the dimensionless input's name. */
-    readonly group: string;
-    readonly op: '<' | '<=' | '>' | '>=';
-    readonly bound: number;
-    /** `'ζ < 1'` — for display only, never evaluated. */
-    readonly alias?: string;
-}
-/** Where in parameter space a model or bridge is claimed to apply. @public */
-export interface Regime {
-    /** `'oscillators'`. */
-    readonly family: string;
-    readonly inequalities: readonly RegimeInequality[];
-    /** Traceability back to the dimension matrix, keyed by `PiGroup.formula`. */
-    readonly groupDefinitions: Readonly<Record<string, PiGroup>>;
-}
-/** A Lipschitz-plus-offset error bound with a mandatory horizon. @public */
-export interface ApproximationBound {
-    /** Lipschitz constant of the map, in the stated norm. */
-    readonly K: number;
-    /**
-     * Uniform error, same norm: the SUPREMUM OF THE BOUND OVER THE WHOLE
-     * DECLARED DOMAIN (`domain` / `parameterRange`), never a sample of it at
-     * one convenient fixture point.
-     *
-     * A parameter-dependent bound evaluated at a fixture is not a bound on the
-     * domain it claims: the record would read as covering every admissible
-     * parameter while holding only at the one point it was measured. When the
-     * supremum is approached but not attained at an open edge of the domain,
-     * `delta` is that supremum, and `deltaAt` is what a caller uses to get the
-     * tighter value at its own point.
-     */
-    readonly delta: number;
-    /**
-     * `'relative period error, normalized by the value of the reduced model'`,
-     * `'sup |x − x_reduced| for t ≥ 5 m/b'`, …
-     *
-     * A RELATIVE norm divides |exact − reduced| by the REDUCED model's value, and
-     * says so in this string. The other reading, by the exact value, gives a
-     * different number: at x = ck/ω₀ = 1 the non-relativistic kinetic frequency
-     * exceeds the exact Klein–Gordon one by 20.7% of the exact value, and by
-     * 17.2% of its own value. `tests/atlas/relative-norm-convention.test.ts` recomputes
-     * every relative `delta` from closed-form physics and pins the convention.
-     */
-    readonly norm: string;
-    /** Where the bound holds. */
-    readonly domain: string;
-    /** MANDATORY prose horizon: `'t ≪ 16 T0/θ0²'`. */
-    readonly horizon: string;
-    /** MANDATORY machine form of `horizon`: true while the bound is claimed to hold. */
-    readonly horizonHolds: (t: number, params: Readonly<Record<string, number>>) => boolean;
-    /**
-     * MACHINE FORM OF `delta`, mirroring what `horizonHolds` is to `horizon`:
-     * the bound AT A POINT of the declared domain, in the same norm.
-     *
-     * `horizon` had a machine counterpart and `delta` had none, so an
-     * implementer holding a correct parameter-dependent bound could only freeze
-     * it at a single point and hope the reader noticed. `deltaAt` is where that
-     * dependence goes; `delta` stays the supremum over the domain, and
-     * `deltaAt(p) <= delta` for every admissible `p`.
-     *
-     * Optional on the interface so a genuinely constant bound need not restate
-     * itself, and so `coarse-graining` bounds are unaffected; MANDATORY for an
-     * `approximation`, enforced at admission by `admitApproximation`.
-     */
-    readonly deltaAt?: (params: Readonly<Record<string, number>>) => number;
-    /**
-     * What `deltaAt` rests on. `'closed-form'`: it returns the EXACT error in
-     * closed form, so it is a proven bound, holding with equality. `'numerically-
-     * supported'`: a formula that witnesses support numerically but no proof
-     * covers. `upt path` prints a point bound only when every step is closed-form.
-     */
-    readonly deltaAtBasis?: 'closed-form' | 'numerically-supported';
-    /** `'θ0 ≤ 0.5 rad'`. */
-    readonly parameterRange?: string;
-    readonly limitCharacter: LimitCharacter;
-    /**
-     * What the error is uniform in.
-     *
-     * `null` means NOT YET ANALYSED. That is a legitimate recorded state:
-     * `makeApproximation` accepts it, and the check lives at use (`boundPath`),
-     * not at construction. An empty array means the same thing — a universal
-     * over nothing must not count as analysed. A non-empty array names the
-     * scopes the error is uniform in. A variable a side condition says the
-     * error is NOT uniform in is not listed.
-     */
-    readonly uniformity: readonly string[] | null;
-}
+import type { FormalRef } from '../relations/types.js';
+/** @public */
+export type RelationType = import('../relations/types.js').RelationType;
+/** @public */
+export type EvidenceTag = import('../relations/types.js').EvidenceTag;
+/** @public */
+export type LimitCharacter = import('../relations/types.js').LimitCharacter;
+/** @public */
+export type RegimeInequality = import('../relations/types.js').RegimeInequality;
+/** @public */
+export type Regime = import('../relations/types.js').Regime;
+/** @public */
+export type ApproximationBound = import('../relations/types.js').ApproximationBound;
+/** @public */
+export type Counterexample = import('../relations/types.js').Counterexample;
+export type { Conventions, FormalFidelity, FormalRef, FormalRefKind, RelationContract, } from '../relations/types.js';
+export { ALL_EVIDENCE_TAGS } from '../relations/types.js';
 /** A named check that supports a record, and the test file that runs it. @public */
 export interface Witness {
     /** `'W7b'`. */
@@ -186,11 +41,54 @@ export interface Witness {
  * would close a cycle `bun run docs:deps` reports. Import it from
  * `./model.js`.
  */
-/** A case a bridge does NOT cover, and the witness that shows it. @public */
-export interface Counterexample {
-    readonly description: string;
-    /** `'W2b'`. */
-    readonly witness: string;
+/**
+ * An exact bridge's declaration of how its map acts on ONE norm, in ONE
+ * direction: a bound stated in `from` about `fromModel` becomes a bound in `to`
+ * about `toModel`, multiplied by `K`. Design:
+ * `docs/planning/ADR-transported-norm-composition.md`.
+ *
+ * Without a declaration an exact map contributes the identity in no norm, and a
+ * route through it after a normed bound carries no bound (`'norm-not-stated'`).
+ * A declaration licenses exactly the norm and direction it names; every other
+ * norm, and the reverse direction, stay refused.
+ *
+ * @internal
+ */
+export interface NormTransport {
+    /** `'nt-spring-lc-relative-period'`; also the `recordId` of its registered witness. */
+    readonly id: string;
+    /** The model the bound is about before the map. */
+    readonly fromModel: string;
+    /** The model the transported bound is about. */
+    readonly toModel: string;
+    /** The norm the incoming bound must state, verbatim. */
+    readonly from: string;
+    /** The norm the transported bound holds in. */
+    readonly to: string;
+    /** The factor the map multiplies the error by: the supremum of {@link KAt} over {@link domain}. */
+    readonly K: number;
+    /** The same factor at a point, in closed form. */
+    readonly KAt: (params: Readonly<Record<string, number>>) => number;
+    /** Where `K` is the supremum. */
+    readonly domain: string;
+    /** Why the map acts on the norm by `K`. */
+    readonly derivation: string;
+    readonly timeMap: {
+        /** The map from the `fromModel`'s clock to the `toModel`'s. */
+        readonly map: string;
+        /** A transport whose time map is not uniform is refused by `boundPath`. */
+        readonly uniform: boolean;
+        /** How a horizon stated before the map reads after it. */
+        readonly horizon: string;
+        /** The machine form of {@link horizon}. */
+        readonly restateHorizon: (holds: (t: number, params: Readonly<Record<string, number>>) => boolean) => (t: number, params: Readonly<Record<string, number>>) => boolean;
+    };
+    /** What the incoming bound's uniformity becomes; the list is carried unchanged when the map preserves it. */
+    readonly uniformity: string;
+    /** The check that the map acts on the norm by `K`. */
+    readonly witness: Witness;
+    /** The evidence tag the witness supports when it checks; never `'formally-proved'`. */
+    readonly basis: 'numerically-supported' | 'symbolically-checked';
 }
 /** Field set = Blueprint v2 §3.1 Bridge record + citations. @internal */
 export interface AtlasBridge {
@@ -222,6 +120,11 @@ export interface AtlasBridge {
      * no reference rather than an `'unreviewed'` placeholder.
      */
     readonly formalRef?: FormalRef;
+    /**
+     * Only on an `exact-equivalence`: the norms, and directions, the map is
+     * declared to transport a bound in. Absent means none.
+     */
+    readonly normTransports?: readonly NormTransport[];
 }
 /** A claimed bridge the atlas records as REJECTED, with the reason. @public */
 export interface AtlasRejection {
@@ -235,75 +138,6 @@ export interface AtlasRejection {
     readonly survivingGroup: string;
     readonly witnesses: readonly Witness[];
 }
-/**
- * The relation a record asserts, as a DISCRIMINATED UNION over `RelationType`.
- *
- * This is the Phase 1 overlay (design note §1.2, "One overlay, not two"). Its
- * purpose is to move `AtlasBridge`'s two CONDITIONAL requirements — written
- * there only as doc comments — into the type system:
- *
- *   - `approximation` REQUIRES `bound`, and `ApproximationBound` itself
- *     mandates `horizon` + `horizonHolds`. So an approximation without a
- *     machine horizon is a COMPILE error, not a runtime one.
- *   - `exact-equivalence` REQUIRES `inverse`.
- *
- * Deliberately conservative elsewhere. The design note §2.2 names the fields
- * the other members WOULD need (an analyticity domain, a checkable
- * `preserves` set, an ħ-order) and records that none of them exists before
- * Phase 2. Inventing them here would encode claims the data cannot support,
- * so every other member carries only `transformation`.
- *
- * @internal
- */
-export type RelationContract = {
-    readonly type: 'derivation';
-    readonly transformation: string;
-} | {
-    readonly type: 'exact-equivalence';
-    readonly transformation: string;
-    /** REQUIRED: `'x = x0 u, t = τ/ω0'`. An equivalence without an inverse is not one. */
-    readonly inverse: string;
-} | {
-    readonly type: 'restriction';
-    readonly transformation: string;
-} | {
-    readonly type: 'approximation';
-    readonly transformation: string;
-    /** REQUIRED, and mandates its own machine horizon. */
-    readonly bound: ApproximationBound;
-} | {
-    readonly type: 'coarse-graining';
-    readonly transformation: string;
-    /** Optional: errors accumulate through `composeBounds` when present. */
-    readonly bound?: ApproximationBound;
-} | {
-    readonly type: 'analytic-continuation';
-    readonly transformation: string;
-} | {
-    readonly type: 'structural-analogy';
-    readonly transformation: string;
-} | {
-    readonly type: 'deformation-quantization';
-    readonly transformation: string;
-};
-/**
- * Sign and unit choices a record depends on. Every field is optional, and a
- * field is only meaningful when the record actually depends on that choice.
- *
- * Non-emptiness matters downstream: design note §3 requires `conventions` to
- * declare AT LEAST ONE field before `convention-checked` can be derived,
- * because `[].every(…)` is vacuously true and would hand out a free tag.
- *
- * @internal
- */
-export interface Conventions {
-    /** First law as `dU = Q − W` or `dU = Q + W`. */
-    readonly heatWorkSign?: 'Q-W' | 'Q+W';
-    readonly metricSignature?: '-+++' | '+---';
-    readonly fourierNormalization?: 'unitary' | 'physics' | 'none';
-    readonly unitSystem?: 'SI' | 'gaussian' | 'natural';
-    readonly capacitorChargeSign?: '+' | '-';
-}
 /** Thrown when an `ApproximationBound` is built without its machine horizon. @public */
 export declare class MissingHorizonError extends Error {
 }

package/dist/atlas/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/atlas/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAuB,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEjF,qFAAqF;AACrF,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,uBAAuB,GACvB,oBAAoB,GACpB,0BAA0B,CAAC;AAE/B,yFAAyF;AACzF,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,uBAAuB,GACvB,iBAAiB,GACjB,uBAAuB,GACvB,cAAc,GACd,YAAY,CAAC;AAEjB;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB,yMAWa,CAAC;AAE5C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,YAAY,CAAC;AAEjB;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC;IAC3C,sEAAsE;IACtE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC;AAED,uEAAuE;AACvE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAEhE;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,8EAA8E;AAC9E,MAAM,WAAW,MAAM;IACrB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,6EAA6E;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9D;AAED,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB;IACjC,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC;IACxF;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,GAAG,uBAAuB,CAAC;IAChE,wBAAwB;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;CAC/C;AAED,oFAAoF;AACpF,MAAM,WAAW,OAAO;IACtB,eAAe;IACf,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;IACjD,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;GAMG;AAEH,6EAA6E;AAC7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,eAAe;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,yEAAyE;AACzE,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,iEAAiE;IACjE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,mDAAmD;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,SAAS,cAAc,EAAE,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,UAAU,GAAG,UAAU,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;CAChC;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAc;IAC7B,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wBAAwB;IACxB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;CACxC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAChE;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACjE;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC;IACtC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/D,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;CAC1C;AAED,wFAAwF;AACxF,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;;;;;;;GASG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,0FAA0F;AAC1F,qBAAa,qBAAsB,SAAQ,KAAK;CAAG"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/atlas/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAEvD,cAAc;AACd,MAAM,MAAM,YAAY,GAAG,OAAO,uBAAuB,EAAE,YAAY,CAAC;AACxE,cAAc;AACd,MAAM,MAAM,WAAW,GAAG,OAAO,uBAAuB,EAAE,WAAW,CAAC;AACtE,cAAc;AACd,MAAM,MAAM,cAAc,GAAG,OAAO,uBAAuB,EAAE,cAAc,CAAC;AAC5E,cAAc;AACd,MAAM,MAAM,gBAAgB,GAAG,OAAO,uBAAuB,EAAE,gBAAgB,CAAC;AAChF,cAAc;AACd,MAAM,MAAM,MAAM,GAAG,OAAO,uBAAuB,EAAE,MAAM,CAAC;AAC5D,cAAc;AACd,MAAM,MAAM,kBAAkB,GAAG,OAAO,uBAAuB,EAAE,kBAAkB,CAAC;AACpF,cAAc;AACd,MAAM,MAAM,cAAc,GAAG,OAAO,uBAAuB,EAAE,cAAc,CAAC;AAE5E,YAAY,EACV,WAAW,EACX,cAAc,EACd,SAAS,EACT,aAAa,EACb,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,oFAAoF;AACpF,MAAM,WAAW,OAAO;IACtB,eAAe;IACf,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;IACjD,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;GAMG;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,aAAa;IAC5B,uFAAuF;IACvF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,mDAAmD;IACnD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,mGAAmG;IACnG,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,kDAAkD;IAClD,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACnE,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,2CAA2C;IAC3C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE;QAChB,+DAA+D;QAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QACrB,2EAA2E;QAC3E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,0DAA0D;QAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,2CAA2C;QAC3C,QAAQ,CAAC,cAAc,EAAE,CACvB,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,KACpE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC;KACvE,CAAC;IACF,6GAA6G;IAC7G,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sDAAsD;IACtD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,uBAAuB,GAAG,sBAAsB,CAAC;CAClE;AAED,yEAAyE;AACzE,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,iEAAiE;IACjE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,mDAAmD;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,SAAS,cAAc,EAAE,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,UAAU,GAAG,UAAU,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;CACpD;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAc;IAC7B,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wBAAwB;IACxB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;CACxC;AAED,wFAAwF;AACxF,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;;;;;;;GASG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,0FAA0F;AAC1F,qBAAa,qBAAsB,SAAQ,KAAK;CAAG"}

package/dist/atlas/types.js

@@ -1,45 +1,13 @@
 /**
- * Atlas Phase 0 pilot types (oscillator pilot).
+ * Atlas record types.
  *
- * Fixed by `docs/planning/Atlas-Phase-0-Design.md` §2 and the implementation
- * plan's §"S0 types" block, implemented here verbatim.
- *
- * **These are throwaway pilot types** (design note §4). If Phase 1's
- * relation-contract work disagrees with any of them, the Phase 0 type is
- * replaced, not adapted: nothing atlas-side is public before Phase 6 and the
- * only consumers are Phase 0's own tests.
- *
- * Name note: the probe's `RelationKind` and `AuditState` are NOT shadowed —
- * this sprint uses `RelationType` and defines no `AuditState`.
- * `src/composition/bridge-prediction.ts` has a module-local, unexported
- * `interface Regime` for tensor-cell placement; different concept, no
- * import collision.
+ * The shared vocabulary lives in `src/relations/types.ts` and is re-exported
+ * here. A public name is also a local type alias in this file, so the
+ * facade scan still sees a declaration, and the alias is the same type.
  *
  * @module atlas/types
  */
-/**
- * Every `EvidenceTag`, in declaration order, so a report can name all of them.
- *
- * Lives HERE, not in `coverage.ts` (which re-exports it), because
- * `tests/atlas/derived-tag-literals.test.ts` allows the literals
- * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` in
- * exactly two files: this one and `derive-evidence.ts`. A tag that can only be
- * DERIVED must not be spellable anywhere a record could hand-set it.
- *
- * @internal
- */
-export const ALL_EVIDENCE_TAGS = [
-    'proposed',
-    'reviewed',
-    'dimension-checked',
-    'convention-checked',
-    'symbolically-checked',
-    'numerically-supported',
-    'formally-proved',
-    'empirically-supported',
-    'contradicted',
-    'unresolved',
-];
+export { ALL_EVIDENCE_TAGS } from '../relations/types.js';
 /** Thrown when an `ApproximationBound` is built without its machine horizon. @public */
 export class MissingHorizonError extends Error {
 }

package/dist/atlas/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/atlas/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA4BH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,UAAU;IACV,UAAU;IACV,mBAAmB;IACnB,oBAAoB;IACpB,sBAAsB;IACtB,uBAAuB;IACvB,iBAAiB;IACjB,uBAAuB;IACvB,cAAc;IACd,YAAY;CAC6B,CAAC;AA0R5C,wFAAwF;AACxF,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;;;;;;;GASG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,0FAA0F;AAC1F,MAAM,OAAO,qBAAsB,SAAQ,KAAK;CAAG"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/atlas/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AA0BH,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AA2H1D,wFAAwF;AACxF,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;;;;;;;GASG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,0FAA0F;AAC1F,MAAM,OAAO,qBAAsB,SAAQ,KAAK;CAAG"}

package/dist/atlas/waves/bridges-closure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridges-closure.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAOH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,wEAAwE;AACxE,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,6EAA6E;AAC7E,eAAO,MAAM,cAAc,OAAO,CAAC;AAWnC;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,WA+EnC,CAAC;AAEF,yFAAyF;AACzF,eAAO,MAAM,oBAAoB,EAAE,WA+BlC,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,WAqEjC,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,oBAAoB,EAAE,SAAS,WAAW,EAItD,CAAC"}
+{"version":3,"file":"bridges-closure.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAQH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,wEAAwE;AACxE,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,6EAA6E;AAC7E,eAAO,MAAM,cAAc,OAAO,CAAC;AAWnC;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAgFnC,CAAC;AAEF,yFAAyF;AACzF,eAAO,MAAM,oBAAoB,EAAE,WAgClC,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,WAsEjC,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,oBAAoB,EAAE,SAAS,WAAW,EAItD,CAAC"}

package/dist/atlas/waves/bridges-closure.js

@@ -20,6 +20,7 @@ import { ACTION, FORCE, FREQUENCY, MASS, VELOCITY } from '../../dimensional/type
 import { makeApproximation } from '../oscillators/bridges-limits.js';
 import { SPRING_CONSTANT } from '../oscillators/dimensions.js';
 import { deriveRegimeGroups } from '../regime.js';
+import { physjsFormalRef } from '../physjs-ref.js';
 import { FLEXURAL_RIGIDITY, LINEAR_DENSITY, WAVENUMBER, WAVES_FAMILY_NAME } from './models.js';
 import { kgNonrelativisticError, stiffStringPhaseError } from './numerics.js';
 const TEST = 'tests/atlas/closure.test.ts';
@@ -117,6 +118,7 @@ export const BRIDGE_KG_SCHRODINGER = {
         'Greiner, Relativistic Quantum Mechanics: Wave Equations - Ch. 1, the Klein-Gordon equation and its non-relativistic limit',
     ],
     reviewStatus: 'proposed',
+    formalRef: physjsFormalRef('ab-kg-schrodinger'),
 };
 /** Bridge: Klein–Gordon → spring, restricted to the spatially uniform mode. @internal */
 export const BRIDGE_KG_OSCILLATOR = {
@@ -147,6 +149,7 @@ export const BRIDGE_KG_OSCILLATOR = {
         'Whitham, Linear and Nonlinear Waves - §11.1, dispersive waves and the Klein-Gordon equation',
     ],
     reviewStatus: 'proposed',
+    formalRef: physjsFormalRef('ab-kg-oscillator'),
 };
 /** Bridge: stiff string → flexible string, as bending stiffness → 0. @internal */
 export const BRIDGE_STIFF_STRING = {
@@ -216,6 +219,7 @@ export const BRIDGE_STIFF_STRING = {
         'Fletcher, J. Acoust. Soc. Am. 36 (1964) 203 - Normal vibration frequencies of a stiff piano string',
     ],
     reviewStatus: 'proposed',
+    formalRef: physjsFormalRef('ab-stiff-string'),
 };
 /** The wave-family closure bridges. @internal */
 export const WAVE_CLOSURE_BRIDGES = [