acamilo ae3b15ab70 tests: the ROM proof from the gym-door checkpoint ... From the row-58 checkpoint, 30 brain minutes on the stub rotation: at most three gym arrivals end in the fly walking straight back out inside ten seconds, and the fly goes up the room to row 6 or above, where the Jr. Trainer stands. Base: one arrival, back out in 309 frames, highest row 11 -- fails. Branch: 4 arrivals, 1 back out, 30,879 frames in the gym, highest row 2, beside the leader. Rung 11 is printed, not asserted.		2026-09-23 11:48:57 +00:00
..
bridge	flybrain v0.4.0: public tree (history retained privately)	2026-09-21 15:09:46 +00:00
flysim	tests: the ROM proof from the gym-door checkpoint	2026-09-23 11:48:57 +00:00