Site audit and concrete edits
Audit of generated pages and their sources, 2026-10-01. Implementation lives in scripts/build_site.py, scripts/site/home.html and scripts/site/tutorial.html; docs pages are regenerated outputs. Scientific notes and STATE are preserved.
| Previous location / problem | Replacement wording or structure | Evidence |
|---|---|---|
| build_site.py old HIGHLIGHTS: “The conjecture is T2′ with T3, given T4” | “T2′ at every bare coupling is stronger than required. The continuum argument needs control along the appropriate weak-coupling scaling trajectory, together with construction, nontriviality and a positive physical spectral edge.” | mass-gap-openings; later lattice-obligations correction |
| Old Planck track: “Once the comparison must be recorded, it has a floor of order ℏ” | “General quantum instruments obey explicit resource-scoped disturbance bounds with supplied ℏ. The sharp cell-action floor is a narrower invariant Gaussian result; independent positivity remains open.” | mark-cost; probabilistic prepared-packet counterexample; disturbance/path-length notes |
| tutorial s8/s12: a full normalized nonlinear SU(2) comparison was labelled proved | “All-order connected bad sets and exact dressed activities hold in the weak strip; the moving-mean source estimate is quadratic. Full nonlinear group-integral comparison and stable physical iteration remain open.” | small-field §§35–37, targets (112)–(113) |
| tutorial s4/s12: finite marks “reach exactly” spent action/κ | “The supremum is spent action/κ; it is approached, never attained by a finite schedule with finite positive endpoint widths.” | cut-measure Prop. 7 |
| tutorial s5: continuity iff positive cost with apparatus family omitted | State independent Gaussian marks, non-adaptive protocols and preparation-invariant tests; distinguish a fixed protocol from optimization over the family and fresh repetitions | leibniz-continuity-records §1 |
| tutorial s2 and figure: inertial sag, midpoint chord sag and Galileo action conflated | State s_inertial=Fτ²/(2m), s_midpoint=Fτ²/(8m), τΔE=12Kτ; label figure matched-endpoint chord lens and convert area to action explicitly | newton-insertion-action; cut measure |
| Homepage rigorous Wilson “g²≥176” headline | Give activity criterion and distinguish leading-activity 176 from conservative all-representation estimate; do not equate Wilson and KS Hamiltonians | Wilson note introduction and §§1–3; KS note |
| Old gap-analogy blurb: floor and mass gap “the same kind of statement” | Link scoped matrix-model implication and dimensional distinctions; separate exact algebra from structural analogy | action-floor-yang-mills-gap; correspondence map |
| Huge homepage TRACKS list, duplicates and historical taxonomy | Curated research map, five strong-result cards, open fronts, corrections and short paths. One searchable semantic archive holds every note once | note catalog and current dependencies |
| newton-indeterminacy-routes listed twice inside Planck track; cut/refinement notes split across overlapping tracks | Archive has a single thematic placement per note; typed relations and reading paths explain secondary relevance | old TRACKS definitions versus semantic catalog |
| Arrow/sling and singular Kepler promoted beside live frontiers | Historical and specialist archive entries remain accessible; Kepler is a scoped obstruction, not a universal selector | independent retrieval priorities; Kepler smoothing correction |
| Full current recording and §§35–37 gauge work hard to find | Direct homepage frontier links and dependency paths with section-level obligations | STATE and latest maintained sections |
| papers.html all 123 PDFs equivalent; every note allegedly has a PDF | Group syntheses, technical/working, older/historical and unique orphans, with source/version caveats. Say PDFs exist for selected notes | PDF catalog; 174 notes versus 123 PDFs |
| ledger.html appears to be the complete current claim map | Date-labelled banner: stable older IDs, source notes and corrections govern scope; use current dependencies/catalog for newer results | ledger date 2026-09-16; subsequent notebooks |
The old homepage used recency-like accumulated tracks rather than a minimal dependency graph. The new map retains low-dimensional gaps and historical source work through explicit support links without presenting every side result as an immediate prerequisite. Public wording is checked against the current source notes, not their PDF titles alone.
The ledger’s historical evidence entries and stable IDs are not rewritten. Its C001 “symbolic script” evidence label is historical support, as the ledger header explains; it is not current validation under the no-scripts rule. A public banner points readers to current mark/disturbance and correction sources; imported citations keep their original reading labels. The known factor inconsistency in flow-instability-large-field is flagged in the catalog and obstruction map, and exact saturation is not promoted on the homepage.
A bounded Astra architecture review checked the four sensitive frontiers. Its corrections are integrated: graph arrows label routing rather than implying every edge is a proved input, packet stability names its supplied quantum reference, disturbance spreads name the interpolating comparison states, and the supporting cutoff Feshbach calculation retains its SU(2) scope before an SU(3) transfer.
The tutorial retains its twelve-slide visual devices and corrects their scope; its ending table links current sources individually. Series/parallel and the Gaussian precision analogy stay useful, while the full nonabelian iteration is explicitly open. See navigation test for the final reader paths and PDF audit for manuscript handling.