universal-physics-tensor 0.47.0 → 1.0.1

package/bin/upt.mjs

@@ -1,22 +1,28 @@
-#!/usr/bin/env node
-/**
- * upt — thin launcher. All logic lives in src/cli/ (compiled to dist/cli/).
- * This shim only resolves dist/, guards the not-built case, and maps the
- * returned code onto process.exitCode (NOT process.exit — a hard exit can
- * truncate piped stdout).
- */
-import { fileURLToPath, pathToFileURL } from 'node:url';
-import { dirname, join } from 'node:path';
-
-const here = dirname(fileURLToPath(import.meta.url));
-const entry = pathToFileURL(join(here, '..', 'dist', 'cli', 'main.js')).href;
-
-let main;
-try {
-  main = await import(entry);
-} catch (err) {
-  console.error('Could not load the built package. Run `npm run build` first.');
-  console.error(String(err && err.message ? err.message : err));
-  process.exit(1);
-}
-process.exitCode = await main.runCli(process.argv.slice(2));
+#!/usr/bin/env node
+/**
+ * upt — thin launcher. All logic lives in src/cli/ (compiled to dist/cli/).
+ * This shim only resolves dist/, guards the not-built case, and maps the
+ * returned code onto process.exitCode (NOT process.exit — a hard exit can
+ * truncate piped stdout). The one exception is a reader that closed the pipe
+ * (`upt map | head -1`): nothing more can be delivered, so the run ends quietly.
+ */
+import { fileURLToPath, pathToFileURL } from 'node:url';
+import { dirname, join } from 'node:path';
+
+const here = dirname(fileURLToPath(import.meta.url));
+const entry = pathToFileURL(join(here, '..', 'dist', 'cli', 'main.js')).href;
+
+process.stdout.on('error', (err) => {
+  if (err && err.code === 'EPIPE') process.exit(0);
+  throw err;
+});
+
+let main;
+try {
+  main = await import(entry);
+} catch (err) {
+  console.error('Could not load the built package. Run `npm run build` first.');
+  console.error(String(err && err.message ? err.message : err));
+  process.exit(1);
+}
+process.exitCode = await main.runCli(process.argv.slice(2));

package/dist/atlas/benchmark/hybrid-retrieval.d.ts

