{
  "symbolic_domain": "Q(sqrt(5))(s); s is an indeterminate",
  "proof_scope": "Exact statements under the hypotheses in the accompanying note",
  "passed_check_groups": 21,
  "checks": [
    "Outer cross-ratio formula",
    "Seed inversion identity before positive square root",
    "Strictly negative cross-ratio derivative for s>0",
    "Cross-ratio under an exact non-affine projectivity",
    "Six distinct symbolic evaluation nodes",
    "All 15 two-error location patterns decoded",
    "All 15 four-erasure patterns reconstructed",
    "Three-error ambiguity between two valid affine records",
    "All six one-error projective location patterns decoded",
    "All 20 three-erasure projective patterns reconstructed",
    "Two distinct projective records can differ at exactly four nodes",
    "Two-error ambiguity for projective coordinates",
    "Six-node symmetric rule integrates degrees zero through three",
    "Degree-four obstruction integral",
    "Obstruction vanishes at four nodes and is positive at the inner pair",
    "Exact threshold s=(sqrt(5)-1)/4",
    "Threshold sine satisfies sin(3 delta)=cos(2 delta), giving delta=18 degrees",
    "At seed angle 36 degrees the four outer nodes give positive degree-five exactness",
    "Every symmetric degree-five rule has the displayed negative inner mass",
    "Malformed affine coordinate records are rejected",
    "Invalid record counts and recovery budgets are rejected"
  ],
  "affine_error_location_patterns": 15,
  "affine_erasure_location_patterns": 15,
  "projective_error_location_patterns": 6,
  "projective_erasure_location_patterns": 20,
  "canonical_decimals_are_illustrations": {
    "s": "0.00000242406840554530595347206215896221124163054339",
    "outer_cross_ratio": "1.24999916250720811554354836295459056938689479",
    "seed_from_cross_ratio": "0.00000242406840554530595347206215896221124163054339",
    "epsilon_recovered_arcseconds": "1.0",
    "inner_pair_mass": "0.35956319338828504533776533612166547",
    "middle_pair_mass": "0.35956319338828504533776533612166547",
    "outer_pair_mass": "0.28087361322342990932446932775666905",
    "obstruction_uniform_mean": "-1.6944197751623948487943064709512272"
  },
  "script_sha256": "4c1b3cfa46262e21d19ece458d4dcb8fccd617d15ca4579a2f013108396c13a6",
  "sympy_version": "1.14.0",
  "limitations": [
    "Symbolic checks corroborate the written proofs.",
    "Exact sparse corruptions are not an ordinary measurement-noise model.",
    "Labels and the declared seed parameter must be trusted for decoding.",
    "No claim of prior-art priority or newly invented general methods."
  ]
}