Cases

One story each. A case is a way in. It tells what happened in a single instance, points to the finding that grounds it and the artifact behind it, and places it in the programme. The result values live on the finding, not here.

• A tool the server hid was still there to call

  A check that reads a server's advertised tools misses the ones it does not advertise, unless it asks whether they answer anyway.

• Six weeks later, the record still had to match

  A sealed decision record can be replayed and its seal rechecked; an edit made after the fact cannot pass the recompute.

• Two graders agreed, and both were wrong

  When two graders concur, it is tempting to treat the agreement as evidence; agreement between graders is not agreement with the truth.

• The proof was valid. The theorem was the wrong one

  A proof can go through and still establish nothing anyone cared about, if the property it states is not the property that was meant.