universal-physics-tensor 0.45.1 → 0.46.0

package/dist/atlas/poster/derivations.js

@@ -0,0 +1,430 @@
+/**
+ * Atlas Phase 3 — the poster's typed edges.
+ *
+ * `ROADMAP.md` Phase 3 states FIFTEEN bridge lines. This module records all
+ * fifteen, each in the container its type demands, and {@link POSTER_LINES} is
+ * the table that makes "all fifteen, correctly typed" a checkable claim rather
+ * than a reading of the source.
+ *
+ * ## Three containers, because the lines are three different acts
+ *
+ * - **{@link POSTER_DERIVATIONS}** — a `Derivation` asserts `premises ⊢
+ *   conclusion`. Most lines are this.
+ * - **`./associations.ts`** — `7 ↔ 16` is an **association for the historical
+ *   link only**, and `3, 14 → *` is association only. An `Association` makes
+ *   no composite claim and is not a graph edge (`../association.ts`), which is
+ *   exactly the content of those two lines.
+ * - **{@link POSTER_CONSTRAINTS}** — `5, 16 → 8` *"constrain but do not
+ *   determine"*. Neither of the other two containers can say that. A
+ *   `Derivation` would assert that 5 and 16 YIELD 8, which is the claim the
+ *   line explicitly denies; an `Association` would say only that the three
+ *   resemble each other, which drops the constraint. **This third container is
+ *   a correction to the S3.3 brief**, which allows only derivations and
+ *   associations; recording `5, 16 → 8` as a derivation would have been the
+ *   overclaim the sprint exists to prevent. The variational route the line
+ *   names — Einstein–Hilbert — IS a derivation, and it is recorded as one.
+ *
+ * ## One derivation has no premises, and that is the honest form
+ *
+ * `d-4-commutator` records the line *"`4` derivation from the commutator and
+ * Cauchy–Schwarz, no time-dependent equation needed"*. Its two inputs are not
+ * poster entries, and they are not among the five hidden nodes `ROADMAP.md`
+ * names. Inventing `statement-canonical-commutator` to fill the premise slot
+ * would be the invention §5 of the design note forbids, so the inputs are
+ * recorded as `sideConditions` and the premise set is empty. The empty set
+ * does not assert that entry 4 follows from nothing — `sideConditions` carries
+ * what it follows from — and {@link validatePosterRelations} pins that this is
+ * the ONLY empty-premise record, so a second one cannot appear unnoticed.
+ *
+ * ## Witnesses
+ *
+ * `Derivation` has no `witnesses` field (`../derivation.ts` is Wave 1's and is
+ * not mine to widen), so {@link POSTER_WITNESSES} is a side table keyed by
+ * derivation id. The two Sprint 0 witnesses land where `ROADMAP.md` puts them:
+ * W4 (chirped Gaussian) on `13 ↔ 4`, W5 (Wick rotation) on `6 ↔ 13`.
+ *
+ * @module atlas/poster/derivations
+ */
+import { makeDerivation } from '../derivation.js';
+import { POSTER_ASSOCIATIONS, ASSOCIATION_ONLY_PAIRS } from './associations.js';
+import { POSTER_REGISTRY, posterId } from './statements.js';
+const d = (id, relation, premises, conclusion, sideConditions) => makeDerivation({ id, relation, premises, conclusion, sideConditions }, POSTER_REGISTRY);
+/**
+ * The poster's derivation hyperedges.
+ *
+ * Each `relation` is the type `ROADMAP.md` names for its line, and each
+ * `sideConditions` list carries that line's qualifications — including the
+ * ones that say what the edge does NOT give, because a qualification dropped
+ * here is a claim widened silently.
+ *
+ * @internal
+ */
+export const POSTER_DERIVATIONS = [
+    // L1 — "10 → 9 restriction plus separate frame content in 9".
+    d('d-10-to-9', 'restriction', [posterId(10)], posterId(9), [
+        'restriction to net force zero',
+        "entry 9's inertial-frame content is SEPARATE and is not supplied by this restriction",
+    ]),
+    // L2 — "11 → momentum conservation for isolated particle systems (converse
+    // fails; translation symmetry gives the field-inclusive version under action
+    // and boundary assumptions)". Two records: the line states two routes.
+    d('d-11-to-momentum', 'derivation', [posterId(11)], 'statement-momentum-conservation', [
+        'isolated particle system',
+        'the converse FAILS: momentum conservation does not give the third law',
+        'fails naively when fields carry momentum',
+    ]),
+    d('d-noether-to-momentum-fields', 'derivation', ['statement-action-principle', 'statement-noether'], 'statement-momentum-conservation-fields', [
+        'spatial translation symmetry of a stated action',
+        'stated boundary conditions',
+        'this is the FIELD-INCLUSIVE version; it does not run through entry 11',
+    ]),
+    // L3 — "1 ↔ energy conservation via Noether for autonomous models, which
+    // defines neither heat nor a global energy in curved spacetime".
+    d('d-1-energy-conservation', 'exact-equivalence', [posterId(1), 'statement-noether'], 'statement-energy-conservation', [
+        'autonomous model (no explicit time dependence)',
+        'it defines NEITHER heat NOR work',
+        'it gives NO global energy in curved spacetime',
+    ]),
+    // L4 — "8 → 12 approximation (weak field, slow motion, near-stationary,
+    // negligible Λ) then restriction to a point source". Recorded as ONE
+    // approximation rather than two composed edges: the intermediate statement
+    // (the weak-field field equation) is neither a poster entry nor one of the
+    // five named hidden nodes, so a node for it would be invented. The two
+    // stages are stated, in order, in the side conditions.
+    d('d-8-to-12', 'approximation', [posterId(8)], posterId(12), [
+        'weak field',
+        'slow motion',
+        'near-stationary',
+        'negligible Λ',
+        'THEN restriction to a point source',
+    ]),
+    // L5 — "16 → 5, 10 approximation in v/c, regular, needing E = γmc²,
+    // p = γmv, F = dp/dt". One conclusion per record: a `Derivation` has one.
+    d('d-16-to-5', 'approximation', [posterId(16)], posterId(5), [
+        'expansion in v/c',
+        'regular limit',
+        'needs E = γmc², p = γmv, F = dp/dt',
+    ]),
+    d('d-16-to-10', 'approximation', [posterId(16)], posterId(10), [
+        'expansion in v/c',
+        'regular limit',
+        'needs E = γmc², p = γmv, F = dp/dt',
+    ]),
+    // L6 (derivation half) — "the derivation route is a hyperedge {full Maxwell
+    // system, spacetime structure} → 16, never from 7 alone". The historical
+    // half of this line is an ASSOCIATION; see ./associations.ts.
+    d('d-maxwell-spacetime-to-16', 'derivation', ['statement-maxwell-system', 'statement-lorentz-group'], posterId(16), [
+        'the full Maxwell SYSTEM, never entry 7 alone',
+        "'spacetime structure' is recorded as statement-lorentz-group; " +
+            'ROADMAP.md names five hidden nodes and that is the one it can be',
+    ]),
+    // L7 (the route that DOES determine 8) — "Einstein–Hilbert is a separate
+    // variational route". The constraint half is in POSTER_CONSTRAINTS.
+    d('d-einstein-hilbert-to-8', 'derivation', ['statement-action-principle'], posterId(8), [
+        'the Einstein–Hilbert action',
+        'variation with respect to the metric',
+        'this route is SEPARATE from the 5, 16 constraint',
+    ]),
+    // L8 — "6 ↔ 15 linearity preserves superposition, Hilbert-space kinematics
+    // supplies it". Typed one way only: the reverse is not this edge, because
+    // superposition comes from the kinematics rather than from entry 6.
+    d('d-6-to-15', 'derivation', [posterId(6)], posterId(15), [
+        'linearity of the evolution equation preserves superposition',
+        'Hilbert-space KINEMATICS supplies superposition; entry 6 does not',
+    ]),
+    // L9 — "4 derivation from the commutator and Cauchy–Schwarz, no
+    // time-dependent equation needed". Premise set deliberately EMPTY; see the
+    // module note.
+    d('d-4-commutator', 'derivation', [], posterId(4), [
+        'the canonical commutator [x, p] = iħ',
+        'the Cauchy–Schwarz inequality',
+        'NO time-dependent equation is needed; this route does not run through entry 6',
+        'the two inputs are neither poster entries nor named hidden nodes, so no premise ' +
+            'statement exists for them and none is invented',
+    ]),
+    // L10 — "13 ↔ 4: a Gaussian *family* saturates the bound, a Gaussian
+    // density does not (Sprint 0 check 4)". Exact-equivalence because the
+    // saturation is an EQUALITY at α = 0, which W4 computes exactly.
+    d('d-13-4-saturation', 'exact-equivalence', [posterId(13)], posterId(4), [
+        'a Gaussian FAMILY (parameterized by its width) saturates σ_x σ_p = ħ/2',
+        'a Gaussian DENSITY does not: the chirped Gaussian is Gaussian in |ψ|² and ' +
+            'has σ_x σ_p = (ħ/2)√(1 + 16α²s⁴) > ħ/2 for α ≠ 0',
+        'σ > 0',
+    ]),
+    // L11 — "6 ↔ 13 analytic continuation to the heat semigroup for
+    // self-adjoint, lower-bounded H, Gaussian kernel only when V = 0
+    // (Sprint 0 check 5)".
+    d('d-6-13-wick', 'analytic-continuation', [posterId(6)], posterId(13), [
+        'self-adjoint H',
+        'lower-bounded H',
+        'the kernel is GAUSSIAN only when V = 0',
+    ]),
+    // L12 — "2 → 13 two routes (central limit, maximum entropy), neither from
+    // Boltzmann alone".
+    d('d-2-13-central-limit', 'derivation', [posterId(2), 'statement-central-limit-theorem'], posterId(13), [
+        'independent, identically distributed summands of finite variance',
+        'NOT from entry 2 alone: the theorem is the second premise',
+        'σ > 0',
+    ]),
+    d('d-2-13-maximum-entropy', 'derivation', [posterId(2)], posterId(13), [
+        'maximum entropy subject to a fixed mean and variance',
+        'NOT from entry 2 alone: the constraint set is an added input, and it is not a ' +
+            'statement in this index',
+        'σ > 0',
+    ]),
+    // L13 — "2 → 1 needs a microscopic energy model, an ensemble choice, and
+    // definitions of heat and work".
+    d('d-2-to-1', 'derivation', [posterId(2)], posterId(1), [
+        'a microscopic energy model',
+        'an ensemble choice',
+        'definitions of heat and work',
+    ]),
+    // L14 — "6 → 10 Ehrenfest, exact for affine forces, approximate for
+    // localized packets, distinct from the singular ħ → 0 limit". Two records:
+    // one exact, one approximate. One record could carry only one relation
+    // type, and the line states both.
+    d('d-6-to-10-ehrenfest-exact', 'derivation', [posterId(6)], posterId(10), [
+        'affine forces (F linear in x), for which the Ehrenfest relation is EXACT',
+        'distinct from the singular ħ → 0 limit',
+    ]),
+    d('d-6-to-10-ehrenfest-approx', 'approximation', [posterId(6)], posterId(10), [
+        'localized wave packets, for which the Ehrenfest relation is APPROXIMATE',
+        'distinct from the singular ħ → 0 limit',
+    ]),
+];
+/**
+ * `5, 16 → 8` — the one line that asserts a constraint and denies a
+ * derivation. See the module note for why it gets its own container.
+ *
+ * @internal
+ */
+export const POSTER_CONSTRAINTS = [
+    {
+        id: 'c-5-16-constrain-8',
+        premises: [posterId(5), posterId(16)],
+        constrains: posterId(8),
+        note: 'entries 5 and 16 CONSTRAIN the field equations but do not determine them; ' +
+            'Einstein–Hilbert is a separate variational route',
+        alternativeRoute: 'd-einstein-hilbert-to-8',
+    },
+];
+/**
+ * The Sprint 0 witnesses, attached where `ROADMAP.md` Phase 3 puts them.
+ *
+ * A side table rather than a field, because `Derivation` is Wave 1's record
+ * and widening it is not this brief's scope.
+ *
+ * @internal
+ */
+export const POSTER_WITNESSES = {
+    'd-13-4-saturation': [
+        { id: 'W4', kind: 'numeric', test: 'tests/atlas/quantum-support.test.ts' },
+    ],
+    'd-6-13-wick': [
+        {
+            id: 'W5',
+            kind: 'numeric',
+            test: 'tests/atlas/quantum-support.test.ts',
+            tolerance: '1e-4 sup-norm ratio on the stated interval',
+        },
+    ],
+};
+/**
+ * The fifteen lines, and where each one is recorded.
+ *
+ * The table is the deliverable "all fifteen, correctly typed" in checkable
+ * form: {@link validatePosterRelations} resolves every `records` id in every
+ * `containers` entry, so a line that lost its record, or a record that moved
+ * to the wrong container, is a failure rather than a reading.
+ *
+ * @internal
+ */
+export const POSTER_LINES = [
+    {
+        id: 'L1',
+        line: '10 → 9 restriction plus separate frame content in 9',
+        containers: ['derivation'],
+        records: ['d-10-to-9'],
+    },
+    {
+        id: 'L2',
+        line: '11 → momentum conservation for isolated particle systems (converse fails; ' +
+            'translation symmetry gives the field-inclusive version)',
+        containers: ['derivation'],
+        records: ['d-11-to-momentum', 'd-noether-to-momentum-fields'],
+    },
+    {
+        id: 'L3',
+        line: '1 ↔ energy conservation via Noether for autonomous models',
+        containers: ['derivation'],
+        records: ['d-1-energy-conservation'],
+    },
+    {
+        id: 'L4',
+        line: '8 → 12 approximation (weak field, slow motion, near-stationary, negligible Λ) ' +
+            'then restriction to a point source',
+        containers: ['derivation'],
+        records: ['d-8-to-12'],
+    },
+    {
+        id: 'L5',
+        line: '16 → 5, 10 approximation in v/c, regular, needing E = γmc², p = γmv, F = dp/dt',
+        containers: ['derivation'],
+        records: ['d-16-to-5', 'd-16-to-10'],
+    },
+    {
+        id: 'L6',
+        line: '7 ↔ 16 ASSOCIATION for the historical link only — the derivation route is the ' +
+            'hyperedge {full Maxwell system, spacetime structure} → 16, never from 7 alone',
+        containers: ['association', 'derivation'],
+        records: ['a-7-16-historical', 'd-maxwell-spacetime-to-16'],
+    },
+    {
+        id: 'L7',
+        line: '5, 16 → 8 constrain but do not determine (Einstein–Hilbert is a separate route)',
+        containers: ['constraint', 'derivation'],
+        records: ['c-5-16-constrain-8', 'd-einstein-hilbert-to-8'],
+    },
+    {
+        id: 'L8',
+        line: '6 ↔ 15 linearity preserves superposition, Hilbert-space kinematics supplies it',
+        containers: ['derivation'],
+        records: ['d-6-to-15'],
+    },
+    {
+        id: 'L9',
+        line: '4 derivation from the commutator and Cauchy–Schwarz, no time-dependent equation',
+        containers: ['derivation'],
+        records: ['d-4-commutator'],
+    },
+    {
+        id: 'L10',
+        line: '13 ↔ 4 a Gaussian family saturates the bound, a Gaussian density does not',
+        containers: ['derivation'],
+        records: ['d-13-4-saturation'],
+    },
+    {
+        id: 'L11',
+        line: '6 ↔ 13 analytic continuation to the heat semigroup for self-adjoint, lower-bounded H, ' +
+            'Gaussian kernel only when V = 0',
+        containers: ['derivation'],
+        records: ['d-6-13-wick'],
+    },
+    {
+        id: 'L12',
+        line: '2 → 13 two routes (central limit, maximum entropy), neither from Boltzmann alone',
+        containers: ['derivation'],
+        records: ['d-2-13-central-limit', 'd-2-13-maximum-entropy'],
+    },
+    {
+        id: 'L13',
+        line: '2 → 1 needs a microscopic energy model, an ensemble choice, and heat and work',
+        containers: ['derivation'],
+        records: ['d-2-to-1'],
+    },
+    {
+        id: 'L14',
+        line: '6 → 10 Ehrenfest, exact for affine forces, approximate for localized packets, ' +
+            'distinct from the singular ħ → 0 limit',
+        containers: ['derivation'],
+        records: ['d-6-to-10-ehrenfest-exact', 'd-6-to-10-ehrenfest-approx'],
+    },
+    {
+        id: 'L15',
+        line: '3, 14 → * association only',
+        containers: ['association'],
+        records: ['a-3-association-only', 'a-14-association-only'],
+    },
+];
+/** Is `id` recorded in `container`? */
+function recordExists(container, id) {
+    if (container === 'derivation')
+        return POSTER_DERIVATIONS.some((x) => x.id === id);
+    if (container === 'constraint')
+        return POSTER_CONSTRAINTS.some((x) => x.id === id);
+    return POSTER_ASSOCIATIONS.some((x) => x.id === id);
+}
+/** The only derivation entitled to an empty premise set. See the module note. */
+const EMPTY_PREMISE_DERIVATION = 'd-4-commutator';
+/**
+ * Every defect this index can have that a type cannot catch.
+ *
+ * Six checks, and the third is the one the S3.3 brief singles out:
+ *
+ * 1. **Unknown statement.** Every premise and conclusion resolves in
+ *    `POSTER_REGISTRY`.
+ * 2. **No context union.** A derivation whose premises do not pool states no
+ *    claim; `makeDerivation` records that rather than throwing, so a record
+ *    carrying a refusal would otherwise sit in the list looking like an edge.
+ * 3. **An association typed as a derivation.** `7 ↔ 16` and `3, 14 → *` are
+ *    associations. If a derivation ever links either pair — in either
+ *    direction — the distinction has been lost, and it is the distinction
+ *    that carries the physics: the route to 16 runs from the full Maxwell
+ *    system, *never from 7 alone*.
+ * 4. **Missing record / 5. wrong container.** Every id in
+ *    {@link POSTER_LINES} exists, in one of the containers its line declares.
+ * 6. **Unexpected empty premises.** Exactly one record may have none.
+ *
+ * Returns problems rather than throwing, so a caller sees ALL of them at once
+ * — a thrown first defect hides the rest, and this list is checked as a whole.
+ *
+ * @internal
+ */
+export function validatePosterRelations() {
+    const problems = [];
+    for (const der of POSTER_DERIVATIONS) {
+        for (const sid of [...der.premises, der.conclusion]) {
+            if (!POSTER_REGISTRY.has(sid)) {
+                problems.push({
+                    kind: 'unknown-statement',
+                    detail: `derivation '${der.id}' references unknown statement '${sid}'`,
+                });
+            }
+        }
+        if (der.contextUnion.kind === 'no-union') {
+            problems.push({
+                kind: 'no-context-union',
+                detail: `derivation '${der.id}' has no context union ` +
+                    `(${der.contextUnion.reason}: ${der.contextUnion.detail}), so it states no claim`,
+            });
+        }
+        if (der.premises.length === 0 && der.id !== EMPTY_PREMISE_DERIVATION) {
+            problems.push({
+                kind: 'unexpected-empty-premises',
+                detail: `derivation '${der.id}' has no premises; only '${EMPTY_PREMISE_DERIVATION}' may, ` +
+                    'and its two inputs are recorded in its side conditions',
+            });
+        }
+        for (const [a, b] of ASSOCIATION_ONLY_PAIRS) {
+            const touches = (der.premises.includes(a) && der.conclusion === b) ||
+                (der.premises.includes(b) && der.conclusion === a);
+            if (touches) {
+                problems.push({
+                    kind: 'association-typed-as-derivation',
+                    detail: `derivation '${der.id}' links '${a}' and '${b}', which ROADMAP.md Phase 3 ` +
+                        'records as an ASSOCIATION only; a derivation here asserts a route the line denies',
+                });
+            }
+        }
+    }
+    for (const line of POSTER_LINES) {
+        for (const id of line.records) {
+            const where = line.containers.filter((c) => recordExists(c, id));
+            if (where.length === 0) {
+                const anywhere = ['derivation', 'association', 'constraint'].filter((c) => recordExists(c, id));
+                problems.push(anywhere.length > 0
+                    ? {
+                        kind: 'wrong-container',
+                        detail: `line ${line.id} declares '${id}' in ${line.containers.join('/')} ` +
+                            `but it is recorded in ${anywhere.join('/')}`,
+                    }
+                    : {
+                        kind: 'missing-record',
+                        detail: `line ${line.id} declares '${id}', which is recorded nowhere`,
+                    });
+            }
+        }
+    }
+    return problems;
+}
+//# sourceMappingURL=derivations.js.map

