diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 63ba3e9aa8..52b62d0481 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -1,8 +1,25 @@ # CI verification -## Current selected-family replay: #6030 +## Current selected-family replay: #7000 with #7001 The [selected record](../certificates/selected-result.json) binds conditional +κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), +[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json), +and [explicit source closure](../certificates/frontier7000-source.json). +`make frontier7000-verify` follows that exact-source selected replay. The review +reuses eleven authenticated preceding executions and records seven fresh serial +application, scalar and complete native-catalogue executions. The earlier +monolithic timeout is retained separately and is not completed coverage. +Consult the receipts for exact commands, source heads and limits. + +The five inherited framework assumptions remain. No complete uniform word, +literal multiplier execution, independent human proof or formal-kernel proof +is asserted. Routine research submissions do not need to rerun this +selected-family replay. The sections below preserve historical checkpoints. + +## Historical selected-family replay: #6030 + +The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md), [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json), and [explicit source closure](../certificates/frontier6030-source.json). diff --git a/research/p104-global-output-rechart/APPLICATION.md b/research/p104-global-output-rechart/APPLICATION.md new file mode 100644 index 0000000000..2f626fc68c --- /dev/null +++ b/research/p104-global-output-rechart/APPLICATION.md @@ -0,0 +1,23 @@ +# Complete conditional application + +The exact signed 17-stage caller is retained from Rohan Arun's PR7113, through +PR7123's authenticated source closure. The changed native has 21 new helper +output charts and 129 scalar-contact charts; every causal MOVE is reconstructed. +The early adjoint and complete directed pricing passed. Full native/application +checks and registered isolated CPython 3.12.14 replay subsequently passed, +matching every frozen receipt field. See NATIVE-RESULT.json, RESULT.json and +REPLAY.txt. The application has 110,400 paid positions, 22,291 productive +fields, rank surplus 1,424, ordinary work 777,508,024 and precision context +2,344. All 3,038 catalogue checks and 104 main boundary pairs passed. + +The normalized-coordinate proof is in PROOF.md. Scalar coefficients and order +are unchanged, but the changed helper promises and all transports are recounted. +The full checks reconstruct paid/helper chart maps and absolute phase, +all main boundaries, independent native/caller grids, physical ownership, +precision/error envelopes, ordinary work and finite fixed-tape substitution, +as well as both directed engines and 54 strict plus four functional outer gates. + +The assumptions native_all_columns, owned_erasure, compiler, precision_tape and +analytic_recovery remain. Owned erasure retains its nonzero-content premise. +Source-aware finite replay is not independent human/formal acceptance, maintainer +admission, or a literal compiled top-level multiplication execution. diff --git a/research/p104-global-output-rechart/CHANGES.json b/research/p104-global-output-rechart/CHANGES.json new file mode 100644 index 0000000000..e1d530f9a5 --- /dev/null +++ b/research/p104-global-output-rechart/CHANGES.json @@ -0,0 +1,757 @@ +{ + "initial": [], + "final": [ + [ + 226, + 246, + 127 + ], + [ + 234, + 246, + 127 + ], + [ + 236, + 246, + 127 + ], + [ + 297, + 246, + 127 + ], + [ + 299, + 246, + 127 + ], + [ + 393, + 246, + 127 + ], + [ + 449, + 246, + 127 + ], + [ + 484, + 246, + 127 + ], + [ + 485, + 246, + 127 + ], + [ + 707, + 246, + 127 + ], + [ + 990, + 246, + 127 + ], + [ + 998, + 246, + 127 + ], + [ + 1060, + 246, + 127 + ], + [ + 1155, + 246, + 127 + ], + [ + 1208, + 246, + 127 + ], + [ + 1445, + 246, + 127 + ], + [ + 1460, + 246, + 127 + ], + [ + 1461, + 246, + 127 + ], + [ + 1477, + 246, + 127 + ], + [ + 1489, + 246, + 127 + ], + [ + 1490, + 246, + 127 + ] + ], + "scalar": [ + [ + 39877, + 246, + 127 + ], + [ + 39900, + 246, + 127 + ], + [ + 40457, + 246, + 127 + ], + [ + 42039, + 246, + 127 + ], + [ + 42041, + 246, + 127 + ], + [ + 42042, + 246, + 127 + ], + [ + 43758, + 246, + 127 + ], + [ + 43760, + 246, + 127 + ], + [ + 43762, + 246, + 127 + ], + [ + 43793, + 246, + 127 + ], + [ + 43797, + 246, + 127 + ], + [ + 44046, + 246, + 127 + ], + [ + 44048, + 246, + 127 + ], + [ + 44050, + 246, + 127 + ], + [ + 44052, + 246, + 127 + ], + [ + 44054, + 246, + 127 + ], + [ + 44055, + 246, + 127 + ], + [ + 44057, + 246, + 127 + ], + [ + 44059, + 246, + 127 + ], + [ + 44060, + 246, + 127 + ], + [ + 44061, + 246, + 127 + ], + [ + 44062, + 246, + 127 + ], + [ + 44063, + 246, + 127 + ], + [ + 44064, + 246, + 127 + ], + [ + 44066, + 246, + 127 + ], + [ + 44067, + 246, + 127 + ], + [ + 44068, + 246, + 127 + ], + [ + 44069, + 246, + 127 + ], + [ + 44070, + 246, + 127 + ], + [ + 44071, + 246, + 127 + ], + [ + 44072, + 246, + 127 + ], + [ + 44074, + 246, + 127 + ], + [ + 44076, + 246, + 127 + ], + [ + 44077, + 246, + 127 + ], + [ + 44078, + 246, + 127 + ], + [ + 44079, + 246, + 127 + ], + [ + 44080, + 246, + 127 + ], + [ + 44081, + 246, + 127 + ], + [ + 44082, + 246, + 127 + ], + [ + 44083, + 246, + 127 + ], + [ + 44084, + 246, + 127 + ], + [ + 44085, + 246, + 127 + ], + [ + 44086, + 246, + 127 + ], + [ + 44087, + 246, + 127 + ], + [ + 44088, + 246, + 127 + ], + [ + 44089, + 246, + 127 + ], + [ + 44090, + 246, + 127 + ], + [ + 44091, + 246, + 127 + ], + [ + 44093, + 246, + 127 + ], + [ + 44096, + 246, + 127 + ], + [ + 44098, + 246, + 127 + ], + [ + 44100, + 246, + 127 + ], + [ + 44101, + 246, + 127 + ], + [ + 44103, + 246, + 127 + ], + [ + 44105, + 246, + 127 + ], + [ + 44108, + 246, + 127 + ], + [ + 44109, + 246, + 127 + ], + [ + 44110, + 246, + 127 + ], + [ + 44111, + 246, + 127 + ], + [ + 44112, + 246, + 127 + ], + [ + 44113, + 246, + 127 + ], + [ + 44119, + 246, + 127 + ], + [ + 44121, + 246, + 127 + ], + [ + 44122, + 246, + 127 + ], + [ + 44129, + 246, + 127 + ], + [ + 44130, + 246, + 127 + ], + [ + 44132, + 246, + 127 + ], + [ + 44134, + 246, + 127 + ], + [ + 44218, + 246, + 127 + ], + [ + 44236, + 246, + 127 + ], + [ + 44336, + 246, + 127 + ], + [ + 44337, + 246, + 127 + ], + [ + 44338, + 246, + 127 + ], + [ + 44339, + 246, + 127 + ], + [ + 44340, + 246, + 127 + ], + [ + 44341, + 246, + 127 + ], + [ + 44342, + 246, + 127 + ], + [ + 44343, + 246, + 127 + ], + [ + 44344, + 246, + 127 + ], + [ + 44345, + 246, + 127 + ], + [ + 44346, + 246, + 127 + ], + [ + 44347, + 246, + 127 + ], + [ + 44348, + 246, + 127 + ], + [ + 44349, + 246, + 127 + ], + [ + 44350, + 246, + 127 + ], + [ + 44351, + 246, + 127 + ], + [ + 44352, + 246, + 127 + ], + [ + 44353, + 246, + 127 + ], + [ + 44354, + 246, + 127 + ], + [ + 44355, + 246, + 127 + ], + [ + 44356, + 246, + 127 + ], + [ + 44357, + 246, + 127 + ], + [ + 44358, + 246, + 127 + ], + [ + 44359, + 246, + 127 + ], + [ + 44360, + 246, + 127 + ], + [ + 44361, + 246, + 127 + ], + [ + 44362, + 246, + 127 + ], + [ + 44363, + 246, + 127 + ], + [ + 44364, + 246, + 127 + ], + [ + 44365, + 246, + 127 + ], + [ + 44366, + 246, + 127 + ], + [ + 44367, + 246, + 127 + ], + [ + 44373, + 246, + 127 + ], + [ + 44374, + 246, + 127 + ], + [ + 44375, + 246, + 127 + ], + [ + 44381, + 246, + 127 + ], + [ + 44382, + 246, + 127 + ], + [ + 44384, + 246, + 127 + ], + [ + 44385, + 246, + 127 + ], + [ + 44386, + 246, + 127 + ], + [ + 72525, + 246, + 127 + ], + [ + 72526, + 246, + 127 + ], + [ + 72527, + 246, + 127 + ], + [ + 72528, + 246, + 127 + ], + [ + 72529, + 246, + 127 + ], + [ + 73698, + 246, + 127 + ], + [ + 73699, + 246, + 127 + ], + [ + 73700, + 246, + 127 + ], + [ + 73701, + 246, + 127 + ], + [ + 73702, + 246, + 127 + ], + [ + 73703, + 246, + 127 + ], + [ + 73704, + 246, + 127 + ], + [ + 73713, + 246, + 127 + ], + [ + 73714, + 246, + 127 + ], + [ + 73715, + 246, + 127 + ], + [ + 73716, + 246, + 127 + ], + [ + 73717, + 246, + 127 + ], + [ + 73718, + 246, + 127 + ], + [ + 73719, + 246, + 127 + ] + ] +} diff --git a/research/p104-global-output-rechart/DISCOVERY.json b/research/p104-global-output-rechart/DISCOVERY.json new file mode 100644 index 0000000000..84dc7ce1be --- /dev/null +++ b/research/p104-global-output-rechart/DISCOVERY.json @@ -0,0 +1,32 @@ +{ + "status": "FLOATING_NOMINATION_ONLY", + "mode": "exit", + "source_sha256": "34cc0c51ca9eaaf2bf3789b8ea2c92f0837b4be9f0fedb22a6150169038e8c38", + "candidate_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "native_delta": { + "T": { + "9": 18, + "2": 2, + "8": -18, + "5": -1, + "6": 1, + "1": -2 + }, + "P": { + "1": -35, + "2": 12, + "4": -8, + "3": 8, + "5": 8 + } + }, + "mutable_nodes": 68123, + "method": "1337isnot1337/OpenAI Codex fresh-helper-boundary alpha expansion; current-tariff graph adapter by Rohan Arun/OpenAI Codex.", + "passes": 2, + "termination": "No further accepted move in second pass", + "changed_helper_outputs": 21, + "changed_scalar_contacts": 129, + "graph_nodes": 70462, + "graph_edges": 132542, + "candidate_frames": 1095 +} diff --git a/research/p104-global-output-rechart/EARLY-RESULT.json b/research/p104-global-output-rechart/EARLY-RESULT.json new file mode 100644 index 0000000000..5824ea608b --- /dev/null +++ b/research/p104-global-output-rechart/EARLY-RESULT.json @@ -0,0 +1,201 @@ +{ + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "native": { + "public": 1491, + "events": 73705, + "paid": { + "1": 3993, + "2": 854, + "3": 827, + "4": 224, + "5": 341, + "6": 16, + "7": 11, + "8": 6 + }, + "helpers": { + "1": 16, + "2": 20, + "3": 47, + "4": 217, + "5": 73, + "6": 43, + "7": 18, + "8": 35, + "9": 622 + }, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "owned_peak": 43, + "lifetimes": 54, + "bad_inputs": [] + }, + "native_delta": { + "T": { + "1": -2, + "2": 2, + "5": -1, + "6": 1, + "8": -18, + "9": 18 + }, + "P": { + "1": -35, + "2": 12, + "3": 8, + "4": -8, + "5": 8 + } + }, + "invoice": { + "P": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1241, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10990 + }, + "empty_root_credits": 0 + }, + "gate": { + "claim": "1820714376819/500000000000000", + "tested": "364142875363807/100000000000000000", + "raw_bracket": [ + "36414287536383037542599734750979/10000000000000000000000000000000000", + "1820714376819151877129986737549/500000000000000000000000000000000" + ], + "moment_margins": { + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + "328148947811316720906725761275885428500713827330133/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "328148947811316720906725761275885428500713866286239/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "1820714376819151877129986737549/500000000000000000000000000000000": [ + "-28425623737654606052519556550618656075222724541843/800000000000000000000000000000000000000000000000000000000000000000000000000000", + "-710640593441365151312988913765466401880568105796709/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "9072825445916967378422156616990812896161406848617120747863947392531329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "4536412722958483689211078308495406448080703424308560373931973715662519/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "moment_margin_float": { + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + 3.281489478113167e-30, + 3.281489478113167e-30 + ], + "1820714376819151877129986737549/500000000000000000000000000000000": [ + -3.553202967206826e-29, + -3.553202967206826e-29 + ], + "364142875363807/100000000000000000": [ + 9.072825445916967e-11, + 9.072825445916967e-11 + ] + }, + "derivative_upper": -382052.18301288236, + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "gamma": [ + 0.9408990079307765, + 0.9408990079307765 + ], + "delta": [ + 0.9012795090193046, + 0.9012795090193046 + ], + "minimum_log_power": 2234, + "written_log_power": 2235, + "compiler_gap": "1/100000000000000000", + "H": "16495300000000000000000", + "BIT_pin": "376669/100000000", + "BIT_margin": "12526124636193/100000000000000000", + "outer": { + "strict_count": 54, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "BIT_just_below_effective_rejected": true + }, + "input_lift": { + "margins": { + "1820714376819/500000000000000": [ + "15530387920172131302924865457520325158625573137331891134313157970232602944509/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361377050423398923660162601269004585098655129074505263761860823558027/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "124243103361379336978624014860759540130018081627807243684021495758851622429011/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361379336978624014860759540130018081627807243684021495758851622430949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "interval_kappa_cap": "376669/100000000", + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + } + }, + "price": { + "claim_decimal": "0.003641428753638", + "previous_claim": "455154956273/125000000000000", + "gain": "1.89103454E-7", + "gain_exact": "94551727/500000000000000", + "raw_bracket": [ + "0.0036414287536383037542599734750979", + "0.003641428753638303754259973475098" + ], + "independent_raw_bracket": [ + "0.0036414287536383037542599734750979", + "0.00364142875363830375425997347509791" + ], + "candidate_margin_at_old_upper": [ + "7339773395397761336857130155950379577194273434810044954256376447255710148616389/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "7167747456443126305524541167920292555853782651181684525640992624273154475419/97656250000000000000000000000000000000000000000000000000000000000000000000000" + ], + "baseline_rejects_new_claim": true + }, + "pending": [ + "fresh integer grid", + "all affected physical chart maps", + "complete caller replay", + "ordinary and precision bounds", + "full source application" + ] +} \ No newline at end of file diff --git a/research/p104-global-output-rechart/ENVIRONMENT.json b/research/p104-global-output-rechart/ENVIRONMENT.json new file mode 100644 index 0000000000..7333a0db8a --- /dev/null +++ b/research/p104-global-output-rechart/ENVIRONMENT.json @@ -0,0 +1,7 @@ +{ + "python": "3.12.14 (main, Aug 12 2026, 13:57:54) [Clang 21.0.0 (clang-2100.1.1.101)]", + "platform": "macOS-27.0.1-arm64-arm-64bit", + "verification_status": "PASS_REGISTERED_RESEARCH_PACKAGE", + "completed_at": "2026-11-10T21:38:18.770670+00:00", + "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-global-output-rechart" +} diff --git a/research/p104-global-output-rechart/INPUTS.json b/research/p104-global-output-rechart/INPUTS.json new file mode 100644 index 0000000000..d7231ac870 --- /dev/null +++ b/research/p104-global-output-rechart/INPUTS.json @@ -0,0 +1,158 @@ +{ + "source_head": "020d581d9856b6db83e448c3f20418bc63b72c34", + "prefix": "research/p104-recharted-rank8-split", + "archive": "inputs/pr7123.tar", + "archive_sha256": "834098d9b40ed09035fe6128b90805517dba7c9332ef191d55c48b40e72bb620", + "files": [ + { + "path": "research/p104-recharted-rank8-split/APPLICATION.md", + "size": 7030, + "sha256": "de7df820369111fbee559086a0ca68c6688fb5e7048c22ec3443827b070247fa" + }, + { + "path": "research/p104-recharted-rank8-split/DISCOVERY.json", + "size": 2004, + "sha256": "3730ce53b43f26d42ea9c450907a9e568dcaf72f6b2da35b8c795a78daa57ee4" + }, + { + "path": "research/p104-recharted-rank8-split/ENVIRONMENT.json", + "size": 676, + "sha256": "9f1ee125b355eba23d392c3db2bc59f6c4a8374d1842600ae24e30063ee42b23" + }, + { + "path": "research/p104-recharted-rank8-split/INPUTS.json", + "size": 2458, + "sha256": "1cfef1cc03b60a6cb512a953d399c25bfecda2ed8f9cf48e3083ec00d29f8457" + }, + { + "path": "research/p104-recharted-rank8-split/NATIVE-RESULT.json", + "size": 74348, + "sha256": "9a4aa23e0954dd6a3e73c8577b9d541581761df0ad8065969532b882d5c3d8f7" + }, + { + "path": "research/p104-recharted-rank8-split/PEER-EARLY.json", + "size": 6525, + "sha256": "2a8cd0ccae85b3a59758cffb8ce6835ca6274d19a9dd0e25f037786228af0f52" + }, + { + "path": "research/p104-recharted-rank8-split/PEER-STATUS.json", + "size": 1265, + "sha256": "956f8103e51c6a6fe68497d65ca0e1fab59790cc642005dad7e175402d3cf0be" + }, + { + "path": "research/p104-recharted-rank8-split/PROOF.md", + "size": 5784, + "sha256": "c42edbdb8ca23d724a2a12a897067d524ff8258cb462e7f716ff07d4ee12d838" + }, + { + "path": "research/p104-recharted-rank8-split/README.md", + "size": 5774, + "sha256": "c63bd7560db67857a6e7c69de6c705484f08511c9869da98a3716bfd80c7569b" + }, + { + "path": "research/p104-recharted-rank8-split/RECHART.json", + "size": 1332, + "sha256": "f9d8ced5926a73888363f557676c29e60d1b23a349df539a8a447d99dba00f86" + }, + { + "path": "research/p104-recharted-rank8-split/REPLAY.txt", + "size": 3827, + "sha256": "293d5a3dabf8a5822dd22decb6903eb798a07cf4952ae1050750f0b819229c42" + }, + { + "path": "research/p104-recharted-rank8-split/RESULT.json", + "size": 77846, + "sha256": "cf09d4ad0194b6a366f8971b8c2b5a12abedc934424558238b93f5cb36e849be" + }, + { + "path": "research/p104-recharted-rank8-split/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372" + }, + { + "path": "research/p104-recharted-rank8-split/TASK.json", + "size": 11002, + "sha256": "f39d686049fc461a2f32b3285c64a6adf0a70e6088c77fee00329a9897ff9742" + }, + { + "path": "research/p104-recharted-rank8-split/VALIDATION.md", + "size": 2712, + "sha256": "0dfe7a9488068a723abce8cb7333ef8a5877162c4e5ce637725e3e03cfd2b56a" + }, + { + "path": "research/p104-recharted-rank8-split/VERIFY.json", + "size": 1101, + "sha256": "afee6d7ccd0b74749dd96676567fc9471a46609389e6fb6b8e8f0cc10c52e60a" + }, + { + "path": "research/p104-recharted-rank8-split/WITNESS.json", + "size": 783, + "sha256": "36d09669a0e2ea92429cfa5a2d44aeca8816ab1f88b6c9ecf3eaeeefdd6ff5b8" + }, + { + "path": "research/p104-recharted-rank8-split/WORD.json.gz", + "size": 365736, + "sha256": "e8ead5ef5803ec822ccc342a1896c09e3970510f349aa1a6446500739fdc281b" + }, + { + "path": "research/p104-recharted-rank8-split/adapt.py", + "size": 3154, + "sha256": "a6631c0bb0db3ba80fe53c4b29abaaaac21002875d824d27dff1c369eb53e655" + }, + { + "path": "research/p104-recharted-rank8-split/construct.py", + "size": 629, + "sha256": "78db6f632f122e25023d9e0489b3ec819a05a87a325d6fd8d165c8b0190e3260" + }, + { + "path": "research/p104-recharted-rank8-split/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0" + }, + { + "path": "research/p104-recharted-rank8-split/inputs/pr7122.tar", + "size": 9154560, + "sha256": "5c3ed6ee7454f95c02644f3937b6c4efef8af0428ec4a11aa4e7c286d8e148f8" + }, + { + "path": "research/p104-recharted-rank8-split/price.py", + "size": 4908, + "sha256": "b4d0348af0069584740d6bf81b3ba545dd24003d919ec574652cfc86a7624ead" + }, + { + "path": "research/p104-recharted-rank8-split/rechart.py", + "size": 1957, + "sha256": "0a83206f3b5b046839b52a6f137462ade89c9f3212a22c0c2991b517227ae2ae" + }, + { + "path": "research/p104-recharted-rank8-split/retime.py", + "size": 3061, + "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564" + }, + { + "path": "research/p104-recharted-rank8-split/source.py", + "size": 3392, + "sha256": "0f16cb7383406fab399706155398cf87c44808ff2d0dec272321ff0b392ab6d1" + }, + { + "path": "research/p104-recharted-rank8-split/split.py", + "size": 6432, + "sha256": "3d529d78994504ad591a3afade4dab094751c1c221edbab10165290314cf0894" + }, + { + "path": "research/p104-recharted-rank8-split/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6" + }, + { + "path": "research/p104-recharted-rank8-split/verify.py", + "size": 3448, + "sha256": "8e04e24bbe153e7f2363976ad3d9a08c42c8c2c41673273babf12b7dd705fac2" + }, + { + "path": "research/p104-recharted-rank8-split/verify_native.py", + "size": 13491, + "sha256": "50338fd2d80fe7f2ec3dfaad651a845d5055df2915e38642cf78e977dc858535" + } + ] +} diff --git a/research/p104-global-output-rechart/NATIVE-RESULT.json b/research/p104-global-output-rechart/NATIVE-RESULT.json new file mode 100644 index 0000000000..0b3bd19418 --- /dev/null +++ b/research/p104-global-output-rechart/NATIVE-RESULT.json @@ -0,0 +1,3159 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [ + [ + 259, + 127 + ], + [ + 723, + 127 + ], + [ + 724, + 127 + ], + [ + 807, + 127 + ], + [ + 901, + 127 + ], + [ + 903, + 127 + ], + [ + 1068, + 127 + ], + [ + 1072, + 127 + ] + ], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 246 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 3, + 924 + ], + "rank": 7 + }, + { + "columns": 512, + "pair": [ + 259, + 127 + ], + "rank": 6 + }, + { + "columns": 512, + "pair": [ + 723, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 724, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 807, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 901, + 127 + ], + "rank": 2 + }, + { + "columns": 512, + "pair": [ + 903, + 127 + ], + "rank": 2 + }, + { + "columns": 512, + "pair": [ + 924, + 246 + ], + "rank": 1 + }, + { + "columns": 512, + "pair": [ + 1068, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 1072, + 127 + ], + "rank": 3 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "duplicate_scalar_edit": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_output_rechart": true, + "wrong_move_source": true, + "wrong_scalar_coefficient": true, + "wrong_source_output": true, + "wrong_source_scalar": true + }, + "derived_grid": { + "coefficient_visits": 15006143, + "fractional_bits": 24, + "mass_witness": [ + 64731, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "1630603680282225/16384", + "unscaled_maximum_mass": "7247127467921/81920" + }, + "forward": { + "coefficient_positions": 2377764, + "fractional_bits": 24, + "grid": 1125, + "rows": 1542 + }, + "gate": { + "BIT_margin": "12585250046893/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999991, + 0.9999999999999991 + ], + "claim": "3640837499531/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8812751267948227, + 0.8812751267948227 + ], + "derivative_upper": -407351.9062738384, + "gamma": [ + 0.9500554282874203, + 0.9500554282874203 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3640837499531/1000000000000000": [ + "62111894931426881451290424960151908882524862237804477554827127353639753551193/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62111894931426881451290424960151908882524862237804477554827127353639753552169/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364083749953107/100000000000000000": [ + "6211189493142802474535768279784718905234866270571122397735113523781375408993/5000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62111894931428024745357682797847189052348662705711223977351135237813754090917/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "18204187497658698072822220933249/5000000000000000000000000000000000": [ + -2.8195124342007185e-29, + -2.8195124342007185e-29 + ], + "364083749953107/100000000000000000": [ + 2.7744630234088543e-10, + 2.7744630234088543e-10 + ], + "36408374995317396145644441866497/10000000000000000000000000000000000": [ + 1.3238607400548211e-29, + 1.3238607400548211e-29 + ] + }, + "moment_margins": { + "18204187497658698072822220933249/5000000000000000000000000000000000": [ + "-28195124342007184533362794461298990313647438826933/1000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-704878108550179613334069861532474757841185960181059/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364083749953107/100000000000000000": [ + "108377461851908363948176418994300714091347851497007357649176436728907/390625000000000000000000000000000000000000000000000000000000000000000000000000", + "13872315117044270585366581631270491403692524991616941779094583922353177/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36408374995317396145644441866497/10000000000000000000000000000000000": [ + "661930370027410600132816473998629154372042131479507/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "330965185013705300066408236999314577186021076255889/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36408374995317396145644441866497/10000000000000000000000000000000000", + "18204187497658698072822220933249/5000000000000000000000000000000000" + ], + "tested": "364083749953107/100000000000000000", + "written_log_power": 2235 + }, + "grid": { + "dyadic_height": 24, + "maximum_scaled_mass": "1630603680282225/16384", + "odd_divisions": { + "ADD": 5231, + "SCALE": 69 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 63624, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6272, + "SCALE": 3700 + }, + "owned_lifetimes": 54, + "owned_peak": 43, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 3993, + "2": 854, + "3": 827, + "4": 224, + "5": 341, + "6": 16, + "7": 11, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72258, + "16": 416, + "2": 15372, + "24": 416, + "3": 14886, + "32": 416, + "4": 4032, + "40": 416, + "48": 416, + "5": 6138, + "56": 416, + "6": 288, + "64": 416, + "7": 198, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 288, + "145": 208, + "17": 416, + "2": 360, + "25": 416, + "3": 846, + "33": 416, + "4": 3906, + "41": 416, + "49": 416, + "5": 1314, + "57": 416, + "6": 774, + "65": 416, + "7": 324, + "73": 416, + "8": 630, + "9": 11612 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036408374995317396145644441866497319512794136069050953102182957363", + "raw_crossing": "0.0036408374995317396145644441866497319512794136069050953102182957363" + }, + "limitations": [ + "Five inherited framework assumptions remain.", + "Source-aware retained engines are not independent human/formal acceptance.", + "The complete 17-stage application is checked separately." + ], + "native": { + "bad_inputs": [], + "events": 73705, + "helpers": { + "1": 16, + "2": 20, + "3": 47, + "4": 217, + "5": 73, + "6": 43, + "7": 18, + "8": 35, + "9": 622 + }, + "lifetimes": 54, + "owned_peak": 43, + "paid": { + "1": 3993, + "2": 854, + "3": 827, + "4": 224, + "5": 341, + "6": 16, + "7": 11, + "8": 6 + }, + "public": 1491, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "ordinary": { + "caller_items": { + "A": { + "envelope": 124674048, + "field_boundary": 94848, + "fused_routes": 0, + "idle_routes": 185472000, + "output_routes": 229056000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 39515136, + "field_boundary": 7904, + "fused_routes": 1168000, + "idle_routes": 19552000, + "output_routes": 19088000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 619786080, + "conservative_total": 851231248, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 148768752, + "odd_divisions": { + "ADD": 5231, + "SCALE": 69 + }, + "per_input_conversion": 2791152, + "raw_upper": 833271840, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2182, + "moves": 6272, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9870000, + "scalar_upper": 1990320 + }, + "physical_checks": [ + "verify_host3_odd.py", + "physical.py" + ], + "precision": { + "Kstar_bits": 14093, + "caller": { + "denominator_height": 431, + "maximum_mass": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "pre_joint_height": 426, + "pre_joint_mass": "766527916529583301313228867197686200815349463045311717713050641430930492401493758087731346459407655106441982454343595473292801327075604294093436993244143470221321807686760749419510412771973080166736111/17179869184" + }, + "context_c": 1342, + "context_height": 450, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "77482064519477492877345882155072340032574220479249532105095918724426878562044992865005587476298121163548700255763539755645567284855606107632683333005717605683933307298408604251810298660747139785390086690394506119887391033258269388459759048179069673710110438169639674846987074712436861687697579932501661512101753643/236574025616993083824920739000090624000000000000000000000", + "strict_power_of_two": 856, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "49933630000095334090753753139320204789004846493880725727249489567581182300767280528319725947994212529583226084093175822397383082632087372187818006380428501337163265550823090639281272530143151783658633913435577976361273459511500345556335541686170257228637640391851412941927460830868333038720169170855920027476746618463/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 863, + "witness": { + "cut": 5112, + "factor": "1", + "kind": "public-return", + "register": 75 + } + }, + "M_caller": { + "exact": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "strict_power_of_two": 619, + "witness": { + "cut": 5076, + "event": 5075, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "M_context": { + "exact": "1517515679182198924034577432022586317234847044351638365847309596003951132160868512030200616997928106376771425109554950240852288923683184559813784269750605022943987734068653460591509394844729790528571833081096260764518189108430075733617011811989288333922111932075099401822130615366052952216248421562200698556698564921337/94629610246797233529968295600036249600000000000000000000", + "strict_power_of_two": 872, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "strict_power_of_two": 612, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Sigma_caller": { + "exact": "49933630000095334090753753139320204789004846493880725727249489567581182300767280528319725947994212529583226084093175822397383082632087372187818006380428501337163265550823090639281272530143151783658633913435577976361273459511500345556335541686170257228637640391851412941927460830868333038720169170855920027476746618463/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 863, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "26629209662837109827316260265236130735389175299736526265119333570385153319358408345532547377444733189838115698310574448543082585625074958626801654851272217866058530844231050246440139107515994315039714770742873339200939590125334428801431110175366199733335021733650734974793393873039592663212551054052664156075964277262943594902620653388478745657471878108364854435536565664610786317557798031162347258411984437976639124445441891405638356693041104653/81983305073188036898332404126324460286112199797016435889798262030336000000000000000000000000000000000000000000", + "strict_power_of_two": 1115, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19638, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "77482064519477492877345882155072340032574220479249532105095918724426878562044992865005587476298121163548700255763539755645567284855606107632683333005717605683933307298408604251810298660747139785390086690394506119887391033258269388459759048179069673710110438169639674846987074712436861687697579932501661512101753643/236574025616993083824920739000090624000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "49933630000095334090753753139320204789004846493880725727249489567581182300767280528319725947994212529583226084093175822397383082632087372187818006380428501337163265550823090639281272530143151783658633913435577976361273459511500345556335541686170257228637640391851412941927460830868333038720169170855920027476746618463/1135555322961566802359619547200434995200000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "49933630000095334090753753139320204789004846493880725727249489567581182300767280528319725947994212529583226084093175822397383082632087372187818006380428501337163265550823090639281272530143151783658633913435577976361273459511500345556335541686170257228637640390715857618965894028508713491519734175655920027476746618463/1135555322961566802359619547200434995200000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "77482064519477492877345882155072340032574220479249532105095918724426878562044992865005587476298121163548700255763539755645567284855606107632683333005717605683933307298408604251810298660747139785390086690394506119887391033258269388459759048179069673710110438169639674846987074712436861687697579932501661512101753643/236574025616993083824920739000090624000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "49933630000095334090753753139320204789004846493880725727249489567581182300767280528319725947994212529583226084093175822397383082632087372187818006380428501337163265550823090639281272530143151783658633913435577976361273459511500345556335541686170257228637640391851412941927460830868333038720169170855920027476746618463/1135555322961566802359619547200434995200000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "9818254090144898938713235620089841358071262274720118279214259238583313642063234436677834765100448318784309159108498880990526516353100873/43317997854674026579270154846208000000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "28144538550813284976973246045977348063110996337095650573198508099964034670446146550874359747916860315023773562845766891060008915987446892644831867/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "363201725372700881407708785051754863373137843650224033660711061530562186202647023332619681691979827061143400189065558866321033993925670795020722566451559/138617593134956885053664495507865600000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "1290079693750127196872273115211490636618784565637838006979508577255707676569615571988624965842835445540279732784525378510720510347019275045499504081904924646365823/924117287566379233691096636719104000000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "2315260371572471828340073994840074831477868499414747741898843670679975449521812369243245632771879722926956634544666011291539333305510775705944417798826094464732754755538569/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "35108218486247243690020522543710189519940900953656703729547946519786828618700823205465167111040917642650066336998460519947009569822482363434157087730015622385705373268151700265231831/4435762980318620321717263856251699200000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "144899551047274269516139742601301756601552885569908612208464580418741243240569812024412995062626984116756932202729252047542861110672830334198069377116393965483686890621356551901868795912231337/1848234575132758467382193273438208000000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "1568408255290676697596875786591002289825509424056626739550415550170545772888502091429997439810293519678511837616137582232013811773922129335968619562155579812400727980560562059084574280201703348686844633/11089407450796550804293159640629248000000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "45013213550766564848544173241636699665768179796570074696782531972927478361365425461351531763147507415521834619191814076573740941396554581331414909102947931535755845312781301927812699163734680882838943073524827117062442124538564061975442237787369/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "561500213134074161421721243727817695685050592533542112809190343145648937259641114721161809085587308833146143048705275975759036297319462969592712734324889334184403444743846009374300247011375641536094161838929132977059068643890001161336337056611445481158391/44357629803186203217172638562516992000000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "2504023702467432471172044182491592241858629857634918470497217810605409843775939173508416827386934171875178196564713616612337727817740806381339336044813249152889451046160019542370394709688458990964454732512312985879200222079177547834151948984020386954483762996921871/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "269312597805985078934506937884513995893845730935745788914596483277887754808292749274683322560805298360672916462515086857015525288969020730024060190135183407931839743241891942425327841634778711233502962665230798425325545997884329833889309746725697313325035883694701402335109/19714502134749423652076728250007552000000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "1652538227220649375684821129871841469837479623668554780364457669243932539690576461186195623851213614185663835544200059510851123616556156409942667256376661808413022780595939561232767919254946599802731066917847939187761739131812471704744771837103830421622112647641144556699326151854567/354861038425489625737381108500135936000000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "163074958454502863788773709977505329317691327356873398245737243932328597334849709294420221959827312947499723434378395659570970544400053965621378764617007110327654244545440846777097465437527283719093617012948645668600009410906455106069153563507599107264595366047323374332511672567488215365881/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "79662933402983993582518441871933626358641592466297296881428062403184927226626498051071545758372167570288672632967527848298197426983332802513874477308693419587939374047169365476916103281356056098347537888366508213740759797879608604146074051038598842692201775068779292183778213086718169931403820129199/1419444153701958502949524434000543744000000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "164507681064776804330527117530079210855983034400913916098536624576971325711953607299679156229643469855762418011487029739130820808496795096521097932263827681750944488759682284252887675042266640632621519063315059954812604891058342727829146203440278666681409071542737458757193374915565296802055347761438186801/283888830740391700589904886800108748800000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "77482064519477492877345882155072340032574220479249532105095918724426878562044992865005587476298121163548700255763539755645567284855606107632683333005717605683933307298408604251810298660747139785390086690394506119887391033258269388459759048179069673710110438169639674846987074712436861687697579932501661512101753643/236574025616993083824920739000090624000000000000000000000", + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "event": 4982, + "stage": 18 + } + ], + "physical_main_inputs": 3952, + "sites": { + "ADD": 4102, + "IDLE_ODD": 4, + "IDLE_ONE": 96, + "J": 18, + "LAMBDA": 214, + "QUERY": 4, + "SCALE": 298, + "SWAP": 376, + "noninteger_scalar": 1562 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 73705, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "strict_power_of_two": 260, + "witness": { + "cut": 72955, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72955, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73705, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63624, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6272, + "SCALE": 3700 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1491, + "scalars": { + "dyadic": 62025, + "integer": 39299, + "noninteger": 28026, + "odd": 5300 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26064, + "entrance_mass": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26064, + "entrance_mass": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26064, + "entrance_mass": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 15006143, + "dyadic_height": 24, + "mass_witness": [ + 64731, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "971262918721273677585800022373331682232196104645994625701117717699644722075727/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "3885051674885094710343200089493326728928784418583978502804470870798578907124277/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003640837499531", + "gain": "1.87530787E-7", + "gain_exact": "187530787/1000000000000000", + "independent_raw_bracket": [ + "0.00364083749953173961456444418664973", + "0.00364083749953173961456444418664974" + ], + "previous_claim": "455081246093/125000000000000", + "raw_bracket": [ + "0.0036408374995317396145644441866497", + "0.0036408374995317396145644441866498" + ] + }, + "signed_routes": { + "ambient": 153, + "bindings": [ + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 64, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 63, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 67, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 61, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 68, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 59, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 10 + } + ], + "paid_calls": 32, + "proposed_sha": "9557f713ab4ffb91ede05e8a6d5668c694b9940fc16f2f2d657e2f2b2cac2d3f", + "status": "PASS_PHYSICAL_RANK9_ALGEBRA", + "word_sha": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686" + }, + "source_head": "020d581d9856b6db83e448c3f20418bc63b72c34", + "status": "PASS_GLOBAL_OUTPUT_RECHART_NATIVE", + "word_canonical_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686" +} diff --git a/research/p104-global-output-rechart/PROOF.md b/research/p104-global-output-rechart/PROOF.md new file mode 100644 index 0000000000..2e17b59387 --- /dev/null +++ b/research/p104-global-output-rechart/PROOF.md @@ -0,0 +1,82 @@ +# Source-bound global output rechart + +The source is the complete frozen #7123 export identified by `INPUTS.json`. +The construction is the finite specification in `CHANGES.json`, interpreted +by `construct.py`. The discovery heuristic is not a proof premise. + +## Normalized-coordinate identity + +For a field in chart F, write its physical value as C_F z. A legal MOVE from +F to G applies C_G C_F⁻¹, leaving z unchanged. When two fields share F, +ADD(r,s,q) sends z_r to z_r+q z_s. SCALE and COPY have the corresponding +chart-independent normalized actions. Consequently a chronological scalar +program has the same normalized linear operator whenever each scalar's +operands share its declared chart and every intervening MOVE is legal. + +The generator retains every scalar opcode, operand and rational coefficient +in the original order. It changes only the declared charts of 129 public +scalar contacts and the output charts of 21 independent public helpers. +It removes the old public transport schedule and reconstructs the required +transport immediately before each scalar contact and at the final boundary. +Every emitted public MOVE is checked to be strictly nested and increasing. +Unchanged transports need not retain their former timestamp: in normalized +coordinates they are identities and the scalar chronology is identical. + +Main input/output charts stay fixed. Each affected helper now promises +C_new-final C_initial⁻¹ on its arbitrary independent input, and its productive +rank is changed accordingly. No old helper credit is retained for a changed +boundary. All independent helper coefficients and every main output are +checked by the complete reverse adjoint; a separate integer forward replay +checks the full endpoint matrix. + +Owned INIT/CLEAR operations, scalar contacts involving owned fields, and +owned MOVEs retain their source order and charts. The verifier separately +checks all lifetimes, peak live allocation and upward rank mass. This is +under the inherited owned-erasure contract, not a new zero-erasure theorem. + +## Complete invoice + +The exact per-native changes are + +``` +ΔT = {1: -2, 2: +2, 5: -1, 6: +1, 8: -18, 9: +18} +ΔP = {1: -35, 2: +12, 3: +8, 4: -8, 5: +8}. +``` + +Both rank masses increase by 21. Productive field count is unchanged and paid +positions decrease by 15 per native invocation. The unchanged 17-stage caller +multiplies both changes by 17, preserving full rank surplus 1,424 and zero +empty-root credit. Every target uses its actual changed output boundary. + +For p=1−κ, the native signed-moment improvement is + +``` +33 H1 − 10 H2 − 8 H3 + 8 H4 − 9 H5 + H6 − 18 H8 + 18 H9, +Hr = r^p. +``` + +Both retained directed engines bracket the new complete crossing. The narrower +independent interval is `(0.0036414287536383037542599734750979, +0.00364142875363830375425997347509791)`. Both reject the predecessor invoice at +κ=0.003641428753638. A strict compiler probe stays below the lower crossing; +all compiler/outer inequalities are recomputed. This is an invoice-specific +bound, not a global optimum. + +## Scope of acceptance + +The full application additionally requires legal physical chart maps, +absolute phase, native and caller integer grids, precision/error envelopes, +ordinary work and fixed-tape substitution. Their executable checks and +receipts are separate from the early price receipt. See `APPLICATION.md` +for the current completion state. Five inherited assumptions and independent +human/formal review remain; a successful finite replay does not remove them. + +## Attribution + +The global assignment was nominated using **1337isnot1337/OpenAI Codex**'s +`fresh-helper-boundary/discover-cut.cpp` alpha-expansion method, with its +tariff parameter exposed rather than frozen. Ali Romman, CubeJerry, ToikY, +dillona, Matarener, DreamingOfClouds, the #7000 reviewers and Rohan Arun's +caller retain their respective source credit. All nested notices remain +in the authenticated source export. Rohan Arun with OpenAI Codex assistance; +Apache-2.0. diff --git a/research/p104-global-output-rechart/README.md b/research/p104-global-output-rechart/README.md new file mode 100644 index 0000000000..c848acf3f2 --- /dev/null +++ b/research/p104-global-output-rechart/README.md @@ -0,0 +1,35 @@ +# Conditional κ = 0.003641428753638 + +This output rechart of exact PR7123 improves its complete signed invoice by +0.000000189103454. The early exact arbitrary-input native adjoint, complete +paid/target recount and both directed price engines passed before the initial +draft. Full native and complete application checks subsequently passed, followed +by registered isolated CPython 3.12.14 replay matching every frozen field. +Coverage includes eleven 512-column chart checks, phase/corruption controls, +independent native/caller grids, physical ownership, fresh precision/error bounds, +ordinary work and fixed-tape substitution, both directed prices and 54 strict +plus four functional outer conditions. All 3,038 catalogue checks and 104 main +boundary pairs passed. See `REPLAY.txt`, `NATIVE-RESULT.json`, `RESULT.json` +and `VALIDATION.md`. + +The five inherited framework assumptions remain. These are source-aware author +checks, not independent human/formal acceptance or maintainer admission. + +`CHANGES.json` and `construct.py` regenerate the whole native from the complete +authenticated PR7123 export. Scalar coefficients and chronological order, +main input/output boundaries and owned inventory remain unchanged. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-global-output-rechart +``` + +Credit 1337isnot1337/OpenAI Codex for fresh-helper-boundary alpha expansion; +dillona/OpenAI Codex for PR7123; Rohan Arun's PR7122 rechart and PR7113 caller; +Ali Romman, Jerry Chen/CubeJerry, ToikY, Matarener, DreamingOfClouds, +Douglas Colkitt/#7000 reviewers and all retained source authors and notices. +Rohan Arun with substantial OpenAI Codex assistance; no subagents. Apache-2.0. + +## Open next questions + +- Obtain independent reviewer confirmation of the registered replay. +- Independently review the changed helper promises, chart maps and complete cost. diff --git a/research/p104-global-output-rechart/REPLAY.txt b/research/p104-global-output-rechart/REPLAY.txt new file mode 100644 index 0000000000..c4b29a95b0 --- /dev/null +++ b/research/p104-global-output-rechart/REPLAY.txt @@ -0,0 +1,76 @@ +CHECK Entire source reconstruction, exact native adjoint and complete signed price with both directed engines; all frozen early fields. +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003641428753638 +CHECK Complete forward/adjoint, changed chart columns and phase, native common grid, ordinary/precision/physical bounds and corruption controls; all native receipt fields. +PASS whole source/operator, forward/adjoint, causal charts and fresh native grid +caller 0 terms 77 +caller 500 terms 621 +caller 1000 terms 2648 +caller 1500 terms 3619 +caller 2000 terms 1590 +caller 2500 terms 398 +caller 3000 terms 1918 +caller 3500 terms 1797 +caller 4000 terms 1817 +caller 4500 terms 912 +caller 5000 terms 167 +PASS full ingredient invoice, ordinary, precision, both prices and outer gates +events 73705 public 1491 owned roles 51 paid {1: 3993, 2: 854, 3: 827, 4: 224, 5: 341, 6: 16, 7: 11, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 16, 2: 20, 3: 47, 4: 217, 5: 73, 6: 43, 7: 18, 8: 35, 9: 622} +endpoint bad rows 0 odd certificate S 1125 +PASS_HOST3 decoupled ports 96 hosted ports 8 +gate interpreter agrees with the library on 4 exact state vectors +replayed 73705 events, 2953 chart pairs, 15s +prime 1000000009 seed 11: helper rows bad 0 (of 1091), X rows bad 0, Y rows bad 0, X2 rows bad 0, Y2 rows bad 0 (of 104 ports; 96 with second mains) +tableau on 104 ports: XX!=D 0 YY!=D 0 YX!=Q^-1D 0 XY!=QD 0 | controls matching (must be 0): 0 0 +PASS_PHYSICAL 20s +PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay +PASS_GLOBAL_OUTPUT_RECHART_NATIVE 3640837499531/1000000000000000 +CHECK Complete literal signed 17-stage caller, all paid/helper maps and main boundaries, independent integer grid, physical ownership, ordinary, precision, fixed-tape and compiler/outer gates; all application receipt fields. +PASS two reconstructed invoices and both exact price engines 0.003641428753638 +RUN emit_odd_type_b.py +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2699 +caller 1500 terms 1262 +caller 2000 terms 881 +caller 2500 terms 2484 +caller 3000 terms 765 +caller 3500 terms 640 +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2701 +caller 1500 terms 1264 +caller 2000 terms 881 +caller 2500 terms 2485 +caller 3000 terms 765 +caller 3500 terms 641 +PASS exact short type B 3877 events Counter({8: 34, 9: 4, 56: 4, 48: 4, 40: 4, 32: 4, 24: 4, 16: 4, 64: 2}) +RUN emit_odd_type_ab.py +caller 0 terms 73 +caller 500 terms 1076 +caller 1000 terms 2476 +caller 1500 terms 1334 +caller 2000 terms 2078 +caller 2500 terms 1235 +caller 3000 terms 2978 +caller 3500 terms 2335 +caller 4000 terms 1046 +caller 4500 terms 299 +PASS exact short A+B 4783 events 3752 ['36414287536383037542599734750979/10000000000000000000000000000000000', '1820714376819151877129986737549/500000000000000000000000000000000'] +RUN check_odd_caller_exact_grid.py +PASS odd caller grid [381, 69, 62] [381, 3, 2] scale bits 10 checked 176874 +RUN check_odd_physical_binding.py +PASS exact physical binding 110400 13600 22291 +RUN check_odd_precision.py +PASS short precision 405 1172 2344 +RUN check_odd_partial_admission.py +ordinary bill 777508024 +PASS partial signed short gates 777508024 1820714376819/500000000000000 {'strict_count': 54, 'functional_count': 4, 'minimum_margin': '1/1000000000000000000', 'BIT_just_below_effective_rejected': True} +RUN check_odd_fixed_tape_counts.py +PASS finite tariff substitution 42316768 25428282720 precision 2344 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3038 +PASS complete 8+9 component application checks 1820714376819/500000000000000 3038 110400 +PASS_P104_GLOBAL_OUTPUT_RECHART 1820714376819/500000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-global-output-rechart outcome=completed diff --git a/research/p104-global-output-rechart/RESULT.json b/research/p104-global-output-rechart/RESULT.json new file mode 100644 index 0000000000..1c91263862 --- /dev/null +++ b/research/p104-global-output-rechart/RESULT.json @@ -0,0 +1,1594 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "2ae3fcd684f43dcf893e448d36cec2261f7d02a327fa7877ae8e36efc3e4938e", + "check_odd_precision.py": "65fc0858c70601fa3de6c758fa5b11388a5225bf813d1f383ac9aae26721e303", + "emit_odd_type_ab.py": "6fd9f61f9ba6c726524d1a585d0201b0eac61829ccae6be598f0f0fc1cb64f1a" + }, + "edits": [ + { + "file": "emit_odd_type_ab.py", + "new": "invoice=json.loads((root/\"COHORT-PRICE.json\").read_text())", + "old": "invoice=next(x for x in json.loads((root/\"SHORT-CALLER-RAW-PRICE.json\").read_text())[\"rows\"] if tuple(x[\"shape\"])==shape)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "actual_native=ind.native(w)\nassert actual_native==N and not N[\"bad_inputs\"], \"Fresh complete native inventory and arbitrary-input adjoint\"", + "old": "previous=json.loads((root/\"SHORT-ADMISSION-PARTIAL.json\").read_text())\nassert previous[\"native_sha256\"]==digest and not N[\"bad_inputs\"]" + }, + { + "file": "check_odd_partial_admission.py", + "new": "claim=Q('0.003641428753638')", + "old": "claim=Q(\".00363797977\")" + }, + { + "file": "check_odd_partial_admission.py", + "new": "tested=claim+Q(7,10**17)\nwhile tested>=Q(reference[\"raw_bracket\"][0]):\n tested=claim+(tested-claim)/10", + "old": "tested=claim+Q(7,10**17)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r[\"gate\"][\"BIT_pin\"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError(\"Probe at lower crossing unexpectedly accepted\")", + "old": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])" + }, + { + "file": "check_odd_partial_admission.py", + "new": "\"crossing_probe_rejected\":crossing_probe_rejected,\"scope\":\"Reuse exact same native word all-column adjoint;", + "old": "\"scope\":\"Reuse exact same native word all-column adjoint;" + }, + { + "file": "check_odd_precision.py", + "new": "", + "old": "previous=json.loads((root/\"SHORT-PRECISION.json\").read_text())" + }, + { + "file": "check_odd_precision.py", + "new": "assert grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()", + "old": "assert previous[\"native_sha256\"]==sha and grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()" + }, + { + "file": "check_odd_precision.py", + "new": "wg=grid.word_run(w)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r[\"precision\"][\"word\"] and wr==r[\"precision\"][\"rounded_native\"], \"Fresh changed-native grid and envelope\"", + "old": "wg=previous[\"native_grid\"]\nwr=previous[\"rounded_native\"]\nwp={key:(Q(v[\"exact\"]),v[\"witness\"]) for key,v in wr[\"bounds\"].items()}" + } + ] + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "catalogue": [ + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "b9cdcbe051edca0b1fb57ede0bc0ba3c8614a4586d18b8946141fc9030ca731e", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "3e70bf7c9c05d1194c607367fe8e874627d3e2a4ac5a995454b53232f6466859", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "f76e845684b453845083f27738e56aa51cc2a480f4e23846fa3041557ffe5095", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "1820714376819/500000000000000", + "catalogue": [ + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "b9cdcbe051edca0b1fb57ede0bc0ba3c8614a4586d18b8946141fc9030ca731e", + "log_sha256": "75130b2fcbe8aae5779afd9e58925ce8fbf120f06e67cfc7555d7ef519f12f11", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "3e70bf7c9c05d1194c607367fe8e874627d3e2a4ac5a995454b53232f6466859", + "log_sha256": "085b500e317960a846d632a506fd79c08ae7accf66fcec5b1dbd8a2694210192", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "f76e845684b453845083f27738e56aa51cc2a480f4e23846fa3041557ffe5095", + "log_sha256": "7d2a7096a2cfa516566516c92f41e5f5acfbe4c88486051df999abb063e94085", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "log_sha256": "dff07bc37c627d3bfb74d872ba6a301bd80e0b0b1a91eb0fe87385650948151d", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040" + } + ], + "fixed_tape_counts": { + "H": 16495300000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2344, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25428282720, + "log_power": 2235, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298230, + "native_invocations": 17, + "native_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58182, + "native": 1146361 + }, + "scalar_services_upper": 42316768, + "scalar_steps_coefficient": 44372347322368, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "1820714376819/500000000000000" + }, + "native_archive_sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040", + "native_canonical_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "numeric_gate": { + "BIT_margin": "12526124636193/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "1820714376819/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9012795090193046, + 0.9012795090193046 + ], + "derivative_upper": -382052.18301288236, + "gamma": [ + 0.9408990079307765, + 0.9408990079307765 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1820714376819/500000000000000": [ + "15530387920172131302924865457520325158625573137331891134313157970232602944509/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361377050423398923660162601269004585098655129074505263761860823558027/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "124243103361379336978624014860759540130018081627807243684021495758851622429011/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361379336978624014860759540130018081627807243684021495758851622430949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "1820714376819151877129986737549/500000000000000000000000000000000": [ + -3.553202967206826e-29, + -3.553202967206826e-29 + ], + "364142875363807/100000000000000000": [ + 9.072825445916967e-11, + 9.072825445916967e-11 + ], + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + 3.281489478113167e-30, + 3.281489478113167e-30 + ] + }, + "moment_margins": { + "1820714376819151877129986737549/500000000000000000000000000000000": [ + "-28425623737654606052519556550618656075222724541843/800000000000000000000000000000000000000000000000000000000000000000000000000000", + "-710640593441365151312988913765466401880568105796709/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "9072825445916967378422156616990812896161406848617120747863947392531329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "4536412722958483689211078308495406448080703424308560373931973715662519/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + "328148947811316720906725761275885428500713827330133/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "328148947811316720906725761275885428500713866286239/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36414287536383037542599734750979/10000000000000000000000000000000000", + "1820714376819151877129986737549/500000000000000000000000000000000" + ], + "tested": "364142875363807/100000000000000000", + "written_log_power": 2235 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "5aa882b40621bfaa88ec2ebfa2d1e92ab39c09d299b1aa9964903c9f9a2604ed", + "fresh_helpers": 18547, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1491, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110400, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22291, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1241, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10990 + } + }, + "scope": "Conditional component application to the exact 8+9 source with the selected completed BIT predecessor and inherited five assumptions. Checks every normalized endpoint, every paid/helper nested chart map up to exact signed Pauli and absolute phase, caller occurrence/phase, precision, finite scalar and route bounds, and numeric gates. Does not run a compiled Turing machine, select an upstream frontier, or claim human/formal review.", + "source_unit_ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 777508024, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222491976, + "odd_divisions": { + "ADD": 5231, + "SCALE": 69 + }, + "per_input_conversion": 2636088, + "raw_upper": 760863776, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2182, + "moves": 6272, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9870000, + "scalar_upper": 1990320 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12526124636193/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "1820714376819/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9012795090193046, + 0.9012795090193046 + ], + "derivative_upper": -382052.18301288236, + "gamma": [ + 0.9408990079307765, + 0.9408990079307765 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1820714376819/500000000000000": [ + "15530387920172131302924865457520325158625573137331891134313157970232602944509/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361377050423398923660162601269004585098655129074505263761860823558027/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "124243103361379336978624014860759540130018081627807243684021495758851622429011/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361379336978624014860759540130018081627807243684021495758851622430949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "1820714376819151877129986737549/500000000000000000000000000000000": [ + -3.553202967206826e-29, + -3.553202967206826e-29 + ], + "364142875363807/100000000000000000": [ + 9.072825445916967e-11, + 9.072825445916967e-11 + ], + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + 3.281489478113167e-30, + 3.281489478113167e-30 + ] + }, + "moment_margins": { + "1820714376819151877129986737549/500000000000000000000000000000000": [ + "-28425623737654606052519556550618656075222724541843/800000000000000000000000000000000000000000000000000000000000000000000000000000", + "-710640593441365151312988913765466401880568105796709/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "9072825445916967378422156616990812896161406848617120747863947392531329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "4536412722958483689211078308495406448080703424308560373931973715662519/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + "328148947811316720906725761275885428500713827330133/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "328148947811316720906725761275885428500713866286239/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36414287536383037542599734750979/10000000000000000000000000000000000", + "1820714376819151877129986737549/500000000000000000000000000000000" + ], + "tested": "364142875363807/100000000000000000", + "written_log_power": 2235 + }, + "crossing_probe_rejected": true, + "finite_rank9_fields": [ + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 3 + }, + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 3 + } + ], + "invoice": { + "P": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1241, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10990 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036414287536383037542599734750979084545012922329374741697526170817", + "raw_crossing": "0.0036414287536383037542599734750979084545012922329374741697526170817" + }, + "native_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 777508024, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222491976, + "odd_divisions": { + "ADD": 5231, + "SCALE": 69 + }, + "per_input_conversion": 2636088, + "raw_upper": 760863776, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2182, + "moves": 6272, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9870000, + "scalar_upper": 1990320 + }, + "scope": "Reuse exact same native word all-column adjoint; fresh exact signed caller and invoice, ordinary source-unit upper bill, inherited numerical compiler and outer inequalities, and signed rank9 child finite field routes. Fresh integrated physical native/caller and changed-word precision/occurrence application remain separate." + }, + "ODD-CALLER-EXACT-GRID.json": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "ODD-FIXED-TAPE-COUNTS.json": { + "H": 16495300000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2344, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25428282720, + "log_power": 2235, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298230, + "native_invocations": 17, + "native_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58182, + "native": 1146361 + }, + "scalar_services_upper": 42316768, + "scalar_steps_coefficient": 44372347322368, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "1820714376819/500000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "5aa882b40621bfaa88ec2ebfa2d1e92ab39c09d299b1aa9964903c9f9a2604ed", + "fresh_helpers": 18547, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1491, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110400, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22291, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1241, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10990 + } + }, + "patched_application_sha256": "733b31b1cee4567b466fdf834a34460b530f1f87ca6dca9270c0fabb2cf89849", + "scope": "Current caller port and ownership substitution, full phase-polynomial native contact identities on disjoint stage axes, whole signed idle/output geometry, and ordered paid positions. Retains the standard nested chart and local operator premises and requires separate full native replay and complete fixed-tape tariff application.", + "source_reviewer_sha256": "d98987db98553dc55bfc80e3ca47abfcd51c57af6f8cda61101391d8eae94184" + }, + "ODD-PRECISION.json": { + "caller_grid": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "context_c": 2344, + "context_height": 405, + "context_mass_bits": 1172, + "native_grid": { + "coefficient_visits": 15006143, + "dyadic_height": 24, + "mass_witness": [ + 64731, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "precision_program_sha256": "7696f2e4074ccc9c970670494595e2a973742279a6109d1e60fd551a4611d236", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "10033020304601476609715663919666656324072145168431277234087297100142687761648485307546740724052331764068690579083804079304544059342697899385400774910494034828789172977899515542215994749627033394251768067801104011319603436333916631852075622012746356191474222999764175004228327043284286141689648471958832490742499145186720532723834297084593015349370549680603788599285822519694918209408524350360047726362012449728251427652395171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "strict_power_of_two": 1139, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "258928196220440708948651438400984773603453245343006634304773987777178376040431144402661880644944142224094738679695919529463966668694199726019183288140807528369217977381022764856168287855983362761703483453455628354303799279264227137208968012311671021758642129476127903963295716374013045269306535824896336385308161073830837365239987371808141936004657056147799018738876366299348305294061670446451536342102861881683448274497798241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1144, + "witness": { + "cut": 4783, + "factor": "1", + "kind": "public-return", + "register": 37 + } + }, + "M_caller": { + "exact": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "strict_power_of_two": 897, + "witness": { + "cut": 4751, + "event": 4750, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "M_context": { + "exact": "4277645777493455922936438172914610813742442481632346068102674073399830905660460577652909551493370392409551905698739430572134554718697165540210997839078313663779775257071828550671429696954174031411777590130400035302462658501791940259390862747191213874087864020053308074770050970827900953337789717155428666185763014265286772390539756196950482094395848301285839232445994335020924516667318574229110447546834246522623040460145100441/210763184489921441888249911758028800000000000000000000000000000000000000000000000", + "strict_power_of_two": 1151, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "strict_power_of_two": 892, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Sigma_caller": { + "exact": "258928196220440708948651438400984773603453245343006634304773987777178376040431144402661880644944142224094738679695919529463966668694199726019183288140807528369217977381022764856168287855983362761703483453455628354303799279264227137208968012311671021758642129476127903963295716374013045269306535824896336385308161073830837365239987371808141936004657056147799018738876366299348305294061670446451536342102861881683448274497798241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1144, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "3448170914129073567338058808699086038350980741226885603795727224868641810179871176504180155730780330724597822155646265068875379367030083849574266244396295386210562709428636496443714452017157714530096527733153386592199915211072924647542035006145082445170213047542789603563101602189731989364885737609975312785342614216704875177482659701967757983733572782244033654282658217626348498837810875889336482621593230596499412739126868301793357298147820682208426814525723156897485037394299369557327489022346579441074192196906657238969696550292826702631361591719469141/876464560663553576891675682287697443716687967220550563971830539878400000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1398, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18547, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "10033020304601476609715663919666656324072145168431277234087297100142687761648485307546740724052331764068690579083804079304544059342697899385400774910494034828789172977899515542215994749627033394251768067801104011319603436333916631852075622012746356191474222999764175004228327043284286141689648471958832490742499145186720532723834297084593015349370549680603788599285822519694918209408524350360047726362012449728251427652395171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "258928196220440708948651438400984773603453245343006634304773987777178376040431144402661880644944142224094738679695919529463966668694199726019183288140807528369217977381022764856168287855983362761703483453455628354303799279264227137208968012311671021758642129476127903963295716374013045269306535824896336385308161073830837365239987371808141936004657056147799018738876366299348305294061670446451536342102861881683448274497798241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "258928196220440708948651438400984773603453245343006634304773987777178376040431144402661880644944142224094738679695919529463966668694199726019183288140807528369217977381022764856168287855983362761703483453455628354303799279264227137208968012311671021758642129476127903963295716374013045269306535824896336385308161073830837365239987371808141936002760187487389725761882117093526046094061670446451536342102861881683448274497798241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "10033020304601476609715663919666656324072145168431277234087297100142687761648485307546740724052331764068690579083804079304544059342697899385400774910494034828789172977899515542215994749627033394251768067801104011319603436333916631852075622012746356191474222999764175004228327043284286141689648471958832490742499145186720532723834297084593015349370549680603788599285822519694918209408524350360047726362012449728251427652395171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "258928196220440708948651438400984773603453245343006634304773987777178376040431144402661880644944142224094738679695919529463966668694199726019183288140807528369217977381022764856168287855983362761703483453455628354303799279264227137208968012311671021758642129476127903963295716374013045269306535824896336385308161073830837365239987371808141936004657056147799018738876366299348305294061670446451536342102861881683448274497798241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "119338074512425977664448316637389761955381523583697514628197169988737317134542336111524490335953263912690878429113447455706514655445817781/54147497318342533224087693557760000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "181321319308778515030581371424850432215716537975678923207124969721659286589194156066750230140267701482343875920901770828743894939635115515044949031221/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "168883501253553195678407371389475493501156904985021356873999703869875325236818252875950257956259861861440756000098147715210971174074773057849741985114429832053/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "34499085382417220472872532967963476859697050581640199961256643154244346704492132588312684417747163870709353897016203493589920168588274814087005020785935534395668658944563/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "3303286892297716230205455904258114350867279730766194114160890645103772281369447140428408229807025469682600765174525824701006965662667139647834210664491457354249855497478144726785367/77972396138413247842686278723174400000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "352312410258656384632108170763508791181507050357616336676441171572327461437570712072084308953426375248077727251924806900451518736181262279980039020812777852498850010453760444923300842928115417/8663599570934805315854030969241600000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "102579066128489206475148862685735040715611677699187703024675425362071146927344344074298211564274636494352390778818108819953955025100197397298897027192600206115502557901968289840652186863843458445032145960437343/9746549517301655980335784840396800000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "36582029456407652317823728451738126540405780987952247144013828104328100561615800949528742287165657192738705596193824815200305152154449152748075300946458327550097368635887558778987507312759476392832344086574542261992964136717818320356814507780942932993713887625979143324602649508636031905191658130111994070463615905429856933328663112922214295003/11240703172795810234039995293761536000000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "13910367514578829480984044194329782695210507224999185567362799701301498023652738584771395717821964555115574866437464205516700701888790859762162193511263329553702328911260814343523354916361158783322383143600962467910642423077792412308487127272758933758565932889837594035619596058369677915418504659393991032265955205111501702628298455878510076525446067399725337/281017579319895255850999882344038400000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "6636438878519441123700773980365568561785622325275380099499004083206575472100471206116921519956148253064815631926736590605889894977319200599076460418347927322899369646009887586794505532883986188655542834978966234325413612544526139764538591441088885118849284761017516121659983270361976845688912770411489275702493967301580827191219393997892933267229488764234654199047904803/9367252643996508528366662744801280000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "83396232099356832308697807373544375235811555413662939905473912833423497668884712888607125935523262236446897942608240639922366587312445535591428908206280390968725550053757951108193117230419077773676147340269028810614183256986453780984324308460539548247399864614302272727751420932287472214575862479332442515709212276571828310430108326892345317719636741467532042094784375302694706899331/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "5493256743615819131266510353485943425519141717102615046501095536015231706431834042923423251591590819235282454249198580178257133138498132367158777184614792461175259531031274033401674541671462618929122976320379175326305647529798248259346045397538820814846164665882047161661182162631022820580308381970748747434411873446299460358680364482090936957964649065135350993680270376524010506821553414339/316144776734882162832374867637043200000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "220617834136950314724077402639719386685004613590221503074077608995661366229634537330020326873360259386908019736060506161656411992910534100061915793759155652746927382184020498082034453998031074914208835200480959865510698812678273543990058114055277212548414758388594550359626974593077876940377291631051846575149999312504782826769819083581855623856588961100460858698725933285398447788251188760790947983291/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "4216484129159932062322532494750885213771638486972592128995540660916674195728498163463745467252407727199346607092758069472215173442235028956202740773589445181890844426615010349952656632229927993202236864354265592524599594218740790174584456753962181383885087068457130047073639386914560926216262516560384558513739403383882298996450651370911865015123783573880491883654308169634200947191987101601710428047475150761/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "4667607605480028129344622554857881558185069978645318883906435696649101668457334997597335856660545797642670031200517756791184564370466794140382772082533438626922434313512760852471653577865873195863173361988586996775963142241652755770173179286204632962263879726521768742320703848421404807988767928388993390809412273970682958295519594976236026114458634233277354713984642151260403444064336478684602994898948480242816062163/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "10033020304601476609715663919666656324072145168431277234087297100142687761648485307546740724052331764068690579083804079304544059342697899385400774910494034828789172977899515542215994749627033394251768067801104011319603436333916631852075622012746356191474222999764175004228327043284286141689648471958832490742499145186720532723834297084593015349370549680603788599285822519694918209408524350360047726362012449728251427652395171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "event": 4691, + "stage": 17 + } + ], + "physical_main_inputs": 3744, + "sites": { + "ADD": 4126, + "IDLE_ODD": 4, + "IDLE_ONE": 90, + "J": 17, + "LAMBDA": 178, + "QUERY": 4, + "SCALE": 312, + "SWAP": 52, + "noninteger_scalar": 1752 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 73705, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "strict_power_of_two": 260, + "witness": { + "cut": 72955, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72955, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73705, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63624, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6272, + "SCALE": 3700 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1491, + "scalars": { + "dyadic": 62025, + "integer": 39299, + "noninteger": 28026, + "odd": 5300 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26064, + "entrance_mass": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26064, + "entrance_mass": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26064, + "entrance_mass": "343682242180615120331145367931209730590196726666925870609225437552229252474463121253894411655859031242717191366590407398910330172071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69568373285422047166910428042668452417054100620842467489171473585415774293989600330105652036197804965182423925249044370057085377083/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Fixed integer Laurent grid with charged odd caller scale, and pinned attributed forward/adjoint all-fibre defect engine applied to the emitted 17-stage caller. Each LAMBDA, QUERY and signed/unsigned idle is one unitary with one child defect. The caller allocation assumes independent stage helpers. Full physical application remains separate." + }, + "ODD-TYPE-AB-REPLAY.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "paid": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "36414287536383037542599734750979/10000000000000000000000000000000000", + "1820714376819151877129986737549/500000000000000000000000000000000" + ], + "replay": { + "bad_outputs": [], + "caller_denominator_height_bound": 578, + "caller_mass_bound": "854474036861847560509026474008040300059938928517783661039773198072080884690114508581583887358835968277340425788985297793555303569703690223623950838857161290503004459697662544865276977234864184443860251086668962688762176068520364648820282528496698239206689277049335412289161443623602012468587331439851515703/168151253906250000000000000000000", + "caller_mass_ceiling_bits": 910, + "max_terms": 3752 + }, + "scope": "Exact emitted signed Laurent caller endpoint and recomputed native/caller paid and target profiles. Physical address bindings, independent branch-source composition, ordinary units, precision and outer gates are still required.", + "shape": [ + 8, + 9 + ], + "source_word_sha256": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "target": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1241, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10990 + } + } + }, + "claim": "1820714376819/500000000000000", + "price": { + "after": { + "P": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1241, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10990 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036414287536383037542599734750979084545012922329374741697526170817", + "raw_crossing": "0.0036414287536383037542599734750979084545012922329374741697526170817" + }, + "before": { + "P": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10684 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036412396501840733630500148990894368374654550363108833992795044821", + "raw_crossing": "0.0036412396501840733630500148990894368374654550363108833992795044821" + }, + "gate": { + "BIT_margin": "12526124636193/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "1820714376819/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9012795090193046, + 0.9012795090193046 + ], + "derivative_upper": -382052.18301288236, + "gamma": [ + 0.9408990079307765, + 0.9408990079307765 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1820714376819/500000000000000": [ + "15530387920172131302924865457520325158625573137331891134313157970232602944509/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361377050423398923660162601269004585098655129074505263761860823558027/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "124243103361379336978624014860759540130018081627807243684021495758851622429011/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124243103361379336978624014860759540130018081627807243684021495758851622430949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "1820714376819151877129986737549/500000000000000000000000000000000": [ + -3.553202967206826e-29, + -3.553202967206826e-29 + ], + "364142875363807/100000000000000000": [ + 9.072825445916967e-11, + 9.072825445916967e-11 + ], + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + 3.281489478113167e-30, + 3.281489478113167e-30 + ] + }, + "moment_margins": { + "1820714376819151877129986737549/500000000000000000000000000000000": [ + "-28425623737654606052519556550618656075222724541843/800000000000000000000000000000000000000000000000000000000000000000000000000000", + "-710640593441365151312988913765466401880568105796709/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364142875363807/100000000000000000": [ + "9072825445916967378422156616990812896161406848617120747863947392531329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "4536412722958483689211078308495406448080703424308560373931973715662519/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36414287536383037542599734750979/10000000000000000000000000000000000": [ + "328148947811316720906725761275885428500713827330133/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "328148947811316720906725761275885428500713866286239/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36414287536383037542599734750979/10000000000000000000000000000000000", + "1820714376819151877129986737549/500000000000000000000000000000000" + ], + "tested": "364142875363807/100000000000000000", + "written_log_power": 2235 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "95c4cc4afa5ddfdc699ce6741ebacf5a9d454b46404fce0197a8a28c46943686", + "old_native": "34cc0c51ca9eaaf2bf3789b8ea2c92f0837b4be9f0fedb22a6150169038e8c38", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "7339773395397761336857130155950379577194273434810044954256376447255710148616389/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "7167747456443126305524541167920292555853782651181684525640992624273154475419/97656250000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003641428753638", + "gain": "1.89103454E-7", + "gain_exact": "94551727/500000000000000", + "independent_raw_bracket": [ + "0.0036414287536383037542599734750979", + "0.00364142875363830375425997347509791" + ], + "previous_claim": "455154956273/125000000000000", + "raw_bracket": [ + "0.0036414287536383037542599734750979", + "0.003641428753638303754259973475098" + ] + } + }, + "status": "PASS_P104_GLOBAL_OUTPUT_RECHART" +} diff --git a/research/p104-global-output-rechart/SOURCES.json b/research/p104-global-output-rechart/SOURCES.json new file mode 100644 index 0000000000..5359c07027 --- /dev/null +++ b/research/p104-global-output-rechart/SOURCES.json @@ -0,0 +1,36 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + }, + { + "path": "research/fresh-helper-boundary/discover-cut.cpp", + "usage": "provenance", + "git_blob": "5caa077ea070e3a5f27328dd55d02ac846024871", + "sha256": "ad6b8e91ea641ebd177c483c51d301921022fdb5f79e5dd03e8bd4d62b8d2356" + }, + { + "path": "research/fresh-helper-boundary/README.md", + "usage": "provenance", + "git_blob": "cbcfab9ccd9cc266f6353da4e820ad00b5f311ca", + "sha256": "5b29c0902638f8ae4e78c07fb5d7958c64e0d3ec6651260fc8db05b940bb4185" + } + ] +} \ No newline at end of file diff --git a/research/p104-global-output-rechart/TASK.json b/research/p104-global-output-rechart/TASK.json new file mode 100644 index 0000000000..5f1efbb5de --- /dev/null +++ b/research/p104-global-output-rechart/TASK.json @@ -0,0 +1,132 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "priority_revision": 8, + "original_card": { + "id": "p104-side-correction", + "question": "Can joint helper bases and a legal causal split improve the complete P104 productive/paid invoice?", + "starting_points": [ + "docs/research/current-priorities.md", + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "research/p104-helper-subspace-splits/README.md", + "research/dyadic-helper-channel-capacity/README.md" + ], + "methods": [ + "Construct and independently check one source-bound instance of the stated first experiment.", + "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change." + ], + "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_selected_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.", + "scope": "Source-bound orientation only, not a supplier replay or theorem proof." + }, + "first_experiment": "Start with the selected #5599 emitted word and review pending #5718 distinct input/output bases plus #5717/#5719 coverage before claiming work. Pick one uncovered source word, helper group and cut region. Prove the arbitrary-input relation and legal entry/exit corrections, then compare full target and paid profiles. Reject if completion, owned lifetimes or consumer costs repay the gain. A static pairing rank alone is not a physical split.", + "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.", + "allowed_variations": [ + "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes." + ], + "scope_change_triggers": [ + "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.", + "Treating an archived proposal or local numerical pass as complete supplier admission." + ], + "overlap_terms": [ + "P104", + "helper basis", + "helper split", + "5718", + "dyadic capacity" + ], + "existing_checks": [ + { + "scope": "PR #4133: literal-slot defect", + "evidence": "research/p104-literal-slot-defect/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4136: uniform commutation gap", + "evidence": "research/p104-uniform-commutation-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4140: uniform encoding gap", + "evidence": "research/p104-uniform-encoding-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance", + "evidence": "research/p104-source-chart-shortcut/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4154: fiber-tag seam mismatch", + "evidence": "research/p104-fiber-tag-seam/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.", + "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.", + "status": "reviewed", + "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137", + "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5" + } + ] + }, + "author": "Rohan Arun", + "ai_assistance": "Substantial OpenAI Codex assistance; no subagents.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/pull/7124", + "scope_status": "changed", + "scope_change_reason": "Global scalar-chart and helper-output alpha expansion on exact PR7123, after its new split improved PR7122.", + "concrete_question": "Can global public scalar and helper output recharting improve the complete PR7123 invoice with every native/application cost charged?", + "actual_scope": "Rechart 21 helper output fields and 129 scalar contacts; reconstruct every public transport and the unchanged signed 17-stage application.", + "domain": "Exact PR7123; 70462 graph nodes, 132542 edges, 68123 mutable nodes and 1095 candidate frames. Main boundaries and owned contacts fixed.", + "success": "A fully checked conditional kappa > 0.003641239650184.", + "bottleneck_link": "Helper output chart changes must be credited and charged jointly with scalar contacts and all causal transports.", + "predecessor_head": "020d581d9856b6db83e448c3f20418bc63b72c34", + "predecessors": [ + "dillona/OpenAI Codex PR7123 helper split, full source closure and verification, immediate source at 020d581d9856b6db83e448c3f20418bc63b72c34.", + "Rohan Arun/OpenAI Codex PR7122 global input rechart, retained through PR7123.", + "1337isnot1337/OpenAI Codex fresh-helper-boundary alpha-expansion min-cut method.", + "Rohan Arun/OpenAI Codex PR7113 exact signed 17-stage caller and source-specific application.", + "ToikY signed sources, price engines, splits and chart-120 proposal retained through PR7120.", + "Ali Romman helper bases and independent split identities; Jerry Chen/CubeJerry causal retiming and native/invoice/compiler engines; Matarener complete kernels and pairing decisions.", + "DreamingOfClouds, Douglas Colkitt and #7000 reviewers, and all retained nested-source authors and notices." + ], + "outcome": "completed", + "evidence_status": "Direct early, full native and complete application verification plus registered isolated CPython 3.12.14 replay passed locally; every frozen receipt field matched.", + "evidence": "EARLY-RESULT.json; NATIVE-RESULT.json; RESULT.json; REPLAY.txt", + "overlap": "Canonical main e54523517d0f03e58352e647c403a5af3e525a57 was refreshed. PR7123 at 020d581d9856b6db83e448c3f20418bc63b72c34 was the strongest public comparable claim at submission. No claim of exhaustive novelty.", + "open_questions": [ + { + "question": "Can an independent reviewer validate this output rechart and the full application?", + "why_it_matters": "Source-aware author replay is not independent admission.", + "first_step": "Run the package replay and inspect PROOF.md and APPLICATION.md.", + "blocked_by": "No independent reviewer receipt yet." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-global-output-rechart/VALIDATION.md b/research/p104-global-output-rechart/VALIDATION.md new file mode 100644 index 0000000000..4383280337 --- /dev/null +++ b/research/p104-global-output-rechart/VALIDATION.md @@ -0,0 +1,25 @@ +# Validation record + +Local environment: macOS arm64, CPython 3.12.14. Source-specific retained +engines and receipts are distinct from independent human/formal acceptance. + +- `python3.12 -B -u research/p104-global-output-rechart/verify_early.py`: passed; every frozen early receipt field matched. +- `python3.12 -B -u research/p104-global-output-rechart/verify_native.py --out research/p104-global-output-rechart/NATIVE-RESULT.json`: passed. Exact forward/adjoint, eleven 512-column chart checks (eight new chart pairs), phase controls, integer grid, ingredient caller/price/ordinary/precision, eight corruption controls, native finite physical replay and signed routes all passed. +- `python3.12 -B -u research/p104-global-output-rechart/verify.py --out research/p104-global-output-rechart/RESULT.json`: passed the complete application, including all 3,038 catalogue checks and 104 main boundaries. +- `python3.12 -B scripts/research_package.py --package research/p104-global-output-rechart`: exit code 0, `PASS_REGISTERED_RESEARCH_PACKAGE research/p104-global-output-rechart outcome=completed`. All three stages reran under isolated Python; every frozen early/native/application field matched. Full stdout is REPLAY.txt. + +The initial draft was deliberately submitted after exact κ verification and +before full application verification. EARLY-RESULT.json retains that historical +scope. NATIVE-RESULT.json and RESULT.json retain the subsequent complete receipts. + +The canonical documentation says #6030 while the selected result is #7000. +This submission carries the existing #7113/#7122 correction to +`docs/ci-verification.md`; the targeted current-CI-navigation test passes. +On #7122 this correction enabled the scientific package's hosted replay to pass, +while an unrelated historical package failed. No hosted result for this new +package or independent scientific admission is inferred from that prior run. + +The initial exact-head hosted run 42905094314 failed only the current-CI-navigation +test (760 tests, one failure, 24 skips); scientific replay was skipped. The +documentation correction described above fixes that targeted test. Hosted +status after the final push is separate from this local registered receipt. diff --git a/research/p104-global-output-rechart/VERIFY.json b/research/p104-global-output-rechart/VERIFY.json new file mode 100644 index 0000000000..c67a7dfb66 --- /dev/null +++ b/research/p104-global-output-rechart/VERIFY.json @@ -0,0 +1,39 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_early.py" + ], + "timeout_seconds": 120, + "checks": "Entire source reconstruction, exact native adjoint and complete signed price with both directed engines; all frozen early fields." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 480, + "checks": "Complete forward/adjoint, changed chart columns and phase, native common grid, ordinary/precision/physical bounds and corruption controls; all native receipt fields." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Complete literal signed 17-stage caller, all paid/helper maps and main boundaries, independent integer grid, physical ownership, ordinary, precision, fixed-tape and compiler/outer gates; all application receipt fields." + } + ] +} \ No newline at end of file diff --git a/research/p104-global-output-rechart/WORD.json.gz b/research/p104-global-output-rechart/WORD.json.gz new file mode 100644 index 0000000000..beb9a56b48 Binary files /dev/null and b/research/p104-global-output-rechart/WORD.json.gz differ diff --git a/research/p104-global-output-rechart/adapt.py b/research/p104-global-output-rechart/adapt.py new file mode 100644 index 0000000000..2eb9903ee7 --- /dev/null +++ b/research/p104-global-output-rechart/adapt.py @@ -0,0 +1,39 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Prepared for dillona with substantial OpenAI Codex assistance. +""" +from hashlib import sha256 + +def adapt(folder,claim): + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")','claim=Q('+repr(claim)+')') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r["gate"]["BIT_pin"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError("Probe at lower crossing unexpectedly accepted")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"crossing_probe_rejected":crossing_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + 'wg=grid.word_run(w)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r["precision"]["word"] and wr==r["precision"]["rounded_native"], "Fresh changed-native grid and envelope"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-global-output-rechart/construct.py b/research/p104-global-output-rechart/construct.py new file mode 100644 index 0000000000..70b5463532 --- /dev/null +++ b/research/p104-global-output-rechart/construct.py @@ -0,0 +1,42 @@ +"""Rechart public scalar contacts and reconstruct every causal transport. + +Fresh-helper-boundary alpha-expansion supplied the nomination. This generator +does not trust its floating score. Rohan Arun/OpenAI Codex, Apache-2.0. +""" +from copy import deepcopy +def span(basis): + out={0} + for x in basis: + assert x not in out;out|={x^v for v in tuple(out)} + return frozenset(out) +def construct(source,changes): + w=deepcopy(source);n=w['public'];spaces=list(map(span,w['frames'])) + main=set(w['live'])|{r+112 for r in w['live']}|set(w['hosted']['X2'])|set(w['hosted']['Y2']) + for r,old,new in changes['initial']: + assert r=n and spaces[to]=n]);cur[r]=to + for i,e in enumerate(source['program']): + op,r=e[:2] + if op=='MOVE': + if r>=n:assert cur[r]==e[2];move(r,e[3]) + elif op=='INIT':assert r>=n and cur[r] is None;program.append(e.copy());cur[r]=e[2] + elif op=='CLEAR':assert r>=n and cur[r]==e[2];program.append(e.copy());cur[r]=None + else: + assert op in ('ADD','COPY','SCALE');roles=e[1:3] if op in ('ADD','COPY') else e[1:2];frame=e[-1] + if i in edits: + old,frame=edits[i];assert old==e[-1] and all(rpeak:peak=mass;witness=[i,kind] + for i,e in enumerate(word['program']): + op,r=e[:2] + if op in('INIT','CLEAR'):rows[r]={} + elif op=='SCALE': + rows[r]={k:Q(e[2])*v for k,v in rows[r].items()};observe(rows[r],i,'scale') + elif op in('ADD','COPY'): + if op=='COPY':assert not rows[r] + product={k:Q(e[3])*v for k,v in rows[e[2]].items()};observe(product,i,'product') + row=rows[r].copy() + for k,v in product.items(): + value=row.get(k,Q(0))+v + if value:row[k]=value + else:row.pop(k,None) + rows[r]=row;observe(row,i,'stored') + odd=denom;frac=0 + while odd%2==0:odd//=2;frac+=1 + return dict(odd_scale=odd,fractional_bits=frac,unscaled_maximum_mass=str(peak),scaled_maximum_mass=str(peak*odd),mass_witness=witness,coefficient_visits=visits),rows +if __name__=='__main__': + w=json.load(gzip.open(sys.argv[1],'rt'));result,rows=derive(w) + Path(sys.argv[2]).write_text(json.dumps(result,indent=2)+'\n');print(result) diff --git a/research/p104-global-output-rechart/inputs/pr7123.tar b/research/p104-global-output-rechart/inputs/pr7123.tar new file mode 100644 index 0000000000..567021ee83 Binary files /dev/null and b/research/p104-global-output-rechart/inputs/pr7123.tar differ diff --git a/research/p104-global-output-rechart/price.py b/research/p104-global-output-rechart/price.py new file mode 100644 index 0000000000..802590f613 --- /dev/null +++ b/research/p104-global-output-rechart/price.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Recompute both source invoices and two exact crossing engines. +Retains Rohan Arun's caller adapters and ToikY's attributed price engines. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +from fractions import Fraction as Q +import gzip,importlib.util,json,sys + +def load(name,path): + spec=importlib.util.spec_from_file_location(name,path);obj=importlib.util.module_from_spec(spec);sys.modules[name]=obj;spec.loader.exec_module(obj);return obj + +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) + +def normalized(value):return json.loads(json.dumps(value,default=str)) + +def main(native,caller,previous_composition,folder): + source=load('composition_native_source',native/'source.py') + with source.sources() as (vendor,archive,rank9,bundle,parent,word): + sys.path.insert(0,str(folder)) + model=load('composition_signed_model',folder/'signed_model.py');ind=model.signed_model() + code=(folder/'independent.py').read_text();part=code[code.index('def invoices('):code.index('def ordinary(')] + assert part.count('assert calls==18')==1 + part=part.replace('assert calls==18',"assert calls==C['stages']") + old="elif e[1]=='IDLE_ONE':P[8*len(e[3])]+=ports";assert part.count(old)==1 + part=part.replace(old,"elif e[1] in ('IDLE_ONE','IDLE_ODD'):P[8*len(e[3])+(e[1]=='IDLE_ODD')]+=ports") + exec(compile(part,str(folder/'independent.py'),'exec'),ind.__dict__) + C=read(caller/'expected/ODD-TYPE-AB-CALLER.json') + old_word=word;new_word=read(native/'WORD.json.gz') + old_result=read(parent/'NATIVE-RESULT.json');new_result=read(native/'NATIVE-RESULT.json') + inventories=[ind.native(w) for w in (old_word,new_word)] + for n,r,w in zip(inventories,(old_result,new_result),(old_word,new_word)): + assert normalized(n)==r['native'] and not n['bad_inputs'] + assert sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest()==r['word_canonical_sha256'] + before,after=[ind.invoices(w,C,n) for w,n in zip((old_word,new_word),inventories)] + previous=read(previous_composition/'RESULT.json')['price'] + assert normalized(before)==previous['after'],'Entire reconstructed current #7123 invoice' + G=load('composition_price_engine',bundle/'gate.py') + gate,price=G.exact_price(vendor,archive,before,after,{'gate':previous['gate']}) + assert Q(gate['claim'])>Q(new_result['gate']['claim']) + native_invoice={k:({int(r):v for r,v in value.items()} if k in ('T','P') else value) for k,value in new_result['invoice'].items()} + directed=G.module('composition_native_comparator',vendor/'interval_gate.py') + assert directed.moment(G.signed(native_invoice),Q(gate['claim']))[1]<0,'The separately checked18-stage ingredient invoice rejects the17-stage claim' + record=normalized(dict(before=before,after=after,gate=gate,price=price,native_baseline_rejects_new_claim=True, + old_native=old_result['word_canonical_sha256'],new_native=new_result['word_canonical_sha256'])) + with (folder/'CURRENT-PRICE.json').open('x') as f:json.dump(record,f,indent=2) + with (folder/'COHORT-PRICE.json').open('x') as f:json.dump(dict(target=after['T'],paid=after['P'],bracket=gate['raw_bracket']),f,indent=2) + print('PASS two reconstructed invoices and both exact price engines',price['claim_decimal'],flush=True) + +if __name__=='__main__': + assert __debug__ + main(*map(Path,sys.argv[1:])) diff --git a/research/p104-global-output-rechart/source.py b/research/p104-global-output-rechart/source.py new file mode 100644 index 0000000000..be08f7dc15 --- /dev/null +++ b/research/p104-global-output-rechart/source.py @@ -0,0 +1,49 @@ +"""Authenticate the complete #7123 closure. Apache-2.0; retained author notices apply.""" +from pathlib import Path +from contextlib import contextmanager +from hashlib import sha256 +import json,gzip,tarfile,tempfile,importlib.util,sys +HERE=Path(__file__).resolve().parent +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) +def canonical(obj):return json.dumps(obj,sort_keys=True,separators=(',',':')).encode() +def need(ok,why): + if not ok:raise ValueError(why) +def load(name,path): + s=importlib.util.spec_from_file_location(name,path);m=importlib.util.module_from_spec(s);sys.modules[name]=m;s.loader.exec_module(m);return m +@contextmanager +def parent_bundle(): + pin=read(HERE/'INPUTS.json');archive=HERE/pin['archive'];need(sha256(archive.read_bytes()).hexdigest()==pin['archive_sha256'],'Source archive') + with tempfile.TemporaryDirectory(prefix='rechart-source-') as tmp: + root=Path(tmp);pins={r['path']:r for r in pin['files']};seen=set() + with tarfile.open(archive) as tar: + for m in tar: + if m.isdir():continue + path=root/m.name;need(m.isfile() and m.name in pins and m.name not in seen and path.resolve().is_relative_to(root.resolve()),'Safe source member') + raw=tar.extractfile(m).read();p=pins[m.name];need(len(raw)==p['size'] and sha256(raw).hexdigest()==p['sha256'],'Source member hash') + path.parent.mkdir(parents=True,exist_ok=True);path.write_bytes(raw);seen.add(m.name) + need(seen==set(pins),'Complete source inventory');yield root/pin['prefix'] +@contextmanager +def sources(): + with parent_bundle() as parent: + s=load('rechart_parent_source',parent/'source.py') + with s.sources() as (vendor,archive,rank9,bundle,oldparent,oldword): + names=('source','construct','support','split','rechart','retime') + saved={k:sys.modules.get(k) for k in names};saved_path=list(sys.path) + try: + for k in names:sys.modules.pop(k,None) + sys.path.insert(0,str(parent)) + c=load('rechart_parent_construct',parent/'construct.py') + word=c.construct(oldword,read(parent/'WITNESS.json')) + finally: + sys.path[:]=saved_path + for k,v in saved.items(): + if v is None:sys.modules.pop(k,None) + else:sys.modules[k]=v + need(canonical(word)==gzip.decompress((parent/'WORD.json.gz').read_bytes()),'Every reconstructed #7123 word byte') + yield vendor,archive,rank9,bundle,parent,word +@contextmanager +def bundles(): + with parent_bundle() as parent: + s=load('rechart_composition_source',parent/'source.py') + with s.bundles() as (parts,previous,root):yield parts,parent,root diff --git a/research/p104-global-output-rechart/verify.py b/research/p104-global-output-rechart/verify.py new file mode 100644 index 0000000000..c910b55bf0 --- /dev/null +++ b/research/p104-global-output-rechart/verify.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Fresh source-bound native/caller composition and complete chart catalogue. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +import argparse,json,shutil,subprocess,sys +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,bundles,read,need +from adapt import adapt +need(__debug__,'Run without optimized Python') +COMMANDS=('emit_odd_type_b.py','emit_odd_type_ab.py','check_odd_caller_exact_grid.py', + 'check_odd_physical_binding.py','check_odd_precision.py','check_odd_partial_admission.py', + 'check_odd_fixed_tape_counts.py') + +def run(): + with bundles() as (source,previous_composition,root): + working=root/'working';shutil.copytree(source[7113]/'replay',working) + folder=working/'supplier7112/short-caller' + (folder.parent/'WORD.json.gz').write_bytes((HERE/'WORD.json.gz').read_bytes()) + (folder.parent/'RESULT.json').write_bytes((HERE/'NATIVE-RESULT.json').read_bytes()) + for path in folder.glob('SHORT-CATALOGUE-*-*.log'):path.unlink() + adapter=adapt(folder,read(HERE/'EARLY-RESULT.json')['price']['claim_decimal']) + subprocess.run([sys.executable,'-I','-B',str(HERE/'price.py'),str(HERE),str(source[7113]),str(previous_composition),str(folder)],check=True) + for name in COMMANDS: + print('RUN',name,flush=True) + subprocess.run([sys.executable,'-B',str(folder/name)],cwd=folder,check=True) + need((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()==(source[7113]/'expected/ODD-TYPE-AB-CALLER.json').read_bytes(),'Whole reconstructed literal caller unchanged') + price=read(folder/'CURRENT-PRICE.json');partial=read(folder/'ODD-ADMISSION-PARTIAL.json') + need(price['after']==partial['invoice'],'Complete invoice from two adapters') + need(price['gate']==partial['compiler_outer'],'Both complete directed compiler gates') + catalogue=[] + size=int(subprocess.check_output([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--size'],cwd=folder,text=True)) + for start in range(0,size,1000): + stop=min(start+1000,size) + print('RUN complete catalogue',start,stop,flush=True) + path=folder/f'SHORT-CATALOGUE-{start}-{stop}.log' + with path.open('x') as out:subprocess.run([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--start',str(start),'--stop',str(stop)],cwd=folder,stdout=out,check=True) + text=path.read_text();catalogue.append(json.loads(text[text.index('\n{'):])) + subprocess.run([sys.executable,'-B',str(folder/'assemble_odd_application.py')],cwd=folder,check=True) + files=('ODD-TYPE-AB-REPLAY.json','ODD-CALLER-EXACT-GRID.json','ODD-PHYSICAL-BINDING.json', + 'ODD-PRECISION.json','ODD-ADMISSION-PARTIAL.json','ODD-FIXED-TAPE-COUNTS.json','ODD-8X9-APPLICATION-CHECKS.json') + result=dict(status='PASS_P104_GLOBAL_OUTPUT_RECHART',claim=price['gate']['claim'],price=price, + caller_sha256=sha256((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()).hexdigest(), + adapter=adapter,catalogue=catalogue,checks={name:read(folder/name) for name in files}) + return result + +def main(): + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();result=run() + if a.out: + with a.out.open('x') as f:json.dump(result,f,sort_keys=True,indent=2);f.write('\n') + else:need(result==read(HERE/'RESULT.json'),'Every frozen composition receipt field') + print(result['status'],result['claim'],flush=True) +if __name__=='__main__':main() diff --git a/research/p104-global-output-rechart/verify_early.py b/research/p104-global-output-rechart/verify_early.py new file mode 100644 index 0000000000..b7bd7ad3e3 --- /dev/null +++ b/research/p104-global-output-rechart/verify_early.py @@ -0,0 +1,32 @@ +"""Exact source, native operator, complete invoice and two price engines. + +This gate alone does not certify the full physical/precision application. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from collections import Counter +from hashlib import sha256 +import sys,json,gzip,copy,argparse +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,read,sources,canonical,need,load +from construct import construct +def normalized(x):return json.loads(json.dumps(x,default=str)) +def run(): + need(__debug__,'Do not disable proof assertions') + with sources() as (vendor,archive,rank9,bundle,parent,old): + new=construct(old,read(HERE/'CHANGES.json'));need(canonical(new)==gzip.decompress((HERE/'WORD.json.gz').read_bytes()),'Entire regenerated word') + I=load('rechart_early_independent',vendor/'independent.py');before,after=map(I.native,(old,new)) + need(not before['bad_inputs'] and not after['bad_inputs'],'Exact arbitrary-input adjoint') + need(normalized(before)==read(parent/'NATIVE-RESULT.json')['native'],'Entire source inventory') + need(all(before[k]==after[k] for k in ('lifetimes','owned_peak','rises')),'Owned inventory unchanged') + base=read(parent/'RESULT.json')['price'];old_invoice={k:({int(r):v for r,v in x.items()} if k in ('T','P') else x) for k,x in base['after'].items()} + invoice=copy.deepcopy(old_invoice);deltas={} + for ik,nk in (('T','helpers'),('P','paid')): + d=Counter(after[nk]);d.subtract(before[nk]);d={r:v for r,v in d.items() if v};deltas[ik]=d + for r,v in d.items():invoice[ik][r]=invoice[ik].get(r,0)+17*v + invoice['S']=sum(r*(invoice['T'].get(r,0)-invoice['P'].get(r,0)) for r in invoice['T'].keys()|invoice['P'].keys()) + for k in ('raw_crossing','no_E_credit_crossing'):invoice.pop(k,None) + G=load('rechart_early_price',bundle/'gate.py');gate,price=G.exact_price(vendor,archive,old_invoice,invoice,{'gate':base['gate']}) + return normalized(dict(status='PASS_EXACT_NATIVE_AND_PRICE_ONLY',word_sha256=sha256(canonical(new)).hexdigest(),native=after,native_delta=deltas,invoice=invoice,gate=gate,price=price,pending=['fresh integer grid','all affected physical chart maps','complete caller replay','ordinary and precision bounds','full source application'])) +if __name__=='__main__': + r=run();need(r==read(HERE/'EARLY-RESULT.json'),'Every frozen early receipt field');print(r['status'],r['price']['claim_decimal'],flush=True) diff --git a/research/p104-global-output-rechart/verify_native.py b/research/p104-global-output-rechart/verify_native.py new file mode 100644 index 0000000000..983cbd029d --- /dev/null +++ b/research/p104-global-output-rechart/verify_native.py @@ -0,0 +1,118 @@ +"""Full changed-native operator, grid, price, envelope and physical checks. + +Retains authenticated predecessor engines and all source notices. Source-aware +verification is distinct from independent human/formal acceptance. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from collections import Counter +from copy import deepcopy +from fractions import Fraction as Q +from hashlib import sha256 +import sys,json,gzip,argparse,subprocess,tempfile,io,contextlib +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,read,load,sources,canonical,need +from construct import construct +from derive_grid import derive +def normalized(x):return json.loads(json.dumps(x,default=str)) +def delta(a,b): + d=Counter(a);d.subtract(b);return {r:v for r,v in d.items() if v} +def rejects(fn): + try:fn() + except (AssertionError,ValueError):return True + raise ValueError('Corruption control accepted') +def run(): + need(__debug__,'Assertions are proof obligations') + with sources() as (vendor,archive,rank9,bundle,parent,old): + changes=read(HERE/'CHANGES.json');new=construct(old,changes) + need(canonical(new)==gzip.decompress((HERE/'WORD.json.gz').read_bytes()),'Whole emitted word') + G=load('rechart_price_engine',bundle/'gate.py');sys.path.insert(0,str(rank9)) + helper_count=sum(read(parent/'NATIVE-RESULT.json')['native']['helpers'].values()) + base=G.module('rechart_rank9',rank9/'candidate_gate.py',( + ('== 1080','== '+str(helper_count)), + ('fresh_arbitrary_helpers=18 * 1080','fresh_arbitrary_helpers=18 * '+str(helper_count)))) + I=base.independent(vendor);oldN,N=map(I.native,(old,new));previous=read(parent/'NATIVE-RESULT.json') + need(normalized(oldN)==previous['native'] and not N['bad_inputs'],'Source inventory and entire changed adjoint') + need(all(N[k]==oldN[k] for k in ('lifetimes','owned_peak','rises')),'Owned inventory unchanged') + early=read(HERE/'EARLY-RESULT.json') + need(normalized(dict(T=delta(N['helpers'],oldN['helpers']),P=delta(N['paid'],oldN['paid'])))==early['native_delta'],'Exact target and paid deltas') + # Recharting changes no scalar operation or normalized chronological map. + strip=lambda w:[[e[0],*e[1:-1]] for e in w['program'] if e[0] in ('ADD','COPY','SCALE')] + need(strip(old)==strip(new),'Every scalar coefficient, operand and chronological order unchanged') + derived,_=derive(new);need(derived['odd_scale']==1125 and derived['fractional_bits']==24,'Fresh minimal common grid') + audit=load('rechart_forward',archive/'audit_native.py');forward,grid=audit.replay(new,list(enumerate(new['program'])),set()) + saved_modules={k:sys.modules.get(k) for k in ('source','construct','support','split','rechart','retime')};saved_path=list(sys.path) + try: + for k in saved_modules:sys.modules.pop(k,None) + sys.path.insert(0,str(parent)) + parent_checks=load('rechart_parent_checks',parent/'verify_native.py') + finally: + sys.path[:]=saved_path + for k,v in saved_modules.items(): + if v is None:sys.modules.pop(k,None) + else:sys.modules[k]=v + forward_receipt=parent_checks.forward_endpoint(new,forward[0]) + need(grid['odd_grid_lcm']==1125 and grid['owned_rise_mass']==56,'Fresh native grid and owned ascent') + print('PASS whole source/operator, forward/adjoint, causal charts and fresh native grid',flush=True) + caller_path=rank9/'dyadic/CALLER.json';C=read(caller_path) + need(sha256(caller_path.read_bytes()).hexdigest()==G.CALLER,'Exact 18-stage ingredient caller') + symbolic=I.caller(C);need(not symbolic['bad_outputs'] and normalized(symbolic)==previous['caller'],'Full ingredient caller') + before=I.invoices(old,C,oldN);invoice=I.invoices(new,C,N) + need(normalized(before)==previous['invoice'],'Reconstructed source ingredient invoice') + unadjusted=I.ordinary(old,C,oldN);ordinary=I.ordinary(new,C,N) + routes=previous['ordinary']['caller_items']['B']['fused_routes'];route_delta=routes-unadjusted['caller_items']['B']['fused_routes'] + surcharge=0 + for e in C['events']: + if e[0]=='B' and e[1] in ('ADD','SCALE'): + q=Q(e[4] if e[1]=='ADD' else e[3]);a,d=abs(q.numerator),q.denominator + surcharge+=4*(a.bit_length()+d.bit_length()+1+(a.bit_count() if e[1]=='ADD' else 0)) + surcharge*=len(C['types']['B']['ports']) + need(surcharge==previous['ordinary']['extra_B_scalar_surcharge'],'Fresh B surcharge') + need(unadjusted['conservative_total']+route_delta+surcharge==previous['ordinary']['conservative_total'],'Whole source ordinary bill') + ordinary['caller_items']['B']['fused_routes']=routes + for k in ('caller_total','raw_upper','conservative_total'):ordinary[k]+=route_delta + ordinary['extra_B_scalar_surcharge']=surcharge;ordinary['conservative_total']+=surcharge + ordinary['margin_to_billion']=10**9-ordinary['conservative_total'];need(ordinary['margin_to_billion']>0,'Ordinary allowance') + gate,price=G.exact_price(vendor,archive,before,invoice,previous) + manifest=read(vendor/'INDEPENDENT-SOURCES.json');P=load('rechart_bit_binding',archive/'verify.py');P.bit_binding(I,manifest) + precision=base.precision(vendor,new,C,gate,manifest) + need(precision['word']['odd_scale_lcm']==1125 and precision['word']['dyadic_height']==24,'Fresh ingredient precision') + print('PASS full ingredient invoice, ordinary, precision, both prices and outer gates',flush=True) + charts=parent_checks.chart_check(vendor,old,new) + controls={} + bad=deepcopy(changes);bad['final'][0][1]=-1 + controls['wrong_source_output']=rejects(lambda:construct(old,bad)) + bad=deepcopy(changes);bad['scalar'][0][1]=-1 + controls['wrong_source_scalar']=rejects(lambda:construct(old,bad)) + bad=deepcopy(changes);bad['scalar'].append(bad['scalar'][0]) + controls['duplicate_scalar_edit']=rejects(lambda:construct(old,bad)) + scalar=next(i for i,e in enumerate(new['program']) if e[0]=='ADD') + controls['wrong_scalar_coefficient']=bool(I.native(new,mutant=scalar)['bad_inputs']) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program']) if e[0]=='MOVE');bad['program'][i][2]=-1 + controls['wrong_move_source']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);r=changes['final'][0][0];bad['final'][r]=old['final'][r] + controls['omitted_output_rechart']=rejects(lambda:I.native(bad)) + grid_engine=G.module('rechart_grid_controls',vendor/'retained/odd-native-common-grid/independent_bounds.py') + controls['insufficient_odd_grid']=rejects(lambda:grid_engine.word_run(new,375,24)) + controls['insufficient_fractional_grid']=rejects(lambda:grid_engine.word_run(new,1125,23)) + need(all(controls.values()),'All native corruption controls') + physical_checks=[] + with tempfile.TemporaryDirectory(prefix='rechart-physical-') as tmp: + path=Path(tmp)/'word.json.gz';path.write_bytes(gzip.compress(canonical(new),mtime=0)) + for command,args in [(vendor/'frozen/verify_host3_odd.py',[path,'1125']),(vendor/'frozen/physical.py',[path,vendor/'frozen/clifford_exact.py','1000000009','11'])]: + subprocess.run([sys.executable,'-I','-B',str(command),*map(str,args)],check=True);physical_checks.append(command.name) + digest=sha256(canonical(new)).hexdigest() + engine=G.module('rechart_signed_routes',rank9/'physical_child.py',(('cca66a7ec924bab47ccd1410968d16e071a01dc6110b5c08040bd207f753d066',digest),)) + capture=io.StringIO() + with contextlib.redirect_stdout(capture):engine.main(path,vendor/'data/caller.json',caller_path) + signed_routes=json.loads(capture.getvalue()) + need(signed_routes['status']=='PASS_PHYSICAL_RANK9_ALGEBRA' and signed_routes['paid_calls']==32,'Signed physical fields') + need(1000*sum(len(row['caller_fields'])*row['ordinary_elementary_units'] for row in signed_routes['bindings'])==routes,'Actual signed-route charge') + print('PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay',flush=True) + return normalized(dict(status='PASS_GLOBAL_OUTPUT_RECHART_NATIVE',source_head=read(HERE/'INPUTS.json')['source_head'],word_canonical_sha256=digest,native=N,forward=forward_receipt,grid=grid,derived_grid=derived,caller=symbolic,invoice=invoice,ordinary=ordinary,gate=gate,price=price,precision=precision,charts=charts,controls=controls,physical_checks=physical_checks,signed_routes=signed_routes,limitations=['Five inherited framework assumptions remain.','Source-aware retained engines are not independent human/formal acceptance.','The complete 17-stage application is checked separately.'])) +if __name__=='__main__': + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();r=run() + if a.out: + with a.out.open('x') as f:json.dump(r,f,sort_keys=True,indent=2);f.write('\n') + else:need(r==read(HERE/'NATIVE-RESULT.json'),'Every frozen native receipt field') + print(r['status'],r['gate']['claim'],flush=True)