@@ -0,0 +1,108 @@
+/**
+ * Optional embedding retrieval. An embedder proposes an order. `rankByStructure`
+ * decides what is accepted. Cosine similarity does not enter that score.
+ *
+ * The Ollama implementation speaks HTTP to a local process. Nothing here
+ * imports an embedding library, and nothing calls out of process unless a
+ * caller asks for embeddings and supplies that implementation.
+ *
+ * The query form is the one registered in pre-registration Amendment 11.
+ * Corpus records are embedded as their text, with no instruction prefix.
+ *
+ * @module atlas/benchmark/hybrid-retrieval
+ * @internal
+ */
+import { type CorpusRecord, type RetrievalQuery } from './baselines.js';
+/** The instruction line registered with the embedding condition. @internal */
+export declare const EMBEDDING_INSTRUCTION = "Given a physics claim, retrieve the established physical relation that the claim restates or misuses";
+/** qwen3-embedding:4b, the model the design names. The package does not install it. @internal */
+export declare const OLLAMA_EMBEDDING_MODEL = "qwen3-embedding:4b";
+/**
+ * Length stored in the frozen vector file
+ * `docs/research/criterion3/embeddings/qwen3-embedding-4b.json`.
+ * A live reply of another length is not that file's vector.
+ * @internal
+ */
+export declare const FROZEN_VECTOR_DIMS = 2560;
+/** SHA-256 of that frozen file, as registered in Amendment 11. @internal */
+export declare const FROZEN_VECTOR_SHA256 = "8fd79d2c6aaaf95c67f9a29ceb5fe4b88b42970c8e514d98c72c00a2c519cbdc";
+/**
+ * How long a local Ollama call may run before it counts as not finishing.
+ * The design names that outcome and does not name a duration.
+ * @internal
+ */
+export declare const OLLAMA_TIMEOUT_MS = 5000;
+/** What the caller hears when embeddings were not asked for. @internal */
+export declare const ATLAS_ONLY_NOTE = "Embeddings were not requested. This is the atlas search.";
+/** What the caller hears when an embedding order was computed and then not accepted. @internal */
+export declare const PROPOSAL_NOTE = "The embedding order is a proposal, not evidence and not an acceptance. rankByStructure accepted a separate order. Cosine similarity does not enter that score.";
+declare const REASON_TEXT: {
+    readonly 'process-not-there': 'the process is not there';
+    readonly 'model-not-there': 'the model is not there';
+    readonly 'reply-not-a-vector': 'the reply is not a vector, or its length is not the length stored in the frozen file';
+    readonly 'call-did-not-finish': 'the call does not finish';
+};
+/** Why an embedding request fell back to the atlas search. @internal */
+export type EmbeddingFallbackReason = keyof typeof REASON_TEXT;
+/** An embedding request that cannot be used. The atlas search still answers. @internal */
+export declare class EmbeddingUnavailable extends Error {
+    readonly reason: EmbeddingFallbackReason;
+    constructor(reason: EmbeddingFallbackReason);
+}
+/** One vector per string, every vector the same length. @internal */
+export type Embedder = (texts: readonly string[]) => Promise<readonly (readonly number[])[]>;
+/** `Instruct: …` newline `Query: …`, the registered query form. @internal */
+export declare function queryInput(claim: string): string;
+/**
+ * A pure function of the text. The same text is the same vector.
+ * `v = [sum of char codes, sum of (index+1) times char code]`.
+ * @internal
+ */
+export declare function stubVector(text: string): readonly number[];
+/** The stub embedder. It does not open a socket. @internal */
+export declare const stubEmbedder: Embedder;
+/** Cosine similarity. Unequal lengths are not a similarity. @internal */
+export declare function cosine(a: ArrayLike<number>, b: ArrayLike<number>): number;
+/**
+ * Best cosine first. A tie breaks by record id, so the order does not depend
+ * on which vector was computed last.
+ * @internal
+ */
+export declare function rankByCosine(query: ArrayLike<number>, records: readonly {
+    readonly id: string;
+    readonly vector: ArrayLike<number>;
+}[]): string[];
+/** Decode a little-endian float32 vector stored as base64, the frozen file's encoding. @internal */
+export declare function decodeFloat32(encoded: string): Float32Array;
+/** The live canonical registry as retrieval records. Text is the name and the latex. @internal */
+export declare function canonicalRetrievalCorpus(): CorpusRecord[];
+export interface OllamaEmbedderOptions {
+    readonly baseUrl: string;
+    readonly model?: string;
+    readonly expectedDims?: number;
+    readonly timeoutMs?: number;
+    readonly fetchImpl?: (url: string, init?: RequestInit) => Promise<Response>;
+}
+/** A local Ollama embedder. Off unless a caller constructs it. @internal */
+export declare function ollamaEmbedder(options: OllamaEmbedderOptions): Embedder;
+/** Both orders, kept apart. `accepted` is always `rankByStructure`. @internal */
+export interface HybridRetrieval {
+    readonly embeddings: 'not-requested' | 'used' | 'fallback';
+    readonly fallback: EmbeddingFallbackReason | null;
+    readonly proposals: readonly string[] | null;
+    readonly accepted: readonly string[];
+    readonly note: string;
+}
+/**
+ * Atlas search, optionally after an embedding proposal. A fallback is the
+ * atlas answer plus a named reason. It does not throw.
+ * @internal
+ */
+export declare function retrieveHybrid(args: {
+    readonly query: RetrievalQuery;
+    readonly corpus: readonly CorpusRecord[];
+    readonly embeddings?: boolean;
+    readonly embedder?: Embedder;
+}): Promise<HybridRetrieval>;
+export {};
+//# sourceMappingURL=hybrid-retrieval.d.ts.map

