C03.2 · 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.** The complement is identity-anchored within the registered exceptional representation:

> the missing 16 is the identity-anchored Jordan complement 42 ⊖ 26 inside the maximal-SUGRA coset, pinned on the certified E7(7) substrate.

— Rev32.7, PDF p.69 [Q007].

The reported result is limited to its scalar criterion:

> Scope fence: “consistent truncation” here is the scalar sigma-model criterion; vector-sector statements are downstream and not claimed.

— Rev32.7, PDF p.181 [Q008].

The corresponding manifold statement is explicitly local:

> The equality sign in “= SO(4, 4)/(SO(4) × SO(4))” is therefore to be read as a local isometry, not as a global identification of manifolds.

— Rev32.7, PDF p.69 [Q009].

These premises do not provide the exact matrices needed to rerun the plane tests. Historical floating-point residuals remain source reports, not exact results of this article.