Premises · PRM-018
X_vac = diag(φ², 1, 0) — legacy vacuum normalization (house file)
What this surface is. A register of the premises this programme has DECLARED — postulates, adopted premises, measured inputs, conventions, loaded correspondences, fences and open requirements. Every statement is quoted from its source — verbatim from the sealed text, or transcribed by the house from the TeX where the extraction was damaged, as each page's statement-quality row says — and carries that source's locator. No premise on this page has been adjudicated by the house, and none is defended here. A premise is what an argument RESTS ON, not what it establishes.
As printed
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.
Register corrected (R81, D15, S327j). The PI ruled a correction to this row. Until then it read: name X_vac = diag(phi^2,1,0) / AX1. AX1, which this row also named until R81, is registered separately as PRM-025. Nothing is overwritten (R29): the earlier row is kept in the register’s history.
Provenance
| kind | POSTULATE |
|---|---|
| located status | HISTORICAL_HOUSE_FILE — a historical house-file premise; its suite occurrence is discharged (R81) |
| source | a house file, not the suite — L-AssumptionStack_five_level_hierarchy.mdsha256 1a11009b68531c7b2de1d2408ee8259b |
| basis | Rev33.1_S369 · PDF sha b64ddcd9e16a6dcd… |
| statement quality | AUTO_CLEAN |
| review state | DRAFTED — not adjudicated by the house |
| first seen | S312 · 2026-09-06T20:08Z |
Claims declared to rest on this premise (0)
No claim in the corpus declares that it rests on this premise. That is a statement about what has been DECLARED, not about what is true.
Claims reaching it transitively (0)
none
Premise note
Where the suite invokes this premise, in what role, and what rests on it: the premise note (drafted by the ChatGPT drafting lane, verified by the house, R76/R78/R81).
Generated from library_v2.jsonl + PRM_REGISTER_S312.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26 22:53Z · cut 9dcc6ce9a8ee3e02