C04.1 · Source basis/status

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:**

> DET-7 enters this appendix as a structural postulate, not a derived necessity; the result is therefore a conditional selector theorem.

— Rev32.7, PDF p.164 [Q013].

The two routes must not exchange their assumptions:

> Route A’s residual input is the inversion symmetry (H1); Route B’s residual input is the golden-field hypothesis a, b, c ∈ Z[ϕ]. Each, together with (H0) and DET-7, removes all continuous freedom.

— Rev32.7, PDF p.165 [Q014].

This is a result about a positive diagonal element with the stated Jordan normalization. It is not a proof that a dynamical system must choose either premise set.