{
  "n": 4,
  "method": "exact simultaneous Laurent expansion",
  "family_directions": 15,
  "tensor_inputs": 512,
  "nonzero_linearized_coefficients": 0,
  "elapsed_seconds": 1.727,
  "status": "PASS",
  "scope": "diagnostic; all-rank integrability proved analytically"
}