Premises · PRM-011

Colour real form as declared input

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

Fenced / input (unchanged). α (five-legged fence, Appendix N); the compact colour real form;
Register corrected (R81, D10, S327j). The PI ruled a correction to this row. Until then it read: kind MEASURED_INPUT. Nothing is overwritten (R29): the earlier row is kept in the register’s history.

Provenance

kindADOPTED_PREMISE
sourcethe sealed suite, PDF p.7 (search that part for “===== PDF PAGE 7 /”) · the sealed PDF
basisRev33.1_S369 · PDF sha b64ddcd9e16a6dcd…
statement qualityAUTO_CLEAN
review stateDRAFTED — not adjudicated by the house
first seenS312 · 2026-09-06T20:08Z

Claims declared to rest on this premise (1)

recordtitlewhy the house declared it
LIB2-108The explicit B-map fixes a loaded one-generation field dictiThe same compact Standard-Model embedding fixes the compact colour real form, a declared input since Rev29.

Claims reaching it transitively (2)

LIB2-108, LIB2-109

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