Expositions · C03.1 · Registrar

C03.1 · Claims used

Section of C03.1 — From Jordan boundary to Freudenthal bulk and exceptional representation. Section object E-C03.1.claims-used · kind CLAIMS_USED · 5 record uses, all UNREVIEWED — no lane has read this section · attestation inherited from the article (R69).

← Prerequisites · Definitions/conventions →

| Supplied identity | Registered subject | Literal math / attachment / scorecard fields | |---|---|---| | LIB2-006 | The registered symplectic exceptional substrate | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-011 | The cubic Jordan slice is a Lagrangian boundary of the FTS | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-012 | The Albert-to-shell polarized-cubic solder | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-013 | Local positive paired-shell polarization at the transported point | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-197 | The positive congruence dressing stays inside the registered E7 group | `NOT_PRINTED / NOT_PRINTED / null` |

The literal NOT_PRINTED fields do not erase local theorem wording; conversely local theorem wording does not supply a missing matrix certificate. No source-reported numerical tolerance is used as an exact assertion in the present code.

Registrar records this section cites

Registrar records are IN REVIEW and noindex; a use's role here is the Registrar's not-read state until two non-drafting lanes read it (R67 §3).

← Prerequisites · Definitions/conventions →

Receipt, script and stdout: on the article page. Registrar master sha256 01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033 · BUILD_STAMP S371a · 2026-09-26 22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02