The complete active claim ledger and the eligible source reviewed research findings, including conditional achievements and precise negative results. The original statement, premises and status remain attached.
Research snapshot 2026-11-02 · 783 active ledger claims · 696 scientific findings · 707 registered scripts. These are different inventories, not counts of independent physical confirmations.
Every one of the 783 active ledger IDs is included. All 788 ledger rows, including superseded rows, remain in the download. The reviewed research corpus contains 697 findings; 1 administrative record is excluded from public scientific content, with the omission recorded in the coverage file.
The scientific findings include 505 established scoped results, 63 conditional results and 128 scoped exclusions. These labels describe the recorded finding. They do not upgrade its parent physical goal or overwrite the original ledger.
Sources were matched to their recorded hashes and line ranges at this snapshot. Bounded text excerpts make sources available even when a source is not in the earlier public release. Any omitted administrative lines are explicitly marked. This is source coverage, not a new execution of Python, Lean or Wolfram proofs.
Atlas revision 3ddcc9643e499ce39900d9c5 · snapshot SHA256 7622b36de7ed79901ae75361b009fa423a6505076f388f4fbaf2d42e1ba7dcf5
2 matching records · page 1 of 1
Original ledger status
CAR.UNIQ.01
g_car=5 is the UNIQUE rank with N_fam in Z+ and g+N_fam=8; split (b,s)=(3,2) unique from b+s=5,b^2+s^2=13; Tr Y=Tr Y^3=0 (anomaly-free)
Recorded status: Lattice
Canonical status: Lattice
Dependencies: E8 closure; SM gauge algebra dim 12
Scripts: v14_carrier_uniqueness.py
Location: tfpt_1
Original CSV, line 9Original ledger status
CAR.LADDER.01
PASCAL LADDER THEOREM (Target B residual sharpened to zero slack): the closure 2^{g-1} = sum_{k<=K} C(g,k) has for every K exactly one solution g = 2K+1 (K=1..6 scanned over g=1..60; structurally: odd-g midpoint identity by binomial symmetry, even-g strict straddle around 2^{g-1} excludes all even g). EXACT EQUIVALENCE [I]: the carrier selection g=5 <=> the truncation degree K=2 - the Pascal-selection residual (CAR.PASCAL.01/REDTEAM.B.01, typed [A]/[P]) is therefore EXACTLY the one named hypothesis Quadratic Boundary Locality (ARCH.QUAD.01). NEIGHBOUR WORLDS [I]: K=1 -> g=3 (one-family world), K=2 -> g=5 (three families), K=3 -> g=7 (nine families), K=4 -> g=9 inconsistent (N_fam = 255/9 not integer). OVERDETERMINATION [I]: only K=2 also satisfies the independent rank closure g+N_fam = 8 = rank E8 (CAR.UNIQ.01/v14) - two independent selections agree. THE ONE HYPOTHESIS [P] (recorded, not claimed): QBL = the seam Calderon datum is a single two-point kernel and the carrier code is generated by the degrees it certifies (K<=2); if proven from reflection positivity the carrier choice upgrades [A]/[P] -> [L] along QBL => K=2 <=> g=5 => 16 => D5 => E8
Recorded status: Identity/Lattice [I]/[L] (ladder, equivalence, controls, overdetermination) + [P] (QBL)
Canonical status: Identity: g=5 <=> K=2 exactly; Target B residual = one hypothesis (QBL)
Dependencies: CAR.PASCAL.01; REDTEAM.B.01; ARCH.QUAD.01 (QBL named); CAR.UNIQ.01 (v14)
Scripts: v108_pascal_ladder.py
Location: tfpt_3_e8_audit_bootstrap;tfpt_1
Original CSV, line 191Each research problem has its own scope. A resolved task does not close its whole physical parent. Historical tasks remain explicitly historical in the source record.
What is determined by complete future behavior, and what additional positive word-kernel source is needed to reconstruct a cyclic operator realization?
Outside the active mathematical research program since the user's23Oct2026 decision. Historical question: Do the original principles derive a common physical source together with its state, dynamical events, and physically observed fields?
Does the joint discrete theorem determine a concrete connection and a family coupling compatible with the determinant seam action?
Do the original reflection/projector structures determine the full physical time generator and required field transfer?
Which flavor quantity is fixed on the derived discrete stratum, and which requires the continuous holonomy anchor?
Which closure equation follows for a fixed seam projector, and which inputs still need justification?
Do common matter-only observations derive geometric horizon flow and the area response from the original gravity source?
Which complete quadratic response can the actual clock images reconstruct?
How does the actual Gaussian J act on the complete marked source?
Which data separate sources with identical complete neutral vacuum response?
Can existing native charge fields produce the quarter-twist time response of the seam?
What does the complete phase search decide, and which additional state information prevents a false source solution?
Which charge, state type and time action belong to the root partner and original sheet pairing?
Which tools generate operator maps, learn counterexamples, and can search for the full positive source?
What does reverse selection of P1/P2 give for concrete local fields and multi-field responses, and which identification with the original P1 kernel has actually been proved?
Which operational conditions are independently required, which inequivalent models satisfy them, and which observable distinctions remain for selection?
Which carrier and glue statements are already present in the papers and Lean sources, and which physical selection does not follow?
Which marked seam/lattice transport geometries, lift classes and local-coefficient invariants arise from existing clock/reflection/quartic data? First complete case: sign lifts of fourJ representation on CP1 minusμ4.
Which previously separate data of the original TFPT core follow from a common clock and representation geometry, and which complete finite measurement classification follows without asserting physical source selection?