{
  "scope": "finite necessity witnesses; no global minimality theorem",
  "rows": [
    {
      "retain": "categories/cells",
      "witness": "distinct nonnegative Tishri matrices share all margins",
      "step": 836
    },
    {
      "retain": "declared order",
      "witness": "same festival multiset and endpoint give different prefixes",
      "step": 840
    },
    {
      "retain": "name/count role",
      "witness": "76 names distinguish75 intervals from76 carrier units",
      "step": 861
    },
    {
      "retain": "digit register and anchor",
      "witness": "paired inverse field is piecewise and not globally affine",
      "step": 857
    },
    {
      "retain": "grid and intermediate stages",
      "witness": "P/J final equality with unequal stage membership",
      "step": 882
    },
    {
      "retain": "endpoint placement",
      "witness": "same144900 body has two supplied heads",
      "step": 894
    },
    {
      "retain": "internal subdivision rule",
      "witness": "retained147 cut differs from its uniform P image",
      "step": 898
    }
  ]
}