Run T-0060 passed

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

Hypothesis

Correction K2: FENFEN Forsyth–Edwards Notation, a one-line text description of a chess position. parsing checks the plausibility of the en-passant square; behaviorally identical to the predecessor (manifest empty)

translated from German. Original: Korrektur K2: FEN-Einlesen prueft die Plausibilitaet des En-passant-Feldes; verhaltensgleich zum Vorgaenger (Manifest leer)

Provenance

Date

2026-09-03

Author

Agent C

Epoch

2

Gatekeeper

passed

Bench nodes

3,537

Commit

18418116dfa9c4c92fa8361edaf3b60ad60446fd

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.

3db39614757b322cd5d175685f0f7291313a6371d65da3369b9f169aad24997e

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.

e7693e614eaa9c4f280a4a5e770b5f71fa53acea2fc0d8a44dd4cc1e803c028e

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

1f9ab64250f2e6b96ac1ad4a845e3dda0808258cb4e03af5d6559d521c422d4d