Premises · PRM-033

Propagation interface (the R_d ladder read as propagation eigenstates)

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

conditional on the Rd ladder, Paper 2 §3, and on its identification with the propagation eigenstates, an interface that is undeclared (Rev32.2)
Register entry (R84, R84-h, S328). This row was registered by the PI’s ruling. Registered by R84-h (R-27). The suite prints this identification as undeclared (P5:60, :148, :263). Registering it records that the corpus uses it; it does not declare it on the suite’s behalf. Kind LOADED_CORRESPONDENCE: an identification of an algebraic ladder with physical states (as PRM-012).

Provenance

kindLOADED_CORRESPONDENCE
sourcethe sealed suite, PDF p.83 (search that part for “===== PDF PAGE 83 /”) · the sealed PDF
basisRev33.1_S369 · PDF sha b64ddcd9e16a6dcd…
statement qualityEXTRACTION_VERBATIM — the sealed PDF’s text extraction at the locator, cut to the premise by the house (R81)
review stateDRAFTED — not adjudicated by the house
first seenS328 · 2026-09-11T18:13Z

Claims declared to rest on this premise (1)

recordtitlewhy the house declared it
LIB2-060The solar-angle readout is conditional on ordering and the pHouse declaration under R84-h (R-27): S312 holds list: propagation interface seen in LIB2-060. — House reading: The record's hypotheses include "Its identification with propagation eigenstates is an undeclared interface", and its statement names the "propagation-interface premises". The physical solar-angle attachment (its domain) holds only under that identification. CONDITIONAL.

Claims reaching it transitively (4)

LIB2-060, LIB2-063, LIB2-065, LIB2-067

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