universal-physics-tensor 0.47.0 → 1.0.1

package/dist/cli/search-index.d.ts

@@ -0,0 +1,56 @@
+/**
+ * The word index behind `upt search`, shared with `upt explain`'s NOT COVERED answer (audit I5).
+ *
+ * It indexes every registry the CLI exposes by WORD: names, ids, symbols, genuine aliases
+ * (`resolveToCatalogName`) and catalog-bridge descriptions. An equal dimension is never a match: a
+ * radius is not a wavelength, and angular frequency is not frequency, even where the two share a
+ * dimension.
+ *
+ * A word of one or two letters is a symbol, not an English word: it matches a quantity symbol, an
+ * alias or a whole id segment exactly, and never a stray letter inside a description.
+ */
+import type { CommandCtx } from './command.js';
+/** The registry a search-index entry comes from. */
+export type SearchKind = 'catalog-bridge' | 'canonical-equation' | 'atlas-model' | 'atlas-bridge' | 'quantity' | 'applied-case';
+export declare const SEARCH_SECTIONS: readonly (readonly [SearchKind, string])[];
+/** A searchable field: its label, its words, and the exact strings a short word may equal. */
+interface Field {
+    readonly label: string;
+    readonly text: string;
+    readonly exact?: readonly string[];
+}
+/** One indexed record: its registry, its id, the line `upt search` prints, the command that shows it, and its searchable fields. */
+export interface SearchEntry {
+    readonly kind: SearchKind;
+    readonly id: string;
+    readonly line: string;
+    readonly command: string;
+    readonly commandLabel: string;
+    readonly note?: string;
+    readonly fields: readonly Field[];
+}
+/** An entry that matched every query word, the fields it matched in, and the alias that resolved it, if one did. */
+export interface SearchMatch {
+    readonly entry: SearchEntry;
+    readonly matchedIn: readonly string[];
+    readonly alias?: string;
+}
+export declare const STOP_WORDS: ReadonlySet<string>;
+export declare const fold: (s: string) => string;
+/** Index every registry the CLI exposes, including applied cases. */
+export declare function buildSearchIndex(api: CommandCtx['api']): SearchEntry[];
+/** Every entry of `index` that EVERY word of `significant` matches, name and id matches first. */
+export declare function matchEveryWord(api: CommandCtx['api'], index: readonly SearchEntry[], significant: readonly string[]): SearchMatch[];
+/**
+ * What `upt search` finds for the words of a name that is not a quantity (`schrodinger-equation`):
+ * the name splits on `-`, `_` and spaces, stop words drop, and the words are searched together. When
+ * no entry matches every word, the largest set of the words that some entry does match is used
+ * instead, the one with the fewest matches when sets tie (so the rarer word `schrodinger` beats the
+ * common word `equation`). Returns `null` when no word matches anything. At most six words are tried.
+ */
+export declare function searchNameWords(api: CommandCtx['api'], name: string): {
+    readonly words: readonly string[];
+    readonly matches: readonly SearchMatch[];
+} | null;
+export {};
+//# sourceMappingURL=search-index.d.ts.map

package/dist/cli/search-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-index.d.ts","sourceRoot":"","sources":["../../src/cli/search-index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,oDAAoD;AACpD,MAAM,MAAM,UAAU,GAClB,gBAAgB,GAChB,oBAAoB,GACpB,aAAa,GACb,cAAc,GACd,UAAU,GACV,cAAc,CAAC;AAEnB,eAAO,MAAM,eAAe,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EAOrE,CAAC;AAEF,8FAA8F;AAC9F,UAAU,KAAK;IACb,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,oIAAoI;AACpI,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;CACnC;AAED,oHAAoH;AACpH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,eAAO,MAAM,UAAU,EAAE,WAAW,CAAC,MAAM,CAAoD,CAAC;AAEhG,eAAO,MAAM,IAAI,MAAO,MAAM,KAAG,MAAiE,CAAC;AAenG,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,WAAW,EAAE,CA+GtE;AAED,kGAAkG;AAClG,wBAAgB,cAAc,CAC5B,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,EACtB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,WAAW,EAAE,CA6Bf;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,EACtB,IAAI,EAAE,MAAM,GACX;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,GAAG,IAAI,CAmBxF"}

package/dist/cli/search-index.js

