{
"step": "C476",
"status": "passed",
"assertions_passed": 341,
"checks": [
"429_data_certificate",
"472_data_certificate",
"(1, 0, 0, 0, 'primary')_Noah_source",
"(1, 0, 0, 0, 'primary')_E_arithmetic",
"(1, 0, 0, 0, 'primary')_input_gate",
"(1, 0, 0, 0, 'primary')_input_source_state",
"(1, 0, 0, 0, 'primary')_final_source_state",
"(1, 0, 0, 0, 'primary')_middle_gate",
"(1, 0, 0, 0, 'primary')_middle_source_state",
"(1, 0, 0, 0, 'companion')_Noah_source",
"(1, 0, 0, 0, 'companion')_E_arithmetic",
"(1, 0, 0, 0, 'companion')_input_gate",
"(1, 0, 0, 0, 'companion')_input_source_state",
"(1, 0, 0, 0, 'companion')_final_source_state",
"(1, 0, 0, 0, 'companion')_middle_gate",
"(1, 0, 0, 0, 'companion')_middle_source_state",
"(1, 0, 0, 1, 'primary')_Noah_source",
"(1, 0, 0, 1, 'primary')_E_arithmetic",
"(1, 0, 0, 1, 'primary')_input_gate",
"(1, 0, 0, 1, 'primary')_input_source_state",
"(1, 0, 0, 1, 'primary')_final_source_state",
"(1, 0, 0, 1, 'primary')_middle_gate",
"(1, 0, 0, 1, 'primary')_middle_source_state",
"(1, 0, 0, 1, 'companion')_Noah_source",
"(1, 0, 0, 1, 'companion')_E_arithmetic",
"(1, 0, 0, 1, 'companion')_input_gate",
"(1, 0, 0, 1, 'companion')_input_source_state",
"(1, 0, 0, 1, 'companion')_final_source_state",
"(1, 0, 0, 1, 'companion')_middle_gate",
"(1, 0, 0, 1, 'companion')_middle_source_state",
"(1, 0, 1, 0, 'primary')_Noah_source",
"(1, 0, 1, 0, 'primary')_E_arithmetic",
"(1, 0, 1, 0, 'primary')_input_gate",
"(1, 0, 1, 0, 'primary')_input_source_state",
"(1, 0, 1, 0, 'primary')_final_source_state",
"(1, 0, 1, 0, 'primary')_middle_gate",
"(1, 0, 1, 0, 'primary')_middle_source_state",
"(1, 0, 1, 0, 'companion')_Noah_source",
"(1, 0, 1, 0, 'companion')_E_arithmetic",
"(1, 0, 1, 0, 'companion')_input_gate",
"(1, 0, 1, 0, 'companion')_input_source_state",
"(1, 0, 1, 0, 'companion')_final_source_state",
"(1, 0, 1, 0, 'companion')_middle_gate",
"(1, 0, 1, 0, 'companion')_middle_source_state",
"(1, 0, 1, 1, 'primary')_Noah_source",
"(1, 0, 1, 1, 'primary')_E_arithmetic",
"(1, 0, 1, 1, 'primary')_input_gate",
"(1, 0, 1, 1, 'primary')_input_source_state",
"(1, 0, 1, 1, 'primary')_final_source_state",
"(1, 0, 1, 1, 'primary')_middle_gate",
"(1, 0, 1, 1, 'primary')_middle_source_state",
"(1, 0, 1, 1, 'companion')_Noah_source",
"(1, 0, 1, 1, 'companion')_E_arithmetic",
"(1, 0, 1, 1, 'companion')_input_gate",
"(1, 0, 1, 1, 'companion')_input_source_state",
"(1, 0, 1, 1, 'companion')_final_source_state",
"(1, 0, 1, 1, 'companion')_middle_gate",
"(1, 0, 1, 1, 'companion')_middle_source_state",
"(1, 1, 0, 0, 'primary')_Noah_source",
"(1, 1, 0, 0, 'primary')_E_arithmetic",
"(1, 1, 0, 0, 'primary')_input_gate",
"(1, 1, 0, 0, 'primary')_input_source_state",
"(1, 1, 0, 0, 'primary')_final_source_state",
"(1, 1, 0, 0, 'primary')_middle_gate",
"(1, 1, 0, 0, 'primary')_middle_source_state",
"(1, 1, 0, 0, 'companion')_Noah_source",
"(1, 1, 0, 0, 'companion')_E_arithmetic",
"(1, 1, 0, 0, 'companion')_input_gate",
"(1, 1, 0, 0, 'companion')_input_source_state",
"(1, 1, 0, 0, 'companion')_final_source_state",
"(1, 1, 0, 0, 'companion')_middle_gate",
"(1, 1, 0, 0, 'companion')_middle_source_state",
"(1, 1, 0, 1, 'primary')_Noah_source",
"(1, 1, 0, 1, 'primary')_E_arithmetic",
"(1, 1, 0, 1, 'primary')_input_gate",
"(1, 1, 0, 1, 'primary')_input_source_state",
"(1, 1, 0, 1, 'primary')_final_source_state",
"(1, 1, 0, 1, 'primary')_middle_gate",
"(1, 1, 0, 1, 'primary')_middle_source_state",
"(1, 1, 0, 1, 'companion')_Noah_source",
"(1, 1, 0, 1, 'companion')_E_arithmetic",
"(1, 1, 0, 1, 'companion')_input_gate",
"(1, 1, 0, 1, 'companion')_input_source_state",
"(1, 1, 0, 1, 'companion')_final_source_state",
"(1, 1, 0, 1, 'companion')_middle_gate",
"(1, 1, 0, 1, 'companion')_middle_source_state",
"(1, 1, 1, 0, 'primary')_Noah_source",
"(1, 1, 1, 0, 'primary')_E_arithmetic",
"(1, 1, 1, 0, 'primary')_input_gate",
"(1, 1, 1, 0, 'primary')_input_source_state",
"(1, 1, 1, 0, 'primary')_final_source_state",
"(1, 1, 1, 0, 'primary')_middle_gate",
"(1, 1, 1, 0, 'primary')_middle_source_state",
"(1, 1, 1, 0, 'companion')_Noah_source",
"(1, 1, 1, 0, 'companion')_E_arithmetic",
"(1, 1, 1, 0, 'companion')_input_gate",
"(1, 1, 1, 0, 'companion')_input_source_state",
"(1, 1, 1, 0, 'companion')_final_source_state",
"(1, 1, 1, 0, 'companion')_middle_gate",
"(1, 1, 1, 0, 'companion')_middle_source_state",
"(1, 1, 1, 1, 'primary')_Noah_source",
"(1, 1, 1, 1, 'primary')_E_arithmetic",
"(1, 1, 1, 1, 'primary')_input_gate",
"(1, 1, 1, 1, 'primary')_input_source_state",
"(1, 1, 1, 1, 'primary')_final_source_state",
"(1, 1, 1, 1, 'primary')_middle_gate",
"(1, 1, 1, 1, 'primary')_middle_source_state",
"(1, 1, 1, 1, 'companion')_Noah_source",
"(1, 1, 1, 1, 'companion')_E_arithmetic",
"(1, 1, 1, 1, 'companion')_input_gate",
"(1, 1, 1, 1, 'companion')_input_source_state",
"(1, 1, 1, 1, 'companion')_final_source_state",
"(1, 1, 1, 1, 'companion')_middle_gate",
"(1, 1, 1, 1, 'companion')_middle_source_state",
"(2, 0, 0, 0, 'primary')_Noah_source",
"(2, 0, 0, 0, 'primary')_E_arithmetic",
"(2, 0, 0, 0, 'primary')_input_gate",
"(2, 0, 0, 0, 'primary')_input_source_state",
"(2, 0, 0, 0, 'primary')_final_source_state",
"(2, 0, 0, 0, 'primary')_middle_gate",
"(2, 0, 0, 0, 'primary')_middle_source_state",
"(2, 0, 0, 0, 'companion')_Noah_source",
"(2, 0, 0, 0, 'companion')_E_arithmetic",
"(2, 0, 0, 0, 'companion')_input_gate",
"(2, 0, 0, 0, 'companion')_input_source_state",
"(2, 0, 0, 0, 'companion')_final_source_state",
"(2, 0, 0, 0, 'companion')_middle_gate",
"(2, 0, 0, 0, 'companion')_middle_source_state",
"(2, 0, 0, 1, 'primary')_Noah_source",
"(2, 0, 0, 1, 'primary')_E_arithmetic",
"(2, 0, 0, 1, 'primary')_input_gate",
"(2, 0, 0, 1, 'primary')_input_source_state",
"(2, 0, 0, 1, 'primary')_final_source_state",
"(2, 0, 0, 1, 'primary')_middle_gate",
"(2, 0, 0, 1, 'primary')_middle_source_state",
"(2, 0, 0, 1, 'companion')_Noah_source",
"(2, 0, 0, 1, 'companion')_E_arithmetic",
"(2, 0, 0, 1, 'companion')_input_gate",
"(2, 0, 0, 1, 'companion')_input_source_state",
"(2, 0, 0, 1, 'companion')_final_source_state",
"(2, 0, 0, 1, 'companion')_middle_gate",
"(2, 0, 0, 1, 'companion')_middle_source_state",
"(2, 0, 1, 0, 'primary')_Noah_source",
"(2, 0, 1, 0, 'primary')_E_arithmetic",
"(2, 0, 1, 0, 'primary')_input_gate",
"(2, 0, 1, 0, 'primary')_input_source_state",
"(2, 0, 1, 0, 'primary')_final_source_state",
"(2, 0, 1, 0, 'primary')_middle_gate",
"(2, 0, 1, 0, 'primary')_middle_source_state",
"(2, 0, 1, 0, 'companion')_Noah_source",
"(2, 0, 1, 0, 'companion')_E_arithmetic",
"(2, 0, 1, 0, 'companion')_input_gate",
"(2, 0, 1, 0, 'companion')_input_source_state",
"(2, 0, 1, 0, 'companion')_final_source_state",
"(2, 0, 1, 0, 'companion')_middle_gate",
"(2, 0, 1, 0, 'companion')_middle_source_state",
"(2, 0, 1, 1, 'primary')_Noah_source",
"(2, 0, 1, 1, 'primary')_E_arithmetic",
"(2, 0, 1, 1, 'primary')_input_gate",
"(2, 0, 1, 1, 'primary')_input_source_state",
"(2, 0, 1, 1, 'primary')_final_source_state",
"(2, 0, 1, 1, 'primary')_middle_gate",
"(2, 0, 1, 1, 'primary')_middle_source_state",
"(2, 0, 1, 1, 'companion')_Noah_source",
"(2, 0, 1, 1, 'companion')_E_arithmetic",
"(2, 0, 1, 1, 'companion')_input_gate",
"(2, 0, 1, 1, 'companion')_input_source_state",
"(2, 0, 1, 1, 'companion')_final_source_state",
"(2, 0, 1, 1, 'companion')_middle_gate",
"(2, 0, 1, 1, 'companion')_middle_source_state",
"(2, 1, 0, 0, 'primary')_Noah_source",
"(2, 1, 0, 0, 'primary')_E_arithmetic",
"(2, 1, 0, 0, 'primary')_input_gate",
"(2, 1, 0, 0, 'primary')_input_source_state",
"(2, 1, 0, 0, 'primary')_final_source_state",
"(2, 1, 0, 0, 'primary')_middle_gate",
"(2, 1, 0, 0, 'primary')_middle_source_state",
"(2, 1, 0, 0, 'companion')_Noah_source",
"(2, 1, 0, 0, 'companion')_E_arithmetic",
"(2, 1, 0, 0, 'companion')_input_gate",
"(2, 1, 0, 0, 'companion')_input_source_state",
"(2, 1, 0, 0, 'companion')_final_source_state",
"(2, 1, 0, 0, 'companion')_middle_gate",
"(2, 1, 0, 0, 'companion')_middle_source_state",
"(2, 1, 0, 1, 'primary')_Noah_source",
"(2, 1, 0, 1, 'primary')_E_arithmetic",
"(2, 1, 0, 1, 'primary')_input_gate",
"(2, 1, 0, 1, 'primary')_input_source_state",
"(2, 1, 0, 1, 'primary')_final_source_state",
"(2, 1, 0, 1, 'primary')_middle_gate",
"(2, 1, 0, 1, 'primary')_middle_source_state",
"(2, 1, 0, 1, 'companion')_Noah_source",
"(2, 1, 0, 1, 'companion')_E_arithmetic",
"(2, 1, 0, 1, 'companion')_input_gate",
"(2, 1, 0, 1, 'companion')_input_source_state",
"(2, 1, 0, 1, 'companion')_final_source_state",
"(2, 1, 0, 1, 'companion')_middle_gate",
"(2, 1, 0, 1, 'companion')_middle_source_state",
"(2, 1, 1, 0, 'primary')_Noah_source",
"(2, 1, 1, 0, 'primary')_E_arithmetic",
"(2, 1, 1, 0, 'primary')_input_gate",
"(2, 1, 1, 0, 'primary')_input_source_state",
"(2, 1, 1, 0, 'primary')_final_source_state",
"(2, 1, 1, 0, 'primary')_middle_gate",
"(2, 1, 1, 0, 'primary')_middle_source_state",
"(2, 1, 1, 0, 'companion')_Noah_source",
"(2, 1, 1, 0, 'companion')_E_arithmetic",
"(2, 1, 1, 0, 'companion')_input_gate",
"(2, 1, 1, 0, 'companion')_input_source_state",
"(2, 1, 1, 0, 'companion')_final_source_state",
"(2, 1, 1, 0, 'companion')_middle_gate",
"(2, 1, 1, 0, 'companion')_middle_source_state",
"(2, 1, 1, 1, 'primary')_Noah_source",
"(2, 1, 1, 1, 'primary')_E_arithmetic",
"(2, 1, 1, 1, 'primary')_input_gate",
"(2, 1, 1, 1, 'primary')_input_source_state",
"(2, 1, 1, 1, 'primary')_final_source_state",
"(2, 1, 1, 1, 'primary')_middle_gate",
"(2, 1, 1, 1, 'primary')_middle_source_state",
"(2, 1, 1, 1, 'companion')_Noah_source",
"(2, 1, 1, 1, 'companion')_E_arithmetic",
"(2, 1, 1, 1, 'companion')_input_gate",
"(2, 1, 1, 1, 'companion')_input_source_state",
"(2, 1, 1, 1, 'companion')_final_source_state",
"(2, 1, 1, 1, 'companion')_middle_gate",
"(2, 1, 1, 1, 'companion')_middle_source_state",
"(3, 0, 0, 0, 'primary')_Noah_source",
"(3, 0, 0, 0, 'primary')_E_arithmetic",
"(3, 0, 0, 0, 'primary')_input_gate",
"(3, 0, 0, 0, 'primary')_input_source_state",
"(3, 0, 0, 0, 'primary')_final_source_state",
"(3, 0, 0, 0, 'primary')_middle_gate",
"(3, 0, 0, 0, 'primary')_middle_source_state",
"(3, 0, 0, 0, 'companion')_Noah_source",
"(3, 0, 0, 0, 'companion')_E_arithmetic",
"(3, 0, 0, 0, 'companion')_input_gate",
"(3, 0, 0, 0, 'companion')_input_source_state",
"(3, 0, 0, 0, 'companion')_final_source_state",
"(3, 0, 0, 0, 'companion')_middle_gate",
"(3, 0, 0, 0, 'companion')_middle_source_state",
"(3, 0, 0, 1, 'primary')_Noah_source",
"(3, 0, 0, 1, 'primary')_E_arithmetic",
"(3, 0, 0, 1, 'primary')_input_gate",
"(3, 0, 0, 1, 'primary')_input_source_state",
"(3, 0, 0, 1, 'primary')_final_source_state",
"(3, 0, 0, 1, 'primary')_middle_gate",
"(3, 0, 0, 1, 'primary')_middle_source_state",
"(3, 0, 0, 1, 'companion')_Noah_source",
"(3, 0, 0, 1, 'companion')_E_arithmetic",
"(3, 0, 0, 1, 'companion')_input_gate",
"(3, 0, 0, 1, 'companion')_input_source_state",
"(3, 0, 0, 1, 'companion')_final_source_state",
"(3, 0, 0, 1, 'companion')_middle_gate",
"(3, 0, 0, 1, 'companion')_middle_source_state",
"(3, 0, 1, 0, 'primary')_Noah_source",
"(3, 0, 1, 0, 'primary')_E_arithmetic",
"(3, 0, 1, 0, 'primary')_input_gate",
"(3, 0, 1, 0, 'primary')_input_source_state",
"(3, 0, 1, 0, 'primary')_final_source_state",
"(3, 0, 1, 0, 'primary')_middle_gate",
"(3, 0, 1, 0, 'primary')_middle_source_state",
"(3, 0, 1, 0, 'companion')_Noah_source",
"(3, 0, 1, 0, 'companion')_E_arithmetic",
"(3, 0, 1, 0, 'companion')_input_gate",
"(3, 0, 1, 0, 'companion')_input_source_state",
"(3, 0, 1, 0, 'companion')_final_source_state",
"(3, 0, 1, 0, 'companion')_middle_gate",
"(3, 0, 1, 0, 'companion')_middle_source_state",
"(3, 0, 1, 1, 'primary')_Noah_source",
"(3, 0, 1, 1, 'primary')_E_arithmetic",
"(3, 0, 1, 1, 'primary')_input_gate",
"(3, 0, 1, 1, 'primary')_input_source_state",
"(3, 0, 1, 1, 'primary')_final_source_state",
"(3, 0, 1, 1, 'primary')_middle_gate",
"(3, 0, 1, 1, 'primary')_middle_source_state",
"(3, 0, 1, 1, 'companion')_Noah_source",
"(3, 0, 1, 1, 'companion')_E_arithmetic",
"(3, 0, 1, 1, 'companion')_input_gate",
"(3, 0, 1, 1, 'companion')_input_source_state",
"(3, 0, 1, 1, 'companion')_final_source_state",
"(3, 0, 1, 1, 'companion')_middle_gate",
"(3, 0, 1, 1, 'companion')_middle_source_state",
"(3, 1, 0, 0, 'primary')_Noah_source",
"(3, 1, 0, 0, 'primary')_E_arithmetic",
"(3, 1, 0, 0, 'primary')_input_gate",
"(3, 1, 0, 0, 'primary')_input_source_state",
"(3, 1, 0, 0, 'primary')_final_source_state",
"(3, 1, 0, 0, 'primary')_middle_gate",
"(3, 1, 0, 0, 'primary')_middle_source_state",
"(3, 1, 0, 0, 'companion')_Noah_source",
"(3, 1, 0, 0, 'companion')_E_arithmetic",
"(3, 1, 0, 0, 'companion')_input_gate",
"(3, 1, 0, 0, 'companion')_input_source_state",
"(3, 1, 0, 0, 'companion')_final_source_state",
"(3, 1, 0, 0, 'companion')_middle_gate",
"(3, 1, 0, 0, 'companion')_middle_source_state",
"(3, 1, 0, 1, 'primary')_Noah_source",
"(3, 1, 0, 1, 'primary')_E_arithmetic",
"(3, 1, 0, 1, 'primary')_input_gate",
"(3, 1, 0, 1, 'primary')_input_source_state",
"(3, 1, 0, 1, 'primary')_final_source_state",
"(3, 1, 0, 1, 'primary')_middle_gate",
"(3, 1, 0, 1, 'primary')_middle_source_state",
"(3, 1, 0, 1, 'companion')_Noah_source",
"(3, 1, 0, 1, 'companion')_E_arithmetic",
"(3, 1, 0, 1, 'companion')_input_gate",
"(3, 1, 0, 1, 'companion')_input_source_state",
"(3, 1, 0, 1, 'companion')_final_source_state",
"(3, 1, 0, 1, 'companion')_middle_gate",
"(3, 1, 0, 1, 'companion')_middle_source_state",
"(3, 1, 1, 0, 'primary')_Noah_source",
"(3, 1, 1, 0, 'primary')_E_arithmetic",
"(3, 1, 1, 0, 'primary')_input_gate",
"(3, 1, 1, 0, 'primary')_input_source_state",
"(3, 1, 1, 0, 'primary')_final_source_state",
"(3, 1, 1, 0, 'primary')_middle_gate",
"(3, 1, 1, 0, 'primary')_middle_source_state",
"(3, 1, 1, 0, 'companion')_Noah_source",
"(3, 1, 1, 0, 'companion')_E_arithmetic",
"(3, 1, 1, 0, 'companion')_input_gate",
"(3, 1, 1, 0, 'companion')_input_source_state",
"(3, 1, 1, 0, 'companion')_final_source_state",
"(3, 1, 1, 0, 'companion')_middle_gate",
"(3, 1, 1, 0, 'companion')_middle_source_state",
"(3, 1, 1, 1, 'primary')_Noah_source",
"(3, 1, 1, 1, 'primary')_E_arithmetic",
"(3, 1, 1, 1, 'primary')_input_gate",
"(3, 1, 1, 1, 'primary')_input_source_state",
"(3, 1, 1, 1, 'primary')_final_source_state",
"(3, 1, 1, 1, 'primary')_middle_gate",
"(3, 1, 1, 1, 'primary')_middle_source_state",
"(3, 1, 1, 1, 'companion')_Noah_source",
"(3, 1, 1, 1, 'companion')_E_arithmetic",
"(3, 1, 1, 1, 'companion')_input_gate",
"extra_companion_input_is_MT_Noah2841",
"(3, 1, 1, 1, 'companion')_input_source_state",
"(3, 1, 1, 1, 'companion')_final_source_state",
"(3, 1, 1, 1, 'companion')_middle_gate",
"(3, 1, 1, 1, 'companion')_middle_source_state",
"four_primary_match_C429",
"companion_endpoint_cases_already_recorded"
],
"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",
"C472_DATA.json",
"C472_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
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 7dee7a26af2b29a0f70e7a62d07ec5eb843921d7475cb76cf8c6180fa4ec72b3
C01–C479/packets/C476/evidence/RESULTS.json