universal-physics-tensor 9.0.0 → 10.0.0

package/dist/bridges/registry.js

@@ -1,87 +0,0 @@
-/**
- * An empty registry. Tests use this. Production uses {@link registerBridge}.
- */
-export function createBridgeRegistry() {
-    const entries = new Map();
-    const rhs = new Map();
-    const evaluators = new Map();
-    const edges = [];
-    const edgeIds = new Set();
-    function numericId(parts) {
-        if (typeof parts.id === 'string') {
-            if (parts.id.startsWith('ab-')) {
-                throw new Error(`registerBridge rejects atlas id '${parts.id}'`);
-            }
-            throw new Error(`registerBridge rejects id '${parts.id}'`);
-        }
-        if (typeof parts.id === 'number')
-            return parts.id;
-        if (parts.entry !== undefined)
-            return parts.entry.id;
-        if (parts.evaluator !== undefined)
-            return parts.evaluator.bridgeId;
-        if (parts.edge !== undefined && parts.edge.beId !== null)
-            return parts.edge.beId;
-        return undefined;
-    }
-    return {
-        register(parts) {
-            const id = numericId(parts);
-            if (parts.entry !== undefined) {
-                if (id === undefined)
-                    throw new Error('registerBridge entry has no id');
-                const prev = entries.get(id);
-                if (prev === undefined)
-                    entries.set(id, parts.entry);
-                else if (prev !== parts.entry && JSON.stringify(prev) !== JSON.stringify(parts.entry)) {
-                    throw new Error(`registerBridge: bridge ${id} already has a different catalog entry`);
-                }
-            }
-            if (parts.rhs !== undefined) {
-                if (id === undefined)
-                    throw new Error('registerBridge rhs has no id');
-                const prev = rhs.get(id);
-                if (prev === undefined)
-                    rhs.set(id, parts.rhs);
-                else if (prev !== parts.rhs && JSON.stringify(prev) !== JSON.stringify(parts.rhs)) {
-                    throw new Error(`registerBridge: bridge ${id} already has a different right-hand side`);
-                }
-            }
-            if (parts.evaluator !== undefined) {
-                const bridgeId = parts.evaluator.bridgeId;
-                const prev = evaluators.get(bridgeId);
-                if (prev === undefined)
-                    evaluators.set(bridgeId, parts.evaluator);
-                else if (prev !== parts.evaluator) {
-                    throw new Error(`registerBridge: bridge ${bridgeId} already has an evaluator`);
-                }
-            }
-            if (parts.edge !== undefined && !edgeIds.has(parts.edge.id)) {
-                edgeIds.add(parts.edge.id);
-                edges.push(parts.edge);
-            }
-        },
-        equations() {
-            return [...entries.values()];
-        },
-        rhs() {
-            return new Map(rhs);
-        },
-        evaluators() {
-            return new Map(evaluators);
-        },
-        edges() {
-            return [...edges];
-        },
-    };
-}
-/** The production registry. Snapshots are taken by the modules that export them. */
-export const bridgeRegistry = createBridgeRegistry();
-/**
- * Register one bridge, or one part of one, on the production registry.
- * An id that starts with `ab-` throws.
- */
-export function registerBridge(parts) {
-    bridgeRegistry.register(parts);
-}
-//# sourceMappingURL=registry.js.map

package/dist/bridges/registry.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/bridges/registry.ts"],"names":[],"mappings":"AAqCA;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyC,CAAC;IACpE,MAAM,KAAK,GAA4D,EAAE,CAAC;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,SAAS,SAAS,CAAC,KAAyB;QAC1C,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,oCAAoC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;QACnE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QACjF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,QAAQ,CAAC,KAAK;YACZ,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC9B,IAAI,EAAE,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;gBACxE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC7B,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;qBAChD,IAAI,IAAI,KAAK,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACtF,MAAM,IAAI,KAAK,CAAC,0BAA0B,EAAE,wCAAwC,CAAC,CAAC;gBACxF,CAAC;YACH,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,EAAE,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBACtE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzB,IAAI,IAAI,KAAK,SAAS;oBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;qBAC1C,IAAI,IAAI,KAAK,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBAClF,MAAM,IAAI,KAAK,CAAC,0BAA0B,EAAE,0CAA0C,CAAC,CAAC;gBAC1F,CAAC;YACH,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;gBAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACtC,IAAI,IAAI,KAAK,SAAS;oBAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;qBAC7D,IAAI,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;oBAClC,MAAM,IAAI,KAAK,CAAC,0BAA0B,QAAQ,2BAA2B,CAAC,CAAC;gBACjF,CAAC;YACH,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QACD,SAAS;YACP,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/B,CAAC;QACD,GAAG;YACD,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;QACD,UAAU;YACR,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK;YACH,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;QACpB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,MAAM,CAAC,MAAM,cAAc,GAAG,oBAAoB,EAAE,CAAC;AAErD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,KAAyB;IACtD,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC"}