package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hybrid-retrieval.d.ts","sourceRoot":"","sources":["../../../src/atlas/benchmark/hybrid-retrieval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAmB,KAAK,YAAY,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEzF,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,yGACsE,CAAC;AAEzG,iGAAiG;AACjG,eAAO,MAAM,sBAAsB,uBAAuB,CAAC;AAE3D;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,OAAO,CAAC;AAEvC,4EAA4E;AAC5E,eAAO,MAAM,oBAAoB,qEAAqE,CAAC;AAEvG;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,OAAO,CAAC;AAEtC,0EAA0E;AAC1E,eAAO,MAAM,eAAe,6DAA6D,CAAC;AAE1F,kGAAkG;AAClG,eAAO,MAAM,aAAa,mKACwI,CAAC;AAEnK,QAAA,MAAM,WAAW;aACf,mBAAmB,EAAE,0BAA0B;aAC/C,iBAAiB,EAAE,wBAAwB;aAC3C,oBAAoB,EAClB,sFAAsF;aACxF,qBAAqB,EAAE,0BAA0B;CACzC,CAAC;AAEX,wEAAwE;AACxE,MAAM,MAAM,uBAAuB,GAAG,MAAM,OAAO,WAAW,CAAC;AAE/D,0FAA0F;AAC1F,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,YAAY,MAAM,EAAE,uBAAuB,EAI1C;CACF;AAED,qEAAqE;AACrE,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AAE7F,6EAA6E;AAC7E,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAS1D;AAED,8DAA8D;AAC9D,eAAO,MAAM,YAAY,EAAE,QAAiE,CAAC;AAE7F,yEAAyE;AACzE,wBAAgB,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,MAAM,CAgBzE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,EACxB,OAAO,EAAE,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CAAE,EAAE,GAC9E,MAAM,EAAE,CAKV;AAED,oGAAoG;AACpG,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CAM3D;AAED,kGAAkG;AAClG,wBAAgB,wBAAwB,IAAI,YAAY,EAAE,CAMzD;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;CAC7E;AAED,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,OAAO,EAAE,qBAAqB,GAAG,QAAQ,CAkDvE;AAED,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,eAAe,GAAG,MAAM,GAAG,UAAU,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAiBD;;;;GAIG;AACH,wBAAsB,cAAc,CAAC,IAAI,EAAE;IACzC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B,GAAG,OAAO,CAAC,eAAe,CAAC,CAuC3B"}

package/dist/atlas/benchmark/hybrid-retrieval.js

