universal-physics-tensor 9.0.0 → 11.0.0

package/dist/atlas/regime.d.ts

@@ -7,7 +7,7 @@
  *
  * @module atlas/regime
  */
-export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
+export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, makeRegime, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
 export type { RegimeBearing, RegimeOverlap, RegionSample } from '../relations/regime.js';
 import type { AtlasBridge } from './types.js';
 /** Whether a regime's inequalities were satisfied, violated, or could not be checked. @public */

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

@@ -1 +1 @@
-{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,iGAAiG;AACjG,MAAM,MAAM,WAAW,GAAG,OAAO,wBAAwB,EAAE,WAAW,CAAC;AAEvE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CA2BtE"}
+{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,iGAAiG;AACjG,MAAM,MAAM,WAAW,GAAG,OAAO,wBAAwB,EAAE,WAAW,CAAC;AAEvE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CA2BtE"}

package/dist/atlas/regime.js

@@ -7,7 +7,7 @@
  *
  * @module atlas/regime
  */
-export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
+export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, makeRegime, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
 import { MissingDeltaAtError, MissingHorizonError } from './types.js';
 /**
  * Check a regime at supplied group values. A missing coordinate is unknown, not a pass.

package/dist/atlas/regime.js.map

@@ -1 +1 @@
-{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAwB,MAAS;IACjE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,wDAAwD,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,6DAA6D,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,mFAAmF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/E,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,+EAA+E;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAwB,MAAS;IACjE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,wDAAwD,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,6DAA6D,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,mFAAmF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/E,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,+EAA+E;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * Regime admission, and the re-export of the vocabulary half.\n *\n * `deriveRegimeGroups`, `regimeHolds`, and the regime algebra live in\n * `src/relations/regime.ts`. `admitApproximation` stays here because it is\n * generic over `AtlasBridge`.\n *\n * @module atlas/regime\n */\n\nexport {\n  collidingRegimeGroups,\n  deriveRegimeGroups,\n  intersectRegimes,\n  makeRegime,\n  regimeOverlap,\n  uncoveredRegions,\n} from '../relations/regime.js';\nexport type { RegimeBearing, RegimeOverlap, RegionSample } from '../relations/regime.js';\n\nimport type { AtlasBridge } from './types.js';\nimport { MissingDeltaAtError, MissingHorizonError } from './types.js';\n\n/** Whether a regime's inequalities were satisfied, violated, or could not be checked. @public */\nexport type RegimeCheck = import('../relations/regime.js').RegimeCheck;\n\n/**\n * Check a regime at supplied group values. A missing coordinate is unknown, not a pass.\n *\n * @public\n */\nexport { regimeHolds } from '../relations/regime.js';\n\n/**\n * Admit a bridge, refusing an approximation whose horizon is missing.\n *\n * The gate is at ADMISSION, matching the existing throw in `makeApproximation`,\n * and for the same reason: a validator that runs \"later\" can be skipped, and an\n * unhorizoned bound that reached the atlas would be a bound claiming to hold\n * everywhere. The move-the-gate-to-use argument of design note §2 applies to\n * `uniformity` — a field whose absence is a legitimate NOT-YET-ANALYSED state\n * — and NOT to `horizon`, which `ApproximationBound` already mandates.\n *\n * Any relation may carry a `bound`; every bound present is checked, so a\n * `coarse-graining` cannot smuggle in an unhorizoned one.\n *\n * @returns the bridge, unchanged, so this can wrap a record at its definition.\n * The same argument applies to `deltaAt`, the machine form of `delta`, and is\n * why it is checked here beside the horizon. `delta` alone is a single number\n * for a whole domain: an implementer whose bound depends on a parameter can\n * only freeze it at one point, and a frozen point reads exactly like a\n * supremum. Requiring the machine form makes the dependence SAYABLE, so the\n * scalar can be held to its stated meaning. It is required only of an\n * `approximation`, matching `bound` itself; a `coarse-graining` may still\n * carry a constant bound with no `deltaAt`.\n *\n * @throws MissingHorizonError if an `approximation` has no bound, or if a\n *   present bound has an empty `horizon` or no `horizonHolds`.\n * @throws MissingDeltaAtError if an `approximation` bound has no `deltaAt`.\n * @internal\n */\nexport function admitApproximation<T extends AtlasBridge>(bridge: T): T {\n  const { bound } = bridge;\n  if (bound === undefined) {\n    if (bridge.relation === 'approximation') {\n      throw new MissingHorizonError(\n        `${bridge.id}: an approximation requires a bound carrying a horizon`,\n      );\n    }\n    return bridge;\n  }\n  if (bound.horizon.trim() === '') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a non-empty prose horizon`,\n    );\n  }\n  if (typeof bound.horizonHolds !== 'function') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a machine horizonHolds beside its prose horizon`,\n    );\n  }\n  if (bridge.relation === 'approximation' && typeof bound.deltaAt !== 'function') {\n    throw new MissingDeltaAtError(\n      `${bridge.id}: an approximation bound requires a machine deltaAt beside its scalar delta, ` +\n        'which must be the supremum over the whole declared domain',\n    );\n  }\n  return bridge;\n}\n"]}

package/dist/atlas/serialize.d.ts

@@ -1,18 +1,19 @@
 /**
  * JSON projection of an atlas family (Atlas Phase 0, S0.6).
  *
- * The in-memory record is not JSON. Two fields make that true, and both are
+ * The in-memory record is not JSON. Two things make that true, and both are
  * handled here rather than left to `JSON.stringify`:
  *
- * 1. `AtlasBridge.evidence` is a `ReadonlySet<EvidenceTag>`, and a `Set`
- *    stringifies to `{}` — the artifact would be silently empty exactly where
- *    the evidence lives. Design note §7 requires the emitter to serialize it
- *    explicitly; it is emitted as a SORTED array so the artifact is stable
- *    under insertion-order changes.
- * 2. `ApproximationBound.horizonHolds` is a function, which stringifies to
- *    nothing at all. Only the `horizon` PROSE crosses into JSON; the machine
- *    predicate stays in TypeScript, as `data/schemas/atlas-record.v0.json`
- *    states.
+ * 1. A bridge stores NO evidence set. The artifact's `evidence` is DERIVED
+ *    at write time by `deriveEvidence`, against the committed witness results
+ *    the caller passes in (`data/atlas/witness-results.json`), and emitted as
+ *    a SORTED array so the artifact is stable under insertion order. The
+ *    sentence that the record carried a `Set` the emitter copied is the
+ *    record from before the hand-set field was removed.
+ * 2. `ApproximationBound.horizonHolds` and `deltaAt` are functions, which
+ *    stringify to nothing at all. Only the `horizon` PROSE and the
+ *    `deltaAtBasis` label cross into JSON; the machine forms stay in
+ *    TypeScript, as `data/schemas/atlas-record.v0.json` states.
  *
  * Every record key order and every `Record<>` key order is fixed here, so two
  * calls on the same family produce byte-identical output. That is what lets
@@ -21,7 +22,8 @@
  *
  * @module atlas/serialize
  */
-import type { AtlasFamily } from './oscillators/index.js';
+import type { AtlasFamily } from './family.js';
+import type { WitnessResultsArtifact } from './witness-artifact.js';
 /** Record major version of the emitted artifact. @internal */
 export declare const ATLAS_RECORD_SCHEMA_VERSION = "0";
 /** A JSON value, as emitted. @internal */
