{"accepted_manifest_sha256": "5adc0fad06442265df8d4b12e3c9ce0231ea55e2834a769a7324e1c2b068e5ca", "displayed_cli_matches": true, "euler_index_supercongruence_cases": 18, "euler_zero_index_counterexample": true, "finite_results_reproduced": true, "manuscript_sha256": "6db898cf52271bedcc755f13295b700ad58c655bb2d0f80f0abf6669ba158e36", "python": "3.12.14", "sampling_infinite_kernel_rows": 12, "schur_displayed_coefficients": true, "schur_packet_coefficients": 24, "scope": "Executed finite calculations, displayed-output correspondence and source identities. Written proof self-review is separate.", "script_sha256": "f8c310cc1f603998a28cbe9510a4ae18d6af7dc6af41b8741c3f4ec7ddff182d", "status": "PASS"}
{"checkout_revision": "b3aa11f8f41a6acaef012260866cfe21730234ea", "coefficient_comparisons": 605, "local_chart_comparisons": 1012, "local_charts": [2, 3, 5, 7], "local_comparisons": {"row_weights": 264, "truncations": 528, "values": 220}, "local_even_degree": [0, 20], "numpy_version": "2.5.4", "scope": "Exact numeric library outputs in the declared finite range. Not a proof of the complete Python implementation.", "source_revision": "a3aa04ac18a523f30c50c7f5dba709f88e904eff", "status": "PASS", "tracked_sources_match_pin": true}
