Skip to content

Name the checkpoint behind the #1042 status link - #3563

Open
jwr404 wants to merge 1 commit into
CrocSwap:mainfrom
jwr404:research/historical-1042-link
Open

jwr404 wants to merge 1 commit into
CrocSwap:mainfrom
jwr404:research/historical-1042-link

Conversation

@jwr404

@jwr404 jwr404 commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

Summary

  • The historical section "Historical status through Conditional κ = 0.001672188119205421: improved T16 owner packing on the seven-slot k8 word #1042" prints 0.001672188119205421 and links Selected record to certificates/selected-result.json.
  • That file carries the live kappa 836330098538459/500000000000000000. The printed decimal is certificates/checkpoints/frontier1042.json, which the live record names as previous_record.
  • The status page is unchanged, and the selected exponent is unchanged.

Test plan

  • python3.12 -B research/historical-1042-link/verify.py
  • python3.12 -B research/historical-1042-link/test_verify.py
  • python3.12 -B scripts/research_package.py --package research/historical-1042-link
  • Confirm the registered replay on the maintainer's Python 3.12 checkout

Made with Cursor

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