{
  "step": "C421",
  "status": "passed",
  "assertions_passed": 378,
  "checks": [
    "whole-map equality from pivot equation 1741",
    "whole-map equality from pivot equation 1743",
    "whole-map equality from pivot equation 1745",
    "whole-map equality from pivot equation 1801",
    "whole-map equality from pivot equation 1803",
    "whole-map equality from pivot equation 1805",
    "whole-map equality from pivot equation 1871",
    "whole-map equality from pivot equation 1873",
    "whole-map equality from pivot equation 1875",
    "whole-map equality from pivot equation 1891",
    "whole-map equality from pivot equation 1893",
    "whole-map equality from pivot equation 1895",
    "whole-map equality from pivot equation 1931",
    "whole-map equality from pivot equation 1933",
    "whole-map equality from pivot equation 1935",
    "whole-map equality from pivot equation 1951",
    "whole-map equality from pivot equation 1953",
    "whole-map equality from pivot equation 1955",
    "whole-map equality from pivot equation 1956",
    "whole-map equality from pivot equation 1958",
    "whole-map equality from pivot equation 1960",
    "whole-map equality from pivot equation 2016",
    "whole-map equality from pivot equation 2018",
    "whole-map equality from pivot equation 2020",
    "whole-map equality from pivot equation 2021",
    "whole-map equality from pivot equation 2023",
    "whole-map equality from pivot equation 2025",
    "whole-map equality from pivot equation 2081",
    "whole-map equality from pivot equation 2083",
    "whole-map equality from pivot equation 2085",
    "whole-map equality from pivot equation 2086",
    "whole-map equality from pivot equation 2088",
    "whole-map equality from pivot equation 2090",
    "whole-map equality from pivot equation 2106",
    "whole-map equality from pivot equation 2108",
    "whole-map equality from pivot equation 2110",
    "whole-map equality from pivot equation 2146",
    "whole-map equality from pivot equation 2148",
    "whole-map equality from pivot equation 2150",
    "whole-map equality from pivot equation 2166",
    "whole-map equality from pivot equation 2168",
    "whole-map equality from pivot equation 2170",
    "whole-map equality from pivot equation 2236",
    "whole-map equality from pivot equation 2238",
    "whole-map equality from pivot equation 2240",
    "whole-map equality from pivot equation 2241",
    "whole-map equality from pivot equation 2242",
    "whole-map equality from pivot equation 2243",
    "whole-map equality from pivot equation 2244",
    "whole-map equality from pivot equation 2245",
    "whole-map equality from pivot equation 2296",
    "whole-map equality from pivot equation 2298",
    "whole-map equality from pivot equation 2300",
    "whole-map equality from pivot equation 2301",
    "whole-map equality from pivot equation 2302",
    "whole-map equality from pivot equation 2303",
    "whole-map equality from pivot equation 2304",
    "whole-map equality from pivot equation 2305",
    "whole-map equality from pivot equation 2341",
    "whole-map equality from pivot equation 2343",
    "whole-map equality from pivot equation 2345",
    "whole-map equality from pivot equation 2370",
    "whole-map equality from pivot equation 2371",
    "whole-map equality from pivot equation 2372",
    "whole-map equality from pivot equation 2373",
    "whole-map equality from pivot equation 2374",
    "whole-map equality from pivot equation 2375",
    "whole-map equality from pivot equation 2390",
    "whole-map equality from pivot equation 2391",
    "whole-map equality from pivot equation 2392",
    "whole-map equality from pivot equation 2393",
    "whole-map equality from pivot equation 2394",
    "whole-map equality from pivot equation 2395",
    "whole-map equality from pivot equation 2401",
    "whole-map equality from pivot equation 2403",
    "whole-map equality from pivot equation 2405",
    "whole-map equality from pivot equation 2430",
    "whole-map equality from pivot equation 2431",
    "whole-map equality from pivot equation 2432",
    "whole-map equality from pivot equation 2433",
    "whole-map equality from pivot equation 2434",
    "whole-map equality from pivot equation 2435",
    "whole-map equality from pivot equation 2450",
    "whole-map equality from pivot equation 2451",
    "whole-map equality from pivot equation 2452",
    "whole-map equality from pivot equation 2453",
    "whole-map equality from pivot equation 2454",
    "whole-map equality from pivot equation 2455",
    "whole-map equality from pivot equation 2456",
    "whole-map equality from pivot equation 2457",
    "whole-map equality from pivot equation 2458",
    "whole-map equality from pivot equation 2459",
    "whole-map equality from pivot equation 2460",
    "whole-map equality from pivot equation 2471",
    "whole-map equality from pivot equation 2473",
    "whole-map equality from pivot equation 2475",
    "whole-map equality from pivot equation 2515",
    "whole-map equality from pivot equation 2516",
    "whole-map equality from pivot equation 2517",
    "whole-map equality from pivot equation 2518",
    "whole-map equality from pivot equation 2519",
    "whole-map equality from pivot equation 2520",
    "whole-map equality from pivot equation 2521",
    "whole-map equality from pivot equation 2522",
    "whole-map equality from pivot equation 2523",
    "whole-map equality from pivot equation 2524",
    "whole-map equality from pivot equation 2525",
    "whole-map equality from pivot equation 2531",
    "whole-map equality from pivot equation 2533",
    "whole-map equality from pivot equation 2535",
    "whole-map equality from pivot equation 2540",
    "whole-map equality from pivot equation 2541",
    "whole-map equality from pivot equation 2542",
    "whole-map equality from pivot equation 2543",
    "whole-map equality from pivot equation 2544",
    "whole-map equality from pivot equation 2545",
    "whole-map equality from pivot equation 2556",
    "whole-map equality from pivot equation 2558",
    "whole-map equality from pivot equation 2560",
    "whole-map equality from pivot equation 2580",
    "whole-map equality from pivot equation 2581",
    "whole-map equality from pivot equation 2582",
    "whole-map equality from pivot equation 2583",
    "whole-map equality from pivot equation 2584",
    "whole-map equality from pivot equation 2585",
    "whole-map equality from pivot equation 2586",
    "whole-map equality from pivot equation 2587",
    "whole-map equality from pivot equation 2588",
    "whole-map equality from pivot equation 2589",
    "whole-map equality from pivot equation 2590",
    "whole-map equality from pivot equation 2600",
    "whole-map equality from pivot equation 2601",
    "whole-map equality from pivot equation 2602",
    "whole-map equality from pivot equation 2603",
    "whole-map equality from pivot equation 2604",
    "whole-map equality from pivot equation 2605",
    "whole-map equality from pivot equation 2606",
    "whole-map equality from pivot equation 2607",
    "whole-map equality from pivot equation 2608",
    "whole-map equality from pivot equation 2609",
    "whole-map equality from pivot equation 2610",
    "whole-map equality from pivot equation 2616",
    "whole-map equality from pivot equation 2618",
    "whole-map equality from pivot equation 2620",
    "whole-map equality from pivot equation 2645",
    "whole-map equality from pivot equation 2646",
    "whole-map equality from pivot equation 2647",
    "whole-map equality from pivot equation 2648",
    "whole-map equality from pivot equation 2649",
    "whole-map equality from pivot equation 2650",
    "whole-map equality from pivot equation 2665",
    "whole-map equality from pivot equation 2666",
    "whole-map equality from pivot equation 2667",
    "whole-map equality from pivot equation 2668",
    "whole-map equality from pivot equation 2669",
    "whole-map equality from pivot equation 2670",
    "whole-map equality from pivot equation 2671",
    "whole-map equality from pivot equation 2672",
    "whole-map equality from pivot equation 2673",
    "whole-map equality from pivot equation 2674",
    "whole-map equality from pivot equation 2675",
    "whole-map equality from pivot equation 2686",
    "whole-map equality from pivot equation 2688",
    "whole-map equality from pivot equation 2690",
    "whole-map equality from pivot equation 2730",
    "whole-map equality from pivot equation 2731",
    "whole-map equality from pivot equation 2732",
    "whole-map equality from pivot equation 2733",
    "whole-map equality from pivot equation 2734",
    "whole-map equality from pivot equation 2735",
    "whole-map equality from pivot equation 2736",
    "whole-map equality from pivot equation 2737",
    "whole-map equality from pivot equation 2738",
    "whole-map equality from pivot equation 2739",
    "whole-map equality from pivot equation 2740",
    "whole-map equality from pivot equation 2746",
    "whole-map equality from pivot equation 2748",
    "whole-map equality from pivot equation 2750",
    "whole-map equality from pivot equation 2755",
    "whole-map equality from pivot equation 2756",
    "whole-map equality from pivot equation 2757",
    "whole-map equality from pivot equation 2758",
    "whole-map equality from pivot equation 2759",
    "whole-map equality from pivot equation 2760",
    "whole-map equality from pivot equation 2795",
    "whole-map equality from pivot equation 2796",
    "whole-map equality from pivot equation 2797",
    "whole-map equality from pivot equation 2798",
    "whole-map equality from pivot equation 2799",
    "whole-map equality from pivot equation 2800",
    "whole-map equality from pivot equation 2815",
    "whole-map equality from pivot equation 2816",
    "whole-map equality from pivot equation 2817",
    "whole-map equality from pivot equation 2818",
    "whole-map equality from pivot equation 2819",
    "whole-map equality from pivot equation 2820",
    "whole-map equality from pivot equation 2841",
    "whole-map equality from pivot equation 2843",
    "whole-map equality from pivot equation 2845",
    "whole-map equality from pivot equation 2885",
    "whole-map equality from pivot equation 2886",
    "whole-map equality from pivot equation 2887",
    "whole-map equality from pivot equation 2888",
    "whole-map equality from pivot equation 2889",
    "whole-map equality from pivot equation 2890",
    "whole-map equality from pivot equation 2891",
    "whole-map equality from pivot equation 2892",
    "whole-map equality from pivot equation 2893",
    "whole-map equality from pivot equation 2894",
    "whole-map equality from pivot equation 2895",
    "whole-map equality from pivot equation 2901",
    "whole-map equality from pivot equation 2903",
    "whole-map equality from pivot equation 2905",
    "whole-map equality from pivot equation 2945",
    "whole-map equality from pivot equation 2946",
    "whole-map equality from pivot equation 2947",
    "whole-map equality from pivot equation 2948",
    "whole-map equality from pivot equation 2949",
    "whole-map equality from pivot equation 2950",
    "whole-map equality from pivot equation 2951",
    "whole-map equality from pivot equation 2952",
    "whole-map equality from pivot equation 2953",
    "whole-map equality from pivot equation 2954",
    "whole-map equality from pivot equation 2955",
    "whole-map equality from pivot equation 2971",
    "whole-map equality from pivot equation 2973",
    "whole-map equality from pivot equation 2975",
    "whole-map equality from pivot equation 2990",
    "whole-map equality from pivot equation 2991",
    "whole-map equality from pivot equation 2992",
    "whole-map equality from pivot equation 2993",
    "whole-map equality from pivot equation 2994",
    "whole-map equality from pivot equation 2995",
    "whole-map equality from pivot equation 3020",
    "whole-map equality from pivot equation 3021",
    "whole-map equality from pivot equation 3022",
    "whole-map equality from pivot equation 3023",
    "whole-map equality from pivot equation 3024",
    "whole-map equality from pivot equation 3025",
    "whole-map equality from pivot equation 3031",
    "whole-map equality from pivot equation 3033",
    "whole-map equality from pivot equation 3035",
    "whole-map equality from pivot equation 3050",
    "whole-map equality from pivot equation 3051",
    "whole-map equality from pivot equation 3052",
    "whole-map equality from pivot equation 3053",
    "whole-map equality from pivot equation 3054",
    "whole-map equality from pivot equation 3055",
    "whole-map equality from pivot equation 3056",
    "whole-map equality from pivot equation 3058",
    "whole-map equality from pivot equation 3060",
    "whole-map equality from pivot equation 3080",
    "whole-map equality from pivot equation 3081",
    "whole-map equality from pivot equation 3082",
    "whole-map equality from pivot equation 3083",
    "whole-map equality from pivot equation 3084",
    "whole-map equality from pivot equation 3085",
    "whole-map equality from pivot equation 3105",
    "whole-map equality from pivot equation 3106",
    "whole-map equality from pivot equation 3107",
    "whole-map equality from pivot equation 3108",
    "whole-map equality from pivot equation 3109",
    "whole-map equality from pivot equation 3110",
    "whole-map equality from pivot equation 3116",
    "whole-map equality from pivot equation 3118",
    "whole-map equality from pivot equation 3120",
    "whole-map equality from pivot equation 3121",
    "whole-map equality from pivot equation 3122",
    "whole-map equality from pivot equation 3123",
    "whole-map equality from pivot equation 3124",
    "whole-map equality from pivot equation 3125",
    "whole-map equality from pivot equation 3165",
    "whole-map equality from pivot equation 3166",
    "whole-map equality from pivot equation 3167",
    "whole-map equality from pivot equation 3168",
    "whole-map equality from pivot equation 3169",
    "whole-map equality from pivot equation 3170",
    "whole-map equality from pivot equation 3180",
    "whole-map equality from pivot equation 3181",
    "whole-map equality from pivot equation 3182",
    "whole-map equality from pivot equation 3183",
    "whole-map equality from pivot equation 3184",
    "whole-map equality from pivot equation 3185",
    "whole-map equality from pivot equation 3186",
    "whole-map equality from pivot equation 3188",
    "whole-map equality from pivot equation 3190",
    "whole-map equality from pivot equation 3205",
    "whole-map equality from pivot equation 3206",
    "whole-map equality from pivot equation 3207",
    "whole-map equality from pivot equation 3208",
    "whole-map equality from pivot equation 3209",
    "whole-map equality from pivot equation 3210",
    "whole-map equality from pivot equation 3235",
    "whole-map equality from pivot equation 3236",
    "whole-map equality from pivot equation 3237",
    "whole-map equality from pivot equation 3238",
    "whole-map equality from pivot equation 3239",
    "whole-map equality from pivot equation 3240",
    "whole-map equality from pivot equation 3246",
    "whole-map equality from pivot equation 3248",
    "whole-map equality from pivot equation 3250",
    "whole-map equality from pivot equation 3265",
    "whole-map equality from pivot equation 3266",
    "whole-map equality from pivot equation 3267",
    "whole-map equality from pivot equation 3268",
    "whole-map equality from pivot equation 3269",
    "whole-map equality from pivot equation 3270",
    "whole-map equality from pivot equation 3295",
    "whole-map equality from pivot equation 3296",
    "whole-map equality from pivot equation 3297",
    "whole-map equality from pivot equation 3298",
    "whole-map equality from pivot equation 3299",
    "whole-map equality from pivot equation 3300",
    "whole-map equality from pivot equation 3335",
    "whole-map equality from pivot equation 3336",
    "whole-map equality from pivot equation 3337",
    "whole-map equality from pivot equation 3338",
    "whole-map equality from pivot equation 3339",
    "whole-map equality from pivot equation 3340",
    "whole-map equality from pivot equation 3395",
    "whole-map equality from pivot equation 3396",
    "whole-map equality from pivot equation 3397",
    "whole-map equality from pivot equation 3398",
    "whole-map equality from pivot equation 3399",
    "whole-map equality from pivot equation 3400",
    "whole-map equality from pivot equation 3490",
    "whole-map equality from pivot equation 3491",
    "whole-map equality from pivot equation 3492",
    "whole-map equality from pivot equation 3493",
    "whole-map equality from pivot equation 3494",
    "whole-map equality from pivot equation 3495",
    "whole-map equality from pivot equation 3550",
    "whole-map equality from pivot equation 3551",
    "whole-map equality from pivot equation 3552",
    "whole-map equality from pivot equation 3553",
    "whole-map equality from pivot equation 3554",
    "whole-map equality from pivot equation 3555",
    "whole-map equality from pivot equation 3620",
    "whole-map equality from pivot equation 3621",
    "whole-map equality from pivot equation 3622",
    "whole-map equality from pivot equation 3623",
    "whole-map equality from pivot equation 3624",
    "whole-map equality from pivot equation 3625",
    "whole-map equality from pivot equation 3680",
    "whole-map equality from pivot equation 3681",
    "whole-map equality from pivot equation 3682",
    "whole-map equality from pivot equation 3683",
    "whole-map equality from pivot equation 3684",
    "whole-map equality from pivot equation 3685",
    "whole-map equality from pivot equation 3705",
    "whole-map equality from pivot equation 3706",
    "whole-map equality from pivot equation 3707",
    "whole-map equality from pivot equation 3708",
    "whole-map equality from pivot equation 3709",
    "whole-map equality from pivot equation 3710",
    "whole-map equality from pivot equation 3765",
    "whole-map equality from pivot equation 3766",
    "whole-map equality from pivot equation 3767",
    "whole-map equality from pivot equation 3768",
    "whole-map equality from pivot equation 3769",
    "whole-map equality from pivot equation 3770",
    "whole-map equality from pivot equation 3835",
    "whole-map equality from pivot equation 3836",
    "whole-map equality from pivot equation 3837",
    "whole-map equality from pivot equation 3838",
    "whole-map equality from pivot equation 3839",
    "whole-map equality from pivot equation 3840",
    "whole-map equality from pivot equation 3895",
    "whole-map equality from pivot equation 3896",
    "whole-map equality from pivot equation 3897",
    "whole-map equality from pivot equation 3898",
    "whole-map equality from pivot equation 3899",
    "whole-map equality from pivot equation 3900",
    "only repeated held pivot sourced",
    "upper-bound proof applies",
    "prime7 isolates P",
    "prime13 isolates J",
    "prime5 fixes two E after P,J exclusion"
  ],
  "source_checks_passed": 14,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}