@@ -44,7 +46,11 @@ export interface AtlasRecordJson {
  *
  * Deterministic: equal inputs give byte-identical `JSON.stringify` output.
  *
+ * @param witnessResults - the committed `data/atlas/witness-results.json`.
+ * Each bridge's `evidence` is derived against it; it is REQUIRED, because a
+ * defaulted empty artifact would publish `proposed` for every bridge and
+ * read exactly like a measured negative.
  * @internal
  */
-export declare function toAtlasJson(family: AtlasFamily, packageVersion: string): AtlasRecordJson;
+export declare function toAtlasJson(family: AtlasFamily, packageVersion: string, witnessResults: WitnessResultsArtifact): AtlasRecordJson;
 //# sourceMappingURL=serialize.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAUH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,8DAA8D;AAC9D,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAE/C,0CAA0C;AAC1C,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAExC,sCAAsC;AACtC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAC3C;AAgLD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,EACnB,cAAc,EAAE,MAAM,GACrB,eAAe,CAUjB"}
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAGpE,8DAA8D;AAC9D,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAE/C,0CAA0C;AAC1C,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAExC,sCAAsC;AACtC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAC3C;AAmLD;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,EACnB,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,sBAAsB,GACrC,eAAe,CAUjB"}

package/dist/atlas/serialize.js

@@ -1,18 +1,19 @@
 /**
  * JSON projection of an atlas family (Atlas Phase 0, S0.6).
  *
- * The in-memory record is not JSON. Two fields make that true, and both are
+ * The in-memory record is not JSON. Two things make that true, and both are
  * handled here rather than left to `JSON.stringify`:
  *
- * 1. `AtlasBridge.evidence` is a `ReadonlySet<EvidenceTag>`, and a `Set`
- *    stringifies to `{}` — the artifact would be silently empty exactly where
- *    the evidence lives. Design note §7 requires the emitter to serialize it
- *    explicitly; it is emitted as a SORTED array so the artifact is stable
- *    under insertion-order changes.
- * 2. `ApproximationBound.horizonHolds` is a function, which stringifies to
- *    nothing at all. Only the `horizon` PROSE crosses into JSON; the machine
- *    predicate stays in TypeScript, as `data/schemas/atlas-record.v0.json`
- *    states.
+ * 1. A bridge stores NO evidence set. The artifact's `evidence` is DERIVED
+ *    at write time by `deriveEvidence`, against the committed witness results
+ *    the caller passes in (`data/atlas/witness-results.json`), and emitted as
+ *    a SORTED array so the artifact is stable under insertion order. The
+ *    sentence that the record carried a `Set` the emitter copied is the
+ *    record from before the hand-set field was removed.
+ * 2. `ApproximationBound.horizonHolds` and `deltaAt` are functions, which
+ *    stringify to nothing at all. Only the `horizon` PROSE and the
+ *    `deltaAtBasis` label cross into JSON; the machine forms stay in
+ *    TypeScript, as `data/schemas/atlas-record.v0.json` states.
  *
  * Every record key order and every `Record<>` key order is fixed here, so two
  * calls on the same family produce byte-identical output. That is what lets
@@ -21,6 +22,8 @@
  *
  * @module atlas/serialize
  */
+import { deriveEvidence } from './derive-evidence.js';
+import { artifactPassingWitnessIds } from './witness-artifact.js';
 /** Record major version of the emitted artifact. @internal */
 export const ATLAS_RECORD_SCHEMA_VERSION = '0';
 /** Rebuild a record with its keys in sorted order, so emission is stable. */
@@ -63,8 +66,10 @@ const serializeRegime = (regime) => {
 /**
  * `horizonHolds` and `deltaAt` are deliberately absent: a predicate is not
  * data, and a serialized function would be a claim no reader could check.
- * `uniformity` IS data. `null` is the not-yet-analysed state and must be
- * present in the artifact, not dropped.
+ * `deltaAtBasis` IS data: it says whether the point value `deltaAt` returns
+ * is the closed-form error or a numerically supported one, which a reader of
+ * the artifact cannot otherwise tell. `uniformity` IS data. `null` is the
+ * not-yet-analysed state and must be present in the artifact, not dropped.
  */
 const serializeBound = (bound) => ({
     K: zeroSafe(bound.K),
@@ -75,6 +80,7 @@ const serializeBound = (bound) => ({
     ...(bound.parameterRange === undefined ? {} : { parameterRange: bound.parameterRange }),
     limitCharacter: bound.limitCharacter,
     uniformity: bound.uniformity === null ? null : [...bound.uniformity],
+    ...(bound.deltaAtBasis === undefined ? {} : { deltaAtBasis: bound.deltaAtBasis }),
 });
 /**
  * Fields are enumerated EXPLICITLY, never spread: a new optional field stays
@@ -124,7 +130,7 @@ const serializeNormTransports = (transports) => transports.map((nt) => ({
     witness: serializeWitnesses([nt.witness])[0],
     basis: nt.basis,
 }));
-const serializeBridge = (bridge) => ({
+const serializeBridge = (bridge, witnessResults) => ({
     id: bridge.id,
     relation: bridge.relation,
     premises: [...bridge.premises],
@@ -140,9 +146,9 @@ const serializeBridge = (bridge) => ({
         description: c.description,
         witness: c.witness,
     })),
-    // The Set, explicitly — sorted, so the artifact does not churn on
-    // insertion order.
-    evidence: [...bridge.evidence].sort(),
+    // DERIVED against the committed witness results, never read from the
+    // record — sorted, so the artifact does not churn on insertion order.
+    evidence: [...deriveEvidence(bridge, artifactPassingWitnessIds(witnessResults, bridge.id))].sort(),
     witnesses: serializeWitnesses(bridge.witnesses),
     citations: [...bridge.citations],
     reviewStatus: bridge.reviewStatus,
@@ -189,16 +195,20 @@ const serializeRejection = (rejection) => ({
  *
  * Deterministic: equal inputs give byte-identical `JSON.stringify` output.
  *
+ * @param witnessResults - the committed `data/atlas/witness-results.json`.
+ * Each bridge's `evidence` is derived against it; it is REQUIRED, because a
+ * defaulted empty artifact would publish `proposed` for every bridge and
+ * read exactly like a measured negative.
  * @internal
  */
-export function toAtlasJson(family, packageVersion) {
+export function toAtlasJson(family, packageVersion, witnessResults) {
     return {
         $schema: '../schemas/atlas-record.v0.json',
         schemaVersion: ATLAS_RECORD_SCHEMA_VERSION,
         packageVersion,
         family: family.family,
         models: family.models.map(serializeModel),
-        bridges: family.bridges.map(serializeBridge),
+        bridges: family.bridges.map((bridge) => serializeBridge(bridge, witnessResults)),
         rejections: family.rejections.map(serializeRejection),
     };
 }

package/dist/atlas/serialize.js.map

@@ -1 +1 @@
-{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAYH,8DAA8D;AAC9D,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAsB/C,6EAA6E;AAC7E,MAAM,YAAY,GAAG,CAAI,MAAmC,EAAqB,EAAE;IACjF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAM,CAAC;IAC1E,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAa,EAAE;IACrD,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;IACxF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAc,EAAa,EAAE;IACpD,MAAM,WAAW,GAA8B,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9D,WAAW,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAY,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,gBAAgB,EAAE,WAAW;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,KAAyB,EAAa,EAAE,CAAC,CAAC;IAChE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACpB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;IAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;IACvF,cAAc,EAAE,KAAK,CAAC,cAAc;IACpC,UAAU,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;CACrE,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAa,EAAE,CAAC,CAAC;IACxD,EAAE,EAAE,KAAK,CAAC,EAAE;IACZ,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE;KAClB,CAAC,CAAC;IACH,mBAAmB,EAAE,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC;IACnD,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;IACvC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;IACrC,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IACtF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnF,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;CACrF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CACzB,SAAmC,EACb,EAAE,CACxB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpB,EAAE,EAAE,CAAC,CAAC,EAAE;IACR,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;CACjE,CAAC,CAAC,CAAC;AAEN;;;GAGG;AACH,MAAM,uBAAuB,GAAG,CAC9B,UAAsD,EAChC,EAAE,CACxB,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACtB,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,SAAS,EAAE,EAAE,CAAC,SAAS;IACvB,OAAO,EAAE,EAAE,CAAC,OAAO;IACnB,IAAI,EAAE,EAAE,CAAC,IAAI;IACb,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,EAAE,CAAC,MAAM;IACjB,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;IAC1F,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE;IAC7C,KAAK,EAAE,EAAE,CAAC,KAAK;CAChB,CAAC,CAAC,CAAC;AAEN,MAAM,eAAe,GAAG,CAAC,MAAmB,EAAa,EAAE,CAAC,CAAC;IAC3D,EAAE,EAAE,MAAM,CAAC,EAAE;IACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpE,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC;IAC5C,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;IAC1C,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9E,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC;IACH,kEAAkE;IAClE,mBAAmB;IACnB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;IACrC,SAAS,EAAE,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC;IAC/C,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,6EAA6E;IAC7E,0EAA0E;IAC1E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,SAAS,EAAE;gBACT,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;gBAC/B,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS;gBACrC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO;gBACjC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBACpC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;gBACnC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI;gBAC3B,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG;gBACzB,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;aAChC;SACF,CAAC;IACN,sEAAsE;IACtE,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS;QACrC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,cAAc,EAAE,uBAAuB,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,SAAyB,EAAa,EAAE,CAAC,CAAC;IACpE,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,eAAe,EAAE,SAAS,CAAC,OAAO;IAClC,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;IACjC,UAAU,EAAE,SAAS,CAAC,UAAU;IAChC,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,cAAc,EAAE,SAAS,CAAC,cAAc;IACxC,cAAc,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE;IACjD,SAAS,EAAE,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC;CACnD,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,MAAmB,EACnB,cAAsB;IAEtB,OAAO;QACL,OAAO,EAAE,iCAAiC;QAC1C,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC;QAC5C,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC;KACtD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAWH,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAElE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAsB/C,6EAA6E;AAC7E,MAAM,YAAY,GAAG,CAAI,MAAmC,EAAqB,EAAE;IACjF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAM,CAAC;IAC1E,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAa,EAAE;IACrD,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;IACxF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAc,EAAa,EAAE;IACpD,MAAM,WAAW,GAA8B,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9D,WAAW,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAY,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,gBAAgB,EAAE,WAAW;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,cAAc,GAAG,CAAC,KAAyB,EAAa,EAAE,CAAC,CAAC;IAChE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACpB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;IAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;IACvF,cAAc,EAAE,KAAK,CAAC,cAAc;IACpC,UAAU,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;IACpE,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;CAClF,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAa,EAAE,CAAC,CAAC;IACxD,EAAE,EAAE,KAAK,CAAC,EAAE;IACZ,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE;KAClB,CAAC,CAAC;IACH,mBAAmB,EAAE,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC;IACnD,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;IACvC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;IACrC,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IACtF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnF,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;CACrF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CACzB,SAAmC,EACb,EAAE,CACxB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpB,EAAE,EAAE,CAAC,CAAC,EAAE;IACR,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;CACjE,CAAC,CAAC,CAAC;AAEN;;;GAGG;AACH,MAAM,uBAAuB,GAAG,CAC9B,UAAsD,EAChC,EAAE,CACxB,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACtB,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,SAAS,EAAE,EAAE,CAAC,SAAS;IACvB,OAAO,EAAE,EAAE,CAAC,OAAO;IACnB,IAAI,EAAE,EAAE,CAAC,IAAI;IACb,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,EAAE,CAAC,MAAM;IACjB,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;IAC1F,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE;IAC7C,KAAK,EAAE,EAAE,CAAC,KAAK;CAChB,CAAC,CAAC,CAAC;AAEN,MAAM,eAAe,GAAG,CAAC,MAAmB,EAAE,cAAsC,EAAa,EAAE,CAAC,CAAC;IACnG,EAAE,EAAE,MAAM,CAAC,EAAE;IACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpE,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC;IAC5C,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;IAC1C,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9E,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC;IACH,qEAAqE;IACrE,sEAAsE;IACtE,QAAQ,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,yBAAyB,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;IAClG,SAAS,EAAE,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC;IAC/C,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,6EAA6E;IAC7E,0EAA0E;IAC1E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,SAAS,EAAE;gBACT,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;gBAC/B,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS;gBACrC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO;gBACjC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBACpC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;gBACnC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI;gBAC3B,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG;gBACzB,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;aAChC;SACF,CAAC;IACN,sEAAsE;IACtE,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS;QACrC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,cAAc,EAAE,uBAAuB,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,SAAyB,EAAa,EAAE,CAAC,CAAC;IACpE,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,eAAe,EAAE,SAAS,CAAC,OAAO;IAClC,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;IACjC,UAAU,EAAE,SAAS,CAAC,UAAU;IAChC,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,cAAc,EAAE,SAAS,CAAC,cAAc;IACxC,cAAc,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE;IACjD,SAAS,EAAE,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC;CACnD,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CACzB,MAAmB,EACnB,cAAsB,EACtB,cAAsC;IAEtC,OAAO;QACL,OAAO,EAAE,iCAAiC;QAC1C,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChF,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC;KACtD,CAAC;AACJ,CAAC","sourcesContent":["/**\n * JSON projection of an atlas family (Atlas Phase 0, S0.6).\n *\n * The in-memory record is not JSON. Two things make that true, and both are\n * handled here rather than left to `JSON.stringify`:\n *\n * 1. A bridge stores NO evidence set. The artifact's `evidence` is DERIVED\n *    at write time by `deriveEvidence`, against the committed witness results\n *    the caller passes in (`data/atlas/witness-results.json`), and emitted as\n *    a SORTED array so the artifact is stable under insertion order. The\n *    sentence that the record carried a `Set` the emitter copied is the\n *    record from before the hand-set field was removed.\n * 2. `ApproximationBound.horizonHolds` and `deltaAt` are functions, which\n *    stringify to nothing at all. Only the `horizon` PROSE and the\n *    `deltaAtBasis` label cross into JSON; the machine forms stay in\n *    TypeScript, as `data/schemas/atlas-record.v0.json` states.\n *\n * Every record key order and every `Record<>` key order is fixed here, so two\n * calls on the same family produce byte-identical output. That is what lets\n * `tests/atlas/atlas-json.test.ts` pin the committed artifact against the live\n * family the way `catalog-json.test.ts` pins the bridge catalog.\n *\n * @module atlas/serialize\n */\n\nimport type { PiGroup } from '../dimensional/buckingham.js';\nimport type {\n  ApproximationBound,\n  AtlasBridge,\n  AtlasRejection,\n  Regime,\n} from './types.js';\nimport type { AtlasModel } from './model.js';\nimport type { AtlasFamily } from './family.js';\nimport { deriveEvidence } from './derive-evidence.js';\nimport type { WitnessResultsArtifact } from './witness-artifact.js';\nimport { artifactPassingWitnessIds } from './witness-artifact.js';\n\n/** Record major version of the emitted artifact. @internal */\nexport const ATLAS_RECORD_SCHEMA_VERSION = '0';\n\n/** A JSON value, as emitted. @internal */\nexport type JsonValue =\n  | string\n  | number\n  | boolean\n  | null\n  | readonly JsonValue[]\n  | { readonly [k: string]: JsonValue };\n\n/** The emitted artifact. @internal */\nexport interface AtlasRecordJson {\n  readonly $schema: string;\n  readonly schemaVersion: string;\n  readonly packageVersion: string;\n  readonly family: string;\n  readonly models: readonly JsonValue[];\n  readonly bridges: readonly JsonValue[];\n  readonly rejections: readonly JsonValue[];\n}\n\n/** Rebuild a record with its keys in sorted order, so emission is stable. */\nconst sortedRecord = <T>(source: Readonly<Record<string, T>>): Record<string, T> => {\n  const out: Record<string, T> = {};\n  for (const key of Object.keys(source).sort()) out[key] = source[key] as T;\n  return out;\n};\n\n/**\n * Normalize negative zero. `buckinghamPi` produces `-0` exponents (a `-1 * 0`\n * in the null-space arithmetic), and `JSON.stringify(-0)` is `\"0\"` — so a\n * record holding `-0` does NOT survive its own round-trip. Collapsing it here\n * makes the projection genuinely JSON-faithful instead of nearly so.\n */\nconst zeroSafe = (n: number): number => (n === 0 ? 0 : n);\n\nconst serializePiGroup = (group: PiGroup): JsonValue => {\n  const exponents: Record<string, number> = {};\n  const sorted = sortedRecord(group.exponents);\n  for (const key of Object.keys(sorted)) exponents[key] = zeroSafe(sorted[key] as number);\n  return { exponents, formula: group.formula };\n};\n\nconst serializeRegime = (regime: Regime): JsonValue => {\n  const definitions: Record<string, JsonValue> = {};\n  for (const key of Object.keys(regime.groupDefinitions).sort()) {\n    definitions[key] = serializePiGroup(regime.groupDefinitions[key] as PiGroup);\n  }\n  return {\n    family: regime.family,\n    inequalities: regime.inequalities.map((i) => ({\n      group: i.group,\n      op: i.op,\n      bound: zeroSafe(i.bound),\n      ...(i.alias === undefined ? {} : { alias: i.alias }),\n    })),\n    groupDefinitions: definitions,\n  };\n};\n\n/**\n * `horizonHolds` and `deltaAt` are deliberately absent: a predicate is not\n * data, and a serialized function would be a claim no reader could check.\n * `deltaAtBasis` IS data: it says whether the point value `deltaAt` returns\n * is the closed-form error or a numerically supported one, which a reader of\n * the artifact cannot otherwise tell. `uniformity` IS data. `null` is the\n * not-yet-analysed state and must be present in the artifact, not dropped.\n */\nconst serializeBound = (bound: ApproximationBound): JsonValue => ({\n  K: zeroSafe(bound.K),\n  delta: zeroSafe(bound.delta),\n  norm: bound.norm,\n  domain: bound.domain,\n  horizon: bound.horizon,\n  ...(bound.parameterRange === undefined ? {} : { parameterRange: bound.parameterRange }),\n  limitCharacter: bound.limitCharacter,\n  uniformity: bound.uniformity === null ? null : [...bound.uniformity],\n  ...(bound.deltaAtBasis === undefined ? {} : { deltaAtBasis: bound.deltaAtBasis }),\n});\n\n/**\n * Fields are enumerated EXPLICITLY, never spread: a new optional field stays\n * invisible to the artifact until it is added here, so a model that records\n * none of the Phase 3 additions serializes byte-identically to the committed\n * `data/atlas/oscillators.json` that `tests/atlas/atlas-json.test.ts`\n * deep-equals against.\n */\nconst serializeModel = (model: AtlasModel): JsonValue => ({\n  id: model.id,\n  family: model.family,\n  stateSpace: model.stateSpace,\n  dynamics: model.dynamics,\n  observables: [...model.observables],\n  parameters: model.parameters.map((p) => ({\n    name: p.name,\n    dim: { ...p.dim },\n  })),\n  dimensionlessInputs: [...model.dimensionlessInputs],\n  canonicalRefs: [...model.canonicalRefs],\n  regime: serializeRegime(model.regime),\n  ...(model.boundaryData === undefined ? {} : { boundaryData: [...model.boundaryData] }),\n  ...(model.initialData === undefined ? {} : { initialData: [...model.initialData] }),\n  ...(model.symmetryGroup === undefined ? {} : { symmetryGroup: model.symmetryGroup }),\n});\n\nconst serializeWitnesses = (\n  witnesses: AtlasBridge['witnesses'],\n): readonly JsonValue[] =>\n  witnesses.map((w) => ({\n    id: w.id,\n    kind: w.kind,\n    test: w.test,\n    ...(w.tolerance === undefined ? {} : { tolerance: w.tolerance }),\n  }));\n\n/**\n * A norm transport's `KAt` and `timeMap.restateHorizon` are functions and are\n * absent for the reason `serializeBound` gives; the declaration's data is kept.\n */\nconst serializeNormTransports = (\n  transports: NonNullable<AtlasBridge['normTransports']>,\n): readonly JsonValue[] =>\n  transports.map((nt) => ({\n    id: nt.id,\n    fromModel: nt.fromModel,\n    toModel: nt.toModel,\n    from: nt.from,\n    to: nt.to,\n    K: zeroSafe(nt.K),\n    domain: nt.domain,\n    derivation: nt.derivation,\n    timeMap: { map: nt.timeMap.map, uniform: nt.timeMap.uniform, horizon: nt.timeMap.horizon },\n    uniformity: nt.uniformity,\n    witness: serializeWitnesses([nt.witness])[0]!,\n    basis: nt.basis,\n  }));\n\nconst serializeBridge = (bridge: AtlasBridge, witnessResults: WitnessResultsArtifact): JsonValue => ({\n  id: bridge.id,\n  relation: bridge.relation,\n  premises: [...bridge.premises],\n  conclusion: bridge.conclusion,\n  transformation: bridge.transformation,\n  ...(bridge.inverse === undefined ? {} : { inverse: bridge.inverse }),\n  preserves: [...bridge.preserves],\n  doesNotPreserve: [...bridge.doesNotPreserve],\n  sideConditions: [...bridge.sideConditions],\n  ...(bridge.bound === undefined ? {} : { bound: serializeBound(bridge.bound) }),\n  regime: serializeRegime(bridge.regime),\n  counterexamples: bridge.counterexamples.map((c) => ({\n    description: c.description,\n    witness: c.witness,\n  })),\n  // DERIVED against the committed witness results, never read from the\n  // record — sorted, so the artifact does not churn on insertion order.\n  evidence: [...deriveEvidence(bridge, artifactPassingWitnessIds(witnessResults, bridge.id))].sort(),\n  witnesses: serializeWitnesses(bridge.witnesses),\n  citations: [...bridge.citations],\n  reviewStatus: bridge.reviewStatus,\n  // Omitted, never emptied, when absent (Phase 4 S4.6): an absent reference is\n  // the honest default, and `{}` would read as a reference with no content.\n  ...(bridge.formalRef === undefined\n    ? {}\n    : {\n        formalRef: {\n          system: bridge.formalRef.system,\n          statement: bridge.formalRef.statement,\n          version: bridge.formalRef.version,\n          axioms: [...bridge.formalRef.axioms],\n          fidelity: bridge.formalRef.fidelity,\n          kind: bridge.formalRef.kind,\n          url: bridge.formalRef.url,\n          covers: bridge.formalRef.covers,\n        },\n      }),\n  // Omitted when absent, like formalRef: no declaration is the default.\n  ...(bridge.normTransports === undefined\n    ? {}\n    : { normTransports: serializeNormTransports(bridge.normTransports) }),\n});\n\n/**\n * `claimed` is emitted as `claimedRelation`, and `reason` is ALSO emitted as\n * `counterexample.description`, because the schema's rejection record names\n * those two keys. The description is the refutation itself restated under the\n * key the schema requires — no new claim is introduced.\n */\nconst serializeRejection = (rejection: AtlasRejection): JsonValue => ({\n  id: rejection.id,\n  claimedRelation: rejection.claimed,\n  premises: [...rejection.premises],\n  conclusion: rejection.conclusion,\n  reason: rejection.reason,\n  survivingGroup: rejection.survivingGroup,\n  counterexample: { description: rejection.reason },\n  witnesses: serializeWitnesses(rejection.witnesses),\n});\n\n/**\n * Project an atlas family into the shape of\n * `data/schemas/atlas-record.v0.json`.\n *\n * Deterministic: equal inputs give byte-identical `JSON.stringify` output.\n *\n * @param witnessResults - the committed `data/atlas/witness-results.json`.\n * Each bridge's `evidence` is derived against it; it is REQUIRED, because a\n * defaulted empty artifact would publish `proposed` for every bridge and\n * read exactly like a measured negative.\n * @internal\n */\nexport function toAtlasJson(\n  family: AtlasFamily,\n  packageVersion: string,\n  witnessResults: WitnessResultsArtifact,\n): AtlasRecordJson {\n  return {\n    $schema: '../schemas/atlas-record.v0.json',\n    schemaVersion: ATLAS_RECORD_SCHEMA_VERSION,\n    packageVersion,\n    family: family.family,\n    models: family.models.map(serializeModel),\n    bridges: family.bridges.map((bridge) => serializeBridge(bridge, witnessResults)),\n    rejections: family.rejections.map(serializeRejection),\n  };\n}\n"]}

package/dist/atlas/statement.js.map

@@ -1 +1 @@
-{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../src/atlas/statement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAmGpD,8EAA8E;AAC9E,SAAS,eAAe,CACtB,QAA4B,EAC5B,GAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,YAAY,CAAC,QAA4B;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,gEAAgE,CAAC,CAAC;IACzF,CAAC;IAED,6EAA6E;IAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAA6B,gBAAgB,CACtD,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,EACxB,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,CACzB,CAAC;YACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,qBAAqB;oBAC7B,MAAM,EACJ,YAAY,CAAC,QAAQ,CAAC,gCAAgC;wBACtD,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB;iBAC/D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,2BAA2B;oBACnC,MAAM,EACJ,WAAW,CAAC,cAAc,CAAC,oBAAoB,EAAE,YAAY;wBAC7D,2CAA2C;iBAC9C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,CAAU,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,iBAAiB;gBACzB,MAAM,EACJ,wBAAwB,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI;oBAC1D,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB;aAClE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,uEAAuE;IACvE,0EAA0E;IAC1E,4BAA4B;IAC5B,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,KAAK,SAAS;gBAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE;YACP,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC;gBACrC,CAAC,CAAC,EAAE,WAAW,EAAE,WAA0B,EAAE;gBAC7C,CAAC,CAAC,EAAE,CAAC;YACP,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;SAC5D;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAA2B,EAC3B,QAA6C;IAE7C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAAC,6CAA6C,EAAE,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC"}
+{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../src/atlas/statement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAmGpD,8EAA8E;AAC9E,SAAS,eAAe,CACtB,QAA4B,EAC5B,GAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,YAAY,CAAC,QAA4B;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,gEAAgE,CAAC,CAAC;IACzF,CAAC;IAED,6EAA6E;IAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAA6B,gBAAgB,CACtD,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,EACxB,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,CACzB,CAAC;YACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,qBAAqB;oBAC7B,MAAM,EACJ,YAAY,CAAC,QAAQ,CAAC,gCAAgC;wBACtD,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB;iBAC/D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,2BAA2B;oBACnC,MAAM,EACJ,WAAW,CAAC,cAAc,CAAC,oBAAoB,EAAE,YAAY;wBAC7D,2CAA2C;iBAC9C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,CAAU,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,iBAAiB;gBACzB,MAAM,EACJ,wBAAwB,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI;oBAC1D,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB;aAClE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,uEAAuE;IACvE,0EAA0E;IAC1E,4BAA4B;IAC5B,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,KAAK,SAAS;gBAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE;YACP,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC;gBACrC,CAAC,CAAC,EAAE,WAAW,EAAE,WAA0B,EAAE;gBAC7C,CAAC,CAAC,EAAE,CAAC;YACP,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;SAC5D;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAA2B,EAC3B,QAA6C;IAE7C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAAC,6CAA6C,EAAE,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — `Statement`, `Context`, and the CHECKED context union.\n *\n * A `Statement` is a claim IN A CONTEXT, not a string. Design note\n * `docs/planning/Atlas-Phase-3-Design.md` §1: two statements that render\n * identically can be claims about different things when their gauge, frame or\n * assumption set differs, and the poster index will place exactly such pairs\n * next to each other. `context` is therefore the reason this type exists at\n * all rather than reusing `CanonicalEquation`.\n *\n * ## `ast?` is optional ON PURPOSE\n *\n * The poster's hidden supporting nodes — the action principle, Noether, the\n * full Maxwell set, the Lorentz group, the central limit theorem — are\n * valuable because they are NAMED and LINKED, not because they are evaluable.\n * Requiring an `ast` would force either a fabricated encoding or their\n * exclusion, and both are worse than an honest `sourceExpression` with no\n * `ast` (design note §1). Do not make it required.\n *\n * ## The union is CHECKED, never computed\n *\n * {@link contextUnion} does not MERGE contexts. It asks whether a union\n * EXISTS, and returns an explicit refusal when it does not. Two refusals\n * matter, and neither is an error condition:\n *\n * 1. **Convention conflict** — delegated to `checkConventions`, whose contract\n *    is that `undefined` means UNKNOWN and is never a mismatch. An absent\n *    declaration must not read as agreement, so the asymmetry is preserved\n *    here rather than re-derived.\n * 2. **Contradictory assumptions** — Blueprint v2 §5.2 step 2: incompatible\n *    assumptions are NEVER POOLED. A derivation whose premises assume mutually\n *    exclusive conditions has no context union, therefore no composite.\n *\n * The result is a DISCRIMINATED UNION, mirroring `boundPath`'s no-claim\n * (`./path-bound.ts`): a caller cannot read `.context` off a refusal, because\n * a refusal has no `.context`. That is the whole point — the refusal is\n * enforced by the type, so no caller can read a conclusion off a union that\n * was never formed.\n *\n * Pure: no I/O, no registry reads.\n *\n * @module atlas/statement\n */\n\nimport { checkConventions } from './conventions.js';\nimport type { ConventionKey } from './conventions.js';\nimport type { Conventions } from './types.js';\nimport type { ModelId } from './model.js';\nimport type { ExprNode } from '../dimensional/ast-types.js';\n\n/** A {@link Statement} id — `'statement-noether'`, … . @internal */\nexport type StatementId = string;\n\n/**\n * The context a claim is made in: what it quantifies over, which choices it\n * fixes, and what it assumes.\n *\n * Every field but `assumptions` and `excludes` is optional, and the SAME\n * asymmetry `checkConventions` documents applies to each: a context that\n * declares no `gauge` has not chosen the Lorenz gauge, it has not said.\n * Absence is unknown, never disagreement.\n *\n * `assumptions` and `excludes` are required (possibly empty) because they are\n * the pair that decides poolability, and an optional one would let a caller\n * omit the field that makes a refusal possible.\n *\n * @internal\n */\nexport interface Context {\n  /** Canonical quantity types the claim ranges over — `['energy', 'time']`. */\n  readonly quantityTypes?: readonly string[];\n  /** `'Lorenz'`, `'Coulomb'` — a fixed gauge choice, when the claim depends on one. */\n  readonly gauge?: string;\n  /** `'comoving'`, `'lab'` — a fixed frame choice, when the claim depends on one. */\n  readonly frame?: string;\n  /** Sign and unit choices. Compared by `checkConventions`. */\n  readonly conventions?: Conventions;\n  /** Stated assumptions — `'isolated system'`, `'weak field'`. */\n  readonly assumptions: readonly string[];\n  /**\n   * Assumption strings this context is INCOMPATIBLE with.\n   *\n   * Declared per context rather than inferred, because no rule in this repo\n   * can decide that `'weak field'` and `'strong field'` exclude each other\n   * from the strings alone. A guess here would manufacture refusals out of\n   * vocabulary rather than physics.\n   *\n   * Matching is exact string equality against another context's\n   * `assumptions`, and it is SYMMETRIC in effect: it is enough for one side\n   * to declare the exclusion.\n   */\n  readonly excludes: readonly string[];\n}\n\n/**\n * A claim in a context.\n *\n * @internal\n */\nexport interface Statement {\n  /** `'statement-noether'`, `'statement-l1-maxwell'`, … */\n  readonly id: StatementId;\n  /** The load-bearing field — see the module note. */\n  readonly context: Context;\n  readonly model: ModelId;\n  /** OPTIONAL BY DESIGN — see the module note. Absent ⇒ named-and-linked only. */\n  readonly ast?: ExprNode;\n  /** `'dS = 0'` — the source form, always present even when `ast` is not. */\n  readonly sourceExpression: string;\n  /** Rendered form for the poster index. */\n  readonly display: string;\n}\n\n/** Why a set of contexts has NO union. @internal */\nexport type NoUnionReason =\n  /** Two contexts DECLARE different values for a convention key. */\n  | 'convention-conflict'\n  /** One context excludes an assumption another one states. */\n  | 'contradictory-assumptions'\n  /** Two contexts DECLARE different gauges or frames. */\n  | 'choice-conflict';\n\n/** The contexts DO pool, and this is the pooled context. @internal */\nexport interface ContextUnionFormed {\n  readonly kind: 'union';\n  readonly context: Context;\n}\n\n/** The contexts do NOT pool, and this is why. @internal */\nexport interface ContextUnionRefused {\n  readonly kind: 'no-union';\n  readonly reason: NoUnionReason;\n  /** Human-readable specifics: which key, which assumption. */\n  readonly detail: string;\n}\n\n/**\n * The result of {@link contextUnion}: a pooled context, or an explicit refusal.\n *\n * @internal\n */\nexport type ContextUnionResult = ContextUnionFormed | ContextUnionRefused;\n\n/** Distinct declared values of one optional choice field, across contexts. */\nfunction declaredChoices(\n  contexts: readonly Context[],\n  key: 'gauge' | 'frame',\n): readonly string[] {\n  const seen = new Set<string>();\n  for (const c of contexts) {\n    const v = c[key];\n    if (v !== undefined) seen.add(v);\n  }\n  return [...seen];\n}\n\n/**\n * The union of `contexts`, or an explicit refusal.\n *\n * Three gates, in this order; the FIRST refusal found is the one reported.\n *\n * 1. **Conventions.** Every PAIR is compared with `checkConventions`. Pairwise\n *    rather than folded, because folding would compare each context against a\n *    running merge and a merge has already lost which side declared what —\n *    the exact information the `undefined`-is-unknown rule needs.\n * 2. **Assumptions.** A context's `excludes` entry matching any context's\n *    stated `assumption` refuses the pool. Blueprint v2 §5.2 step 2.\n * 3. **Gauge / frame.** Two DECLARED and different values refuse; one declared\n *    and one absent does not, mirroring gate 1's asymmetry.\n *\n * An empty list has no union: a union over nothing would be a context\n * asserted about no claim, the same reason `boundPath` throws on an empty\n * path. It is a `RangeError`, not a refusal, because it is a caller bug rather\n * than a physical incompatibility.\n *\n * @throws RangeError when `contexts` is empty.\n * @internal\n */\nexport function contextUnion(contexts: readonly Context[]): ContextUnionResult {\n  if (contexts.length === 0) {\n    throw new RangeError('contextUnion: no contexts; a union over nothing states nothing');\n  }\n\n  // ── Gate 1: no DECLARED convention pair may disagree ──────────────────────\n  for (let i = 0; i < contexts.length; i++) {\n    for (let j = i + 1; j < contexts.length; j++) {\n      const clash: readonly ConventionKey[] = checkConventions(\n        contexts[i]!.conventions,\n        contexts[j]!.conventions,\n      );\n      if (clash.length > 0) {\n        return {\n          kind: 'no-union',\n          reason: 'convention-conflict',\n          detail:\n            `contexts ${i} and ${j} declare different values for ` +\n            `${clash.map((k) => `'${k}'`).join(', ')}; they do not pool`,\n        };\n      }\n    }\n  }\n\n  // ── Gate 2: incompatible assumptions are NEVER pooled ─────────────────────\n  const stated = new Map<string, number>();\n  for (let i = 0; i < contexts.length; i++) {\n    for (const a of contexts[i]!.assumptions) {\n      if (!stated.has(a)) stated.set(a, i);\n    }\n  }\n  for (let i = 0; i < contexts.length; i++) {\n    for (const x of contexts[i]!.excludes) {\n      const at = stated.get(x);\n      if (at !== undefined) {\n        return {\n          kind: 'no-union',\n          reason: 'contradictory-assumptions',\n          detail:\n            `context ${i} excludes '${x}', which context ${at} assumes; ` +\n            'incompatible assumptions are never pooled',\n        };\n      }\n    }\n  }\n\n  // ── Gate 3: a declared gauge or frame may not be contradicted ─────────────\n  for (const key of ['gauge', 'frame'] as const) {\n    const values = declaredChoices(contexts, key);\n    if (values.length > 1) {\n      return {\n        kind: 'no-union',\n        reason: 'choice-conflict',\n        detail:\n          `the contexts declare ${values.length} different ${key}s ` +\n          `(${values.map((v) => `'${v}'`).join(', ')}); they do not pool`,\n      };\n    }\n  }\n\n  // ── The pool ──────────────────────────────────────────────────────────────\n  // Conventions merge by KEY rather than by object, so a context silent on a\n  // key inherits another's declaration instead of erasing it. Gate 1 has\n  // already proved no two declarations disagree, so the order of assignment\n  // cannot change the result.\n  const conventions: Record<string, unknown> = {};\n  for (const c of contexts) {\n    for (const [k, v] of Object.entries(c.conventions ?? {})) {\n      if (v !== undefined) conventions[k] = v;\n    }\n  }\n  const quantityTypes = [...new Set(contexts.flatMap((c) => c.quantityTypes ?? []))];\n  const gauge = declaredChoices(contexts, 'gauge')[0];\n  const frame = declaredChoices(contexts, 'frame')[0];\n\n  return {\n    kind: 'union',\n    context: {\n      ...(quantityTypes.length > 0 ? { quantityTypes } : {}),\n      ...(gauge !== undefined ? { gauge } : {}),\n      ...(frame !== undefined ? { frame } : {}),\n      ...(Object.keys(conventions).length > 0\n        ? { conventions: conventions as Conventions }\n        : {}),\n      assumptions: [...stated.keys()],\n      excludes: [...new Set(contexts.flatMap((c) => c.excludes))],\n    },\n  };\n}\n\n/**\n * The context union of a set of STATEMENTS, by id, resolved through `registry`.\n *\n * @throws RangeError if an id does not resolve. An unresolved id silently\n *   dropped would narrow the union and could turn a refusal into a pool —\n *   precisely the direction that manufactures a false claim.\n * @internal\n */\nexport function statementContextUnion(\n  ids: readonly StatementId[],\n  registry: ReadonlyMap<StatementId, Statement>,\n): ContextUnionResult {\n  const contexts: Context[] = [];\n  for (const id of ids) {\n    const s = registry.get(id);\n    if (s === undefined) {\n      throw new RangeError(`statementContextUnion: unknown statement '${id}'`);\n    }\n    contexts.push(s.context);\n  }\n  return contextUnion(contexts);\n}\n"]}

package/dist/atlas/text-overlap.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Word-token overlap: the text baseline's tokenizer, Jaccard similarity and the rank comparator.
+ *
+ * `link-prediction.ts` reads these. `benchmark/baselines.ts` carries private copies of the same
+ * functions on purpose (its rank comparator spells the codepoint order inline, where this one
+ * calls `compareCodepoint`): that file is a pinned code blob of the closed criterion 3 study,
+ * hashed by the study's freeze, and is not edited to import this module.
+ *
+ * @module atlas/text-overlap
+ * @internal
+ */
+/** Lower-cased word tokens (letters and digits) of a text, as a set. @internal */
+export declare const tokens: (text: string) => Set<string>;
+/** Jaccard similarity |a ∩ b| / |a ∪ b|; 0 when both sets are empty. @internal */
+export declare const jaccard: (a: ReadonlySet<string>, b: ReadonlySet<string>) => number;
+/**
+ * Rank candidates by descending score list (lexicographic), then ascending id. A stable, total
+ * order: two candidates with equal scores are ordered by id, never by input position.
+ *
+ * @internal
+ */
+export declare function rankBy(candidates: readonly string[], score: (id: string) => readonly number[]): string[];
+//# sourceMappingURL=text-overlap.d.ts.map

package/dist/atlas/text-overlap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-overlap.d.ts","sourceRoot":"","sources":["../../src/atlas/text-overlap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,kFAAkF;AAClF,eAAO,MAAM,MAAM,SAAU,MAAM,KAAG,GAAG,CAAC,MAAM,CACkC,CAAC;AAEnF,kFAAkF;AAClF,eAAO,MAAM,OAAO,MAAO,WAAW,CAAC,MAAM,CAAC,KAAK,WAAW,CAAC,MAAM,CAAC,KAAG,MAKxE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAOxG"}

package/dist/atlas/text-overlap.js

@@ -0,0 +1,41 @@
+/**
+ * Word-token overlap: the text baseline's tokenizer, Jaccard similarity and the rank comparator.
+ *
+ * `link-prediction.ts` reads these. `benchmark/baselines.ts` carries private copies of the same
+ * functions on purpose (its rank comparator spells the codepoint order inline, where this one
+ * calls `compareCodepoint`): that file is a pinned code blob of the closed criterion 3 study,
+ * hashed by the study's freeze, and is not edited to import this module.
+ *
+ * @module atlas/text-overlap
+ * @internal
+ */
+import { compareCodepoint } from '../core/compare.js';
+/** Lower-cased word tokens (letters and digits) of a text, as a set. @internal */
+export const tokens = (text) => new Set(text.toLowerCase().split(/[^\p{L}\p{N}]+/u).filter((t) => t.length > 0));
+/** Jaccard similarity |a ∩ b| / |a ∪ b|; 0 when both sets are empty. @internal */
+export const jaccard = (a, b) => {
+    if (a.size === 0 && b.size === 0)
+        return 0;
+    let inter = 0;
+    for (const x of a)
+        if (b.has(x))
+            inter++;
+    return inter / (a.size + b.size - inter);
+};
+/**
+ * Rank candidates by descending score list (lexicographic), then ascending id. A stable, total
+ * order: two candidates with equal scores are ordered by id, never by input position.
+ *
+ * @internal
+ */
+export function rankBy(candidates, score) {
+    return [...candidates].sort((x, y) => {
+        const sx = score(x);
+        const sy = score(y);
+        for (let i = 0; i < sx.length; i++)
+            if (sx[i] !== sy[i])
+                return sy[i] - sx[i];
+        return compareCodepoint(x, y);
+    });
+}
+//# sourceMappingURL=text-overlap.js.map

package/dist/atlas/text-overlap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-overlap.js","sourceRoot":"","sources":["../../src/atlas/text-overlap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,kFAAkF;AAClF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAe,EAAE,CAClD,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AAEnF,kFAAkF;AAClF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAsB,EAAE,CAAsB,EAAU,EAAE;IAChF,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;IACzC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,UAA6B,EAAE,KAAwC;IAC5F,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,CAAC,CAAC,CAAE,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC;QAChF,OAAO,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Word-token overlap: the text baseline's tokenizer, Jaccard similarity and the rank comparator.\n *\n * `link-prediction.ts` reads these. `benchmark/baselines.ts` carries private copies of the same\n * functions on purpose (its rank comparator spells the codepoint order inline, where this one\n * calls `compareCodepoint`): that file is a pinned code blob of the closed criterion 3 study,\n * hashed by the study's freeze, and is not edited to import this module.\n *\n * @module atlas/text-overlap\n * @internal\n */\n\nimport { compareCodepoint } from '../core/compare.js';\n\n/** Lower-cased word tokens (letters and digits) of a text, as a set. @internal */\nexport const tokens = (text: string): Set<string> =>\n  new Set(text.toLowerCase().split(/[^\\p{L}\\p{N}]+/u).filter((t) => t.length > 0));\n\n/** Jaccard similarity |a ∩ b| / |a ∪ b|; 0 when both sets are empty. @internal */\nexport const jaccard = (a: ReadonlySet<string>, b: ReadonlySet<string>): number => {\n  if (a.size === 0 && b.size === 0) return 0;\n  let inter = 0;\n  for (const x of a) if (b.has(x)) inter++;\n  return inter / (a.size + b.size - inter);\n};\n\n/**\n * Rank candidates by descending score list (lexicographic), then ascending id. A stable, total\n * order: two candidates with equal scores are ordered by id, never by input position.\n *\n * @internal\n */\nexport function rankBy(candidates: readonly string[], score: (id: string) => readonly number[]): string[] {\n  return [...candidates].sort((x, y) => {\n    const sx = score(x);\n    const sy = score(y);\n    for (let i = 0; i < sx.length; i++) if (sx[i] !== sy[i]) return sy[i]! - sx[i]!;\n    return compareCodepoint(x, y);\n  });\n}\n"]}

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

@@ -1 +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"}
+{"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","sourcesContent":["/**\n * Every declared observable translation (`./translation.ts`), and every\n * bridge's declaration that it carries an observable. A bridge absent here\n * has none, and a tolerance in another observable is not judged for it or\n * through it.\n *\n * @module atlas/translation-registry\n * @internal\n */\n\nimport { SPRING_LC_PHASE_CARRIAGE } from './oscillators/phase-carriage.js';\nimport { PENDULUM_PHASE_TRANSLATION } from './oscillators/phase-translation.js';\nimport { PENDULUM_POSITION_TRANSLATION } from './oscillators/position-translation.js';\nimport type { ObservableCarriage, ObservableTranslation, TranslationCheck } from './translation.js';\nimport { runDominanceWitness } from './witness-dominance.js';\nimport { runNumericWitness } from './witness-numeric.js';\nimport type { WitnessRunResult } from './witness-result.js';\n\n/** @internal */\nexport const OBSERVABLE_TRANSLATIONS: readonly ObservableTranslation[] = [PENDULUM_PHASE_TRANSLATION, PENDULUM_POSITION_TRANSLATION];\n\n/** @internal */\nexport const OBSERVABLE_CARRIAGES: readonly ObservableCarriage[] = [SPRING_LC_PHASE_CARRIAGE];\n\n/** The translations declared for one bridge, in registry order. @internal */\nexport function translationsOf(bridgeId: string): readonly ObservableTranslation[] {\n  return OBSERVABLE_TRANSLATIONS.filter((t) => t.bridgeId === bridgeId);\n}\n\n/** The bridge's declaration that it carries `observable`, if it makes one. @internal */\nexport function carriageOf(bridgeId: string, observable: string): ObservableCarriage | undefined {\n  return OBSERVABLE_CARRIAGES.find((c) => c.bridgeId === bridgeId && c.observable === observable);\n}\n\n/** Run a translation or carriage check of either shape. @internal */\nexport function runTranslationCheck(check: TranslationCheck): WitnessRunResult {\n  return 'kind' in check ? runDominanceWitness(check) : runNumericWitness(check);\n}\n"]}

package/dist/atlas/translation.js.map

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

package/dist/atlas/types.d.ts

@@ -110,7 +110,14 @@ export interface AtlasBridge {
     readonly bound?: ApproximationBound;
     readonly regime: Regime;
     readonly counterexamples: readonly Counterexample[];
-    readonly evidence: ReadonlySet<EvidenceTag>;
+    /**
+     * There is NO `evidence` field. Every evidence tag is derived at read time
+     * by `deriveEvidence` from the witnesses, the formal reference and the
+     * counterexamples a record carries, against the committed witness results;
+     * `toAtlasJson` writes that derivation into the artifact. The sentence
+     * that a record stored its own set is the record from before this field
+     * was removed.
+     */
     readonly witnesses: readonly Witness[];
     readonly citations: readonly string[];
     readonly reviewStatus: 'proposed' | 'reviewed';
@@ -149,7 +156,7 @@ export declare class MissingHorizonError extends Error {
  * such a record is present and correct, and reporting a missing horizon for it
  * would send the next reader to the one field that is not the defect.
  *
- * @internal
+ * @public
  */
 export declare class MissingDeltaAtError 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;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAEvD,qFAAqF;AACrF,MAAM,MAAM,YAAY,GAAG,OAAO,uBAAuB,EAAE,YAAY,CAAC;AACxE,yFAAyF;AACzF,MAAM,MAAM,WAAW,GAAG,OAAO,uBAAuB,EAAE,WAAW,CAAC;AACtE,uEAAuE;AACvE,MAAM,MAAM,cAAc,GAAG,OAAO,uBAAuB,EAAE,cAAc,CAAC;AAC5E,yFAAyF;AACzF,MAAM,MAAM,gBAAgB,GAAG,OAAO,uBAAuB,EAAE,gBAAgB,CAAC;AAChF,8EAA8E;AAC9E,MAAM,MAAM,MAAM,GAAG,OAAO,uBAAuB,EAAE,MAAM,CAAC;AAC5D,4EAA4E;AAC5E,MAAM,MAAM,kBAAkB,GAAG,OAAO,uBAAuB,EAAE,kBAAkB,CAAC;AACpF,6EAA6E;AAC7E,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"}
+{"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,qFAAqF;AACrF,MAAM,MAAM,YAAY,GAAG,OAAO,uBAAuB,EAAE,YAAY,CAAC;AACxE,yFAAyF;AACzF,MAAM,MAAM,WAAW,GAAG,OAAO,uBAAuB,EAAE,WAAW,CAAC;AACtE,uEAAuE;AACvE,MAAM,MAAM,cAAc,GAAG,OAAO,uBAAuB,EAAE,cAAc,CAAC;AAC5E,yFAAyF;AACzF,MAAM,MAAM,gBAAgB,GAAG,OAAO,uBAAuB,EAAE,gBAAgB,CAAC;AAChF,8EAA8E;AAC9E,MAAM,MAAM,MAAM,GAAG,OAAO,uBAAuB,EAAE,MAAM,CAAC;AAC5D,4EAA4E;AAC5E,MAAM,MAAM,kBAAkB,GAAG,OAAO,uBAAuB,EAAE,kBAAkB,CAAC;AACpF,6EAA6E;AAC7E,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;;;;;;;OAOG;IACH,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

@@ -19,7 +19,7 @@ export class MissingHorizonError extends Error {
  * such a record is present and correct, and reporting a missing horizon for it
  * would send the next reader to the one field that is not the defect.
  *
- * @internal
+ * @public
  */
 export class MissingDeltaAtError extends Error {
 }

package/dist/atlas/types.js.map

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/atlas/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AA0BH,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAkI1D,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","sourcesContent":["/**\n * Atlas record types.\n *\n * The shared vocabulary lives in `src/relations/types.ts` and is re-exported\n * here. A public name is also a local type alias in this file, so the\n * facade scan still sees a declaration, and the alias is the same type.\n *\n * @module atlas/types\n */\n\nimport type { FormalRef } from '../relations/types.js';\n\n/** The relation a bridge asserts between its premises and its conclusion. @public */\nexport type RelationType = import('../relations/types.js').RelationType;\n/** What kind of support a record carries. Carried only if its witness passes. @public */\nexport type EvidenceTag = import('../relations/types.js').EvidenceTag;\n/** Whether the limit a bridge takes is regular or singular. @public */\nexport type LimitCharacter = import('../relations/types.js').LimitCharacter;\n/** One inequality on a regime coordinate, a π-group or a dimensionless input. @public */\nexport type RegimeInequality = import('../relations/types.js').RegimeInequality;\n/** Where in parameter space a model or bridge is claimed to apply. @public */\nexport type Regime = import('../relations/types.js').Regime;\n/** A Lipschitz-plus-offset error bound with a mandatory horizon. @public */\nexport type ApproximationBound = import('../relations/types.js').ApproximationBound;\n/** A case a bridge does not cover, and the witness that shows it. @public */\nexport type Counterexample = import('../relations/types.js').Counterexample;\n\nexport type {\n  Conventions,\n  FormalFidelity,\n  FormalRef,\n  FormalRefKind,\n  RelationContract,\n} from '../relations/types.js';\nexport { ALL_EVIDENCE_TAGS } from '../relations/types.js';\n\n/** A named check that supports a record, and the test file that runs it. @public */\nexport interface Witness {\n  /** `'W7b'`. */\n  readonly id: string;\n  readonly kind: 'symbolic' | 'numeric' | 'formal';\n  /** Test file path. */\n  readonly test: string;\n  /** As stated in the brief. */\n  readonly tolerance?: string;\n}\n\n/**\n * `AtlasModel` MOVED to `./model.ts` in Phase 3, where it gained\n * `boundaryData?`, `initialData?` and `symmetryGroup?`. It is NOT re-exported\n * from here: `model.ts` imports `Regime` from this module, so a re-export\n * would close a cycle `bun run docs:deps` reports. Import it from\n * `./model.js`.\n */\n\n/**\n * An exact bridge's declaration of how its map acts on ONE norm, in ONE\n * direction: a bound stated in `from` about `fromModel` becomes a bound in `to`\n * about `toModel`, multiplied by `K`. Design:\n * `docs/planning/ADR-transported-norm-composition.md`.\n *\n * Without a declaration an exact map contributes the identity in no norm, and a\n * route through it after a normed bound carries no bound (`'norm-not-stated'`).\n * A declaration licenses exactly the norm and direction it names; every other\n * norm, and the reverse direction, stay refused.\n *\n * @internal\n */\nexport interface NormTransport {\n  /** `'nt-spring-lc-relative-period'`; also the `recordId` of its registered witness. */\n  readonly id: string;\n  /** The model the bound is about before the map. */\n  readonly fromModel: string;\n  /** The model the transported bound is about. */\n  readonly toModel: string;\n  /** The norm the incoming bound must state, verbatim. */\n  readonly from: string;\n  /** The norm the transported bound holds in. */\n  readonly to: string;\n  /** The factor the map multiplies the error by: the supremum of {@link KAt} over {@link domain}. */\n  readonly K: number;\n  /** The same factor at a point, in closed form. */\n  readonly KAt: (params: Readonly<Record<string, number>>) => number;\n  /** Where `K` is the supremum. */\n  readonly domain: string;\n  /** Why the map acts on the norm by `K`. */\n  readonly derivation: string;\n  readonly timeMap: {\n    /** The map from the `fromModel`'s clock to the `toModel`'s. */\n    readonly map: string;\n    /** A transport whose time map is not uniform is refused by `boundPath`. */\n    readonly uniform: boolean;\n    /** How a horizon stated before the map reads after it. */\n    readonly horizon: string;\n    /** The machine form of {@link horizon}. */\n    readonly restateHorizon: (\n      holds: (t: number, params: Readonly<Record<string, number>>) => boolean,\n    ) => (t: number, params: Readonly<Record<string, number>>) => boolean;\n  };\n  /** What the incoming bound's uniformity becomes; the list is carried unchanged when the map preserves it. */\n  readonly uniformity: string;\n  /** The check that the map acts on the norm by `K`. */\n  readonly witness: Witness;\n  /** The evidence tag the witness supports when it checks; never `'formally-proved'`. */\n  readonly basis: 'numerically-supported' | 'symbolically-checked';\n}\n\n/** Field set = Blueprint v2 §3.1 Bridge record + citations. @internal */\nexport interface AtlasBridge {\n  /** `'ab-spring-lc'`. */\n  readonly id: string;\n  readonly relation: RelationType;\n  /** Model ids (many). */\n  readonly premises: readonly string[];\n  /** Model id (one). */\n  readonly conclusion: string;\n  /** `'u = x/x0 (or q/q0), τ = ω0 t'`. */\n  readonly transformation: string;\n  /** `'x = x0 u, t = τ/ω0'` — required for `exact-equivalence`. */\n  readonly inverse?: string;\n  readonly preserves: readonly string[];\n  readonly doesNotPreserve: readonly string[];\n  readonly sideConditions: readonly string[];\n  /** Required iff `relation === 'approximation'`. */\n  readonly bound?: ApproximationBound;\n  readonly regime: Regime;\n  readonly counterexamples: readonly Counterexample[];\n  /**\n   * There is NO `evidence` field. Every evidence tag is derived at read time\n   * by `deriveEvidence` from the witnesses, the formal reference and the\n   * counterexamples a record carries, against the committed witness results;\n   * `toAtlasJson` writes that derivation into the artifact. The sentence\n   * that a record stored its own set is the record from before this field\n   * was removed.\n   */\n  readonly witnesses: readonly Witness[];\n  readonly citations: readonly string[];\n  readonly reviewStatus: 'proposed' | 'reviewed';\n  /**\n   * A machine-checked counterpart, when one genuinely exists (Phase 4, S4.6).\n   * Absent is the honest default: a statement with no checked counterpart gets\n   * no reference rather than an `'unreviewed'` placeholder.\n   */\n  readonly formalRef?: FormalRef;\n  /**\n   * Only on an `exact-equivalence`: the norms, and directions, the map is\n   * declared to transport a bound in. Absent means none.\n   */\n  readonly normTransports?: readonly NormTransport[];\n}\n\n/** A claimed bridge the atlas records as REJECTED, with the reason. @public */\nexport interface AtlasRejection {\n  /** `'ax-cubic-spring-lc'`. */\n  readonly id: string;\n  readonly claimed: RelationType;\n  readonly premises: readonly string[];\n  readonly conclusion: string;\n  readonly reason: string;\n  /** `'beta·x0²·k⁻¹'`. */\n  readonly survivingGroup: string;\n  readonly witnesses: readonly Witness[];\n}\n\n/** Thrown when an `ApproximationBound` is built without its machine horizon. @public */\nexport class MissingHorizonError extends Error {}\n\n/**\n * Thrown when an `approximation` bound is built without the machine form of\n * its `delta`.\n *\n * A distinct type rather than a reuse of `MissingHorizonError`: the horizon of\n * such a record is present and correct, and reporting a missing horizon for it\n * would send the next reader to the one field that is not the defect.\n *\n * @public\n */\nexport class MissingDeltaAtError extends Error {}\n\n/** Thrown when a bound path has no Lipschitz constant anywhere but at its end. @public */\nexport class MissingLipschitzError extends Error {}\n\n"]}

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;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"}
+{"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;AAOnC;;;;;;;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"}

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

@@ -19,7 +19,7 @@
 import { ACTION, FORCE, FREQUENCY, MASS, VELOCITY } from '../../dimensional/types.js';
 import { makeApproximation } from '../oscillators/bridges-limits.js';
 import { SPRING_CONSTANT } from '../oscillators/dimensions.js';
-import { deriveRegimeGroups } from '../regime.js';
+import { makeRegime } 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';
@@ -28,11 +28,7 @@ const TEST = 'tests/atlas/closure.test.ts';
 export const KG_NR_MAX_X = 0.1;
 /** Domain edge of the flexible-string limit: β = EIk²/F ≤ 0.01. @internal */
 export const STIFF_MAX_BETA = 0.01;
-const regime = (parameters, inequalities) => ({
-    family: WAVES_FAMILY_NAME,
-    inequalities,
-    groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, parameters, []),
-});
+const regime = (parameters, inequalities) => makeRegime(WAVES_FAMILY_NAME, parameters, [], inequalities);
 /**
  * Bridge: Klein–Gordon → free Schrödinger, the non-relativistic limit.
  *
@@ -99,7 +95,6 @@ export const BRIDGE_KG_SCHRODINGER = {
             witness: 'WS5b',
         },
     ],
-    evidence: new Set(['proposed', 'numerically-supported']),
     witnesses: [
         {
             id: 'WS5',
@@ -136,7 +131,6 @@ export const BRIDGE_KG_OSCILLATOR = {
         { name: 'k', dim: SPRING_CONSTANT },
     ], []),
     counterexamples: [],
-    evidence: new Set(['proposed', 'numerically-supported']),
     witnesses: [
         {
             id: 'WS6',
@@ -200,7 +194,6 @@ export const BRIDGE_STIFF_STRING = {
             witness: 'WS7b',
         },
     ],
-    evidence: new Set(['proposed', 'numerically-supported']),
     witnesses: [
         {
             id: 'WS7',