PRM-018 · X_vac = diag(φ², 1, 0) — legacy vacuum normalization (house file)

Premise

Register corrected — R81 (D15, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Name now X_vac = diag(φ², 1, 0) — legacy vacuum normalization (house file) (was X_vac = diag(phi^2,1,0) / AX1). Located status HISTORICAL_HOUSE_FILE. AX1, which this row also named until R81, is registered separately as PRM-025. The register row the drafting lane quotes below is the row as it was supplied to the lane, before R81; it is kept in the register's history (R29: nothing is overwritten).

This premise is registered from a HOUSE FILE, Coalition/library/L-AssumptionStack_five_level_hierarchy.md, not from a suite-first locator. IN SUITE — historical normalization explicitly superseded at appendix_i_dynamics_bounce.tex:502–504 (Appendix I, cubic protection remark; saved PDF page checked in the invocation table). AX1 is separately still an input at p0_framework_foundations.tex:521.

Register kind: POSTULATE. The following is the supplied register’s transcription of the house statement, not an authenticated quotation from the unprovided house file:

Level 1 - THE VACUUM: X_vac = diag(φ2, 1, 0). NOT derived from minimization. The single most important open problem. Must emerge from cubic + quadratic invariant interplay.

House-file SHA-256 named in the register: 1a11009b68531c7b2de1d2408ee8259b6219ba9d009e57916c4edf88cc06f638. That named hash was not independently checked against the house file’s bytes.

What kind of premise this is

POSTULATE is the register kind for the house-file item. The suite does mention the singular diagonal, but explicitly as a superseded legacy normalization. The present positive spectrum is selected conditionally in Appendix E. Separately, AX1 remains a named golden-unit input in Paper 0. A title joining the old diagonal and AX1 must not be read as evidence that both remain active or that both have been retired. Source status words: superseded by the current (appendix_i_dynamics_bounce.tex:503).

Where the suite invokes it

Located invocations in the read excerpts, not an exhaustive full-source-tree census. Pages refer to saved Rev32.7 page-delimited text, not PDF-image authentication.

House additions — R78-c (S327i), moved by R81

The house read the rest of the suite for this premise. The material sent to the drafting lane showed at most twelve passages per premise, so A1634 FINDINGS §7 lists 19 hit lines for PRM-018 that the lane never saw. Under R78-c the house read all 19 in the full suite TeX: 14 passages are moved to the PRM-025 note (5 further hit lines fall inside them). Every quote was matched against the TeX at its locator. With the lane's table above, every hit of this premise's search keys is now accounted for. All 14 passages concern AX1, the golden unit ρ² − ρ − 1 = 0, which R81-D15 registered on its own as PRM-025. The PRM-025 note prints them, with every further line of the suite that names AX1, read at S327j.

Arguments that rest on it

NO RECORD — no live argument consuming this historical diagonal is identified in the supplied candidates. LIB2-296, supplied with PRM-024, describes the archived vanishing-determinant/eigenvalue chain and is historical context, not a live proof to be reactivated by ADD.

What breaks without it

The suite’s explicit disposition is supersession of the old normalization with structural statements unaffected (appendix_i_dynamics_bounce.tex:502–504). NOT ASSESSED — the house-file claim about minimization is not supplied as a current suite theorem or a current failure calculation. AX1’s separate active status at p0_framework_foundations.tex:521 is not discharged by that supersession.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: none (UNKNOWN, not INDEPENDENT). The R78-c reading found no further record whose result assumes this premise. The lane's lines below describe the master as it was supplied to the lane (d0aa26db154ff43f), before these changes.

Declared today in the supplied material, Registrar master d0aa26db154ff43f: none (UNKNOWN, not INDEPENDENT). Draft dispositions — no ADD, CONFIRM or DISPUTE row; there is no declared edge to adjudicate. Unbound NO RECORD arguments are not graph ADDs. No edge is declared for this house item. LIB2-296 is an archived assumption record, not evidence for live singular-vacuum dependence. The current conditional selector uses the hypotheses named in Appendix E, not this singular diagonal.

Tier and what this does not show

A premise is not a result, and invocation count is not importance. An ADD remains a proposal until house verification under R76; a DISPUTE goes to the PI. No record or premise is upgraded, downgraded, or edited. Unlocated dependencies remain unknown.

Sources

TeX: appendix_e_vacuum_selector.tex:79; appendix_i_dynamics_bounce.tex:502; appendix_i_dynamics_bounce.tex:502–504; appendix_i_dynamics_bounce.tex:503; p0_framework_foundations.tex:521. Registrar: LIB2-296. Premise: PRM-018.