{"accepted_manifest_sha256": "44332e1470b40e7b23c13559657320d24ee00c25c14b22a74a53d3193a870fa8", "displayed_cli_matches": true, "euler_index_supercongruence_cases": 18, "euler_zero_index_counterexample": true, "finite_results_reproduced": true, "manuscript_sha256": "19624204ea12dc6fc5210a42fb82e81defd4055d8ac4ab1b0e6512d2f34c7c30", "polyphase_taps": {"displayed_cli_matches": true, "impulse_cases": 468, "missing_advance_control": {"correct": 1191, "incorrect": -181}, "signal_cases": 600}, "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": "aef7b88eabf577ffa6caaa00dec41fea796b9d098657a24d30dfcb9a9ed1e421", "status": "PASS"}
{"atlas_comparisons": {"formal_substitution_entries": 289, "formal_values": 51, "hurwitz_values": 150, "quartic_values": 96, "stirling_entries": 578}, "atlas_total_comparisons": 1164, "checkout_revision": "b3aa11f8f41a6acaef012260866cfe21730234ea", "coefficient_comparisons": 605, "edge_comparisons": {"errors": 46, "kernel_values": 10, "partials": 46, "row_weights": 132}, "edge_total_comparisons": 234, "fibonacci_comparisons": {"centered_euler_values": 13, "connection_entries": 169, "full_index_records": 25, "polynomial_companion_entries": 52, "recurrence_matrix_entries": 512, "recurrence_round_trips": 150}, "fibonacci_total_comparisons": 921, "literature_comparisons": {"calculus_entries": 1098, "jump_entries": 68, "packet_state_coordinates": 1560, "packet_values": 780}, "literature_total_comparisons": 3506, "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}
