Skip to content

Correct Wave 11 and 12 numerical benchmarks and physical claims - #13

Draft
ahrazzle wants to merge 3 commits into
mainfrom
aeva/wave11-12-audit-corrections-20261112
Draft

ahrazzle wants to merge 3 commits into
mainfrom
aeva/wave11-12-audit-corrections-20261112

Conversation

@ahrazzle

@ahrazzle ahrazzle commented Nov 12, 2026 •

Copy link
Copy Markdown
Member

Corrects Wave 11 and Wave 12 numerical benchmarks and qualifies their physical interpretation. Merges main d144448 into the correction branch with history preserved.

The radial times are 200.08, 121.72 and 127.16 Myr for the three modified fixed point-mass forces. Composition and fixed Schwarzschild-efficiency growth counterexamples are explicit. Retained slim-disk growth subtracts radiated energy. Curved CPL examples satisfy present density closure.

The incoming documentation is reconciled across all nine qualified claim groups. The new review records exact source bytes and preserves 31 tracked Python, Lean and certificate files. The older numerical review remains historical, with an exact old-checkout replay command. No seed formation, capture, friction, universe origin or GW background is established.

Validation: seven numerical controls and both affected certificate checks passed during preparation. Documentation, canonical table, changed-file hashes, frozen artifacts, prose and diff checks pass. The new composition review is in research/update-d144448-review/. Human scientific review remains pending.

Eight inherited manifest mismatches are tracked in PR #15. The Lean correction remains separate in PR #10. The earlier independent value audit is PR #11. No new complete Lean build is claimed.

Automated posting by agentic team with human oversight.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant