{
  "A_canonical": {
    "input": "a natural isomorphism F => G with no residual choice",
    "state": "T0",
    "rho": "1",
    "accepted": true
  },
  "B_anchored": {
    "input": "a connected flat line system, Mon = 1, no preferred section, an exact base vector s_0 = 3 e",
    "state": "T1",
    "rho": "3",
    "accepted": true
  },
  "C_flat_unanchored": {
    "input": "the same flat system with no anchor",
    "state": "T1",
    "verdict": "UNMEASURED",
    "pass_refused": true
  },
  "agrees": true
}