One record per semantic claim, comparator row, retired statement or open problem, every label as printed in the suite of record (Rev33.1_S369 (PDF sha256 b64ddcd9e16a6dcd…)), 336 of 357 records carry a suite quote and every one of those is machine-checked against its PDF page — the other 21 declare none and say so; every number carries its digit source. Generated from one canonical file (library_v2.jsonl, sha256 01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033); the March library (v1) and the index that used to stand at the site’s Library tab are frozen in the Pasture (the archived March index; the Library tab itself is under construction by PI ruling S313); the 68 RETIRED records below are also listed there as the Retired Claims pen.
| records built (accepted at parse) | 357 |
|---|---|
| of which CLAIM / COMPARATOR / RETIRED / OPEN / dispositions (NOT_AN_ENTRY) | 202 / 30 / 68 / 19 / 38 |
| records blocked at parse (reasons) | 0 |
| frozen candidates covered by an accepted record | 208 / 208 |
| review state | IN_REVIEW 77, PUBLISHED 280 |
| adjudicated by the house (internal) | 280 of 357. This is an internal decision by this programme about its own records. |
| reviewed outside this programme | 0. No record here has been peer-reviewed, and nothing has been published outside this programme. These are two different questions and this table keeps them apart. |
The suite carries a mathematical status (Proved · Certified · Structural · Input · Historical) and an orthogonal physical attachment (Derived-attachment · Conditional-readout · Loaded-correspondence · Fitted · External-input) — suite p.8; the scorecard prints a tier word per row. Each record shows all three as printed at its locator; the house converts nothing (Certified is not Theorem, Input is not Axiom). The table below is the co-occurrence of the printed labels in this build — data, not a mapping rule; the suite's own crosswalk is queued (REV32.9_PENDING S304.5).
| math status (as printed) | attachment (as printed) | scorecard tier word (as printed) | records |
|---|---|---|---|
| NOT_PRINTED | NOT_PRINTED | none printed | 204 |
| Structural | NOT_PRINTED | Structural | 6 |
| NOT_PRINTED | NOT_PRINTED | Derived-conditional | 3 |
| NOT_PRINTED | NOT_PRINTED | Loaded | 3 |
| Proved | NOT_PRINTED | none printed | 3 |
| Input | NOT_PRINTED | none printed | 2 |
| Structural | Loaded-correspondence | none printed | 2 |
| Structural | NOT_PRINTED | none printed | 2 |
| Certified | NOT_PRINTED | none printed | 1 |
| NOT_PRINTED | Loaded-correspondence | none printed | 1 |
| NOT_PRINTED | NOT_PRINTED | Coincidence-class | 1 |
| NOT_PRINTED | NOT_PRINTED | REFUTED | 1 |
| Structural | Loaded-correspondence | Loaded-correspondence | 1 |
| id | class | title | math status / attachment / tier word (as printed) | hub | review |
|---|---|---|---|---|---|
| LIB2-001 | CLAIM | Route-B admissible-gap classification | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-002 | CLAIM | Physical atmospheric registration of the internal 7/16 mismatch | NOT_PRINTED / Loaded-correspondence / none | H04 | PUBLISHED |
| LIB2-003 | COMPARATOR | SL-25: NuFIT 6.1 lower-octant atmospheric comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-004 | RETIRED | Retired house atmospheric assertion: sin²θ₂₃ = 4/7 | — / — / none | H09 | PUBLISHED |
| LIB2-005 | OPEN | Joint basepoint and microscopic observation-map construction | NOT_PRINTED / NOT_PRINTED / none | H10 | IN_REVIEW |
| LIB2-006 | CLAIM | The registered symplectic exceptional substrate | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-007 | CLAIM | The identity-anchored complementary scalar sector | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-008 | CLAIM | The Jordan-visible scalar plane fails the Lie-triple criterion | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-009 | CLAIM | The complementary tangent plane closes as a Lie-triple system | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-010 | CLAIM | The algebra generated by the complementary tangent plane | NOT_PRINTED / NOT_PRINTED / none | H01 | IN_REVIEW |
| LIB2-011 | CLAIM | The cubic Jordan slice is a Lagrangian boundary of the FTS | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-012 | CLAIM | The Albert-to-shell polarized-cubic solder | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-013 | CLAIM | Local positive paired-shell polarization at the transported point | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-014 | CLAIM | The active braid carrier consists of twelve Clifford-module copies | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-015 | CLAIM | The golden braid-word square root on the frozen carrier | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-016 | CLAIM | The physical-vector ten and selector ten are isomorphic modules | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-017 | CLAIM | The boundary and selector tens have no equivariant linear intertwiner | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-018 | CLAIM | DET-7 is a structural postulate in the algebraic selector | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-019 | CLAIM | Route A selects the positive golden spectrum under its stated hypotheses | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-020 | CLAIM | Route B selects the positive golden-unit triple under DET-7 | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-021 | CLAIM | The finite loaded-profile parent action has its stated stable minimum | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-022 | CLAIM | The finite selector closure retains the stated boundary and coupling price | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-023 | CLAIM | The grammar detector selects the dark ray | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-024 | CLAIM | The selector law and clock commutator share one structure constant | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-025 | CLAIM | The loaded-plane defect algebra determines the selector eigenspaces | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-026 | CLAIM | A rank-character action represents the selector Hessian | Certified / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-027 | CLAIM | The declared action-completion class retains nonlinear-shape freedom | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-028 | CLAIM | The action-shape principle is adopted rather than intrinsically selected | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-029 | CLAIM | The conditional selector for occupied golden mass-ladder rungs | NOT_PRINTED / NOT_PRINTED / Derived-conditional | H02 | PUBLISHED |
| LIB2-030 | CLAIM | Target-triviality is forced in the minimal H2 class | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-031 | CLAIM | The minimal H2 rank and coefficient price are predeclared | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-032 | CLAIM | The frozen H2 conditions do not select the coefficient map | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-033 | CLAIM | The banked refined-condition inventory does not select Φdiag | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-034 | CLAIM | Casimir-naturality excludes the adopted action-shape target | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-035 | CLAIM | The banked non-degenerate stability conditions leave an interior | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-036 | CLAIM | An action depending only on the registered Gram map cannot select a coset point | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-037 | CLAIM | The declared frame-free invariant class has no nonzero dark response | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-038 | CLAIM | The transported selector consumes a source without selecting its ray | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-039 | CLAIM | A fixed-grade cubic/current law cannot detect both dark directions | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-040 | CLAIM | An RB-even action cannot select the horizontal-orbit sign | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-041 | CLAIM | A frame-free invariant does not select the ordered Peirce frame | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-042 | CLAIM | A norm-only action leaves the regular norm-level directions flat | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-043 | CLAIM | Unshifted quadratic Kempf–Ness potentials fail the selector-rank test | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-044 | CLAIM | A beat-invariant potential in the declared KN class cannot isolate the dark ray | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-045 | CLAIM | The braid/trace grammar cannot select the boundary source datum | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-046 | CLAIM | The golden spectrum obeys the reciprocal-square identity | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-047 | CLAIM | The working golden vacuum has unit Jordan determinant | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-048 | CLAIM | The selected Jordan vacuum pair has Gram determinant seven | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-049 | CLAIM | The octonion-dimension to Jordan-rank ratio is an internal identity | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-050 | CLAIM | The Peirce first-row weight factors into trace and generation normalizations | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-051 | CLAIM | The registered half-weight generator has fixed octonionic coefficient | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-052 | CLAIM | The fixed Peirce sector has the registered unique invariant generator | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-053 | CLAIM | Frobenius compatibility fixes the finite trace ratio | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-054 | CLAIM | The finite tick has an additive mirror-reversing grading | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-055 | CLAIM | The finite carrier fails the cylinder-condition count | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-056 | CLAIM | The selected winding symmetry model has one scale class | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-057 | CLAIM | The retained PSL class-algebra coefficients | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-058 | CLAIM | The cubic scaling model has a constant homogeneity derivative | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-059 | CLAIM | The cubic coupling is relevant by the stated power count | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-060 | CLAIM | The solar-angle readout is conditional on ordering and the propagation interface | NOT_PRINTED / NOT_PRINTED / Derived-conditional | H04 | PUBLISHED |
| LIB2-061 | CLAIM | The reactor-angle formula retains an unforced round-trip readout | Structural / NOT_PRINTED / Structural | H04 | PUBLISHED |
| LIB2-062 | CLAIM | The leptonic Dirac-phase readout remains conditional | NOT_PRINTED / NOT_PRINTED / Derived-conditional | H04 | IN_REVIEW |
| LIB2-063 | CLAIM | The framework-angle Route-B readout gives the corrected Cabibbo value | NOT_PRINTED / NOT_PRINTED / Loaded | H04 | PUBLISHED |
| LIB2-064 | CLAIM | The measured-angle Cabibbo diagnostic is a different readout object | NOT_PRINTED / NOT_PRINTED / none | H04 | IN_REVIEW |
| LIB2-065 | CLAIM | The loaded first row determines its displayed Vud magnitude | NOT_PRINTED / NOT_PRINTED / Loaded | H04 | PUBLISHED |
| LIB2-066 | CLAIM | The Vcb formula retains its loaded physical attachment | Structural / Loaded-correspondence / Loaded-correspondence | H04 | PUBLISHED |
| LIB2-067 | CLAIM | The Vub hierarchy relation inherits the loaded Route-B chain | NOT_PRINTED / NOT_PRINTED / Loaded | H04 | PUBLISHED |
| LIB2-068 | CLAIM | The retained CKM-phase construction remains coincidence-class | NOT_PRINTED / NOT_PRINTED / Coincidence-class | H04 | PUBLISHED |
| LIB2-069 | CLAIM | The retained CKM numeral has the printed global-phase comparison | NOT_PRINTED / NOT_PRINTED / none | H04 | PUBLISHED |
| LIB2-070 | CLAIM | The retained CKM numeral has a distinct direct-angle comparison | NOT_PRINTED / NOT_PRINTED / none | H04 | PUBLISHED |
| LIB2-071 | CLAIM | CKM unitarity holds by construction in the chosen parametrisation | NOT_PRINTED / NOT_PRINTED / none | H04 | PUBLISHED |
| LIB2-072 | CLAIM | The two CKM beta readouts remain internally inconsistent | NOT_PRINTED / NOT_PRINTED / none | H04 | PUBLISHED |
| LIB2-073 | CLAIM | The first-row weight is not a universal Peirce-block functor | NOT_PRINTED / NOT_PRINTED / none | H04 | PUBLISHED |
| LIB2-074 | CLAIM | PMNS unitarity is exact within its standard-form construction | Proved / NOT_PRINTED / none | H04 | PUBLISHED |
| LIB2-075 | CLAIM | The uncorrected golden argument is closer on both named CKM comparisons | NOT_PRINTED / NOT_PRINTED / none | H04 | IN_REVIEW |
| LIB2-076 | CLAIM | The enumerated compact embeddings fail the simultaneous-adjoint test | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-077 | CLAIM | The unitary matter-colour class has no image-compatible adjoint | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-078 | CLAIM | The frame-free real 56 has no invariant rank-one Higgs projector | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-079 | CLAIM | The scanned dyonic completion hosts a classical algebra-type shadow | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-080 | CLAIM | The shadow family cannot reproduce the registered matter multiset | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-081 | CLAIM | The compact-completion result is conditional and enumeration-bounded | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-082 | CLAIM | The extra compact Cartan is the B−L charge direction | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-083 | CLAIM | The loaded local matter action has a correlated Z6 kernel | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-084 | CLAIM | The mirror ladder reproduces an NS/R parity pattern, not a spin structure | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-085 | CLAIM | The finite signatures require an internal structure or its equivalent proxy | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-086 | CLAIM | The reflected cone metric is colour-blind at tree level within each Peirce sector | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-087 | CLAIM | Schur block structure does not force a zero triplet eigenvalue | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-088 | CLAIM | Generic cross-block Yukawa loops are not yet covered by an Artin generator census | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-089 | CLAIM | The physical-to-boundary quadratic bridge space is one-dimensional | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-090 | CLAIM | The boundary-to-physical quadratic bridge space is two-dimensional | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-091 | CLAIM | The declared invariant-connection class cannot cancel the holonomy obstruction | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-092 | CLAIM | Near-137 golden formulas carry no selection evidence under the stated density test | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-093 | CLAIM | Golden-torus robustness does not select the coupling in the tested dissipative model | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-094 | CLAIM | A continuous Reynolds offset does not supply the discrete rung selector | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-095 | CLAIM | The registered radial vacuum-decay route supplies no scale for alpha | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-096 | CLAIM | The available compact part is too small for compact colour | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-097 | CLAIM | The tested translators do not extract a common line per clock weight | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-098 | CLAIM | The bare Freudenthal carrier does not select the electroweak framing package | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-099 | CLAIM | The orphan-doublet ruling is class-relative and the finite subgate is not the full row | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-100 | CLAIM | The registered octant construction does not exclude the mirror registration | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-101 | CLAIM | The registered ladder and phase census contains no selected complex rung ratio | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-102 | CLAIM | The registered Jordan-scaling centralizer has the printed dimension and signature | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-103 | CLAIM | The registered grading centralizer has the printed dimension and signature | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-104 | CLAIM | The bare quartic is not stationary at the registered golden boundary point | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-105 | CLAIM | The stated split-G2 involution family yields no positive equivariant polarization | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-106 | CLAIM | The exact single-chi additive ratio completion fails on the registered support | NOT_PRINTED / NOT_PRINTED / REFUTED | H05 | PUBLISHED |
| LIB2-107 | CLAIM | The signed metric-weighted residue cannot supply the positive seven count | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-108 | CLAIM | The explicit B-map fixes a loaded one-generation field dictionary | Proved / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-109 | CLAIM | The loaded one-generation dictionary cancels the stated anomalies | Proved / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-110 | CLAIM | The loaded split-octonion cubic has a nonzero invariant trilinear | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-111 | CLAIM | The loaded hypercharge projection gives the four Yukawa tensors | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-112 | CLAIM | Exactly half of the raw trilinear norm lies in forbidden mirror sectors | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-113 | CLAIM | Reynolds preservation of the registered raw coefficient ray | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-114 | CLAIM | The registered compensator candidates do not produce the hierarchy | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-115 | CLAIM | The unrestricted residue map can reproduce any positive Yukawa quartet | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-116 | CLAIM | The displayed one-loop trajectory produces only an order-one spread | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-117 | CLAIM | The edge-uniform parent metric has zero relative Yukawa rank | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-118 | CLAIM | The banked parent does not determine the within-generation hierarchy | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-119 | CLAIM | The same-block Peirce contraction extracts the unit middle weight | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-120 | CLAIM | W01 declares the Planck-scale top-Yukawa attachment | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-121 | CLAIM | The top tree estimate retains a status-ineligible cross-scheme offset | Structural / NOT_PRINTED / Structural | H06 | PUBLISHED |
| LIB2-122 | CLAIM | The muon-to-tau formula is a loaded reproduced ratio | Structural / Loaded-correspondence / none | H06 | PUBLISHED |
| LIB2-123 | CLAIM | The muon-ratio residual is the multiplicative coefficient gap | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-124 | CLAIM | The mass-formula chains retain three named dimensional anchors | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-125 | CLAIM | The tau-anchored muon tree estimate inherits the loaded ratio | Structural / Loaded-correspondence / none | H06 | PUBLISHED |
| LIB2-126 | CLAIM | The separate QED matching step gives the displayed physical muon mass | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-127 | CLAIM | The electron value is the light Koide root under an external empirical rule | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-128 | CLAIM | The light-quark constituent proxy uses the fitted hadronic anchor | Structural / NOT_PRINTED / Structural | H06 | PUBLISHED |
| LIB2-129 | CLAIM | The strange constituent proxy carries the printed Casimir modifier | Structural / NOT_PRINTED / Structural | H06 | PUBLISHED |
| LIB2-130 | CLAIM | The bottom bridge retains its tau anchor and cross-scheme offset | Structural / NOT_PRINTED / Structural | H06 | PUBLISHED |
| LIB2-131 | CLAIM | The charm bridge remains constituent-anchored and cross-scheme | Structural / NOT_PRINTED / Structural | H06 | PUBLISHED |
| LIB2-132 | CLAIM | The tested untuned running and matching readings do not remove the heavy-quark offsets | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-133 | CLAIM | The outer-mirror charged-lepton fit consumes two free gaps | Input / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-134 | CLAIM | The literal Jordan-adjoint neutrino mass reading fails its splitting-ratio test | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-135 | CLAIM | The spectral-gap model imposes its self-consistency through the lifted cone trace | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-136 | CLAIM | The baryonic cubic channel is distinct from the cancelled quadratic channel | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-137 | CLAIM | The cone expansion uses a spectral background rather than stationarity of the cubic | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-138 | CLAIM | The compact two-scale Gram class excludes its previously priced half-ratio | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-139 | CLAIM | The declared top-Yukawa boundary has a separately reported running value | NOT_PRINTED / NOT_PRINTED / none | H06 | PUBLISHED |
| LIB2-140 | CLAIM | The selected neutrino rung is a below-floor edge target, not a mass relation | Structural / NOT_PRINTED / none | H07 | IN_REVIEW |
| LIB2-141 | CLAIM | The neutrino depth assignment is post-hoc and receives no blind credit | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-142 | CLAIM | The lightest-mass boundary has mass-sum and beta-decay corollaries | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-143 | CLAIM | The exhibited winding-to-Fibonacci functor defines the finite cluster image | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-144 | CLAIM | The cluster-ledger interface is the declared weight-to-energy map | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-145 | CLAIM | The small-nucleus kernel is triangularly saturated | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-146 | CLAIM | The closed alpha-cell typing gives the A = 5 gap | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-147 | CLAIM | The two-alpha typing gives a negative first correction at A = 8 | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-148 | CLAIM | The composition ladder is a finite trace invariant | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-149 | CLAIM | The residual-circulation weights obey the printed piecewise rule | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-150 | CLAIM | The suite reports a sealed pentagon-weight match | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-151 | CLAIM | The suite reports a sealed ninth-weight match | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-152 | CLAIM | The Hoyle excitation passes the source's frozen bar | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-153 | CLAIM | The freeze-state ledger records sharp passes and a separately typed obstruction | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-154 | CLAIM | The silicon residual passed its original bar and took the typed-obstruction branch | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-155 | CLAIM | The charge-magnitude ledger retains two exposed proton-separation defects | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-156 | CLAIM | The direct Markov-second-moment repair has the wrong sign | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-157 | CLAIM | The connected second moment does not switch off at the later cells | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-158 | CLAIM | The tested perturbative annular attachment does not explain the deficit window | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-159 | CLAIM | The separate silicon readout remains a three-way fork | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-160 | CLAIM | The fixed-Z isospin coefficient is selected rather than derived | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-161 | CLAIM | The registered up–down operation is a parity, not a derived isospin action | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-162 | CLAIM | The registered breathing weight is mirror-even and charge-blind | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-163 | CLAIM | The separation-energy rule uses the refined daughter ledger | NOT_PRINTED / NOT_PRINTED / none | H07 | IN_REVIEW |
| LIB2-164 | CLAIM | The draft glueball pair falls in the two printed frozen bands | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-165 | CLAIM | The finite Gaussian OS subgate is reported as a conditional checkpoint | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-166 | CLAIM | The toy resolvent remains a finite conditional checkpoint | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-167 | CLAIM | The motivated clock seed is extra structure, not an energy order of tensor layers | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-168 | CLAIM | The trace-built MacDowell–Mansouri action is a signature-sector candidate | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-169 | CLAIM | The Euclidean MM/EH action has the stated conformal instability | NOT_PRINTED / NOT_PRINTED / none | H07 | IN_REVIEW |
| LIB2-170 | CLAIM | A reflection-positive Cartan state exists at finite regulator | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-171 | CLAIM | The pure MacDowell–Mansouri quadratic form is not a positive covariance | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-172 | CLAIM | The positive completion cone has a strict coefficient domain | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-173 | CLAIM | The ordered state pair supplies the additive relative modular score | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-174 | CLAIM | The record-quotient observation composite is unique under its seven premises | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-175 | CLAIM | The supported MOS quotient has rank three and relative rank two | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-176 | CLAIM | History, character and boundary record are one registered record type | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-177 | CLAIM | The realized history is sample data rather than a value selected by its law | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-178 | CLAIM | The locked basepoint census has no qualifying intrinsic datum | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-179 | CLAIM | The registered stabilizer has no nonzero invariant odd covector | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-180 | CLAIM | The transported A689 grading has trivial rather than alternating character | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-181 | CLAIM | The local covariant odd response is one orbit with an unselected torsor | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-182 | CLAIM | The MOS channel family permits a range of odd-response amplitudes | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-183 | CLAIM | The reversal-covariant score solder bounds the product response | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-184 | CLAIM | The registered normalization census contains no forcing row | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-185 | CLAIM | The rank-two support certificate excludes a rank-five extension at the MOS tier | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-186 | CLAIM | The unit grade-four response is a declared premise | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-187 | CLAIM | The unadopted response alternatives retain distinct meanings | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-188 | CLAIM | The registered free quaternionic fermion determinant is non-negative | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-189 | CLAIM | The anisotropic heat-kernel family has nonlinear OS positivity in its cone | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-190 | CLAIM | No positive path in the declared heat-kernel family reaches pure MM/EH | NOT_PRINTED / NOT_PRINTED / none | H07 | IN_REVIEW |
| LIB2-191 | CLAIM | The stated bivector simplicity condition cannot be imposed by a linear projector | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-192 | CLAIM | A soft positive simplicity weight exists at finite regulator | NOT_PRINTED / NOT_PRINTED / none | H07 | IN_REVIEW |
| LIB2-193 | CLAIM | The registered Clifford construction has a one-particle bare gap | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-194 | CLAIM | The frozen Clifford law makes every registered carrier-map Gram isotropic | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-195 | CLAIM | The frozen symplectic braid representation has a nonscalar centre | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-196 | CLAIM | The specified classical vacuum spectrum is reproduced by CSS charge sums | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-197 | CLAIM | The positive congruence dressing stays inside the registered E7 group | NOT_PRINTED / NOT_PRINTED / none | H01 | PUBLISHED |
| LIB2-198 | CLAIM | The MRSS Higgs parity is unique only under the loaded scalar spectrum | NOT_PRINTED / NOT_PRINTED / none | H05 | PUBLISHED |
| LIB2-199 | CLAIM | The weak-angle value remains a structural target on a scheme-dependent curve | Structural / NOT_PRINTED / none | H04 | PUBLISHED |
| LIB2-200 | CLAIM | The AX6 polarization postulate gives its readout without selecting itself | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-201 | CLAIM | The parked moment model records a traversal with sixty winding ticks | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-202 | CLAIM | The specified constant set cannot supply a duration in seconds | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-203 | CLAIM | The parked Gogberashvili splice imports an external time axis | NOT_PRINTED / NOT_PRINTED / none | H07 | PUBLISHED |
| LIB2-204 | COMPARATOR | SL-01: NuFIT solar mass-squared splitting comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-205 | COMPARATOR | SL-02: NuFIT atmospheric splitting with SK-ATM | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-206 | COMPARATOR | SL-03: NuFIT atmospheric splitting without SK-ATM | — / — / none | H08 | IN_REVIEW |
| LIB2-207 | COMPARATOR | SL-04: DESI baseline neutrino-mass-sum upper bound | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-208 | COMPARATOR | SL-05: DESI Feldman–Cousins neutrino-mass-sum upper bound | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-209 | COMPARATOR | SL-06: MS-bar weak-angle comparator at the Z scale | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-210 | COMPARATOR | SL-07: MS-bar strange Yukawa comparator | — / — / none | H08 | IN_REVIEW |
| LIB2-211 | COMPARATOR | SL-08: MS-bar bottom Yukawa comparator | — / — / none | H08 | IN_REVIEW |
| LIB2-212 | COMPARATOR | SL-09: Global-fit CKM Dirac phase in radians | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-213 | COMPARATOR | SL-10: Global-fit Jarlskog invariant comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-214 | COMPARATOR | SL-11: First-row Cabibbo-magnitude comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-215 | COMPARATOR | SL-12: Retained PDG |Vub| comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-216 | COMPARATOR | SL-13: Retained PDG |Vcb| comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-217 | COMPARATOR | SL-14: First-row |Vud| comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-218 | COMPARATOR | SL-15: MS-bar charm mass at its self-scale | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-219 | COMPARATOR | SL-16: MS-bar bottom mass at its self-scale | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-220 | COMPARATOR | SL-17: Direct/MC top-mass comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-221 | COMPARATOR | SL-18: Measured tau-mass anchor | Input / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-222 | COMPARATOR | SL-19: Global-fit CKM Dirac phase in degrees | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-223 | COMPARATOR | SL-20: Direct unitarity-triangle angle comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-224 | COMPARATOR | SL-21: On-shell weak-angle comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-225 | COMPARATOR | SL-22: Effective-leptonic weak-angle comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-226 | COMPARATOR | SL-23: NuFIT squared-sine reactor-angle comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-227 | COMPARATOR | SL-24: NuFIT solar angle in degrees | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-228 | COMPARATOR | SL-26: NuFIT reactor angle in degrees | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-229 | COMPARATOR | SL-27: House-computed candidate coefficient diagnostic | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-230 | COMPARATOR | SL-28: Historical PDG |Vcb| comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-231 | COMPARATOR | SL-29: Historical PDG |Vub| comparator | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-232 | COMPARATOR | SL-30: Global-fit Jarlskog comparator in the printed scaled units | NOT_PRINTED / NOT_PRINTED / none | H08 | PUBLISHED |
| LIB2-233 | RETIRED | Retired blanket zero-parameter observable headline | — / — / none | H09 | PUBLISHED |
| LIB2-234 | RETIRED | Retired 20/20 Standard-Model completion headline | — / — / none | H09 | PUBLISHED |
| LIB2-235 | RETIRED | Superseded three-of-eight mixing tally and pending atmospheric hold | — / — / none | H09 | PUBLISHED |
| LIB2-236 | RETIRED | Retired Wyler bounded-domain derivation of alpha | — / — / none | H09 | PUBLISHED |
| LIB2-237 | RETIRED | Retired exact-framework Cabibbo correction 0.225247 | — / — / none | H09 | PUBLISHED |
| LIB2-238 | RETIRED | Superseded rounded-angle Cabibbo value as the canonical readout | — / — / none | H09 | PUBLISHED |
| LIB2-239 | RETIRED | Deprecated house Cabibbo-comparator route | — / — / none | H09 | PUBLISHED |
| LIB2-240 | RETIRED | Retired Shilov atmospheric-angle derivation | — / — / none | H09 | PUBLISHED |
| LIB2-241 | RETIRED | Retired claim that the chirality interface selected the atmospheric octant | — / — / none | H09 | PUBLISHED |
| LIB2-242 | RETIRED | Superseded trimaximal cosine-phase correction apparatus | — / — / none | H09 | IN_REVIEW |
| LIB2-243 | RETIRED | Superseded trimaximal condition and rho-modulus apparatus | — / — / none | H09 | IN_REVIEW |
| LIB2-244 | RETIRED | Superseded hybrid leptonic-phase formula | — / — / none | H09 | IN_REVIEW |
| LIB2-245 | RETIRED | Retired physical use of the PSL class-algebra sign argument | — / — / none | H09 | IN_REVIEW |
| LIB2-246 | RETIRED | Retired legacy baryon-to-meson mass ratio | — / — / none | H09 | PUBLISHED |
| LIB2-247 | RETIRED | Withdrawn proof and zero-parameter status of the muon-to-tau ratio | — / — / none | H09 | PUBLISHED |
| LIB2-248 | RETIRED | Withdrawn universal two-parameter mass-completion no-go | — / — / none | H09 | PUBLISHED |
| LIB2-249 | RETIRED | Retired Det-squared selection of the polarization postulate | — / — / none | H09 | PUBLISHED |
| LIB2-250 | RETIRED | Withdrawn Schur-only proof of vanishing triplet masses | — / — / none | H09 | PUBLISHED |
| LIB2-251 | RETIRED | Scoped withdrawal of blanket Artin protection for Yukawa loops | — / — / none | H09 | PUBLISHED |
| LIB2-252 | RETIRED | Withdrawn canonical reactor half-angle from the moment law | — / — / none | H09 | PUBLISHED |
| LIB2-253 | RETIRED | Retired structural derivation rating of the CKM phase construction | — / — / none | H09 | PUBLISHED |
| LIB2-254 | RETIRED | Withdrawn universal claim that inequality conditions cannot reduce dimension | — / — / none | H09 | PUBLISHED |
| LIB2-255 | RETIRED | Retired use of one operator name for Wick chart and shell reversal | — / — / none | H09 | PUBLISHED |
| LIB2-256 | RETIRED | Superseded nontrivial bundle reading of the signature sheets | — / — / none | H09 | PUBLISHED |
| LIB2-257 | RETIRED | Retired one-bit accounting of distinct gluing and observation structures | — / — / none | H09 | PUBLISHED |
| LIB2-258 | RETIRED | Retired finite-sign chamber-lift price computed on the wrong carrier | — / — / none | H09 | PUBLISHED |
| LIB2-259 | RETIRED | Withdrawn aggregate bit-and-dimension freedom headline | — / — / none | H09 | PUBLISHED |
| LIB2-260 | RETIRED | Retired microscopic selector-deriving status of the earlier parent action | — / — / none | H09 | PUBLISHED |
| LIB2-261 | RETIRED | Retired independent-channel source doorway | — / — / none | H09 | PUBLISHED |
| LIB2-262 | RETIRED | Withdrawn unconditional action preference for the root line | — / — / none | H09 | PUBLISHED |
| LIB2-263 | RETIRED | Retired depth-exclusion inference from commuting charge and mass | — / — / none | H09 | PUBLISHED |
| LIB2-264 | RETIRED | Withdrawn claim that the promotion functional was constructed and run | — / — / none | H09 | PUBLISHED |
| LIB2-265 | RETIRED | Superseded Wyler-baseline route for the muon mass | — / — / none | H09 | PUBLISHED |
| LIB2-266 | RETIRED | Superseded electromagnetic-power Wyler formula for the muon | — / — / none | H09 | PUBLISHED |
| LIB2-267 | RETIRED | Superseded sub-Wyler route for the electron mass | — / — / none | H09 | PUBLISHED |
| LIB2-268 | RETIRED | Superseded extended-Wyler route for the tau mass | — / — / none | H09 | PUBLISHED |
| LIB2-269 | RETIRED | Superseded Peirce-cylinder proposal for the tau mass | — / — / none | H09 | PUBLISHED |
| LIB2-270 | RETIRED | Superseded D-tower formula for the bottom mass | — / — / none | H09 | PUBLISHED |
| LIB2-271 | RETIRED | Superseded pi-weighted prefactor formula for the bottom mass | — / — / none | H09 | PUBLISHED |
| LIB2-272 | RETIRED | Superseded cylinder-prefactor proof prompt for the bottom mass | — / — / none | H09 | PUBLISHED |
| LIB2-273 | RETIRED | Superseded D-tower formula for the charm mass | — / — / none | H09 | PUBLISHED |
| LIB2-274 | RETIRED | Superseded triality log-geometric-mean charm formula | — / — / none | H09 | PUBLISHED |
| LIB2-275 | RETIRED | Superseded cubic-to-tower triality bridge for the charm mass | — / — / none | H09 | PUBLISHED |
| LIB2-276 | RETIRED | Superseded resummed-electromagnetic charm formula | — / — / none | H09 | PUBLISHED |
| LIB2-277 | RETIRED | Superseded early cubic-phase ansatz for the leptonic Dirac phase | — / — / none | H09 | IN_REVIEW |
| LIB2-278 | RETIRED | Superseded imaginary-correction prompt for the leptonic phase | — / — / none | H09 | IN_REVIEW |
| LIB2-279 | RETIRED | Superseded determinant-imaginary-part route for the full leptonic phase | — / — / none | H09 | IN_REVIEW |
| LIB2-280 | RETIRED | Superseded sum-rule and torsion-corrected reactor route to the leptonic phase | — / — / none | H09 | IN_REVIEW |
| LIB2-281 | RETIRED | Superseded cylinder formula for the reactor angle | — / — / none | H09 | PUBLISHED |
| LIB2-282 | RETIRED | Superseded torsion-corrected cylinder formula for the reactor angle | — / — / none | H09 | PUBLISHED |
| LIB2-283 | RETIRED | Superseded torsion-corrected PMNS angle scheme | — / — / none | H09 | PUBLISHED |
| LIB2-284 | RETIRED | Superseded Shilov-circle correction prompt for the atmospheric angle | — / — / none | H09 | PUBLISHED |
| LIB2-285 | RETIRED | Superseded Peirce golden-power assignment for two CKM magnitudes | — / — / none | H09 | PUBLISHED |
| LIB2-286 | RETIRED | Superseded additive correction prompt for Vcb | — / — / none | H09 | PUBLISHED |
| LIB2-287 | RETIRED | Superseded golden-power ratio of CKM hierarchy magnitudes | — / — / none | H09 | PUBLISHED |
| LIB2-288 | RETIRED | Superseded Cabibbo-squared formula for Vcb | — / — / none | H09 | PUBLISHED |
| LIB2-289 | RETIRED | Superseded reciprocal weak-angle proposal | — / — / none | H09 | PUBLISHED |
| LIB2-290 | RETIRED | Superseded logarithmic loop-correction prompt for the weak angle | — / — / none | H09 | PUBLISHED |
| LIB2-291 | RETIRED | Superseded cylinder-running proof prompt for the weak angle | — / — / none | H09 | PUBLISHED |
| LIB2-292 | RETIRED | Superseded electromagnetic-subtraction formula for the weak angle | — / — / none | H09 | PUBLISHED |
| LIB2-293 | RETIRED | Superseded QLC-plus-cylinder correction for the Cabibbo angle | — / — / none | H09 | PUBLISHED |
| LIB2-294 | RETIRED | Superseded torsion-corrected Cabibbo–Weinberg formula | — / — / none | H09 | PUBLISHED |
| LIB2-295 | RETIRED | Superseded Cabibbo–Weinberg residual identity as a physical target | — / — / none | H09 | PUBLISHED |
| LIB2-296 | RETIRED | Superseded singular-vacuum premise of the protection-and-bounce chain | — / — / none | H09 | PUBLISHED |
| LIB2-297 | RETIRED | Retired compact-colour subgroup claim in the split-G2 real form | — / — / none | H09 | PUBLISHED |
| LIB2-298 | RETIRED | Withdrawn physical-generation implication of the triality carrier cycle | — / — / none | H09 | PUBLISHED |
| LIB2-299 | OPEN | Derive the anchor relations required by the physical one-input programme | — / — / none | H10 | IN_REVIEW |
| LIB2-300 | OPEN | Construct the missing continuum Yang–Mills functor | — / — / none | H10 | IN_REVIEW |
| LIB2-301 | OPEN | Test Einstein universality of the finite-regulator gravity construction | — / — / none | H10 | IN_REVIEW |
| LIB2-302 | OPEN | Construct the normalized physical mass-response map | — / — / none | H10 | IN_REVIEW |
| LIB2-303 | OPEN | Construct the packing or coordination explanation of the deficit window | — / — / none | H10 | IN_REVIEW |
| LIB2-304 | OPEN | Derive the configuration-dependent charge-magnitude mechanism | — / — / none | H10 | IN_REVIEW |
| LIB2-305 | OPEN | Supply the missing QCD flip energy in the neutron–proton splitting | — / — / none | H10 | IN_REVIEW |
| LIB2-306 | OPEN | Resolve the parent breathing-mode accounting | — / — / none | H10 | IN_REVIEW |
| LIB2-307 | OPEN | Construct the interacting chiral determinant-line trivialization | — / — / none | H10 | IN_REVIEW |
| LIB2-308 | OPEN | Derive the sign that selects the atmospheric-octant registration | — / — / none | H10 | IN_REVIEW |
| LIB2-309 | OPEN | Derive one source law for the real ladder step and compact phase | — / — / none | H10 | IN_REVIEW |
| LIB2-310 | OPEN | Derive the scheme-specific weak-angle matching bridge | — / — / none | H10 | IN_REVIEW |
| LIB2-311 | OPEN | Find a non-residue physical realization of the finite index normalization | — / — / none | H10 | IN_REVIEW |
| LIB2-312 | OPEN | Supply a scheme-matched physical comparison for the top tree estimate | — / — / none | H10 | IN_REVIEW |
| LIB2-313 | OPEN | Derive physical matching for the tau-anchored bottom bridge | — / — / none | H10 | IN_REVIEW |
| LIB2-314 | OPEN | Derive the constituent-to-running-mass bridge for charm | — / — / none | H10 | IN_REVIEW |
| LIB2-315 | OPEN | Force the reactor-angle readout rather than choose its normalization | — / — / none | H10 | IN_REVIEW |
| LIB2-316 | OPEN | Select the invariant required by the CKM-phase construction | — / — / none | H10 | IN_REVIEW |
| LIB2-317 | NOT_AN_ENTRY | Reference metadata for imported Standard-Model running constants | — / — / none | H00 | IN_REVIEW |
| LIB2-318 | NOT_AN_ENTRY | Source hold on the Track-2 gauge-completeness gates | — / — / none | H05 | IN_REVIEW |
| LIB2-319 | NOT_AN_ENTRY | Merge the generic measured-scale statements as input metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-320 | NOT_AN_ENTRY | Prospective publication-test policy is not a scientific result | — / — / none | H00 | IN_REVIEW |
| LIB2-321 | NOT_AN_ENTRY | Publication-evidence availability belongs in release metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-322 | NOT_AN_ENTRY | Taxonomy and validator descriptions are schema metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-323 | NOT_AN_ENTRY | Boundary-condition-family ruling is premise metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-324 | NOT_AN_ENTRY | SEL-27 declaration status is workflow metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-325 | NOT_AN_ENTRY | The basepoint subgroup symbol is a typed placeholder | — / — / none | H00 | IN_REVIEW |
| LIB2-326 | NOT_AN_ENTRY | Source inventory and resolver tools are provenance metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-327 | NOT_AN_ENTRY | The assumption-stack heading is programme-reference metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-328 | NOT_AN_ENTRY | Source hold on the integral cubic coordinate map | — / — / none | H01 | IN_REVIEW |
| LIB2-329 | NOT_AN_ENTRY | Source hold on the Peirce–compact chirality-plane obstruction | — / — / none | H05 | IN_REVIEW |
| LIB2-330 | NOT_AN_ENTRY | Source hold on the Cayley-plus-triality frame conversion | — / — / none | H01 | IN_REVIEW |
| LIB2-331 | NOT_AN_ENTRY | Source hold on the primitive integral Lagrangian halves | — / — / none | H01 | IN_REVIEW |
| LIB2-332 | NOT_AN_ENTRY | Source hold on the grading-homogeneous magnetic section | — / — / none | H01 | IN_REVIEW |
| LIB2-333 | NOT_AN_ENTRY | Source hold on the Roman–clock finite-inventory comparison | — / — / none | H05 | IN_REVIEW |
| LIB2-334 | NOT_AN_ENTRY | Roman–clock orientation-parity interface remains a proposal | — / — / none | H01 | IN_REVIEW |
| LIB2-335 | NOT_AN_ENTRY | Source hold on the two distinct Hessian-trace quantities | — / — / none | H07 | IN_REVIEW |
| LIB2-336 | NOT_AN_ENTRY | Source-equivalence hold on the AX2-elimination header | — / — / none | H02 | IN_REVIEW |
| LIB2-337 | NOT_AN_ENTRY | Source-equivalence hold on the Jordan-boundary selector header | — / — / none | H02 | IN_REVIEW |
| LIB2-338 | NOT_AN_ENTRY | Source hold on the forced AdS base-manifold seed | — / — / none | H07 | IN_REVIEW |
| LIB2-339 | NOT_AN_ENTRY | Source hold on the CKM channel CP decomposition | — / — / none | H04 | IN_REVIEW |
| LIB2-340 | NOT_AN_ENTRY | Source hold on the CKM mixed-parity statement | — / — / none | H04 | IN_REVIEW |
| LIB2-341 | NOT_AN_ENTRY | Source hold on the universal mass-cascade assertion | — / — / none | H06 | IN_REVIEW |
| LIB2-342 | NOT_AN_ENTRY | Charge/gauge provenance terminal is a source-backed overview | — / — / none | H00 | IN_REVIEW |
| LIB2-343 | NOT_AN_ENTRY | Source hold on the house electroweak-loop scale | — / — / none | H04 | IN_REVIEW |
| LIB2-344 | CLAIM | The generation-count forcing skeleton remains conditional | NOT_PRINTED / NOT_PRINTED / none | H02 | PUBLISHED |
| LIB2-345 | RETIRED | Superseded use of the first JUNO oscillation comparison | — / — / none | H09 | PUBLISHED |
| LIB2-346 | NOT_AN_ENTRY | Source hold on the Gate-B matter-functor construction | — / — / none | H05 | IN_REVIEW |
| LIB2-347 | NOT_AN_ENTRY | Source hold on the meson binding-ratio formula | — / — / none | H07 | IN_REVIEW |
| LIB2-348 | NOT_AN_ENTRY | Source hold on non-associativity as the source of hierarchy steepness | — / — / none | H06 | IN_REVIEW |
| LIB2-349 | NOT_AN_ENTRY | Source-equivalence hold on the octonionic democracy postulate | — / — / none | H02 | IN_REVIEW |
| LIB2-350 | NOT_AN_ENTRY | Peirce-block anti-error heading is reference metadata | — / — / none | H00 | IN_REVIEW |
| LIB2-351 | NOT_AN_ENTRY | Source hold on the earlier solar-angle obstruction | — / — / none | H04 | IN_REVIEW |
| LIB2-352 | NOT_AN_ENTRY | Source hold on the T-matrix versus propagator residue comparison | — / — / none | H07 | IN_REVIEW |
| LIB2-353 | NOT_AN_ENTRY | Source hold on the wall-contact operator and pairing-order map | — / — / none | H07 | IN_REVIEW |
| LIB2-354 | NOT_AN_ENTRY | Source hold on the indefinite partition-function divergence claim | — / — / none | H07 | IN_REVIEW |
| LIB2-355 | NOT_AN_ENTRY | The charge-clock-knot tower remains on a source hold, not retired | — / — / none | H07 | IN_REVIEW |
| LIB2-356 | CLAIM | The internal mismatch identity is distinct from atmospheric registration | NOT_PRINTED / NOT_PRINTED / none | H03 | PUBLISHED |
| LIB2-357 | NOT_AN_ENTRY | Unidentified additional parity-lemma proposal is not an entry | — / — / none | H00 | IN_REVIEW |
count and build_sha as your first line. If you cannot fetch it, write NOT RUN and stop./library-v2/<id>/ (or its index.json). Every quote names a PDF page; open the suite-text part linked beside it, find ===== PDF PAGE n / N ===== (N = the page count of the sealed PDF), and check the quote and the label words on that page.id | PASS or FAIL(G1–G8) or NOT RUN | quote | PDF page | one sentence. Never propose a tier; never compute a σ; say what the page says.Generated from library_v2.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26T22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02