package/dist/cli/poster-source.d.ts

@@ -1,154 +0,0 @@
-/**
- * The POSTER source for the physics map — turn the Atlas Phase 3 poster index
- * (statements, derivations, associations) into {@link VizJunction}s, and check
- * that every id a derivation names actually resolves.
- *
- * ## The graph this draws is NOT the catalog graph
- *
- * In the catalog map, round nodes are *quantities* and box nodes are
- * *equations*. In the poster map, round nodes are **statements** — including
- * the five hidden supporting nodes (the action principle, Noether, the full
- * Maxwell system, the Lorentz group, the central limit theorem) — and box
- * nodes are **derivations**: many premises in, one conclusion out. That is the
- * whole reason a hidden node is visible at all: it is a node because something
- * names it, not because it can be evaluated (`atlas/statement.ts`, design note
- * §1, says `ast?` is optional for exactly these five).
- *
- * It also makes {@link validatePoster} able to FAIL. A hidden node that is
- * merely listed somewhere can never be contradicted; a hidden node that two
- * derivations take as a premise is contradicted the moment the registry stops
- * defining it. Design note §9 question 4 flags the named-but-not-evaluated test
- * as the likeliest vacuous pass in this sprint — the dangling-premise check is
- * the answer to it, and its own test breaks it deliberately to prove it bites.
- *
- * ## How a poster junction meets the map's filters
- *
- * Nothing here bypasses `buildVizModel`'s filtering: these junctions are handed
- * in as `opts.extraJunctions` and are judged by the same `judge` predicate as
- * every catalog edge (design note §6). Two consequences, both deliberate:
- *
- *  - A **derivation** junction carries its `relation`, because a `Derivation`
- *    HAS one. So `--relation=derivation` selects poster derivations on recorded
- *    metadata rather than dropping them as unaudited. Reporting a relation we
- *    hold would be the fabrication's mirror image: hiding evidence we have.
- *  - An **association** junction carries NO `relation`, because an
- *    `Association` makes no relation claim at all (`atlas/association.ts`). Any
- *    `--relation` filter therefore drops it into the legend's
- *    `droppedMissingMetadata` bucket — "nobody could put the question to it" —
- *    which is the correct reading, not an oversight.
- *  - NOTHING here carries a `beId`: the poster is not the bridge catalog. Every
- *    `--evidence` filter therefore drops the whole poster source as lacking
- *    metadata, and the legend says so out loud rather than rendering an empty
- *    map as an answer.
- *
- * Poster junctions never anchor a cluster: `componentsOf` keys `anchored` on
- * `'law' | 'established'` only. That is correct — the poster index is a map of
- * claims and their supports, not an assertion that any of them is textbook
- * physics — and it is recorded here because it is a decision, not an accident.
- *
- * Pure string/record production: no I/O, no registry reads beyond what the
- * caller passes in. Imports atlas LEAF modules only, never `atlas/index.ts`.
- * Lives in `cli` because it feeds `upt map` and imports the poster registries.
- *
- * @module cli/poster-source
- */
-import type { Association } from '../atlas/association.js';
-import type { Derivation, DerivationId } from '../atlas/derivation.js';
-import type { Statement, StatementId } from '../atlas/statement.js';
-import type { VizJunction } from '../composition/graph-viz.js';
-/**
- * The poster index as this module consumes it: the three registries, passed
- * in rather than imported, so the renderer and the validator are testable
- * against a fixture and cannot drift with the data.
- *
- * @internal
- */
-export interface PosterGraph {
-    readonly statements: readonly Statement[];
-    readonly derivations: readonly Derivation[];
-    readonly associations: readonly Association[];
-}
-/** An id a derivation names that the statement registry does not define. @internal */
-export interface DanglingPremise {
-    /** The derivation that names it. */
-    readonly derivation: DerivationId;
-    /** The unresolved statement id. */
-    readonly missing: StatementId;
-    /**
-     * Where it was named. Kept distinct because they are different defects: a
-     * dangling PREMISE means the derivation stands on nothing, a dangling
-     * CONCLUSION means it concludes nothing.
-     */
-    readonly role: 'premise' | 'conclusion';
-}
-/** What {@link validatePoster} found. @internal */
-export interface PosterValidation {
-    /** Every unresolved id, one row per (derivation, id, role). Empty ⇒ intact. */
-    readonly dangling: readonly DanglingPremise[];
-    /**
-     * Association endpoints that are not statement ids.
-     *
-     * SEPARATE from `dangling`, and not a failure: `Association.between` is a
-     * pair of NAMES, and the registry is explicitly a container of typed pairs
-     * that makes no claim. An endpoint naming something outside the statement
-     * registry is a resemblance recorded about something else, not a broken
-     * derivation. Folding the two together would let a real dangling premise
-     * hide inside a count of harmless rows.
-     */
-    readonly unresolvedAssociationEndpoints: readonly string[];
-    /** Statement ids defined but named by no derivation and no association. */
-    readonly orphanStatements: readonly StatementId[];
-}
-/**
- * Check every id the poster's derivations and associations name against the
- * statement registry.
- *
- * This is the hidden-node test's instrument. Remove `'statement-noether'` from
- * `graph.statements` and every derivation that takes it as a premise reports
- * here — which is what makes "the hidden nodes are named and linked" a claim
- * with a failure mode rather than a description of a list.
- *
- * @internal
- */
-export declare function validatePoster(graph: PosterGraph): PosterValidation;
-/**
- * Render the poster index as viz junctions: one box per derivation, one per
- * association, with statement ids as the round quantity nodes.
- *
- * Association ids are prefixed `assoc:` so an association and a derivation can
- * never collide on a junction id — `buildVizModel` throws on a duplicate, and
- * a thrown map is a worse diagnosis than a namespaced id.
- *
- * An association is drawn `a → b` because the renderer has only directed
- * edges. It is NOT a directed claim: the dashed style and the separate status
- * are what say so, and `Association` carries no relation to be read off it.
- *
- * @internal
- */
-export declare function posterJunctions(graph: PosterGraph): VizJunction[];
-/**
- * The poster index as this build knows it.
- *
- * ⚠ EMPTY IN THIS BUILD, and that is a recorded state rather than a mistake.
- * The sixteen entries, their derivations and their associations are the S3.3
- * deliverable (`src/atlas/poster/`), and `docs/planning/Atlas-Phase-3-Design.md`
- * §5 forbids inventing one to fill a gap: an invented entry is plausible and
- * uncheckable, which is the failure the whole design note exists to prevent.
- *
- * So the source exists, is wired, is filtered and is tested — against a fixture
- * in the tests and against this empty registry in the CLI — and it SAYS SO when
- * it renders nothing, per design note §6: *"A poster source that returns an
- * empty or partial graph must say why in the same way."* Point this at the real
- * registry when it lands; nothing else has to change.
- *
- * @internal
- */
-export declare const POSTER_GRAPH: PosterGraph;
-/**
- * One line saying what the poster source contributed and, when it contributed
- * nothing, WHY — so an empty map can never read as a complete answer.
- *
- * @internal
- */
-export declare function describePosterSource(graph: PosterGraph, validation: PosterValidation): string;
-//# sourceMappingURL=poster-source.d.ts.map