@@ -0,0 +1,241 @@
+/**
+ * Optional embedding retrieval. An embedder proposes an order. `rankByStructure`
+ * decides what is accepted. Cosine similarity does not enter that score.
+ *
+ * The Ollama implementation speaks HTTP to a local process. Nothing here
+ * imports an embedding library, and nothing calls out of process unless a
+ * caller asks for embeddings and supplies that implementation.
+ *
+ * The query form is the one registered in pre-registration Amendment 11.
+ * Corpus records are embedded as their text, with no instruction prefix.
+ *
+ * @module atlas/benchmark/hybrid-retrieval
+ * @internal
+ */
+import { CANONICAL_EQUATIONS } from '../../canonical/registry.js';
+import { rankByStructure } from './baselines.js';
+/** The instruction line registered with the embedding condition. @internal */
+export const EMBEDDING_INSTRUCTION = 'Given a physics claim, retrieve the established physical relation that the claim restates or misuses';
+/** qwen3-embedding:4b, the model the design names. The package does not install it. @internal */
+export const OLLAMA_EMBEDDING_MODEL = 'qwen3-embedding:4b';
+/**
+ * Length stored in the frozen vector file
+ * `docs/research/criterion3/embeddings/qwen3-embedding-4b.json`.
+ * A live reply of another length is not that file's vector.
+ * @internal
+ */
+export const FROZEN_VECTOR_DIMS = 2560;
+/** SHA-256 of that frozen file, as registered in Amendment 11. @internal */
+export const FROZEN_VECTOR_SHA256 = '8fd79d2c6aaaf95c67f9a29ceb5fe4b88b42970c8e514d98c72c00a2c519cbdc';
+/**
+ * How long a local Ollama call may run before it counts as not finishing.
+ * The design names that outcome and does not name a duration.
+ * @internal
+ */
+export const OLLAMA_TIMEOUT_MS = 5000;
+/** What the caller hears when embeddings were not asked for. @internal */
+export const ATLAS_ONLY_NOTE = 'Embeddings were not requested. This is the atlas search.';
+/** What the caller hears when an embedding order was computed and then not accepted. @internal */
+export const PROPOSAL_NOTE = 'The embedding order is a proposal, not evidence and not an acceptance. rankByStructure accepted a separate order. Cosine similarity does not enter that score.';
+const REASON_TEXT = {
+    'process-not-there': 'the process is not there',
+    'model-not-there': 'the model is not there',
+    'reply-not-a-vector': 'the reply is not a vector, or its length is not the length stored in the frozen file',
+    'call-did-not-finish': 'the call does not finish',
+};
+/** An embedding request that cannot be used. The atlas search still answers. @internal */
+export class EmbeddingUnavailable extends Error {
+    reason;
+    constructor(reason) {
+        super(REASON_TEXT[reason]);
+        this.name = 'EmbeddingUnavailable';
+        this.reason = reason;
+    }
+}
+/** `Instruct: …` newline `Query: …`, the registered query form. @internal */
+export function queryInput(claim) {
+    return `Instruct: ${EMBEDDING_INSTRUCTION}\nQuery: ${claim}`;
+}
+/**
+ * A pure function of the text. The same text is the same vector.
+ * `v = [sum of char codes, sum of (index+1) times char code]`.
+ * @internal
+ */
+export function stubVector(text) {
+    let sum = 0;
+    let weighted = 0;
+    for (let i = 0; i < text.length; i++) {
+        const code = text.charCodeAt(i);
+        sum += code;
+        weighted += (i + 1) * code;
+    }
+    return [sum, weighted];
+}
+/** The stub embedder. It does not open a socket. @internal */
+export const stubEmbedder = async (texts) => texts.map((text) => stubVector(text));
+/** Cosine similarity. Unequal lengths are not a similarity. @internal */
+export function cosine(a, b) {
+    if (a.length !== b.length) {
+        throw new EmbeddingUnavailable('reply-not-a-vector');
+    }
+    let dot = 0;
+    let na = 0;
+    let nb = 0;
+    for (let i = 0; i < a.length; i++) {
+        const x = a[i];
+        const y = b[i];
+        dot += x * y;
+        na += x * x;
+        nb += y * y;
+    }
+    if (na === 0 || nb === 0)
+        return 0;
+    return dot / Math.sqrt(na * nb);
+}
+/**
+ * Best cosine first. A tie breaks by record id, so the order does not depend
+ * on which vector was computed last.
+ * @internal
+ */
+export function rankByCosine(query, records) {
+    return records
+        .map((r) => ({ id: r.id, s: cosine(query, r.vector) }))
+        .sort((a, b) => (b.s !== a.s ? b.s - a.s : a.id < b.id ? -1 : a.id > b.id ? 1 : 0))
+        .map((x) => x.id);
+}
+/** Decode a little-endian float32 vector stored as base64, the frozen file's encoding. @internal */
+export function decodeFloat32(encoded) {
+    const bytes = Buffer.from(encoded, 'base64');
+    if (bytes.byteLength === 0 || bytes.byteLength % 4 !== 0) {
+        throw new EmbeddingUnavailable('reply-not-a-vector');
+    }
+    return new Float32Array(bytes.buffer.slice(bytes.byteOffset, bytes.byteOffset + bytes.byteLength));
+}
+/** The live canonical registry as retrieval records. Text is the name and the latex. @internal */
+export function canonicalRetrievalCorpus() {
+    return CANONICAL_EQUATIONS.map((equation) => ({
+        id: equation.id,
+        text: `${equation.name}. ${equation.formula_latex}`,
+        ...(equation.scalarAst === undefined ? {} : { expr: equation.scalarAst }),
+    }));
+}
+/** A local Ollama embedder. Off unless a caller constructs it. @internal */
+export function ollamaEmbedder(options) {
+    const model = options.model ?? OLLAMA_EMBEDDING_MODEL;
+    const expectedDims = options.expectedDims ?? FROZEN_VECTOR_DIMS;
+    const timeoutMs = options.timeoutMs ?? OLLAMA_TIMEOUT_MS;
+    const fetchImpl = options.fetchImpl ?? fetch;
+    const base = options.baseUrl.replace(/\/$/, '');
+    return async (texts) => {
+        const controller = new AbortController();
+        const timer = setTimeout(() => controller.abort(), timeoutMs);
+        try {
+            let response;
+            try {
+                response = await fetchImpl(`${base}/api/embed`, {
+                    method: 'POST',
+                    headers: { 'content-type': 'application/json' },
+                    body: JSON.stringify({ model, input: [...texts] }),
+                    signal: controller.signal,
+                });
+            }
+            catch {
+                if (controller.signal.aborted)
+                    throw new EmbeddingUnavailable('call-did-not-finish');
+                throw new EmbeddingUnavailable('process-not-there');
+            }
+            if (response.status === 404)
+                throw new EmbeddingUnavailable('model-not-there');
+            let body;
+            try {
+                body = await response.json();
+            }
+            catch {
+                throw new EmbeddingUnavailable('reply-not-a-vector');
+            }
+            if (!response.ok) {
+                const message = typeof body === 'object' && body !== null ? JSON.stringify(body) : '';
+                if (/not found/i.test(message))
+                    throw new EmbeddingUnavailable('model-not-there');
+                throw new EmbeddingUnavailable('reply-not-a-vector');
+            }
+            const embeddings = body.embeddings;
+            if (!Array.isArray(embeddings) || embeddings.length !== texts.length) {
+                throw new EmbeddingUnavailable('reply-not-a-vector');
+            }
+            const vectors = [];
+            for (const row of embeddings) {
+                if (!Array.isArray(row) || row.length !== expectedDims || row.some((x) => typeof x !== 'number' || !Number.isFinite(x))) {
+                    throw new EmbeddingUnavailable('reply-not-a-vector');
+                }
+                vectors.push(row);
+            }
+            return vectors;
+        }
+        finally {
+            clearTimeout(timer);
+        }
+    };
+}
+function noteFor(base, query) {
+    if (query.expr !== undefined)
+        return base;
+    return `${base} The claim has no expression, so the structural score is zero and the atlas order is by id.`;
+}
+function fallbackResult(query, accepted, reason) {
+    return {
+        embeddings: 'fallback',
+        fallback: reason,
+        proposals: null,
+        accepted,
+        note: noteFor(`Embeddings were requested. ${REASON_TEXT[reason]}. This is the atlas search.`, query),
+    };
+}
+/**
+ * Atlas search, optionally after an embedding proposal. A fallback is the
+ * atlas answer plus a named reason. It does not throw.
+ * @internal
+ */
+export async function retrieveHybrid(args) {
+    const accepted = rankByStructure(args.query, args.corpus);
+    if (args.embeddings !== true) {
+        return {
+            embeddings: 'not-requested',
+            fallback: null,
+            proposals: null,
+            accepted,
+            note: noteFor(ATLAS_ONLY_NOTE, args.query),
+        };
+    }
+    if (args.embedder === undefined) {
+        return fallbackResult(args.query, accepted, 'process-not-there');
+    }
+    const inputs = [queryInput(args.query.text), ...args.corpus.map((record) => record.text)];
+    let vectors;
+    try {
+        vectors = await args.embedder(inputs);
+    }
+    catch (error) {
+        if (error instanceof EmbeddingUnavailable)
+            return fallbackResult(args.query, accepted, error.reason);
+        throw error;
+    }
+    if (vectors.length !== inputs.length)
+        return fallbackResult(args.query, accepted, 'reply-not-a-vector');
+    try {
+        const proposals = rankByCosine(vectors[0], args.corpus.map((record, index) => ({ id: record.id, vector: vectors[index + 1] })));
+        return {
+            embeddings: 'used',
+            fallback: null,
+            proposals,
+            accepted,
+            note: noteFor(PROPOSAL_NOTE, args.query),
+        };
+    }
+    catch (error) {
+        if (error instanceof EmbeddingUnavailable)
+            return fallbackResult(args.query, accepted, error.reason);
+        throw error;
+    }
+}
+//# sourceMappingURL=hybrid-retrieval.js.map