@@ -0,0 +1,190 @@
+export const SEARCH_SECTIONS = [
+    ['catalog-bridge', 'catalog bridges'],
+    ['canonical-equation', 'canonical equations'],
+    ['atlas-model', 'atlas models'],
+    ['atlas-bridge', 'atlas bridges'],
+    ['quantity', 'quantities'],
+    ['applied-case', 'applied cases'],
+];
+export const STOP_WORDS = new Set(['of', 'the', 'and', 'for', 'in', 'an']);
+export const fold = (s) => s.normalize('NFD').replace(/\p{M}/gu, '').toLowerCase();
+const words = (s) => fold(s).split(/[^\p{L}\p{N}]+/u).filter((w) => w.length > 0);
+/** The fields of `e` that `q` matches, or `null` when it matches none. */
+function matchWord(q, e) {
+    const short = q.length <= 2;
+    const fq = fold(q);
+    const hit = e.fields.filter((f) => short
+        ? (f.exact ?? []).includes(q) || (f.label === 'id' && words(f.text).includes(fq))
+        : words(f.text).some((w) => w.startsWith(fq)));
+    return hit.length === 0 ? null : hit.map((f) => f.label);
+}
+/** Index every registry the CLI exposes, including applied cases. */
+export function buildSearchIndex(api) {
+    const entries = [];
+    const fmt = api.format;
+    for (const b of api.BRIDGE_EQUATIONS) {
+        const ev = api.BRIDGE_EVALUATORS.get(b.id);
+        entries.push({
+            kind: 'catalog-bridge',
+            id: `be-${b.id}`,
+            line: `be-${b.id} ${b.name} [${b.status}]`,
+            command: ev === undefined ? `upt explain be-${b.id}` : `upt evaluate be-${b.id} ${ev.inputKeys.map((k) => `${k}=…`).join(' ')}`,
+            commandLabel: ev === undefined ? 'no evaluator; route' : 'evaluate',
+            ...(ev === undefined
+                ? {}
+                : { note: `units: ${ev.parameters.map((p) => `${p.key} in ${p.unit || 'dimensionless'}`).join(', ')}; a value may carry its own unit` }),
+            fields: [
+                { label: 'id', text: `be ${b.id}`, exact: [`be-${b.id}`] },
+                { label: 'name', text: b.name },
+                { label: 'description', text: b.context ?? '' },
+            ],
+        });
+    }
+    for (const c of api.CANONICAL_EQUATIONS) {
+        const t = c.dimensional.target;
+        const inputs = c.dimensional.governing.map((g) => `${g.name} ${fmt(g.dim)}`).join(', ');
+        entries.push({
+            kind: 'canonical-equation',
+            id: c.id,
+            line: `${c.id} ${c.name} — target ${t.name} ${fmt(t.dim)}; inputs: ${inputs || 'none'}`,
+            command: `upt explain ${t.name} --source=canonical`,
+            commandLabel: 'inspect',
+            fields: [
+                { label: 'id', text: c.id, exact: [c.id] },
+                { label: 'name', text: c.name },
+                { label: 'variables', text: [t.name, ...c.dimensional.governing.map((g) => g.name)].join(' ') },
+            ],
+        });
+    }
+    for (const f of api.ATLAS_FAMILIES) {
+        for (const m of f.models) {
+            entries.push({
+                kind: 'atlas-model',
+                id: m.id,
+                line: `${m.id} [${f.family}]`,
+                command: `upt regime ${f.family} · upt path ${m.id} <to-model>`,
+                commandLabel: 'inspect',
+                fields: [{ label: 'id', text: m.id, exact: [m.id] }],
+            });
+        }
+        for (const b of f.bridges) {
+            entries.push({
+                kind: 'atlas-bridge',
+                id: b.id,
+                line: `${b.id} ${b.relation} [${f.family}]: ${b.premises.join(' + ')} → ${b.conclusion}`,
+                command: `upt atlas ${b.id}`,
+                commandLabel: 'inspect',
+                fields: [
+                    { label: 'id', text: b.id, exact: [b.id] },
+                    { label: 'models', text: [...b.premises, b.conclusion].join(' ') },
+                ],
+            });
+        }
+    }
+    // A quantity keeps every dimension it carries in every graph that names it,
+    // so a name used with two dimensions shows both rather than one silently.
+    const quantities = new Map();
+    const addQ = (q, graph) => {
+        const cur = quantities.get(q.name) ?? { symbols: new Set(), dims: new Set(), graphs: new Set() };
+        cur.symbols.add(q.symbol);
+        cur.dims.add(fmt(q.dim));
+        cur.graphs.add(graph);
+        quantities.set(q.name, cur);
+    };
+    for (const [graph, edges] of [['catalog', api.CATALOG_GRAPH], ['canonical', api.CANONICAL_GRAPH]]) {
+        for (const e of edges) {
+            for (const s of e.sources)
+                addQ(s, graph);
+            addQ(e.target, graph);
+        }
+    }
+    for (const c of api.APPLIED_CASES.values()) {
+        entries.push({
+            kind: 'applied-case',
+            id: c.id,
+            line: `${c.id} ${c.title}`,
+            command: `upt evaluate ${c.id}`,
+            commandLabel: 'evaluate',
+            fields: [
+                { label: 'id', text: c.id, exact: [c.id] },
+                { label: 'name', text: c.title },
+            ],
+        });
+    }
+    for (const [name, q] of quantities) {
+        const graphs = [...q.graphs];
+        entries.push({
+            kind: 'quantity',
+            id: name,
+            line: `${name} ${[...q.dims].join(' / ')} — symbol ${[...q.symbols].join(', ')}; in: ${graphs.join(', ')}`,
+            command: `upt explain ${name} --source=${graphs.length === 2 ? 'both' : graphs[0]}`,
+            commandLabel: 'inspect',
+            fields: [
+                { label: 'name', text: name, exact: [name] },
+                { label: 'symbol', text: [...q.symbols].join(' '), exact: [...q.symbols] },
+            ],
+        });
+    }
+    return entries;
+}
+/** Every entry of `index` that EVERY word of `significant` matches, name and id matches first. */
+export function matchEveryWord(api, index, significant) {
+    const quantityNames = new Set(index.filter((e) => e.kind === 'quantity').map((e) => e.id));
+    const aliasTargets = new Map();
+    for (const q of significant) {
+        const resolved = api.resolveToCatalogName(q, quantityNames);
+        if (resolved !== null && resolved !== q)
+            aliasTargets.set(resolved, q);
+    }
+    const matches = [];
+    for (const e of index) {
+        const alias = e.kind === 'quantity' ? aliasTargets.get(e.id) : undefined;
+        const labels = new Set();
+        let all = true;
+        for (const q of significant) {
+            const hit = alias === q ? ['alias'] : matchWord(q, e);
+            if (hit === null) {
+                all = false;
+                break;
+            }
+            for (const l of hit)
+                labels.add(l);
+        }
+        if (!all)
+            continue;
+        const order = e.fields.map((f) => f.label).concat('alias');
+        matches.push({ entry: e, matchedIn: order.filter((l) => labels.has(l)), ...(alias === undefined ? {} : { alias }) });
+    }
+    // A match on a name or id reads before one found only in a description.
+    const rank = (m) => m.matchedIn.includes('id') || (m.matchedIn.includes('name') && !m.matchedIn.includes('description')) ? 0 : 1;
+    return matches.sort((a, b) => rank(a) - rank(b));
+}
+/**
+ * What `upt search` finds for the words of a name that is not a quantity (`schrodinger-equation`):
+ * the name splits on `-`, `_` and spaces, stop words drop, and the words are searched together. When
+ * no entry matches every word, the largest set of the words that some entry does match is used
+ * instead, the one with the fewest matches when sets tie (so the rarer word `schrodinger` beats the
+ * common word `equation`). Returns `null` when no word matches anything. At most six words are tried.
+ */
+export function searchNameWords(api, name) {
+    const all = name.split(/[-_\s]+/).filter((w) => w.length > 0 && !STOP_WORDS.has(fold(w))).slice(0, 6);
+    if (all.length === 0)
+        return null;
+    const index = buildSearchIndex(api);
+    let best = null;
+    for (let mask = (1 << all.length) - 1; mask > 0; mask--) {
+        const subset = all.filter((_, i) => (mask & (1 << i)) !== 0);
+        if (best !== null && subset.length < best.words.length)
+            continue;
+        const matches = matchEveryWord(api, index, subset);
+        if (matches.length === 0)
+            continue;
+        if (best === null ||
+            subset.length > best.words.length ||
+            (subset.length === best.words.length && matches.length < best.matches.length)) {
+            best = { words: subset, matches };
+        }
+    }
+    return best;
+}
+//# sourceMappingURL=search-index.js.map