package/dist/cli/poster-source.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"poster-source.d.ts","sourceRoot":"","sources":["../../src/cli/poster-source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE/D;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;CAC/C;AAED,sFAAsF;AACtF,MAAM,WAAW,eAAe;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,mCAAmC;IACnC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;CACzC;AAED,mDAAmD;AACnD,MAAM,WAAW,gBAAgB;IAC/B,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C;;;;;;;;;OASG;IACH,QAAQ,CAAC,8BAA8B,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3D,2EAA2E;IAC3E,QAAQ,CAAC,gBAAgB,EAAE,SAAS,WAAW,EAAE,CAAC;CACnD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CA6BnE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,EAAE,CAsBjE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,YAAY,EAAE,WAI1B,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,WAAW,EAClB,UAAU,EAAE,gBAAgB,GAC3B,MAAM,CA6BR"}

package/dist/cli/poster-source.js

@@ -1,184 +0,0 @@
-/**
- * The POSTER source for the physics map — turn the Atlas Phase 3 poster index
- * (statements, derivations, associations) into {@link VizJunction}s, and check
- * that every id a derivation names actually resolves.
- *
- * ## The graph this draws is NOT the catalog graph
- *
- * In the catalog map, round nodes are *quantities* and box nodes are
- * *equations*. In the poster map, round nodes are **statements** — including
- * the five hidden supporting nodes (the action principle, Noether, the full
- * Maxwell system, the Lorentz group, the central limit theorem) — and box
- * nodes are **derivations**: many premises in, one conclusion out. That is the
- * whole reason a hidden node is visible at all: it is a node because something
- * names it, not because it can be evaluated (`atlas/statement.ts`, design note
- * §1, says `ast?` is optional for exactly these five).
- *
- * It also makes {@link validatePoster} able to FAIL. A hidden node that is
- * merely listed somewhere can never be contradicted; a hidden node that two
- * derivations take as a premise is contradicted the moment the registry stops
- * defining it. Design note §9 question 4 flags the named-but-not-evaluated test
- * as the likeliest vacuous pass in this sprint — the dangling-premise check is
- * the answer to it, and its own test breaks it deliberately to prove it bites.
- *
- * ## How a poster junction meets the map's filters
- *
- * Nothing here bypasses `buildVizModel`'s filtering: these junctions are handed
- * in as `opts.extraJunctions` and are judged by the same `judge` predicate as
- * every catalog edge (design note §6). Two consequences, both deliberate:
- *
- *  - A **derivation** junction carries its `relation`, because a `Derivation`
- *    HAS one. So `--relation=derivation` selects poster derivations on recorded
- *    metadata rather than dropping them as unaudited. Reporting a relation we
- *    hold would be the fabrication's mirror image: hiding evidence we have.
- *  - An **association** junction carries NO `relation`, because an
- *    `Association` makes no relation claim at all (`atlas/association.ts`). Any
- *    `--relation` filter therefore drops it into the legend's
- *    `droppedMissingMetadata` bucket — "nobody could put the question to it" —
- *    which is the correct reading, not an oversight.
- *  - NOTHING here carries a `beId`: the poster is not the bridge catalog. Every
- *    `--evidence` filter therefore drops the whole poster source as lacking
- *    metadata, and the legend says so out loud rather than rendering an empty
- *    map as an answer.
- *
- * Poster junctions never anchor a cluster: `componentsOf` keys `anchored` on
- * `'law' | 'established'` only. That is correct — the poster index is a map of
- * claims and their supports, not an assertion that any of them is textbook
- * physics — and it is recorded here because it is a decision, not an accident.
- *
- * Pure string/record production: no I/O, no registry reads beyond what the
- * caller passes in. Imports atlas LEAF modules only, never `atlas/index.ts`.
- * Lives in `cli` because it feeds `upt map` and imports the poster registries.
- *
- * @module cli/poster-source
- */
-/**
- * Check every id the poster's derivations and associations name against the
- * statement registry.
- *
- * This is the hidden-node test's instrument. Remove `'statement-noether'` from
- * `graph.statements` and every derivation that takes it as a premise reports
- * here — which is what makes "the hidden nodes are named and linked" a claim
- * with a failure mode rather than a description of a list.
- *
- * @internal
- */
-export function validatePoster(graph) {
-    const known = new Set(graph.statements.map((s) => s.id));
-    const named = new Set();
-    const dangling = [];
-    for (const d of graph.derivations) {
-        for (const p of d.premises) {
-            named.add(p);
-            if (!known.has(p))
-                dangling.push({ derivation: d.id, missing: p, role: 'premise' });
-        }
-        named.add(d.conclusion);
-        if (!known.has(d.conclusion)) {
-            dangling.push({ derivation: d.id, missing: d.conclusion, role: 'conclusion' });
-        }
-    }
-    const unresolved = new Set();
-    for (const a of graph.associations) {
-        for (const end of a.between) {
-            named.add(end);
-            if (!known.has(end))
-                unresolved.add(end);
-        }
-    }
-    return {
-        dangling,
-        unresolvedAssociationEndpoints: [...unresolved].sort(),
-        orphanStatements: [...known].filter((id) => !named.has(id)).sort(),
-    };
-}
-/**
- * Render the poster index as viz junctions: one box per derivation, one per
- * association, with statement ids as the round quantity nodes.
- *
- * Association ids are prefixed `assoc:` so an association and a derivation can
- * never collide on a junction id — `buildVizModel` throws on a duplicate, and
- * a thrown map is a worse diagnosis than a namespaced id.
- *
- * An association is drawn `a → b` because the renderer has only directed
- * edges. It is NOT a directed claim: the dashed style and the separate status
- * are what say so, and `Association` carries no relation to be read off it.
- *
- * @internal
- */
-export function posterJunctions(graph) {
-    const out = graph.derivations.map((d) => ({
-        id: d.id,
-        label: d.id,
-        status: 'poster',
-        sources: [...d.premises],
-        target: d.conclusion,
-        // A Derivation HAS a relation; carrying it lets --relation select on
-        // recorded metadata instead of dropping the poster as unaudited.
-        relation: d.relation,
-    }));
-    for (const a of graph.associations) {
-        out.push({
-            id: `assoc:${a.id}`,
-            label: `${a.kind}: ${a.between[0]} ~ ${a.between[1]}`,
-            status: 'association',
-            sources: [a.between[0]],
-            target: a.between[1],
-            // No `relation` ON PURPOSE — see the module note.
-        });
-    }
-    return out;
-}
-/**
- * The poster index as this build knows it.
- *
- * ⚠ EMPTY IN THIS BUILD, and that is a recorded state rather than a mistake.
- * The sixteen entries, their derivations and their associations are the S3.3
- * deliverable (`src/atlas/poster/`), and `docs/planning/Atlas-Phase-3-Design.md`
- * §5 forbids inventing one to fill a gap: an invented entry is plausible and
- * uncheckable, which is the failure the whole design note exists to prevent.
- *
- * So the source exists, is wired, is filtered and is tested — against a fixture
- * in the tests and against this empty registry in the CLI — and it SAYS SO when
- * it renders nothing, per design note §6: *"A poster source that returns an
- * empty or partial graph must say why in the same way."* Point this at the real
- * registry when it lands; nothing else has to change.
- *
- * @internal
- */
-export const POSTER_GRAPH = {
-    statements: [],
-    derivations: [],
-    associations: [],
-};
-/**
- * One line saying what the poster source contributed and, when it contributed
- * nothing, WHY — so an empty map can never read as a complete answer.
- *
- * @internal
- */
-export function describePosterSource(graph, validation) {
-    if (graph.statements.length === 0 && graph.derivations.length === 0) {
-        return ('poster: EMPTY — the poster index (16 entries, their derivations and ' +
-            'associations) is not registered in this build. This is an unpopulated ' +
-            'registry, NOT a graph with nothing in it.');
-    }
-    const parts = [
-        `poster: ${graph.statements.length} statements, ` +
-            `${graph.derivations.length} derivations, ` +
-            `${graph.associations.length} associations`,
-    ];
-    if (validation.dangling.length > 0) {
-        parts.push(`⚠ ${validation.dangling.length} DANGLING ` +
-            `(${validation.dangling.map((d) => `${d.derivation}→${d.missing}`).join(', ')})`);
-    }
-    if (validation.unresolvedAssociationEndpoints.length > 0) {
-        parts.push(`${validation.unresolvedAssociationEndpoints.length} association endpoint(s) ` +
-            'outside the statement registry');
-    }
-    if (validation.orphanStatements.length > 0) {
-        parts.push(`${validation.orphanStatements.length} statement(s) named by nothing`);
-    }
-    return parts.join('; ');
-}
-//# sourceMappingURL=poster-source.js.map