package/dist/atlas/benchmark/hybrid-retrieval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hybrid-retrieval.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/hybrid-retrieval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,eAAe,EAA0C,MAAM,gBAAgB,CAAC;AAEzF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAChC,sGAAsG,CAAC;AAEzG,iGAAiG;AACjG,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEvC,4EAA4E;AAC5E,MAAM,CAAC,MAAM,oBAAoB,GAAG,kEAAkE,CAAC;AAEvG;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAEtC,0EAA0E;AAC1E,MAAM,CAAC,MAAM,eAAe,GAAG,0DAA0D,CAAC;AAE1F,kGAAkG;AAClG,MAAM,CAAC,MAAM,aAAa,GACxB,gKAAgK,CAAC;AAEnK,MAAM,WAAW,GAAG;IAClB,mBAAmB,EAAE,0BAA0B;IAC/C,iBAAiB,EAAE,wBAAwB;IAC3C,oBAAoB,EAClB,sFAAsF;IACxF,qBAAqB,EAAE,0BAA0B;CACzC,CAAC;AAKX,0FAA0F;AAC1F,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACpC,MAAM,CAA0B;IACzC,YAAY,MAA+B;QACzC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAKD,6EAA6E;AAC7E,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,OAAO,aAAa,qBAAqB,YAAY,KAAK,EAAE,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,GAAG,IAAI,IAAI,CAAC;QACZ,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACzB,CAAC;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,YAAY,GAAa,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7F,yEAAyE;AACzE,MAAM,UAAU,MAAM,CAAC,CAAoB,EAAE,CAAoB;IAC/D,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAChB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAChB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACZ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,CAAC;IACD,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AAClC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAwB,EACxB,OAA+E;IAE/E,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;SACtD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAClF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AACrG,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,wBAAwB;IACtC,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC5C,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,aAAa,EAAE;QACnD,GAAG,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC;KAC1E,CAAC,CAAC,CAAC;AACN,CAAC;AAUD,4EAA4E;AAC5E,MAAM,UAAU,cAAc,CAAC,OAA8B;IAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,sBAAsB,CAAC;IACtD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,kBAAkB,CAAC;IAChE,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,iBAAiB,CAAC;IACzD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC;IAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChD,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,CAAC;YACH,IAAI,QAAkB,CAAC;YACvB,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,SAAS,CAAC,GAAG,IAAI,YAAY,EAAE;oBAC9C,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;oBAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;oBAClD,MAAM,EAAE,UAAU,CAAC,MAAM;iBAC1B,CAAC,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACP,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO;oBAAE,MAAM,IAAI,oBAAoB,CAAC,qBAAqB,CAAC,CAAC;gBACrF,MAAM,IAAI,oBAAoB,CAAC,mBAAmB,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG;gBAAE,MAAM,IAAI,oBAAoB,CAAC,iBAAiB,CAAC,CAAC;YAC/E,IAAI,IAAa,CAAC;YAClB,IAAI,CAAC;gBACH,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;YACvD,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,MAAM,OAAO,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtF,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC;oBAAE,MAAM,IAAI,oBAAoB,CAAC,iBAAiB,CAAC,CAAC;gBAClF,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,UAAU,GAAI,IAAiC,CAAC,UAAU,CAAC;YACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBACrE,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,OAAO,GAAe,EAAE,CAAC;YAC/B,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxH,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;gBACvD,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;gBAAS,CAAC;YACT,YAAY,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAWD,SAAS,OAAO,CAAC,IAAY,EAAE,KAAqB;IAClD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,GAAG,IAAI,6FAA6F,CAAC;AAC9G,CAAC;AAED,SAAS,cAAc,CAAC,KAAqB,EAAE,QAA2B,EAAE,MAA+B;IACzG,OAAO;QACL,UAAU,EAAE,UAAU;QACtB,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,IAAI;QACf,QAAQ;QACR,IAAI,EAAE,OAAO,CAAC,8BAA8B,WAAW,CAAC,MAAM,CAAC,6BAA6B,EAAE,KAAK,CAAC;KACrG,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAKpC;IACC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO;YACL,UAAU,EAAE,eAAe;YAC3B,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,IAAI;YACf,QAAQ;YACR,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1F,IAAI,OAAuC,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,oBAAoB;YAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrG,MAAM,KAAK,CAAC;IACd,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC;IACxG,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAC5B,OAAO,CAAC,CAAC,CAAE,EACX,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,CACrF,CAAC;QACF,OAAO;YACL,UAAU,EAAE,MAAM;YAClB,QAAQ,EAAE,IAAI;YACd,SAAS;YACT,QAAQ;YACR,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC;SACzC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,oBAAoB;YAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrG,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/atlas/catalog-formal-ref.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Catalog formal references, keyed by bridge id.
+ *
+ * These used to be `formalRef: physjsFormalRef('be-N')` on the catalog
+ * rows in `src/bridges/index.ts`. That import was an upward edge. The
+ * catalog row does not keep a second copy. A reader that needs the
+ * reference calls {@link catalogFormalRef}.
+ *
+ * The reference is built by `physjsFormalRef`, so kind, url, and covers
+ * are the manifest's, not a hand copy. An id this map does not contain
+ * resolves to no reference. Evidence tags stay derived: this module
+ * does not store a tag.
+ *
+ * @module atlas/catalog-formal-ref
+ */
+import type { FormalRef } from '../relations/types.js';
+/**
+ * The reviewed PhysJS reference for a catalog id, or `undefined` when
+ * this overlay has none.
+ *
+ * @internal
+ */
+export declare function catalogFormalRef(id: number): FormalRef | undefined;
+//# sourceMappingURL=catalog-formal-ref.d.ts.map

