RESULTS.json

{
  "step": "C468",
  "status": "passed",
  "assertions_passed": 51,
  "checks": [
    "certificate_C445",
    "certificate_C446",
    "certificate_C448",
    "certificate_C449",
    "certificate_C450",
    "certificate_C451",
    "certificate_C452",
    "certificate_C454",
    "certificate_C455",
    "certificate_C457",
    "certificate_C459",
    "certificate_C461",
    "certificate_C463",
    "certificate_C464",
    "certificate_C465",
    "certificate_C466",
    "independent_source_grid",
    "source_base_excerpt",
    "inverse_pivot_E_arrows",
    "sum_enumeration_R_arrows",
    "reflection_compositions",
    "E_compositions",
    "displacement_2756_2756_2756",
    "displacement_2756_3620_3170",
    "displacement_2758_2756_2735",
    "displacement_2758_2758_2758",
    "displacement_2758_3620_2620",
    "displacement_2816_2816_2816",
    "displacement_2818_2818_2818",
    "displacement_3620_2756_2148",
    "displacement_3620_2756_3206",
    "displacement_3620_3620_3620",
    "displacement_3620_3682_2746",
    "displacement_3622_3622_3622",
    "displacement_3680_2756_3105",
    "displacement_3680_3680_3680",
    "displacement_3682_3682_3682",
    "unique_sourced_K_ladder",
    "residue_bucket_K_pairs",
    "bitset_full_reachability",
    "bitset_K_exclusion",
    "bitset_strong_components",
    "pair_relation_closure",
    "pair_relation_edges",
    "reverse_Mirror_enumeration",
    "reverse_anchor_qualified_Mirror",
    "companion_source_control",
    "LXX_alias_source_control",
    "cycle_two_point_map_C448",
    "cycle_two_point_map_C452",
    "sealed_audit"
  ],
  "source_checks_passed": 54,
  "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",
    "C444_DATA.json",
    "C444_CERTIFICATE.json",
    "C444_CHECKPOINT.md",
    "C438_DATA.json",
    "PRE_C468_SEALED_AUDIT.json",
    "C365_DATA.json",
    "C287_DATA.json",
    "C445_DATA.json",
    "C445_CERTIFICATE.json",
    "C446_DATA.json",
    "C446_CERTIFICATE.json",
    "C448_DATA.json",
    "C448_CERTIFICATE.json",
    "C449_DATA.json",
    "C449_CERTIFICATE.json",
    "C450_DATA.json",
    "C450_CERTIFICATE.json",
    "C451_DATA.json",
    "C451_CERTIFICATE.json",
    "C452_DATA.json",
    "C452_CERTIFICATE.json",
    "C454_DATA.json",
    "C454_CERTIFICATE.json",
    "C455_DATA.json",
    "C455_CERTIFICATE.json",
    "C457_DATA.json",
    "C457_CERTIFICATE.json",
    "C459_DATA.json",
    "C459_CERTIFICATE.json",
    "C461_DATA.json",
    "C461_CERTIFICATE.json",
    "C463_DATA.json",
    "C463_CERTIFICATE.json",
    "C464_DATA.json",
    "C464_CERTIFICATE.json",
    "C465_DATA.json",
    "C465_CERTIFICATE.json",
    "C466_DATA.json",
    "C466_CERTIFICATE.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C444 data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}