Expositions · C04.2 · Registrar
C04.2 · Source basis/status
Section of C04.2 — Finite selector actions and the price of their shape. Section object E-C04.2.source-basis-status · kind PROSE · cites no record · attestation inherited from the article (R69).
Kind: **CONDITIONAL**. This describes the exposition, not a scientific tier. Basis: sealed Rev32.7_S303 page-preserving extraction and the house-supplied D1259 Registrar extract. Registrar master SHA-256 **as attested by the house**, not computed from an unavailable master: `cab1d95e8b1e6caad72a30cec35e7ff3bc5394cdc65354b2e17b3d65c90c298a`. Extract SHA-256 computed here: `c25eaf2247542f3dbff542607993d1a5058bf596c268679d86a491abba85f467`. No live Registrar was fetched. The supplied records are DRAFTED/in review; `house_tier` is null. The historical report of a numerical certificate is distinguished below from a calculation executed in this return.
All substantive predicates are classified in PRIOR ART. STANDARD is not a programme discovery; PROGRAMME identifies the corpus-specific assertion and does not establish external priority; UNRESOLVED is a genuine identification or proof boundary. These classifications do not alter the literal labels below.
**Premise before result: the action is not intrinsically selected.**
> no microscopic principle selects Fchar ; the mathematics is Derived/Certified, the attachment Structural/Conditional.
— Rev32.7, PDF p.296 [Q028].
The adopted clause is explicitly priced:
> The clause Φdiag : {v = 0, w = 0, u = t, 27z = t} — four coefficient relations — isolates exactly the Fchar orbit and is minimal in codimension (dropping any one relation restores a projective one-parameter family).
— Rev32.7, PDF p.297 [Q016].
This article does not treat a positive Hessian as a proof of microscopic selection or a proof of a global minimum outside the stated domain.
Receipt, script and stdout: on the article page. Registrar master sha256 01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033 · BUILD_STAMP S371a · 2026-09-26 22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02