{
  "step": "C470",
  "status": "passed",
  "assertions_passed": 432,
  "checks": [
    "span_1741_2756",
    "span_1741_2758",
    "span_1741_2816",
    "span_1741_2818",
    "span_1741_3620",
    "span_1741_3622",
    "span_1741_3680",
    "span_1741_3682",
    "span_1743_2756",
    "span_1743_2758",
    "span_1743_2816",
    "span_1743_2818",
    "span_1743_3620",
    "span_1743_3622",
    "span_1743_3680",
    "span_1743_3682",
    "span_1745_2756",
    "span_1745_2758",
    "span_1745_2816",
    "span_1745_2818",
    "span_1745_3620",
    "span_1745_3622",
    "span_1745_3680",
    "span_1745_3682",
    "span_1801_2756",
    "span_1801_2758",
    "span_1801_2816",
    "span_1801_2818",
    "span_1801_3620",
    "span_1801_3622",
    "span_1801_3680",
    "span_1801_3682",
    "span_1803_2756",
    "span_1803_2758",
    "span_1803_2816",
    "span_1803_2818",
    "span_1803_3620",
    "span_1803_3622",
    "span_1803_3680",
    "span_1803_3682",
    "span_1805_2756",
    "span_1805_2758",
    "span_1805_2816",
    "span_1805_2818",
    "span_1805_3620",
    "span_1805_3622",
    "span_1805_3680",
    "span_1805_3682",
    "span_1871_2756",
    "span_1871_2758",
    "span_1871_2816",
    "span_1871_2818",
    "span_1871_3620",
    "span_1871_3622",
    "span_1871_3680",
    "span_1871_3682",
    "span_1873_2756",
    "span_1873_2758",
    "span_1873_2816",
    "span_1873_2818",
    "span_1873_3620",
    "span_1873_3622",
    "span_1873_3680",
    "span_1873_3682",
    "span_1875_2756",
    "span_1875_2758",
    "span_1875_2816",
    "span_1875_2818",
    "span_1875_3620",
    "span_1875_3622",
    "span_1875_3680",
    "span_1875_3682",
    "span_1931_2756",
    "span_1931_2758",
    "span_1931_2816",
    "span_1931_2818",
    "span_1931_3620",
    "span_1931_3622",
    "span_1931_3680",
    "span_1931_3682",
    "span_1933_2756",
    "span_1933_2758",
    "span_1933_2816",
    "span_1933_2818",
    "span_1933_3620",
    "span_1933_3622",
    "span_1933_3680",
    "span_1933_3682",
    "span_1935_2756",
    "span_1935_2758",
    "span_1935_2816",
    "span_1935_2818",
    "span_1935_3620",
    "span_1935_3622",
    "span_1935_3680",
    "span_1935_3682",
    "span_1955_2756",
    "span_1955_2758",
    "span_1955_2816",
    "span_1955_2818",
    "span_1955_3620",
    "span_1955_3622",
    "span_1955_3680",
    "pre_span_1955_3680_2756",
    "pre_span_1955_3680_2758",
    "pre_span_1955_3680_2816",
    "pre_span_1955_3680_2818",
    "pre_span_1955_3680_3620",
    "pre_span_1955_3680_3622",
    "pre_span_1955_3680_3680",
    "pre_span_1955_3680_3682",
    "span_1955_3682",
    "span_1956_2756",
    "span_1956_2758",
    "span_1956_2816",
    "span_1956_2818",
    "span_1956_3620",
    "span_1956_3622",
    "span_1956_3680",
    "span_1956_3682",
    "span_1958_2756",
    "span_1958_2758",
    "span_1958_2816",
    "span_1958_2818",
    "span_1958_3620",
    "span_1958_3622",
    "span_1958_3680",
    "span_1958_3682",
    "span_1960_2756",
    "span_1960_2758",
    "span_1960_2816",
    "span_1960_2818",
    "span_1960_3620",
    "span_1960_3622",
    "span_1960_3680",
    "span_1960_3682",
    "span_2016_2756",
    "span_2016_2758",
    "span_2016_2816",
    "span_2016_2818",
    "span_2016_3620",
    "span_2016_3622",
    "span_2016_3680",
    "span_2016_3682",
    "span_2018_2756",
    "span_2018_2758",
    "span_2018_2816",
    "span_2018_2818",
    "span_2018_3620",
    "span_2018_3622",
    "span_2018_3680",
    "span_2018_3682",
    "span_2020_2756",
    "pre_span_2020_2756_2756",
    "pre_span_2020_2756_2758",
    "pre_span_2020_2756_2816",
    "pre_span_2020_2756_2818",
    "pre_span_2020_2756_3620",
    "pre_span_2020_2756_3622",
    "pre_span_2020_2756_3680",
    "pre_span_2020_2756_3682",
    "span_2020_2758",
    "span_2020_2816",
    "span_2020_2818",
    "span_2020_3620",
    "span_2020_3622",
    "span_2020_3680",
    "span_2020_3682",
    "span_2085_2756",
    "span_2085_2758",
    "span_2085_2816",
    "span_2085_2818",
    "span_2085_3620",
    "span_2085_3622",
    "span_2085_3680",
    "span_2085_3682",
    "span_2086_2756",
    "span_2086_2758",
    "span_2086_2816",
    "span_2086_2818",
    "span_2086_3620",
    "span_2086_3622",
    "span_2086_3680",
    "span_2086_3682",
    "span_2088_2756",
    "span_2088_2758",
    "span_2088_2816",
    "span_2088_2818",
    "span_2088_3620",
    "span_2088_3622",
    "span_2088_3680",
    "span_2088_3682",
    "span_2090_2756",
    "span_2090_2758",
    "span_2090_2816",
    "span_2090_2818",
    "span_2090_3620",
    "span_2090_3622",
    "span_2090_3680",
    "span_2090_3682",
    "span_2146_2756",
    "span_2146_2758",
    "span_2146_2816",
    "span_2146_2818",
    "span_2146_3620",
    "span_2146_3622",
    "span_2146_3680",
    "span_2146_3682",
    "span_2148_2756",
    "span_2148_2758",
    "span_2148_2816",
    "span_2148_2818",
    "span_2148_3620",
    "pre_span_2148_3620_2756",
    "pre_span_2148_3620_2758",
    "pre_span_2148_3620_2816",
    "pre_span_2148_3620_2818",
    "pre_span_2148_3620_3620",
    "pre_span_2148_3620_3622",
    "pre_span_2148_3620_3680",
    "pre_span_2148_3620_3682",
    "span_2148_3622",
    "span_2148_3680",
    "span_2148_3682",
    "span_2150_2756",
    "span_2150_2758",
    "span_2150_2816",
    "span_2150_2818",
    "span_2150_3620",
    "span_2150_3622",
    "span_2150_3680",
    "span_2150_3682",
    "span_2245_2756",
    "span_2245_2758",
    "span_2245_2816",
    "span_2245_2818",
    "span_2245_3620",
    "span_2245_3622",
    "span_2245_3680",
    "span_2245_3682",
    "span_2341_2756",
    "span_2341_2758",
    "span_2341_2816",
    "span_2341_2818",
    "span_2341_3620",
    "span_2341_3622",
    "span_2341_3680",
    "span_2341_3682",
    "span_2343_2756",
    "span_2343_2758",
    "span_2343_2816",
    "span_2343_2818",
    "span_2343_3620",
    "span_2343_3622",
    "span_2343_3680",
    "span_2343_3682",
    "span_2345_2756",
    "span_2345_2758",
    "span_2345_2816",
    "span_2345_2818",
    "span_2345_3620",
    "span_2345_3622",
    "span_2345_3680",
    "span_2345_3682",
    "span_2401_2756",
    "span_2401_2758",
    "span_2401_2816",
    "span_2401_2818",
    "span_2401_3620",
    "span_2401_3622",
    "span_2401_3680",
    "span_2401_3682",
    "span_2403_2756",
    "span_2403_2758",
    "span_2403_2816",
    "span_2403_2818",
    "span_2403_3620",
    "span_2403_3622",
    "span_2403_3680",
    "span_2403_3682",
    "span_2405_2756",
    "span_2405_2758",
    "span_2405_2816",
    "span_2405_2818",
    "span_2405_3620",
    "span_2405_3622",
    "span_2405_3680",
    "span_2405_3682",
    "span_2471_2756",
    "span_2471_2758",
    "span_2471_2816",
    "span_2471_2818",
    "span_2471_3620",
    "span_2471_3622",
    "span_2471_3680",
    "span_2471_3682",
    "span_2473_2756",
    "span_2473_2758",
    "span_2473_2816",
    "span_2473_2818",
    "span_2473_3620",
    "span_2473_3622",
    "span_2473_3680",
    "span_2473_3682",
    "span_2475_2756",
    "span_2475_2758",
    "span_2475_2816",
    "span_2475_2818",
    "span_2475_3620",
    "span_2475_3622",
    "span_2475_3680",
    "span_2475_3682",
    "span_2531_2756",
    "span_2531_2758",
    "span_2531_2816",
    "span_2531_2818",
    "span_2531_3620",
    "span_2531_3622",
    "span_2531_3680",
    "span_2531_3682",
    "span_2533_2756",
    "span_2533_2758",
    "span_2533_2816",
    "span_2533_2818",
    "span_2533_3620",
    "span_2533_3622",
    "span_2533_3680",
    "span_2533_3682",
    "span_2535_2756",
    "span_2535_2758",
    "span_2535_2816",
    "span_2535_2818",
    "span_2535_3620",
    "span_2535_3622",
    "span_2535_3680",
    "span_2535_3682",
    "span_2556_2756",
    "span_2556_2758",
    "span_2556_2816",
    "span_2556_2818",
    "span_2556_3620",
    "span_2556_3622",
    "span_2556_3680",
    "span_2556_3682",
    "span_2558_2756",
    "span_2558_2758",
    "span_2558_2816",
    "span_2558_2818",
    "span_2558_3620",
    "span_2558_3622",
    "span_2558_3680",
    "span_2558_3682",
    "span_2560_2756",
    "span_2560_2758",
    "span_2560_2816",
    "span_2560_2818",
    "span_2560_3620",
    "span_2560_3622",
    "span_2560_3680",
    "span_2560_3682",
    "span_2616_2756",
    "span_2616_2758",
    "span_2616_2816",
    "span_2616_2818",
    "span_2616_3620",
    "span_2616_3622",
    "span_2616_3680",
    "span_2616_3682",
    "span_2618_2756",
    "span_2618_2758",
    "span_2618_2816",
    "span_2618_2818",
    "span_2618_3620",
    "span_2618_3622",
    "span_2618_3680",
    "span_2618_3682",
    "span_2620_2756",
    "span_2620_2758",
    "span_2620_2816",
    "span_2620_2818",
    "span_2620_3620",
    "span_2620_3622",
    "span_2620_3680",
    "span_2620_3682",
    "span_2686_2756",
    "span_2686_2758",
    "span_2686_2816",
    "span_2686_2818",
    "span_2686_3620",
    "span_2686_3622",
    "span_2686_3680",
    "span_2686_3682",
    "span_2688_2756",
    "span_2688_2758",
    "span_2688_2816",
    "span_2688_2818",
    "span_2688_3620",
    "span_2688_3622",
    "span_2688_3680",
    "span_2688_3682",
    "span_2690_2756",
    "span_2690_2758",
    "span_2690_2816",
    "span_2690_2818",
    "span_2690_3620",
    "span_2690_3622",
    "span_2690_3680",
    "span_2690_3682",
    "span_2746_2756",
    "span_2746_2758",
    "span_2746_2816",
    "span_2746_2818",
    "span_2746_3620",
    "span_2746_3622",
    "span_2746_3680",
    "span_2746_3682",
    "span_2748_2756",
    "span_2748_2758",
    "span_2748_2816",
    "span_2748_2818",
    "span_2748_3620",
    "span_2748_3622",
    "span_2748_3680",
    "span_2748_3682",
    "span_2750_2756",
    "span_2750_2758",
    "span_2750_2816",
    "span_2750_2818",
    "span_2750_3620",
    "span_2750_3622",
    "span_2750_3680",
    "span_2750_3682"
  ],
  "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
}
