It's an amazing coincidence how, despite all the other proof files including 10+ decimal places for their memory statistics, the 100m case somehow came out EXACTLY at integer values! And somehow heap_growth_percent was zero, despite the heap starting at 50 and ending at 3100...
The "proof-100m-official.json" also omits all leaf hashes in favor of referencing a file ".tmp/leaves-100000000.bin" which is not included with the "proof".
For instance: an explicit form of the T^info term (introduced on page 4) for a physical system.
Without that, this is just meaningless LLM drippings.