RESULTS.json

{
  "step": "C471",
  "status": "passed",
  "assertions_passed": 52,
  "checks": [
    "source_3680_1805_362",
    "source_3680_1955_346",
    "source_3680_3055_402",
    "source_3680_3055_514",
    "source_3680_3105_89",
    "source_3680_3105_137",
    "source_3680_3680_190",
    "coherent_output_3680",
    "inverse_mod25_3680_2756",
    "inverse_mod25_3680_2758",
    "inverse_mod25_3680_2816",
    "inverse_mod25_3680_2818",
    "inverse_mod25_3680_3620",
    "inverse_mod25_3680_3622",
    "inverse_mod25_3680_3680",
    "inverse_mod25_3680_3682",
    "source_2756_1956_169",
    "source_2756_2020_363",
    "source_2756_2756_193",
    "source_2756_2756_441",
    "source_2756_3170_51",
    "source_2756_3170_99",
    "source_2756_3206_209",
    "source_2756_3206_449",
    "coherent_output_2756",
    "inverse_mod25_2756_2756",
    "inverse_mod25_2756_2758",
    "inverse_mod25_2756_2816",
    "inverse_mod25_2756_2818",
    "inverse_mod25_2756_3620",
    "inverse_mod25_2756_3622",
    "inverse_mod25_2756_3680",
    "inverse_mod25_2756_3682",
    "source_3620_2020_363",
    "source_3620_2148_271",
    "source_3620_3270_403",
    "source_3620_3270_515",
    "source_3620_3298_71",
    "source_3620_3298_119",
    "source_3620_3620_188",
    "coherent_output_3620",
    "inverse_mod25_3620_2756",
    "inverse_mod25_3620_2758",
    "inverse_mod25_3620_2816",
    "inverse_mod25_3620_2818",
    "inverse_mod25_3620_3620",
    "inverse_mod25_3620_3622",
    "inverse_mod25_3620_3680",
    "inverse_mod25_3620_3682",
    "role_equation_1955/3105",
    "role_equation_2020/3170",
    "role_equation_2148/3298"
  ],
  "source_checks_passed": 21,
  "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",
    "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
}