package/dist/cli/search-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-index.js","sourceRoot":"","sources":["../../src/cli/search-index.ts"],"names":[],"mappings":"AAsBA,MAAM,CAAC,MAAM,eAAe,GAA+C;IACzE,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IACrC,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;IAC7C,CAAC,aAAa,EAAE,cAAc,CAAC;IAC/B,CAAC,cAAc,EAAE,eAAe,CAAC;IACjC,CAAC,UAAU,EAAE,YAAY,CAAC;IAC1B,CAAC,cAAc,EAAE,eAAe,CAAC;CAClC,CAAC;AA2BF,MAAM,CAAC,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEhG,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACnG,MAAM,KAAK,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAEpG,0EAA0E;AAC1E,SAAS,SAAS,CAAC,CAAS,EAAE,CAAc;IAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;IAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,KAAK;QACH,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAChD,CAAC;IACF,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,gBAAgB,CAAC,GAAsB;IACrD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IAEvB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE;YAChB,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG;YAC1C,OAAO,EAAE,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC/H,YAAY,EAAE,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU;YACnE,GAAG,CAAC,EAAE,KAAK,SAAS;gBAClB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,IAAI,eAAe,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC;YAC1I,MAAM,EAAE;gBACN,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBAC1D,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC/B,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE;aAChD;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,mBAAmB,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,oBAAoB;YAC1B,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,MAAM,IAAI,MAAM,EAAE;YACvF,OAAO,EAAE,eAAe,CAAC,CAAC,IAAI,qBAAqB;YACnD,YAAY,EAAE,SAAS;YACvB,MAAM,EAAE;gBACN,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;gBAC1C,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC/B,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;aAChG;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,aAAa;gBACnB,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,GAAG;gBAC7B,OAAO,EAAE,cAAc,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,EAAE,aAAa;gBAC/D,YAAY,EAAE,SAAS;gBACvB,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;aACrD,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,cAAc;gBACpB,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE;gBACxF,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE;gBAC5B,YAAY,EAAE,SAAS;gBACvB,MAAM,EAAE;oBACN,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;oBAC1C,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBACnE;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,0EAA0E;IAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAA4E,CAAC;IACvG,MAAM,IAAI,GAAG,CAAC,CAAmE,EAAE,KAAa,EAAQ,EAAE;QACxG,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QACjG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,eAAe,CAAC,CAAU,EAAE,CAAC;QAC3G,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,cAAc;YACpB,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE;YAC1B,OAAO,EAAE,gBAAgB,CAAC,CAAC,EAAE,EAAE;YAC/B,YAAY,EAAE,UAAU;YACxB,MAAM,EAAE;gBACN,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;gBAC1C,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE;aACjC;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC1G,OAAO,EAAE,eAAe,IAAI,aAAa,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACnF,YAAY,EAAE,SAAS;YACvB,MAAM,EAAE;gBACN,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE;gBAC5C,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE;aAC3E;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,cAAc,CAC5B,GAAsB,EACtB,KAA6B,EAC7B,WAA8B;IAE9B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,oBAAoB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QAC5D,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,GAAG,GAAG,KAAK,CAAC;gBACZ,MAAM;YACR,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,wEAAwE;IACxE,MAAM,IAAI,GAAG,CAAC,CAAc,EAAU,EAAE,CACtC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/G,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,GAAsB,EACtB,IAAY;IAEZ,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtG,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,IAAI,GAAuD,IAAI,CAAC;IACpE,KAAK,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,SAAS;QACjE,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,IACE,IAAI,KAAK,IAAI;YACb,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;YACjC,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAC7E,CAAC;YACD,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/cli/statuses.d.ts

