Your free trial has ended.

Try the live demo or log in .

dc4ed5a0

By: ValentinHirschi <valentin.hirschi@gmail.com>

Regenerate native code and the D0 asset for the zero-external reflection test

Regeneration of the candidate after a0f3bda (the zero-external reflection
only where a tfun of the original chart selects a pole that the rounding
resolves poorly next to the corner's vertex: box_complex's new
tfun_vertex_suspicious and zero_external_suspicious).
generated_d0.rs: 2,423,105 bytes, SHA-256 657c35c2f1571ed3...af2135ca;
d0.bin: 1,429,050 bytes, SHA-256 da108be3dc7f90ce...6804484.
generated_constants.rs, A0, B0, dB0 and C0 are byte-identical. Three
regenerations (two from the uncommitted sources, one from the committed
ones) give the same hashes. Every box that does not reach the new test is
bitwise unchanged on the generated, interpreted and SymJIT routes against
cb5370d on the verifier's sets, the streams' sweep and the tests' rows. The
README's D0 row and a dated sentence follow this regeneration.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
GitHub