RESULTS.json

{
  "step": "C447",
  "status": "passed",
  "assertions_passed": 192,
  "checks": [
    "parity_2540_2544",
    "parity_2540_3836",
    "parity_2540_3840",
    "parity_2544_3836",
    "parity_2544_3840",
    "parity_3836_3840",
    "parity_2541_2545",
    "parity_2541_2665",
    "parity_2541_3835",
    "parity_2541_3839",
    "parity_2545_2665",
    "parity_2545_3835",
    "parity_2545_3839",
    "parity_2665_3835",
    "parity_2665_3839",
    "parity_3835_3839",
    "parity_2542_3838",
    "parity_2543_3837",
    "parity_2600_2604",
    "parity_2600_3896",
    "parity_2600_3900",
    "parity_2604_3896",
    "parity_2604_3900",
    "parity_3896_3900",
    "parity_2601_2605",
    "parity_2601_3895",
    "parity_2601_3899",
    "parity_2605_3895",
    "parity_2605_3899",
    "parity_3895_3899",
    "parity_2602_3898",
    "parity_2603_3897",
    "parity_2606_2610",
    "parity_2606_2730",
    "parity_2606_2734",
    "parity_2606_3766",
    "parity_2606_3770",
    "parity_2610_2730",
    "parity_2610_2734",
    "parity_2610_3766",
    "parity_2610_3770",
    "parity_2730_2734",
    "parity_2730_3766",
    "parity_2730_3770",
    "parity_2734_3766",
    "parity_2734_3770",
    "parity_3766_3770",
    "parity_2607_2731",
    "parity_2607_2735",
    "parity_2607_3765",
    "parity_2607_3769",
    "parity_2731_2735",
    "parity_2731_3765",
    "parity_2731_3769",
    "parity_2735_3765",
    "parity_2735_3769",
    "parity_3765_3769",
    "parity_2608_2732",
    "parity_2608_3768",
    "parity_2732_3768",
    "parity_2609_2733",
    "parity_2609_3767",
    "parity_2733_3767",
    "parity_2666_2670",
    "parity_2666_2674",
    "parity_2666_3706",
    "parity_2666_3710",
    "parity_2670_2674",
    "parity_2670_3706",
    "parity_2670_3710",
    "parity_2674_3706",
    "parity_2674_3710",
    "parity_3706_3710",
    "parity_2667_2671",
    "parity_2667_2675",
    "parity_2667_2795",
    "parity_2667_3705",
    "parity_2667_3709",
    "parity_2671_2675",
    "parity_2671_2795",
    "parity_2671_3705",
    "parity_2671_3709",
    "parity_2675_2795",
    "parity_2675_3705",
    "parity_2675_3709",
    "parity_2795_3705",
    "parity_2795_3709",
    "parity_3705_3709",
    "parity_2668_2672",
    "parity_2668_3708",
    "parity_2672_3708",
    "parity_2669_2673",
    "parity_2669_3707",
    "parity_2673_3707",
    "parity_2755_2759",
    "parity_2755_3621",
    "parity_2755_3625",
    "parity_2759_3621",
    "parity_2759_3625",
    "parity_3621_3625",
    "parity_2756_2760",
    "parity_2756_3620",
    "parity_2756_3624",
    "parity_2760_3620",
    "parity_2760_3624",
    "parity_3620_3624",
    "parity_2757_3623",
    "parity_2758_3622",
    "parity_2815_2819",
    "parity_2815_3681",
    "parity_2815_3685",
    "parity_2819_3681",
    "parity_2819_3685",
    "parity_3681_3685",
    "parity_2816_2820",
    "parity_2816_3680",
    "parity_2816_3684",
    "parity_2820_3680",
    "parity_2820_3684",
    "parity_3680_3684",
    "parity_2817_3683",
    "parity_2818_3682",
    "parity_2885_2889",
    "parity_2885_3491",
    "parity_2885_3495",
    "parity_2889_3491",
    "parity_2889_3495",
    "parity_3491_3495",
    "parity_2886_2890",
    "parity_2886_3490",
    "parity_2886_3494",
    "parity_2890_3490",
    "parity_2890_3494",
    "parity_3490_3494",
    "parity_2887_3493",
    "parity_2888_3492",
    "parity_2945_2949",
    "parity_2945_3551",
    "parity_2945_3555",
    "parity_2949_3551",
    "parity_2949_3555",
    "parity_3551_3555",
    "parity_2946_2950",
    "parity_2946_3550",
    "parity_2946_3554",
    "parity_2950_3550",
    "parity_2950_3554",
    "parity_3550_3554",
    "parity_2947_3553",
    "parity_2948_3552",
    "parity_3080_3084",
    "parity_3080_3296",
    "parity_3080_3300",
    "parity_3084_3296",
    "parity_3084_3300",
    "parity_3296_3300",
    "parity_3081_3085",
    "parity_3081_3205",
    "parity_3081_3295",
    "parity_3081_3299",
    "parity_3085_3205",
    "parity_3085_3295",
    "parity_3085_3299",
    "parity_3205_3295",
    "parity_3205_3299",
    "parity_3295_3299",
    "parity_3082_3298",
    "parity_3083_3297",
    "parity_3105_3395",
    "parity_3106_3110",
    "parity_3106_3266",
    "parity_3106_3270",
    "parity_3110_3266",
    "parity_3110_3270",
    "parity_3266_3270",
    "parity_3107_3269",
    "parity_3108_3268",
    "parity_3109_3267",
    "parity_3165_3335",
    "parity_3166_3170",
    "parity_3166_3206",
    "parity_3166_3210",
    "parity_3170_3206",
    "parity_3170_3210",
    "parity_3206_3210",
    "parity_3167_3209",
    "parity_3168_3208",
    "parity_3169_3207",
    "parity_3186_3190",
    "parity_3235_3265",
    "parity_3246_3250",
    "all pairs counted"
  ],
  "source_checks_passed": 19,
  "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",
    "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
}