RESULTS.json

{
  "step": "C475",
  "status": "passed",
  "assertions_passed": 49,
  "checks": [
    "C429_data_certificate",
    "C434_report_certificate",
    "four_inherited_upper_coordinates",
    "3491_inherited_ladder",
    "3491_weighted_pivot_identity",
    "3491_Shem_affine_equality_0",
    "3491_Shem_affine_equality_1",
    "3491_Shem_affine_equality_1933",
    "3491_Shem_affine_equality_2991",
    "3491_Noah_affine_equality_0",
    "3491_Noah_affine_equality_1",
    "3491_Noah_affine_equality_2433",
    "3491_Noah_affine_equality_3491",
    "3491_Shem_split_explicit_stages",
    "3493_inherited_ladder",
    "3493_weighted_pivot_identity",
    "3493_Shem_affine_equality_0",
    "3493_Shem_affine_equality_1",
    "3493_Shem_affine_equality_1935",
    "3493_Shem_affine_equality_2993",
    "3493_Noah_affine_equality_0",
    "3493_Noah_affine_equality_1",
    "3493_Noah_affine_equality_2435",
    "3493_Noah_affine_equality_3493",
    "3493_Shem_split_explicit_stages",
    "3706_inherited_ladder",
    "3706_weighted_pivot_identity",
    "3706_Shem_affine_equality_0",
    "3706_Shem_affine_equality_1",
    "3706_Shem_affine_equality_2148",
    "3706_Shem_affine_equality_3206",
    "3706_Noah_affine_equality_0",
    "3706_Noah_affine_equality_1",
    "3706_Noah_affine_equality_2648",
    "3706_Noah_affine_equality_3706",
    "3706_Shem_split_explicit_stages",
    "3708_inherited_ladder",
    "3708_weighted_pivot_identity",
    "3708_Shem_affine_equality_0",
    "3708_Shem_affine_equality_1",
    "3708_Shem_affine_equality_2150",
    "3708_Shem_affine_equality_3208",
    "3708_Noah_affine_equality_0",
    "3708_Noah_affine_equality_1",
    "3708_Noah_affine_equality_2650",
    "3708_Noah_affine_equality_3708",
    "3708_Shem_split_explicit_stages",
    "five_fully_sourced_profiles",
    "only3706_Shem_split_complete"
  ],
  "source_checks_passed": 25,
  "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",
    "C469_DATA.json",
    "C469_CERTIFICATE.json",
    "C469_CHECKPOINT.md",
    "C450_DATA.json",
    "C450_CERTIFICATE.json",
    "C429_DATA.json",
    "C429_CERTIFICATE.json",
    "C434_REPORT.md",
    "C434_CERTIFICATE.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C469 data certificate",
    "C450 primitive E data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}