@@ -0,0 +1,25 @@
+/**
+ * The status words the CLI prints, defined once (audit I13).
+ *
+ * `upt help statuses` prints this table, and every `--json` envelope carries the definitions of the
+ * statuses its command can emit (`emitJson` adds them from here, so a command cannot omit them and no
+ * command keeps a private copy). A status a command prints but this table does not assign to it is a
+ * defect, which `tests/cli/statuses.test.ts` looks for in the commands' own output.
+ */
+export interface StatusDefinition {
+    /** The key under `definitions` in a `--json` envelope. */
+    readonly key: string;
+    /** The words as the commands print them, text or JSON. */
+    readonly words: readonly string[];
+    readonly meaning: string;
+    /** The commands (envelope `command` names) that can emit it. */
+    readonly commands: readonly string[];
+}
+export declare const STATUS_GLOSSARY: readonly StatusDefinition[];
+/** The definitions of the statuses `command` can emit, keyed as in the glossary. */
+export declare function definitionsFor(command: string): Record<string, string>;
+/** The glossary meaning of status `key`; throws on a key the glossary does not define. */
+export declare function statusMeaning(key: string): string;
+/** The text of `upt help statuses`: each status, its words, the commands that emit it, and its meaning. */
+export declare function glossaryText(): string;
+//# sourceMappingURL=statuses.d.ts.map

package/dist/cli/statuses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statuses.d.ts","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,gBAAgB;IAC/B,0DAA0D;IAC1D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,eAAe,EAAE,SAAS,gBAAgB,EAwQtD,CAAC;AAEF,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAItE;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAIjD;AAED,2GAA2G;AAC3G,wBAAgB,YAAY,IAAI,MAAM,CAarC"}

