Skip to content

G139 n=2^30 Phi certificate retained chunks

Pre-release
Pre-release

Choose a tag to compare

Public retained-chunk artifact for the G139 n=2^30 Phi certificate.

This release supports PR lalalune#527 with a reproducible finite exact-arithmetic artifact for the selected cell:

n = 1073741824
p = 365375409332725729550921208179070755196377235457
domain_size = 536870912
chunk_count = 128
collision_count = 0
injective = true
phi_image_sha256 = 47e60af06c23828d8b4353255b0dca55a4f8b7580692778ec03f6f3f8fabbc6a
sorted_record_stream_sha256 = 6e084eb8a7fa66d7e63d8f3855649764ad06a7e2de4dbe4145f34337c372b6f5

Download all assets into one directory and run the independent verifier as described in README.md.

Scope: finite computational certificate only. This does not claim prize closure, does not prove the first-prime rule for all n, and does not replace formal proof obligations.