Premises · PRM-012
Correspondence map algebra to SM
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
The specified correspondence map is itself a chosen (loaded) embedding, not shown to be forced or unique by the algebra - the selectors listed above (Jvac , Route B, AX6, ordering, Dirac-ν) are the loading.
Provenance
| kind | LOADED_CORRESPONDENCE |
|---|---|
| source | the sealed suite, PDF p.2 (search that part for “===== PDF PAGE 2 /”) · the sealed PDF |
| 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 (3)
| record | title | why the house declared it |
|---|---|---|
| LIB2-002 | Physical atmospheric registration of the internal 7/16 misma | Its own statement: the registration 'is a Loaded-correspondence ... the registered map chooses one by convention'. That is the correspondence-map premise exactly. |
| LIB2-108 | The explicit B-map fixes a loaded one-generation field dicti | Hypotheses: 'Use the explicit B-map and the compact Standard-Model embedding' and 'The Dirac-neutrino extension is assumed'. A chosen embedding is the correspondence-map premise. |
| LIB2-122 | The muon-to-tau formula is a loaded reproduced ratio | Its own statement types the ratio 'Loaded-correspondence physically', and its hypothesis concedes the coefficient provenance is target-first. |
Claims reaching it transitively (10)
LIB2-002, LIB2-065, LIB2-066, LIB2-067, LIB2-108, LIB2-109, LIB2-122, LIB2-125, LIB2-126, LIB2-127
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