{ "core_file_comparisons": { "eigenline_certificate.json": { "fresh_sha256": "4d7c0b581ad146ccdd906761b63653a7f3281f2b3904673bd53141bb70195a48", "identical": true, "shipped_sha256": "4d7c0b581ad146ccdd906761b63653a7f3281f2b3904673bd53141bb70195a48" }, "kurihara_certificate.json": { "fresh_sha256": "863d6722d1ce53c33fde03187e954db6f44f50cfed6833fd3a61dbc11c3af1e1", "identical": true, "shipped_sha256": "863d6722d1ce53c33fde03187e954db6f44f50cfed6833fd3a61dbc11c3af1e1" }, "kurihara_terms.csv": { "fresh_sha256": "2cad96f2601553cfbd9c79528bd1813d9c8745bac94a69fe566ff34444e76831", "identical": true, "shipped_sha256": "2cad96f2601553cfbd9c79528bd1813d9c8745bac94a69fe566ff34444e76831" }, "log_tables.json": { "fresh_sha256": "43e0656e15c2f625f3e9786f2ddef2d662498442ddb5b0c3b54b4571b8eba93b", "identical": true, "shipped_sha256": "43e0656e15c2f625f3e9786f2ddef2d662498442ddb5b0c3b54b4571b8eba93b" } }, "finished_utc": "2026-09-08T20:11:09.003384+00:00", "fresh_environment": { "numpy": "2.3.5", "platform": "Linux-6.18.35-x86_64-with-glibc2.39", "python": "3.12.13" }, "fresh_producer_events": [ { "stage": "A1_MANIN_HECKE_START", "utc": "2026-09-08T20:10:32.725520+00:00" }, { "hecke_dimension": 2, "normalization_index": 5, "plus_dimension": 1, "relation_rank": 325, "sha256": "4d7c0b581ad146ccdd906761b63653a7f3281f2b3904673bd53141bb70195a48", "stage": "A5_EIGENLINE_LOCKED_BEFORE_SUM", "utc": "2026-09-08T20:10:34.590908+00:00" }, { "eigenline_sha256": "4d7c0b581ad146ccdd906761b63653a7f3281f2b3904673bd53141bb70195a48", "n": 393427, "stage": "B2_FULL_SUM_START", "utc": "2026-09-08T20:10:34.592811+00:00" }, { "residue": 5, "stage": "B3_PRODUCER_SUM_COMPLETE", "terms_csv_sha256": "2cad96f2601553cfbd9c79528bd1813d9c8745bac94a69fe566ff34444e76831", "unit_count": 392040, "utc": "2026-09-08T20:10:36.309711+00:00" } ], "independent_verification": { "arithmetic": "Python integers modulo 11; no NumPy or producer imports", "elapsed_seconds": 4.433, "independent_methods": { "hecke": "positive Merel matrices plus exact rational C_q boundary checks", "linear_algebra": "incremental sparse scalar elimination", "logarithms": "projection to the multiplicative subgroup of order 11", "modular_paths": "balanced Farey parents using modular inverses", "point_counts": "multiplicity table of y^2+y" }, "linear_algebra": { "farey_generator_paths_checked_on_whole_quotient": 390, "hecke_constraint_rank": 63, "hecke_eigenspace_dimension": 2, "hecke_eigenvector_residuals_checked": 2730, "independent_point_counts": { "11": 16, "13": 17, "17": 24, "19": 15, "2": 5, "3": 6, "397": 374, "5": 9, "7": 13, "991": 1045 }, "manin_dimension": 65, "merel_matrix_counts": { "13": 63, "17": 93, "19": 109, "2": 4, "3": 7, "5": 15, "7": 25 }, "merel_right_coset_boundary_checks": { "13": 14, "17": 18, "19": 20, "2": 3, "3": 4, "5": 6, "7": 8 }, "normalization_index": 5, "normalization_value": 1, "plus_constraint_rank": 1, "plus_eigenspace_dimension": 1, "relation_rank": 325, "whole_quotient_hecke_comparisons": 177450 }, "schema": "kurihara-independent-verification-v1", "summation": { "all_csv_rows_independently_recomputed": true, "archival_literal_6_status": "NOT_REPRODUCED_NORMALIZATION_UNSPECIFIED", "block_count": 40, "csv_fields_checked": 1960200, "farey_word_edges_checked": 3493624, "modulus": 11, "n": 393427, "raw_product_sum": 43605160, "residue": 5, "sum_of_reduced_terms": 1437386, "unit_count": 392040 }, "verdict": "PASS" }, "prior_input_replay": { "determinant_mod_11": 2, "local_matrix": [ [ 1, 2 ], [ 1, 4 ] ], "local_results": [ { "P_orbit_equals_all_points": true, "Q_discrete_log_base_P": 244, "Q_norm_coordinate": 2, "a_ell": 24, "ell": 397, "group_order": 374, "independent_counts_agree": true, "multiplied_P": [ 281, 236 ], "multiplied_Q": [ 11, 334 ], "order_of_P": 374, "order_of_multiplied_P": 11, "prime_to_11_multiplier": 34 }, { "P_orbit_equals_all_points": true, "Q_discrete_log_base_P": 356, "Q_norm_coordinate": 4, "a_ell": -53, "ell": 991, "group_order": 1045, "independent_counts_agree": true, "multiplied_P": [ 39, 97 ], "multiplied_Q": [ 865, 243 ], "order_of_P": 1045, "order_of_multiplied_P": 11, "prime_to_11_multiplier": 95 } ], "minimal_invariants": { "b2": 4, "b4": -4, "b6": 1, "b8": -3, "c4": 112, "discriminant": 389, "discriminant_is_prime": true }, "norm_kernel_dimensions_on_span_PQ": [ 2, 1, 1, 0 ], "original_points": { "P": [ 0, 0 ], "Q": [ 1, 0 ] }, "prior_source_sha256": "2d911f09dd5d19da402dd6a34ae7b3c26e1179df3743fa9fc9e723819fd6fcfe", "residual_irreducibility_witness": { "a_2": -2, "characteristic_polynomial_mod_11": [ 1, 2, 2 ], "discriminant_mod_11": 7, "frobenius_prime": 2, "note": "Transvection and subgroup arguments are proved in the manuscript, not computed here.", "roots_mod_11": [], "square_residues_mod_11": [ 0, 1, 3, 4, 5, 9 ] }, "schema": "kurihara-prior-input-replay-v1", "scope": "Exact curve and local-point inputs; canonical primitivity and Kim consequences are theorem applications.", "short_model_points": { "P": [ 12, 108 ], "Q": [ 48, 108 ] }, "small_point_counts": { "11": 16, "2": 5, "5": 9 }, "verdict": "PASS" }, "schema": "kurihara-fresh-replay-v1", "source_sha256": { "provenance/previous_exact_arithmetic.py": "2d911f09dd5d19da402dd6a34ae7b3c26e1179df3743fa9fc9e723819fd6fcfe", "run_all.py": "1684aa2505d661693863afe81f2b1bd15fc38422c06fb3a851f0ede90a2a195d", "src/build_certificate.py": "97932a59026c8dbbc2d82479583fbead941d77c277558b7898cefd4eafa55f1b", "src/manin.py": "a4e82440335c60f51da707c1358088502d87484c164e17da372fe75737fb761d", "src/replay_prior_inputs.py": "49885dd0ec97c6c687f5f26fe0696b20acdbad713dd26cc9a5e649355bc4b080", "src/verify_independent.py": "1fab21eebcb60af7cc8ed4c812592c31db15a03b594d47c61ee2fa7614eb9efb", "tests/test_finite_certificate.py": "b078038cdbc649f9af54ee5d5b47f24286b4cfb782bd646f2b6840777bdd1a17", "tests/test_independent.py": "c6bbfa0e3b6705ad905a598f1218ef26f4c7aed391decedaf08e3bd95dae9daf" }, "started_utc": "2026-09-08T20:10:32.659322+00:00", "steps": [ { "returncode": 0, "stderr": "", "stdout": "{\"stage\": \"A1_MANIN_HECKE_START\", \"utc\": \"2026-09-08T20:10:32.725520+00:00\"}\n{\"hecke_dimension\": 2, \"normalization_index\": 5, \"plus_dimension\": 1, \"relation_rank\": 325, \"sha256\": \"4d7c0b581ad146ccdd906761b63653a7f3281f2b3904673bd53141bb70195a48\", \"stage\": \"A5_EIGENLINE_LOCKED_BEFORE_SUM\", \"utc\": \"2026-09-08T20:10:34.590908+00:00\"}\n{\"eigenline_sha256\": \"4d7c0b581ad146ccdd906761b63653a7f3281f2b3904673bd53141bb70195a48\", \"n\": 393427, \"stage\": \"B2_FULL_SUM_START\", \"utc\": \"2026-09-08T20:10:34.592811+00:00\"}\n{\"residue\": 5, \"stage\": \"B3_PRODUCER_SUM_COMPLETE\", \"terms_csv_sha256\": \"2cad96f2601553cfbd9c79528bd1813d9c8745bac94a69fe566ff34444e76831\", \"unit_count\": 392040, \"utc\": \"2026-09-08T20:10:36.309711+00:00\"}\n", "step": "C1_FRESH_PRODUCER" }, { "returncode": 0, "stderr": "", "stdout": "{\n \"arithmetic\": \"Python integers modulo 11; no NumPy or producer imports\",\n \"elapsed_seconds\": 4.433,\n \"independent_methods\": {\n \"hecke\": \"positive Merel matrices plus exact rational C_q boundary checks\",\n \"linear_algebra\": \"incremental sparse scalar elimination\",\n \"logarithms\": \"projection to the multiplicative subgroup of order 11\",\n \"modular_paths\": \"balanced Farey parents using modular inverses\",\n \"point_counts\": \"multiplicity table of y^2+y\"\n },\n \"linear_algebra\": {\n \"farey_generator_paths_checked_on_whole_quotient\": 390,\n \"hecke_constraint_rank\": 63,\n \"hecke_eigenspace_dimension\": 2,\n \"hecke_eigenvector_residuals_checked\": 2730,\n \"independent_point_counts\": {\n \"11\": 16,\n \"13\": 17,\n \"17\": 24,\n \"19\": 15,\n \"2\": 5,\n \"3\": 6,\n \"397\": 374,\n \"5\": 9,\n \"7\": 13,\n \"991\": 1045\n },\n \"manin_dimension\": 65,\n \"merel_matrix_counts\": {\n \"13\": 63,\n \"17\": 93,\n \"19\": 109,\n \"2\": 4,\n \"3\": 7,\n \"5\": 15,\n \"7\": 25\n },\n \"merel_right_coset_boundary_checks\": {\n \"13\": 14,\n \"17\": 18,\n \"19\": 20,\n \"2\": 3,\n \"3\": 4,\n \"5\": 6,\n \"7\": 8\n },\n \"normalization_index\": 5,\n \"normalization_value\": 1,\n \"plus_constraint_rank\": 1,\n \"plus_eigenspace_dimension\": 1,\n \"relation_rank\": 325,\n \"whole_quotient_hecke_comparisons\": 177450\n },\n \"schema\": \"kurihara-independent-verification-v1\",\n \"summation\": {\n \"all_csv_rows_independently_recomputed\": true,\n \"archival_literal_6_status\": \"NOT_REPRODUCED_NORMALIZATION_UNSPECIFIED\",\n \"block_count\": 40,\n \"csv_fields_checked\": 1960200,\n \"farey_word_edges_checked\": 3493624,\n \"modulus\": 11,\n \"n\": 393427,\n \"raw_product_sum\": 43605160,\n \"residue\": 5,\n \"sum_of_reduced_terms\": 1437386,\n \"unit_count\": 392040\n },\n \"verdict\": \"PASS\"\n}\n", "step": "C2_INDEPENDENT_FULL_REPLAY" }, { "returncode": 0, "stderr": "", "stdout": "{\"determinant_mod_11\": 2, \"local_matrix\": [[1, 2], [1, 4]], \"local_results\": [{\"P_orbit_equals_all_points\": true, \"Q_discrete_log_base_P\": 244, \"Q_norm_coordinate\": 2, \"a_ell\": 24, \"ell\": 397, \"group_order\": 374, \"independent_counts_agree\": true, \"multiplied_P\": [281, 236], \"multiplied_Q\": [11, 334], \"order_of_P\": 374, \"order_of_multiplied_P\": 11, \"prime_to_11_multiplier\": 34}, {\"P_orbit_equals_all_points\": true, \"Q_discrete_log_base_P\": 356, \"Q_norm_coordinate\": 4, \"a_ell\": -53, \"ell\": 991, \"group_order\": 1045, \"independent_counts_agree\": true, \"multiplied_P\": [39, 97], \"multiplied_Q\": [865, 243], \"order_of_P\": 1045, \"order_of_multiplied_P\": 11, \"prime_to_11_multiplier\": 95}], \"minimal_invariants\": {\"b2\": 4, \"b4\": -4, \"b6\": 1, \"b8\": -3, \"c4\": 112, \"discriminant\": 389, \"discriminant_is_prime\": true}, \"norm_kernel_dimensions_on_span_PQ\": [2, 1, 1, 0], \"original_points\": {\"P\": [0, 0], \"Q\": [1, 0]}, \"prior_source_sha256\": \"2d911f09dd5d19da402dd6a34ae7b3c26e1179df3743fa9fc9e723819fd6fcfe\", \"residual_irreducibility_witness\": {\"a_2\": -2, \"characteristic_polynomial_mod_11\": [1, 2, 2], \"discriminant_mod_11\": 7, \"frobenius_prime\": 2, \"note\": \"Transvection and subgroup arguments are proved in the manuscript, not computed here.\", \"roots_mod_11\": [], \"square_residues_mod_11\": [0, 1, 3, 4, 5, 9]}, \"schema\": \"kurihara-prior-input-replay-v1\", \"scope\": \"Exact curve and local-point inputs; canonical primitivity and Kim consequences are theorem applications.\", \"short_model_points\": {\"P\": [12, 108], \"Q\": [48, 108]}, \"small_point_counts\": {\"11\": 16, \"2\": 5, \"5\": 9}, \"verdict\": \"PASS\"}\n", "step": "C4_PRIOR_INPUTS" }, { "returncode": 0, "stderr": "test_altered_symbol_is_rejected (test_finite_certificate.FiniteCertificateTests.test_altered_symbol_is_rejected) ... ok\ntest_generator_scalar_is_fixed_before_sum (test_finite_certificate.FiniteCertificateTests.test_generator_scalar_is_fixed_before_sum) ... ok\ntest_hecke_descends_and_commutes (test_finite_certificate.FiniteCertificateTests.test_hecke_descends_and_commutes) ... ok\ntest_logs_are_complete_and_obey_group_law (test_finite_certificate.FiniteCertificateTests.test_logs_are_complete_and_obey_group_law) ... ok\ntest_manin_rank_and_kernel (test_finite_certificate.FiniteCertificateTests.test_manin_rank_and_kernel) ... ok\ntest_nullspace_small_known_counterexample (test_finite_certificate.FiniteCertificateTests.test_nullspace_small_known_counterexample) ... ok\ntest_paths_recover_every_generator_on_whole_quotient (test_finite_certificate.FiniteCertificateTests.test_paths_recover_every_generator_on_whole_quotient) ... ok\ntest_plus_and_out_of_sample_hecke (test_finite_certificate.FiniteCertificateTests.test_plus_and_out_of_sample_hecke) ... ok\ntest_point_counts (test_finite_certificate.FiniteCertificateTests.test_point_counts) ... ok\ntest_complete_independent_replay (test_independent.IndependentCertificateTests.test_complete_independent_replay) ... ok\ntest_resealed_mutations_and_explicit_unit_equivalence (test_independent.IndependentCertificateTests.test_resealed_mutations_and_explicit_unit_equivalence) ... ok\n\n----------------------------------------------------------------------\nRan 11 tests in 27.958s\n\nOK\n", "stdout": "", "step": "C5_EXACT_AND_MUTATION_TESTS" } ], "verdict": "PASS" }