universal-physics-tensor 0.47.1 → 1.0.2

package/bin/upt.mjs

@@ -3,7 +3,8 @@
  * 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).
+ * 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';
@@ -11,6 +12,11 @@ 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);

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/chain-pipeline.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Internal bridge-discovery pipeline.
+ *
+ * Seeds, then seed-filtered symbolic enumeration, the Buckingham filter,
+ * the structural classifier, the regime join gate, the chain order,
+ * and the proof-target stub.
+ * A confirmation reports the catalog id. A restatement reports the
+ * pre-declared canonical equation. A regime mismatch is recorded and
+ * is not a stub. Any other survivor is a statement skeleton. Nothing
+ * is written into the catalog.
+ *
+ * No command calls this. `discovery.ts` and the probe are not inputs.
+ *
+ * @module atlas/chain-pipeline
+ */
+import type { BridgeEdge } from '../composition/edge.js';
+import { type ChainRegimeMismatch } from '../composition/chain-regime.js';
+/** A chain whose normal form matches a catalog equation. Nothing was written. @internal */
+export interface ChainConfirmationRecord {
+    readonly kind: 'confirmation';
+    readonly catalogId: number;
+    readonly edgeIds: readonly string[];
+}
+/** A chain the registry pre-declared with `restatesBridge`. Not a new equation. @internal */
+export interface ChainRestatementRecord {
+    readonly kind: 'restatement';
+    readonly canonicalId: string;
+    readonly restatesBridge: string;
+    readonly edgeIds: readonly string[];
+}
+/** A provisional chain, as a Lean statement skeleton. @internal */
+export interface ChainStubRecord {
+    readonly kind: 'stub';
+    readonly id: string;
+    readonly edgeIds: readonly string[];
+    readonly text: string;
+}
+/** One ordered survivor, or a recorded regime rejection. @internal */
+export type ChainPipelineResult = ChainConfirmationRecord | ChainRestatementRecord | ChainStubRecord | ChainRegimeMismatch;
+/**
+ * Run the pipeline on `edges`.
+ *
+ * A manifest key whose derived kind is not `bridge` is not a premise.
+ * A chain the Buckingham filter drops is absent. A confirmation or a
+ * restatement is not sent to the regime gate. Any other mismatch is
+ * `rejected: regime mismatch` and is not a stub. The catalog array is
+ * not modified.
+ *
+ * @internal
+ */
+export declare function runChainPipeline(edges: readonly BridgeEdge[]): readonly ChainPipelineResult[];
+//# sourceMappingURL=chain-pipeline.d.ts.map

package/dist/atlas/chain-pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-pipeline.d.ts","sourceRoot":"","sources":["../../src/atlas/chain-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAOH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAUzD,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,gCAAgC,CAAC;AAKxC,2FAA2F;AAC3F,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,6FAA6F;AAC7F,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAC3B,uBAAuB,GACvB,sBAAsB,GACtB,eAAe,GACf,mBAAmB,CAAC;AA6HxB;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,mBAAmB,EAAE,CA2B7F"}