{"compile":"2026-10-10","canonical":"https://aaronspradlin.grok.me/wiki/proofs-and-simulations","json":"https://aaronspradlin.grok.me/page.json?slug=proofs-and-simulations","license":"Source-available for noncommercial research and evaluation only. No commercial, product, platform, or service use without written permission.","scientific_breakthrough":false,"slug":"proofs-and-simulations","title":"Proofs, simulations, and figures","dek":"The advertised Python harnesses and the result images Aaron posted — copied from GitHub and X, not redrawn. Not every file in Tmp/TOE.","updated":"2026-09-10","status":"method","claim":null,"tags":["python","proofs","simulations","figures","SPARC"],"related":["holonomy","retained-atlas","great-grok-challenge","battery-atlas","uqcf-gem","claim-ledger","x-notebook","hubble-tension","origin-law","quantum","c3-governor","protein-audit","tsp-backbone","critical-path","quantum-compatibility-lab","v1241-closure","applied-stack","may-2026-ladder","it-from-bit","recoverability-framework","start-here","falsification","scan-log"],"packages":[{"id":"uqcf-codazzi-proof","name":"uqcf_codazzi_proof","path":"Tmp/TOE/uqcf_codazzi_proof","status":"supported"},{"id":"uqcf-w-holonomy-replication","name":"uqcf_w_holonomy_replication","path":"Tmp/TOE/uqcf_w_holonomy_replication","status":"supported"},{"id":"einstein-12-v1698-valid-only-slow-atlas-closure-mp4-package","name":"Einstein_12_V1698_valid_only_slow_atlas_closure_mp4_package","path":"Tmp/TOE/Einstein_12_V1698_valid_only_slow_atlas_closure_mp4_package","status":"supported"},{"id":"sparc-runner","name":"Sparc_runner","path":"Tmp/TOE/Sparc_runner","status":"restricted"},{"id":"challenge14-packet","name":"challenge14_packet","path":"Tmp/TOE/challenge14_packet","status":"restricted"},{"id":"v395-full-stack-proof-kit","name":"v395_full_stack_proof_kit","path":"Tmp/TOE/v395_full_stack_proof_kit","status":"restricted"},{"id":"v724-stress-test-outputs","name":"v724_stress_test_outputs","path":"Tmp/TOE/v724_stress_test_outputs","status":"restricted"},{"id":"uqcf-visuals-package","name":"uqcf_visuals_package","path":"Tmp/TOE/uqcf_visuals_package","status":"restricted"},{"id":"uqcf-quantum-compatibility-lab","name":"UQCF_Quantum_Compatibility_Lab","path":"Tmp/TOE/UQCF_Quantum_Compatibility_Lab","status":"restricted"},{"id":"uqcf-gem-v12-41-public-simulation-complete","name":"UQCF_GEM_v12_41_PUBLIC_SIMULATION_COMPLETE","path":"Tmp/TOE/UQCF_GEM_v12_41_PUBLIC_SIMULATION_COMPLETE","status":"restricted"},{"id":"v498-retained-geometry-formal-report-package","name":"v498_retained_geometry_formal_report_package","path":"Tmp/TOE/v498_retained_geometry_formal_report_package","status":"restricted"},{"id":"v513-gap-closure","name":"V513_gap_closure","path":"Tmp/TOE/V513_gap_closure","status":"restricted"},{"id":"v541-final-theorem-bundle","name":"v541_final_theorem_bundle","path":"Tmp/TOE/v541_final_theorem_bundle","status":"restricted"},{"id":"v555","name":"V555","path":"Tmp/TOE/V555","status":"restricted"},{"id":"gr-work","name":"GR Work","path":"Tmp/TOE/GR Work","status":"open"},{"id":"reachability-collapse-law","name":"Reachability Collapse Law","path":"Tmp/TOE/Reachability Collapse Law","status":"restricted"},{"id":"einstein-4","name":"Einstein 4","path":"Tmp/TOE/Einstein 4","status":"restricted"}],"notes":[{"id":"v1241-2026-09-10","title":"v12.41 moment-map closure — constraint algebra without spacetime","date":"2026-09-10","xUrl":"https://x.com/aaronspradlin/status/2098145800949776410"},{"id":"holonomy-2026-08-02","title":"O(3) holonomy from pair marginals","date":"2026-08-02","xUrl":"https://x.com/aaronspradlin/status/2084012674065809622"},{"id":"qclab-clarify-2026-09-06","title":"Same response ≠ same quantum reality","date":"2026-09-06","xUrl":"https://x.com/aaronspradlin/status/2096696936506315013"},{"id":"grok-qclab-2026-09-06","title":"Grok reply on the 315 vs 311 lab","date":"2026-09-06","xUrl":"https://x.com/grok/status/2096697145986363883"},{"id":"v1698-2026-06-09","title":"V1698 global atlas closure","date":"2026-06-09","xUrl":"https://x.com/aaronspradlin/status/2064485348433179128"},{"id":"l4-sim-2026-06-06","title":"L4 public sim: geometry is not the deepest layer","date":"2026-06-06","xUrl":"https://x.com/aaronspradlin/status/2063289036673065189"},{"id":"l3-mechanism-2026-06-03","title":"L3 integrated-only: hyperedge memory + entropy-order driver","date":"2026-06-03","xUrl":"https://x.com/aaronspradlin/status/2062182825227608089"},{"id":"mouse-2026-06-16","title":"Mouse sim: six code–universe isomorphisms","date":"2026-06-16","xUrl":"https://x.com/aaronspradlin/status/2066965905570148699"},{"id":"v1152-2026-05-28","title":"V1152.5: geometry can be faked; provenance + ordered flow cannot","date":"2026-05-28","xUrl":"https://x.com/aaronspradlin/status/2060043836806860916"},{"id":"conservation-2026-06-21","title":"Conservation underdetermines routing","date":"2026-06-21","xUrl":"https://x.com/aaronspradlin/status/2068797385548202041"},{"id":"v395-v421-2026-05-13","title":"From A_t to the recursive survival law","date":"2026-05-13","xUrl":"https://x.com/aaronspradlin/status/2054698197361266981"},{"id":"challenge14-2026-05-02","title":"Challenge 14: frozen SPARC 171, Grok logs a pass","date":"2026-05-02","xUrl":"https://x.com/aaronspradlin/status/2050667809894744421"},{"id":"v498-2026-05-14","title":"V498 retained-geometry Python proof","date":"2026-05-14","xUrl":"https://x.com/aaronspradlin/status/2054767069212901584"},{"id":"v555-2026-05-16","title":"V555 adversarial harness: AUC 1.0 / 1.0","date":"2026-05-16","xUrl":"https://x.com/aaronspradlin/status/2055659455505924399"},{"id":"v760-2026-05-19","title":"V760 atrium metric frozen","date":"2026-05-19","xUrl":"https://x.com/aaronspradlin/status/2056874571471650927"},{"id":"recoverability-flow-2026-05-15","title":"V831 recoverability-flow governor simulation","date":"2026-05-15","xUrl":"https://x.com/aaronspradlin/status/2055293211242107264"},{"id":"v300-2026-05-12","title":"V300 Normalized Adaptive Reachability Law","date":"2026-05-12","xUrl":"https://x.com/aaronspradlin/status/2054006183896477910"},{"id":"branch-identity-2026-05-10","title":"Retained Branch Identity audit: address map or wipe","date":"2026-05-10","xUrl":"https://x.com/aaronspradlin/status/2053302053947216330"},{"id":"recoverability-framework-2026-05-17","title":"Recoverability framework: perturbation → restored futures","date":"2026-05-17","xUrl":"https://x.com/aaronspradlin/status/2056092642832961737"},{"id":"planck-residual-2025-02-15","title":"Planck lensing residuals vs ΛCDM — S_entropy(z)","date":"2025-02-15","xUrl":"https://x.com/aaronspradlin/status/1890787372197200055"},{"id":"rydberg-2025-03-14","title":"Rydberg QSL Dataverse coherence — notebook","date":"2025-03-14","xUrl":"https://x.com/aaronspradlin/status/1900378422456836443"},{"id":"codazzi-2026-08-01","title":"Potential and response geometries can separate","date":"2026-08-01","xUrl":"https://x.com/aaronspradlin/status/2083643394300281016"},{"id":"grok-codazzi-harness-2026-08-01","title":"Grok: Codazzi harness verified","date":"2026-08-01","xUrl":"https://x.com/grok/status/2083645264686895153"},{"id":"grok-codazzi-rerun-2026-08-01","title":"Grok independently re-ran the Codazzi harness","date":"2026-08-01","xUrl":"https://x.com/grok/status/2083646390953976141"},{"id":"grok-codazzi-next-2026-08-01","title":"Grok: clean result is finite-model separation","date":"2026-08-01","xUrl":"https://x.com/grok/status/2083646931486556248"},{"id":"grok-genericity-2026-08-01","title":"Grok: closed-form susceptibility matches","date":"2026-08-01","xUrl":"https://x.com/grok/status/2083648427972264155"}],"claims":[{"status":"supported","text":"inverse / cocycle / holonomy residual: ~3.27×10⁻¹⁶. cover: five-chart ledger. nulls: source / support / order shuffle must fail"},{"status":"restricted","text":"global-completion nullities: 315 vs 311. collective Born: 0.480269472 vs 0.465533202 (48.03% vs 46.55%). pair traces: agree to 4×10⁻¹⁸. shared curve max A/B difference: 1.11×10⁻¹⁶"},{"status":"restricted","text":"relational transforms: 121. exact Δ_closure: 0. broken generator law max: 0.297. min eig: 0.2508"},{"status":"restricted","text":"positive improvement: 94.15% of 171. catastrophic failures: 0. RAR scatter: 0.3902 → 0.1818"},{"status":"supported","text":"unbiased Codazzi defect: 0. weak-coupling Ξ(J): J² [[0,1],[−1,0]] + O(J³)"},{"status":"not-claimed","text":"The 2025 Planck / Bullet / G_eff figures are field-notebook images. They are not the 2026 supported ledger. Package 17 remains the derivation program. The March 2026 lensing verifier is the later code-in-thread for the same C_ℓ voice — also not-claimed."}],"text":"This page is the evidence drawer. The wiki previously quoted residuals and AUC numbers without showing the plots or the Python that produced them. That is now corrected — with an honest boundary: Tmp/TOE has sixty-plus working folders. This atlas does not vend the entire tree. It ships the named, advertised harnesses and the result images that were actually posted.\n\nCopies of posted figures (X + GitHub), runnable Python from the advertised proof packets, and Challenge 14’s aggregate JSON. Captions keep claim status. Early-2025 cosmology plots are included as field-notebook images and marked not-claimed — later packets walked those closures back.\n\nRun this first\n\nDo not read the X thread before the script. A PASS is not Einstein. In-thread @grok is collaborative, not independently audited.\n\nGitHub remains the source of truth. This page only makes the entry cheaper. One notebook per major result, with the numeric target on the wiki itself, a box for what a successful run does not show, and who has actually executed it.\n\nV1698 retained global atlas — residual ~3.27×10⁻¹⁶ on a five-chart ledger. Supported discrete closure.\nV824 accessibility-curvature — scalar / conformal sector only. Supported.\nW-state BKM spectrum {−1,+1,+1} — finite QI holonomy. Supported. Article: Holonomy.\nThree-node Codazzi — unbiased defect 0; Ξ(J) = J² [[0,1],[−1,0]] + O(J³). Grok-verified 1 Aug 2026. Supported finite family.\nQuantum compatibility lab (v9.167) — 315 vs 311 nullities; 48.03% vs 46.55% collective Born. Restricted finite calc.\nv12.41 moment-map closure — 121 steps, Δ_closure = 0, broken 0.297. Restricted qubit KKS identity. Not gravity.\nGreat Grok Challenge 14 — frozen SPARC 171, 94.15% positive, 0 catastrophic, RAR 0.3902 → 0.1818. Restricted empirical.\n\nV1698 retained global atlas\n\nRun this first if you want the strongest discrete closure.\n\ninverse / cocycle / holonomy residual: ~3.27×10⁻¹⁶. cover: five-chart ledger. nulls: source / support / order shuffle must fail\n\nWhat this does not show — Continuum spacetime, ADM momentum, or a GR limit.\nWho has run it — Author + public AI red-team (Grok invited 9 Jun 2026). No posted third-party human rerun of the full package.\n\nArticle\nGitHub package\n\nQuantum compatibility lab (v9.167)\n\nRun this first if you want this week’s finite quantum identity.\n\nglobal-completion nullities: 315 vs 311. collective Born: 0.480269472 vs 0.465533202 (48.03% vs 46.55%). pair traces: agree to 4×10⁻¹⁸. shared curve max A/B difference: 1.11×10⁻¹⁶\n\nWhat this does not show — A laboratory observation, a general hidden-information theorem, v9.156 d(t), or gravity.\nWho has run it — Author. @grok restated the finite case 6 Sep 2026. Independent human rerun not posted.\n\nArticle\nGitHub package\n\nv12.41 moment-map closure\n\nRun this first if you want the closed qubit constraint algebra. Restricted. Not gravity.\n\nrelational transforms: 121. exact Δ_closure: 0. broken generator law max: 0.297. min eig: 0.2508\n\nWhat this does not show — Derived gravity, ADM, Einstein constraints, or physical time. λ is an ordered sweep.\nWho has run it — Author. Independent reconstruction in this compile matched the posted CSV/log. No posted third-party human rerun of the full packet.\n\nArticle\nGitHub package\n\nGreat Grok Challenge 14 (SPARC 171)\n\nRun this first if you want the heaviest external empirical packet.\n\npositive improvement: 94.15% of 171. catastrophic failures: 0. RAR scatter: 0.3902 → 0.1818\n\nWhat this does not show — A dark-matter disproof, a Hubble resolution, or Package 17 closure.\nWho has run it — Author. Grok logged win conditions in-thread. WALLABY 12D is a separate unseen-gas transfer (10/10, +14.56 km/s RMSE).\n\nArticle\nGitHub package\n\nThree-node Codazzi harness\n\nRun this first if you want a Grok-verified finite identity.\n\nunbiased Codazzi defect: 0. weak-coupling Ξ(J): J² [[0,1],[−1,0]] + O(J³)\n\nWhat this does not show — All graphs, a gravity proof, or a potential-response identity on every exponential family.\nWho has run it — Author. @grok verified at high precision and independently re-ran, 1 Aug 2026. Closed-form A(J), B(J) matched numerical differentiation.\n\nArticle\nGitHub package\n\nNo Colab is posted for these packets. Run from the GitHub folder. Independent human reruns of the full Tmp/TOE tree are not posted; Grok in-thread verification is the public AI red-team record.\n\nA successful run of V1698 is not a gravity derivation. A successful run of V824 is scalar / conformal only. W-state BKM and three-node Codazzi are Supported finite QI, not all graphs and not gravity. A successful run of the compatibility lab is Restricted — not a laboratory observation and not v9.156. v12.41 is Restricted — not ADM, not Einstein. A successful Challenge 14 pass is Restricted empirical, not a dark-matter disproof.\n\nApplied labs — protein, TSP, critical path\n\nThese three are not geometry harnesses. They are the recoverability stack transferred into runnable Python: Villin HP35 on WetLabEngine, a fractal TSP backbone, and a live critical-path optimizer. The live labs reconstruct the operator in the browser. Posted residuals stay on X. Recurrence is not a unification proof.\n\ndef recover(G, R, shock, tau_lo=0.25, tau_hi=0.72):\n    stress = strain(G, R, shock)\n    keep   = G[stress < tau_lo]\n    warp   = deform(G[(stress >= tau_lo) & (stress < tau_hi)], R)\n    reseed = reset(G[stress >= tau_hi])\n    return splice(keep, warp, reseed)\n\nLive labs\nApplied recoverability stack\nTSP coherence backbone\nNew Critical Path\nWetLabEngine protein audit\n\nMay 2026 films and labs\n\nThese are the advertised May simulations and GitHub stills the GitHub-first compile dropped — copied from X and Tmp/TOE, not redrawn. Claim posture stays Restricted or Open. None of them is a gravity derivation. The month page holds the argument.\n\n\"\"\"V498 Retained-Geometry Proof Run. Colab-ready.\nThis is not a GR derivation. Toy proof: a recoverability law\ncan generate source-responsive effective geometry.\nFamilies: lattice, random geometric, scale-free, small-world,\ntree-with-loops, fragmented block graph.\"\"\"\nC_t = M_t * R_t * L_t + lambda0 * eta_convert(t) * B_t\n# dg_eff/dt = G_L * [T_retained / (C_t - C_floor + eps)] - R_repair - D_leakage\n\n\"\"\"V505 Weak-Form Continuum Object Validation\ng_eff = Omega^2 g0. Source = G_L * [T_retained / (C - C_floor + eps)].\nNot a GR continuum-limit derivation.\"\"\"\n\n\"\"\"V300 Retained-Atlas Reachability Collapse Law — Skeptical Proof Harness\nA_norm = A(t) / A_baseline. NOT a proof of General Relativity.\nNOT a physical spacetime derivation.\"\"\"\n\n\"\"\"Retained Branch Identity / Lineage Addressability Audit\nretained coherence + lineage addressability + reference-frame anchors\n  + moderate phase-lock -> observer-compatible causal accessibility geometry\nThis script is NOT a GR derivation, NOT physical validation, and NOT a TOE proof.\"\"\"\n\nJune 2026 films and labs\n\nThese are the posted simulations from the listed June (and immediately pre-June) threads — copied from X, not redrawn. Claim posture stays Restricted or Corrected. None of them is a gravity derivation.\n\nsim_l4.py — dashboard, not the rank algebra\n\nThe 6 Jun public Python is a 3D dashboard. Triple and quadruple source products are visualization proxies for L3/L4. The finite-sector rank_lift_H4 = 1 numbers are from the same-day @grok research update, not from this visualizer script. Restricted. Not GR.\n\n# L3 / L4 fields in the posted dashboard — visualization proxies.\n# Claim boundary in the file: does not claim GR, Einstein equations,\n# physical spacetime, or physical curvature.\ntriple_total = triple_123 + triple_124 + triple_134 + triple_234\nl3_field = admissible * l3_strength * (2.8 * triple_total)\nquadruple = source_fields[0] * source_fields[1] * source_fields[2] * source_fields[3]\nl4_field = admissible * l4_strength * (6.5 * quadruple)\nZ = base_geo + 1.6*l3_field + 2.1*l4_field\n\nFinite executable proofs\n\nThese are verification scripts, not Lean/Coq certificates. They reconstruct every reported tensor from an explicit finite model.\n\nQuantum compatibility lab (v9.167)\n\nPosted 6 Sep 2026 20:05 UTC. Fresh matrix calculations for the supplied v9.167–v9.171 matched four-weight family. Not an independent proof of every theorem in that sequence, a new physical law, or an experimental result. Figures and the 27-second film are copies of the GitHub package, not redrawn.\n\nv12.41 moment-map closure\n\nPosted 10 Sep 2026 20:25 UTC. Qubit KKS identity on 121 ordered relational transforms. This compile independently reconstructed max exact residual 0 and max broken residual 0.297. Film, PNG, CSV, and Python are copies of the GitHub packet. Not gravity.\n\nQuantum compatibility lab article\nComplete package (GitHub)\n\n#!/usr/bin/env python3\n\"\"\"\nExecutable verification harness for the smallest canonical UQCF-GEM\nstate-level Codazzi audit.\n\nModel: p(x) ∝ exp[h1*x1 + h2*x2 + J*(x1*x2 + x2*x3 + x3*x1)],\nx_i ∈ {-1,+1}, h3 = 0. Eight-state enumeration. No reported\ntensor values are hard-coded.\n\npython -m pip install mpmath\npython uqcf_codazzi_verification.py\n\"\"\"\n\nCodazzi thread (1 Aug 2026)\n\nThe figure post is the question. The GitHub folder is the harness. Same-day Grok reviews and a genericity closeout sit on the same conversation. Finite three-spin exponential family only. Not gravity, not all graphs.\n\nCan a canonical information-theoretic response geometry always be generated from a single scalar potential? After building the framework from first principles, deriving the mathematics, and creating an executable verification harness, the smallest canonical interacting model says no. The result isn’t “we found gravity.” The result is that potential information geometry and response information geometry can separate.\n\nSix minutes later Aaron handed Grok the August 2026 scientific status report and the uqcf_codazzi_proof folder.\n\nAugust 2026 scientific status report (.docx)\nuqcf_codazzi_proof folder\nGitHub handoff (X)\n\nModel (eight-state enumeration, h3 = 0):\n\np_{\\theta,J}(x)=\\frac{1}{Z(\\theta,J)}\\exp\\bigl[h_1 x_1+h_2 x_2+J(x_1 x_2+x_2 x_3+x_3 x_1)\\bigr],\\quad x_i\\in\\{\\pm 1\\}\n\nPulled-back bidirectionally symmetrized response tensor and its exponential-affine Codazzi defect. Weak-coupling susceptibility already on the Supported ledger:\n\n\\Xi(J)=J^2\\begin{pmatrix}0&1\\\\-1&0\\end{pmatrix}+O(J^3)\n\nExact closed-form susceptibility at h=0, Grok-verified against high-precision numerical differentiation:\n\n\\Xi^{\\mathrm{sym}}(J)=\\begin{pmatrix}-A(J)&B(J)\\\\-B(J)&A(J)\\end{pmatrix}\n\nA(J)=\\frac{8(e^J-1)^3(e^J+1)^3(e^{2J}+1)^3(7e^{4J}+1)}{(e^{4J}+3)^5}\n\nB(J)=\\frac{32(e^J-1)^2(e^J+1)^2(e^{2J}+1)^2(e^{8J}+2e^{4J}+5)e^{4J}}{(e^{4J}+3)^6}\n\nFor every finite real J≠0, B(J)>0, so the susceptibility is nonzero. Near J=0, det Ξ^{sym}(J)=J^4+O(J^5)>0. The Codazzi defect is therefore not identically zero. Real-analyticity of the finite partition function then implies the potential-response locus has empty interior and Lebesgue measure zero, and the unbiased zero is locally isolated. That is the genericity theorem inside this model. It does not prove genericity for all graphs, continuous systems, quantum noncommutative models, or physical gravity.\n\nVerified the harness: it passes at high precision, matching the reported symmetrized response tensor, nonzero Codazzi defect at the audit point, zero at the unbiased point, and full-rank J² quarter-turn susceptibility. For this three-spin exponential family the separation of potential (Hessian BKM) and response geometries holds as claimed. Independent of gravity claims. Solid finite-model result; broader scope remains open.\n\nYes, agree. Independently re-ran the harness: exact match on the symmetrized tensor, nonzero Codazzi defect at the audit point, zero at the unbiased point, and full-rank J² quarter-turn susceptibility. Solid finite-model separation of BKM potential geometry from the response tensor. Broader claims remain open.\n\nThe clean finite-model separation itself: a fully explicit, high-precision demonstration that the bidirectionally symmetrized response tensor need not be Hessian, with nonzero Codazzi defect, spin-flip zero, and full-rank J² quarter-turn susceptibility. Reproducible by anyone. Next: larger discrete systems, continuous or quantum limits, and a formal genericity argument that survives independent scrutiny. Broader physical interpretations stay open.\n\nAaron’s same-day genericity post answers that next step inside this three-node model. The full boxed write-up stays on X; the atlas keeps the theorem statement, the closed-form susceptibility, and the claim boundary.\n\nVerified the closed-form susceptibility: A(J) and B(J) match high-precision numerical differentiation of the Codazzi map at h=0 for multiple J. Analyticity holds by finite-sum structure. The zero-set and local isolation arguments follow standardly. Genericity of non-potential response is established for this three-node model at weak nonzero J. Broader extensions remain open as noted.\n\nSupported is the finite three-node exponential family. Not all finite graphs, not arbitrary couplings, not continuous systems, not genuinely quantum noncommutative models, not physical gravitational fields. Those remain the extension program.\n\nW-state holonomy sits on the holonomy article (figure + w_holonomy_replication.py) and on the quantum-information hub. V395 is the full-stack recoverability proof kit:\n\n# v395_full_stack_proof.py — 27 KB standalone recoverability stack.\n# Ships in this atlas as /artifacts/py/v395_full_stack_proof.py\n# Run from the GitHub packet; do not treat a local copy as the source of truth.\n\nAtlas and holonomy simulations\n\nV1698 atlas closure MP4 + sim.py\nV1688 holonomy proof visualizer (one-cell notebook)\n\nSPARC / Challenge cosmology\n\nRotation-curve overlays, frozen-scaffold scoring, and cluster rounds live on The Great Grok Challenge. Hubble-tension posts (H0DN proxy, fractal D_f sim) live on Hubble tension and RCLC cosmology — not claimed as a resolution. The NGC 2403 plot and Challenge 14 JSON are on the Challenge article. Additional runners:\n\nSparc_runner — bridge_sparc_colab_runner.py\nHoldout pack — bridge_prediction_curve.py + NGC 2403/3198/6503 .dat\nChallenge 14 packet — sample scorer + worst-10 audit CSV\nRound 15 — cluster/lensing Python (Abell1835.py, Protocol.py, …)\n\nUQCF visual pack\n\nPython copies in this atlas\n\nMirrored here so the wiki is not only a pointer. GitHub remains source of truth.\n\nuqcf_codazzi_verification.py\nw_holonomy_replication.py\nchallenge14_reproduction_sample.py\nbridge_prediction_curve.py\nbridge_sparc_colab_runner.py\nv395_full_stack_proof.py\nv300_reachability_collapse_law_proof.py\nretained_branch_identity_audit.py\nretained_atlas_capacity_law_proof.py\nV131_DEMO_NATIVE_RESIDUAL_ENERGY_LAW.py\nchallenge14_aggregate_summary.json\n\nEarly cosmology figures (not claimed)\n\nFebruary–March 2025 threads posted Planck-lensing overlays, fractal-dimension evolution, scale-dependent G_eff, Bullet Cluster X-ray/lensing offsets, and Planck micro-ripples. The 2026 claim ledger and Challenge closeouts refuse those as a completed alternative cosmology. They stay in the notebook as posted images, with status not-claimed. A 29 Mar 2026 restatement posted uqcf_gem_lensing_verifier.py (13-parameter C_ℓ form); Grok in-thread called it an overfit parametric model. That verifier lives on the Origin Law reading list, still not-claimed.\n\nThe 2025 Planck / Bullet / G_eff figures are field-notebook images. They are not the 2026 supported ledger. Package 17 remains the derivation program. The March 2026 lensing verifier is the later code-in-thread for the same C_ℓ voice — also not-claimed.","howToCite":"Spradlin, A. (2026-10-10). Proofs, simulations, and figures. Retained Atlas. https://aaronspradlin.grok.me/wiki/proofs-and-simulations. Keep claim badge: see page."}