package/dist/cli/poster-source.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"poster-source.js","sourceRoot":"","sources":["../../src/cli/poster-source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAqDH;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,KAAkB;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAc,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAe,CAAC;IACrC,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,8BAA8B,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE;QACtD,gBAAgB,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAAC,KAAkB;IAChD,MAAM,GAAG,GAAkB,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvD,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,KAAK,EAAE,CAAC,CAAC,EAAE;QACX,MAAM,EAAE,QAAiB;QACzB,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;QACxB,MAAM,EAAE,CAAC,CAAC,UAAU;QACpB,qEAAqE;QACrE,iEAAiE;QACjE,QAAQ,EAAE,CAAC,CAAC,QAAQ;KACrB,CAAC,CAAC,CAAC;IACJ,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE;YACnB,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACrD,MAAM,EAAE,aAAsB;YAC9B,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACpB,kDAAkD;SACnD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACvC,UAAU,EAAE,EAAE;IACd,WAAW,EAAE,EAAE;IACf,YAAY,EAAE,EAAE;CACjB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAkB,EAClB,UAA4B;IAE5B,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,CACL,sEAAsE;YACtE,wEAAwE;YACxE,2CAA2C,CAC5C,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,WAAW,KAAK,CAAC,UAAU,CAAC,MAAM,eAAe;YAC/C,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,gBAAgB;YAC3C,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,eAAe;KAC9C,CAAC;IACF,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,YAAY;YACzC,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,8BAA8B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,8BAA8B,CAAC,MAAM,2BAA2B;YAC5E,gCAAgC,CACnC,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,gBAAgB,CAAC,MAAM,gCAAgC,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}