From 785ecde9e87bfd40bc4279e1cee2b06c988530fc Mon Sep 17 00:00:00 2001 From: SHIN09-git Date: Fri, 23 Oct 2026 14:00:59 +0800 Subject: [PATCH] Add certified screening probe for the selected mixed moment --- research/mixed-moment-screen/.gitattributes | 5 + research/mixed-moment-screen/INPUT.json | 274 + research/mixed-moment-screen/LICENSE | 201 + research/mixed-moment-screen/NOTICE.md | 21 + research/mixed-moment-screen/OVERLAP.json | 82 + research/mixed-moment-screen/README.md | 158 + research/mixed-moment-screen/RESULT.json | 381 ++ .../mixed-moment-screen/SELECTED-RECORD.json | 85 + research/mixed-moment-screen/SOURCES.json | 33 + research/mixed-moment-screen/TASK.json | 63 + .../mixed-moment-screen/TIMINGS-FINAL.json | 4422 +++++++++++++++++ research/mixed-moment-screen/VALIDATION.json | 14 + research/mixed-moment-screen/VERIFY.json | 30 + research/mixed-moment-screen/benchmark.py | 111 + .../mixed-moment-screen/test_integrity.py | 42 + .../mixed-moment-screen/upstream_moment.py | 421 ++ research/mixed-moment-screen/verify.py | 213 + 17 files changed, 6556 insertions(+) create mode 100644 research/mixed-moment-screen/.gitattributes create mode 100644 research/mixed-moment-screen/INPUT.json create mode 100644 research/mixed-moment-screen/LICENSE create mode 100644 research/mixed-moment-screen/NOTICE.md create mode 100644 research/mixed-moment-screen/OVERLAP.json create mode 100644 research/mixed-moment-screen/README.md create mode 100644 research/mixed-moment-screen/RESULT.json create mode 100644 research/mixed-moment-screen/SELECTED-RECORD.json create mode 100644 research/mixed-moment-screen/SOURCES.json create mode 100644 research/mixed-moment-screen/TASK.json create mode 100644 research/mixed-moment-screen/TIMINGS-FINAL.json create mode 100644 research/mixed-moment-screen/VALIDATION.json create mode 100644 research/mixed-moment-screen/VERIFY.json create mode 100644 research/mixed-moment-screen/benchmark.py create mode 100644 research/mixed-moment-screen/test_integrity.py create mode 100644 research/mixed-moment-screen/upstream_moment.py create mode 100644 research/mixed-moment-screen/verify.py diff --git a/research/mixed-moment-screen/.gitattributes b/research/mixed-moment-screen/.gitattributes new file mode 100644 index 0000000000..057cdeca6b --- /dev/null +++ b/research/mixed-moment-screen/.gitattributes @@ -0,0 +1,5 @@ +* text eol=lf +INPUT.json -text -whitespace +upstream_moment.py -text -whitespace +SELECTED-RECORD.json -text -whitespace +LICENSE -text -whitespace diff --git a/research/mixed-moment-screen/INPUT.json b/research/mixed-moment-screen/INPUT.json new file mode 100644 index 0000000000..edf41a49a0 --- /dev/null +++ b/research/mixed-moment-screen/INPUT.json @@ -0,0 +1,274 @@ +{ + "compiler": { + "H": 64215200000000, + "N": "2^64215200000000", + "eta": { + "lower": "0.000000206231977820868640096499", + "upper": "0.000000206231977820868640096500" + }, + "gap": "1/1400000000", + "integer_test_exponent": 45868, + "logarithm_power": 1000, + "theta": "63/64", + "uniform_saving": "528527/175000000", + "word_materialized": false + }, + "fixed_profile_ceiling": { + "decreasing_through_C": "1/20", + "headroom": [ + "15977/1000000000000", + "159771/10000000000000" + ], + "negative_derivative_upper": { + "lower": "-195970.145588045890401261885812812963", + "upper": "-195970.145588045890401261885812812962" + }, + "remaining_interval_moment_upper": { + "lower": "-6847.019825166589746262304732988153", + "upper": "-6847.019825166589746262304732988152" + }, + "root": [ + "3020165977/1000000000000", + "30201659771/10000000000000" + ] + }, + "full_calls": 18, + "gain_over_PR4416": "4171/12500000", + "gain_over_PR4440": "1203/20000000", + "gain_over_PR4441": "191/10000000", + "gain_over_PR4447": "473/25000000", + "kappa": "60403/20000000", + "kappa_decimal": "0.00302015", + "local_helpers": { + "4": 28, + "7": 7, + "8": 47, + "9": 326 + }, + "local_paid": { + "1": 2237, + "2": 388, + "3": 494, + "4": 147, + "5": 36, + "8": 8 + }, + "negative_controls": { + "closed_epsilon": [ + "epsilon_below_one", + "global_gamma_power_slack", + "actual_logarithmic_gamma_guard", + "source_axis_superpolynomial", + "gaussian_above_main", + "new_semantic_guard_with_C1_one" + ], + "closed_uniform": [ + "new_complex_uniform_saving_above_b" + ], + "old_BIT": [ + "actual_bit_above_effective" + ], + "unfunded_endpoint": [ + "main_transform_above_kappa", + "global_coordinate_router_above_kappa", + "fused_gaussian_above_kappa", + "group_bit_router_above_kappa", + "boundary_algebraic_matrix_above_kappa" + ] + }, + "nonrecursive": { + "local_route_bound": 4814000, + "local_scalar_allowance": 158168, + "raw_budget": 1000000000, + "raw_upper": 181098496 + }, + "ordinary_BIT": { + "admitted": "17/5000", + "after_cover": "69/20000", + "atom": "1/250", + "before_cover": "3459/1000000", + "ordinary_saving": "8590884599/2500000000000", + "prime_rule": "odd q > 2^26*N^5 avoiding all fixed denominators and rank witnesses" + }, + "outer": { + "functional_checks": { + "actual_new_BIT_stock_sublinear": "348599999253/350000000000", + "fixed_halo_explicit_metadata_branch": "26950000001/350000000", + "new_BIT_row_stock_sublinear_in_active_group": "1395799997009/1400000000000", + "new_semantic_group_guard": "3/1400000000" + }, + "margins": { + "boundary_algebraic_matrix": "5919499595771787/1960000000000000000", + "fused_gaussian": "5919499587315361/1960000000000000000", + "global_coordinate_router": "2114107/700000000", + "group_bit_router": "2959750493657679/980000000000000000", + "group_scans": "699999999/700000000", + "main_transform": "5919498195771787/1960000000000000000", + "microbox_face_corrections": "26950000001/350000000", + "polynomial_products": "1399999999/1400000000", + "sparse_union_movement": "802169499595771787/1960000000000000000" + }, + "parameters": { + "a": "2114107/700000000", + "b": "845643/280000000", + "beta": "1399999997/1400000000", + "bit_saving": "17/5000", + "cap_xi": "1782169498195771787/1960000000000000000", + "complex_uniform_saving": "528527/175000000", + "d": "1/1400000000", + "epsilon": "1399999999/1400000000", + "kappa": "60403/20000000", + "lambda_": "398791939/400000000", + "lambda_prime": "1395771787/1400000000", + "layout": "1/1400000000", + "q": "4228213/1400000000", + "r0": "1/14000000000", + "stop": "1/1400000000", + "tested_saving": "604031/200000000" + }, + "strict_checks": { + "actual_bit_above_effective": "265893/700000000", + "actual_logarithmic_gamma_guard": "1/1400000000", + "actual_logarithmic_group_guard": "177830503904228213/980000000000000000", + "alpha_logarithm_absorption": "1/14000000000", + "boundary_algebraic_matrix_above_kappa": "5595771787/1960000000000000000", + "cap_above_band": "802169498195771787/1960000000000000000", + "cap_below_cell": "177830500404228213/1960000000000000000", + "cap_below_phase_cell_power": "2137830501804228213/1960000000000000000", + "complex_above_effective": "1/1400000000", + "complex_below_one_over_32": "7904357/280000000", + "complex_endpoint": "1/700000000", + "epsilon_below_one": "1/1400000000", + "epsilon_positive": "1399999999/1400000000", + "fine_prime_halo_umbrella": "7/2", + "fused_gaussian_above_kappa": "5587315361/1960000000000000000", + "gaussian_above_main": "695771787/980000000000000000", + "global_coordinate_router_above_kappa": "1/350000000", + "global_gamma_power_slack": "9/14000000000", + "group_below_dimension": "1/700000000", + "group_bit_router_above_kappa": "3493657679/980000000000000000", + "group_gauge_power_slack": "177830503834228213/980000000000000000", + "group_key_fits_record": "1/700000000", + "group_positive": "1399999997/1400000000", + "group_scans_above_kappa": "348942947/350000000", + "halo_covers_generic_inverse_radius": "5", + "improvement_over_user_baseline": "644589790400418148631/500000000000000000000000", + "lambda_above_internal": "1/2800000000", + "lambda_above_sigma": "3/2800000000", + "lambda_above_tau": "1/2800000000", + "lambda_prime_above_lambda": "1/2800000000", + "lambda_prime_above_leaf": "559154357/392000000000000000", + "leaf_saving_above_effective": "279154357/392000000000000000", + "main_transform_above_kappa": "4195771787/1960000000000000000", + "membership_arithmetic_fits_record": "1/1400000000", + "microbox_face_corrections_above_kappa": "53897885897/700000000", + "microbox_halo_volume": "110600000003/1400000000", + "new_complex_uniform_saving_above_b": "1/1400000000", + "new_semantic_guard_with_C1_one": "1/1400000000", + "polynomial_products_above_kappa": "1395771789/1400000000", + "positive_layout_slack": "1/1400000000", + "q_below_effective": "1/1400000000", + "q_below_internal": "1/1400000000", + "q_below_leaf": "559154357/392000000000000000", + "q_positive": "4228213/1400000000", + "short_record_fallback": "279154357/280000000", + "source_axis_superpolynomial": "1/1400000000", + "sparse_union_movement_above_kappa": "796250005595771787/1960000000000000000", + "stop_below_one": "1399999999/1400000000", + "stop_positive": "1/1400000000", + "strassen_integer_power_gap": "1951441519231", + "support_router_span": "3/1400000000", + "theta_positive_polynomial_power": "2", + "union_header_fits_record": "3/1400000000", + "union_tag_work_per_visit_fits_record": "3/1400000000" + } + }, + "paid": { + "1": 41946, + "16": 448, + "2": 6984, + "24": 448, + "3": 8892, + "32": 448, + "4": 2646, + "40": 448, + "48": 448, + "5": 648, + "56": 448, + "64": 448, + "72": 224, + "8": 144 + }, + "paid_calls": 64620, + "pairs": 16, + "prefix_pairs": 7, + "productive_fields": 10928, + "query_shears": 15, + "scope": "Author-checked conditional construction; retained native/all-column, owned-erasure, whole-job, analytic, precision, tape, prime and recovery contracts. No selected promotion or formal/human acceptance.", + "source_heads": { + "PR4440": "40e22a83ed660d3d6074c4f2dbf14bfb621eee51", + "PR4441_combination": "5f9d871c6bd1b9e34db5a7ea5ef08a908e94db39", + "PR4447": "322e0ec764aa7ef7801383feb1f656e460dd8bed", + "helper_retiming": "ccdae89b2ab9ced24ee3e7adfdb670ef80d223d9" + }, + "source_inputs": 51, + "status": "PASS_CONDITIONAL_JOINT_HELPER_KAPPA_00302015", + "strictification": { + "alpha": { + "lower": "0.999999988558808354139963023136", + "upper": "0.999999988558808354139963023137" + }, + "cutoff": 20, + "delta": { + "lower": "0.958284435309221389866479909583", + "upper": "0.958284435309221389866479909584" + }, + "floor": 21, + "gamma": { + "lower": "0.956176646497545264598139374323", + "upper": "0.956176646497545264598139374324" + }, + "limits": [ + "999999999/1000000000", + "97/100", + "97/100" + ], + "normalized_paid_upper": "2097152001953127/2097154147483648", + "power": 1024, + "tail_offset": "1/5", + "tested": "604031/200000000" + }, + "targets": { + "145": 224, + "17": 448, + "25": 448, + "33": 448, + "4": 504, + "41": 448, + "49": 448, + "57": 448, + "65": 448, + "7": 126, + "73": 224, + "8": 846, + "9": 5868 + }, + "uniform_local_gain": { + "coefficients": { + "1": 17, + "2": 126, + "3": -50, + "4": -42, + "5": 2, + "7": -22, + "8": 5, + "9": 17 + }, + "derivative_upper": { + "lower": "-16.327581880492435373215953558618", + "upper": "-16.327581880492435373215953558617" + }, + "intervals": 128, + "vanishes_at_one": true + } +} diff --git a/research/mixed-moment-screen/LICENSE b/research/mixed-moment-screen/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/mixed-moment-screen/LICENSE @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/research/mixed-moment-screen/NOTICE.md b/research/mixed-moment-screen/NOTICE.md new file mode 100644 index 0000000000..bf2af6d339 --- /dev/null +++ b/research/mixed-moment-screen/NOTICE.md @@ -0,0 +1,21 @@ +# Attribution and retained sources + +- The frozen raw invoice `INPUT.json` is `research/joint-helper-lattice/RESULT.json` + from Cinna Davis / 1337isnot1337's PR4470 at + `b9a13c1673e0e9697de410de16e8bbf3207a7363`. It is unchanged on checked main + `b91956876e5b4122fd89179f1b57557ff8378f15`. +- The unchanged `upstream_moment.py` is zxv's + `research/higher-moment-strictification/verify.py` on that main. Its source + header and all original code remain intact. Only its arithmetic functions + are invoked; the complete package's source and construction replay is not run. +- The construction retains zxv's native/controller/compiler work, Jacob Alan + Sussman's mixed-target recursion, Cinna Davis's query-thinning and frame work, + and the scalar, Clifford, geometry, precision and outer-ledger contributors + credited by the upstream package and selected review. +- Aaron Wang / navinor's PR1669 and its handoff motivated the screening question. + The new alternating-Taylor screen does not copy or execute its implementation. +- New experiment and documentation: SHIN09-git with substantial OpenAI Codex + assistance. No independent human or proof-assistant review is claimed. + +Sources retain Apache-2.0. See LICENSE and the exact paths, hashes and links in +SOURCES.json. The new work is also provided under Apache-2.0. diff --git a/research/mixed-moment-screen/OVERLAP.json b/research/mixed-moment-screen/OVERLAP.json new file mode 100644 index 0000000000..db84851f0b --- /dev/null +++ b/research/mixed-moment-screen/OVERLAP.json @@ -0,0 +1,82 @@ +{ + "status": "POSSIBLE_OVERLAP_NOT_A_NOVELTY_CERTIFICATE", + "searched_at": "2026-10-23T05:56:37.945343+00:00", + "terms": [ + "mixed moment", + "mixed-moment", + "adaptive sign", + "rejection-only" + ], + "coverage": { + "local": { + "head": "bee95ce88f9f19802f0613f92838895cd0e14a1f", + "records": 6692, + "head_records": 6690, + "complete_head_inventory": true, + "unsearched_head_paths": [] + }, + "open_prs": { + "fetched_at": "2026-10-23T05:53:59.648595+00:00", + "complete_pagination": true, + "records": 305 + }, + "discussions": { + "fetched_at": "2026-10-23T05:56:37.530384+00:00", + "complete_pagination": true, + "records": 4090 + } + }, + "local_records": 6692, + "warnings": [], + "reference_terms": [], + "limits": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. Local coverage compares searched working-tree notes with regular note paths at coverage.local.head; it does not certify HEAD contents or historical coverage. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission.", + "matches_total": 6, + "matches": [ + { + "number": 1166, + "title": "Handoffs and requests for independent checks", + "kind": "discussion-comment", + "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19103631", + "updated_at": "2026-10-21T17:44:46Z", + "matched_terms": [ + "mixed-moment" + ], + "score": 1, + "excerpt": "000)`, and a normalized paid bound `16386003/16408576 < 1` at 0.00267988.\n\n**Plan:** recompute each mixed-moment and rank-one-tail inequality from the recorded invoices, using the same certified rational enclosures as #4420. I'll also give each invoice's limit saving. Native audits and outer ledgers are not covered.\n\nBase: canonical main `12fa8c5c844be21bfefb38a19503fbd867a11244`, priority revision 7. Expected artifact: one research package and a focused PR. Claim expires 2026-10-21T21:00:00Z.\n\n" + }, + { + "kind": "local-readme", + "title": "research/higher-moment-strictification/README.md", + "path": "research/higher-moment-strictification/README.md", + "sha256": "ebe80b68ff026ce90f71f274c31744f4c0b36132d15ebb7e39cf2d5df4df270d", + "matched_terms": [ + "mixed moment" + ], + "score": 1, + "excerpt": " complements and chronological suspension. No such\n termination/matching proof is supplied by the mixed moment alone.\n2. **Full finite-word size and precision.** Derive compressed upper bounds\n for the compiler's batch denominators, widths, scalar passes and owned\n instances at the specified rank. Ambient rank is only one size parameter;\n this remains the main barrier to assessing practical constants.\n3. **Independent scientific review.** Check the higher-moment inequality,\n the p>1 in" + }, + { + "kind": "local-readme", + "title": "research/pr4405-refill-check/README.md", + "path": "research/pr4405-refill-check/README.md", + "sha256": "e9b16336282666c015a6575f61aec70ad5f18c3087aabeba23a3c403bd3abb23", + "matched_terms": [ + "mixed moment" + ], + "score": 1, + "excerpt": "ng, which is not checked here.\n\n**Part C: the endpoint family.**\n\n- **The root bound.** The complex mixed moment at `C_test = 0.00230509019` is certified positive,\n about `4.7·10⁻⁷`, so `C_test < C*`. It is negative at 0.002306, so `C* < 0.002306`.\n- **The gap identities.** These are all exact identities with strictly positive values at\n `κ = 0.00230509` and at 24 further rational κ between 10⁻⁷ and 0.0023:\n - `ξ = 29/32 + (1−d)q` and `εq = κ + d(3−q)`;\n - `λ−τ = d/2`, `λ−σ = 3d/2` and `λ'−λ" + }, + { + "kind": "local-task", + "title": "research/controller-thinning-global-ceiling/TASK.json", + "path": "research/controller-thinning-global-ceiling/TASK.json", + "sha256": "8726011cf9e1bab33e6336866c62b9c3fd5ea7a37a07d8b06978e514809a3ce1", + "matched_terms": [ + "mixed moment" + ], + "score": 1, + "excerpt": "e proved ceiling.\",\n \"first_step\": \"Emit a changed operator word and compare its fully charged mixed moment before expensive native/phase reconstruction.\",\n \"blocked_by\": \"No profitable changed topology established here.\"\n }\n ]\n}\n" + } + ], + "explanation": "Publication refresh; exclude this new package from related matches. Search absence is not proof of novelty; retained scientific baseline and source bytes are unchanged." +} diff --git a/research/mixed-moment-screen/README.md b/research/mixed-moment-screen/README.md new file mode 100644 index 0000000000..c3e4ebe450 --- /dev/null +++ b/research/mixed-moment-screen/README.md @@ -0,0 +1,158 @@ +# Adaptive sign screening for the frozen PR4470 mixed moment + +Scoped exploratory engineering evidence, prepared for SHIN09-git with substantial +OpenAI Codex assistance. Apache-2.0. No mathematical novelty, new supplier, new kappa, +full replay speedup, or independent human review is claimed. + +## Result and scope + +The old #1669 screening experiment uses a different, fixed-target pricing model. +The current selected #4470 construction has two variable moment sums. This +experiment screens their **signed difference**, with all ranks and counts from +the frozen published raw invoice: + + M(a) = sum_r (targets[r] - paid[r]) * r^(1-a). + +The raw moment condition is M(a)>0. It is only one necessary arithmetic stage. +Completion, uniform compilation, the BIT supplier and outer inequalities still +require their own evidence. Testing a numerical value equal to selected kappa +as a raw rate does not perform that transfer or prove that kappa. + +On this one invoice: + +| Raw test | 2/3-degree bounds | 4/5-degree bounds | 6/7-degree bounds | Full source engine | +|---|---|---|---|---| +| 0 | accept | accept | accept | accept | +| .00300123, predecessor rate | accept | accept | accept | accept | +| .00302015, selected number used as a raw test only | inconclusive | accept | accept | accept | +| .003020155, actual raw admission test | inconclusive | accept | accept | accept | +| .0030201659770, published root lower endpoint | inconclusive | inconclusive | accept | accept | +| .0030201659771, published root upper endpoint | inconclusive | inconclusive | reject | reject | +| .0031, deliberately excessive control | reject | reject | reject | reject | + +These are new, generic alternating-Taylor enclosures, not a run of #1669's +unchanged quadratic implementation. A failure of our 2/3-degree screen to decide +is not an impossibility theorem for every quadratic approximation. + +`verify.py` checks seven cases against two other exponential implementations: +an independently written reciprocal positive-series enclosure and the unchanged +upstream engine. The first two new implementations share a logarithm enclosure; +the upstream engine has its own implementation. Eleven control groups cover +signed cancellation, strict equality, zero-rate mass, changed charges, an exact +power identity, fallback execution and accepted/rejected gate behavior. These +checks are scoped arithmetic evidence, not independent native replay. + +## Why the bounds are certified + +For r>=1, binary reduction gives log r = k log 2 + log(r/2^k). For 1<=x<=2, +z=(x-1)/(x+1) lies in [0,1/3], and + + log x = 2 sum_(j=0)^(N-1) z^(2j+1)/(2j+1) + R, + 0 <= R <= 2 z^(2N+1) / ((2N+1)(1-z^2)). + +Use N=72 and round outward to 192 binary fractional bits. All calculations use +integers and rational numbers; floating values in RESULT.json are display only. + +Taylor's integral remainder for exp(-x), x>=0, has the sign of its first omitted +term. Thus the degree-(2d+1) partial sum is a lower bound, and the degree-2d +partial sum an upper bound. Evaluate each polynomial with interval arithmetic +at x=a log r. Equal bases are cancelled exactly first. A negative signed +coefficient reverses its interval endpoints. Summing these contributions +encloses M(a). Strict positive lower bound accepts; strict negative upper bound +rejects; otherwise the answer is inconclusive. + +The separate positive-series engine bounds exp(x) by its degree-24 positive +partial sum and a geometric majorant of the remaining tail, then takes the +reciprocal. The upstream engine independently uses 80 logarithm terms, outward +fixed-point exponential arithmetic and scaling/squaring. We reproduce both +signs of the already published root bracket; we do not claim a new root. + +Freezing target credit at its a=0 value produces a false acceptance at a=.0031. +The actual mixed moment rejects there. This control applies to that incorrect +migration assumption, not to the original #1669 implementation. + +## Two different uses + +`adaptive_margin` tries degree pairs 2/3, 4/5, 6/7, then falls back to the full +source engine. Its output is a certified **sign**, not the source engine's +same narrow interval. It is appropriate only when the caller needs a sign. + +`reject_gate_margin` also calls the full source engine after a positive screen. +It only avoids that work for certified rejections. This preserves the original +quantitative interval for accepted candidates that need it downstream. Equality +and unresolved intervals invoke the full fallback. It does not skip native, +ownership, completion, compiler, source-binding or outer validation. + +## Measurements + +`TIMINGS-FINAL.json` contains 252 fresh Python processes: 21 adjacent blocks per +case, three cases, four methods, rotating and reversing method order. Each +process includes startup, imports, input parsing, both source hash checks, cold +logarithm caches and the decision. OS file caches were not flushed. The first approximately 10 seconds overlapped +with a local verification run; other host contention was uncontrolled; timings are descriptive, never acceptance thresholds. + +The baselines are the unchanged source moment calculation at exponent 1-a and +an exact algebraic factoring of the same engine as r*exp(-a log r). The latter +helps distinguish fewer terms from merely changing the exponential argument. + +Median paired process-time changes relative to the unchanged source engine: + +| Case | Sign-only adaptive | Rejection-only gate | Gate faster pairs | +|---|---|---|---| +| Actual raw admission test, accepts | 34.14% less | 11.01% more | 1/21 | +| Published root upper endpoint, rejects | 31.45% less | 32.12% less | 21/21 | +| Excessive .0031 control, rejects | 33.40% less | 35.41% less | 21/21 | + +Relative to the factored full baseline, the rejection-only gate saves 29.97% +and 34.41% on the two rejecting cases, and costs 13.72% more on the accepting +case. Percentages are medians of paired ratios, not ratios of separate medians. +The three rates are fixtures, not an observed candidate population. No claim +about the complete PR, selected verification job, or multiplication runtime is +supported by these measurements. + +## Reproduce + +Tested on Python 3.12, standard library only; no Git, network, GPU or external dependency +is needed after downloading this directory. From this directory: + +```sh +python -I -B verify.py +python -I -O -B verify.py +python -I -B benchmark.py --pairs 21 --output NEW-TIMINGS.json +``` + +`verify.py` compares the complete recomputed receipt to RESULT.json; `--write` is +an explicit authoring path. Benchmarking requires a +fresh output path. `VALIDATION.json` records local registered replay and source-only integrity +controls. The public verifier runs under optimized Python in a temporary export, +and mutations of the input, engine and expected receipt must reject. `SOURCES.json` and `NOTICE.md` retain provenance. + +## Open next questions + +The exploration's checked main was b91956876e5b4122fd89179f1b57557ff8378f15, +priority revision 7, selected kappa 60403/20000000. Publication was refreshed +against bee95ce88f9f19802f0613f92838895cd0e14a1f with unchanged source bytes. +The final overlap search covered 305 open PRs, 4,090 Discussion records and all +6,690 tracked top-level package README/TASK records, with complete reported +pagination/inventory. OVERLAP.json preserves the query and related matches. +Closed PRs were represented by local packages and the ledger, not a fresh full +closed-PR API census. This is not a proof of novelty or review of every code diff. + +Related work includes #1669's frozen fixed-target surrogate; the local October +15 PR2260 timing study; `ceiling-integer-taylor`, which keeps an older engine's +exact intervals and changes its arithmetic implementation; and the current +PR4470 arithmetic/strictification audits. Our contribution is a local migration +probe and measurements, not a replacement for those results. + +The next useful test is one **actual candidate batch or sign-only caller** with +this same complete raw-moment model. Measure rejected, accepted and inconclusive +candidates, retaining all necessary downstream checks. Do not integrate the +gate into accepted-certificate generation on the basis of the sign-only speedup. +Stop if complete caller runtime does not improve, if most candidates pass, or +if a caller requires interval values that the screen cannot supply. + +Registered replay from the repository root: + +```sh +python -B scripts/research_package.py --package research/mixed-moment-screen +``` diff --git a/research/mixed-moment-screen/RESULT.json b/research/mixed-moment-screen/RESULT.json new file mode 100644 index 0000000000..0f2cc32cf4 --- /dev/null +++ b/research/mixed-moment-screen/RESULT.json @@ -0,0 +1,381 @@ +{ + "status": "PASS_SCOPED_MIXED_MOMENT_PROBE", + "input_sha256": "c7b2388f6511c19976b337d8c8ac374610af616866a249d75dace704eb5d9e21", + "base": "b91956876e5b4122fd89179f1b57557ff8378f15", + "source_pr": 4470, + "source_head": "b9a13c1673e0e9697de410de16e8bbf3207a7363", + "log_interval_bits": 192, + "log_series_terms": 72, + "definition": "sum target_n*r^(1-a) minus sum paid_n*r^(1-a)", + "scope": "Frozen raw invoice only; no native, compiler, completion, outer, or speed claim. The two new exponential engines share proved rational log intervals; the upstream source engine has its own log implementation.", + "upstream_engine_sha256": "0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326", + "cases": [ + { + "case": "zero", + "rate": "0", + "full_positive_exp": { + "lower": "752", + "upper": "752", + "decimal_approx": [ + 752.0, + 752.0 + ], + "decision": "accept" + }, + "upstream_source_engine": { + "lower": "295023781563173995900282102890760321556810705889809615618561/392318858461667547739736838950479151006397215279002157056", + "upper": "2360190252505391967202256823126082572454485647118477038939527/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 752.0, + 752.0 + ], + "decision": "accept" + }, + "screens": { + "2": { + "lower": "752", + "upper": "752", + "decimal_approx": [ + 752.0, + 752.0 + ], + "decision": "accept" + }, + "4": { + "lower": "752", + "upper": "752", + "decimal_approx": [ + 752.0, + 752.0 + ], + "decision": "accept" + }, + "6": { + "lower": "752", + "upper": "752", + "decimal_approx": [ + 752.0, + 752.0 + ], + "decision": "accept" + } + } + }, + { + "case": "previous_4447_rate", + "rate": "300123/100000000", + "full_positive_exp": { + "lower": "29402754811370464209885825230474068258845047939795247756011/6277101735386680763835789423207666416102355444464034512896", + "upper": "29402754811370464209885825230474068258845047939795247757291/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 4.6841290855005075, + 4.6841290855005075 + ], + "decision": "accept" + }, + "upstream_source_engine": { + "lower": "14701377405685232104942912615237034129422523969897572592233/3138550867693340381917894711603833208051177722232017256448", + "upper": "3675344351421308026235728153809258532355630992474421350835/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 4.6841290855005075, + 4.6841290855005075 + ], + "decision": "accept" + }, + "screens": { + "2": { + "lower": "29168148758743742755526352333406525402247312897727615258343/6277101735386680763835789423207666416102355444464034512896", + "upper": "7443414868075338929491619835564625685708908476137969644931/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 4.646754185026274, + 4.74321760701354 + ], + "decision": "accept" + }, + "4": { + "lower": "14701376587881648881110515790966218448008492196008517419167/3138550867693340381917894711603833208051177722232017256448", + "upper": "7350689453304000383938011151477415858798362105147058230941/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 4.6841288249332536, + 4.6841295637220925 + ], + "decision": "accept" + }, + "6": { + "lower": "918836087855151949150771485507014493110076948425230235137/196159429230833773869868419475239575503198607639501078528", + "upper": "29402754811383080414853435748958050442761892962092539578289/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 4.684129085499616, + 4.6841290855025175 + ], + "decision": "accept" + } + } + }, + { + "case": "selected_kappa_as_raw_test_only", + "rate": "60403/20000000", + "full_positive_exp": { + "lower": "24807216944053052451840385621530134747421796989635447241/6277101735386680763835789423207666416102355444464034512896", + "upper": "24807216944053052451840385621530134747421796989635448529/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 0.003952017665127883, + 0.003952017665127883 + ], + "decision": "accept" + }, + "upstream_source_engine": { + "lower": "3100902118006631556480048202691266843427724623691576499/784637716923335095479473677900958302012794430558004314112", + "upper": "775225529501657889120012050672816710856931155929989749/196159429230833773869868419475239575503198607639501078528", + "decimal_approx": [ + 0.003952017665127883, + 0.003952017665127883 + ], + "decision": "accept" + }, + "screens": { + "2": { + "lower": "-214266844883552990074621614160738192333142522911277713719/6277101735386680763835789423207666416102355444464034512896", + "upper": "402767779553337010369479971565806853142521035636693595563/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + -0.03413467774078601, + 0.06416460916712 + ], + "decision": "inconclusive" + }, + "4": { + "lower": "6201382276523739316813780070289138515285471330115502059/1569275433846670190958947355801916604025588861116008628224", + "upper": "12405157293927559509273470678368103422306635526520650639/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.003951748777028048, + 0.003952511148256347 + ], + "decision": "accept" + }, + "6": { + "lower": "12403608469099602098467196405503056306036729686227563621/3138550867693340381917894711603833208051177722232017256448", + "upper": "24807216957236547438879882801884097681165649539211212411/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 0.003952017664195311, + 0.003952017667228135 + ], + "decision": "accept" + } + } + }, + { + "case": "admission_raw_test", + "rate": "604031/200000000", + "full_positive_exp": { + "lower": "17043809144006740001585707541610438018288539832367008137/6277101735386680763835789423207666416102355444464034512896", + "upper": "8521904572003370000792853770805219009144269916183504713/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "upstream_source_engine": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "screens": { + "2": { + "lower": "-222031440887159228600103970584504715634914378688772452997/6277101735386680763835789423207666416102355444464034512896", + "upper": "197503124072050874770727625334134740181471788519426140957/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -0.03537164924944166, + 0.06292812587651467 + ], + "decision": "inconclusive" + }, + "4": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "6": { + "lower": "17043809138152823884490718689251088648116770065688382883/6277101735386680763835789423207666416102355444464034512896", + "upper": "17043809157190387748035395732087874132632205150489244299/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 0.002715235447287664, + 0.0027152354503205225 + ], + "decision": "accept" + } + } + }, + { + "case": "published_root_lower", + "rate": "3020165977/1000000000000", + "full_positive_exp": { + "lower": "12126822457447713606972507064119564275191559598643/3138550867693340381917894711603833208051177722232017256448", + "upper": "24253644914895427213945014128239128550383119198575/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 3.863828552939864e-09, + 3.863828552939864e-09 + ], + "decision": "accept" + }, + "upstream_source_engine": { + "lower": "6063411228723856803486253532059782137595754102313/1569275433846670190958947355801916604025588861116008628224", + "upper": "6063411228723856803486253532059782137595810719079/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 3.863828552939864e-09, + 3.863828552939864e-09 + ], + "decision": "accept" + }, + "screens": { + "2": { + "lower": "-239077834373434984048936736983988511000923884533448916817/6277101735386680763835789423207666416102355444464034512896", + "upper": "377966582703900143022013001217442491635391730444880788537/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + -0.038087296407138344, + 0.060213550558395834 + ], + "decision": "inconclusive" + }, + "4": { + "lower": "-1663628976392320188726307619035204307491778388651887/6277101735386680763835789423207666416102355444464034512896", + "upper": "780494841080442315752990252088499449713157653981851/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.6503138654161667e-07, + 4.973600072023446e-07 + ], + "decision": "inconclusive" + }, + "6": { + "lower": "3030973856223914623886619623117433341579652837229/784637716923335095479473677900958302012794430558004314112", + "upper": "24266828898015207446467928670205001545894369538213/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 3.862895946563404e-09, + 3.865928882626327e-09 + ], + "decision": "accept" + } + } + }, + { + "case": "published_root_upper", + "rate": "30201659771/10000000000000", + "full_positive_exp": { + "lower": "-32753625489748012644667666389452992107175541081755/1569275433846670190958947355801916604025588861116008628224", + "upper": "-131014501958992050578670665557811968428702164325731/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "upstream_source_engine": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "screens": { + "2": { + "lower": "-59769497416336535377823179246539449219727897238436544041/1569275433846670190958947355801916604025588861116008628224", + "upper": "47245803434160177499383431271442420347846275411915071097/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -0.0380873211465671, + 0.06021352582873153 + ], + "decision": "inconclusive" + }, + "4": { + "lower": "-909448561772878774965838754135280481908613348839609/3138550867693340381917894711603833208051177722232017256448", + "upper": "741677804490151905167584039864600374923204560427801/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.897670294702831e-07, + 4.7262436439989496e-07 + ], + "decision": "inconclusive" + }, + "6": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + } + } + }, + { + "case": "larger_rate_control", + "rate": "31/10000", + "full_positive_exp": { + "lower": "-15491903642156007562902928576395704723840200765276361086573/784637716923335095479473677900958302012794430558004314112", + "upper": "-61967614568624030251611714305582818895360803061105444345631/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "upstream_source_engine": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "screens": { + "2": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "4": { + "lower": "-123935231060429104836915049175793959358442179990841012113219/6277101735386680763835789423207666416102355444464034512896", + "upper": "-123935225607980661302305882078483038554078322565350967540573/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + -19.744021410670108, + -19.744020542044954 + ], + "decision": "reject" + }, + "6": { + "lower": "-123935229137255087997639589515777234395668770645436337570535/6277101735386680763835789423207666416102355444464034512896", + "upper": "-123935229137232235240531189366818677593372650502373467424081/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + -19.74402110429081, + -19.744021104287167 + ], + "decision": "reject" + } + } + } + ], + "frozen_target_migration_foil": { + "lower": "16399748375774418598402455086715575120478859048410528820435597/6277101735386680763835789423207666416102355444464034512896", + "upper": "16399748375774418598402455086715575120478859048410528820436203/6277101735386680763835789423207666416102355444464034512896", + "decimal_approx": [ + 2612.6306482053797, + 2612.6306482053797 + ], + "decision": "accept" + }, + "controls_passed": 11 +} diff --git a/research/mixed-moment-screen/SELECTED-RECORD.json b/research/mixed-moment-screen/SELECTED-RECORD.json new file mode 100644 index 0000000000..c35482cd90 --- /dev/null +++ b/research/mixed-moment-screen/SELECTED-RECORD.json @@ -0,0 +1,85 @@ +{ + "status": "Selected maintainer-reviewed conditional joint-helper construction; source-bound foundation reuse is explicit", + "kappa": "60403/20000000", + "decimal": "0.00302015", + "source_prs": [ + 4470, + 4447, + 4441, + 4440, + 4416, + 4433, + 4359, + 4268, + 3945, + 4085, + 2979, + 4076, + 4088, + 1673, + 1758, + 1786, + 23, + 555, + 589 + ], + "source_manifest": "certificates/frontier4470-source.json", + "certificate": "certificates/frontier4470/CLAIM.json", + "certificate_sha256": "d962932a6971b8f0054462c59f4ad699dcf3d1fbf886e1f856a6fa9e97491232", + "proof": "docs/research/pr-intake-evidence/pr4470/PROOF-REVIEW.md", + "proof_supplements": { + "notes/batched-bit-rows.tex": "ef72c0ead19373cbc19c8a3aacb44dd0f75353ee5f4d055f775a986a4878022c", + "notes/batched-complex-rows.tex": "64c70926a8705874f1c9b42a2f703e42cad4e90f927f544458cfdf729540236c", + "notes/compact-control-movement.tex": "b963c3d2f4e1b7059aa289bb4b4ac89b688920bcf42f5b20d7698cdef0132cc6", + "notes/general-clifford-frames.tex": "c9bb9655b594583c6b4bab8cb485233f1d1e588f83858cf1e4c3530cee8fed54", + "notes/stopped-product-complex.tex": "4738089103a4b263b3b0ef458f5ef35519c696f1ea871ae79e508d3720f5870a", + "notes/three-stage-cover-bit.tex": "47123a756f823c83a0d48cca2bf5add6472cd88410b13aed345e70c8834fb511", + "notes/three-stage-cover-rows.tex": "6ad97a5cd7d6aecf978a81226e1c2763d37840caca130c61f3bf5c4ac111c5c8", + "references/semantic-bulk/pr23/semantic-bulk-17-note.tex": "652242b05174bb776ffc6165af170df9c8cf220dbd0fc26c24d778f320dbabc8", + "research/e8-bit-carrier-skeleton/code/bit/export_records.py": "8a5999601f917dbb492bb9ae9a344611f18cc7cedc53dc3c76496a369e530eb3", + "research/e8-bit-carrier-skeleton/code/nine/geometry.py": "36eeda3184bd009e89462b65c8725d10860c444f8da8f1f87e5f6e50120011ca", + "research/e8-bit-p111-tuned/code/gen_p3.py": "438b83f10d70ceca7cf78049420204b7de2dc61682f913c50a62596106ad84cd", + "research/e8-bit-p111-tuned/code/xcheck_p.py": "af3decc877e27c00001cf56f50c6c09566e8e101297ab34c7860aed96a06d80e", + "research/e8-bit-p111-tuned/tune/EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4", + "research/e8-bit-p111-tuned/tune/apply.py": "806ae4cb2648e4f05dcf56bd089891fd3ba33a6ee5fe76d3329e322c6770c1a1", + "research/e8-bit-p111-tuned/tune/wlib.py": "a37fdf3cdf5f62945c2a90193401c0e9edc9dd3cda8d8cb36a3b9c329ebe4dbc", + "research/t74-native-fast/vendor/native/new/code/borrow/vendor/clifford/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962", + "docs/research/pr-intake-evidence/pr4359/PROOF-REVIEW.md": "7d67bb814285f7634029fbd378c6457156545f0b38858cc1c6ec34b68cd9d162", + "docs/research/pr-intake-evidence/pr4470/PROOF-REVIEW.md": "5c111dd56beb53dc44ab727d96e1af03aaf50f3023d4342e2b0a89ede6cf585b", + "docs/research/pr-intake-evidence/pr4416/PROOF-REVIEW.md": "2c2bbe6fe1bab44778192118f27e59a0d23dbe02c47aa8a42845093f1ce46f49" + }, + "review": "docs/research/pr-intake-evidence/pr4470/PROOF-REVIEW.md", + "validation": "docs/research/pr-intake-evidence/pr4470/VALIDATION.json", + "integration": "docs/research/pr-intake-evidence/pr4470/INTEGRATION.json", + "reproduce": "make frontier4470-verify", + "scope": "Maintainer-reviewed conditional PR4470 construction. Inherited native/all-column, owned-erasure, whole-job, compiler, precision/tape, analytic, prime and recovery hypotheses remain. Uniform words are not materialized.", + "previous_kappa": "23/10000", + "previous_record": "certificates/checkpoints/frontier4359.json", + "audited_source_head": "b9a13c1673e0e9697de410de16e8bbf3207a7363", + "source_certificate": "research/joint-helper-lattice/RESULT.json", + "source_certificate_sha256": "c7b2388f6511c19976b337d8c8ac374610af616866a249d75dace704eb5d9e21", + "replay_mode": "fresh changed-construction replay with exact-source prior foundation review reuse", + "contributors": "docs/research/community-joint4470-contributors.md", + "assumptions": [ + { + "id": "native_all_columns", + "statement": "Retained native operators, phase conventions, spectators and whole-job adapters work at every positive column multiplicity." + }, + { + "id": "owned_erasure", + "statement": "Owned streams and suspended centers obey the retained allocation, erasure and ownership contracts." + }, + { + "id": "compiler", + "statement": "The finite mixed-target compiler and chronological product, completion and splitting satisfy the retained uniform closure contract." + }, + { + "id": "precision_tape", + "statement": "Retained fixed-tape movement and precision/storage prescriptions apply to the new fixed finite template." + }, + { + "id": "analytic_recovery", + "statement": "Analytic decomposition, fine-prime avoidance and exact integer recovery follow the retained upstream/outer framework." + } + ] +} diff --git a/research/mixed-moment-screen/SOURCES.json b/research/mixed-moment-screen/SOURCES.json new file mode 100644 index 0000000000..4887d8fb5e --- /dev/null +++ b/research/mixed-moment-screen/SOURCES.json @@ -0,0 +1,33 @@ +{ + "schema_version": 1, + "base_commit": "bee95ce88f9f19802f0613f92838895cd0e14a1f", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395", + "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72" + }, + { + "path": "research/joint-helper-lattice/RESULT.json", + "usage": "provenance", + "git_blob": "edf41a49a0350862c23378f837c7397fc5dc7596", + "sha256": "c7b2388f6511c19976b337d8c8ac374610af616866a249d75dace704eb5d9e21", + "vendored_as": "INPUT.json" + }, + { + "path": "research/higher-moment-strictification/verify.py", + "usage": "provenance", + "git_blob": "4b24a5096154736ce060474eb8c72dc64c303699", + "sha256": "0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326", + "vendored_as": "upstream_moment.py" + } + ], + "scope": "All consumed input bytes are package-local and authenticated by verify.py; original Git objects are provenance, not mutable live dependencies." +} diff --git a/research/mixed-moment-screen/TASK.json b/research/mixed-moment-screen/TASK.json new file mode 100644 index 0000000000..c79cb0953d --- /dev/null +++ b/research/mixed-moment-screen/TASK.json @@ -0,0 +1,63 @@ +{ + "schema_version": 1, + "task_id": "replay-runtime", + "priority_revision": 7, + "base_commit": "bee95ce88f9f19802f0613f92838895cd0e14a1f", + "original_card": { + "id": "replay-runtime", + "question": "Can one measured replay bottleneck be sped up without dropping coverage?", + "starting_points": [ + "scripts/run_isolated_tests.py", + "scripts/verify_replay_coverage.py", + "certificates/selected-result.json" + ], + "methods": [ + "Profile one isolated replay and optimize the measured bottleneck.", + "Design source-bound reuse with explicit dependency invalidation and negative controls." + ], + "acceptance_gate": "Report before/after wall time on the same fixture, retained checks and invalidation behavior.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read the selected reproduction command and choose a single replay stage for profiling.", + "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay." + }, + "first_experiment": "Measure one unchanged fixture, preserve check coverage, and test one optimization with invalidation controls.", + "bottleneck_link": "Faster trustworthy replays increase review throughput and let mechanism candidates be checked sooner.", + "allowed_variations": [ + "Profile one stage or design one source-bound cache boundary." + ], + "scope_change_triggers": [ + "Skipping coverage or comparing different fixtures to claim speedup." + ], + "overlap_terms": [ + "replay runtime", + "cache invalidation", + "isolated tests" + ] + }, + "scope_status": "changed", + "actual_scope": "Source-bound adaptive sign screening of the frozen PR4470 mixed-target raw moment; compare standalone signs and rejection-only gating, preserving full accepted intervals.", + "scope_change_reason": "The original card asks for an unchanged replay. This opt-in side experiment changes interval widths while preserving certified signs; it does not replace the full registered construction replay.", + "bottleneck_link": "Determine whether a cheap rejection can avoid full moment arithmetic, and explicitly measure the overhead when the candidate must still be fully evaluated.", + "budget_minutes": 60, + "stop_rule": "Stop at seven fixed raw sign cases, source/receipt controls and 21 fresh-process paired measurements; leave production adoption to an actual caller/candidate batch.", + "outcome": "completed", + "evidence": "RESULT.json, TIMINGS-FINAL.json and VALIDATION.json", + "author": "SHIN09-git", + "ai_assistance": "Substantial OpenAI Codex assistance for SHIN09-git; no subagents, proof assistant or independent human review.", + "open_questions": [ + { + "question": "Does rejection-only screening help one actual candidate batch or sign-only caller?", + "why_it_matters": "Accepted candidates can still need the full interval and incur extra work; fixture speedups cannot establish pipeline speedups.", + "first_step": "Pin one complete raw-moment caller and its candidate list; retain source bindings and downstream acceptance obligations and compare all accepted, rejected and inconclusive cases.", + "blocked_by": "No real candidate batch or complete caller was measured here." + } + ], + "scientific_base": "b91956876e5b4122fd89179f1b57557ff8378f15", + "original_probe": "Local October 23 exploratory result, now packaged for user-authorized publication." +} diff --git a/research/mixed-moment-screen/TIMINGS-FINAL.json b/research/mixed-moment-screen/TIMINGS-FINAL.json new file mode 100644 index 0000000000..52b5c668ba --- /dev/null +++ b/research/mixed-moment-screen/TIMINGS-FINAL.json @@ -0,0 +1,4422 @@ +{ + "python": "3.12.10 (tags/v3.12.10:0cc8128, Apr 8 2025, 12:21:36) [MSC v.1943 64 bit (AMD64)]", + "platform": "Windows-11-10.0.26100-SP0", + "pairs": 21, + "fresh_processes": 252, + "scope": "One frozen raw moment sign; process time includes Python startup, imports, source hash checks, input parsing and cold logarithm caches. OS file caches are not flushed. No native, compiler, full PR, or multiplication timing.", + "ordering": "Adjacent four-method blocks per case; cyclic method order and alternating reversal", + "sources": { + "verify.py": "9e57b34a8cbd30035091ec577449e11f9d47e998bc54a6e8291223c92dd02f75", + "benchmark.py": "3c5da07624b2761f333ec91996220a500cd3fdbd2dde6f8d0cac025f5e9720a5", + "INPUT.json": "c7b2388f6511c19976b337d8c8ac374610af616866a249d75dace704eb5d9e21", + "upstream_moment.py": "0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326" + }, + "summary": { + "admission_raw_test": { + "source_full": { + "median_process_seconds": 0.3138737000117544, + "median_computation_seconds": 0.12979420000920072 + }, + "source_normalized": { + "median_process_seconds": 0.3017684000078589, + "median_computation_seconds": 0.11932259998866357 + }, + "adaptive": { + "median_process_seconds": 0.2040108000219334, + "median_computation_seconds": 0.02508960000704974 + }, + "reject_gate": { + "median_process_seconds": 0.34724370000185445, + "median_computation_seconds": 0.15597069999785163 + }, + "paired_comparisons": { + "adaptive_vs_source_full": { + "median_fraction_saved": 0.34141793166977896, + "faster_pairs": 21, + "pairs": 21 + }, + "adaptive_vs_source_normalized": { + "median_fraction_saved": 0.3191933610366592, + "faster_pairs": 21, + "pairs": 21 + }, + "reject_gate_vs_source_full": { + "median_fraction_saved": -0.11008755429811745, + "faster_pairs": 1, + "pairs": 21 + }, + "reject_gate_vs_source_normalized": { + "median_fraction_saved": -0.13721090665105695, + "faster_pairs": 3, + "pairs": 21 + } + } + }, + "published_root_upper": { + "source_full": { + "median_process_seconds": 0.32770139997592196, + "median_computation_seconds": 0.13114370001130737 + }, + "source_normalized": { + "median_process_seconds": 0.3127513999934308, + "median_computation_seconds": 0.12446979997912422 + }, + "adaptive": { + "median_process_seconds": 0.222812599997269, + "median_computation_seconds": 0.03263349999906495 + }, + "reject_gate": { + "median_process_seconds": 0.21468289999756962, + "median_computation_seconds": 0.032782800000859424 + }, + "paired_comparisons": { + "adaptive_vs_source_full": { + "median_fraction_saved": 0.3144769086172885, + "faster_pairs": 21, + "pairs": 21 + }, + "adaptive_vs_source_normalized": { + "median_fraction_saved": 0.2984110683896619, + "faster_pairs": 21, + "pairs": 21 + }, + "reject_gate_vs_source_full": { + "median_fraction_saved": 0.3211639257103597, + "faster_pairs": 21, + "pairs": 21 + }, + "reject_gate_vs_source_normalized": { + "median_fraction_saved": 0.29973623092133794, + "faster_pairs": 21, + "pairs": 21 + } + } + }, + "larger_rate_control": { + "source_full": { + "median_process_seconds": 0.3099872999882791, + "median_computation_seconds": 0.12941640001372434 + }, + "source_normalized": { + "median_process_seconds": 0.31308210000861436, + "median_computation_seconds": 0.12092600000323728 + }, + "adaptive": { + "median_process_seconds": 0.20967390001169406, + "median_computation_seconds": 0.020797600009245798 + }, + "reject_gate": { + "median_process_seconds": 0.2028262999956496, + "median_computation_seconds": 0.020805400010431185 + }, + "paired_comparisons": { + "adaptive_vs_source_full": { + "median_fraction_saved": 0.3340288456735997, + "faster_pairs": 21, + "pairs": 21 + }, + "adaptive_vs_source_normalized": { + "median_fraction_saved": 0.32158196644233483, + "faster_pairs": 21, + "pairs": 21 + }, + "reject_gate_vs_source_full": { + "median_fraction_saved": 0.3540699250904966, + "faster_pairs": 21, + "pairs": 21 + }, + "reject_gate_vs_source_normalized": { + "median_fraction_saved": 0.34413055475617993, + "faster_pairs": 21, + "pairs": 21 + } + } + } + }, + "samples": [ + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1447590999887325, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 0, + "process_seconds": 0.33346170000731945 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.12176440001348965, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 0, + "process_seconds": 0.3211525999940932 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.025346099981106818, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 0, + "process_seconds": 0.20978169998852536 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15835990000050515, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 0, + "process_seconds": 0.3896218999871053 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12844400000176392, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.32753859998774715 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03335099999094382, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.222812599997269 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03385199999320321, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.21882750000804663 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.13734360001399182, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.33299619998433627 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020370000012917444, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.2164078000059817 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02266849999432452, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.21272129999124445 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.16036399998120032, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.3915545000054408 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.12925109997740947, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 0, + "process_seconds": 0.7080131999973673 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.155659599986393, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 1, + "process_seconds": 0.34509149999939837 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.16191619998426177, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 1, + "process_seconds": 0.45942480000667274 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.029899500019382685, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 1, + "process_seconds": 0.24070550000760704 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.12425789999542758, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 1, + "process_seconds": 0.3191503999987617 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12446979997912422, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.35623299999861047 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.13781179999932647, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.36642619999474846 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03329620001022704, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.2389273000007961 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.033022499992512167, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.24951630001305602 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02072040000348352, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.20162209999398328 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.12198370002442971, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.32922230000258423 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.13473530000192113, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.37886029999936 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02121059998171404, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 1, + "process_seconds": 0.2251862999983132 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02508960000704974, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 2, + "process_seconds": 0.21405320000485517 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15317780000623316, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 2, + "process_seconds": 0.36080210001091473 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.12785269998130389, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 2, + "process_seconds": 0.32502129999920726 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11421199998585507, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 2, + "process_seconds": 0.2995371000142768 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.030911500012734905, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.2061690999835264 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.14213370002107695, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.3327446000184864 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.11288909998256713, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.29056779999518767 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03159380002762191, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.204382900003111 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.12437190001946874, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.3009178999927826 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11502490000566468, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.2943187000055332 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.021662900020601228, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.21522479999111965 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.018893699976615608, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 2, + "process_seconds": 0.1969526000029873 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.025081600004341453, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 3, + "process_seconds": 0.19828130002133548 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.12537150000571273, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 3, + "process_seconds": 0.2988354000262916 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1234925999888219, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 3, + "process_seconds": 0.30225619999691844 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.14855449998867698, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 3, + "process_seconds": 0.31627819998539053 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03243049999582581, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.20854700001655146 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03230040002381429, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.20582680002553388 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.11527759997989051, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.28741320001427084 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.13167380000231788, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.30024779998348095 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.1284668000007514, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.3019736999995075 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.01930660000653006, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.19717780000064522 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02046229998813942, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.19823499998892657 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.13034590001916513, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 3, + "process_seconds": 0.30318160000024363 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.13449490000493824, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 4, + "process_seconds": 0.3380540999933146 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.1302813999936916, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 4, + "process_seconds": 0.37890280000283383 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.024811399984173477, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 4, + "process_seconds": 0.19886379997478798 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15575279999757186, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 4, + "process_seconds": 0.32776230000308715 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12041239999234676, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.3000915000156965 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03237130001070909, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.20425450001494028 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.030719200003659353, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.20105099998181686 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.12416489998577163, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.2929759999969974 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02102680000825785, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.20159199999761768 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.019245800009230152, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.19101880001835525 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.12713029998121783, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.2958846999972593 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11620740001671948, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 4, + "process_seconds": 0.2948014999856241 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1250073999981396, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 5, + "process_seconds": 0.30767169999307953 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15522149999742396, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 5, + "process_seconds": 0.3284999000024982 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02220939999097027, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 5, + "process_seconds": 0.19499749998794869 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11794960001134314, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 5, + "process_seconds": 0.2917936999874655 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.1159302000014577, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.290543399984017 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.1269105999963358, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.29378710000310093 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.031893800012767315, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.2045495999918785 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03231810001307167, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.24411529998178594 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020797600009245798, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.19658089999575168 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.1159719999996014, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.28698720000102185 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.1279394000011962, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.29933720000553876 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020578499999828637, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 5, + "process_seconds": 0.19335090002277866 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02486750000389293, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 6, + "process_seconds": 0.19614580000052229 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.14846600001328625, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 6, + "process_seconds": 0.32356619997881353 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.12904229998821393, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 6, + "process_seconds": 0.30451020001783036 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11613470001611859, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 6, + "process_seconds": 0.291523199994117 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.031539800023892894, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.20712259999709204 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.1298520999844186, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.3088080000015907 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.11264250002568588, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.28564749998622574 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.030995599983725697, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.20449350000126287 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.12313609998091124, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.2994284000014886 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.12092600000323728, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.292710600013379 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02044439999735914, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.18955239999922924 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020426300005055964, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 6, + "process_seconds": 0.19650930000352673 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.0281818000075873, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 7, + "process_seconds": 0.19984650000697002 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11117749998811632, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 7, + "process_seconds": 0.28425029999925755 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1253619999915827, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 7, + "process_seconds": 0.29591960000107065 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15402079999330454, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 7, + "process_seconds": 0.3302706999820657 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03324579997570254, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.2338558999763336 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.035024200013140216, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.22080469998763874 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.1252536000101827, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.31472090000170283 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.1296718000085093, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.3320238000014797 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.12216739999712445, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.2961364999937359 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020805400010431185, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.19574669998837635 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020242200000211596, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.19247229999746196 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11511359998257831, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 7, + "process_seconds": 0.28629789999104105 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.12228549999417737, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 8, + "process_seconds": 0.29791319998912513 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11413300002459437, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 8, + "process_seconds": 0.2868839000002481 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.0238314000016544, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 8, + "process_seconds": 0.19848610000917688 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15360119999968447, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 8, + "process_seconds": 0.3262475000228733 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12118190000182949, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.2992636999988463 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03256819999660365, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.2060676999972202 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.030358999996678904, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.20475330000044778 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.12558789999457076, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.30627060000551865 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020839700009673834, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.2345809999969788 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020037999987835065, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.19843970000511035 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.13396799998008646, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.31070279999403283 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11542170000029728, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 8, + "process_seconds": 0.3374757999845315 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1272546000254806, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 9, + "process_seconds": 0.3036065999767743 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15282039999146946, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 9, + "process_seconds": 0.32726869999896735 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.023435000010067597, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 9, + "process_seconds": 0.19980150001356378 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11437080000177957, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 9, + "process_seconds": 0.2864718000055291 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.11781869997503236, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.29456159999244846 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.12106959999073297, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.29301219998160377 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.030176300002494827, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.20062630000757053 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03037279998534359, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.20609739999054 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020609800005331635, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.19002959999488667 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11834670000826009, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.2922118999995291 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.12457159999758005, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.29519730000174604 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.017721999989589676, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 9, + "process_seconds": 0.18901249999180436 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.025003200018545613, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 10, + "process_seconds": 0.2017807999800425 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15326500000082888, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 10, + "process_seconds": 0.3335531000047922 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.12768100001267157, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 10, + "process_seconds": 0.29809779999777675 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11923039998509921, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 10, + "process_seconds": 0.2949578000116162 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.032782800000859424, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.20378530002199113 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.1235506999946665, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.2957553000014741 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.1193929000000935, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.2910122000030242 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.029791800014209002, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.20734309998806566 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.11968070000875741, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.29372699998202734 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11793629999738187, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.2877118999895174 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020829399989452213, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.20337969998945482 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.022942999989027157, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 10, + "process_seconds": 0.22082529999897815 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02588219998870045, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 11, + "process_seconds": 0.211853400018299 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11116590001620352, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 11, + "process_seconds": 0.3017684000078589 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.12153430000762455, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 11, + "process_seconds": 0.2993623999936972 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.1535114999860525, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 11, + "process_seconds": 0.3516740000050049 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.031367799994768575, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.2071521999896504 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03020249999826774, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.20722630000091158 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.11554569998406805, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.2896537999913562 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.13114370001130737, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.3078668999951333 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.1233930999878794, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.3028640999982599 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02043880001292564, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.19278180002584122 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020599399984348565, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.19442079999134876 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.12155650000204332, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 11, + "process_seconds": 0.3027948999952059 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.12796610000077635, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 12, + "process_seconds": 0.3001998999970965 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11151439999230206, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 12, + "process_seconds": 0.29963140000472777 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.024767599999904633, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 12, + "process_seconds": 0.2040108000219334 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15719939998234622, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 12, + "process_seconds": 0.3500052000163123 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.1312057999894023, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.399904299993068 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.033381399989593774, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.26761330000590533 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.033877499983645976, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.23684209998464212 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.14412489999085665, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.3514409000054002 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.021424600010504946, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.20644259999971837 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02454420001595281, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.19987569999648258 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.13647660001879558, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.3099872999882791 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11973740000394173, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 12, + "process_seconds": 0.3316396000154782 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.13100850000046194, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 13, + "process_seconds": 0.3199088999826927 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.1692814999842085, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 13, + "process_seconds": 0.3579152000020258 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.025108000001637265, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 13, + "process_seconds": 0.22740730000077747 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.12358749998384155, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 13, + "process_seconds": 0.372098099993309 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.1292898000101559, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.313948299997719 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.1327369000064209, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.31365540000842884 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.030653199995867908, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.2022049000079278 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03263349999906495, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.2169296000211034 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020728300005430356, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.21124360000248998 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.11508610000601038, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.30702090001432225 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.14225899998564273, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.3197358000034001 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.024122900009388104, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 13, + "process_seconds": 0.2220184000034351 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02451460002339445, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 14, + "process_seconds": 0.20486969998455606 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.1619836000027135, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 14, + "process_seconds": 0.3441236999933608 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1347587000054773, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 14, + "process_seconds": 0.3195963999896776 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.12896470000850968, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 14, + "process_seconds": 0.3276608000160195 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.030483100010314956, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.21468289999756962 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.13078269999823533, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.30919379999977536 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12646549998316914, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.36733200002345257 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03385349997552112, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.29873000000952743 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.13085149999824353, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.3193500000052154 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.13064180000219494, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.32188329999917187 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02258440002333373, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.21978509999462403 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.022247099986998364, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 14, + "process_seconds": 0.23720450000837445 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02832509999279864, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 15, + "process_seconds": 0.22301320001133718 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.12265500001376495, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 15, + "process_seconds": 0.3374079999921378 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1419624000263866, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 15, + "process_seconds": 0.3537730000098236 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.17407280000043102, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 15, + "process_seconds": 0.3785543999983929 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.04334990002098493, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.24903209999320097 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.037485499982722104, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.23303800000576302 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.13477969999075867, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.33596810000017285 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.15745160001097247, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.36685160000342876 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.15532630000961944, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.3906554999994114 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.027987000008579344, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.28107379999710247 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.021783100004540756, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.28973709998535924 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.14255129999946803, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 15, + "process_seconds": 0.36392350000096485 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.13496970001142472, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 16, + "process_seconds": 0.34628349999547936 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.120751599984942, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 16, + "process_seconds": 0.30825950001599267 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.025947999994968995, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 16, + "process_seconds": 0.2391261000011582 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.20117769998614676, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 16, + "process_seconds": 0.5406278000154998 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.14249200001358986, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.3545602000085637 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.038394999981392175, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.24581940000643954 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03351430001202971, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.23098490000120364 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.14865990000544116, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.38903489999938756 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02056030000676401, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.20967390001169406 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020739200001116842, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.20630869999877177 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.12272139999549836, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.30559590001939796 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.12261630001012236, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 16, + "process_seconds": 0.3265963999729138 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.13728049999917857, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 17, + "process_seconds": 0.3155315000039991 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.17629060000763275, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 17, + "process_seconds": 0.37091979998513125 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.025192600005539134, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 17, + "process_seconds": 0.24806540002464317 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11932259998866357, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 17, + "process_seconds": 0.32304800002020784 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12988750002114102, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.3127513999934308 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.1296491000102833, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.3539812999952119 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03376580000622198, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.23545380000723526 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03362830000696704, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.2519523999944795 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.021394799987319857, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.21606400000746362 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.13410420002765022, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.3184821000031661 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.12941640001372434, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.31488760001957417 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.019458800001302734, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 17, + "process_seconds": 0.2028262999956496 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02473999999347143, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 18, + "process_seconds": 0.20120750000933185 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.16175899998052046, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 18, + "process_seconds": 0.33254140001372434 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.1337210000201594, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 18, + "process_seconds": 0.3154544999997597 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.12356090001412667, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 18, + "process_seconds": 0.31938490000902675 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03286160001880489, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.23701040001469664 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.1273086000001058, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.32770139997592196 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12386150000384077, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.30957260000286624 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03212729998631403, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.23341460002120584 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.14871120001771487, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.35360150001361035 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.1275063999928534, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.3141302000149153 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.021818799985339865, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.23830029999953695 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.02178680000361055, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 18, + "process_seconds": 0.20602840001811273 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.0274957999936305, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 19, + "process_seconds": 0.2240278999961447 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.13117249999777414, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 19, + "process_seconds": 0.3580149000044912 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.12979420000920072, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 19, + "process_seconds": 0.3138737000117544 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.15597069999785163, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 19, + "process_seconds": 0.34724370000185445 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.035529500019038096, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.2283729999908246 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.034009499999228865, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.22522130000288598 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.12637519999407232, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.33677480000187643 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.15241799998329952, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.33286900000530295 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.13206559998798184, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.33592549999593757 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.021580300002824515, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.2049115999834612 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.025056799990125, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.30228340000030585 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.1201809000049252, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 19, + "process_seconds": 0.31308210000861436 + }, + { + "method": "source_full", + "case": "admission_raw_test", + "stage": "source", + "computation_seconds": 0.13493659999221563, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 20, + "process_seconds": 0.3101658999803476 + }, + { + "method": "source_normalized", + "case": "admission_raw_test", + "stage": "source_factored", + "computation_seconds": 0.11407769998186268, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916175930311/3138550867693340381917894711603833208051177722232017256448", + "upper": "2130476143000842500198213442701304752286067479047518827/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 20, + "process_seconds": 0.29689120000693947 + }, + { + "method": "adaptive", + "case": "admission_raw_test", + "stage": 4, + "computation_seconds": 0.02568200000678189, + "bounds": { + "lower": "2130265161508925035990673997908607150880846623599271123/784637716923335095479473677900958302012794430558004314112", + "upper": "4261726703361160226058183029832050733086178037688287491/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + 0.0027149665578937083, + 0.0027157289354327345 + ], + "decision": "accept" + }, + "round": 20, + "process_seconds": 0.20212550001451746 + }, + { + "method": "reject_gate", + "case": "admission_raw_test", + "stage": "accepted_then_full", + "computation_seconds": 0.16177149998839013, + "bounds": { + "lower": "8521904572003370000792853770805219009144269916132874435/3138550867693340381917894711603833208051177722232017256448", + "upper": "8521904572003370000792853770805219009144269916246366423/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + 0.0027152354482202464, + 0.0027152354482202464 + ], + "decision": "accept" + }, + "round": 20, + "process_seconds": 0.3598667999904137 + }, + { + "method": "source_normalized", + "case": "published_root_upper", + "stage": "source_factored", + "computation_seconds": 0.1268827999883797, + "bounds": { + "lower": "-65507250979496025289335332778905984214351089697269/3138550867693340381917894711603833208051177722232017256448", + "upper": "-65507250979496025289335332778905984214351075547015/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.3233653999923263 + }, + { + "method": "adaptive", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03772169997682795, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.26343329998780973 + }, + { + "method": "reject_gate", + "case": "published_root_upper", + "stage": 6, + "computation_seconds": 0.03361929999664426, + "bounds": { + "lower": "-131020356024097518081658356693800412806546482277459/6277101735386680763835789423207666416102355444464034512896", + "upper": "-32750329493967303769039702621562998542279152695201/1569275433846670190958947355801916604025588861116008628224", + "decimal_approx": [ + -2.087274693756838e-08, + -2.0869714001504756e-08 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.23567640001419932 + }, + { + "method": "source_full", + "case": "published_root_upper", + "stage": "source", + "computation_seconds": 0.13598650001222268, + "bounds": { + "lower": "-16376812744874006322333833194726496053587783227791/784637716923335095479473677900958302012794430558004314112", + "upper": "-65507250979496025289335332778905984214351020160415/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -2.0871814331191706e-08, + -2.0871814331191706e-08 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.3358625000109896 + }, + { + "method": "adaptive", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.020670400001108646, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.21808149997377768 + }, + { + "method": "reject_gate", + "case": "larger_rate_control", + "stage": 2, + "computation_seconds": 0.021085599990328774, + "bounds": { + "lower": "-31048446400306641531431352361954063414255987143299609748235/1569275433846670190958947355801916604025588861116008628224", + "upper": "-61763252056865469470339785985343100844649689619614251670341/3138550867693340381917894711603833208051177722232017256448", + "decimal_approx": [ + -19.785211525423207, + -19.678907451405436 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.28461180001613684 + }, + { + "method": "source_full", + "case": "larger_rate_control", + "stage": "source", + "computation_seconds": 0.13845490000676364, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552747923769/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276345701027/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.3468349000031594 + }, + { + "method": "source_normalized", + "case": "larger_rate_control", + "stage": "source_factored", + "computation_seconds": 0.12153740000212565, + "bounds": { + "lower": "-30983807284312015125805857152791409447680401530552725928689/1569275433846670190958947355801916604025588861116008628224", + "upper": "-15491903642156007562902928576395704723840200765276359436443/784637716923335095479473677900958302012794430558004314112", + "decimal_approx": [ + -19.74402110428969, + -19.74402110428969 + ], + "decision": "reject" + }, + "round": 20, + "process_seconds": 0.3448006000253372 + } + ] +} diff --git a/research/mixed-moment-screen/VALIDATION.json b/research/mixed-moment-screen/VALIDATION.json new file mode 100644 index 0000000000..98a0603f6f --- /dev/null +++ b/research/mixed-moment-screen/VALIDATION.json @@ -0,0 +1,14 @@ +{ + "recorded_at": "2026-10-23T05:55:39.191621+00:00", + "python": "3.12.10 (tags/v3.12.10:0cc8128, Apr 8 2025, 12:21:36) [MSC v.1943 64 bit (AMD64)]", + "platform": "Windows-11-10.0.26100-SP0", + "direct_replay": "PASS: seven cases, eleven controls; complete expected receipt equality", + "source_only_optimized_integrity": "PASS: positive replay and input, upstream engine, expected receipt mutations", + "metadata": "PASS_PACKAGE_METADATA_AND_PINS", + "timed_sources_match": true, + "fresh_processes": 252, + "scope": "Raw arithmetic and export/source integrity. No complete selected construction, native, compiler, full CI or multiplication run is claimed.", + "benchmark_context": "The first approximately 10 seconds overlapped with a local verification run. OS caches were not flushed; host contention was uncontrolled. Paired ratios are descriptive.", + "registered_replay": "PASS_REGISTERED_RESEARCH_PACKAGE research/mixed-moment-screen outcome=completed", + "registered_replay_log_sha256": "ff39797f00cd61a20aa58bfca40eead98f77c63f2a3a1087c0f6c391f3b7166e" +} diff --git a/research/mixed-moment-screen/VERIFY.json b/research/mixed-moment-screen/VERIFY.json new file mode 100644 index 0000000000..a0e7dabd90 --- /dev/null +++ b/research/mixed-moment-screen/VERIFY.json @@ -0,0 +1,30 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 45, + "checks": "Seven signed-moment fixtures, two separate exponential cross-checks, eleven controls and complete deterministic receipt equality." + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-B", + "{package}/test_integrity.py" + ], + "timeout_seconds": 60, + "checks": "Git-free optimized replay; altered raw invoice, upstream engine and expected receipt must fail." + } + ] +} diff --git a/research/mixed-moment-screen/benchmark.py b/research/mixed-moment-screen/benchmark.py new file mode 100644 index 0000000000..cae0c0feb2 --- /dev/null +++ b/research/mixed-moment-screen/benchmark.py @@ -0,0 +1,111 @@ +"""Fresh-process paired raw-moment measurements; no timing acceptance threshold.""" +import argparse +from fractions import Fraction as Q +from hashlib import sha256 +import importlib.util +import json +from pathlib import Path +import platform +import statistics +import subprocess +import sys +import time + +HERE = Path(__file__).resolve().parent +CASES = {'admission_raw_test':'.003020155', + 'published_root_upper':'30201659771/10000000000000', + 'larger_rate_control':'.0031'} +METHODS = ['source_full','source_normalized','adaptive','reject_gate'] + +def load_probe(): + spec=importlib.util.spec_from_file_location('probe',HERE/'verify.py') + probe=importlib.util.module_from_spec(spec) + spec.loader.exec_module(probe) + return probe + +def worker(method,case): + probe=load_probe() + raw=(HERE/'INPUT.json').read_bytes() + probe.need(sha256(raw).hexdigest()==probe.EXPECTED,'input binding') + data=json.loads(raw) + targets={int(k):v for k,v in data['targets'].items()} + paid={int(k):v for k,v in data['paid'].items()} + source=probe.load_upstream() + a=Q(CASES[case]) + started=time.perf_counter() + if method=='source_full': + bounds=probe.upstream_margin(source,targets,paid,a) + stage='source' + elif method=='source_normalized': + bounds=probe.margin(targets,paid,a,lambda b,r: source.power(r,-b)) + stage='source_factored' + elif method=='adaptive': + bounds,stage=probe.adaptive_margin(targets,paid,a, + lambda t,p,b:probe.upstream_margin(source,t,p,b)) + else: + bounds,stage=probe.reject_gate_margin(targets,paid,a, + lambda t,p,b:probe.upstream_margin(source,t,p,b)) + elapsed=time.perf_counter()-started + return {'method':method,'case':case,'stage':stage, + 'computation_seconds':elapsed,'bounds':probe.display(bounds)} + +def main(): + ap=argparse.ArgumentParser(description=__doc__) + ap.add_argument('--worker',choices=METHODS) + ap.add_argument('--case',choices=list(CASES)) + ap.add_argument('--pairs',type=int,default=21) + ap.add_argument('--output',type=Path) + args=ap.parse_args() + if args.worker: + if not args.case: ap.error('--worker requires --case') + print(json.dumps(worker(args.worker,args.case))) + return + if args.output is None or args.output.exists(): + ap.error('provide a fresh --output path') + if args.pairs<1: ap.error('positive --pairs required') + rows=[] + for i in range(args.pairs): + for ci,case in enumerate(CASES): + shift=(i+ci)%len(METHODS) + order=METHODS[shift:]+METHODS[:shift] + if i%2: order=list(reversed(order)) + group=[] + for method in order: + started=time.perf_counter() + result=subprocess.run([sys.executable,'-I','-B',str(HERE/'benchmark.py'), + '--worker',method,'--case',case],capture_output=True,text=True,check=True) + elapsed=time.perf_counter()-started + row=json.loads(result.stdout) + row.update(round=i,process_seconds=elapsed) + rows.append(row);group.append(row) + decisions={x['bounds']['decision'] for x in group} + if len(decisions)!=1 or 'inconclusive' in decisions: + raise ValueError('timed methods disagree') + lo=max(Q(x['bounds']['lower']) for x in group) + hi=min(Q(x['bounds']['upper']) for x in group) + if lo>hi: raise ValueError('timed enclosures do not intersect') + summary={} + for case in CASES: + by_method={m:[r for r in rows if r['case']==case and r['method']==m] for m in METHODS} + item={m:{'median_process_seconds':statistics.median(r['process_seconds'] for r in data), + 'median_computation_seconds':statistics.median(r['computation_seconds'] for r in data)} for m,data in by_method.items()} + item['paired_comparisons']={} + for variant in METHODS[2:]: + candidates={r['round']:r for r in by_method[variant]} + for baseline in METHODS[:2]: + ratios=[1-candidates[r['round']]['process_seconds']/r['process_seconds'] for r in by_method[baseline]] + item['paired_comparisons'][variant+'_vs_'+baseline]={ + 'median_fraction_saved':statistics.median(ratios), + 'faster_pairs':sum(x>0 for x in ratios),'pairs':len(ratios)} + summary[case]=item + report={'python':sys.version,'platform':platform.platform(), + 'pairs':args.pairs,'fresh_processes':len(rows), + 'scope':'One frozen raw moment sign; process time includes Python startup, imports, source hash checks, input parsing and cold logarithm caches. OS file caches are not flushed. No native, compiler, full PR, or multiplication timing.', + 'ordering':'Adjacent four-method blocks per case; cyclic method order and alternating reversal', + 'sources':{p.name:sha256(p.read_bytes()).hexdigest() for p in [HERE/'verify.py',HERE/'benchmark.py',HERE/'INPUT.json',HERE/'upstream_moment.py']}, + 'summary':summary,'samples':rows} + args.output.write_text(json.dumps(report,indent=2)+'\n',encoding='utf-8') + print(json.dumps({'fresh_processes':len(rows),'summary':summary},indent=2)) + +if __name__=='__main__': + main() diff --git a/research/mixed-moment-screen/test_integrity.py b/research/mixed-moment-screen/test_integrity.py new file mode 100644 index 0000000000..c895cf4957 --- /dev/null +++ b/research/mixed-moment-screen/test_integrity.py @@ -0,0 +1,42 @@ +"""Exercise the real public verifier in a source-only temporary export.""" +import json +from pathlib import Path +import shutil +import subprocess +import sys +import tempfile + +HERE=Path(__file__).resolve().parent + +def run(root): + return subprocess.run([sys.executable,'-I','-O','-B',str(root/'verify.py')], + cwd=root,capture_output=True,text=True) + +def main(): + with tempfile.TemporaryDirectory(prefix='mixed-screen-integrity-') as name: + root=Path(name).resolve() + for source in HERE.iterdir(): + if source.is_file(): shutil.copyfile(source,root/source.name) + good=run(root) + if good.returncode or 'PASS_SCOPED_MIXED_MOMENT_PROBE' not in good.stdout: + raise ValueError('source-only optimized replay failed: '+good.stderr) + for name,message in [('INPUT.json','frozen PR4470 source receipt hash'), + ('upstream_moment.py','frozen upstream moment engine hash'), + ('RESULT.json','complete deterministic receipt equality')]: + path=root/name + saved=path.read_bytes() + if name=='RESULT.json': + data=json.loads(saved) + data['cases'][0]['full_positive_exp']['decision']='reject' + path.write_text(json.dumps(data),encoding='utf-8') + else: + path.write_bytes(saved+b'\n') + try: + bad=run(root) + if bad.returncode==0 or message not in bad.stderr: + raise ValueError('mutation did not reject: '+name) + finally: + path.write_bytes(saved) + print('PASS_SOURCE_ONLY_OPTIMIZED_REPLAY_AND_THREE_INTEGRITY_CONTROLS') + +if __name__=='__main__': main() diff --git a/research/mixed-moment-screen/upstream_moment.py b/research/mixed-moment-screen/upstream_moment.py new file mode 100644 index 0000000000..4b24a50961 --- /dev/null +++ b/research/mixed-moment-screen/upstream_moment.py @@ -0,0 +1,421 @@ +#!/usr/bin/env python3 +"""Higher-moment strictification and a polynomial-logarithm compiler bound. + +New arithmetic is independent of predecessor interval code. The unchanged +invoice replay and two outer ledgers are credited, byte-pinned oracles. +zxv with substantial OpenAI Codex assistance. Apache-2.0. +""" +import argparse +import ast +from collections import Counter +from contextlib import redirect_stdout +from fractions import Fraction as Q +from functools import lru_cache +from hashlib import sha256, sha1 +import io +import json +from pathlib import Path + +HERE = Path(__file__).resolve().parent +GRID = 2**192 +C = Q('0.00268648') +KAPPA = Q('0.00268647') +T = {5:420, 6:270, 7:840, 8:1395, 9:3195, + 25:448, 41:448, 57:448, 121:224} +P = {1:37305, 2:10695, 3:3360, 4:1530, 5:300, + 8:1464, 16:448, 32:448, 48:448} + + +def need(ok, message): + if not ok: + raise ValueError(message) + + +def down(x): + return Q((x*GRID).__floor__(), GRID) + + +def up(x): + return Q(-((-x*GRID).__floor__()), GRID) + + +def rounded(lo, hi): + return down(lo), up(hi) + + +def mul(a, b): + products = [x*y for x in a for y in b] + return rounded(min(products), max(products)) + + +def scale(a, x): + return mul(a, (x, x)) + + +def divide(a, b): + need(b[0] > 0, 'positive interval denominator') + return mul(a, rounded(1/b[1], 1/b[0])) + + +@lru_cache(None) +def log_bounds(n): + """Exact atanh series, binary reduction; round only the final interval.""" + need(isinstance(n, int) and n >= 1, 'positive integer logarithm') + + def series(x): + u = (x-1)/(x+1) + term, total = u, Q(0) + for j in range(80): + total += 2*term/(2*j+1) + term *= u*u + tail = 2*term/(161*(1-u*u)) + return total, total+tail + + k = n.bit_length()-1 + a, b = series(Q(2)) + c, d = series(Q(n, 2**k)) + return rounded(k*a+c, k*b+d) + + +def exp_point(x): + """Outward fixed-point Taylor enclosure, with binary scaling/squaring.""" + need(abs(x) < 16, 'bounded exponential argument') + if x < 0: + a, b = exp_point(-x) + return rounded(1/b, 1/a) + divisions = 0 + while x > Q(1, 2): + x /= 2 + divisions += 1 + term = total = (Q(1), Q(1)) + for j in range(1, 65): + term = scale(term, x/j) + total = rounded(total[0]+term[0], total[1]+term[1]) + following = scale(term, x/65) + # Every remaining ratio is <= 1/132. Twice the next term is safe. + result = rounded(total[0], total[1]+2*following[1]) + for _ in range(divisions): + result = mul(result, result) + return result + + +def exp_interval(a): + return exp_point(a[0])[0], exp_point(a[1])[1] + + +@lru_cache(None) +def power(n, exponent): + return exp_interval(scale(log_bounds(n), exponent)) + + +def moment(histogram, exponent): + low = high = Q(0) + for n, count in histogram.items(): + a, b = power(n, exponent) + low += count*a + high += count*b + return rounded(low, high) + + +def display(a): + unit = 10**30 + + def fixed(n): + sign = '-' if n < 0 else '' + s = str(abs(n)).rjust(31, '0') + return sign+s[:-30]+'.'+s[-30:] + + return {'lower': fixed((a[0]*unit).__floor__()), + 'upper': fixed(-((-a[1]*unit).__floor__()))} + + +def encoded(x): + if isinstance(x, Q): + return str(x) + if isinstance(x, dict): + return {str(k): encoded(v) for k, v in x.items()} + if isinstance(x, (list, tuple)): + return [encoded(v) for v in x] + return x + + +def source_environment(path): + env = {'__file__': str(path), '__name__': 'pinned_source_oracle'} + exec(compile(path.read_bytes(), str(path), 'exec'), env) + return env + + +def authenticate(): + result = {} + for row in json.loads((HERE/'VENDOR.json').read_text())['files']: + path = HERE/'vendor'/Path(row['path']).relative_to( + 'research/higher-moment-strictification/vendor') + digest = sha256(path.read_bytes()).hexdigest() + need(digest == row['sha256'], 'changed source: '+row['path']) + raw = path.read_bytes() + need(sha1(b'blob '+str(len(raw)).encode()+b'\0'+raw).hexdigest() + == row['git_blob'], 'changed Git source blob') + result[row['path']] = digest + return result + + +def invoice_oracle(): + """Run #4426 unchanged, rebinding only its two file-location globals.""" + path = HERE/'vendor/invoice-review/verify.py' + env = source_environment(path) + env.update(ROOT=path.parent, PHASES='DATA-PHASES.json') + output = io.StringIO() + with redirect_stdout(output): + env['main']() + result = json.loads(output.getvalue()) + need(result['status'] == 'PASS_PR4416_INVOICE_REBUILD', 'source invoice oracle') + need({int(k): v for k, v in result['targets'].items()} == T + and {int(k): v for k, v in result['paid'].items()} == P, + 'exact literal-word invoice') + return result + + +def tail_certificate(v=150, cutoff=10, floor=15, u=Q(3, 10)): + t = 1-C + need(v >= 1 and 1 < cutoff < floor < 121, 'strict finite ranks') + need(t+u >= 1, 'tail moment exponent at least one') + target, paid = moment(T, t), moment(P, t) + alpha = divide(paid, target) + gamma = divide(moment(P, t+u), mul(power(cutoff, u), target)) + delta = divide((Q(sum(T.values())*floor),)*2, + mul(power(cutoff, C), target)) + limits = (1-Q(1, 10**8), Q(181, 200), Q(439, 500)) + for name, bounds, limit in zip(('alpha', 'gamma', 'delta'), + (alpha, gamma, delta), limits): + need(0 < bounds[0] <= bounds[1] < limit < 1, name+' certified limit') + a, g, d = limits + bound = 1/(1+v*(1-a))+2*g**v+2*d**v + need(bound < 1, 'complete charged normalized moment') + old_gamma = divide((Q(sum(k*n for k, n in P.items())),)*2, + mul(power(cutoff, C), target)) + old_lower = alpha[0]**v+2*old_gamma[0]**v + need(old_lower > 1, 'rank-one-tail estimate fails at this tensor power') + return {'tensor_power': v, 'cutoff_base': cutoff, 'floor_base': floor, + 'paid_moment_exponent': t+u, 'tail_offset_u': u, + 'tested_saving': C, 'alpha': display(alpha), 'gamma': display(gamma), + 'delta': display(delta), 'rational_upper_limits': limits, + 'normalized_paid_upper': bound, 'strict_moment_gap': display((1-bound,)*2), + 'old_rank_one_gamma': display(old_gamma), + 'old_rank_one_bound_lower': display((old_lower, old_lower)), + 'ambient': '121^'+str(v), 'minimum_target': str(floor)+'^'+str(v), + 'maximum_paid': str(cutoff)+'^'+str(v), + 'productive_fields_before_uniform_compiler': '7688^'+str(v), + 'rank_one_surplus': '131723^'+str(v)+'-131115^'+str(v), + 'materialized_product_or_uniform_word': False} + + +def uniform_rank(v): + t, p, theta = 1-C, 13, Q(6, 7) + gap = (C-KAPPA)/7 + uniform_saving = C-gap + need(10**7 < 15**6, 'theta upper bound') + need(2*(10**v)**7 <= (121**v)**6, 'shifted logarithm inequality') + eta = scale(exp_interval(scale(log_bounds(121), -v*C)), t) + need(eta[0] > theta**p, 'exit contraction below complement capacity') + base = exp_interval(scale(log_bounds(121), v*C)) + need(base[1] < 2**p, 'entire ordinary base range fits') + # Integer grid: gap*H is integral, avoiding enormous rational powers. + step = gap.denominator + need(gap.numerator == 1, 'chosen rational gap grid') + + def passes(j): + H = step*j + return (H+1)**p < 2**j + + lo, hi = 1, 2 + while not passes(hi): + lo, hi = hi, 2*hi + while hi-lo > 1: + mid = (lo+hi)//2 + if passes(mid): + hi = mid + else: + lo = mid + H = step*hi + need(H > 7*v and passes(hi) and not passes(hi-1), 'final integer comparison') + need(eta[1] < theta**(p-1), 'one smaller logarithmic power fails') + return {'t': t, 'uniform_saving': uniform_saving, 'gap': gap, + 'logarithm_power': p, 'theta_upper': theta, 'eta': display(eta), + 'eta_minus_theta_to_p': display((eta[0]-theta**p, eta[1]-theta**p)), + 'm_to_saving': display(base), 'H': H, 'N': '2^'+str(H), + 'integer_test': {'left_base': H+1, 'left_exponent': p, + 'right_base': 2, 'right_exponent': hi}, + 'grid_step': step, 'previous_grid_point_rejected': True, + 'smaller_logarithmic_power_rejected': True} + + +def power_majorant_comparison(v, uniform_saving): + """Retain #4416's older power proof, changing only the new unit's ranks.""" + t, z, h = 1-C, 1-uniform_saving, Q(1, 7) + z0 = (t+z)/2 + delta = z0-t + B, debt = (4+7*h)*v, 1+7*v*(1-z0) + ratio = (delta*B+debt)/(h*delta) + H0 = -((-ratio.numerator)//ratio.denominator) + ratio = H0*(1-z0)/(z-z0) + H1 = ratio.numerator//ratio.denominator+1 + need(H0 >= 7*v and H0*h*delta >= delta*B+debt, 'power majorant threshold') + need((H0-1)*h*delta < delta*B+debt, 'previous power threshold rejected') + need(H1*(z-z0) > H0*(1-z0) >= (H1-1)*(z-z0), + 'strict power-majorant comparison and previous-rank control') + return {'H0': H0, 'H1': H1, 'N': '2^'+str(H1), 'theta_upper': 1-h, + 'scope': 'Tail transformation alone, retaining the older power majorant.'} + + +def outer_ledger(uniform_saving): + d = (C-KAPPA)/7 + params = {'kappa': KAPPA, 'tested_saving': C, + 'complex_uniform_saving': uniform_saving, 'b': KAPPA+5*d, + 'a': KAPPA+4*d, 'q': KAPPA+3*d, 'bit_saving': Q('0.0027'), + 'epsilon': 1-d, 'beta': 1-3*d, 'r0': d/10, + 'stop': d, 'layout': d, 'd': d} + env = source_environment(HERE/'vendor/outer_endpoint.py') + row = env['ledger'](params) + need(len(row['strict_checks']) == 54 and len(row['functional_checks']) == 3, + 'complete first outer ledger') + need(all(v > 0 for group in ('strict_checks', 'functional_checks') + for v in row[group].values()), 'all outer predicates') + frozen = json.loads((HERE/'vendor/p7-RESULT.json').read_text())['endpoint']['outer'] + need(encoded(row) == frozen, 'unchanged full p7 endpoint ledger') + parsed = ast.parse((HERE/'vendor/check_ledger.py').read_bytes()) + function = next(n for n in parsed.body + if isinstance(n, ast.FunctionDef) and n.name == 'ledger') + constants = [n for n in parsed.body if isinstance(n, ast.Assign) + and any(isinstance(t, ast.Name) and t.id.startswith('KAPPA_') + for t in n.targets)] + eps, beta, q, a = (params[k] for k in ('epsilon', 'beta', 'q', 'a')) + grid = 10**10 + backoff = Q((eps*q*grid).__floor__(), grid)-KAPPA + need(backoff > 0, 'strict derived oracle grid backoff') + oracle = {'Q': Q, 'R0': params['r0'], 'ZETA': Q(1, 10**8), + 'SLACK': d, 'STOP': d, 'FLOOR': grid, 'BACKOFF': backoff, + 'EPS': eps, 'BETA': beta, 'THETA_POWER': Q(2), + 'HALO_POWER': 48, 'CORE_POWER': 128, 'STRASSEN_TAU': Q(45, 16), + 'b': params['b'], 'q': q, 'a': a, 'bit': params['bit_saving'], + 'online': Q('0.001730970419199163702738'), + 'old': Q('0.001730970419199163702738')} + code = ast.fix_missing_locations(ast.Module(body=constants+[function], type_ignores=[])) + exec(compile(code, 'pinned 63-predicate ledger', 'exec'), oracle) + second = oracle['ledger']('higher_moment_smaller_ranks') + need(second['kappa'] == KAPPA and second['margins'] == row['margins'], + 'all nine rows match both ledgers') + need(len(second['strict_checks']) == 63 and + all(v > 0 for v in second['strict_checks'].values()), 'all 63 legacy predicates') + controls = {} + for name, updates in [('closed_epsilon', {'epsilon': Q(1)}), + ('missing_layout', {'layout': Q(0)}), + ('unfunded_kappa', {'kappa': C}), + ('closed_uniform_gap', {'complex_uniform_saving': params['b']}), + ('insufficient_BIT', {'bit_saving': Q('0.0023')})]: + bad = env['ledger'](dict(params, **updates)) + failed = sorted(k for k, v in bad['strict_checks'].items() if v <= 0) + need(failed, 'outer control rejected: '+name) + controls[name] = failed + for name, options in [('old_per_axis_scan', {'old_scan': True}), + ('group_equals_dimension', {'beta_': eps})]: + bad = oracle['ledger']('reject_'+name, **options) + failed = sorted(k for k, v in bad['strict_checks'].items() if v <= 0) + need(failed, 'legacy control rejected: '+name) + controls[name] = failed + return {'ledger': row, 'legacy_63_checks': second['strict_checks'], + 'legacy_grid': grid, 'legacy_backoff': backoff, + 'minimum_margin_minus_kappa': min(row['margins'].values())-KAPPA, + 'rejected_controls': controls} + + +def finite_controls(): + def tensor(histogram): + out = Counter() + for k, n in histogram.items(): + for h, b in histogram.items(): + out[k*h] += n*b + return out + + def split(histogram, cutoff): + out = Counter() + for k, n in histogram.items(): + q, r = divmod(k, cutoff) + out[cutoff] += q*n + if r: + out[r] += n + return +out + + target, paid = tensor({2:1, 5:1}), tensor({1:2, 4:1}) + padded, completion = Counter(), Counter() + for k, n in target.items(): + padded[max(k, 9)] += n + if k < 9: + completion[9-k] += n + final = split(paid+completion, 4) + mass = lambda x: sum(k*n for k, n in x.items()) + need(mass(padded)-mass(final) == 7**2-6**2 == 13, 'exact paid padding mass') + need(min(padded) > max(final), 'exact toy separation') + need(final == Counter({1:5, 4:9}), 'literal toy expanded inventory') + # t=1/2, sigma=3/4, R=100, J=1 refutes a sublinear tail extension. + invalid = power(100, Q(1, 2))[1]+2*power(100, Q(3, 4))[1] + need(invalid < 100, 'sublinear upper-tail moment cannot bound splitting') + return {'toy_targets': padded, 'toy_paid': final, 'rank_one_surplus': 13, + 'sublinear_tail_counterexample': {'R': 100, 'J': 1, 't': '1/2', + 'sigma': '3/4', 'actual_charge': 100, + 'invalid_upper': display((invalid, invalid))}} + + +def verify(): + sources = authenticate() + invoice = invoice_oracle() + tail = tail_certificate() + rank = uniform_rank(tail['tensor_power']) + endpoint = outer_ledger(rank['uniform_saving']) + controls = finite_controls() + rejected = [] + for name, updates, expected in [ + ('too_short_product', {'v': 100}, 'complete charged normalized moment'), + ('sublinear_tail', {'u': C/2}, 'tail moment exponent at least one'), + ('lost_separation', {'floor': 10}, 'strict finite ranks'), + ]: + try: + tail_certificate(**updates) + except ValueError as error: + need(str(error) == expected, 'wrong rejection: '+name) + rejected.append({'mutation': name, 'failed_at': str(error)}) + else: + raise ValueError('accepted mutation: '+name) + old = json.loads((HERE/'vendor/p7-RESULT.json').read_text())['endpoint']['compiler'] + return encoded({'schema': 'higher-moment-native-strictification/1', + 'status': 'PASS_HIGHER_MOMENT_STRICTIFICATION', 'kappa': KAPPA, + 'invoice_oracle': invoice, 'strictification': tail, + 'uniform_rank': rank, 'outer': endpoint, + 'tail_only_power_majorant': power_majorant_comparison( + tail['tensor_power'], rank['uniform_saving']), + 'finite_controls': controls, 'rejected_mutations': rejected, + 'predecessor_H': old['H1'], + 'rank_exponent_reduction_factor': Q(old['H1'], rank['H']), + 'tensor_power_reduction_factor': Q(6240, tail['tensor_power']), + 'source_sha256': sources, + 'verifier_sha256': sha256(Path(__file__).read_bytes()).hexdigest(), + 'scope': 'Conditional charged transformation and finite compiler rank. Native all-column, physical, analytic, precision, storage, fixed-tape and recovery premises remain inherited. No new kappa, selected frontier or practical word.'}) + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--out', type=Path) + args = parser.parse_args() + result = verify() + if args.out: + need(not args.out.exists(), 'new output path required') + args.out.write_text(json.dumps(result, indent=2, sort_keys=True)+'\n') + else: + need(json.loads((HERE/'RESULT.json').read_text()) == result, 'changed saved receipt') + print(json.dumps({'status': result['status'], 'tensor_power': result['strictification']['tensor_power'], + 'uniform_rank': result['uniform_rank']['N'], + 'strict_moment_gap': result['strictification']['strict_moment_gap'], + 'kappa': result['kappa']})) + + +if __name__ == '__main__': + main() diff --git a/research/mixed-moment-screen/verify.py b/research/mixed-moment-screen/verify.py new file mode 100644 index 0000000000..e24eda068c --- /dev/null +++ b/research/mixed-moment-screen/verify.py @@ -0,0 +1,213 @@ +"""Exact exploratory bounds on the frozen PR4470 raw mixed-target moment. + +Prepared for SHIN09-git with OpenAI Codex assistance. Apache-2.0. +The input invoice is Cinna Davis's PR4470 result, retaining its predecessors. +This does not replay its native construction, compiler, or outer inequalities. +""" +import argparse +from fractions import Fraction as Q +from functools import lru_cache +from hashlib import sha256 +import importlib.util +import json +import math +from pathlib import Path + +HERE = Path(__file__).resolve().parent +EXPECTED = 'c7b2388f6511c19976b337d8c8ac374610af616866a249d75dace704eb5d9e21' +UPSTREAM_SHA256 = '0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326' +BITS = 192 +LOG_TERMS = 72 + +def need(ok, message): + if not ok: + raise ValueError(message) + +def dyadic(lo, hi): + scale = 1 << BITS + return (Q((lo.numerator * scale) // lo.denominator, scale), + Q(-((-hi.numerator * scale) // hi.denominator), scale)) + +def atanh_log(x): + need(1 <= x <= 2, 'log range reduction') + z = (x - 1) / (x + 1) + total = 2 * sum((z**(2*k+1) / (2*k+1) for k in range(LOG_TERMS)), Q(0)) + remainder = 2*z**(2*LOG_TERMS+1) / ((2*LOG_TERMS+1)*(1-z*z)) + return total, total + remainder + +@lru_cache(maxsize=None) +def log_interval(r): + need(isinstance(r, int) and r >= 1, 'positive integer rank') + k = r.bit_length()-1 + lo, hi = atanh_log(Q(r, 1 << k)) + l2, h2 = atanh_log(Q(2)) + return dyadic(lo+k*l2, hi+k*h2) + +def poly_interval(xlo, xhi, degree): + lo = hi = Q(0) + for k in range(degree+1): + a, b = xlo**k/math.factorial(k), xhi**k/math.factorial(k) + if k % 2: + lo, hi = lo-b, hi-a + else: + lo, hi = lo+a, hi+b + return lo, hi + +def signed_taylor_exp(a, r, degree): + need(a >= 0 and degree >= 0 and degree % 2 == 0, 'even Taylor degree and nonnegative rate') + lo, hi = log_interval(r) + # Taylor's integral remainder for exp(-x): odd partial sums are lower, + # even partial sums are upper, for every x >= 0. + lower = poly_interval(a*lo, a*hi, degree+1)[0] + upper = poly_interval(a*lo, a*hi, degree)[1] + return lower, upper + +def reciprocal_exp(a, r, degree=24): + need(a >= 0, 'nonnegative rate') + lo, hi = log_interval(r) + xlo, xhi = a*lo, a*hi + need(xhi < degree+2, 'positive exponential tail ratio below one') + lower = sum((xlo**k/math.factorial(k) for k in range(degree+1)), Q(0)) + upper = sum((xhi**k/math.factorial(k) for k in range(degree+1)), Q(0)) + upper += xhi**(degree+1)/math.factorial(degree+1)/(1-xhi/(degree+2)) + return 1/upper, 1/lower + +def margin(targets, paid, a, engine): + lo = hi = Q(0) + # Cancel equal bases exactly before enclosing the signed difference. + for r in sorted(targets.keys() | paid.keys()): + coefficient = r*(targets.get(r, 0)-paid.get(r, 0)) + if not coefficient: + continue + lower, upper = engine(a, r) + if coefficient > 0: + lo, hi = lo+coefficient*lower, hi+coefficient*upper + else: + lo, hi = lo+coefficient*upper, hi+coefficient*lower + return lo, hi + +def decision(bounds): + lo, hi = bounds + need(lo <= hi, 'ordered enclosure') + return 'accept' if lo > 0 else 'reject' if hi < 0 else 'inconclusive' + +def display(bounds): + bounds = dyadic(*bounds) + return {'lower':str(bounds[0]), 'upper':str(bounds[1]), + 'decimal_approx':[float(x) for x in bounds], 'decision':decision(bounds)} + +def load_upstream(): + path = HERE/'upstream_moment.py' + need(sha256(path.read_bytes()).hexdigest() == UPSTREAM_SHA256, 'frozen upstream moment engine hash') + spec = importlib.util.spec_from_file_location('frozen_upstream_moment',path) + engine = importlib.util.module_from_spec(spec) + spec.loader.exec_module(engine) + return engine + +def upstream_margin(engine,targets,paid,a): + tlo,thi = engine.moment(targets,1-a) + plo,phi = engine.moment(paid,1-a) + return tlo-phi,thi-plo + +def adaptive_margin(targets,paid,a,fallback): + for degree in [2,4,6]: + bounds = margin(targets,paid,a,lambda b,r: signed_taylor_exp(b,r,degree)) + if decision(bounds) != 'inconclusive': + return bounds,degree + return fallback(targets,paid,a),'fallback' + +def reject_gate_margin(targets,paid,a,fallback): + bounds,stage=adaptive_margin(targets,paid,a,fallback) + if decision(bounds)=='reject' or stage=='fallback': + return bounds,stage + # Downstream certificates may need the original quantitative interval, + # even when a cheap positive sign has already been established. + return fallback(targets,paid,a),'accepted_then_full' + +def main(): + parser=argparse.ArgumentParser(description=__doc__) + parser.add_argument('--write',action='store_true',help='authoring only: replace the expected receipt') + args=parser.parse_args() + raw = (HERE/'INPUT.json').read_bytes() + need(sha256(raw).hexdigest() == EXPECTED, 'frozen PR4470 source receipt hash') + source = json.loads(raw) + targets = {int(k):v for k,v in source['targets'].items()} + paid = {int(k):v for k,v in source['paid'].items()} + need(all(r > 0 and isinstance(n, int) and n > 0 for d in [targets,paid] for r,n in d.items()), 'valid profiles') + need(sum(targets.values()) == 10928 and sum(paid.values()) == 64620, 'source field and paid counts') + need(sum(r*n for r,n in targets.items()) == 239886, 'target rank mass') + need(sum(r*n for r,n in paid.items()) == 239134, 'paid rank mass') + root_lo, root_hi = map(Q,source['fixed_profile_ceiling']['root']) + engine = load_upstream() + cases = [('zero',Q(0)), ('previous_4447_rate',Q('.00300123')), + ('selected_kappa_as_raw_test_only',Q(source['kappa'])), + ('admission_raw_test',Q('.003020155')), + ('published_root_lower',root_lo), ('published_root_upper',root_hi), + ('larger_rate_control',Q('.0031'))] + results = [] + for name,a in cases: + full = margin(targets,paid,a,reciprocal_exp) + upstream = upstream_margin(engine,targets,paid,a) + need(max(full[0],upstream[0]) <= min(full[1],upstream[1]), 'source engine enclosure intersects independent exponential engine') + need(decision(upstream) == decision(full), 'source engine agrees with independent exponential engine') + row = {'case':name,'rate':str(a),'full_positive_exp':display(full),'upstream_source_engine':display(upstream),'screens':{}} + for degree in [2,4,6]: + bounds = margin(targets,paid,a,lambda b,r: signed_taylor_exp(b,r,degree)) + need(max(bounds[0],full[0]) <= min(bounds[1],full[1]), 'independent exponential enclosures intersect') + need(decision(bounds) == 'inconclusive' or decision(bounds) == decision(full), 'screen decision agrees with full engine') + row['screens'][str(degree)] = display(bounds) + results.append(row) + by_case = {row['case']:row for row in results} + need(by_case['published_root_lower']['full_positive_exp']['decision'] == 'accept', 'reproduce published lower root sign') + need(by_case['published_root_upper']['full_positive_exp']['decision'] == 'reject', 'reproduce published upper root sign') + # A migration foil: freezing productive credit at its a=0 value would + # accept a rate that the actual mixed-target moment rejects. + a = Q('.0031') + fixed_target = {1:sum(r*n for r,n in targets.items())} + bad = margin(fixed_target, paid, a, reciprocal_exp) + need(decision(bad) == 'accept', 'frozen-target migration foil accepts') + need(by_case['larger_rate_control']['full_positive_exp']['decision'] == 'reject', 'actual mixed moment rejects migration foil') + # Independent exact controls at zero, shared-base cancellation, sign swap, + # strict equality, and a genuinely changed rank/cost profile. + need(margin(targets,paid,Q(0),reciprocal_exp) == (Q(752),Q(752)), 'zero-rate mass identity') + need(margin({2:3},{2:3},a,reciprocal_exp) == (Q(0),Q(0)), 'equal-profile cancellation') + need(decision((Q(0),Q(0))) == 'inconclusive', 'strict boundary is not acceptance') + actual = margin(targets,paid,a,reciprocal_exp) + swapped = margin(paid,targets,a,reciprocal_exp) + need(swapped == (-actual[1],-actual[0]), 'signed target/paid reversal') + more = dict(paid); more[1] += 1000 + need(decision(margin(targets,more,Q(0),reciprocal_exp)) == 'reject', 'charged extra rank-one work rejects') + other = margin({2:1},{1:2},Q(1),reciprocal_exp) + need(other[0] <= -1 <= other[1] and decision(other) == 'reject', 'independent exact r^(0) fixture') + calls = [] + def fallback(t,p,a): + calls.append((t,p,a)) + return upstream_margin(engine,t,p,a) + eq,stage = adaptive_margin({2:3},{2:3},a,fallback) + need(len(calls)==1 and stage=='fallback' and decision(eq)=='inconclusive', 'ambiguous equality invokes the full fallback once') + calls.clear() + accepted,stage = adaptive_margin(targets,paid,Q('.003020155'),fallback) + need(not calls and stage==4 and decision(accepted)=='accept', 'admission fixture short circuits only after a certified sign') + calls.clear() + accepted,stage=reject_gate_margin(targets,paid,Q('.003020155'),fallback) + need(len(calls)==1 and stage=='accepted_then_full' and decision(accepted)=='accept', 'reject-only gate preserves full accepted evaluation') + calls.clear() + rejected,stage=reject_gate_margin(targets,paid,Q('.0031'),fallback) + need(not calls and decision(rejected)=='reject', 'reject-only gate skips full evaluation only for certified rejection') + out = {'status':'PASS_SCOPED_MIXED_MOMENT_PROBE','input_sha256':EXPECTED, + 'base':'b91956876e5b4122fd89179f1b57557ff8378f15', + 'source_pr':4470,'source_head':'b9a13c1673e0e9697de410de16e8bbf3207a7363', + 'log_interval_bits':BITS,'log_series_terms':LOG_TERMS, + 'definition':'sum target_n*r^(1-a) minus sum paid_n*r^(1-a)', + 'scope':'Frozen raw invoice only; no native, compiler, completion, outer, or speed claim. The two new exponential engines share proved rational log intervals; the upstream source engine has its own log implementation.', + 'upstream_engine_sha256':UPSTREAM_SHA256, + 'cases':results,'frozen_target_migration_foil':display(bad), + 'controls_passed':11} + if args.write: + (HERE/'RESULT.json').write_text(json.dumps(out,indent=2)+'\n',encoding='utf-8') + else: + need(json.loads((HERE/'RESULT.json').read_bytes())==out,'complete deterministic receipt equality') + print(json.dumps({'status':out['status'],'cases':[{ 'case':r['case'],'full':r['full_positive_exp']['decision'],'screens':{k:v['decision'] for k,v in r['screens'].items()}} for r in results],'controls':out['controls_passed']},indent=2)) + +if __name__ == '__main__': + main()