Expositions · Premise notes

Premise notes

What a premise note is. Each note takes one registered premise — a postulate, an adopted premise, a measured input, a convention, a loaded correspondence, a fence or an open requirement — and shows every place the sealed suite invokes it, with a verbatim quote and its role there (stated, load-bearing, conditional, mentioned, discharged), the Registrar claims that rest on it, and what the suite itself says fails without it. The notes were drafted by the ChatGPT drafting lane (A1634, dispatch D1288) and verified by the house: every quote was checked against the suite source at its line. A claim→premise link is declared only after the house has read the passage (R76), and it remains an editorial house judgment. Under R78 an edge is declared only where the record's result ASSUMES the premise; a record that is merely about a premise is shown on its note, not as a dependency. The drafting lane saw at most twelve passages per premise; the house read every remaining hit in the full suite TeX and added those passages to the notes, marked as house additions. Where the PI corrected the register row (R81), the note says at the top what changed; the lane's text below it quotes the row the lane was given. Two notes — PRM-025 and PRM-026, for the premises R81 registered — were drafted wholly by the house, from a census of every line of the suite that names them. A note explains a premise; it never promotes or demotes one.

26 notes for the 33 registered premises. No note has been drafted yet for PRM-027, PRM-028, PRM-029, PRM-030, PRM-031, PRM-032, PRM-033 (registered by R84). The set is also one printable document: SGTOE_PREMISE_NOTES_S328a.pdf.

NoteKindClaims declared to rest on it
PRM-001
Neutral signature
ADOPTED_PREMISEnone declared
PRM-002
Split Jordan carrier J3(O_s) (indefinite trace form)
ADOPTED_PREMISEnone declared
PRM-003
AX-COT
POSTULATEnone declared
PRM-004
AX-MG
POSTULATEnone declared
PRM-005
AX-MOS
POSTULATELIB2-173
PRM-006
AX6_pol — polarisation postulate (weak-angle orbit selector)
POSTULATELIB2-200
PRM-007
Action shape (the adopted principle Φ_diag)
ADOPTED_PREMISEnone declared
PRM-008
Alpha as declared input
MEASURED_INPUTLIB2-126
PRM-009
Basepoint / tensor equivalence
FENCEnone declared
PRM-010
Boundary datum
LOADED_CORRESPONDENCELIB2-021
PRM-011
Colour real form as declared input
ADOPTED_PREMISELIB2-108
PRM-012
Correspondence map algebra to SM
LOADED_CORRESPONDENCELIB2-002, LIB2-108, LIB2-122
PRM-013
DET-7 structural postulate
POSTULATELIB2-019, LIB2-020, LIB2-051, LIB2-066, LIB2-356
PRM-014
Finite regulator
CONVENTIONLIB2-170, LIB2-192
PRM-015
Module-naturality premise
OPEN_REQUIREMENTnone declared
PRM-016
Parity pattern is not a spin structure
FENCEnone declared
PRM-017
CKM first-row Route B (selected against kaon data)
LOADED_CORRESPONDENCELIB2-063, LIB2-065, LIB2-067
PRM-018
X_vac = diag(φ², 1, 0) — legacy vacuum normalization (house file)
POSTULATEnone declared
PRM-019
m_tau as registered input
MEASURED_INPUTLIB2-125, LIB2-127, LIB2-130
PRM-020
Cascade prescription
POSTULATEnone declared
PRM-021
Power assignment n = 4, 5
POSTULATEnone declared
PRM-022
DSE / Faddeev closure
POSTULATEnone declared
PRM-023
Route A inversion symmetry (palindromic spectrum)
ADOPTED_PREMISELIB2-019
PRM-024
Route B golden-unit restriction (positive algebraic integers in Q(√5), abc = 1)
ADOPTED_PREMISELIB2-001, LIB2-020
PRM-025
AX1 — golden unit
POSTULATEnone declared
PRM-026
Det² selector object (historical; retired as a selector of AX6_pol)
POSTULATEnone declared

Built by scripts/premise_notes_build.py from Coalition/library/textbook/premise_notes (MANIFEST verified) · Registrar master sha256 e64bfa7ef06444bf9ebd1abb9bf2c9b7562264ad903d1f881f65c38a19ce07be
BUILD_STAMP S328a · 2026-09-11 19:00Z · master e64bfa7ef06444bf · cut 9dcc6ce9a8ee3e02