{
  "modulus": 243,
  "pow": 5,
  "ring_size": 59049,
  "relation": "eta*(eta-3)=0",
  "I0_size": 243,
  "I3_size": 243,
  "sizes": {
    "R": 59049,
    "B0": 243,
    "B3": 243,
    "I0": 243,
    "I3": 243,
    "ann_I0": 243,
    "ann_I3": 243
  },
  "checks": {
    "eta_eta_minus_3_zero": true,
    "ker_eta_equals_I3": true,
    "im_eta_equals_I0": true,
    "ker_eta_minus_3_equals_I0": true,
    "im_eta_minus_3_equals_I3": true,
    "ann_I0_is_I3": true,
    "ann_I3_is_I0": true
  },
  "B0_checks": {
    "exact_B0_ending": true,
    "ker_map_eta_in_R": true,
    "im_eta_equals_I0": true,
    "image_of_quotient_to_R_equals_I0": true,
    "injection_RmodI3_to_I0_via_eta": true
  },
  "B3_checks": {
    "exact_B3_ending": true,
    "ker_map_eta_minus_3_in_R": true,
    "im_eta_minus_3_equals_I3": true,
    "map_from_RmodI0_into_R_has_correct_rank": true
  },
  "all_ok": true,
  "summary": "2-periodic pair-factorization verified on finite truncation."
}