{
  "proof_locators": [
    "MFA.1\u2013MFA.3",
    "MFB.2",
    "MFB.4"
  ],
  "illustrative_principal_relation": [
    "-z",
    "u"
  ],
  "weights": {
    "u": "3/2",
    "z": "1"
  },
  "normalized_samples": [
    "1",
    "7/8",
    "3/4",
    "5/8",
    "1/2"
  ],
  "sample_derivative_count": 4,
  "sample_normalized_scalar_margin_each": "1/8",
  "rectangle_halfwidths": "(s^(3/2),s), s=r/r0",
  "domain": "Exact real slice of complex coefficient polydiscs, not a support cone",
  "general_margin": "r0/(2L), allocated before all homogeneous/Taylor/tail/iteration indices",
  "uniform_operator_bounds": "H on the full fixed radius interval; no derivative commutation assumed",
  "zero_detection": "One additional fixed radius interval inside the output domain, before all iteration indices"
}