{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "f8a7bbf4b8b3da9cadedda1d5228d6aa1683c60a1d79c3655c4eae419119276c", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 4, "gap_at": null, "steps": 4, "verdict": "HOLDS"}, "gate": "RED", "reasons": ["derivation verdict: HOLDS"], "status": "PASS"}], "overall": "PASS", "schema_version": "2.0", "verifier_results": [{"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": []}, "detail": "zeta(2) = pi**2/6; both sides reduce to pi**2/6", "name": "basel", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["basel"]}, "detail": "zeta(4) = pi**4/90; both sides reduce to pi**4/90", "name": "z4", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["z4"]}, "detail": "zeta(-1) = -1/12; both sides reduce to -1/12", "name": "z-1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["z-1"]}, "detail": "zeta(-2) = 0; both sides reduce to 0", "name": "triv", "status": "CONFIRMED"}]}