Premises · PRM-002
Split Jordan carrier J3(O_s) (indefinite trace form)
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 raw split algebra J3 (Os ) has signature (15, 12) (indefinite, not formally real), decomposing as (3, 0)diag ⊕ 3 × (4, 4)off-diag .
Register corrected (R81, D1, S327j). The PI ruled a correction to this row. Until then it read: name Split Jordan carrier; primary source a different locator. Nothing is overwritten (R29): the earlier row is kept in the register’s history.
Provenance
| kind | ADOPTED_PREMISE |
|---|---|
| source | the sealed suite, PDF p.247 (search that part for “===== PDF PAGE 247 /”) · 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 (1)
| record | title | why the house declared it |
|---|---|---|
| LIB2-105 | The stated split-G2 involution family yields no positive equ | R98 (PI, S334), completing R95. Use SU-6c9c1541b6a7d62c34b89813 quotes "computed in the split real form and inherit the real-form declaration of Appendix X: signatures in this family are a consequence of a declared input, not an intrinsic feature". BOTH LANES returned NEITHER (D1309/D1310) and were right: not evidence for the predicate, but the premise it rests on. PRM-002 states J3(Os) has signature (15,12), indefinite and not formally real — the declaration those signatures inherit. PRM-011 (compact colour real form, alpha, Appendix N) REJECTED: different object; LIB2-108 rests on it. NOT VERIFIED, recorded not asserted: (1) that PRM-002's page is literally Appendix X — no appendix header on it, so this rests on a subject-matter match, not a located passage; (2) PRM-002 is DRAFTED and had no record resting on it — this is its first edge. |
Claims reaching it transitively (1)
LIB2-105
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