package/dist/atlas/catalog-formal-ref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-formal-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAiBvD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAElE"}

package/dist/atlas/catalog-formal-ref.js

@@ -0,0 +1,36 @@
+/**
+ * Catalog formal references, keyed by bridge id.
+ *
+ * These used to be `formalRef: physjsFormalRef('be-N')` on the catalog
+ * rows in `src/bridges/index.ts`. That import was an upward edge. The
+ * catalog row does not keep a second copy. A reader that needs the
+ * reference calls {@link catalogFormalRef}.
+ *
+ * The reference is built by `physjsFormalRef`, so kind, url, and covers
+ * are the manifest's, not a hand copy. An id this map does not contain
+ * resolves to no reference. Evidence tags stay derived: this module
+ * does not store a tag.
+ *
+ * @module atlas/catalog-formal-ref
+ */
+import { physjsFormalRef } from './physjs-ref.js';
+/**
+ * Catalog ids that had a `physjsFormalRef` call on the bridge row.
+ * File order of those calls. `be-20` is absent: its Friedmann corollary
+ * stays nested on `be-13`.
+ */
+const CATALOG_FORMAL_REF_IDS = [
+    11, 12, 13, 14, 15, 16, 17, 19, 21, 22, 24, 27, 28, 29, 30, 32, 33, 34, 35, 37, 38, 40, 42, 43,
+    50, 51, 54, 53, 55, 58, 59, 60, 61, 63, 64, 65,
+];
+const BY_ID = new Map(CATALOG_FORMAL_REF_IDS.map((id) => [id, physjsFormalRef(`be-${id}`)]));
+/**
+ * The reviewed PhysJS reference for a catalog id, or `undefined` when
+ * this overlay has none.
+ *
+ * @internal
+ */
+export function catalogFormalRef(id) {
+    return BY_ID.get(id);
+}
+//# sourceMappingURL=catalog-formal-ref.js.map

