RESULTS.json

{
  "step": "C437",
  "status": "passed",
  "assertions_passed": 28,
  "checks": [
    "G1/T0 exact old pivots and whole-map fixed point",
    "G1/T0 radii imply E ratio",
    "G1/T0 midpoint membership is next-Gear MT Noah",
    "G1/T0 lower station membership is bounded Flood state",
    "G2/T0 exact old pivots and whole-map fixed point",
    "G2/T0 radii imply E ratio",
    "G2/T0 midpoint membership is next-Gear MT Noah",
    "G2/T0 lower station membership is bounded Flood state",
    "G3/T0 exact old pivots and whole-map fixed point",
    "G3/T0 radii imply E ratio",
    "G3/T0 midpoint membership is next-Gear MT Noah",
    "G3/T0 lower station membership is bounded Flood state",
    "G1/T1 exact old pivots and whole-map fixed point",
    "G1/T1 radii imply E ratio",
    "G1/T1 midpoint membership is next-Gear MT Noah",
    "G1/T1 lower station membership is bounded Flood state",
    "G2/T1 exact old pivots and whole-map fixed point",
    "G2/T1 radii imply E ratio",
    "G2/T1 midpoint membership is next-Gear MT Noah",
    "G2/T1 lower station membership is bounded Flood state",
    "G3/T1 exact old pivots and whole-map fixed point",
    "G3/T1 radii imply E ratio",
    "G3/T1 midpoint membership is next-Gear MT Noah",
    "G3/T1 lower station membership is bounded Flood state",
    "four source-context equations give exact radii",
    "four existing midpoints and one full profile",
    "only3188 full profile",
    "no source point introduced"
  ],
  "source_checks_passed": 18,
  "source_checks": [
    "PREVIOUS_CERTIFICATE.json",
    "PREVIOUS_DATA.json",
    "PREVIOUS_RESULTS.json",
    "PREVIOUS_CHECKPOINT.md",
    "PREVIOUS_NEXT_STEP.json",
    "File_18.md",
    "File_09.md",
    "File_02.md",
    "File_46.md",
    "C286_DATA.json",
    "C434_DATA.json",
    "C434_CERTIFICATE.json",
    "C434_CHECKPOINT.md",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C434 data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}