package/dist/atlas/poster/derivations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivations.js","sourceRoot":"","sources":["../../../src/atlas/poster/derivations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAIlD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AA0C5D,MAAM,CAAC,GAAG,CACR,EAAgB,EAChB,QAAgC,EAChC,QAAgC,EAChC,UAAuB,EACvB,cAAiC,EACrB,EAAE,CACd,cAAc,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,eAAe,CAAC,CAAC;AAE1F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0B;IACvD,8DAA8D;IAC9D,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACzD,+BAA+B;QAC/B,sFAAsF;KACvF,CAAC;IAEF,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,CAAC,CAAC,kBAAkB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC,EAAE;QACrF,0BAA0B;QAC1B,uEAAuE;QACvE,0CAA0C;KAC3C,CAAC;IACF,CAAC,CACC,8BAA8B,EAC9B,YAAY,EACZ,CAAC,4BAA4B,EAAE,mBAAmB,CAAC,EACnD,wCAAwC,EACxC;QACE,iDAAiD;QACjD,4BAA4B;QAC5B,uEAAuE;KACxE,CACF;IAED,yEAAyE;IACzE,iEAAiE;IACjE,CAAC,CACC,yBAAyB,EACzB,mBAAmB,EACnB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAClC,+BAA+B,EAC/B;QACE,gDAAgD;QAChD,kCAAkC;QAClC,+CAA+C;KAChD,CACF;IAED,wEAAwE;IACxE,qEAAqE;IACrE,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,uDAAuD;IACvD,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC3D,YAAY;QACZ,aAAa;QACb,iBAAiB;QACjB,cAAc;QACd,oCAAoC;KACrC,CAAC;IAEF,oEAAoE;IACpE,0EAA0E;IAC1E,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QAC3D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IACF,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC7D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IAEF,4EAA4E;IAC5E,yEAAyE;IACzE,8DAA8D;IAC9D,CAAC,CACC,2BAA2B,EAC3B,YAAY,EACZ,CAAC,0BAA0B,EAAE,yBAAyB,CAAC,EACvD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,8CAA8C;QAC9C,gEAAgE;YAC9D,kEAAkE;KACrE,CACF;IAED,yEAAyE;IACzE,oEAAoE;IACpE,CAAC,CAAC,yBAAyB,EAAE,YAAY,EAAE,CAAC,4BAA4B,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtF,6BAA6B;QAC7B,sCAAsC;QACtC,kDAAkD;KACnD,CAAC;IAEF,2EAA2E;IAC3E,0EAA0E;IAC1E,oEAAoE;IACpE,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxD,6DAA6D;QAC7D,mEAAmE;KACpE,CAAC;IAEF,gEAAgE;IAChE,2EAA2E;IAC3E,eAAe;IACf,CAAC,CAAC,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACjD,sCAAsC;QACtC,+BAA+B;QAC/B,+EAA+E;QAC/E,kFAAkF;YAChF,gDAAgD;KACnD,CAAC;IAEF,qEAAqE;IACrE,sEAAsE;IACtE,iEAAiE;IACjE,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACvE,wEAAwE;QACxE,4EAA4E;YAC1E,kDAAkD;QACpD,OAAO;KACR,CAAC;IAEF,gEAAgE;IAChE,iEAAiE;IACjE,uBAAuB;IACvB,CAAC,CAAC,aAAa,EAAE,uBAAuB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,gBAAgB;QAChB,iBAAiB;QACjB,wCAAwC;KACzC,CAAC;IAEF,0EAA0E;IAC1E,oBAAoB;IACpB,CAAC,CACC,sBAAsB,EACtB,YAAY,EACZ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iCAAiC,CAAC,EAChD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,kEAAkE;QAClE,2DAA2D;QAC3D,OAAO;KACR,CACF;IACD,CAAC,CAAC,wBAAwB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,sDAAsD;QACtD,gFAAgF;YAC9E,yBAAyB;QAC3B,OAAO;KACR,CAAC;IAEF,yEAAyE;IACzE,iCAAiC;IACjC,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtD,4BAA4B;QAC5B,oBAAoB;QACpB,8BAA8B;KAC/B,CAAC;IAEF,oEAAoE;IACpE,2EAA2E;IAC3E,uEAAuE;IACvE,kCAAkC;IAClC,CAAC,CAAC,2BAA2B,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxE,0EAA0E;QAC1E,wCAAwC;KACzC,CAAC;IACF,CAAC,CAAC,4BAA4B,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC5E,yEAAyE;QACzE,wCAAwC;KACzC,CAAC;CACH,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgC;IAC7D;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvB,IAAI,EACF,4EAA4E;YAC5E,kDAAkD;QACpD,gBAAgB,EAAE,yBAAyB;KAC5C;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuD;IAClF,mBAAmB,EAAE;QACnB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,qCAAqC,EAAE;KAC3E;IACD,aAAa,EAAE;QACb;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,qCAAqC;YAC3C,SAAS,EAAE,4CAA4C;SACxD;KACF;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA0B;IACjD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,qDAAqD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,4EAA4E;YAC5E,yDAAyD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,kBAAkB,EAAE,8BAA8B,CAAC;KAC9D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,2DAA2D;QACjE,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,oCAAoC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,+EAA+E;QACjF,UAAU,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;QACzC,OAAO,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACxC,OAAO,EAAE,CAAC,oBAAoB,EAAE,yBAAyB,CAAC;KAC3D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,gBAAgB,CAAC;KAC5B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,2EAA2E;QACjF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,mBAAmB,CAAC;KAC/B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,wFAAwF;YACxF,iCAAiC;QACnC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,kFAAkF;QACxF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,sBAAsB,EAAE,wBAAwB,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,+EAA+E;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC;KACtB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,gFAAgF;YAChF,wCAAwC;QAC1C,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,2BAA2B,EAAE,4BAA4B,CAAC;KACrE;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,OAAO,EAAE,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;KAC3D;CACF,CAAC;AAcF,uCAAuC;AACvC,SAAS,YAAY,CAAC,SAAwB,EAAE,EAAU;IACxD,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,MAAM,wBAAwB,GAAiB,gBAAgB,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,uBAAuB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,kBAAkB,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,MAAM,EAAE,eAAe,GAAG,CAAC,EAAE,mCAAmC,GAAG,GAAG;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,yBAAyB;oBAC9C,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,MAAM,0BAA0B;aACpF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,wBAAwB,EAAE,CAAC;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,4BAA4B,wBAAwB,SAAS;oBAClF,wDAAwD;aAC3D,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,sBAAsB,EAAE,CAAC;YAC5C,MAAM,OAAO,GACX,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC;gBAClD,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,iCAAiC;oBACvC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,8BAA8B;wBAC3E,mFAAmF;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAI,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,CAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CACpB,CAAC;gBACF,QAAQ,CAAC,IAAI,CACX,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACjB,CAAC,CAAC;wBACE,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EACJ,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;4BACnE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;qBAChD;oBACH,CAAC,CAAC;wBACE,IAAI,EAAE,gBAAgB;wBACtB,MAAM,EAAE,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,8BAA8B;qBACtE,CACN,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/atlas/poster/statements.d.ts

