{
 "P1": [],
 "P2": [
  "C2 latest.json disagrees with 00000004 on ['rows']"
 ],
 "P3": [
  "C3 seq sequence is not contiguous 1..N: [1, 3, 4]"
 ],
 "P4": [
  "C1 head went backward at 00000003: rows 4 -> 3",
  "C3 seq sequence is not contiguous 1..N: [1, 3, 2, 4]",
  "C4 filename 00000002.json carries seq 3",
  "C4 filename 00000003.json carries seq 2",
  "C5 pinned_at did not advance at 00000003"
 ],
 "P5_no_external": [],
 "P5_with_external": [
  "C7 head disagrees with the external observation the stranger holds"
 ],
 "P6": [
  "C6 00000004: next_pin_due_by != pinned_at + 7h",
  "C6 00000004: deadline moved BACKWARD vs its predecessor"
 ],
 "P7": []
}