Expositions · C04.1 · Registrar
C04.1 · Claims used
Section of C04.1 — Golden-field selectors and the admissible-gap proof. Section object E-C04.1.claims-used · kind CLAIMS_USED · 6 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-001 | Route-B admissible-gap classification | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-018 | DET-7 is a structural postulate in the algebraic selector | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-019 | Route A selects the positive golden spectrum under its stated hypotheses | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-020 | Route B selects the positive golden-unit triple under DET-7 | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-041 | A frame-free invariant does not select the ordered Peirce frame | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-042 | A norm-only action leaves the regular norm-level directions flat | `NOT_PRINTED / NOT_PRINTED / null` |
Registrar records this section cites
- LIB2-001 · 1 use · role UNREVIEWED · legacy citation role use_as_support
- LIB2-018 · 1 use · role UNREVIEWED · legacy citation role use_as_support
- LIB2-019 · 1 use · role UNREVIEWED · legacy citation role use_as_support
- LIB2-020 · 1 use · role UNREVIEWED · legacy citation role use_as_support
- LIB2-041 · 1 use · role UNREVIEWED · legacy citation role use_as_support
- LIB2-042 · 1 use · role UNREVIEWED · legacy citation role use_as_support
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