package/dist/cli/statuses.js

@@ -0,0 +1,276 @@
+/**
+ * The status words the CLI prints, defined once (audit I13).
+ *
+ * `upt help statuses` prints this table, and every `--json` envelope carries the definitions of the
+ * statuses its command can emit (`emitJson` adds them from here, so a command cannot omit them and no
+ * command keeps a private copy). A status a command prints but this table does not assign to it is a
+ * defect, which `tests/cli/statuses.test.ts` looks for in the commands' own output.
+ */
+export const STATUS_GLOSSARY = [
+    {
+        key: 'valid',
+        words: ['valid'],
+        meaning: 'every machine inequality the record states was evaluated at the point and holds. Only a record ' +
+            'that states at least one inequality can be valid; its prose premises are listed apart and were not checked',
+        commands: ['regime'],
+    },
+    {
+        key: 'vacuous',
+        words: ['VACUOUS', 'vacuous'],
+        meaning: 'the record states no machine inequality, so nothing was evaluated: not a pass, and not evidence ' +
+            'that the record applies at the point',
+        commands: ['regime', 'path', 'atlas', 'map'],
+    },
+    {
+        key: 'unknown',
+        words: ['UNKNOWN', 'unknown', 'UNCHECKED', 'unchecked'],
+        meaning: 'a value the check needs was not supplied (or a search stopped at its budget), so the check did not ' +
+            'run: a failure to confirm, never a pass and never a violation. It exits 0',
+        commands: ['regime', 'path', 'evaluate', 'map'],
+    },
+    {
+        key: 'violated',
+        words: ['VIOLATED', 'violated'],
+        meaning: 'a machine inequality (a regime, horizon or validity condition) was evaluated at the point and fails; ' +
+            'no bound is claimed there',
+        commands: ['regime', 'path', 'evaluate'],
+    },
+    {
+        key: 'adequate',
+        words: ['ADEQUATE', 'adequate'],
+        meaning: 'every bound on the path is claimed at the point and its error, in the norm the tolerance is stated in, ' +
+            'is within the tolerance',
+        commands: ['path'],
+    },
+    {
+        key: 'inadequate',
+        words: ['INADEQUATE', 'inadequate'],
+        meaning: 'the point is outside a regime or past a horizon on the path, or the error exceeds the tolerance; exit 3',
+        commands: ['path'],
+    },
+    {
+        key: 'undetermined',
+        words: ['UNDETERMINED', 'undetermined'],
+        meaning: 'the point does not settle adequacy: a value is missing, the bound is in another norm with no declared ' +
+            'translation, or an upper bound is past its horizon. It is not shown inadequate',
+        commands: ['path'],
+    },
+    {
+        key: 'neither',
+        words: ['NEITHER', 'neither'],
+        meaning: 'in a route-coverage grid, no encoded route claims a bound at this point: the parent model is the one ' +
+            'to use there and no reduced-model number is given. It does not say the models disagree',
+        commands: ['path'],
+    },
+    {
+        key: 'unsettled',
+        words: ['UNSETTLED', 'unsettled'],
+        meaning: 'in a route-coverage grid, a coordinate or t was not supplied, so whether a route covers the point is not settled',
+        commands: ['path'],
+    },
+    {
+        key: 'no-composite-claim',
+        words: ['no composite claim', 'no-claim', 'no-composite-claim'],
+        meaning: 'the composition table yields no relation for two steps of the route (a silent cell). The route claims no ' +
+            'error and exits 0. A missing Lipschitz constant, an undeclared norm and an unmapped cross-family norm are ' +
+            'other refusals, counted apart from this one',
+        commands: ['path', 'map'],
+    },
+    {
+        key: 'missing-lipschitz',
+        words: ['missing-lipschitz'],
+        meaning: 'a step that is not last states no Lipschitz constant, so the error after it is unbounded. No bound is ' +
+            'claimed. It exits 0. It is not a silent composition-table cell',
+        commands: ['path'],
+    },
+    {
+        key: 'norm-not-stated',
+        words: ['norm-not-stated'],
+        meaning: 'an exact step declares no norm transport for the running norm and the direction the route crosses it. ' +
+            'No bound is claimed. It exits 0',
+        commands: ['path'],
+    },
+    {
+        key: 'norm-mismatch',
+        words: ['norm-mismatch'],
+        meaning: 'two stated norms on one route are not the same norm, and no transport maps one to the other. No bound is ' +
+            'claimed. It exits 0',
+        commands: ['path'],
+    },
+    {
+        key: 'cross-family-unmapped',
+        words: ['cross-family-unmapped'],
+        meaning: 'across model families a matching norm name is not a transport. No witnessed NormTransport carries the ' +
+            'bound, so none is claimed. It exits 0. It is not a violated check',
+        commands: ['path'],
+    },
+    {
+        key: 'uniformity-unanalysed',
+        words: ['uniformity-unanalysed'],
+        meaning: 'a bound on the route does not state whether its error is uniform. No bound is claimed. It exits 0',
+        commands: ['path'],
+    },
+    {
+        key: 'decoy',
+        words: ['DECOY', 'decoy'],
+        meaning: 'a set of constants closes the dimensions, but its monomial does not reproduce the evaluator: a failed ' +
+            'dimensional reconstruction, not a physical refutation of the formula',
+        commands: ['audit'],
+    },
+    {
+        key: 'adjudicated-decoy',
+        words: ['decoy'],
+        meaning: 'a recorded adjudication of the identification a ≡ b found a dimensional coincidence with no mechanism ' +
+            '(trivial and definitional identifications included). Folded out of the PROMISING list by default. Not ' +
+            'the DECOY of `upt audit`, which is a failed dimensional reconstruction of a bridge',
+        commands: ['discover'],
+    },
+    {
+        key: 'entailed',
+        words: ['entailed'],
+        meaning: 'real physics that the canonical L-layer already carries, so not a new link. As a recorded adjudication ' +
+            'verdict it folds the identification out of the PROMISING list by default; as a consequence signal it ' +
+            'means the derived monomial has the same normal form, target and governing set as a canonical equation',
+        commands: ['discover'],
+    },
+    {
+        key: 'novel-consequence',
+        words: ['novel-consequence'],
+        meaning: 'the derived monomial consequence matches no canonical equation: unadjudicated, and not evidence that it holds',
+        commands: ['discover'],
+    },
+    {
+        key: 'inconclusive',
+        words: ['inconclusive'],
+        meaning: 'no monomial consequence could be derived, so nothing was compared',
+        commands: ['discover'],
+    },
+    {
+        key: 'genuine',
+        words: ['genuine'],
+        meaning: 'a recorded adjudication found the identification real physics and a new link',
+        commands: ['discover'],
+    },
+    {
+        key: 'deferred',
+        words: ['deferred'],
+        meaning: 'the identification was reviewed and consciously parked. An identification with no recorded adjudication ' +
+            'was never reviewed, which is not the same',
+        commands: ['discover'],
+    },
+    {
+        key: 'not-covered',
+        words: ['NOT COVERED'],
+        meaning: 'the name is not a quantity of the selected graph (--source), so there is nothing to evaluate; the nearest ' +
+            'names and what `upt search` finds are listed. It is not a statement about the physics',
+        commands: ['explain'],
+    },
+    {
+        key: 'promising',
+        words: ['PROMISING', 'promising'],
+        meaning: 'an identification a ≡ b that is numerically consistent, connects disconnected physics and unlocks at least ' +
+            'one quantity: worth a physicist\'s review, not evidence that it holds',
+        commands: ['discover'],
+    },
+    {
+        key: 'inert',
+        words: ['INERT', 'inert'],
+        meaning: 'consistent but idle: a dimensional coincidence that connects nothing new and unlocks no quantity',
+        commands: ['discover'],
+    },
+    {
+        key: 'contradictory',
+        words: ['CONTRADICTORY', 'contradictory'],
+        meaning: 'the identification breaks the numerical consistency of the graph: a falsification within the graph',
+        commands: ['discover'],
+    },
+    {
+        key: 'magnitude-clash',
+        words: ['magnitude-clash'],
+        meaning: 'the two quantities\' representative values differ by more than the threshold of orders of magnitude: an ' +
+            'independent falsification',
+        commands: ['discover'],
+    },
+    {
+        key: 'axis-clash',
+        words: ['axis-clash'],
+        meaning: 'the identification\'s stated scale or force regime labels disagree: a prior from catalog labels, no ' +
+            'computation, never counted as a falsification',
+        commands: ['discover'],
+    },
+    {
+        key: 'reproduced',
+        words: ['reproduced'],
+        meaning: 'the replayed run gave the recorded exit code, stdout and stderr, byte for byte, and any file it wrote ' +
+            '(--out, written to a temporary path, never over the recorded one) has the recorded SHA-256',
+        commands: ['replay'],
+    },
+    {
+        key: 'differs',
+        words: ['differs', 'differ'],
+        meaning: 'the replayed run differs from the record: the stream (or the written file) and first differing line are ' +
+            'named, with every changed version, parser, constant or module source and whether the command can reach it. Exit 3',
+        commands: ['replay'],
+    },
+    {
+        key: 'not-replayable',
+        words: ['not replayable', 'not-replayable'],
+        meaning: 'the entry is not re-run, or its replay is not compared: its line is malformed; it was to write a file and ' +
+            'wrote none; it ran an external probe worker; a file it read (--problem, --data, --stored, ...) changed, ' +
+            'vanished or appeared since recording, or was not hashed; or the recorded or the replayed probe search ' +
+            'stopped on its wall-clock budget (time-limit). Nothing was compared',
+        commands: ['replay'],
+    },
+    {
+        key: 'checked',
+        words: ['checked'],
+        meaning: 'a witness ran in this invocation and its claim held',
+        commands: ['atlas', 'map', 'path'],
+    },
+    {
+        key: 'refuted',
+        words: ['refuted', 'REFUTED'],
+        meaning: 'a witness ran and its claim failed. On a negative control the wrong hypothesis is refuted, which is ' +
+            'the control working. A refuted witness makes `--run` exit 3',
+        commands: ['atlas', 'map', 'path'],
+    },
+    {
+        key: 'unresolved',
+        words: ['unresolved'],
+        meaning: 'a witness did not run (its peer is absent, it timed out, its input did not parse) or ran and could not ' +
+            'decide (a CAS difference that did not simplify to zero, no convergence). Not a refutation, and never ' +
+            'counted with the refuted',
+        commands: ['atlas', 'map', 'path'],
+    },
+];
+/** The definitions of the statuses `command` can emit, keyed as in the glossary. */
+export function definitionsFor(command) {
+    const out = {};
+    for (const s of STATUS_GLOSSARY)
+        if (s.commands.includes(command))
+            out[s.key] = s.meaning;
+    return out;
+}
+/** The glossary meaning of status `key`; throws on a key the glossary does not define. */
+export function statusMeaning(key) {
+    const s = STATUS_GLOSSARY.find((d) => d.key === key);
+    if (s === undefined)
+        throw new Error(`statuses: no status '${key}'`);
+    return s.meaning;
+}
+/** The text of `upt help statuses`: each status, its words, the commands that emit it, and its meaning. */
+export function glossaryText() {
+    const lines = [
+        'upt help statuses — the status words the commands print',
+        '',
+        'Each --json envelope carries these definitions, under `definitions`, for the statuses its command',
+        'can emit. A status that did not check anything never reads as a pass.',
+        '',
+    ];
+    for (const s of STATUS_GLOSSARY) {
+        lines.push(`  ${s.words.join(' / ')}   (${s.commands.map((c) => (c === 'replay' ? '--replay' : c)).join(', ')})`);
+        lines.push(`        ${s.meaning}.`);
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=statuses.js.map

package/dist/cli/statuses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statuses.js","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,MAAM,CAAC,MAAM,eAAe,GAAgC;IAC1D;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,iGAAiG;YACjG,4GAA4G;QAC9G,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,kGAAkG;YAClG,sCAAsC;QACxC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;KAC7C;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC;QACvD,OAAO,EACL,qGAAqG;YACrG,2EAA2E;QAC7E,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;KAChD;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,uGAAuG;YACvG,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC;KACzC;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,yGAAyG;YACzG,yBAAyB;QAC3B,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACnC,OAAO,EACL,yGAAyG;QAC3G,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC;QACvC,OAAO,EACL,wGAAwG;YACxG,gFAAgF;QAClF,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,uGAAuG;YACvG,wFAAwF;QAC1F,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EAAE,kHAAkH;QAC3H,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,KAAK,EAAE,CAAC,oBAAoB,EAAE,UAAU,EAAE,oBAAoB,CAAC;QAC/D,OAAO,EACL,2GAA2G;YAC3G,4GAA4G;YAC5G,6CAA6C;QAC/C,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;KAC1B;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,wGAAwG;YACxG,gEAAgE;QAClE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,wGAAwG;YACxG,iCAAiC;QACnC,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,CAAC;QACxB,OAAO,EACL,2GAA2G;YAC3G,qBAAqB;QACvB,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,wGAAwG;YACxG,mEAAmE;QACrE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,mGAAmG;QACrG,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EACL,wGAAwG;YACxG,sEAAsE;QACxE,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,wGAAwG;YACxG,wGAAwG;YACxG,oFAAoF;QACtF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,uGAAuG;QACzG,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,+GAA+G;QACjH,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,CAAC;QACvB,OAAO,EAAE,mEAAmE;QAC5E,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,8EAA8E;QACvF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,0GAA0G;YAC1G,2CAA2C;QAC7C,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,aAAa;QAClB,KAAK,EAAE,CAAC,aAAa,CAAC;QACtB,OAAO,EACL,4GAA4G;YAC5G,uFAAuF;QACzF,QAAQ,EAAE,CAAC,SAAS,CAAC;KACtB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EACL,6GAA6G;YAC7G,uEAAuE;QACzE,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EAAE,kGAAkG;QAC3G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACzC,OAAO,EAAE,oGAAoG;QAC7G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,0GAA0G;YAC1G,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,sGAAsG;YACtG,+CAA+C;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,wGAAwG;YACxG,4FAA4F;QAC9F,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC5B,OAAO,EACL,0GAA0G;YAC1G,mHAAmH;QACrH,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC3C,OAAO,EACL,4GAA4G;YAC5G,0GAA0G;YAC1G,wGAAwG;YACxG,qEAAqE;QACvE,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,qDAAqD;QAC9D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,sGAAsG;YACtG,6DAA6D;QAC/D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,0BAA0B;QAC5B,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;CACF,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,eAAe;QAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1F,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,GAAG,CAAC,CAAC;IACrE,OAAO,CAAC,CAAC,OAAO,CAAC;AACnB,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,YAAY;IAC1B,MAAM,KAAK,GAAG;QACZ,yDAAyD;QACzD,EAAE;QACF,mGAAmG;QACnG,uEAAuE;QACvE,EAAE;KACH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClH,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/cli/version.d.ts

@@ -8,4 +8,12 @@
  * npm layout (`dist/` ships as part of the published package).
  */
 export declare function packageVersion(): string;
+/** Installed version of each optional peer the package declares, `null` when absent. Reads the
+ * peer's own package.json from the resolution paths, because a peer's `exports` may not expose it. */
+export declare function peerVersions(): Record<string, string | null>;
+/**
+ * The active formula parser with the version that defines it (audit I4): the MathTS peer's
+ * version for `mathts`, this package's for `builtin`, whose parser ships in it.
+ */
+export declare function formulaParserLabel(kind: 'mathts' | 'builtin'): string;
 //# sourceMappingURL=version.d.ts.map

package/dist/cli/version.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,wBAAgB,cAAc,IAAI,MAAM,CAIvC"}
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,wBAAgB,cAAc,IAAI,MAAM,CAIvC;AAED;sGACsG;AACtG,wBAAgB,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAiB5D;AAKD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,MAAM,CAIrE"}

package/dist/cli/version.js

@@ -7,10 +7,41 @@
  * resolves to the package root in both the dev checkout and the installed
  * npm layout (`dist/` ships as part of the published package).
  */
-import { readFileSync } from 'node:fs';
+import { existsSync, readFileSync } from 'node:fs';
+import { createRequire } from 'node:module';
+import { join } from 'node:path';
 export function packageVersion() {
     const pkgPath = new URL('../../package.json', import.meta.url);
     const pkg = JSON.parse(readFileSync(pkgPath, 'utf8'));
     return pkg.version;
 }
+/** Installed version of each optional peer the package declares, `null` when absent. Reads the
+ * peer's own package.json from the resolution paths, because a peer's `exports` may not expose it. */
+export function peerVersions() {
+    const pkg = JSON.parse(readFileSync(new URL('../../package.json', import.meta.url), 'utf8'));
+    const require = createRequire(import.meta.url);
+    const peers = {};
+    for (const name of Object.keys(pkg.peerDependencies ?? {}).sort()) {
+        peers[name] = null;
+        for (const dir of require.resolve.paths(name) ?? []) {
+            const manifest = join(dir, name, 'package.json');
+            if (existsSync(manifest)) {
+                peers[name] = JSON.parse(readFileSync(manifest, 'utf8')).version ?? null;
+                break;
+            }
+        }
+    }
+    return peers;
+}
+/** The peer that backs the `mathts` formula parser. */
+const MATHTS_PARSER_PEER = '@danielsimonjr/mathts-functions';
+/**
+ * The active formula parser with the version that defines it (audit I4): the MathTS peer's
+ * version for `mathts`, this package's for `builtin`, whose parser ships in it.
+ */
+export function formulaParserLabel(kind) {
+    return kind === 'mathts'
+        ? `mathts (${MATHTS_PARSER_PEER} ${peerVersions()[MATHTS_PARSER_PEER] ?? 'version unknown'})`
+        : `builtin (universal-physics-tensor ${packageVersion()})`;
+}
 //# sourceMappingURL=version.js.map