Run T-0058 passed

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

Hypothesis

Correction K3: evaluate() clamps the side-relative value to [-28999,28999]; behaviorally identical to the predecessor (manifest empty).

translated from German. Original: Korrektur K3: evaluate() kappt den seitenrelativen Wert auf [-28999,28999]; verhaltensgleich zum Vorgaenger (Manifest leer).

Provenance

Date

2026-09-03

Author

Agent C

Epoch

2

Gatekeeper

passed

Bench nodes

3,537

Commit

e7184aea9d37de91d6774e8f49b85ed1b436ac55

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.

73cd669e16f0e161067de759ea9a6b3307307ba5ef5a1b83df9233ec5bf09779

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.

10d85316fb1b8f44f90a9a922a12b8cac1945a98c45bfa446a42a166467fc6b8

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

e727c4bc7c79e1ee61477b9a1a93121bfa147d6cf28fe1368c6da3c8bba6b2c6