package/dist/atlas/catalog-formal-ref.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;GAIG;AACH,MAAM,sBAAsB,GAAG;IAC7B,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IAC9F,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;CACtC,CAAC;AAEX,MAAM,KAAK,GAAmC,IAAI,GAAG,CACnD,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvB,CAAC"}

package/dist/atlas/composition-table.d.ts

@@ -1,55 +1,20 @@
 /**
- * The composition table for `RelationType` — a literal 8×8 matrix.
- *
- * `composeRelation(first, second)` answers: if one bridge asserts `first` and a
- * second bridge asserts `second`, what relation does the chain assert? The
- * argument order is the `First ∘ Second` column order of design note
- * `docs/planning/Atlas-Phase-1-Design.md` §2.1.
- *
- * **The table is a deliberate UNDER-approximation of Blueprint v2 §4.2.** Every
- * cell not named in §2.1 is `'no-composite-claim'`, because a wrong composite
- * type is a false physical claim while silence is only silence. Eight of the
- * sixty-four cells are defined; the remaining fifty-six are silent, and the
- * reasons for the notable silences are §2.2.
- *
- * Two cells the implementation plan asserts are NOT defined here, on the
- * authority of the design note (§0 and §2.2 item 5):
- *
- * - `exact-equivalence ∘ approximation`, either order. An exact equivalence
- *   contributes `IDENTITY_BOUND` only *in the norm a given bridge states* (see
- *   `./error-algebra.ts`), and no field in Sprint 1 records a norm, so
- *   norm-compatibility cannot be checked. A `norm?` field unblocks it in
- *   Phase 2.
- * - `structural-analogy ∘ structural-analogy`. Analogy is not transitive: the
- *   shared structure can dilute to nothing across a chain.
- *
- * Widening this table is a reviewed act — `tests/atlas/composition-table.test.ts`
- * pins the count of silent cells.
- *
- * Pure: no I/O, no registry reads, and no import from `src/composition/`.
+ * Re-export of the composition table. The table lives in
+ * `src/relations/composition-table.ts`. These consts are the same bindings.
  *
  * @module atlas/composition-table
  */
