Premises · PRM-005
AX-MOS
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
Given the active c3 /c2 branch, (1, 0, −1) is the unique assignment by enumeration … AX-MOS carries no new bit inside the loaded branch — honest compression, not unconditional derivation.
Register corrected (R81, D4, S327j). The PI ruled a correction to this row. Until then it read: statement “As of A1447 the log leg of this clause is itself a theorem (Theorem 10.1) and the clause is absorbed into AX-MOS.”. Nothing is overwritten (R29): the earlier row is kept in the register’s history.
Provenance
| kind | POSTULATE |
|---|---|
| source | the sealed suite, PDF p.316 (search that part for “===== PDF PAGE 316 /”) · the sealed PDF |
| basis | Rev33.1_S369 · PDF sha b64ddcd9e16a6dcd… |
| statement quality | EXTRACTION_VERBATIM — the sealed PDF’s text extraction at the locator, cut to the premise by the house (R81) |
| review state | DRAFTED — not adjudicated by the house |
| first seen | S312 · 2026-09-06T20:08Z |
Claims declared to rest on this premise (1)
| record | title | why the house declared it |
|---|---|---|
| LIB2-173 | The ordered state pair supplies the additive relative modula | Hypothesis: 'Use the ordered state pair of Theorem 10.1 and its additivity premise' - PRM-005's own statement records that Theorem 10.1's clause is absorbed into AX-MOS. |
Declarations retired (2)
| record | ruling | why it was retired |
|---|---|---|
| LIB2-174 | R82-b | A uniqueness construction for O_MOS under its own seven premises plus a status sentence ("the microscopic theory has not selected it"); it does not assume that O_MOS is the physical observation. As R78-b LIB2-182. |
| LIB2-182 | R78-b | The record asserts that the record-quotient channel family exists for |lambda| <= sqrt2; that construction does not assume AX-MOS (App T:711 "that fold does not select O_MOS either"). |
The retired edge is kept in full in the record’s version history.
Claims reaching it transitively (3)
LIB2-173, LIB2-174, LIB2-176
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