Expositions · C04.2 · Registrar

C04.2 · Claims used

Section of C04.2 — Finite selector actions and the price of their shape. Section object E-C04.2.claims-used · kind CLAIMS_USED · 23 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-021 | The finite loaded-profile parent action has its stated stable minimum | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-022 | The finite selector closure retains the stated boundary and coupling price | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-023 | The grammar detector selects the dark ray | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-024 | The selector law and clock commutator share one structure constant | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-025 | The loaded-plane defect algebra determines the selector eigenspaces | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-026 | A rank-character action represents the selector Hessian | `Certified / NOT_PRINTED / null` | | LIB2-027 | The declared action-completion class retains nonlinear-shape freedom | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-028 | The action-shape principle is adopted rather than intrinsically selected | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-029 | The conditional selector for occupied golden mass-ladder rungs | `NOT_PRINTED / NOT_PRINTED / Derived-conditional` | | LIB2-030 | Target-triviality is forced in the minimal H2 class | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-031 | The minimal H2 rank and coefficient price are predeclared | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-032 | The frozen H2 conditions do not select the coefficient map | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-033 | The banked refined-condition inventory does not select Φdiag | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-034 | Casimir-naturality excludes the adopted action-shape target | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-035 | The banked non-degenerate stability conditions leave an interior | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-036 | An action depending only on the registered Gram map cannot select a coset point | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-037 | The declared frame-free invariant class has no nonzero dark response | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-038 | The transported selector consumes a source without selecting its ray | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-039 | A fixed-grade cubic/current law cannot detect both dark directions | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-040 | An RB-even action cannot select the horizontal-orbit sign | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-043 | Unshifted quadratic Kempf–Ness potentials fail the selector-rank test | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-044 | A beat-invariant potential in the declared KN class cannot isolate the dark ray | `NOT_PRINTED / NOT_PRINTED / null` | | LIB2-045 | The braid/trace grammar cannot select the boundary source datum | `NOT_PRINTED / NOT_PRINTED / null` |

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