@@ -0,0 +1,198 @@
+/**
+ * Atlas Phase 3 — the poster's sixteen entries, its five hidden supporting
+ * nodes, and the three conservation statements its edges conclude in.
+ *
+ * ## The one rule this module exists to obey
+ *
+ * **Blueprint v2's Appendix A is NOT in this repo.** `ROADMAP.md` Phase 3
+ * states the fifteen typed edge lines and the five hidden nodes in full, and
+ * it references the sixteen entries BY NUMBER in identifying context — but no
+ * file here maps number → name. Design note
+ * `docs/planning/Atlas-Phase-3-Design.md` §5 is explicit about what follows:
+ * *"Transcribe or derive each entry from a stated source; never invent one to
+ * fill a gap."*
+ *
+ * So every entry below carries an {@link Identification}, and it is a FIELD
+ * rather than a comment because a comment cannot be tested. Three values:
+ *
+ * - `'derived'` — the edge lines pin it. `10 → 9` restriction with *"separate
+ *   frame content in 9"*, `11 → momentum conservation … converse fails … fails
+ *   naively when fields carry momentum`: those three lines are Newton's
+ *   second, first and third laws and nothing else.
+ * - `'partial'` — the lines pin a FAMILY but not the member. Entry 7 is a
+ *   Maxwell equation (the line distinguishes it from *"the full Maxwell
+ *   system"*, which is a hidden node — `never from 7 alone`), but which of the
+ *   four it is, is not recoverable. Entry 5 is read here as `E = mc²`; see
+ *   {@link POSTER_5_IDENTIFICATION_NOTE}.
+ * - `'unidentified'` — entries 3 and 14, which `ROADMAP.md` names exactly
+ *   once, in `3, 14 → * association only`. Nothing there identifies them. They
+ *   are recorded as placeholders WITH THEIR NUMBERS and no physics, because a
+ *   plausible guess would be uncheckable, and an honest gap beats it.
+ *
+ * **The edges do not depend on any of this.** Every record in
+ * `./derivations.ts` and `./associations.ts` references entries by NUMBER, so
+ * a mis-identified NAME cannot corrupt an edge type. That separation is
+ * deliberate: the numbers come from a stated source, the names are an
+ * inference over it, and only one of them is load-bearing.
+ *
+ * ## `ast?` is absent everywhere here, on purpose
+ *
+ * `statement.ts` §1 already argues it: the hidden nodes are valuable because
+ * they are NAMED and LINKED, not evaluable, and requiring an `ast` would force
+ * a fabricated encoding. The same holds for the sixteen — this module records
+ * poster claims, not evaluable equations — so every statement here carries an
+ * honest `sourceExpression` and no `ast`, and {@link buildPosterRegistry}
+ * refuses one that carries an `ast` it cannot have earned.
+ *
+ * Pure: no I/O. Imports `../statement.js` and `../model.js` types only, so
+ * this module is a leaf under `src/atlas/` and closes no cycle.
+ *
+ * @module atlas/poster/statements
+ */
+import type { Statement, StatementId } from '../statement.js';
+import type { ModelId } from '../model.js';
+/**
+ * How firmly an entry's IDENTITY is pinned by a source in this repo.
+ *
+ * @internal
+ */
+export type Identification = 'derived' | 'partial' | 'unidentified';
+/**
+ * The `ModelId` every poster statement carries.
+ *
+ * Phase 3 records a `Model` for the nine oscillator models and for nothing
+ * else. A poster entry has no state space, dynamics or parameter list in this
+ * repo, so every per-entry model id available here would be invented — and an
+ * invented `'model-newtonian-mechanics'` would read, to the next sprint,
+ * exactly like a model someone recorded.
+ *
+ * One shared sentinel instead, which says what is true: no model is recorded.
+ * `tests/atlas/poster-statements.test.ts` pins that no poster statement claims
+ * an oscillator model id.
+ *
+ * @internal
+ */
+export declare const POSTER_MODEL_UNRECORDED: ModelId;
+/** What `3, 14 → *` puts in `sourceExpression`. Never a guess. @internal */
+export declare const UNIDENTIFIED = "UNIDENTIFIED";
+/**
+ * Why entry 5 is `'partial'` and not `'derived'`.
+ *
+ * Two edge lines constrain it and they pull in different directions.
+ * `16 → 5, 10` is an approximation in `v/c` *"needing `E = γmc²`, `p = γmv`,
+ * `F = dp/dt`"*, which reads as `E = mc²` reached from `E = γmc²`.
+ * `5, 16 → 8 constrain but do not determine` is, in the usual telling, the
+ * Newtonian-limit-plus-special-relativity constraint on the field equations,
+ * which would make 5 Newton's law of universal gravitation.
+ *
+ * It cannot be both, and `8 → 12` — approximation then *"restriction to a
+ * point source"* — already lands on universal gravitation at 12. Two entries
+ * cannot be the same law, so 5 is read as `E = mc²` here. The reading is
+ * RECORDED rather than asserted: the entry stays `'partial'`, and no edge
+ * depends on it, because every edge references 5 by number.
+ *
+ * @internal
+ */
+export declare const POSTER_5_IDENTIFICATION_NOTE: string;
+/**
+ * One of the sixteen, with its number and how firmly its identity is pinned.
+ *
+ * @internal
+ */
+export interface PosterEntry {
+    /** 1–16, as every `ROADMAP.md` Phase 3 edge line references it. */
+    readonly number: number;
+    readonly statement: Statement;
+    readonly identification: Identification;
+    /** Required when `identification !== 'derived'`: what is unresolved, and why. */
+    readonly note?: string;
+}
+/**
+ * The sixteen poster entries, in poster order.
+ *
+ * Every `context.assumptions` is non-empty. Where `ROADMAP.md` states the
+ * qualification, it is used verbatim in substance: entry 11's *"fields carry
+ * no momentum"* (and the matching `excludes`, which is the one genuinely
+ * reachable context refusal in this data — see `./derivations.ts`), entry
+ * 13's `σ > 0`. Where it does not, the assumption is the standard statement
+ * of the entry's own validity and nothing more; none of them adds a claim.
+ *
+ * @internal
+ */
+export declare const POSTER_ENTRIES: readonly PosterEntry[];
+/**
+ * The five hidden supporting nodes, named by `ROADMAP.md` Phase 3 and by no
+ * other source.
+ *
+ * They are the deliverable precisely as named — `docs/planning/Atlas-Phase-3-Design.md`
+ * §8 puts *"evaluating hidden supporting nodes"* explicitly out of scope — so
+ * each carries a prose `sourceExpression` and no `ast`.
+ *
+ * `statement-lorentz-group` is what the `7 ↔ 16` line calls *"spacetime
+ * structure"* in the hyperedge `{full Maxwell system, spacetime structure} →
+ * 16`. That identification is an inference: `ROADMAP.md` names exactly five
+ * hidden nodes and the Lorentz group is the only one of the five that can
+ * BE spacetime structure. It is recorded here rather than silently assumed,
+ * and `./derivations.ts` repeats it in the hyperedge's side conditions.
+ *
+ * @internal
+ */
+export declare const HIDDEN_NODES: readonly Statement[];
+/**
+ * The statements the poster's edges CONCLUDE in that are neither a numbered
+ * entry nor a hidden node.
+ *
+ * All three are named by `ROADMAP.md` Phase 3: *"`11 → momentum
+ * conservation`"*, *"the field-inclusive version"*, *"`1 ↔ energy
+ * conservation`"*. Nothing here is added beyond those names.
+ *
+ * The two momentum statements are SEPARATE records because the line says the
+ * particle version *"fails naively when fields carry momentum"*. One record
+ * carrying both readings would erase exactly the distinction the line draws,
+ * and it is the distinction that makes entry 11's `excludes` bite.
+ *
+ * @internal
+ */
+export declare const SUPPORTING_STATEMENTS: readonly Statement[];
+/** Every statement this poster index defines, in a stable order. @internal */
+export declare const POSTER_ALL_STATEMENTS: readonly Statement[];
+/** Thrown by {@link buildPosterRegistry}. @internal */
+export declare class PosterStatementError extends Error {
+    constructor(message: string);
+}
+/**
+ * The registry `makeDerivation` and `statementContextUnion` resolve against,
+ * built through four checks.
+ *
+ * The checks run HERE, at construction, rather than only in a test, because
+ * `./derivations.ts` builds its records against this registry at module load:
+ * a defect that reaches the registry reaches every derivation before any test
+ * has a chance to look.
+ *
+ * 1. **No duplicate id.** A later duplicate would silently replace an earlier
+ *    statement in the map, and the derivation that consumed it would carry the
+ *    wrong context with no symptom.
+ * 2. **Non-empty `assumptions`.** The S3.3 requirement, and the reason a
+ *    context can refuse at all: an empty one pools with anything.
+ * 3. **No `ast`.** Nothing in this module is evaluable (see the module note);
+ *    an `ast` here could only have been fabricated.
+ * 4. **A non-`'derived'` entry states its `note`.** An unidentified entry
+ *    without its reason is indistinguishable from an oversight.
+ *
+ * The two arguments exist so a TEST can drive these four checks with a
+ * defective index through THIS code path rather than a copy of it. A test that
+ * reimplements a guard in order to break it proves only that the copy works,
+ * which is the vacuous-pass shape the design note names; the copy and the
+ * original then drift with nothing reporting it.
+ *
+ * @throws PosterStatementError on any of the four.
+ * @internal
+ */
+export declare function buildPosterRegistry(statements?: readonly Statement[], entries?: readonly PosterEntry[]): ReadonlyMap<StatementId, Statement>;
+/** The built registry. @internal */
+export declare const POSTER_REGISTRY: ReadonlyMap<StatementId, Statement>;
+/** The entry with this number. @throws RangeError when there is none. @internal */
+export declare function posterEntry(number: number): PosterEntry;
+/** The statement id of entry `number` — `posterId(9) === 'poster-9'`. @internal */
+export declare function posterId(number: number): StatementId;
+//# sourceMappingURL=statements.d.ts.map

package/dist/atlas/poster/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,KAAK,EAAW,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,cAAc,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB,EAAE,OAAmC,CAAC;AAE1E,4EAA4E;AAC5E,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAE3C;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,4BAA4B,QAGkD,CAAC;AAE5F;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,iFAAiF;IACjF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAiCD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc,EAAE,SAAS,WAAW,EAgJhD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,SAAS,EA2D5C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,SAAS,EAmCrD,CAAC;AAEF,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,EAAE,SAAS,SAAS,EAIrD,CAAC;AAEF,uDAAuD;AACvD,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,GAAE,SAAS,SAAS,EAA0B,EACxD,OAAO,GAAE,SAAS,WAAW,EAAmB,GAC/C,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,CA6BrC;AAED,oCAAoC;AACpC,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,WAAW,EAAE,SAAS,CAAyB,CAAC;AAE1F,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAMvD;AAED,mFAAmF;AACnF,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAEpD"}