Checks a program's migrations against the cases a test recorded of them. Each case must still be read as it
recorded, and what it wrote must still be read at the program's version: migrated through every migration after
it, and decoded by the program's schema. Each function a migration declares must have a case, so that a
migration nobody recorded is not changed in silence. Returns every violation, so that a test can assert there
are none (decision 0126).
Checks a program's migrations against the cases a test recorded of them. Each case must still be read as it recorded, and what it wrote must still be read at the program's version: migrated through every migration after it, and decoded by the program's schema. Each function a migration declares must have a case, so that a migration nobody recorded is not changed in silence. Returns every violation, so that a test can assert there are none (decision 0126).