universal-physics-tensor 9.0.0 → 11.0.0

package/dist/atlas/error-algebra.d.ts

@@ -25,6 +25,8 @@ export declare const IDENTITY_BOUND: BoundPair;
 /**
  * Compose two bounds, `outer` after `inner`.
  *
+ * @throws RangeError when either pair has a `K` or `delta` that is not a
+ *   finite number ≥ 0.
  * @public
  */
 export declare function composeBounds(outer: BoundPair, inner: BoundPair): BoundPair;
@@ -46,6 +48,10 @@ export interface ComposedPath {
  * composite would be unbounded, and {@link MissingLipschitzError} is thrown
  * rather than a number invented for it.
  *
+ * @throws RangeError on an empty path: a path of nothing composes nothing,
+ *   and returning the exact identity for it would state an error-free map
+ *   where no map was given. A step that is not a bound throws through
+ *   {@link composeBounds}.
  * @public
  */
 export declare function composeBoundPath(bounds: readonly (BoundPair | null)[]): ComposedPath;

package/dist/atlas/error-algebra.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"error-algebra.d.ts","sourceRoot":"","sources":["../../src/atlas/error-algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,6EAA6E;AAC7E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,yFAAyF;AACzF,eAAO,MAAM,cAAc,EAAE,SAA8B,CAAC;AAE5D;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,CAE3E;AAED,kDAAkD;AAClD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,GAAG,YAAY,CAgBpF"}
+{"version":3,"file":"error-algebra.d.ts","sourceRoot":"","sources":["../../src/atlas/error-algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,6EAA6E;AAC7E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,yFAAyF;AACzF,eAAO,MAAM,cAAc,EAAE,SAA8B,CAAC;AAkB5D;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,CAI3E;AAED,kDAAkD;AAClD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,GAAG,YAAY,CAmBpF"}

package/dist/atlas/error-algebra.js

@@ -18,12 +18,31 @@
 import { MissingLipschitzError } from './types.js';
 /** The two-sided identity of {@link composeBounds}: an exact, error-free map. @public */
 export const IDENTITY_BOUND = { K: 1, delta: 0 };
+/**
+ * A pair is a finite `K ≥ 0` and a finite `delta ≥ 0`: a Lipschitz constant
+ * and an offset. Anything else is not a bound, and composing it would
+ * propagate `NaN` or a negative error silently.
+ *
+ * @throws RangeError naming the offending field.
+ */
+function assertBoundPair(pair, which) {
+    if (!Number.isFinite(pair.K) || pair.K < 0) {
+        throw new RangeError(`composeBounds: ${which}.K must be a finite number ≥ 0, got ${pair.K}`);
+    }
+    if (!Number.isFinite(pair.delta) || pair.delta < 0) {
+        throw new RangeError(`composeBounds: ${which}.delta must be a finite number ≥ 0, got ${pair.delta}`);
+    }
+}
 /**
  * Compose two bounds, `outer` after `inner`.
  *
+ * @throws RangeError when either pair has a `K` or `delta` that is not a
+ *   finite number ≥ 0.
  * @public
  */
 export function composeBounds(outer, inner) {
+    assertBoundPair(outer, 'outer');
+    assertBoundPair(inner, 'inner');
     return { K: outer.K * inner.K, delta: outer.K * inner.delta + outer.delta };
 }
 /**
@@ -35,9 +54,16 @@ export function composeBounds(outer, inner) {
  * composite would be unbounded, and {@link MissingLipschitzError} is thrown
  * rather than a number invented for it.
  *
+ * @throws RangeError on an empty path: a path of nothing composes nothing,
+ *   and returning the exact identity for it would state an error-free map
+ *   where no map was given. A step that is not a bound throws through
+ *   {@link composeBounds}.
  * @public
  */
 export function composeBoundPath(bounds) {
+    if (bounds.length === 0) {
+        throw new RangeError('composeBoundPath: an empty path composes nothing; there is no bound to state');
+    }
     let acc = IDENTITY_BOUND;
     for (let i = 0; i < bounds.length; i++) {
         const step = bounds[i];

package/dist/atlas/error-algebra.js.map

@@ -1 +1 @@
-{"version":3,"file":"error-algebra.js","sourceRoot":"","sources":["../../src/atlas/error-algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAQnD,yFAAyF;AACzF,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAE5D;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB,EAAE,KAAgB;IAC9D,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;AAC9E,CAAC;AAYD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAqC;IACpE,IAAI,GAAG,GAAc,cAAc,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,qBAAqB,CAC7B,gDAAgD,CAAC,OAAO,MAAM,CAAC,MAAM,IAAI;oBACvE,yDAAyD,CAC5D,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QACD,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC"}
+{"version":3,"file":"error-algebra.js","sourceRoot":"","sources":["../../src/atlas/error-algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAQnD,yFAAyF;AACzF,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAE5D;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,IAAe,EAAE,KAAwB;IAChE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,UAAU,CAAC,kBAAkB,KAAK,uCAAuC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,UAAU,CAAC,kBAAkB,KAAK,2CAA2C,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACvG,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB,EAAE,KAAgB;IAC9D,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;AAC9E,CAAC;AAYD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAqC;IACpE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,8EAA8E,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,GAAG,GAAc,cAAc,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,qBAAqB,CAC7B,gDAAgD,CAAC,OAAO,MAAM,CAAC,MAAM,IAAI;oBACvE,yDAAyD,CAC5D,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QACD,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC","sourcesContent":["/**\n * The Phase 0 error algebra: composition of Lipschitz-plus-offset bounds.\n *\n * With `∘` read as OUTER-AFTER-INNER, a bound `(K, δ)` states\n * `|f(x) − f̃(x̃)| ≤ K|x − x̃| + δ` in the bound's own norm. Composing an outer\n * map onto an inner one therefore gives\n *\n *     (K_o, δ_o) ∘ (K_i, δ_i) = (K_o·K_i, K_o·δ_i + δ_o)\n *\n * which is associative and NOT commutative. `IDENTITY_BOUND` is the two-sided\n * identity, so `(bounds, ∘, IDENTITY_BOUND)` is a monoid.\n *\n * An exact equivalence contributes `IDENTITY_BOUND` **in the norms these\n * Phase 0 bridges state** — not in every norm (design note §9 YELLOW (a)).\n *\n * @module atlas/error-algebra\n */\n\nimport { MissingLipschitzError } from './types.js';\n\n/** The `K`/`delta` pair an `ApproximationBound` composes through. @public */\nexport interface BoundPair {\n  readonly K: number;\n  readonly delta: number;\n}\n\n/** The two-sided identity of {@link composeBounds}: an exact, error-free map. @public */\nexport const IDENTITY_BOUND: BoundPair = { K: 1, delta: 0 };\n\n/**\n * A pair is a finite `K ≥ 0` and a finite `delta ≥ 0`: a Lipschitz constant\n * and an offset. Anything else is not a bound, and composing it would\n * propagate `NaN` or a negative error silently.\n *\n * @throws RangeError naming the offending field.\n */\nfunction assertBoundPair(pair: BoundPair, which: 'outer' | 'inner'): void {\n  if (!Number.isFinite(pair.K) || pair.K < 0) {\n    throw new RangeError(`composeBounds: ${which}.K must be a finite number ≥ 0, got ${pair.K}`);\n  }\n  if (!Number.isFinite(pair.delta) || pair.delta < 0) {\n    throw new RangeError(`composeBounds: ${which}.delta must be a finite number ≥ 0, got ${pair.delta}`);\n  }\n}\n\n/**\n * Compose two bounds, `outer` after `inner`.\n *\n * @throws RangeError when either pair has a `K` or `delta` that is not a\n *   finite number ≥ 0.\n * @public\n */\nexport function composeBounds(outer: BoundPair, inner: BoundPair): BoundPair {\n  assertBoundPair(outer, 'outer');\n  assertBoundPair(inner, 'inner');\n  return { K: outer.K * inner.K, delta: outer.K * inner.delta + outer.delta };\n}\n\n/** Result of {@link composeBoundPath}. @public */\nexport interface ComposedPath {\n  readonly bound: BoundPair;\n  /**\n   * True when the path ended on a step with no Lipschitz constant: `bound`\n   * covers the prefix, and nothing is claimed past the final step.\n   */\n  readonly terminal: boolean;\n}\n\n/**\n * Fold a path of bounds in TRAVERSAL order — `[b1, b2]` means b1 then b2, so\n * the composite is `b2 ∘ b1`.\n *\n * A `null` entry is a step whose Lipschitz constant is unknown. It is tolerated\n * only as the LAST entry, where it terminates the claim; anywhere else the\n * composite would be unbounded, and {@link MissingLipschitzError} is thrown\n * rather than a number invented for it.\n *\n * @throws RangeError on an empty path: a path of nothing composes nothing,\n *   and returning the exact identity for it would state an error-free map\n *   where no map was given. A step that is not a bound throws through\n *   {@link composeBounds}.\n * @public\n */\nexport function composeBoundPath(bounds: readonly (BoundPair | null)[]): ComposedPath {\n  if (bounds.length === 0) {\n    throw new RangeError('composeBoundPath: an empty path composes nothing; there is no bound to state');\n  }\n  let acc: BoundPair = IDENTITY_BOUND;\n  for (let i = 0; i < bounds.length; i++) {\n    const step = bounds[i];\n    if (step === null) {\n      if (i !== bounds.length - 1) {\n        throw new MissingLipschitzError(\n          `bound path has no Lipschitz constant at step ${i} of ${bounds.length}; ` +\n            'an unknown constant is tolerated only as the final step',\n        );\n      }\n      return { bound: acc, terminal: true };\n    }\n    acc = composeBounds(step, acc);\n  }\n  return { bound: acc, terminal: false };\n}\n"]}

package/dist/atlas/export.d.ts

@@ -24,7 +24,9 @@
  * @module atlas/export
  * @internal
  */
-import type { AtlasFamily } from './oscillators/index.js';
+import type { AtlasFamily } from './family.js';
+import type { AtlasRecordJson } from './serialize.js';
+import type { WitnessResultsArtifact } from './witness-artifact.js';
 /** The QUDT resolution table: `"<model-id>/<parameter>"` → IRI, or null when none resolves. @internal */
 export interface QudtResolution {
     /** When and how the IRIs were checked. */
@@ -34,8 +36,22 @@ export interface QudtResolution {
 }
 /** The stable id namespace. A URN, so no id depends on a host that could move. @internal */
 export declare const ATLAS_ID_PREFIX = "urn:upt:atlas:";
+/** One family's record inside the combined artifact: the per-family record without its own version stamp. @internal */
+export type CombinedFamilyRecord = Omit<AtlasRecordJson, 'packageVersion'>;
 /** The combined artifact: every family's record under one version stamp. @internal */
-export declare function toCombinedAtlasJson(families: readonly AtlasFamily[], packageVersion: string): unknown;
+export interface CombinedAtlasJson {
+    readonly schemaVersion: '0';
+    readonly packageVersion: string;
+    readonly families: readonly CombinedFamilyRecord[];
+}
+/**
+ * The combined artifact: every family's record under one version stamp.
+ *
+ * @param witnessResults - forwarded to `toAtlasJson`, which derives each
+ * bridge's `evidence` against it.
+ * @internal
+ */
+export declare function toCombinedAtlasJson(families: readonly AtlasFamily[], packageVersion: string, witnessResults: WitnessResultsArtifact): CombinedAtlasJson;
 /**
  * The JSON-LD projection.
  *

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

@@ -1 +1 @@
-{"version":3,"file":"export.d.ts","sourceRoot":"","sources":["../../src/atlas/export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAG1D,yGAAyG;AACzG,MAAM,WAAW,cAAc;IAC7B,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;CAC3D;AAED,4FAA4F;AAC5F,eAAO,MAAM,eAAe,mBAAmB,CAAC;AAKhD,sFAAsF;AACtF,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAYrG;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,cAAc,EAAE,MAAM,EACtB,IAAI,EAAE,cAAc,GACnB,OAAO,CAsDT"}
+{"version":3,"file":"export.d.ts","sourceRoot":"","sources":["../../src/atlas/export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEtD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAEpE,yGAAyG;AACzG,MAAM,WAAW,cAAc;IAC7B,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;CAC3D;AAED,4FAA4F;AAC5F,eAAO,MAAM,eAAe,mBAAmB,CAAC;AAKhD,uHAAuH;AACvH,MAAM,MAAM,oBAAoB,GAAG,IAAI,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;AAE3E,sFAAsF;AACtF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACpD;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,sBAAsB,GACrC,iBAAiB,CASnB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,cAAc,EAAE,MAAM,EACtB,IAAI,EAAE,cAAc,GACnB,OAAO,CAsDT"}

package/dist/atlas/export.js

@@ -29,13 +29,19 @@ import { toAtlasJson } from './serialize.js';
 export const ATLAS_ID_PREFIX = 'urn:upt:atlas:';
 const modelIri = (id) => `${ATLAS_ID_PREFIX}model:${id}`;
 const bridgeIri = (id) => `${ATLAS_ID_PREFIX}bridge:${id}`;
-/** The combined artifact: every family's record under one version stamp. @internal */
-export function toCombinedAtlasJson(families, packageVersion) {
+/**
+ * The combined artifact: every family's record under one version stamp.
+ *
+ * @param witnessResults - forwarded to `toAtlasJson`, which derives each
+ * bridge's `evidence` against it.
+ * @internal
+ */
+export function toCombinedAtlasJson(families, packageVersion, witnessResults) {
     return {
         schemaVersion: '0',
         packageVersion,
         families: families.map((f) => {
-            const { packageVersion: _dropped, ...record } = toAtlasJson(f, packageVersion);
+            const { packageVersion: _dropped, ...record } = toAtlasJson(f, packageVersion, witnessResults);
             return record;
         }),
     };

package/dist/atlas/export.js.map

@@ -1 +1 @@
-{"version":3,"file":"export.js","sourceRoot":"","sources":["../../src/atlas/export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAU7C,4FAA4F;AAC5F,MAAM,CAAC,MAAM,eAAe,GAAG,gBAAgB,CAAC;AAEhD,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,GAAG,eAAe,SAAS,EAAE,EAAE,CAAC;AACzE,MAAM,SAAS,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,GAAG,eAAe,UAAU,EAAE,EAAE,CAAC;AAE3E,sFAAsF;AACtF,MAAM,UAAU,mBAAmB,CAAC,QAAgC,EAAE,cAAsB;IAC1F,OAAO;QACL,aAAa,EAAE,GAAG;QAClB,cAAc;QACd,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3B,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,cAAc,CAG5E,CAAC;YACF,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAgC,EAChC,cAAsB,EACtB,IAAoB;IAEpB,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,OAAO,EAAE,WAAW;gBACpB,YAAY,EAAE,MAAM,CAAC,MAAM;gBAC3B,cAAc,EAAE,CAAC,CAAC,QAAQ;gBAC1B,eAAe,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACtC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAChC,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC3B,MAAM,IAAI,KAAK,CAAC,+CAA+C,GAAG,EAAE,CAAC,CAAC;oBACxE,CAAC;oBACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;oBAC/B,OAAO;wBACL,YAAY,EAAE,CAAC,CAAC,IAAI;wBACpB,eAAe,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;wBACpF,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;qBACtE,CAAC;gBACJ,CAAC,CAAC;gBACF,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;aACtF,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;gBACtC,cAAc,EAAE,CAAC,CAAC,QAAQ;gBAC1B,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9D,gBAAgB,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE;gBACnD,qEAAqE;gBACrE,2CAA2C;gBAC3C,qBAAqB,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtE,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC;gBAClC,kBAAkB,EAAE,CAAC,CAAC,YAAY;gBAClC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACnG,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS;oBAC3B,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC;aAC3G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE;YACV,GAAG,EAAE,GAAG,eAAe,QAAQ;YAC/B,IAAI,EAAE,4BAA4B;YAClC,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,2BAA2B;SACrC;QACD,KAAK,EAAE,GAAG,eAAe,WAAW,cAAc,EAAE;QACpD,kBAAkB,EAAE,IAAI,CAAC,QAAQ;QACjC,QAAQ,EAAE,KAAK;KAChB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"export.js","sourceRoot":"","sources":["../../src/atlas/export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAW7C,4FAA4F;AAC5F,MAAM,CAAC,MAAM,eAAe,GAAG,gBAAgB,CAAC;AAEhD,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,GAAG,eAAe,SAAS,EAAE,EAAE,CAAC;AACzE,MAAM,SAAS,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,GAAG,eAAe,UAAU,EAAE,EAAE,CAAC;AAY3E;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAgC,EAChC,cAAsB,EACtB,cAAsC;IAEtC,OAAO;QACL,aAAa,EAAE,GAAG;QAClB,cAAc;QACd,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3B,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;YAC/F,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAgC,EAChC,cAAsB,EACtB,IAAoB;IAEpB,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,OAAO,EAAE,WAAW;gBACpB,YAAY,EAAE,MAAM,CAAC,MAAM;gBAC3B,cAAc,EAAE,CAAC,CAAC,QAAQ;gBAC1B,eAAe,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACtC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAChC,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC3B,MAAM,IAAI,KAAK,CAAC,+CAA+C,GAAG,EAAE,CAAC,CAAC;oBACxE,CAAC;oBACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;oBAC/B,OAAO;wBACL,YAAY,EAAE,CAAC,CAAC,IAAI;wBACpB,eAAe,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;wBACpF,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;qBACtE,CAAC;gBACJ,CAAC,CAAC;gBACF,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;aACtF,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;gBACtC,cAAc,EAAE,CAAC,CAAC,QAAQ;gBAC1B,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9D,gBAAgB,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE;gBACnD,qEAAqE;gBACrE,2CAA2C;gBAC3C,qBAAqB,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtE,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC;gBAClC,kBAAkB,EAAE,CAAC,CAAC,YAAY;gBAClC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACnG,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS;oBAC3B,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC;aAC3G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO;QACL,UAAU,EAAE;YACV,GAAG,EAAE,GAAG,eAAe,QAAQ;YAC/B,IAAI,EAAE,4BAA4B;YAClC,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,2BAA2B;SACrC;QACD,KAAK,EAAE,GAAG,eAAe,WAAW,cAAc,EAAE;QACpD,kBAAkB,EAAE,IAAI,CAAC,QAAQ;QACjC,QAAQ,EAAE,KAAK;KAChB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Atlas Phase 6, S6.4 — the versioned export: one combined JSON artifact for\n * every family, and a JSON-LD projection with stable ids, QUDT quantity kinds\n * where they genuinely resolve, and PROV-O-shaped provenance.\n *\n * Design note: `docs/planning/Atlas-Phase-6-Design.md` §2.\n *\n * Pure: no I/O. The QUDT resolution table (`data/atlas/qudt-resolution.json`) is\n * passed IN by the emitter, so this module cannot drift from the table it was\n * given and never reads the tree.\n *\n * ## Why the QUDT table is keyed by (model, parameter), never by name\n *\n * `kappa` is a SPRING CONSTANT in `model-chain` and a THERMAL CONDUCTIVITY in\n * `model-heat`. A name-keyed table would assign one of them the other's\n * quantity kind — a notation collision in the atlas's own data.\n *\n * ## Schema version\n *\n * The combined artifact keeps `schemaVersion: '0'`. Phase 4 added one OPTIONAL\n * field (`formalRef`); an additive optional field is not a breaking change, and\n * the plan bumps to `v1` only on one.\n *\n * @module atlas/export\n * @internal\n */\n\nimport type { AtlasFamily } from './family.js';\nimport type { AtlasRecordJson } from './serialize.js';\nimport { toAtlasJson } from './serialize.js';\nimport type { WitnessResultsArtifact } from './witness-artifact.js';\n\n/** The QUDT resolution table: `\"<model-id>/<parameter>\"` → IRI, or null when none resolves. @internal */\nexport interface QudtResolution {\n  /** When and how the IRIs were checked. */\n  readonly probedAt: string;\n  readonly method: string;\n  readonly entries: Readonly<Record<string, string | null>>;\n}\n\n/** The stable id namespace. A URN, so no id depends on a host that could move. @internal */\nexport const ATLAS_ID_PREFIX = 'urn:upt:atlas:';\n\nconst modelIri = (id: string): string => `${ATLAS_ID_PREFIX}model:${id}`;\nconst bridgeIri = (id: string): string => `${ATLAS_ID_PREFIX}bridge:${id}`;\n\n/** One family's record inside the combined artifact: the per-family record without its own version stamp. @internal */\nexport type CombinedFamilyRecord = Omit<AtlasRecordJson, 'packageVersion'>;\n\n/** The combined artifact: every family's record under one version stamp. @internal */\nexport interface CombinedAtlasJson {\n  readonly schemaVersion: '0';\n  readonly packageVersion: string;\n  readonly families: readonly CombinedFamilyRecord[];\n}\n\n/**\n * The combined artifact: every family's record under one version stamp.\n *\n * @param witnessResults - forwarded to `toAtlasJson`, which derives each\n * bridge's `evidence` against it.\n * @internal\n */\nexport function toCombinedAtlasJson(\n  families: readonly AtlasFamily[],\n  packageVersion: string,\n  witnessResults: WitnessResultsArtifact,\n): CombinedAtlasJson {\n  return {\n    schemaVersion: '0',\n    packageVersion,\n    families: families.map((f) => {\n      const { packageVersion: _dropped, ...record } = toAtlasJson(f, packageVersion, witnessResults);\n      return record;\n    }),\n  };\n}\n\n/**\n * The JSON-LD projection.\n *\n * @throws Error when a model parameter has NO entry in the resolution table — an\n * unlisted parameter is a gap in the table, and exporting it silently blank\n * would be indistinguishable from a deliberate \"no QUDT kind resolves\".\n * @internal\n */\nexport function toAtlasJsonLd(\n  families: readonly AtlasFamily[],\n  packageVersion: string,\n  qudt: QudtResolution,\n): unknown {\n  const graph: unknown[] = [];\n  for (const family of families) {\n    for (const m of family.models) {\n      graph.push({\n        '@id': modelIri(m.id),\n        '@type': 'upt:Model',\n        'upt:family': family.family,\n        'upt:dynamics': m.dynamics,\n        'upt:parameter': m.parameters.map((p) => {\n          const key = `${m.id}/${p.name}`;\n          if (!(key in qudt.entries)) {\n            throw new Error(`toAtlasJsonLd: no QUDT resolution entry for ${key}`);\n          }\n          const kind = qudt.entries[key];\n          return {\n            'upt:symbol': p.name,\n            'upt:dimension': [p.dim.L, p.dim.M, p.dim.T, p.dim.I, p.dim.Theta, p.dim.N, p.dim.J],\n            ...(kind === null ? {} : { 'qudt:hasQuantityKind': { '@id': kind } }),\n          };\n        }),\n        ...(m.canonicalRefs.length === 0 ? {} : { 'upt:canonicalRef': [...m.canonicalRefs] }),\n      });\n    }\n    for (const b of family.bridges) {\n      graph.push({\n        '@id': bridgeIri(b.id),\n        '@type': ['upt:Bridge', 'prov:Entity'],\n        'upt:relation': b.relation,\n        'upt:premise': b.premises.map((p) => ({ '@id': modelIri(p) })),\n        'upt:conclusion': { '@id': modelIri(b.conclusion) },\n        // PROV-O shape: the bridge's claim is derived from its premises, and\n        // its sources are the citations it states.\n        'prov:wasDerivedFrom': b.premises.map((p) => ({ '@id': modelIri(p) })),\n        'dcterms:source': [...b.citations],\n        'upt:reviewStatus': b.reviewStatus,\n        'upt:witness': b.witnesses.map((w) => ({ 'upt:id': w.id, 'upt:kind': w.kind, 'upt:test': w.test })),\n        ...(b.formalRef === undefined\n          ? {}\n          : { 'upt:formalRef': { 'upt:statement': b.formalRef.statement, 'upt:fidelity': b.formalRef.fidelity } }),\n      });\n    }\n  }\n  return {\n    '@context': {\n      upt: `${ATLAS_ID_PREFIX}vocab:`,\n      prov: 'http://www.w3.org/ns/prov#',\n      qudt: 'http://qudt.org/schema/qudt/',\n      dcterms: 'http://purl.org/dc/terms/',\n    },\n    '@id': `${ATLAS_ID_PREFIX}release:${packageVersion}`,\n    'upt:qudtProbedAt': qudt.probedAt,\n    '@graph': graph,\n  };\n}\n"]}

package/dist/atlas/families.d.ts

@@ -6,9 +6,26 @@
  * family is checked the moment it is registered here. A gate that named
  * `OSCILLATOR_FAMILY` directly would pass forever over a family it never read.
  *
+ * Registration IS admission: every bridge of every family passes
+ * `admitApproximation` here, at module load, so an approximation without a
+ * horizon or a `deltaAt` cannot reach the registry, the JSON export or the
+ * CLI. The sentence that the gate ran only inside
+ * `tests/atlas/regime-admission.test.ts` is the record from before this
+ * call.
+ *
  * @module atlas/families
  */
-import type { AtlasFamily } from './oscillators/index.js';
-/** All atlas families. @internal */
+import type { AtlasFamily } from './family.js';
+/**
+ * Admit every bridge of every family, in order, and return the same list.
+ *
+ * @throws MissingHorizonError or MissingDeltaAtError from
+ *   {@link admitApproximation} on the first bridge that fails; the family
+ *   objects are returned unchanged otherwise, so identity is preserved for
+ *   callers that import a family directly.
+ * @internal
+ */
+export declare function admitFamilies(families: readonly AtlasFamily[]): readonly AtlasFamily[];
+/** All atlas families, admitted. @internal */
 export declare const ATLAS_FAMILIES: readonly AtlasFamily[];
 //# sourceMappingURL=families.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"families.d.ts","sourceRoot":"","sources":["../../src/atlas/families.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,oCAAoC;AACpC,eAAO,MAAM,cAAc,EAAE,SAAS,WAAW,EAIhD,CAAC"}
+{"version":3,"file":"families.d.ts","sourceRoot":"","sources":["../../src/atlas/families.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG/C;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,GAAG,SAAS,WAAW,EAAE,CAGtF;AAED,8CAA8C;AAC9C,eAAO,MAAM,cAAc,EAAE,SAAS,WAAW,EAI/C,CAAC"}

package/dist/atlas/families.js

@@ -6,15 +6,38 @@
  * family is checked the moment it is registered here. A gate that named
  * `OSCILLATOR_FAMILY` directly would pass forever over a family it never read.
  *
+ * Registration IS admission: every bridge of every family passes
+ * `admitApproximation` here, at module load, so an approximation without a
+ * horizon or a `deltaAt` cannot reach the registry, the JSON export or the
+ * CLI. The sentence that the gate ran only inside
+ * `tests/atlas/regime-admission.test.ts` is the record from before this
+ * call.
+ *
  * @module atlas/families
  */
 import { DIFFUSION_FAMILY } from './diffusion/index.js';
 import { OSCILLATOR_FAMILY } from './oscillators/index.js';
 import { WAVES_FAMILY } from './waves/index.js';
-/** All atlas families. @internal */
-export const ATLAS_FAMILIES = [
+import { admitApproximation } from './regime.js';
+/**
+ * Admit every bridge of every family, in order, and return the same list.
+ *
+ * @throws MissingHorizonError or MissingDeltaAtError from
+ *   {@link admitApproximation} on the first bridge that fails; the family
+ *   objects are returned unchanged otherwise, so identity is preserved for
+ *   callers that import a family directly.
+ * @internal
+ */
+export function admitFamilies(families) {
+    for (const family of families)
+        for (const bridge of family.bridges)
+            admitApproximation(bridge);
+    return families;
+}
+/** All atlas families, admitted. @internal */
+export const ATLAS_FAMILIES = admitFamilies([
     OSCILLATOR_FAMILY,
     DIFFUSION_FAMILY,
     WAVES_FAMILY,
-];
+]);
 //# sourceMappingURL=families.js.map

package/dist/atlas/families.js.map

@@ -1 +1 @@
-{"version":3,"file":"families.js","sourceRoot":"","sources":["../../src/atlas/families.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGhD,oCAAoC;AACpC,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,iBAAiB;IACjB,gBAAgB;IAChB,YAAY;CACb,CAAC"}
+{"version":3,"file":"families.js","sourceRoot":"","sources":["../../src/atlas/families.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEjD;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,QAAgC;IAC5D,KAAK,MAAM,MAAM,IAAI,QAAQ;QAAE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO;YAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC/F,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8CAA8C;AAC9C,MAAM,CAAC,MAAM,cAAc,GAA2B,aAAa,CAAC;IAClE,iBAAiB;IACjB,gBAAgB;IAChB,YAAY;CACb,CAAC,CAAC","sourcesContent":["/**\n * Every registered atlas family, in the order they were built.\n *\n * Gates that must cover the WHOLE atlas (the evidence rule, admission, the\n * JSON artifacts) iterate this list rather than naming one family, so a new\n * family is checked the moment it is registered here. A gate that named\n * `OSCILLATOR_FAMILY` directly would pass forever over a family it never read.\n *\n * Registration IS admission: every bridge of every family passes\n * `admitApproximation` here, at module load, so an approximation without a\n * horizon or a `deltaAt` cannot reach the registry, the JSON export or the\n * CLI. The sentence that the gate ran only inside\n * `tests/atlas/regime-admission.test.ts` is the record from before this\n * call.\n *\n * @module atlas/families\n */\n\nimport { DIFFUSION_FAMILY } from './diffusion/index.js';\nimport { OSCILLATOR_FAMILY } from './oscillators/index.js';\nimport { WAVES_FAMILY } from './waves/index.js';\nimport type { AtlasFamily } from './family.js';\nimport { admitApproximation } from './regime.js';\n\n/**\n * Admit every bridge of every family, in order, and return the same list.\n *\n * @throws MissingHorizonError or MissingDeltaAtError from\n *   {@link admitApproximation} on the first bridge that fails; the family\n *   objects are returned unchanged otherwise, so identity is preserved for\n *   callers that import a family directly.\n * @internal\n */\nexport function admitFamilies(families: readonly AtlasFamily[]): readonly AtlasFamily[] {\n  for (const family of families) for (const bridge of family.bridges) admitApproximation(bridge);\n  return families;\n}\n\n/** All atlas families, admitted. @internal */\nexport const ATLAS_FAMILIES: readonly AtlasFamily[] = admitFamilies([\n  OSCILLATOR_FAMILY,\n  DIFFUSION_FAMILY,\n  WAVES_FAMILY,\n]);\n"]}

package/dist/atlas/family.d.ts

@@ -0,0 +1,27 @@
+/**
+ * The shape of one atlas family. A leaf module: every family index, the
+ * registry (`families.ts`), the serializer and the exporters import the type
+ * from here, so no family's index is the owner of a type the others share.
+ * The sentence that `AtlasFamily` was declared in `oscillators/index.ts` and
+ * imported from there by the other families is the record from before this
+ * module.
+ *
+ * @module atlas/family
+ */
+import type { AtlasModel } from './model.js';
+import type { AtlasBridge, AtlasRejection } from './types.js';
+/**
+ * One atlas family: its models, the bridges between them, and the claimed
+ * bridges that were refuted. A rejection is evidence, not an omission, so it
+ * travels with the family rather than being dropped.
+ *
+ * @internal
+ */
+export interface AtlasFamily {
+    /** `'oscillators'`. */
+    readonly family: string;
+    readonly models: readonly AtlasModel[];
+    readonly bridges: readonly AtlasBridge[];
+    readonly rejections: readonly AtlasRejection[];
+}
+//# sourceMappingURL=family.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"family.d.ts","sourceRoot":"","sources":["../../src/atlas/family.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE9D;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;CAChD"}

package/dist/atlas/family.js

@@ -0,0 +1,12 @@
+/**
+ * The shape of one atlas family. A leaf module: every family index, the
+ * registry (`families.ts`), the serializer and the exporters import the type
+ * from here, so no family's index is the owner of a type the others share.
+ * The sentence that `AtlasFamily` was declared in `oscillators/index.ts` and
+ * imported from there by the other families is the record from before this
+ * module.
+ *
+ * @module atlas/family
+ */
+export {};
+//# sourceMappingURL=family.js.map

package/dist/atlas/family.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"family.js","sourceRoot":"","sources":["../../src/atlas/family.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG","sourcesContent":["/**\n * The shape of one atlas family. A leaf module: every family index, the\n * registry (`families.ts`), the serializer and the exporters import the type\n * from here, so no family's index is the owner of a type the others share.\n * The sentence that `AtlasFamily` was declared in `oscillators/index.ts` and\n * imported from there by the other families is the record from before this\n * module.\n *\n * @module atlas/family\n */\n\nimport type { AtlasModel } from './model.js';\nimport type { AtlasBridge, AtlasRejection } from './types.js';\n\n/**\n * One atlas family: its models, the bridges between them, and the claimed\n * bridges that were refuted. A rejection is evidence, not an omission, so it\n * travels with the family rather than being dropped.\n *\n * @internal\n */\nexport interface AtlasFamily {\n  /** `'oscillators'`. */\n  readonly family: string;\n  readonly models: readonly AtlasModel[];\n  readonly bridges: readonly AtlasBridge[];\n  readonly rejections: readonly AtlasRejection[];\n}\n"]}

package/dist/atlas/index.d.ts

@@ -25,7 +25,8 @@
  * @module atlas
  */
 export type { RelationType, EvidenceTag, LimitCharacter, RegimeInequality, Regime, ApproximationBound, Witness, Counterexample, AtlasBridge, AtlasRejection, FormalFidelity, FormalRef, FormalRefKind, NormTransport, } from './types.js';
-export { MissingHorizonError, MissingLipschitzError } from './types.js';
+/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */
+export { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';
 export { ALL_EVIDENCE_TAGS } from './types.js';
 export { deriveCompositeEvidence, deriveEvidence, deriveEvidenceForVerdict, NO_PASSING_WITNESSES, provedWithUnresolvedCounterexample } from './derive-evidence.js';
 export type { CounterexampleLike, EvidenceInput, MembershipVerdict, RejectionLike, WitnessLike, } from './derive-evidence.js';
@@ -41,7 +42,7 @@ export type { RegimeCheck } from './regime.js';
 export { CAPACITANCE, CUBIC_STIFFNESS, DAMPING, INDUCTANCE, RESISTANCE, SPRING_CONSTANT, } from './oscillators/dimensions.js';
 export { ATLAS_MODELS, getAtlasModel } from './oscillators/models.js';
 export { OSCILLATOR_FAMILY } from './oscillators/index.js';
-export type { AtlasFamily } from './oscillators/index.js';
+export type { AtlasFamily } from './family.js';
 export { toAtlasJson, ATLAS_RECORD_SCHEMA_VERSION } from './serialize.js';
 export type { AtlasRecordJson, JsonValue } from './serialize.js';
 export { blockingFindings, checkApplicability, } from './applicability.js';

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/atlas/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,YAAY,EACV,YAAY,EACZ,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,MAAM,EACN,kBAAkB,EAClB,OAAO,EACP,cAAc,EACd,WAAW,EACX,cAAc,EACd,cAAc,EACd,SAAS,EACT,aAAa,EACb,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAK/C,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AACnK,YAAY,EACV,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,aAAa,EACb,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAClF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACvG,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAErH,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC9D,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,YAAY,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC1E,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EACL,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,oBAAoB,EACpB,wBAAwB,EACxB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,GACd,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClF,YAAY,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,YAAY,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAIlE,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxF,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnG,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACjG,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,SAAS,GACV,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AACtF,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,wBAAwB,EACxB,MAAM,EACN,aAAa,EACb,cAAc,EACd,UAAU,EACV,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,UAAU,GACX,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,QAAQ,EAAE,uBAAuB,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACjI,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EACL,WAAW,EACX,OAAO,EACP,wBAAwB,EACxB,WAAW,EACX,cAAc,EACd,GAAG,GACJ,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtF,YAAY,EACV,WAAW,EACX,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AACtF,YAAY,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAEzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,YAAY,EACV,wBAAwB,EACxB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAErF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,YAAY,EACV,WAAW,EACX,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACrE,YAAY,EACV,OAAO,EACP,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,aAAa,EACb,SAAS,EACT,WAAW,GACZ,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,0BAA0B,EAC1B,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,2BAA2B,EAC3B,YAAY,EACZ,cAAc,EACd,iBAAiB,GAClB,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/atlas/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,YAAY,EACV,YAAY,EACZ,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,MAAM,EACN,kBAAkB,EAClB,OAAO,EACP,cAAc,EACd,WAAW,EACX,cAAc,EACd,cAAc,EACd,SAAS,EACT,aAAa,EACb,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,0FAA0F;AAC1F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAK/C,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AACnK,YAAY,EACV,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,aAAa,EACb,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAClF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACvG,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAErH,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC9D,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC1E,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EACL,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,oBAAoB,EACpB,wBAAwB,EACxB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,GACd,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClF,YAAY,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,YAAY,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAIlE,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxF,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnG,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACjG,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,SAAS,GACV,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AACtF,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,wBAAwB,EACxB,MAAM,EACN,aAAa,EACb,cAAc,EACd,UAAU,EACV,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,UAAU,GACX,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,QAAQ,EAAE,uBAAuB,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACjI,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EACL,WAAW,EACX,OAAO,EACP,wBAAwB,EACxB,WAAW,EACX,cAAc,EACd,GAAG,GACJ,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtF,YAAY,EACV,WAAW,EACX,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AACtF,YAAY,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAEzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,YAAY,EACV,wBAAwB,EACxB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAErF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,YAAY,EACV,WAAW,EACX,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACrE,YAAY,EACV,OAAO,EACP,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,aAAa,EACb,SAAS,EACT,WAAW,GACZ,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,0BAA0B,EAC1B,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,2BAA2B,EAC3B,YAAY,EACZ,cAAc,EACd,iBAAiB,GAClB,MAAM,iBAAiB,CAAC"}

package/dist/atlas/index.js

@@ -24,7 +24,8 @@
  *
  * @module atlas
  */
-export { MissingHorizonError, MissingLipschitzError } from './types.js';
+/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */
+export { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';
 export { ALL_EVIDENCE_TAGS } from './types.js';
 // The Phase 1–3 core. Absent from this barrel until the S6.7 API review found
 // the gap: subpath users could not reach evidence derivation, the composition

package/dist/atlas/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/atlas/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAkBH,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAC3E,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AAQnK,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEhG,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAKvG,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGrF,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG9D,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAG1E,OAAO,EACL,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAOxD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAGlF,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,mFAAmF;AACnF,kFAAkF;AAClF,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExF,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEjG,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,SAAS,GACV,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,wBAAwB,EACxB,MAAM,EACN,aAAa,EACb,cAAc,EACd,UAAU,EACV,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,UAAU,GACX,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EACL,WAAW,EACX,OAAO,EACP,wBAAwB,EACxB,WAAW,EACX,cAAc,EACd,GAAG,GACJ,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AActF,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAGtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAOtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAOzD,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAWrE,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,0BAA0B,EAC1B,cAAc,GACf,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/atlas/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAkBH,0FAA0F;AAC1F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAC3E,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AAQnK,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEhG,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAKvG,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGrF,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG9D,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAG1E,OAAO,EACL,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAOxD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAGlF,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,mFAAmF;AACnF,kFAAkF;AAClF,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExF,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEjG,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,SAAS,GACV,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,wBAAwB,EACxB,MAAM,EACN,aAAa,EACb,cAAc,EACd,UAAU,EACV,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,UAAU,GACX,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EACL,WAAW,EACX,OAAO,EACP,wBAAwB,EACxB,WAAW,EACX,cAAc,EACd,GAAG,GACJ,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AActF,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAGtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAOtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAOzD,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAWrE,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,0BAA0B,EAC1B,cAAc,GACf,MAAM,iBAAiB,CAAC","sourcesContent":["/**\n * Atlas Phase 0 barrel — the oscillator pilot.\n *\n * Reachable only through the `universal-physics-tensor/atlas` subpath. Not\n * re-exported from the root `universal-physics-tensor` entry before Phase 6.\n *\n * All symbols are `@internal`: these are throwaway pilot types (design note\n * §4), not a stability contract.\n *\n * ⚠ **THE INVARIANT IS: NEVER THE BARREL.** `src/bridges/` and\n * `src/composition/` must not import THIS FILE — `src/atlas/` imports\n * `bridges/*` and `composition/*`, so a barrel import closes a cycle that\n * `bun run docs:deps` reports. Importing a leaf module (`./types.js`,\n * `./regime.js`, `./composition-table.js`, …) is fine. `src/bridges/` does\n * not import this directory. Catalog formal references live in\n * `src/atlas/catalog-formal-ref.ts`.\n *\n * This comment used to say \"TYPES ONLY, and only from `src/atlas/types.js`\",\n * which the tree HAS NEVER SATISFIED while `docs:deps` reported 0 cycles.\n * A rule stricter than the invariant it protects gets silently violated by\n * correct code, and the next reader either believes a false description of\n * the tree or \"fixes\" code that was right. Corrected 2026-09-22 against the\n * same measurement that corrected `CLAUDE.md`.\n *\n * @module atlas\n */\n\nexport type {\n  RelationType,\n  EvidenceTag,\n  LimitCharacter,\n  RegimeInequality,\n  Regime,\n  ApproximationBound,\n  Witness,\n  Counterexample,\n  AtlasBridge,\n  AtlasRejection,\n  FormalFidelity,\n  FormalRef,\n  FormalRefKind,\n  NormTransport,\n} from './types.js';\n/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */\nexport { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';\nexport { ALL_EVIDENCE_TAGS } from './types.js';\n\n// The Phase 1–3 core. Absent from this barrel until the S6.7 API review found\n// the gap: subpath users could not reach evidence derivation, the composition\n// table or path bounding at all (tests/atlas/barrel-completeness.test.ts).\nexport { deriveCompositeEvidence, deriveEvidence, deriveEvidenceForVerdict, NO_PASSING_WITNESSES, provedWithUnresolvedCounterexample } from './derive-evidence.js';\nexport type {\n  CounterexampleLike,\n  EvidenceInput,\n  MembershipVerdict,\n  RejectionLike,\n  WitnessLike,\n} from './derive-evidence.js';\nexport { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';\nexport type { CompositionResult, NoCompositeClaim } from './composition-table.js';\nexport { boundPath, findAtlasPath, findPath, horizonOnRoute, routeEntryModels } from './path-bound.js';\nexport type { AppliedTransport, NoClaimReason, PathBoundClaim, PathBoundResult, PathNoClaim } from './path-bound.js';\n\nexport type { AtlasModel, ModelId } from './model.js';\n\nexport { composeBounds, composeBoundPath, IDENTITY_BOUND } from './error-algebra.js';\nexport type { BoundPair, ComposedPath } from './error-algebra.js';\n\nexport { deriveRegimeGroups, regimeHolds } from './regime.js';\nexport type { RegimeCheck } from './regime.js';\n\nexport {\n  CAPACITANCE,\n  CUBIC_STIFFNESS,\n  DAMPING,\n  INDUCTANCE,\n  RESISTANCE,\n  SPRING_CONSTANT,\n} from './oscillators/dimensions.js';\n\nexport { ATLAS_MODELS, getAtlasModel } from './oscillators/models.js';\n\nexport { OSCILLATOR_FAMILY } from './oscillators/index.js';\nexport type { AtlasFamily } from './family.js';\n\nexport { toAtlasJson, ATLAS_RECORD_SCHEMA_VERSION } from './serialize.js';\nexport type { AtlasRecordJson, JsonValue } from './serialize.js';\n\nexport {\n  blockingFindings,\n  checkApplicability,\n} from './applicability.js';\nexport type {\n  ApplicabilityFinding,\n  ApplicabilityFindingKind,\n  ApplicabilityInput,\n  ApplicabilitySeverity,\n} from './applicability.js';\n\nexport { passingWitnessIds } from './witness-result.js';\nexport type {\n  UnresolvedReason,\n  WitnessRunResult,\n  WitnessStatus,\n} from './witness-result.js';\n\nexport { ATLAS_FAMILIES } from './families.js';\nexport { runLinkPrediction } from './link-prediction.js';\nexport { ATLAS_ID_PREFIX, toAtlasJsonLd, toCombinedAtlasJson } from './export.js';\nexport type { QudtResolution } from './export.js';\nexport type { LinkPredictionResult, LinkPredictionTrial } from './link-prediction.js';\nexport { DIFFUSION_FAMILY } from './diffusion/index.js';\nexport {\n  BRIDGE_HEAT_DIFFUSION,\n  BRIDGE_SCHRODINGER_DIFFUSION,\n  BRIDGE_WALK_DIFFUSION,\n  DIFFUSION_BRIDGES,\n} from './diffusion/bridges.js';\nexport { DIFFUSION_MODELS, getDiffusionModel } from './diffusion/models.js';\nexport { WAVES_FAMILY } from './waves/index.js';\nexport {\n  BRIDGE_KLEIN_GORDON_WAVE,\n  BRIDGE_SOUND_SPEED,\n  BRIDGE_STRING_WAVE,\n  BRIDGE_WAVE_DALEMBERT,\n  WAVE_BRIDGES,\n} from './waves/bridges.js';\nexport { WAVE_MODELS } from './waves/models.js';\nexport { DIFFUSION_CLOSURE_BRIDGES } from './diffusion/bridges-closure.js';\nexport { WAVE_CLOSURE_BRIDGES } from './waves/bridges-closure.js';\n\n// Phase 5 benchmark: the PURE parts only. `benchmark/loader.ts` reads files and is\n// deliberately not re-exported, so importing this barrel never pulls in file I/O.\nexport { FAILURE_KINDS, HELD_OUT_FAMILY, HELD_OUT_MARKERS } from './benchmark/types.js';\nexport type { Authorship, BenchmarkItem, BenchmarkSplit, FailureKind } from './benchmark/types.js';\nexport { checkRenamedVariants, findCrossSplitLeakage, leakageKey } from './benchmark/leakage.js';\nexport type { LeakageCollision, VariantProblem } from './benchmark/leakage.js';\nexport {\n  ABLATION_CONFIGS,\n  FULL_CONFIG,\n  runAtlasCondition,\n  runAtlasOnItem,\n} from './benchmark/run-atlas.js';\nexport type { AtlasRunConfig, AtlasVerdict } from './benchmark/run-atlas.js';\nexport {\n  rankBySymbolOverlap,\n  rankByStructure,\n  rankByTextOverlap,\n  recallAtK,\n} from './benchmark/baselines.js';\nexport type { CorpusRecord, Ranking, RetrievalQuery } from './benchmark/baselines.js';\nexport {\n  ATLAS_ONLY_NOTE,\n  EMBEDDING_INSTRUCTION,\n  FROZEN_VECTOR_DIMS,\n  FROZEN_VECTOR_SHA256,\n  OLLAMA_EMBEDDING_MODEL,\n  OLLAMA_TIMEOUT_MS,\n  PROPOSAL_NOTE,\n  EmbeddingUnavailable,\n  canonicalRetrievalCorpus,\n  cosine,\n  decodeFloat32,\n  ollamaEmbedder,\n  queryInput,\n  rankByCosine,\n  retrieveHybrid,\n  stubEmbedder,\n  stubVector,\n} from './benchmark/hybrid-retrieval.js';\nexport type { Embedder, EmbeddingFallbackReason, HybridRetrieval, OllamaEmbedderOptions } from './benchmark/hybrid-retrieval.js';\nexport { parseBackendResponse } from './benchmark/backend-shapes.js';\nexport {\n  cohensKappa,\n  mcnemar,\n  pairedDifferenceInterval,\n  powerReport,\n  wilsonInterval,\n  Z95,\n} from './benchmark/stats.js';\nexport type { Interval, McNemarResult, PairedTable, PowerReport } from './benchmark/stats.js';\nexport { pairedRejection, scoreAblation, scoreCondition } from './benchmark/study.js';\nexport type {\n  AblationRow,\n  ConditionAnswer,\n  ConditionMetrics,\n  ItemLabel,\n  PairedRejection,\n} from './benchmark/study.js';\nexport type {\n  BackendShapeError,\n  BenchmarkBackendRequest,\n  BenchmarkBackendResponse,\n} from './benchmark/backend-shapes.js';\n\nexport { runWitnessRegistry, artifactPassingWitnessIds } from './witness-artifact.js';\nexport type { WitnessResultRecord, WitnessResultsArtifact } from './witness-artifact.js';\n\nexport { WITNESS_REGISTRY } from './witness-specs.js';\nexport type {\n  RegisteredNumericWitness,\n  RegisteredSymbolicWitness,\n  RegisteredWitness,\n} from './witness-specs.js';\n\nexport { runSymbolicWitness } from './witness-symbolic.js';\nexport type { SymbolicSimplifier, SymbolicWitnessSpec } from './witness-symbolic.js';\n\nexport { runNumericWitness } from './witness-numeric.js';\nexport type {\n  Convergence,\n  NumericWitnessRunResult,\n  NumericWitnessSpec,\n} from './witness-numeric.js';\n\nexport { contextUnion, statementContextUnion } from './statement.js';\nexport type {\n  Context,\n  ContextUnionFormed,\n  ContextUnionRefused,\n  ContextUnionResult,\n  NoUnionReason,\n  Statement,\n  StatementId,\n} from './statement.js';\n\nexport {\n  composeDerivations,\n  composeDerivationsOrThrow,\n  DerivationCompositionError,\n  makeDerivation,\n} from './derivation.js';\nexport type {\n  CompositeFormed,\n  CompositeRefused,\n  Derivation,\n  DerivationCompositionResult,\n  DerivationId,\n  DerivationSpec,\n  NoCompositeReason,\n} from './derivation.js';\n"]}

package/dist/atlas/link-prediction.d.ts

@@ -13,7 +13,17 @@
  * - **structural predictor** — common neighbours in the remaining graph, ties
  *   broken by sharing the premise's family, then by id;
  * - **text baseline** — word-token overlap between the models' dynamics and
- *   state-space descriptions, ties broken by id.
+ *   state-space descriptions (`text-overlap.ts`), ties broken by id.
+ *
+ * **The recorded result stands.** The negative result (typed neighbourhood below text
+ * overlap on twenty trials; NOTES.md, "Link prediction is NEGATIVE") is reproduced by
+ * {@link runLinkPrediction} exactly as recorded and is not re-run for a better answer. What
+ * was added beside it, never inside it: a seeded percentile-bootstrap interval on every
+ * recall and MRR (MathTS `bootstrapCI`), a seeded permutation test on the two per-trial
+ * reciprocal-rank vectors (MathTS `permutationTest`, stated for what it is), and McNemar's
+ * exact p on the paired hits (`benchmark/stats.ts`). The Katz-index predictor
+ * ({@link runKatzLinkPrediction}) is a SEPARATE result: every record it returns carries
+ * `postHoc: true` and the label, and it is never a field of the recorded comparison.
  *
  * ⚠ **What this result cannot carry.** The graph is small (24 models, 22 pairs)
  * and was curated by the same agent that runs the test, in-distribution. It is a
@@ -21,12 +31,14 @@
  * discovery claim, not a hub or gap claim, and not evidence about physics the
  * atlas does not contain. ROADMAP Phase 6 asks for it as a hypothesis test, and
  * that is its whole scope. Product A (`src/composition/discovery.ts`) is not
- * touched: a test pins that nothing under `src/atlas/` imports it.
+ * touched: a test pins that nothing under `src/atlas/` imports it, and the Katz
+ * predictor is not wired into discovery, whose candidates are in different
+ * components by construction (every path score there is 0).
  *
  * @module atlas/link-prediction
  * @internal
  */
-import type { AtlasFamily } from './oscillators/index.js';
+import type { AtlasFamily } from './family.js';
 /** One held-out pair and whether each predictor recovered it. @internal */
 export interface LinkPredictionTrial {
     readonly bridgeId: string;
@@ -38,6 +50,41 @@ export interface LinkPredictionTrial {
     /** How many candidates the conclusion competed against. */
     readonly candidates: number;
 }
+/** A percentile-bootstrap interval with the point estimate it brackets (MathTS `bootstrapCI`). @internal */
+export interface BootstrapInterval {
+    readonly estimate: number;
+    readonly lower: number;
+    readonly upper: number;
+    /** The confidence level, 0.95. */
+    readonly confidence: number;
+}
+/** The seeded intervals of the recorded comparison. @internal */
+export interface LinkPredictionIntervals {
+    /** The seed every resample used; stated so the interval is reproducible. */
+    readonly seed: number;
+    readonly resamples: number;
+    readonly structuralRecall: BootstrapInterval;
+    readonly textRecall: BootstrapInterval;
+    readonly structuralMrr: BootstrapInterval;
+    readonly textMrr: BootstrapInterval;
+}
+/** The seeded permutation test on the two per-trial reciprocal-rank vectors. @internal */
+export interface ReciprocalRankPermutation {
+    /** Mean structural reciprocal rank minus mean text reciprocal rank (the observed MRR difference). */
+    readonly statistic: number;
+    /** Two-tailed p from MathTS `permutationTest`. */
+    readonly pValue: number;
+    readonly seed: number;
+    readonly resamples: number;
+    /**
+     * What the test is. MathTS has no paired permutation: `permutationTest` pools the two vectors
+     * and re-splits them, so the trial pairing is not kept and the null is looser than a sign-flip
+     * test's. The paired test on the hits is `mcnemarExactP`.
+     */
+    readonly kind: typeof PERMUTATION_KIND;
+}
+/** The statement of the permutation test's kind, so no reader takes it for a paired test. @internal */
+export declare const PERMUTATION_KIND: 'two-sample permutation of the reciprocal-rank vectors (pooled re-split; the pairing is not kept)';
 /** The whole leave-one-bridge-out run. @internal */
 export interface LinkPredictionResult {
     readonly k: number;
@@ -59,13 +106,69 @@ export interface LinkPredictionResult {
     /** Mean reciprocal rank of the held-out conclusion. */
     readonly structuralMrr: number;
     readonly textMrr: number;
+    /** Seeded bootstrap intervals on the four numbers above. */
+    readonly intervals: LinkPredictionIntervals;
+    /** The seeded permutation test on the per-trial reciprocal ranks. */
+    readonly permutation: ReciprocalRankPermutation;
+    /** McNemar's exact p on the paired hit table (both, structural only, text only, neither). */
+    readonly mcnemarExactP: number;
+}
+/** The label every Katz record carries. @internal */
+export declare const POST_HOC_LABEL: 'post hoc: added after the negative result was recorded';
+/** One held-out pair under the Katz-index predictor. @internal */
+export interface KatzTrial {
+    readonly bridgeId: string;
+    readonly premise: string;
+    readonly conclusion: string;
+    /** 1-based rank of the held-out conclusion by Katz index; Infinity when it was not a candidate. */
+    readonly katzRank: number;
+    /** The Katz index K[premise][conclusion] = ((I − βA)⁻¹ − I)[premise][conclusion]; 0 when no path. */
+    readonly katzScore: number;
+    readonly candidates: number;
+    /** This trial's attenuation β = 1/(2·max degree) of its own held-out graph. */
+    readonly beta: number;
+    readonly postHoc: true;
+}
+/** The Katz-index run: a separate, post-hoc result, never merged into the recorded comparison. @internal */
+export interface KatzLinkPredictionResult {
+    readonly postHoc: true;
+    readonly label: typeof POST_HOC_LABEL;
+    readonly k: number;
+    /**
+     * `[min, max]` of the trials' attenuations. Each held-out graph has its own maximum degree, so
+     * β = 1/(2·max degree) is per trial (`KatzTrial.beta`), each below its graph's spectral bound
+     * 1/λ_max since λ_max ≤ max degree. The result once reported one β, the last trial's.
+     */
+    readonly betaRange: readonly [number, number];
+    readonly trials: readonly KatzTrial[];
+    readonly stillConnected: number;
+    readonly katzHits: number;
+    readonly katzMrr: number;
+    readonly chanceRecall: number;
+    readonly intervals: {
+        readonly seed: number;
+        readonly resamples: number;
+        readonly recall: BootstrapInterval;
+        readonly mrr: BootstrapInterval;
+    };
 }
 /**
- * Run leave-one-bridge-out link prediction over the families' model graph.
+ * Run leave-one-bridge-out link prediction over the families' model graph. The recorded
+ * comparison (structural against text), with its seeded intervals and paired statistics.
  *
  * @param families - the atlas families (normally `ATLAS_FAMILIES`).
  * @param k - the depth a hit must fall within (10, as pre-registered for recall).
  * @internal
  */
 export declare function runLinkPrediction(families: readonly AtlasFamily[], k?: number): LinkPredictionResult;
+/**
+ * The Katz-index predictor, SEPARATE from the recorded comparison and labelled post hoc: it was
+ * added after the negative result was recorded, so its numbers are exploratory and are never
+ * merged into that result. Ranks each candidate by K[premise][candidate] (paths of every length,
+ * attenuated by β per step), ties by id. Not wired into discovery (`src/composition/`): Product A
+ * candidates are in different components by construction, so every path score there is 0.
+ *
+ * @internal
+ */
+export declare function runKatzLinkPrediction(families: readonly AtlasFamily[], k?: number): KatzLinkPredictionResult;
 //# sourceMappingURL=link-prediction.d.ts.map

package/dist/atlas/link-prediction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"link-prediction.d.ts","sourceRoot":"","sources":["../../src/atlas/link-prediction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAG1D,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAChD;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uDAAuD;IACvD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAsBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAAE,CAAC,SAAK,GAAG,oBAAoB,CAkEhG"}
+{"version":3,"file":"link-prediction.d.ts","sourceRoot":"","sources":["../../src/atlas/link-prediction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAO/C,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,4GAA4G;AAC5G,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kCAAkC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,iEAAiE;AACjE,MAAM,WAAW,uBAAuB;IACtC,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED,0FAA0F;AAC1F,MAAM,WAAW,yBAAyB;IACxC,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,gBAAgB,CAAC;CACxC;AAED,uGAAuG;AACvG,eAAO,MAAM,gBAAgB,EAC3B,kGAA2G,CAAC;AAE9G,oDAAoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAChD;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uDAAuD;IACvD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAC;IAC5C,qEAAqE;IACrE,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;IAChD,6FAA6F;IAC7F,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,qDAAqD;AACrD,eAAO,MAAM,cAAc,EAAG,wDAAiE,CAAC;AAEhG,kEAAkE;AAClE,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,mGAAmG;IACnG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;CACxB;AAED,4GAA4G;AAC5G,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,cAAc,CAAC;IACtC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;QACnC,QAAQ,CAAC,GAAG,EAAE,iBAAiB,CAAC;KACjC,CAAC;CACH;AA0ED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAAE,CAAC,SAAK,GAAG,oBAAoB,CAyEhG;AA0CD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAAE,CAAC,SAAK,GAAG,wBAAwB,CAmCxG"}