Run T-0061 passed

2026-09-03 · Evidence: correctness proof, no games

Hypothesis

Correction K7: counters saturate at INT_MAX, movetime capped; behaviorally identical to the predecessor (manifest empty)

translated from German. Original: Korrektur K7: Zaehler saettigen bei INT_MAX, movetime gedeckelt; verhaltensgleich zum Vorgaenger (Manifest leer)

Provenance

Date

2026-09-03

Author

Agent C

Epoch

2

Gatekeeper

passed

Bench nodes

3,537

Commit

3566b6b3ee75da3794a3beab04e0f5ec36e1d249

Binary SHA-256SHA-256 A cryptographic hash. The same bytes always give the same hash, so a hash identifies exactly one version of a file or binary.

36a5b927f730fe807fd72d5e4ce3005a03ca5adf016e3c8e162e83f4da5a3294

Source SHA-256SHA-256 A cryptographic hash. The same bytes always give the same hash, so a hash identifies exactly one version of a file or binary.

e8aa43528bd2095b23946c4e4ec75cf9bb837f17d26da9734164e2d27a676af8

Toolchain SHA-256SHA-256 A cryptographic hash. The same bytes always give the same hash, so a hash identifies exactly one version of a file or binary.

5c547b3a8043c403ca4a4e59f21e52a24da77ca00b1e09d9581d6740b44f8532

Measuring environment SHA-256SHA-256 A cryptographic hash. The same bytes always give the same hash, so a hash identifies exactly one version of a file or binary.

fdd31dfc31db9defc34b534649897c486c5024cb6914a17af2d56f27168b6fea

Differential gate runner_sha256

7a51c2ffaec031b6b8dd8b68130c70c4f2de6d17319e37c149d34d9ffe78d760

Differential gate korpus_sha256

15e76d0593d7aad579ae492f95efebd509d75aeeab5ffa58c21b13f34bf1ada1

Differential gate manifest_sha256

64a627bb3132de8b32202ad8ca6bae74da519b5ce02abd4858439f6af07a5032