-import type { RelationType } from './types.js';
-/** What `composeRelation` returns when the chain asserts nothing. @public */
-export type NoCompositeClaim = 'no-composite-claim';
-/** The result of composing two relations. @public */
-export type CompositionResult = RelationType | NoCompositeClaim;
+import { composeRelation as composeRelationValue } from '../relations/composition-table.js';
 /** @public */
-export declare const NO_COMPOSITE_CLAIM: NoCompositeClaim;
-/**
- * Every row of every column, written out. `Record<RelationType, …>` makes the
- * exhaustiveness structural: a ninth `RelationType` member fails to compile
- * here rather than silently acquiring a row of `'no-composite-claim'`.
- *
- * @public
- */
-export declare const COMPOSITION_TABLE: Readonly<Record<RelationType, Readonly<Record<RelationType, CompositionResult>>>>;
+export declare const NO_COMPOSITE_CLAIM: "no-composite-claim";
 /**
- * The relation a chain of two bridges asserts, or `'no-composite-claim'` when
- * this sprint declines to assert one. A table lookup — no rules, no inference.
- *
  * @public
  */
-export declare function composeRelation(first: RelationType, second: RelationType): CompositionResult;
+export declare const COMPOSITION_TABLE: Readonly<Record<import("../relations/types.js").RelationType, Readonly<Record<import("../relations/types.js").RelationType, import("../relations/composition-table.js").CompositionResult>>>>;
+/** @public */
+export declare const composeRelation: typeof composeRelationValue;
+/** @public */
+export type NoCompositeClaim = import('../relations/composition-table.js').NoCompositeClaim;
+/** @public */
+export type CompositionResult = import('../relations/composition-table.js').CompositionResult;
 //# sourceMappingURL=composition-table.d.ts.map

package/dist/atlas/composition-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"composition-table.d.ts","sourceRoot":"","sources":["../../src/atlas/composition-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAEpD,qDAAqD;AACrD,MAAM,MAAM,iBAAiB,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAEhE,cAAc;AACd,eAAO,MAAM,kBAAkB,EAAE,gBAAuC,CAAC;AAEzE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CACtC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAkFxE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,YAAY,GACnB,iBAAiB,CAEnB"}
+{"version":3,"file":"composition-table.d.ts","sourceRoot":"","sources":["../../src/atlas/composition-table.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEL,eAAe,IAAI,oBAAoB,EAExC,MAAM,mCAAmC,CAAC;AAE3C,cAAc;AACd,eAAO,MAAM,kBAAkB,sBAAwB,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,iBAAiB,+LAAwB,CAAC;AAEvD,cAAc;AACd,eAAO,MAAM,eAAe,6BAAuB,CAAC;AAEpD,cAAc;AACd,MAAM,MAAM,gBAAgB,GAAG,OAAO,mCAAmC,EAAE,gBAAgB,CAAC;AAE5F,cAAc;AACd,MAAM,MAAM,iBAAiB,GAAG,OAAO,mCAAmC,EAAE,iBAAiB,CAAC"}