diff --git a/research/p104-block-reframe-r22/NOTICE b/research/p104-block-reframe-r22/NOTICE index 36c1b859be..faf2c1bfc8 100644 --- a/research/p104-block-reframe-r22/NOTICE +++ b/research/p104-block-reframe-r22/NOTICE @@ -1,3 +1,9 @@ +Paid intermediate meetings and collective helper splits. +Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0. +No subagents. All checks are author-side calculations. + +The complete PR5718 notice follows unchanged. + Four paid interior public-basis changes. Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0. No subagents. @@ -42,3 +48,6 @@ Ali Romman corroborates it. This package credits that released composition and contributes the further four-gate placement. New work: distributed scalar updates on an unobserved public field interval, the exact witness and complete conditional price. Prepared for Ali Romman with substantial OpenAI Codex assistance. No subagents. Apache-2.0. The source archive retains all predecessor notices. + +Two-boundary main-assisted helper split and early cleanup: flyingviper with substantial +OpenAI Codex assistance, including independent AI review agents. Apache-2.0. diff --git a/research/p104-block-reframe-r22/README.md b/research/p104-block-reframe-r22/README.md index a05f31f793..0df5d8435e 100644 --- a/research/p104-block-reframe-r22/README.md +++ b/research/p104-block-reframe-r22/README.md @@ -1,11 +1,11 @@ -# One block moved from a dim-8 chart to a new dim-4 chart on PR5713's P104 word: conditional kappa .00310927386 +# One block moved from a dim-8 chart to a new dim-4 chart on PR5751's P104 word: conditional kappa .00311313795 -Complete conditional kappa **.00310927386** (claim line, tested at .003109273865). The exact raw crossing is in -(0.00310927387521, 0.00310927387522). That is **+1.216e-7** over the raw crossing 0.0031091522456 of -[PR5713](https://github.com/CrocSwap/integer-mult-bounds/pull/5713) (Ali Romman, claim .00310915222), the newest +Complete conditional kappa **.00311313795** (claim line, tested at .003113137955). The exact raw crossing is in +(0.00311313797336, 0.00311313797337). That is **+1.219e-7** over the raw crossing 0.0031130160445 of +[PR5751](https://github.com/CrocSwap/integer-mult-bounds/pull/5751) (Ali Romman, claim .00311301600), the newest P104 head when this was written. -**Conditional on** exactly the assumptions of PR5713 and its inherited P104 line, including free helper endpoints +**Conditional on** exactly the assumptions of PR5751 and its inherited P104 line, including free helper endpoints (PR5561, audited in PR5567). This word changes one helper start and one helper final. The selected record is not changed. No independent human or proof-kernel acceptance is claimed. @@ -14,7 +14,7 @@ No independent human or proof-kernel acceptance is claimed. The change is a large-neighbourhood step of R22's exact reorder+re-frame MIP. All scalar operations outside one window of about 1,000 consecutive operations are pinned. Inside the window, every chart within dimension gap 4 of the operation's bounds is allowed. One window of the sweep over PR5684's word found this step. It applies unchanged -to PR5713's word, because PR5713 only edits contacts elsewhere. +to PR5751's word (PR5713 -> PR5718 -> PR5751), whose edits are elsewhere. It was first published on PR5713 as PR5739. - 96 scalar operations on registers 41, 42, 106, 400, 401, 403, 405, 410 and 741 used to run on chart 477 (dim 8). In the new word: @@ -24,9 +24,9 @@ to PR5713's word, because PR5713 only edits contacts elsewhere. - Helper 405 now ends on 1090 instead of 477. - No scalar instruction, coefficient, order, owned lifetime, main endpoint or port changes. -Per local call: paid MOVE jobs H1 +1, H4 +1, H5 -1 (66348 -> 66366 paid calls in all); helper credits +Per local call: paid MOVE jobs H1 +1, H4 +1, H5 -1 (66834 -> 66852 paid calls in all); helper credits H1 -1, H4 +1, H5 +1, H8 -1. The moment gain comes from the helper credits. The rank-mass surplus is unchanged at 760, -and there are still 12958 productive fields. +and there are still 13390 productive fields. ## Check @@ -37,18 +37,18 @@ python3 -W error -B research/p104-block-reframe-r22/verify.py --write # regener `verify.py` runs these checks: -1. **Source pin.** It pins PR5713's `WORD.json.gz` (SHA256). +1. **Source pin.** It pins PR5751's `WORD.json.gz` and its patched `local.py` (SHA256). 2. **Regeneration.** It regenerates `WORD.json.gz` from that word with `construct.py` and `EDITS.json`. Each hunk replaces one unique event run, and hunks are disjoint. It also appends one chart and changes two helper endpoints. 3. **Boundary.** Existing charts are unchanged, only free helper endpoints change, and every other word field is unchanged. 4. **Order.** The scalar order is trace-equivalent: every dependent pair keeps its order. -5. **PR5713's own stack.** It runs PR5713's unmodified stack through its three nested source exports: +5. **PR5751's own stack.** It runs PR5751's unmodified stack, its pinned `local.py` and its four-level source chain: - exact replay; - every dense transpose column; - every native map and phase; - the complete physical caller; - - PR5713's `pricing.py`, where only the four literals in `LITERALS` change: claim/tested kappa, previous claim + - PR5751's `pricing.py`, where only the four literals in `LITERALS` change: claim/tested kappa, previous claim and the paid-call total. 6. **Controls.** Six controls are rejected: - old helper start; @@ -60,7 +60,7 @@ python3 -W error -B research/p104-block-reframe-r22/verify.py --write # regener ## Attribution -All retained checkers, words and pricing are by the PR5713 authors and their sources; see `NOTICE`. +All retained checkers, words and pricing are by the PR5751/PR5718/PR5713 authors and their sources; see `NOTICE`. PR5713 itself builds on our PR5684. R22 search tools are on branch `r22-p104-reframe-optimum`. The large-neighbourhood windows are set with `WIN=lo:hi` in `poset104.domains`. diff --git a/research/p104-block-reframe-r22/RESULT.json b/research/p104-block-reframe-r22/RESULT.json index 02fe0978d0..9d47144bd9 100644 --- a/research/p104-block-reframe-r22/RESULT.json +++ b/research/p104-block-reframe-r22/RESULT.json @@ -1,7 +1,7 @@ { "changed_charts": [ [ - 11349, + 11545, [ "ADD", 42, @@ -12,7 +12,7 @@ 1090 ], [ - 11350, + 11546, [ "ADD", 41, @@ -23,7 +23,7 @@ 1090 ], [ - 11351, + 11547, [ "ADD", 42, @@ -34,7 +34,7 @@ 1090 ], [ - 11352, + 11548, [ "SCALE", 41, @@ -44,7 +44,7 @@ 1090 ], [ - 11353, + 11549, [ "SCALE", 41, @@ -54,7 +54,7 @@ 1090 ], [ - 11354, + 11550, [ "ADD", 400, @@ -65,7 +65,7 @@ 1090 ], [ - 11355, + 11551, [ "ADD", 401, @@ -76,7 +76,7 @@ 1090 ], [ - 11356, + 11552, [ "SCALE", 42, @@ -86,7 +86,7 @@ 1090 ], [ - 11357, + 11553, [ "ADD", 106, @@ -97,7 +97,7 @@ 1090 ], [ - 11358, + 11554, [ "ADD", 403, @@ -108,7 +108,7 @@ 1090 ], [ - 11359, + 11555, [ "ADD", 405, @@ -119,7 +119,7 @@ 1090 ], [ - 11360, + 11556, [ "ADD", 106, @@ -130,7 +130,7 @@ 1090 ], [ - 11361, + 11557, [ "ADD", 405, @@ -141,7 +141,7 @@ 1090 ], [ - 11362, + 11558, [ "SCALE", 106, @@ -151,7 +151,7 @@ 1090 ], [ - 11363, + 11559, [ "ADD", 41, @@ -162,7 +162,7 @@ 1090 ], [ - 11364, + 11560, [ "ADD", 405, @@ -173,7 +173,7 @@ 1090 ], [ - 11365, + 11561, [ "ADD", 405, @@ -184,7 +184,7 @@ 1090 ], [ - 11366, + 11562, [ "ADD", 741, @@ -195,7 +195,7 @@ 1090 ], [ - 11367, + 11563, [ "ADD", 741, @@ -206,7 +206,7 @@ 1090 ], [ - 11368, + 11564, [ "ADD", 41, @@ -217,7 +217,7 @@ 1090 ], [ - 11369, + 11565, [ "ADD", 410, @@ -228,7 +228,7 @@ 1090 ], [ - 11370, + 11566, [ "ADD", 400, @@ -239,7 +239,7 @@ 1090 ], [ - 11371, + 11567, [ "ADD", 410, @@ -250,7 +250,7 @@ 1090 ], [ - 11372, + 11568, [ "SCALE", 400, @@ -260,7 +260,7 @@ 1090 ], [ - 11373, + 11569, [ "SCALE", 400, @@ -270,7 +270,7 @@ 1090 ], [ - 11374, + 11570, [ "ADD", 403, @@ -281,7 +281,7 @@ 1090 ], [ - 11375, + 11571, [ "ADD", 401, @@ -292,7 +292,7 @@ 1090 ], [ - 11376, + 11572, [ "ADD", 403, @@ -303,7 +303,7 @@ 1090 ], [ - 11377, + 11573, [ "SCALE", 401, @@ -313,7 +313,7 @@ 1090 ], [ - 11378, + 11574, [ "ADD", 42, @@ -324,7 +324,7 @@ 1090 ], [ - 11379, + 11575, [ "ADD", 741, @@ -335,7 +335,7 @@ 1090 ], [ - 11380, + 11576, [ "ADD", 41, @@ -346,7 +346,7 @@ 1090 ], [ - 11381, + 11577, [ "ADD", 400, @@ -357,7 +357,7 @@ 1090 ], [ - 11382, + 11578, [ "ADD", 410, @@ -368,7 +368,7 @@ 1090 ], [ - 11383, + 11579, [ "ADD", 410, @@ -379,7 +379,7 @@ 1090 ], [ - 11384, + 11580, [ "ADD", 741, @@ -390,7 +390,7 @@ 1090 ], [ - 11385, + 11581, [ "ADD", 410, @@ -401,7 +401,7 @@ 1090 ], [ - 11386, + 11582, [ "SCALE", 741, @@ -411,7 +411,7 @@ 1090 ], [ - 11387, + 11583, [ "SCALE", 741, @@ -421,7 +421,7 @@ 1090 ], [ - 11388, + 11584, [ "ADD", 41, @@ -432,7 +432,7 @@ 1090 ], [ - 11389, + 11585, [ "ADD", 400, @@ -443,7 +443,7 @@ 1090 ], [ - 11390, + 11586, [ "ADD", 403, @@ -454,7 +454,7 @@ 1090 ], [ - 11391, + 11587, [ "ADD", 42, @@ -465,7 +465,7 @@ 1090 ], [ - 11392, + 11588, [ "ADD", 106, @@ -476,7 +476,7 @@ 1090 ], [ - 11393, + 11589, [ "ADD", 401, @@ -487,7 +487,7 @@ 1090 ], [ - 11394, + 11590, [ "ADD", 741, @@ -498,7 +498,7 @@ 1090 ], [ - 11395, + 11591, [ "ADD", 403, @@ -509,7 +509,7 @@ 1090 ], [ - 11396, + 11592, [ "ADD", 401, @@ -520,7 +520,7 @@ 1090 ], [ - 11397, + 11593, [ "SCALE", 410, @@ -530,7 +530,7 @@ 1090 ], [ - 11398, + 11594, [ "ADD", 403, @@ -541,7 +541,7 @@ 1090 ], [ - 11399, + 11595, [ "ADD", 106, @@ -552,7 +552,7 @@ 1090 ], [ - 11400, + 11596, [ "ADD", 42, @@ -563,7 +563,7 @@ 1090 ], [ - 11401, + 11597, [ "ADD", 410, @@ -574,7 +574,7 @@ 1090 ], [ - 11402, + 11598, [ "ADD", 741, @@ -585,7 +585,7 @@ 1090 ], [ - 11403, + 11599, [ "ADD", 410, @@ -596,7 +596,7 @@ 1090 ], [ - 11404, + 11600, [ "SCALE", 741, @@ -606,7 +606,7 @@ 1090 ], [ - 11405, + 11601, [ "ADD", 410, @@ -617,7 +617,7 @@ 1090 ], [ - 11406, + 11602, [ "ADD", 741, @@ -628,7 +628,7 @@ 1090 ], [ - 11407, + 11603, [ "ADD", 401, @@ -639,7 +639,7 @@ 1090 ], [ - 11408, + 11604, [ "ADD", 400, @@ -650,7 +650,7 @@ 1090 ], [ - 11409, + 11605, [ "ADD", 106, @@ -661,7 +661,7 @@ 1090 ], [ - 11410, + 11606, [ "ADD", 42, @@ -672,7 +672,7 @@ 1090 ], [ - 11411, + 11607, [ "ADD", 41, @@ -683,7 +683,7 @@ 1090 ], [ - 11412, + 11608, [ "SCALE", 403, @@ -693,7 +693,7 @@ 1090 ], [ - 11413, + 11609, [ "ADD", 741, @@ -704,7 +704,7 @@ 1090 ], [ - 11414, + 11610, [ "ADD", 403, @@ -715,7 +715,7 @@ 1090 ], [ - 11415, + 11611, [ "ADD", 400, @@ -726,7 +726,7 @@ 1090 ], [ - 11416, + 11612, [ "ADD", 106, @@ -737,7 +737,7 @@ 1090 ], [ - 11417, + 11613, [ "ADD", 42, @@ -748,7 +748,7 @@ 1090 ], [ - 11418, + 11614, [ "ADD", 41, @@ -759,7 +759,7 @@ 1090 ], [ - 11419, + 11615, [ "SCALE", 401, @@ -769,7 +769,7 @@ 1090 ], [ - 11420, + 11616, [ "ADD", 106, @@ -780,7 +780,7 @@ 1090 ], [ - 11421, + 11617, [ "ADD", 42, @@ -791,7 +791,7 @@ 1090 ], [ - 11422, + 11618, [ "ADD", 41, @@ -802,7 +802,7 @@ 1090 ], [ - 11423, + 11619, [ "SCALE", 400, @@ -812,7 +812,7 @@ 1090 ], [ - 11424, + 11620, [ "ADD", 401, @@ -823,7 +823,7 @@ 1090 ], [ - 11425, + 11621, [ "ADD", 400, @@ -834,7 +834,7 @@ 1090 ], [ - 11426, + 11622, [ "ADD", 401, @@ -845,7 +845,7 @@ 1090 ], [ - 11427, + 11623, [ "SCALE", 400, @@ -855,7 +855,7 @@ 1090 ], [ - 11428, + 11624, [ "ADD", 403, @@ -866,7 +866,7 @@ 127 ], [ - 11429, + 11625, [ "ADD", 401, @@ -877,7 +877,7 @@ 127 ], [ - 11430, + 11626, [ "ADD", 41, @@ -888,7 +888,7 @@ 1090 ], [ - 11431, + 11627, [ "SCALE", 106, @@ -898,7 +898,7 @@ 127 ], [ - 11432, + 11628, [ "ADD", 403, @@ -909,7 +909,7 @@ 1090 ], [ - 11433, + 11629, [ "ADD", 401, @@ -920,7 +920,7 @@ 1090 ], [ - 11434, + 11630, [ "ADD", 41, @@ -931,7 +931,7 @@ 1090 ], [ - 11435, + 11631, [ "SCALE", 42, @@ -941,7 +941,7 @@ 1090 ], [ - 11436, + 11632, [ "ADD", 400, @@ -952,7 +952,7 @@ 1090 ], [ - 11437, + 11633, [ "ADD", 42, @@ -963,7 +963,7 @@ 1090 ], [ - 11438, + 11634, [ "ADD", 400, @@ -974,7 +974,7 @@ 1090 ], [ - 11439, + 11635, [ "SCALE", 42, @@ -984,7 +984,7 @@ 127 ], [ - 11440, + 11636, [ "ADD", 403, @@ -995,7 +995,7 @@ 127 ], [ - 11441, + 11637, [ "ADD", 401, @@ -1006,7 +1006,7 @@ 127 ], [ - 11442, + 11638, [ "ADD", 400, @@ -1017,7 +1017,7 @@ 1090 ], [ - 11443, + 11639, [ "ADD", 106, @@ -1028,7 +1028,7 @@ 127 ], [ - 11444, + 11640, [ "ADD", 42, @@ -1044,33 +1044,35 @@ "H": 80511200000000000, "N": "2^80511200000000000", "eta": { - "lower": "0.000000130941005892862380983466", - "upper": "0.000000130941005892862380983467" + "lower": "0.000000128387229643834457871291", + "upper": "0.000000128387229643834457871292" }, "gap": "1/1400000000000", "integer_test_exponent": 57508, "logarithm_power": 1024, "theta": "63/64", - "uniform_saving": "435298341/140000000000", + "uniform_saving": "272399571/87500000000", "word_materialized": false }, "full_forward_calls": 18, - "gain": "3041/25000000000", - "kappa": "155463693/50000000000", - "kappa_decimal": "0.00310927386", + "gain": "2439/20000000000", + "kappa": "62262759/20000000000", + "kappa_decimal": "0.00311313795", "margin_at_previous": { - "lower": "0.029538423950217770836372331151", - "upper": "0.029538423950217770836372331152" + "lower": "0.029578770580357904755090866637", + "upper": "0.029578770580357904755090866638" }, "negative_controls": { "old_BIT": "Rejected by outer inequalities", - "old_cutoff": "Rejected by completion-tail ratio greater than one" + "old_cutoff": "Rejected by completion-tail ratio greater than one", + "source_completion": "Rejected at cutoff17, floor18 and decay39/40", + "source_offset": "Rejected at cutoff16 with tail offset1/5" }, "nonrecursive": { "fixed_scalar_growth_bound": "At most 2^(16*26000) before native factors; a declared constant, not an attained norm.", "local_paid_rank_mass": 5987, - "local_routes": 5165000, - "local_scalar": 220326, + "local_routes": 5240000, + "local_scalar": 224138, "peak_owned_fields": 2, "raw_budget": 1000000000, "raw_scalar_upper": 184647552, @@ -1092,82 +1094,82 @@ "new_semantic_group_guard": "3/1400000000000" }, "margins": { - "boundary_algebraic_matrix": "6094176771195647016593/1960000000000000000000000", - "fused_gaussian": "6094176771186941049779/1960000000000000000000000", - "global_coordinate_router": "272061463/87500000000", - "group_bit_router": "380886048286683815611/122500000000000000000000", + "boundary_algebraic_matrix": "6101750387595641606867/1960000000000000000000000", + "fused_gaussian": "6101750387586924820601/1960000000000000000000000", + "global_coordinate_router": "2179196567/700000000000", + "group_bit_router": "3050875194493462410299/980000000000000000000000", "group_scans": "699999999999/700000000000", - "main_transform": "6094176769795647016593/1960000000000000000000000", + "main_transform": "6101750386195641606867/1960000000000000000000000", "microbox_face_corrections": "26950000000001/350000000000", "polynomial_products": "1399999999999/1400000000000", - "sparse_union_movement": "802344176771195647016593/1960000000000000000000000" + "sparse_union_movement": "802351750387595641606867/1960000000000000000000000" }, "parameters": { - "a": "272061463/87500000000", - "b": "4352983409/1400000000000", + "a": "2179196567/700000000000", + "b": "871678627/280000000000", "beta": "1399999999997/1400000000000", "bit_saving": "17/5000", - "cap_xi": "1782344176769795647016593/1960000000000000000000000", - "complex_uniform_saving": "435298341/140000000000", + "cap_xi": "1782351750386195641606867/1960000000000000000000000", + "complex_uniform_saving": "272399571/87500000000", "d": "1/1400000000000", "epsilon": "1399999999999/1400000000000", - "kappa": "155463693/50000000000", - "lambda_": "79751258091/80000000000", - "lambda_prime": "1395647016593/1400000000000", + "kappa": "62262759/20000000000", + "lambda_": "398754744819/400000000000", + "lambda_prime": "1395641606867/1400000000000", "layout": "1/1400000000000", - "q": "4352983407/1400000000000", + "q": "4358393133/1400000000000", "r0": "1/14000000000000", "stop": "1/1400000000000", - "tested_saving": "621854773/200000000000" + "tested_saving": "622627591/200000000000" }, "strict_checks": { - "actual_bit_above_effective": "25438537/87500000000", + "actual_bit_above_effective": "200803433/700000000000", "actual_logarithmic_gamma_guard": "1/1400000000000", - "actual_logarithmic_group_guard": "177655823232304352983407/980000000000000000000000", + "actual_logarithmic_group_guard": "177648249615904358393133/980000000000000000000000", "alpha_logarithm_absorption": "1/14000000000000", - "boundary_algebraic_matrix_above_kappa": "5595647016593/1960000000000000000000000", - "cap_above_band": "802344176769795647016593/1960000000000000000000000", - "cap_below_cell": "177655823228804352983407/1960000000000000000000000", - "cap_below_phase_cell_power": "2137655823230204352983407/1960000000000000000000000", + "boundary_algebraic_matrix_above_kappa": "5595641606867/1960000000000000000000000", + "cap_above_band": "802351750386195641606867/1960000000000000000000000", + "cap_below_cell": "177648249612404358393133/1960000000000000000000000", + "cap_below_phase_cell_power": "2137648249613804358393133/1960000000000000000000000", "complex_above_effective": "1/1400000000000", - "complex_below_one_over_32": "39397016591/1400000000000", + "complex_below_one_over_32": "7878321373/280000000000", "complex_endpoint": "1/700000000000", "epsilon_below_one": "1/1400000000000", "epsilon_positive": "1399999999999/1400000000000", "fine_prime_halo_umbrella": "7/2", - "fused_gaussian_above_kappa": "5586941049779/1960000000000000000000000", - "gaussian_above_main": "695647016593/980000000000000000000000", + "fused_gaussian_above_kappa": "5586924820601/1960000000000000000000000", + "gaussian_above_main": "695641606867/980000000000000000000000", "global_coordinate_router_above_kappa": "1/350000000000", "global_gamma_power_slack": "9/14000000000000", "group_below_dimension": "1/700000000000", - "group_bit_router_above_kappa": "436683815611/122500000000000000000000", - "group_gauge_power_slack": "177655823232234352983407/980000000000000000000000", + "group_bit_router_above_kappa": "3493462410299/980000000000000000000000", + "group_gauge_power_slack": "177648249615834358393133/980000000000000000000000", "group_key_fits_record": "1/700000000000", "group_positive": "1399999999997/1400000000000", - "group_scans_above_kappa": "697823508297/700000000000", + "group_scans_above_kappa": "348910401717/350000000000", "halo_covers_generic_inverse_radius": "5", - "improvement_over_user_baseline": "689151720400418148631/500000000000000000000000", + "improvement_over_user_baseline": "691083765400418148631/500000000000000000000000", "lambda_above_internal": "1/2800000000000", "lambda_above_sigma": "3/2800000000000", "lambda_above_tau": "1/2800000000000", "lambda_prime_above_lambda": "1/2800000000000", - "lambda_prime_above_leaf": "2795647016591/1960000000000000000000000", - "leaf_saving_above_effective": "1395647016591/1960000000000000000000000", - "main_transform_above_kappa": "4195647016593/1960000000000000000000000", + "lambda_prime_above_leaf": "559128321373/392000000000000000000000", + "leaf_saving_above_effective": "279128321373/392000000000000000000000", + "main_transform_above_kappa": "4195641606867/1960000000000000000000000", "membership_arithmetic_fits_record": "1/1400000000000", - "microbox_face_corrections_above_kappa": "538978235083/7000000000", + "microbox_face_corrections_above_kappa": "53897820803437/700000000000", "microbox_halo_volume": "110600000000003/1400000000000", "new_complex_uniform_saving_above_b": "1/1400000000000", "new_semantic_guard_with_C1_one": "1/1400000000000", - "polynomial_products_above_kappa": "279129403319/280000000000", + "polynomial_products_above_kappa": "1395641606869/1400000000000", "positive_layout_slack": "1/1400000000000", "q_below_effective": "1/1400000000000", "q_below_internal": "1/1400000000000", - "q_below_leaf": "2795647016591/1960000000000000000000000", - "q_positive": "4352983407/1400000000000", - "short_record_fallback": "1395647016591/1400000000000", + "q_below_leaf": "559128321373/392000000000000000000000", + "q_positive": "4358393133/1400000000000", + "short_record_fallback": "279128321373/280000000000", "source_axis_superpolynomial": "1/1400000000000", - "sparse_union_movement_above_kappa": "796250000005595647016593/1960000000000000000000000", + "sparse_union_movement_above_kappa": "796250000005595641606867/1960000000000000000000000", "stop_below_one": "1399999999999/1400000000000", "stop_positive": "1/1400000000000", "strassen_integer_power_gap": "1951441519231", @@ -1178,71 +1180,71 @@ } }, "paid": { - "1": 40890, + "1": 41520, "16": 416, - "2": 8262, + "2": 8172, "24": 416, - "3": 8910, + "3": 8856, "32": 416, "4": 1674, "40": 416, "48": 416, - "5": 2844, + "5": 3132, "56": 416, - "6": 396, + "6": 108, "64": 416, "7": 270, "72": 208 }, - "paid_calls": 66366, - "previous_open_pr5660": "155457611/50000000000", - "productive_fields": 12958, + "paid_calls": 66852, + "previous_pr5718": "389127/125000000", + "productive_fields": 13390, "query_shears": 15, "rank_mass_surplus": 760, "raw_ceiling": { - "derivative_upper": "-184875946608214952994698474609300303078340465646268258464787663/784637716923335095479473677900958302012794430558004314112", + "derivative_upper": "-738596154004511222636095493817850924833979710424488126325902089/3138550867693340381917894711603833208051177722232017256448", "interval": [ "0", "17/5000" ] }, "raw_headroom": [ - "1521/100000000000000", - "761/50000000000000" + "73/3125000000000", + "2337/100000000000000" ], "raw_root_interval": [ - "310927387521/100000000000000", - "155463693761/50000000000000" + "38914224667/12500000000000", + "311313797337/100000000000000" ], - "relative_gain_percent": "608200/155457611", + "relative_gain_percent": "4065/1037672", "strictification": { "alpha": { - "lower": "0.999999999989619742858683178514", - "upper": "0.999999999989619742858683178515" + "lower": "0.999999999981368230437503066447", + "upper": "0.999999999981368230437503066448" }, - "cutoff": 17, + "cutoff": 16, "delta": { - "lower": "0.967459815568044692665878627648", - "upper": "0.967459815568044692665878627649" + "lower": "0.944337257529929949513398128117", + "upper": "0.944337257529929949513398128118" }, - "floor": 18, + "floor": 17, "gamma": { - "lower": "0.968237083035846424139840039367", - "upper": "0.968237083035846424139840039368" + "lower": "0.975484709128690914856977434634", + "upper": "0.975484709128690914856977434635" }, "normalized_paid_upper": "1048576000976562501/1048576001073741824", "power": 1024, "reserve": "1/1000000000000", "tail_block": 128, - "tail_decay": "39/40", - "tail_offset": "1/5", - "tested": "621854773/200000000000" + "tail_decay": "125/128", + "tail_offset": "1/7", + "tested": "622627591/200000000000" }, "targets": { - "1": 18, + "1": 432, "145": 208, "17": 416, - "2": 72, + "2": 90, "25": 416, "33": 416, "4": 1656, @@ -1251,10 +1253,10 @@ "5": 126, "57": 416, "65": 416, - "7": 90, + "7": 108, "73": 208, - "8": 252, - "9": 7416 + "8": 666, + "9": 6984 }, "whole_idle_jobs": 3120 }, @@ -1290,31 +1292,31 @@ ] }, "local": { - "endpoint_coefficients": 565504, + "endpoint_coefficients": 602176, "helpers": { - "1": 1, - "2": 4, + "1": 24, + "2": 5, "4": 92, "5": 7, - "7": 5, - "8": 14, - "9": 412 + "7": 6, + "8": 37, + "9": 388 }, "owned_fields": 9, "owned_lifetimes": 11, "paid": { - "1": 2185, - "2": 459, - "3": 495, + "1": 2220, + "2": 454, + "3": 492, "4": 93, - "5": 158, - "6": 22, + "5": 174, + "6": 6, "7": 15 }, "paid_rank_mass": 5987, "peak_owned_fields": 2, - "public_inputs": 743, - "real_scalar_allowance": 220326 + "public_inputs": 767, + "real_scalar_allowance": 224138 }, "local_paid_delta": { "1": 1, @@ -1322,20 +1324,20 @@ "5": -1 }, "native": { - "distinct_maps": 2919, - "helper_normalizers": 1070, + "distinct_maps": 2927, + "helper_normalizers": 1118, "helpers": { - "1": 1, - "2": 4, + "1": 24, + "2": 5, "4": 92, "5": 7, - "7": 5, - "8": 14, - "9": 412 + "7": 6, + "8": 37, + "9": 388 }, "main_adapters": 208, "proof": "Every signed Pauli image and exact global phase; frame induction at every positive tensor width", - "recipe_payload_sha256": "54871ccb2fd4524d1d55422bad3306004c04117e48105f50ada0f48d705184ce", + "recipe_payload_sha256": "b566ac8ebfb9df3d4c8a7be449c749283ec70dedbdaad7f943c264c692da544a", "wrong_phase_rejected": true }, "physical": { @@ -1387,12 +1389,12 @@ ] }, "source": { - "pr5713": "a5348f7143f95fe0046b92b96172e30763c7d731" + "pr5751": "8483f9a679d06c1e270141dbc686a7e76e7a7522" }, - "status": "PASS_P104_R22_REFRAME_KAPPA_00310927386", + "status": "PASS_P104_R22_REFRAME_KAPPA_00311313795", "transpose": { "arithmetic": "Dense integer rows with binary denominators; reverse chronology", - "coefficients": 565504, - "columns": 752 + "coefficients": 602176, + "columns": 776 } } diff --git a/research/p104-block-reframe-r22/WORD.json.gz b/research/p104-block-reframe-r22/WORD.json.gz index 4c7fb353c6..156ff6d627 100644 Binary files a/research/p104-block-reframe-r22/WORD.json.gz and b/research/p104-block-reframe-r22/WORD.json.gz differ diff --git a/research/p104-block-reframe-r22/pricing.py b/research/p104-block-reframe-r22/pricing.py index 9f233cf78e..fe40a9cb39 100644 --- a/research/p104-block-reframe-r22/pricing.py +++ b/research/p104-block-reframe-r22/pricing.py @@ -14,14 +14,15 @@ The paid A2 change is from zxv PR5643. The three helper relations are from Ali Romman PR5644. The four-gate change is by Ali Romman with Codex assistance. The four interior basis changes are by Ali Romman with Codex assistance. +Paid intermediate meetings: Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. """ from collections import Counter from fractions import Fraction as Q import local as L -KAPPA, TESTED = Q('.00310927386'), Q('.003109273865') -PREVIOUS = Q('.00310915222') +KAPPA, TESTED = Q('.00311313795'), Q('.003113137955') +PREVIOUS = Q('.00311301600') def encode(x): @@ -70,7 +71,7 @@ def assemble(local, native, word, physical): second_p[8*(j+1)] += 208 L.need((targets,paid) == (second_t,second_p), 'Independent full invoice') L.need(max(targets) == 145 and max(paid) == 72, 'Maximum recursive ranks') - L.need(sum(targets.values()) == 12958 and sum(paid.values()) == 66366, 'Complete field and call counts') + L.need(sum(targets.values()) == 13390 and sum(paid.values()) == 66852, 'Complete field and call counts') L.need(sum(r*n for r,n in targets.items())-sum(r*n for r,n in paid.items()) == 760, 'Complete rank surplus') return targets,paid,counts @@ -102,7 +103,7 @@ def margin(k): L.need(derivative_upper < 0, 'Unique raw crossing below the retained BIT cap') L.need(margin(lower)[0] > 0 and margin(upper)[1] < 0, 'Strict rational crossing enclosure') L.need(PREVIOUS < KAPPA < TESTED < lower and margin(PREVIOUS)[0] > 0, 'Changed complete bill improves the source claim') - t,u,v,c,b = 1-TESTED,Q(1,5),1024,17,18 + t,u,v,c,b = 1-TESTED,Q(1,7),1024,16,17 target,paid = E.moment(T,t),E.moment(P,t) tl,th = other.moment(T,TESTED) pl,ph = other.moment(P,TESTED) @@ -110,7 +111,7 @@ def margin(k): alpha = E.divide(paid,target) gamma = E.divide(E.moment(P,t+u),E.mul(E.power(c,u),target)) delta = E.divide((Q(sum(T.values())*b),)*2,E.mul(E.power(c,TESTED),target)) - reserve,decay = Q(1,10**12),Q(39,40) + reserve,decay = Q(1,10**12),Q(125,128) L.need(alpha[1] < 1-reserve and gamma[1] < decay and delta[1] < decay, 'All three charged tail ratios') L.need(decay**128 < Q(1,16), 'Both tail decay blocks') normalized = 1/(1+v*reserve)+Q(4,2**32) @@ -156,9 +157,13 @@ def wins(j): L.need(all(x > 0 for key in ('strict_checks','functional_checks') for x in outer[key].values()), 'All outer inequalities strict') wrong_cutoff = E.divide((Q(sum(T.values())*21),)*2,E.mul(E.power(20,TESTED),target)) L.need(wrong_cutoff[0] > 1, 'Old cutoff fails with this helper inventory') + old_completion = E.divide((Q(sum(T.values())*18),)*2,E.mul(E.power(17,TESTED),target)) + L.need(old_completion[0] > Q(39,40), 'PR5718 completion-tail bound fails with the new target count') + old_offset = E.divide(E.moment(P,t+Q(1,5)),E.mul(E.power(16,Q(1,5)),target)) + L.need(old_offset[0] > decay, 'The old tail offset fails at the new cutoff') bad=outer_module.ledger(dict(params,bit_saving=Q('.0027'))) L.need(any(x <= 0 for x in bad['strict_checks'].values()), 'Insufficient BIT contract rejected') - return encode({'kappa':KAPPA,'kappa_decimal':'0.00310927386','previous_open_pr5660':PREVIOUS,'gain':KAPPA-PREVIOUS, + return encode({'kappa':KAPPA,'kappa_decimal':'0.00311313795','previous_pr5718':PREVIOUS,'gain':KAPPA-PREVIOUS, 'relative_gain_percent':100*(KAPPA/PREVIOUS-1),'raw_root_interval':[lower,upper], 'raw_headroom':[lower-KAPPA,upper-KAPPA], 'raw_ceiling':{'interval':[Q(0),cap],'derivative_upper':derivative_upper},'margin_at_previous':E.display(margin(PREVIOUS)), @@ -174,4 +179,6 @@ def wins(j): 'local_paid_rank_mass':local['paid_rank_mass'], 'tensor_native_growth_bound':'Each rank-r Gaussian has row l1 norm at most 2^(rf); use local_paid_rank_mass for the whole word.'}, 'ordinary_BIT':bit,'outer':outer, - 'negative_controls':{'old_cutoff':'Rejected by completion-tail ratio greater than one','old_BIT':'Rejected by outer inequalities'}}) + 'negative_controls':{'source_completion':'Rejected at cutoff17, floor18 and decay39/40', + 'source_offset':'Rejected at cutoff16 with tail offset1/5', + 'old_cutoff':'Rejected by completion-tail ratio greater than one','old_BIT':'Rejected by outer inequalities'}}) diff --git a/research/p104-block-reframe-r22/verify.py b/research/p104-block-reframe-r22/verify.py index b214cdd26b..e8595ccce6 100644 --- a/research/p104-block-reframe-r22/verify.py +++ b/research/p104-block-reframe-r22/verify.py @@ -1,7 +1,7 @@ -"""Check the R22 reorder+reframe word on PR5713's P104 word on PR5713's own complete stack. +"""Check the R22 reorder+reframe word on PR5751's P104 word on PR5751's own complete stack. Joel Pulikkan (GamingPuzzled) with Claude Opus 5.5 (Anthropic) via Claude Code. Apache-2.0. -Every retained checker is loaded unmodified from ../p104-temporal-updates (Ali Romman, zxv and +Every retained checker is loaded unmodified from ../p104-paid-meeting-splits (Ali Romman, flyingviper, zxv and the contributors listed in its NOTICE); only the four declared pricing literals change. """ from collections import Counter, defaultdict @@ -10,25 +10,27 @@ from hashlib import sha256 from pathlib import Path import argparse, gzip, importlib.util, json, sys, tempfile +from contextlib import ExitStack sys.dont_write_bytecode = True HERE = Path(__file__).resolve().parent -BASE = HERE.parent/'p104-temporal-updates' +BASE = HERE.parent/'p104-paid-meeting-splits' sys.path.insert(0, str(HERE)) from construct import construct -PINS = { # PR5713 head a5348f7143f95fe0046b92b96172e30763c7d731 - 'WORD.json.gz': '9fd67dd89ed24a644257cd9aef06934ed4c6fbe0441804684a968868f2ef66a8', +PINS = { # PR5751 head 8483f9a679d06c1e270141dbc686a7e76e7a7522 + 'WORD.json.gz': 'fb60e34238a57a147f53aadb1af1209a562e2dcd18b05a29557df452cfe83133', + 'local.py': 'fc7c7293f7cffb8a9074e65b926e1782f2ebce2991c9ea75d42b94e888052689', } -PUBLIC = 743 -PARENT_KAPPA = Q('.00310915222') +PUBLIC = 767 +PARENT_KAPPA = Q('.00311301600') LITERALS = [ - ("KAPPA, TESTED = Q('155457611/50000000000'), Q('124366089/40000000000')", "KAPPA, TESTED = Q('.00310927386'), Q('.003109273865')"), - ("PREVIOUS = Q('.00310871312')", "PREVIOUS = Q('.00310915222')"), - ("sum(paid.values()) == 66348", "sum(paid.values()) == 66366"), - ("'kappa_decimal':'0.00310915222'", "'kappa_decimal':'0.00310927386'"), + ("KAPPA, TESTED = Q('.00311301600'), Q('.003113016005')", "KAPPA, TESTED = Q('.00311313795'), Q('.003113137955')"), + ("PREVIOUS = Q('.00311024570')", "PREVIOUS = Q('.00311301600')"), + ("sum(paid.values()) == 66834", "sum(paid.values()) == 66852"), + ("'kappa_decimal':'0.00311301600'", "'kappa_decimal':'0.00311313795'"), ] -STATUS = 'PASS_P104_R22_REFRAME_KAPPA_00310927386' +STATUS = 'PASS_P104_R22_REFRAME_KAPPA_00311313795' def need(ok, why): @@ -103,9 +105,9 @@ def reject(f): def run(): for name, digest in PINS.items(): - need(sha256((BASE/name).read_bytes()).hexdigest() == digest, 'Exact PR5713 source ' + name) + need(sha256((BASE/name).read_bytes()).hexdigest() == digest, 'Exact PR5751 source ' + name) base, word = read(BASE/'WORD.json.gz'), read(HERE/'WORD.json.gz') - need(construct(base) == word, 'Exact regeneration from PR5713') + need(construct(base) == word, 'Exact regeneration from PR5751') for key in base: if key not in ('program', 'initial', 'final', 'frames', 'schema'): need(word[key] == base[key], 'Unchanged word field ' + key) @@ -128,9 +130,11 @@ def run(): for before, after in LITERALS: need(original.count(before) == 1, 'Unique pricing literal ' + before); original = original.replace(before, after) need((HERE/'pricing.py').read_text() == original, 'Only declared pricing literals change') - with S.sources() as (parent, _), load(parent/'sources.py', 'r22_parent_sources').sources() as (prior, _), \ - load(prior/'sources.py', 'r22_prior_sources').sources() as (stack, framework): - L = load(stack/'local.py', 'local') + with ExitStack() as contexts: + cursor, _ = contexts.enter_context(S.sources()) + for depth in range(4): # PR5751's own source chain; its local.py is pinned above + cursor, framework = contexts.enter_context(load(cursor/'sources.py', 'r22_sources_%d' % depth).sources()) + L = load(BASE/'local.py', 'local') L.ROOT = framework parent_local, local = L.replay(base), L.replay(word) need(parent_local['real_scalar_allowance'] == local['real_scalar_allowance'], 'Same scalar allowance') @@ -152,7 +156,7 @@ def run(): price = P.run(local, native, caller, physical) print('PASS complete pricing', price['raw_root_interval'], flush=True) lo = Q(price['raw_root_interval'][0]) - need(lo > PARENT_KAPPA, 'Strict raw gain over PR5713 claim') + need(lo > PARENT_KAPPA, 'Strict raw gain over PR5751 claim') controls = {} bad = deepcopy(word); bad['initial'][741] = 477 controls['old_helper_start'] = reject(lambda: L.replay(bad)) @@ -169,7 +173,7 @@ def run(): i, j = bad.index(['ADD', 42, 41, '1', 1090]), bad.index(['ADD', 41, 42, '-1', 1090]) bad[i], bad[j] = bad[j], bad[i] controls['read_after_write'] = reject(lambda: trace_equivalent(scalar(base), bad)) - return P.encode({'status': STATUS, 'source': {'pr5713': 'a5348f7143f95fe0046b92b96172e30763c7d731'}, + return P.encode({'status': STATUS, 'source': {'pr5751': '8483f9a679d06c1e270141dbc686a7e76e7a7522'}, 'helper_starts': starts, 'helper_finals': finals, 'changed_charts': charts, 'local': local, 'local_paid_delta': paid_delta, 'helper_credit_delta': helper_delta, 'global_paid_delta': {r: 18*n for r, n in paid_delta.items()}, diff --git a/research/p104-paid-meeting-splits/LOCAL-EDITS.json b/research/p104-paid-meeting-splits/LOCAL-EDITS.json new file mode 100644 index 0000000000..600aaf3546 --- /dev/null +++ b/research/p104-paid-meeting-splits/LOCAL-EDITS.json @@ -0,0 +1,6 @@ +[ + [ + "735 <= public <= 750", + "public == 767" + ] +] diff --git a/research/p104-paid-meeting-splits/NOTICE b/research/p104-paid-meeting-splits/NOTICE new file mode 100644 index 0000000000..faf2c1bfc8 --- /dev/null +++ b/research/p104-paid-meeting-splits/NOTICE @@ -0,0 +1,53 @@ +Paid intermediate meetings and collective helper splits. +Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0. +No subagents. All checks are author-side calculations. + +The complete PR5718 notice follows unchanged. + +Four paid interior public-basis changes. +Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0. +No subagents. + +The following exact notice is retained from PR5660. + +New helper-subspace construction, proof and replay: +Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +The same assistant performed the construction and author-side checks. + +Retained contributions: +flyingviper: PR5605 shared relay, PR5612 delayed relay, and the PR5608/PR5613 +relay/split compositions. +Scratch-net: PR5606 prepared-helper identities and target debit. +Pierre-Loic Doulcet (hexapode): PR5565 commuting-contact construction, used as the exact source. +Ali Romman: PR5602 fixed boundary relations, PR5601 three-contact frame +change, PR5580 contact step, +and PR5544/5545 complete P104 caller. +Joel Pulikkan (GamingPuzzled): PR5569 priced helper handoff. +DreamingOfClouds: PR5561 free helper endpoints and PR5568 search tools. +thu-nmrc: PR5551 contact improvements. +Gareth Davidson (bitplane): PR2305 source composition. +David Arias: PR2152 coalesced P104 word. +Cinna Davis: PR2219 private reuse and the controller lineage. +Jacob Alan Sussman: productive mixed-target recursion. +zxv and Cao Yifan: exact intervals, compiler and native/pricing lineage. +GamingPuzzled: PR5472 successor handoff, a predecessor to the split concept. +The retained source notices preserve earlier geometry, BIT and analytic credit. + +The elementary rank-one basis identity is not claimed as a new general +linear-algebra theorem. The contribution is its explicit independent-target +use on this P104 word and the complete conditional kappa improvement. + +New contribution: Ali Romman, with substantial OpenAI Codex assistance. +The four-gate source-version rewrite composes zxv PR5643 and Ali Romman PR5644. +The A2 method retains Chris R/Clear1nsight PR3998 and ToikY PR4019 credit. +The compensated triangle method retains Cinna Davis PR4692 credit. +No subagents were used for this contribution. Apache-2.0. + +Concurrent PR5650 by zxv publishes the PR5643/PR5644 composition. PR5651 by +Ali Romman corroborates it. This package credits that released composition +and contributes the further four-gate placement. + +New work: distributed scalar updates on an unobserved public field interval, the exact witness and complete conditional price. Prepared for Ali Romman with substantial OpenAI Codex assistance. No subagents. Apache-2.0. The source archive retains all predecessor notices. + +Two-boundary main-assisted helper split and early cleanup: flyingviper with substantial +OpenAI Codex assistance, including independent AI review agents. Apache-2.0. diff --git a/research/p104-paid-meeting-splits/PLAN.json b/research/p104-paid-meeting-splits/PLAN.json new file mode 100644 index 0000000000..84ad2a32d4 --- /dev/null +++ b/research/p104-paid-meeting-splits/PLAN.json @@ -0,0 +1,920 @@ +{ + "meetings": [ + { + "cut": 17050, + "frame": 531, + "moves": [ + { + "event": 17050, + "event_value": [ + "MOVE", + 731, + 529, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "146": "2" + }, + "input": { + "731": "1" + }, + "output": { + "126": "2", + "146": "2", + "188": "-2", + "731": "1" + }, + "pivot": 731, + "retirement": { + "146": "1/2", + "731": "1" + } + } + ] + }, + { + "cut": 17101, + "frame": 543, + "moves": [ + { + "event": 17101, + "event_value": [ + "MOVE", + 706, + 534, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "151": "-2" + }, + "input": { + "706": "1" + }, + "output": { + "151": "-2", + "706": "1", + "707": "1", + "732": "1" + }, + "pivot": 706, + "retirement": { + "151": "-1/2", + "706": "1" + } + } + ] + }, + { + "cut": 17166, + "frame": 518, + "moves": [ + { + "event": 17166, + "event_value": [ + "MOVE", + 713, + 394, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "713": "1" + }, + "input": { + "713": "1" + }, + "output": { + "344": "2", + "713": "1" + }, + "pivot": 713, + "retirement": { + "256": "-1/4", + "713": "1" + } + } + ] + }, + { + "cut": 17230, + "frame": 517, + "moves": [ + { + "event": 17230, + "event_value": [ + "MOVE", + 724, + 438, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "724": "1" + }, + "input": { + "724": "1" + }, + "output": { + "372": "2", + "382": "-2", + "724": "1" + }, + "pivot": 724, + "retirement": { + "724": "1", + "9": "-1/4" + } + } + ] + }, + { + "cut": 17229, + "frame": 517, + "moves": [ + { + "event": 17229, + "event_value": [ + "MOVE", + 725, + 435, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "725": "1" + }, + "input": { + "725": "1" + }, + "output": { + "370": "2", + "375": "-2", + "725": "1" + }, + "pivot": 725, + "retirement": { + "725": "1", + "9": "-1/4" + } + } + ] + }, + { + "cut": 17198, + "frame": 477, + "moves": [ + { + "event": 17198, + "event_value": [ + "MOVE", + 730, + 475, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "730": "1" + }, + "input": { + "730": "1" + }, + "output": { + "407": "2", + "412": "-2", + "730": "1" + }, + "pivot": 730, + "retirement": { + "240": "1/4", + "730": "1" + } + } + ] + }, + { + "cut": 17149, + "frame": 477, + "moves": [ + { + "event": 17149, + "event_value": [ + "MOVE", + 728, + 471, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "728": "1" + }, + "input": { + "728": "1" + }, + "output": { + "406": "2", + "410": "2", + "728": "1" + }, + "pivot": 728, + "retirement": { + "240": "1/4", + "728": "1" + } + } + ] + }, + { + "cut": 17142, + "frame": 517, + "moves": [ + { + "event": 17142, + "event_value": [ + "MOVE", + 722, + 431, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "722": "1" + }, + "input": { + "722": "1" + }, + "output": { + "374": "2", + "380": "2", + "722": "1" + }, + "pivot": 722, + "retirement": { + "722": "1", + "9": "-1/4" + } + } + ] + }, + { + "cut": 17139, + "frame": 518, + "moves": [ + { + "event": 17139, + "event_value": [ + "MOVE", + 714, + 399, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "714": "1" + }, + "input": { + "714": "1" + }, + "output": { + "342": "-2", + "348": "2", + "714": "1" + }, + "pivot": 714, + "retirement": { + "256": "-1/4", + "714": "1" + } + } + ] + }, + { + "cut": 17136, + "frame": 267, + "moves": [ + { + "event": 17136, + "event_value": [ + "MOVE", + 720, + 265, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "720": "1" + }, + "input": { + "720": "1" + }, + "output": { + "231": "2", + "236": "-2", + "720": "1" + }, + "pivot": 720, + "retirement": { + "720": "1", + "92": "-1/4" + } + } + ] + }, + { + "cut": 17134, + "frame": 267, + "moves": [ + { + "event": 17134, + "event_value": [ + "MOVE", + 719, + 261, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "719": "1" + }, + "input": { + "719": "1" + }, + "output": { + "230": "2", + "234": "2", + "719": "1" + }, + "pivot": 719, + "retirement": { + "719": "1", + "92": "-1/4" + } + } + ] + }, + { + "cut": 17134, + "frame": 267, + "moves": [ + { + "event": 17134, + "event_value": [ + "MOVE", + 718, + 260, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "718": "1" + }, + "input": { + "718": "1" + }, + "output": { + "226": "2", + "233": "2", + "718": "1" + }, + "pivot": 718, + "retirement": { + "718": "1", + "92": "-1/4" + } + } + ] + }, + { + "cut": 17088, + "frame": 477, + "moves": [ + { + "event": 17088, + "event_value": [ + "MOVE", + 727, + 470, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "727": "1" + }, + "input": { + "727": "1" + }, + "output": { + "402": "2", + "409": "2", + "727": "1" + }, + "pivot": 727, + "retirement": { + "240": "1/4", + "727": "1" + } + } + ] + }, + { + "cut": 17086, + "frame": 477, + "moves": [ + { + "event": 17086, + "event_value": [ + "MOVE", + 729, + 474, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "729": "1" + }, + "input": { + "729": "1" + }, + "output": { + "401": "2", + "413": "-2", + "729": "1" + }, + "pivot": 729, + "retirement": { + "240": "1/4", + "729": "1" + } + } + ] + }, + { + "cut": 17076, + "frame": 517, + "moves": [ + { + "event": 17076, + "event_value": [ + "MOVE", + 723, + 434, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "723": "1" + }, + "input": { + "723": "1" + }, + "output": { + "370": "2", + "375": "2", + "723": "1" + }, + "pivot": 723, + "retirement": { + "723": "1", + "9": "-1/4" + } + } + ] + }, + { + "cut": 17130, + "frame": 518, + "moves": [ + { + "event": 17130, + "event_value": [ + "MOVE", + 712, + 397, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "712": "1" + }, + "input": { + "712": "1" + }, + "output": { + "338": "-2", + "343": "2", + "471": "-2", + "525": "4", + "712": "1" + }, + "pivot": 712, + "retirement": { + "256": "-1/4", + "712": "1" + } + } + ] + }, + { + "cut": 15115, + "frame": 518, + "moves": [ + { + "event": 15115, + "event_value": [ + "MOVE", + 715, + 396, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "715": "1" + }, + "input": { + "715": "1" + }, + "output": { + "338": "2", + "343": "2", + "471": "2", + "525": "-4", + "715": "1" + }, + "pivot": 715, + "retirement": { + "256": "-1/4", + "715": "1" + } + } + ] + }, + { + "cut": 17081, + "frame": 267, + "moves": [ + { + "event": 17081, + "event_value": [ + "MOVE", + 717, + 264, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "717": "1" + }, + "input": { + "717": "1" + }, + "output": { + "224": "-2", + "226": "2", + "227": "2", + "228": "2", + "229": "2", + "230": "-2", + "231": "-2", + "237": "-2", + "717": "1" + }, + "pivot": 717, + "retirement": { + "717": "1", + "92": "-1/4" + } + } + ] + }, + { + "cut": 14100, + "frame": 105, + "moves": [ + { + "event": 14176, + "event_value": [ + "MOVE", + 115, + 3, + 430, + false + ] + }, + { + "event": 14174, + "event_value": [ + "MOVE", + 179, + 3, + 421, + false + ] + }, + { + "event": 14172, + "event_value": [ + "MOVE", + 192, + 3, + 424, + false + ] + }, + { + "event": 14607, + "event_value": [ + "MOVE", + 455, + 3, + 266, + false + ] + }, + { + "event": 14879, + "event_value": [ + "MOVE", + 557, + 3, + 756, + false + ] + } + ], + "splits": [ + { + "injection": { + "192": "1/2", + "557": "1" + }, + "input": { + "557": "1" + }, + "output": { + "557": "1" + }, + "pivot": 557, + "retirement": { + "557": "1" + } + }, + { + "injection": { + "115": "-1", + "192": "-1", + "455": "1" + }, + "input": { + "455": "1" + }, + "output": { + "115": "2", + "455": "1" + }, + "pivot": 455, + "retirement": { + "455": "1" + } + }, + { + "injection": { + "115": "1/2", + "179": "-1/2" + }, + "input": { + "115": "-1", + "238": "1", + "239": "-1", + "243": "-1/2", + "244": "-1/2", + "245": "1/2", + "248": "1/2", + "249": "-1/2", + "254": "1/2", + "255": "-1/2", + "257": "-1", + "272": "-1/2", + "276": "1/2", + "280": "1/2", + "286": "1/2", + "306": "-1/2", + "308": "1/2", + "318": "1/2", + "334": "1", + "335": "-1", + "342": "-1/2", + "347": "1/2", + "348": "-1/2", + "354": "-1/2", + "356": "1/2", + "359": "-1/2", + "366": "1/2", + "367": "-1", + "372": "1", + "382": "1", + "383": "-1", + "384": "1/2", + "388": "1/2", + "398": "1/2", + "399": "-1/2", + "402": "1/2", + "403": "-1/2", + "404": "-1/2", + "408": "1/2", + "409": "-1/2", + "414": "1/2", + "415": "-1/2", + "417": "-1", + "433": "-1/2", + "438": "-1/2", + "439": "1/2", + "442": "1/2", + "443": "-1/2", + "444": "1/2", + "445": "-1/2", + "460": "1", + "469": "1", + "482": "-1", + "499": "1/2", + "554": "-1", + "663": "1" + }, + "output": { + "115": "-1" + }, + "pivot": 115, + "retirement": { + "115": "1", + "179": "-1", + "763": "1" + } + } + ] + }, + { + "cut": 16900, + "frame": 245, + "moves": [ + { + "event": 16974, + "event_value": [ + "MOVE", + 232, + 920, + 127, + false + ] + }, + { + "event": 16952, + "event_value": [ + "MOVE", + 452, + 916, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "452": "1" + }, + "input": { + "452": "1" + }, + "output": { + "452": "1", + "532": "2" + }, + "pivot": 452, + "retirement": { + "232": "-1", + "452": "1" + } + } + ] + }, + { + "cut": 16900, + "frame": 246, + "moves": [ + { + "event": 16971, + "event_value": [ + "MOVE", + 231, + 905, + 127, + false + ] + }, + { + "event": 16969, + "event_value": [ + "MOVE", + 448, + 902, + 127, + false + ] + } + ], + "splits": [ + { + "injection": { + "448": "1" + }, + "input": { + "448": "1", + "707": "4" + }, + "output": { + "448": "1", + "484": "-1" + }, + "pivot": 448, + "retirement": { + "231": "-1", + "448": "1" + } + } + ] + } + ], + "source_word_sha256": "a1c8277189a811546bdc7b147d72e6a594504ff9585c9bf59a5681aa873abb01" +} diff --git a/research/p104-paid-meeting-splits/PRICING-EDITS.json b/research/p104-paid-meeting-splits/PRICING-EDITS.json new file mode 100644 index 0000000000..a5e6c4ec22 --- /dev/null +++ b/research/p104-paid-meeting-splits/PRICING-EDITS.json @@ -0,0 +1,38 @@ +[ + [ + "Q('31102457/10000000000'), Q('622049141/200000000000')", + "Q('.00311301600'), Q('.003113016005')" + ], + [ + "PREVIOUS = Q('.00310915222')", + "PREVIOUS = Q('.00311024570')" + ], + [ + "sum(targets.values()) == 12976 and sum(paid.values()) == 66348", + "sum(targets.values()) == 13390 and sum(paid.values()) == 66834" + ], + [ + "'kappa_decimal':'0.00311024570','previous_open_pr5713'", + "'kappa_decimal':'0.00311301600','previous_pr5718'" + ], + [ + "Apache-2.0.\n", + "Paid intermediate meetings: Ali Romman with substantial OpenAI Codex assistance.\nApache-2.0.\n" + ], + [ + "t,u,v,c,b = 1-TESTED,Q(1,5),1024,17,18", + "t,u,v,c,b = 1-TESTED,Q(1,7),1024,16,17" + ], + [ + "reserve,decay = Q(1,10**12),Q(39,40)", + "reserve,decay = Q(1,10**12),Q(125,128)" + ], + [ + " L.need(wrong_cutoff[0] > 1, 'Old cutoff fails with this helper inventory')", + " L.need(wrong_cutoff[0] > 1, 'Old cutoff fails with this helper inventory')\n old_completion = E.divide((Q(sum(T.values())*18),)*2,E.mul(E.power(17,TESTED),target))\n L.need(old_completion[0] > Q(39,40), 'PR5718 completion-tail bound fails with the new target count')\n old_offset = E.divide(E.moment(P,t+Q(1,5)),E.mul(E.power(16,Q(1,5)),target))\n L.need(old_offset[0] > decay, 'The old tail offset fails at the new cutoff')" + ], + [ + "'negative_controls':{'old_cutoff':", + "'negative_controls':{'source_completion':'Rejected at cutoff17, floor18 and decay39/40',\n 'source_offset':'Rejected at cutoff16 with tail offset1/5',\n 'old_cutoff':" + ] +] diff --git a/research/p104-paid-meeting-splits/PROOF.md b/research/p104-paid-meeting-splits/PROOF.md new file mode 100644 index 0000000000..b98dddcb5b --- /dev/null +++ b/research/p104-paid-meeting-splits/PROOF.md @@ -0,0 +1,177 @@ +# Paid intermediate meetings + +## Scope and source + +The source is flyingviper's PR5718, commit +`a1534ac45401c9a9c80c07aa65c89e00e33594f8`. Its conditional exponent is +0.00311024570. The source word has canonical SHA256 +`a1c8277189a811546bdc7b147d72e6a594504ff9585c9bf59a5681aa873abb01`. +The retained export includes its full source closure and attribution. + +The new word creates intermediate meetings inside paid native queries. +It then applies the independent-helper basis identity from PR5599/5609 at +those meetings. The elementary linear algebra is not a new theorem. +The new contribution is the changed native schedule, its 23 compatible +helper splits, and the complete charged exponent calculation. + +## Creating a meeting + +Let a public field have a pending native query from frame U to frame V, +with U strictly contained in V. Select an intermediate frame F with +U strictly contained in F strictly contained in V. Replace the query +by U to F followed by F to V. The exact frame maps compose to the old +map, including its phase. The native verifier checks both new maps. + +The first part can move earlier across events that do not read or write +this field. The constructor checks that condition against every event +before the old query. Other operations act on different physical fields. +Thus the new partial query commutes with them. This creates a real field +at F; it does not provide a free cross-frame scalar operation. + +Several fields can advance to the same F. At that meeting, multiple +independent helper modes can share the added queries. All subdivisions +remain in the program and in the paid histogram. + +## Exact helper split + +Let A be the scalar prefix at the new meeting and B its suffix. Write +T = BA for the complete scalar map. Owned initialization and erasure +make some internal maps singular; the argument does not invert A or B. +Use a row a and column b supported on fields that are actually at F. +Define c = aA and d = Bb. The constructor checks, over rational numbers, + +```text +ab = 1, cd = 1, Ad = b. +``` + +Both c and d use only independent helpers with empty input frame and +full output frame. The complete source acts as identity on their rows +and columns. In particular, cT = c and Td = d. Also, c is zero on main +inputs and d is zero on main outputs. Choose a helper pivot h for which +a_h and d_h are dyadic units. + +At the input boundary, use the basis Q given by these ordinary operations: + +```text +h -= sum(c_i * i, i != h) +h *= d_h +i += (d_i/d_h) * h, for each i != h in d +``` + +The identities cd = 1 and d_h != 0 imply Q e_h = d and cQ = e_h^T. +At F, use the basis S given by: + +```text +h *= a_h +h += sum(a_i * i, i != h) +i -= b_i * h, for each i != h in b +``` + +The identities ab = 1 and a_h != 0 imply S b = e_h and +e_h^T S = a. Thus S A Q e_h = e_h and e_h^T S A Q = e_h^T. +The cut coordinate h is exactly the old independent input, and no other +cut coordinate depends on that input. Retire it at F. A new independent +input z takes its place. Apply S inverse with the new label, continue +the original suffix with that label, then apply Q inverse at the full +output frame. + +Replacing h at the cut changes the suffix by d times the difference +between z and the old input. Since Q acts only on identity helper +coordinates, it commutes with T. The final Q inverse therefore returns +every old continuing helper to its input and returns the new helper to z. +The retired helper already holds its old input. All main shear endpoints +are unchanged. The exact whole-word checks also verify this conclusion +for every public input and every dirty owned input column. + +All coefficients are dyadic. The constructor uses only ADD and dyadic-unit +SCALE for the two bases and their inverses. Every scalar operand must share +its actual frame. Each split shifts every owned label by one; it does not +change the owned allocation, initialization or erasure schedule. + +## Concrete construction + +PLAN.json gives exact event indices, original MOVE values, cut vectors and +boundary vectors. No solver or finite-field computation is used during replay. +WITNESS.json records the regenerated construction and its canonical digest. + +The first 18 meetings each subdivide one query. Their pivots are +731, 706, 713, 724, 725, 730, 728, 722, 714, 720, 719, 718, 727, 729, +723, 712, 715 and 717, in that order. Each adds one independent target. + +The next meeting advances fields 115, 179, 192, 455, 557 to frame 105 at cut 14100 +of that intermediate word. Five subdivisions support three splits, with +pivots 557, 455, 115. Each split is checked again on the word produced by +its predecessor. The final two meetings each use two subdivisions. They +split pivot 452 at frame 245 and pivot 448 at frame 246. + +There are 23 added public inputs and 27 added paid queries. The final word +has 767 public inputs, nine dirty owned labels, eleven owned lifetimes, +peak two owned fields, and 25,843 events. Its canonical SHA256 is +`c3b338bd5b48d916f332a64470a86d2ee5534d8839c9d80b23a7e89bed9742f5`. +Only source catalogue frames occur in this final construction. + +## Complete invoice + +Let H_r = r^(1-kappa). Relative to PR5718, one complete local call changes +the histograms as follows: + +```text +Delta targets = 23 H1 + 23 H8 - 23 H9 +Delta paid = 35 H1 - 5 H2 - 3 H3 + 16 H5 - 16 H6 +Delta margin = 23 H8 - 23 H9 - 12 H1 + 5 H2 + 3 H3 - 16 H5 + 16 H6 +``` + +The paid histogram is +`{1:2219,2:454,3:492,4:92,5:175,6:6,7:15}`. +The helper target histogram is +`{1:25,2:5,4:91,5:6,7:6,8:38,9:388}`. +The local rank mass is unchanged. The full p16/a7 caller has 18 forward +local calls, 15 query shears, every whole idle, and every main target from +the source caller. The full target count is 13,390; the full paid count is +66,834. Its rank-mass surplus remains 760. + +The collective changes do not improve every concave tariff. The general +signed-invoice preflight is inconclusive. The full calculation therefore +uses two rational interval engines at the declared exponent. It also +proves a unique raw crossing below the retained BIT cap. RESULT.json gives +that interval, its headroom, both moments and all compiler parameters. + +## Ordinary work and compiler + +The literal scalar allowance is 224,138. The source local engine is retained +with one declared change: the old public-count range is replaced by the +exact count 767. The bound of fewer than 26,000 operations is unchanged. +Thus the scalar growth allowance 2^(16*26000) still applies. The input +count is finite and is charged in the route and normalizer census. + +Every native query, helper normalizer, main adapter, scalar operation, +owned operation and route enters the retained complete cost calculation. +The finite local allowance is below 10^7 and the complete ordinary bound +is below 10^9. The caller construction is compared with its exact retained +CONTROLLER.json, then its physical maps are replayed on the new local word. + +The extra targets require new compiler parameters. The cutoff is 16, the +floor is 17, the tail offset is 1/7, and the decay bound is 125/128. The old +cutoff 17 with decay 39/40 fails its completion-tail test. The power 1024, +reserve 10^-12 and 128-step blocks are retained. Since (125/128)^128 < 1/16, +eight blocks still give the required 2^-32 remainder. The complete calculation checks all tail ratios, +the uniform threshold and its predecessor rejection, the actual BIT stock, +54 strict outer inequalities and four functional checks. The published +exponent is below the tested saving and the raw crossing. + +## Verification limits + +The literal rational checker and dense integer transpose checker use +different implementations. Both are author-side checks. Native equality +includes signed Pauli images and global phase. Actual-word mutations remove +retirement, projection, injection, boundary repair or a paid query, or corrupt +an input boundary, target or owned label. Full-invoice controls remove a +query or invent a target. These must fail in both Python modes. + +The five inherited assumptions remain: all-column native behavior, owned +erasure, compiler closure, precision/tape implementation and analytic recovery. +The huge uniform word and complete rounded multiplier are not materialized. +This is a conditional exponent improvement, not a practical multiplication +benchmark, independent human acceptance or a selected-frontier update. + +Prepared by Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/p104-paid-meeting-splits/README.md b/research/p104-paid-meeting-splits/README.md new file mode 100644 index 0000000000..b4bd9cd66b --- /dev/null +++ b/research/p104-paid-meeting-splits/README.md @@ -0,0 +1,86 @@ +# Conditional kappa 0.00311301600 from paid intermediate meetings + +This package raises the complete conditional exponent from PR5718's +0.00311024570 to **0.00311301600**. The absolute gain is 0.00000277030, +or **0.0890701%** relative to that source. It is below the donor's 1% target. +The selected frontier remains unchanged. + +The construction creates new meetings inside paid native queries. It then +retires independent helper inputs at those meetings and supplies new independent +inputs for the continuation. All transport is paid. Eighteen single-query +meetings and three collective meetings give 23 compatible helper splits with +27 added queries per local call. The target gain exceeds the added cost at +the certified exponent. See [the proof](PROOF.md), [exact plan](PLAN.json), +[complete result](RESULT.json) and [validation record](VALIDATION.md). + +## Replay + +Use CPython 3.12 and the standard library: + +```sh +python3.12 -B scripts/research_package.py --package research/p104-paid-meeting-splits +``` + +VERIFY.json runs normal and optimized modes in sequence. Each has a 600-second +limit. Each mode authenticates the full retained source archive, reconstructs +the candidate, verifies every scalar input and native phase, replays the complete +physical caller, and checks the full price, compiler and outer predicates. +The expected marker is `PASS_P104_PAID_MEETINGS_KAPPA_00311301600`. +The verifier compares every retained output field; it does not accept a cached +success marker. No Git command, network access or solver is needed for the +package verifier itself. + +## Scope, overlap and credit + +Work began on canonical main `df0137efd35e11b4445734bf612bdd4c7ebc330c`. +The construction was prepared on refreshed main +`553d26d796fde9871ff2661a49ac7732e945410f`, under priority revision 7. +The publication commit is rebased onto the final refreshed main below. The final +upstream check at `de5ec2e7a6074068452f45b1a191b5c72832df4a` read revision 8. +Its helper-inventory card requires legal independent targets and the complete +caller/compiler bill, which this package checks. The original card and source +pins are retained. The selected record is unchanged. [Discussion5600](https://github.com/CrocSwap/integer-mult-bounds/discussions/5600) +is the canonical investigation. The public +[claim](https://github.com/CrocSwap/integer-mult-bounds/discussions/5600#discussioncomment-19197520) +changes the native word and charges each new meeting. A later overlapping +single-query claim was found in Discussion5645. The exact inventory and +scope separation were posted in this +[coordination update](https://github.com/CrocSwap/integer-mult-bounds/discussions/5645#discussioncomment-19198689). +The other investigation then +[released the overlapping scope](https://github.com/CrocSwap/integer-mult-bounds/discussions/5645#discussioncomment-19198871) +and published a 17-split checkpoint without a duplicate PR. It confirms overlap +in 17 of the single-query cuts. Its later work uses nonnested excursions, +which this package does not investigate. No claim of exclusive discovery +follows from the claim ordering. + +The first overlap cache covered open PR bodies and Discussion records at +14:03–14:05 UTC on 2026-10-26. Later live checks covered new PRs and the active +P104 claims. Local package coverage was sparse. Unpublished work is outside +that coverage. Existing-meeting checks and active-mode physical delivery are +different scopes. Searches after the 23-split construction found no further +candidate in their tested line, plane, codimension-two and hyperplane catalogues. +Those modular discovery screens are not a global ceiling or a rational +impossibility proof. + +Credit flyingviper's [PR5718](https://github.com/CrocSwap/integer-mult-bounds/pull/5718) +for the starting word and its two-boundary helper construction; Ali Romman +for PR5713 and the complete caller; Joel Pulikkan/GamingPuzzled for PR5684; +the PR5599/5609 helper basis interface; and the published PR5680 cut checks. +The native, controller, recursion, compiler, BIT and analytic sources retain +all prior credit in [NOTICE](NOTICE) and the authenticated source archive. +PR5580 is part of that retained lineage. + +New work: Ali Romman with substantial OpenAI Codex assistance. No subagents. +All new checks are author-side checks. Apache-2.0. + +## Open next questions + +1. Can an independent reviewer reproduce the collective frame 105 meeting? + Start with its five query subdivisions and three exact cut identities, + then run the full registered replay. Independent acceptance is pending. +2. Can another collective transport design reach a 1% gain? Start with an + explicit new physical word and full target/paid invoice. The finite searches + here do not bound other frames, bases or schedules. +3. Can the five inherited framework assumptions be resolved? Start with one + assumption in the selected review and its actual caller. No materialized + uniform word or complete rounded multiplier is supplied here. diff --git a/research/p104-paid-meeting-splits/RESULT.json b/research/p104-paid-meeting-splits/RESULT.json new file mode 100644 index 0000000000..6c7d00db30 --- /dev/null +++ b/research/p104-paid-meeting-splits/RESULT.json @@ -0,0 +1,368 @@ +{ + "complete_cost": { + "compiler": { + "H": 80511200000000000, + "N": "2^80511200000000000", + "eta": { + "lower": "0.000000128467060072022479029026", + "upper": "0.000000128467060072022479029027" + }, + "gap": "1/1400000000000", + "integer_test_exponent": 57508, + "logarithm_power": 1024, + "theta": "63/64", + "uniform_saving": "2179111203/700000000000", + "word_materialized": false + }, + "full_forward_calls": 18, + "gain": "27703/10000000000", + "kappa": "389127/125000000", + "kappa_decimal": "0.00311301600", + "margin_at_previous": { + "lower": "0.671843595886436115991555725347", + "upper": "0.671843595886436115991555725348" + }, + "negative_controls": { + "old_BIT": "Rejected by outer inequalities", + "old_cutoff": "Rejected by completion-tail ratio greater than one", + "source_completion": "Rejected at cutoff17, floor18 and decay39/40", + "source_offset": "Rejected at cutoff16 with tail offset1/5" + }, + "nonrecursive": { + "fixed_scalar_growth_bound": "At most 2^(16*26000) before native factors; a declared constant, not an attained norm.", + "local_paid_rank_mass": 5987, + "local_routes": 5239000, + "local_scalar": 224138, + "peak_owned_fields": 2, + "raw_budget": 1000000000, + "raw_scalar_upper": 184647552, + "tensor_native_growth_bound": "Each rank-r Gaussian has row l1 norm at most 2^(rf); use local_paid_rank_mass for the whole word." + }, + "ordinary_BIT": { + "admitted": "17/5000", + "after_cover": "69/20000", + "atom": "1/250", + "before_cover": "3459/1000000", + "ordinary_saving": "8590884599/2500000000000", + "prime_rule": "odd q > 2^26*N^5 avoiding all fixed denominators and rank witnesses" + }, + "outer": { + "functional_checks": { + "actual_new_BIT_stock_sublinear": "348599999999253/350000000000000", + "fixed_halo_explicit_metadata_branch": "26950000000001/350000000000", + "new_BIT_row_stock_sublinear_in_active_group": "1395799999997009/1400000000000000", + "new_semantic_group_guard": "3/1400000000000" + }, + "margins": { + "boundary_algebraic_matrix": "6101511365595641777597/1960000000000000000000000", + "fused_gaussian": "6101511365586925332791/1960000000000000000000000", + "global_coordinate_router": "1089555601/350000000000", + "group_bit_router": "1525377841746731333197/490000000000000000000000", + "group_scans": "699999999999/700000000000", + "main_transform": "6101511364195641777597/1960000000000000000000000", + "microbox_face_corrections": "26950000000001/350000000000", + "polynomial_products": "1399999999999/1400000000000", + "sparse_union_movement": "802351511365595641777597/1960000000000000000000000" + }, + "parameters": { + "a": "1089555601/350000000000", + "b": "871644481/280000000000", + "beta": "1399999999997/1400000000000", + "bit_saving": "17/5000", + "cap_xi": "1782351511364195641777597/1960000000000000000000000", + "complex_uniform_saving": "2179111203/700000000000", + "d": "1/1400000000000", + "epsilon": "1399999999999/1400000000000", + "kappa": "389127/125000000", + "lambda_": "398754793599/400000000000", + "lambda_prime": "1395641777597/1400000000000", + "layout": "1/1400000000000", + "q": "4358222403/1400000000000", + "r0": "1/14000000000000", + "stop": "1/1400000000000", + "tested_saving": "622603201/200000000000" + }, + "strict_checks": { + "actual_bit_above_effective": "100444399/350000000000", + "actual_logarithmic_gamma_guard": "1/1400000000000", + "actual_logarithmic_group_guard": "177648488637904358222403/980000000000000000000000", + "alpha_logarithm_absorption": "1/14000000000000", + "boundary_algebraic_matrix_above_kappa": "5595641777597/1960000000000000000000000", + "cap_above_band": "802351511364195641777597/1960000000000000000000000", + "cap_below_cell": "177648488634404358222403/1960000000000000000000000", + "cap_below_phase_cell_power": "2137648488635804358222403/1960000000000000000000000", + "complex_above_effective": "1/1400000000000", + "complex_below_one_over_32": "7878355519/280000000000", + "complex_endpoint": "1/700000000000", + "epsilon_below_one": "1/1400000000000", + "epsilon_positive": "1399999999999/1400000000000", + "fine_prime_halo_umbrella": "7/2", + "fused_gaussian_above_kappa": "5586925332791/1960000000000000000000000", + "gaussian_above_main": "695641777597/980000000000000000000000", + "global_coordinate_router_above_kappa": "1/350000000000", + "global_gamma_power_slack": "9/14000000000000", + "group_below_dimension": "1/700000000000", + "group_bit_router_above_kappa": "1746731333197/490000000000000000000000", + "group_gauge_power_slack": "177648488637834358222403/980000000000000000000000", + "group_key_fits_record": "1/700000000000", + "group_positive": "1399999999997/1400000000000", + "group_scans_above_kappa": "697820888799/700000000000", + "halo_covers_generic_inverse_radius": "5", + "improvement_over_user_baseline": "691022790400418148631/500000000000000000000000", + "lambda_above_internal": "1/2800000000000", + "lambda_above_sigma": "3/2800000000000", + "lambda_above_tau": "1/2800000000000", + "lambda_prime_above_lambda": "1/2800000000000", + "lambda_prime_above_leaf": "559128355519/392000000000000000000000", + "leaf_saving_above_effective": "279128355519/392000000000000000000000", + "main_transform_above_kappa": "4195641777597/1960000000000000000000000", + "membership_arithmetic_fits_record": "1/1400000000000", + "microbox_face_corrections_above_kappa": "26948910444401/350000000000", + "microbox_halo_volume": "110600000000003/1400000000000", + "new_complex_uniform_saving_above_b": "1/1400000000000", + "new_semantic_guard_with_C1_one": "1/1400000000000", + "polynomial_products_above_kappa": "1395641777599/1400000000000", + "positive_layout_slack": "1/1400000000000", + "q_below_effective": "1/1400000000000", + "q_below_internal": "1/1400000000000", + "q_below_leaf": "559128355519/392000000000000000000000", + "q_positive": "4358222403/1400000000000", + "short_record_fallback": "279128355519/280000000000", + "source_axis_superpolynomial": "1/1400000000000", + "sparse_union_movement_above_kappa": "796250000005595641777597/1960000000000000000000000", + "stop_below_one": "1399999999999/1400000000000", + "stop_positive": "1/1400000000000", + "strassen_integer_power_gap": "1951441519231", + "support_router_span": "3/1400000000000", + "theta_positive_polynomial_power": "2", + "union_header_fits_record": "3/1400000000000", + "union_tag_work_per_visit_fits_record": "3/1400000000000" + } + }, + "paid": { + "1": 41502, + "16": 416, + "2": 8172, + "24": 416, + "3": 8856, + "32": 416, + "4": 1656, + "40": 416, + "48": 416, + "5": 3150, + "56": 416, + "6": 108, + "64": 416, + "7": 270, + "72": 208 + }, + "paid_calls": 66834, + "previous_pr5718": "31102457/10000000000", + "productive_fields": 13390, + "query_shears": 15, + "rank_mass_surplus": 760, + "raw_ceiling": { + "derivative_upper": "-46163756548475525683286882541938968496286769063021259273845235/196159429230833773869868419475239575503198607639501078528", + "interval": [ + "0", + "17/5000" + ] + }, + "raw_headroom": [ + "2227/50000000000000", + "891/20000000000000" + ], + "raw_root_interval": [ + "155650802227/50000000000000", + "62260320891/20000000000000" + ], + "relative_gain_percent": "2770300/31102457", + "strictification": { + "alpha": { + "lower": "0.999999999959871826189231120265", + "upper": "0.999999999959871826189231120266" + }, + "cutoff": 16, + "delta": { + "lower": "0.944337850929036935796422799041", + "upper": "0.944337850929036935796422799042" + }, + "floor": 17, + "gamma": { + "lower": "0.975505901198581652685454673725", + "upper": "0.975505901198581652685454673726" + }, + "normalized_paid_upper": "1048576000976562501/1048576001073741824", + "power": 1024, + "reserve": "1/1000000000000", + "tail_block": 128, + "tail_decay": "125/128", + "tail_offset": "1/7", + "tested": "622603201/200000000000" + }, + "targets": { + "1": 450, + "145": 208, + "17": 416, + "2": 90, + "25": 416, + "33": 416, + "4": 1638, + "41": 416, + "49": 416, + "5": 108, + "57": 416, + "65": 416, + "7": 108, + "73": 208, + "8": 684, + "9": 6984 + }, + "whole_idle_jobs": 3120 + }, + "limits": [ + "The five inherited framework assumptions remain.", + "The gain is below the requested one percent.", + "The huge uniform word and rounded multiplier are not materialized.", + "Author checks are not independent human or formal acceptance.", + "The selected frontier is unchanged." + ], + "literal_audit": { + "columns": 776, + "owned_lifetimes": 11, + "owned_peak": 2, + "paid": { + "1": 2219, + "2": 454, + "3": 492, + "4": 92, + "5": 175, + "6": 6, + "7": 15 + }, + "scalar": 224138, + "status": "PASS_ALL_SCALAR_INPUTS_FRAMES_OWNERSHIP_INVOICES", + "targets": { + "1": 25, + "2": 5, + "4": 91, + "5": 6, + "7": 6, + "8": 38, + "9": 388 + } + }, + "local": { + "endpoint_coefficients": 602176, + "helpers": { + "1": 25, + "2": 5, + "4": 91, + "5": 6, + "7": 6, + "8": 38, + "9": 388 + }, + "owned_fields": 9, + "owned_lifetimes": 11, + "paid": { + "1": 2219, + "2": 454, + "3": 492, + "4": 92, + "5": 175, + "6": 6, + "7": 15 + }, + "paid_rank_mass": 5987, + "peak_owned_fields": 2, + "public_inputs": 767, + "real_scalar_allowance": 224138 + }, + "native": { + "distinct_maps": 2920, + "helper_normalizers": 1118, + "helpers": { + "1": 25, + "2": 5, + "4": 91, + "5": 6, + "7": 6, + "8": 38, + "9": 388 + }, + "main_adapters": 208, + "proof": "Every signed Pauli image and exact global phase; frame induction at every positive tensor width", + "recipe_payload_sha256": "4935fae062ded36882eabd6e454a0fc8207e2b44bfbfb60a4c00236f9728eb2a", + "wrong_phase_rejected": true + }, + "negative_controls": { + "invent_extra_productive_target": "Every productive helper has a native target", + "missing_central_translation": "Rejected by the complete Laurent endpoint", + "omit_added_query": "Scalar destination coframe", + "omit_cut_projection": "Exact arbitrary-input endpoint row 146", + "omit_fresh_injection": "Exact arbitrary-input endpoint row 146", + "omit_initial_basis": "Exact arbitrary-input endpoint row 126", + "omit_owned_label_shift": "Owned INIT uses an inactive owned label", + "omit_paid_query_from_bill": "Complete field and call counts", + "omit_retirement": "Exact arbitrary-input endpoint row 146", + "omit_terminal_inverse": "Exact arbitrary-input endpoint row 126", + "retain_uncharged_H9_target": "All declared final charts and owned exits", + "wrong_fresh_input_frame": "Scalar source coframe" + }, + "physical_caller": { + "central_square_columns": 53248, + "full_calls": 18, + "main_targets": { + "145": 208, + "17": 416, + "25": 416, + "33": 416, + "41": 416, + "49": 416, + "57": 416, + "65": 416, + "73": 208 + }, + "new_paid_jobs": 0, + "physical_contacts": 7488, + "ports": 104, + "route_payload_sha256": "7f4f0ca768ffbc4f93dcff575592c4c67411f46b4289e45b73f715a2ad47b142", + "tensor_rule": "Factorwise native maps; scalar signs stay outside the tensor power.", + "whole_idle_jobs": { + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 416, + "72": 208 + }, + "wrapper_sites": [ + 1, + 3, + 5, + 7, + 9, + 11, + 13, + 15, + 17, + 19, + 21, + 23, + 25, + 27, + 29, + 31 + ] + }, + "separate_columns": { + "arithmetic": "Dense integer rows with binary denominators; reverse chronology", + "coefficients": 602176, + "columns": 776 + }, + "source_commit": "a1534ac45401c9a9c80c07aa65c89e00e33594f8", + "status": "PASS_P104_PAID_MEETINGS_KAPPA_00311301600" +} diff --git a/research/p104-paid-meeting-splits/SOURCES.json b/research/p104-paid-meeting-splits/SOURCES.json new file mode 100644 index 0000000000..54d6e538fc --- /dev/null +++ b/research/p104-paid-meeting-splits/SOURCES.json @@ -0,0 +1,326 @@ +{ + "schema_version": 1, + "base_commit": "553d26d796fde9871ff2661a49ac7732e945410f", + "files": [ + { + "path": "certificates/selected-result.json", + "sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5", + "git_blob": "581f8d87008354eb5b869f7ed9de1317ad837ce8", + "usage": "provenance" + }, + { + "path": "docs/research/agent-task-catalog.json", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72", + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/NOTICE", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/NOTICE", + "sha256": "c474479a870ae53ae0bcb84f656c2b222380395bbee767ee15e5f9c5b4ce7e79", + "git_blob": "f83cecccf587acfa313c8259c0bf6db05d60b52d", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/PRICING-EDITS.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/PRICING-EDITS.json", + "sha256": "dbb82f4b4a8d472c42ba22441d2db9dc26580b5f42347c608d093c14c00f5bfd", + "git_blob": "43c33c00cc05755e2f0f0cdb4c8249a849f9c4ce", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/PROOF.md", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/PROOF.md", + "sha256": "83c86475a632a92497d2c7a149cca189b08412dfbb59efeac5a0967326ef567e", + "git_blob": "0eeb4ce7ecb8a558cf62f3052ed4e80c5da198a2", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/README.md", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/README.md", + "sha256": "82268387d28d74afbbb528fdce139d169011baa90d3d2280d60045210d0a1d41", + "git_blob": "d86aa5b78cb28135e8dce9148d293530ef84614c", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/RESULT.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/RESULT.json", + "sha256": "8e62f19bc795cac7712d31f955b71587e251dc94f1a02a20235e1ea740015db7", + "git_blob": "a83d70e025254e217c01ca413f6823937e82f3d9", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/SOURCES.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/SOURCES.json", + "sha256": "e0910ccba102ee174aed44e3eae9249f91e215e3bfcf3517938b144d514b2d40", + "git_blob": "8ac6a642e01fb7bf391a1de1c31d52352a47c3f9", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/TASK.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/TASK.json", + "sha256": "49277d8555473c6e1a9bee4c4e4d2f14ca8ed0ddd3472e6eb82e94d41a9b9834", + "git_blob": "a37c6de3ba76511438f4988325ac8749b8f3f142", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/VALIDATION.md", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/VALIDATION.md", + "sha256": "100d249e47c9630e77ca31a4aac85f4ef84df5ddcfc9977daf1ac42d160e9a38", + "git_blob": "241904e35dd9cf5fbb25a24e06c448f4391aa34e", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/VERIFY.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/VERIFY.json", + "sha256": "eee6981e3c3243dd69d19c68042e6087dc97780016a6aa56a74fb438af1f9fd5", + "git_blob": "5550c891e8c17cdefe14b5dd585f4bfeaf887943", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/WITNESS.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/WITNESS.json", + "sha256": "0e78b2fbc34b52662f7b05733e3a3132599c55486dd215d7b96aaaf0c1bff804", + "git_blob": "88d25590010052ebe4da2b575803f618241500eb", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/WORD.json.gz", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/WORD.json.gz", + "sha256": "cff7196f8b168c4ebf8227185eed98387b66ec5db0179108adfea4045775cc31", + "git_blob": "4db015aca34ea957dd8b3b4d7ae4fa12b89934f8", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/checks.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/checks.py", + "sha256": "5ac66d250b7cc244003706e621d1cefff7c5d27f6055c5a9ce9bd40fac0e7fa8", + "git_blob": "308805a32d707e8e5da11991e8a51da8992ea4ce", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/construct.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/construct.py", + "sha256": "c6bc6ee170373e52d8bdba3bdd9d435be3062fab3999e5c6f8ca817d8feb77a2", + "git_blob": "4109dca1e26840f5a778f0cadbbe095632c2eace", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-boundary-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-boundary-receipt.json", + "sha256": "f043c9068edb8daef9a2efa1e4d4d20b0a1793b58af2c6ee444467393890aad8", + "git_blob": "2ff3807f9d6aa395eb0aa6020cd7c89a5f2fa93a", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-caller-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-caller-receipt.json", + "sha256": "df4530f2b2a609d3b8ca41bd95d0077aa25f8e76b44a8d2c53060f75bf9bd2c8", + "git_blob": "f5dc48b2dc3b65aca3a8f3689a175d2472a688b8", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-scalar-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-scalar-receipt.json", + "sha256": "dc5cbe2b73cb622e42a9185a6a5f5e1e1524e7d135774d209b68d86d5343e34f", + "git_blob": "5ab83bf2affdd661b7ab773781dd419e25960ffd", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-version-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-version-receipt.json", + "sha256": "5b94a636a1065b2fde72fe02c9d4220395bbea6a9f15793f6db5d0703a577eec", + "git_blob": "8e967beadc9bc775de2a7c907db117b48ac66865", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/inputs/pr5713-source.tar", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/inputs/pr5713-source.tar", + "sha256": "c4d8d0bcd6231eb4539a76d66b0dbd465313cbc50d279ca974a55fecb935d544", + "git_blob": "ec8f4bccaca147bc80cec078147fb95bc515036e", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/pricing.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/pricing.py", + "sha256": "1f074ad6b2512755f73bf5276e304838e2228aa4e96bcd580dc5de726894c587", + "git_blob": "737aa1906e5cb5b8606c89c6b8c1ba1639e1bd1d", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/sources.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/sources.py", + "sha256": "415213c90554877cc4b0c8a6c4a36286346cb8eb33c7ea11516b48fa3aa48186", + "git_blob": "65b9ac26abba46f52c070f7fbc7a71b24bb17108", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/verify.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/verify.py", + "sha256": "abefcebe874d093487497b8eea1e726739c070fa1460ea173abcaaee086e9eba", + "git_blob": "77f203216ad4d4e05203c915886babfbc367db5a", + "usage": "provenance" + } + ], + "direct_sources": [], + "archived_files": [ + { + "path": "research/p104-two-boundary-helper-split/NOTICE", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/NOTICE", + "sha256": "c474479a870ae53ae0bcb84f656c2b222380395bbee767ee15e5f9c5b4ce7e79", + "git_blob": "f83cecccf587acfa313c8259c0bf6db05d60b52d", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/PRICING-EDITS.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/PRICING-EDITS.json", + "sha256": "dbb82f4b4a8d472c42ba22441d2db9dc26580b5f42347c608d093c14c00f5bfd", + "git_blob": "43c33c00cc05755e2f0f0cdb4c8249a849f9c4ce", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/PROOF.md", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/PROOF.md", + "sha256": "83c86475a632a92497d2c7a149cca189b08412dfbb59efeac5a0967326ef567e", + "git_blob": "0eeb4ce7ecb8a558cf62f3052ed4e80c5da198a2", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/README.md", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/README.md", + "sha256": "82268387d28d74afbbb528fdce139d169011baa90d3d2280d60045210d0a1d41", + "git_blob": "d86aa5b78cb28135e8dce9148d293530ef84614c", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/RESULT.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/RESULT.json", + "sha256": "8e62f19bc795cac7712d31f955b71587e251dc94f1a02a20235e1ea740015db7", + "git_blob": "a83d70e025254e217c01ca413f6823937e82f3d9", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/SOURCES.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/SOURCES.json", + "sha256": "e0910ccba102ee174aed44e3eae9249f91e215e3bfcf3517938b144d514b2d40", + "git_blob": "8ac6a642e01fb7bf391a1de1c31d52352a47c3f9", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/TASK.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/TASK.json", + "sha256": "49277d8555473c6e1a9bee4c4e4d2f14ca8ed0ddd3472e6eb82e94d41a9b9834", + "git_blob": "a37c6de3ba76511438f4988325ac8749b8f3f142", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/VALIDATION.md", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/VALIDATION.md", + "sha256": "100d249e47c9630e77ca31a4aac85f4ef84df5ddcfc9977daf1ac42d160e9a38", + "git_blob": "241904e35dd9cf5fbb25a24e06c448f4391aa34e", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/VERIFY.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/VERIFY.json", + "sha256": "eee6981e3c3243dd69d19c68042e6087dc97780016a6aa56a74fb438af1f9fd5", + "git_blob": "5550c891e8c17cdefe14b5dd585f4bfeaf887943", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/WITNESS.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/WITNESS.json", + "sha256": "0e78b2fbc34b52662f7b05733e3a3132599c55486dd215d7b96aaaf0c1bff804", + "git_blob": "88d25590010052ebe4da2b575803f618241500eb", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/WORD.json.gz", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/WORD.json.gz", + "sha256": "cff7196f8b168c4ebf8227185eed98387b66ec5db0179108adfea4045775cc31", + "git_blob": "4db015aca34ea957dd8b3b4d7ae4fa12b89934f8", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/checks.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/checks.py", + "sha256": "5ac66d250b7cc244003706e621d1cefff7c5d27f6055c5a9ce9bd40fac0e7fa8", + "git_blob": "308805a32d707e8e5da11991e8a51da8992ea4ce", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/construct.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/construct.py", + "sha256": "c6bc6ee170373e52d8bdba3bdd9d435be3062fab3999e5c6f8ca817d8feb77a2", + "git_blob": "4109dca1e26840f5a778f0cadbbe095632c2eace", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-boundary-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-boundary-receipt.json", + "sha256": "f043c9068edb8daef9a2efa1e4d4d20b0a1793b58af2c6ee444467393890aad8", + "git_blob": "2ff3807f9d6aa395eb0aa6020cd7c89a5f2fa93a", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-caller-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-caller-receipt.json", + "sha256": "df4530f2b2a609d3b8ca41bd95d0077aa25f8e76b44a8d2c53060f75bf9bd2c8", + "git_blob": "f5dc48b2dc3b65aca3a8f3689a175d2472a688b8", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-scalar-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-scalar-receipt.json", + "sha256": "dc5cbe2b73cb622e42a9185a6a5f5e1e1524e7d135774d209b68d86d5343e34f", + "git_blob": "5ab83bf2affdd661b7ab773781dd419e25960ffd", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/evidence/independent-version-receipt.json", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/evidence/independent-version-receipt.json", + "sha256": "5b94a636a1065b2fde72fe02c9d4220395bbea6a9f15793f6db5d0703a577eec", + "git_blob": "8e967beadc9bc775de2a7c907db117b48ac66865", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/inputs/pr5713-source.tar", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/inputs/pr5713-source.tar", + "sha256": "c4d8d0bcd6231eb4539a76d66b0dbd465313cbc50d279ca974a55fecb935d544", + "git_blob": "ec8f4bccaca147bc80cec078147fb95bc515036e", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/pricing.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/pricing.py", + "sha256": "1f074ad6b2512755f73bf5276e304838e2228aa4e96bcd580dc5de726894c587", + "git_blob": "737aa1906e5cb5b8606c89c6b8c1ba1639e1bd1d", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/sources.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/sources.py", + "sha256": "415213c90554877cc4b0c8a6c4a36286346cb8eb33c7ea11516b48fa3aa48186", + "git_blob": "65b9ac26abba46f52c070f7fbc7a71b24bb17108", + "usage": "provenance" + }, + { + "path": "research/p104-two-boundary-helper-split/verify.py", + "pin": "head:a1534ac45401c9a9c80c07aa65c89e00e33594f8:research/p104-two-boundary-helper-split/verify.py", + "sha256": "abefcebe874d093487497b8eea1e726739c070fa1460ea173abcaaee086e9eba", + "git_blob": "77f203216ad4d4e05203c915886babfbc367db5a", + "usage": "provenance" + } + ], + "source_export": { + "commit": "a1534ac45401c9a9c80c07aa65c89e00e33594f8", + "package": "research/p104-two-boundary-helper-split", + "files": 21, + "local_path": "inputs/pr5718-source.tar", + "sha256": "2ed859e3cad00ed9ece1bb58792e78a623d49cd37eeca9f6b49c3c7345415f75", + "git_blob": "55423a4a2c22d45e1ec1a8bfd77b65bfcba0e170", + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/5718" + }, + "source_custody": "The official exporter supplies all committed PR5718 package bytes. Authenticate the archive and every source payload before import. Nested source archives retain their exact source checks. Runtime replay needs no Git or network.", + "attribution": "Paid intermediate meetings and collective helper splits: Ali Romman with substantial OpenAI Codex assistance. PR5718 supplies the source word and complete framework. All predecessor notices are retained." +} diff --git a/research/p104-paid-meeting-splits/TASK.json b/research/p104-paid-meeting-splits/TASK.json new file mode 100644 index 0000000000..16d9a33696 --- /dev/null +++ b/research/p104-paid-meeting-splits/TASK.json @@ -0,0 +1,82 @@ +{ + "actual_scope": "Create and pay for intermediate native meetings, then split 23 independent helper targets. Verify the complete conditional kappa 0.00311301600.", + "ai_assistance": "Substantial OpenAI Codex assistance for research, construction, proof, code, author checks and writing. No subagents. No independent human or formal acceptance.", + "author": "Ali Romman with substantial OpenAI Codex assistance", + "base_commit": "553d26d796fde9871ff2661a49ac7732e945410f", + "bottleneck_link": "An added intermediate meeting can split more productive rank than the extra paid query rank. Collective meetings can share the added transport cost.", + "evidence": "PLAN.json, PROOF.md, WITNESS.json, RESULT.json and VALIDATION.md", + "open_questions": [ + { + "question": "Can an independent reviewer reproduce the new meeting and helper identities?", + "why_it_matters": "The complete bound needs every independent input, native phase and cost.", + "first_step": "Run both registered modes and check the three-channel meeting at frame105.", + "blocked_by": "Independent acceptance is pending." + }, + { + "question": "Can a different collective meeting yield a one percent gain?", + "why_it_matters": "This result is below the donor target.", + "first_step": "Change the frame or transport design, emit all queries and compute the complete caller price.", + "blocked_by": "The tested finite catalogue produced no additional positive witness; this is not a global bound." + }, + { + "question": "Can the five inherited framework assumptions be resolved?", + "why_it_matters": "The multiplication exponent remains conditional.", + "first_step": "Select one source-specific assumption from the selected review and state its full proof obligation.", + "blocked_by": "The huge uniform word and complete rounded multiplier are not materialized." + } + ], + "original_card": { + "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model. 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.", + "allowed_variations": [ + "Narrow to one changed boundary or helper type with explicit counts.", + "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope." + ], + "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.", + "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.", + "first_step": { + "command": [ + "python3", + "-B", + "research/complex-local-word-ceiling/verify.py" + ], + "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING", + "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.", + "scope": "Positive control and planning budget only; this is not a new construction or full cold replay." + }, + "id": "complex-new-helper-inventory", + "methods": [ + "Propose a changed helper inventory and derive an optimistic exact moment.", + "Design a small completed instance and independently verify its endpoint and rank bill." + ], + "overlap_terms": [ + "helper inventory", + "heterogeneous-owner", + "mutable leaver" + ], + "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?", + "scope_change_triggers": [ + "Mixing only providers already inside the pinned catalogue.", + "Only changing helper terminal subspaces and monotone frames within the fixed scalar word, entrances and cleanup contract already covered by #1995/#2013.", + "Continuing a partial cost improvement while leaving the same unpriced consumer, restoration or central-readout obligation unresolved; refresh the family expansion decision first. Local product-retiming evidence has a narrow scope and is not a ban on changed graphs or contracts." + ], + "starting_points": [ + "docs/research/research-family-status.md", + "research/complex-local-word-ceiling/README.md", + "research/heterogeneous-owner-assembly/README.md", + "certificates/selected-result.json", + "research/selected-k8-unrestricted-ends/README.md" + ] + }, + "outcome": "completed", + "priority_revision": 7, + "schema_version": 1, + "scope_change_reason": "Existing-meeting checks keep the native word fixed. This construction adds paid subdivisions and independent helper inputs, with complete input, native, caller and cost checks.", + "scope_status": "changed", + "stop_rule": "Publish the exact compatible construction after full replay. New frame and collective searches are finite discovery only; they do not prove a global ceiling.", + "task_id": "complex-new-helper-inventory", + "last_upstream_checkpoint": { + "commit": "de5ec2e7a6074068452f45b1a191b5c72832df4a", + "priority_revision": 8, + "decision": "Finish the verified changed-word helper construction under the new complete-cost gate. Preserve the original assignment card and frozen source inputs. The selected record is unchanged." + } +} diff --git a/research/p104-paid-meeting-splits/VALIDATION.md b/research/p104-paid-meeting-splits/VALIDATION.md new file mode 100644 index 0000000000..0f1a7eae6a --- /dev/null +++ b/research/p104-paid-meeting-splits/VALIDATION.md @@ -0,0 +1,88 @@ +# Validation + +## Environment and exact source + +CPython 3.12.13, macOS 26.6.1, arm64. The package verifier uses the standard +library. No subagents or independent human reviewers were used. + +The frozen research base is canonical main +`553d26d796fde9871ff2661a49ac7732e945410f`. The source construction is PR5718 at +`a1534ac45401c9a9c80c07aa65c89e00e33594f8`. The official repository exporter +created the retained archive with all 21 committed package files. SOURCES.json +binds the archive, each file, the source commit, and all nested source checks. +The first main update retained priority revision 7. A final refresh to +`de5ec2e7a6074068452f45b1a191b5c72832df4a` introduced revision 8; the publication commit is rebased onto that main. Its changed +priorities, family record and helper-inventory card were read. They retain +the legal-target and complete-cost requirements used here. The frozen original +card is preserved. The selected record remains unchanged. + +## Construction and complete claim + +The pure constructor checks all 23 cut identities over rational numbers. +The literal audit and a separate dense integer transpose check cover all 776 +public and dirty owned input columns, or 602,176 endpoint coefficients. +The native check covers 2,920 distinct maps, 208 main adapters and 1,118 helper +normalizers, with exact global phases. The complete physical caller retains +104 ports, 18 full calls, 7,488 contacts and 53,248 central-square column checks. + +The complete calculation proves kappa 0.00311301600. Its raw crossing lies in +(0.00311301604454, 0.00311301604455). The claim is below that interval and below +the tested saving 0.003113016005. Two rational interval engines agree. All +54 strict outer inequalities and four functional checks pass. + +The new compiler parameters are cutoff 16, floor 17, tail offset 1/7 and decay +125/128. Both charged tail ratios are below that decay; its 128th power is +below 1/16. Eight such blocks preserve the source 2^-32 remainder. The old +PR5718 completion-tail bound and its old offset at the new cutoff are explicit +rejection controls. The power 1024, reserve 10^-12 and ordinary allowances are +unchanged. No extra independent target is omitted from completion or routing. + +The generic signed-invoice comparison is inconclusive. Its two hinge signs +prevent a uniform concave-tariff claim. The exact power calculation above is +therefore required. Source and candidate histograms in RESULT.json include +every query, helper, main target and idle in the complete caller. + +## Execution record + +The primary normal run with `verify.py --write` passed all scalar, native, +caller and complete pricing checks. The price controls were then extended to +reject the old source tail parameters. The registered normal and optimized +replays both pass with `PASS_P104_PAID_MEETINGS_KAPPA_00311301600` and +`PASS_REGISTERED_RESEARCH_PACKAGE`. Each mode recomputes and compares the +complete WORD, WITNESS and RESULT payloads. All actual-word, invoice, native +phase and compiler controls pass. Metadata and exact Git source pins pass. + +The publication PR records the final committed-byte check, official export +integrity check and separate read-only, isolated, optimized Git-free replay, +with the exact publication commit and archive digest. This file does not +attest to its own future export. Hosted CI and independent acceptance are +reported separately. GitHub Markdown rendering and local document links were +also checked. + +The full-history preflight requires a non-shallow checkout. This checkout is +shallow, so that flag is not used. The two declared source commits are checked +for ancestry directly, and every pinned file is checked against its exact Git +blob. Runtime source closure is checked again by the Git-free replay. These +checks do not claim a full-history audit. + +## Search limits and overlap + +Discovery used exact rational checks to accept candidates found by modular +linear algebra over F65521. The final constructor contains only exact rational +plans and has no solver dependency. After the 23-split composition, a catalogue +search visited 48,018 distinct proposed bank contexts, with 17,658 nonzero +prefix kernels, and found no further candidate. It considered event cuts, +advances of future queries and delays of previous queries, the source frames, +and all binary frames of ranks 1, 2, 7 and 8. Greedy support selection and basis +choices limit this screen. It is local discovery evidence, not a proof of +exhaustion over all rational modes or all frames. Those search scripts are not +part of the publication verifier and no negative theorem relies on their counts. + +The public overlap claim and later overlap notice are linked in README.md. +The other investigation released the overlapping scope and published its +17-split checkpoint without a duplicate PR. That checkpoint is corroborating +work, not an independent review of this 23-split word. +The construction retains all PR5718 and earlier author credit. The selected +frontier was not edited. There is no claim of independent human acceptance, +formal theorem verification or a practical multiplication speedup. The five +inherited framework assumptions remain. diff --git a/research/p104-paid-meeting-splits/VERIFY.json b/research/p104-paid-meeting-splits/VERIFY.json new file mode 100644 index 0000000000..5550c891e8 --- /dev/null +++ b/research/p104-paid-meeting-splits/VERIFY.json @@ -0,0 +1,28 @@ +{ + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "checks": "Authenticated source, exact constructor, all arbitrary-input/transpose/native/caller obligations, complete charged pricing and actual rejection controls.", + "timeout_seconds": 600 + }, + { + "argv": [ + "{python}", + "-O", + "-B", + "{package}/verify.py" + ], + "checks": "Authenticated source, exact constructor, all arbitrary-input/transpose/native/caller obligations, complete charged pricing and actual rejection controls.", + "timeout_seconds": 600 + } + ], + "inputs": [], + "python": "3.12", + "requirements": [], + "schema_version": 1, + "status": "ready" +} diff --git a/research/p104-paid-meeting-splits/WITNESS.json b/research/p104-paid-meeting-splits/WITNESS.json new file mode 100644 index 0000000000..55cb6e33f4 --- /dev/null +++ b/research/p104-paid-meeting-splits/WITNESS.json @@ -0,0 +1,724 @@ +{ + "meetings": [ + { + "added_queries": 1, + "frame": 531, + "steps": [ + { + "basis_operations": 10, + "cut": 17051, + "frame": 531, + "fresh": 744, + "injection": { + "146": "2" + }, + "input": { + "731": "1" + }, + "next_cut": 17058, + "output": { + "126": "2", + "146": "2", + "188": "-2", + "731": "1" + }, + "pivot": 731, + "retirement": { + "146": "1/2", + "731": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 543, + "steps": [ + { + "basis_operations": 10, + "cut": 17102, + "frame": 543, + "fresh": 745, + "injection": { + "151": "-2" + }, + "input": { + "706": "1" + }, + "next_cut": 17109, + "output": { + "151": "-2", + "706": "1", + "707": "1", + "732": "1" + }, + "pivot": 706, + "retirement": { + "151": "-1/2", + "706": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 518, + "steps": [ + { + "basis_operations": 4, + "cut": 17167, + "frame": 518, + "fresh": 746, + "injection": { + "713": "1" + }, + "input": { + "713": "1" + }, + "next_cut": 17170, + "output": { + "344": "2", + "713": "1" + }, + "pivot": 713, + "retirement": { + "256": "-1/4", + "713": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 517, + "steps": [ + { + "basis_operations": 6, + "cut": 17231, + "frame": 517, + "fresh": 747, + "injection": { + "724": "1" + }, + "input": { + "724": "1" + }, + "next_cut": 17235, + "output": { + "372": "2", + "382": "-2", + "724": "1" + }, + "pivot": 724, + "retirement": { + "724": "1", + "9": "-1/4" + } + } + ] + }, + { + "added_queries": 1, + "frame": 517, + "steps": [ + { + "basis_operations": 6, + "cut": 17230, + "frame": 517, + "fresh": 748, + "injection": { + "725": "1" + }, + "input": { + "725": "1" + }, + "next_cut": 17234, + "output": { + "370": "2", + "375": "-2", + "725": "1" + }, + "pivot": 725, + "retirement": { + "725": "1", + "9": "-1/4" + } + } + ] + }, + { + "added_queries": 1, + "frame": 477, + "steps": [ + { + "basis_operations": 6, + "cut": 17199, + "frame": 477, + "fresh": 749, + "injection": { + "730": "1" + }, + "input": { + "730": "1" + }, + "next_cut": 17203, + "output": { + "407": "2", + "412": "-2", + "730": "1" + }, + "pivot": 730, + "retirement": { + "240": "1/4", + "730": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 477, + "steps": [ + { + "basis_operations": 6, + "cut": 17150, + "frame": 477, + "fresh": 750, + "injection": { + "728": "1" + }, + "input": { + "728": "1" + }, + "next_cut": 17154, + "output": { + "406": "2", + "410": "2", + "728": "1" + }, + "pivot": 728, + "retirement": { + "240": "1/4", + "728": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 517, + "steps": [ + { + "basis_operations": 6, + "cut": 17143, + "frame": 517, + "fresh": 751, + "injection": { + "722": "1" + }, + "input": { + "722": "1" + }, + "next_cut": 17147, + "output": { + "374": "2", + "380": "2", + "722": "1" + }, + "pivot": 722, + "retirement": { + "722": "1", + "9": "-1/4" + } + } + ] + }, + { + "added_queries": 1, + "frame": 518, + "steps": [ + { + "basis_operations": 6, + "cut": 17140, + "frame": 518, + "fresh": 752, + "injection": { + "714": "1" + }, + "input": { + "714": "1" + }, + "next_cut": 17144, + "output": { + "342": "-2", + "348": "2", + "714": "1" + }, + "pivot": 714, + "retirement": { + "256": "-1/4", + "714": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 267, + "steps": [ + { + "basis_operations": 6, + "cut": 17137, + "frame": 267, + "fresh": 753, + "injection": { + "720": "1" + }, + "input": { + "720": "1" + }, + "next_cut": 17141, + "output": { + "231": "2", + "236": "-2", + "720": "1" + }, + "pivot": 720, + "retirement": { + "720": "1", + "92": "-1/4" + } + } + ] + }, + { + "added_queries": 1, + "frame": 267, + "steps": [ + { + "basis_operations": 6, + "cut": 17135, + "frame": 267, + "fresh": 754, + "injection": { + "719": "1" + }, + "input": { + "719": "1" + }, + "next_cut": 17139, + "output": { + "230": "2", + "234": "2", + "719": "1" + }, + "pivot": 719, + "retirement": { + "719": "1", + "92": "-1/4" + } + } + ] + }, + { + "added_queries": 1, + "frame": 267, + "steps": [ + { + "basis_operations": 6, + "cut": 17135, + "frame": 267, + "fresh": 755, + "injection": { + "718": "1" + }, + "input": { + "718": "1" + }, + "next_cut": 17139, + "output": { + "226": "2", + "233": "2", + "718": "1" + }, + "pivot": 718, + "retirement": { + "718": "1", + "92": "-1/4" + } + } + ] + }, + { + "added_queries": 1, + "frame": 477, + "steps": [ + { + "basis_operations": 6, + "cut": 17089, + "frame": 477, + "fresh": 756, + "injection": { + "727": "1" + }, + "input": { + "727": "1" + }, + "next_cut": 17093, + "output": { + "402": "2", + "409": "2", + "727": "1" + }, + "pivot": 727, + "retirement": { + "240": "1/4", + "727": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 477, + "steps": [ + { + "basis_operations": 6, + "cut": 17087, + "frame": 477, + "fresh": 757, + "injection": { + "729": "1" + }, + "input": { + "729": "1" + }, + "next_cut": 17091, + "output": { + "401": "2", + "413": "-2", + "729": "1" + }, + "pivot": 729, + "retirement": { + "240": "1/4", + "729": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 517, + "steps": [ + { + "basis_operations": 6, + "cut": 17077, + "frame": 517, + "fresh": 758, + "injection": { + "723": "1" + }, + "input": { + "723": "1" + }, + "next_cut": 17081, + "output": { + "370": "2", + "375": "2", + "723": "1" + }, + "pivot": 723, + "retirement": { + "723": "1", + "9": "-1/4" + } + } + ] + }, + { + "added_queries": 1, + "frame": 518, + "steps": [ + { + "basis_operations": 10, + "cut": 17131, + "frame": 518, + "fresh": 759, + "injection": { + "712": "1" + }, + "input": { + "712": "1" + }, + "next_cut": 17137, + "output": { + "338": "-2", + "343": "2", + "471": "-2", + "525": "4", + "712": "1" + }, + "pivot": 712, + "retirement": { + "256": "-1/4", + "712": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 518, + "steps": [ + { + "basis_operations": 10, + "cut": 15116, + "frame": 518, + "fresh": 760, + "injection": { + "715": "1" + }, + "input": { + "715": "1" + }, + "next_cut": 15122, + "output": { + "338": "2", + "343": "2", + "471": "2", + "525": "-4", + "715": "1" + }, + "pivot": 715, + "retirement": { + "256": "-1/4", + "715": "1" + } + } + ] + }, + { + "added_queries": 1, + "frame": 267, + "steps": [ + { + "basis_operations": 18, + "cut": 17082, + "frame": 267, + "fresh": 761, + "injection": { + "717": "1" + }, + "input": { + "717": "1" + }, + "next_cut": 17092, + "output": { + "224": "-2", + "226": "2", + "227": "2", + "228": "2", + "229": "2", + "230": "-2", + "231": "-2", + "237": "-2", + "717": "1" + }, + "pivot": 717, + "retirement": { + "717": "1", + "92": "-1/4" + } + } + ] + }, + { + "added_queries": 5, + "frame": 105, + "steps": [ + { + "basis_operations": 2, + "cut": 14105, + "frame": 105, + "fresh": 762, + "injection": { + "192": "1/2", + "557": "1" + }, + "input": { + "557": "1" + }, + "next_cut": 14107, + "output": { + "557": "1" + }, + "pivot": 557, + "retirement": { + "557": "1" + } + }, + { + "basis_operations": 6, + "cut": 14107, + "frame": 105, + "fresh": 763, + "injection": { + "115": "-1", + "192": "-1", + "455": "1" + }, + "input": { + "455": "1" + }, + "next_cut": 14112, + "output": { + "115": "2", + "455": "1" + }, + "pivot": 455, + "retirement": { + "455": "1" + } + }, + { + "basis_operations": 118, + "cut": 14112, + "frame": 105, + "fresh": 764, + "injection": { + "115": "1/2", + "179": "-1/2" + }, + "input": { + "115": "-1", + "238": "1", + "239": "-1", + "243": "-1/2", + "244": "-1/2", + "245": "1/2", + "248": "1/2", + "249": "-1/2", + "254": "1/2", + "255": "-1/2", + "257": "-1", + "272": "-1/2", + "276": "1/2", + "280": "1/2", + "286": "1/2", + "306": "-1/2", + "308": "1/2", + "318": "1/2", + "334": "1", + "335": "-1", + "342": "-1/2", + "347": "1/2", + "348": "-1/2", + "354": "-1/2", + "356": "1/2", + "359": "-1/2", + "366": "1/2", + "367": "-1", + "372": "1", + "382": "1", + "383": "-1", + "384": "1/2", + "388": "1/2", + "398": "1/2", + "399": "-1/2", + "402": "1/2", + "403": "-1/2", + "404": "-1/2", + "408": "1/2", + "409": "-1/2", + "414": "1/2", + "415": "-1/2", + "417": "-1", + "433": "-1/2", + "438": "-1/2", + "439": "1/2", + "442": "1/2", + "443": "-1/2", + "444": "1/2", + "445": "-1/2", + "460": "1", + "469": "1", + "482": "-1", + "499": "1/2", + "554": "-1", + "663": "1" + }, + "next_cut": 14174, + "output": { + "115": "-1" + }, + "pivot": 115, + "retirement": { + "115": "1", + "179": "-1", + "763": "1" + } + } + ] + }, + { + "added_queries": 2, + "frame": 245, + "steps": [ + { + "basis_operations": 4, + "cut": 16902, + "frame": 245, + "fresh": 765, + "injection": { + "452": "1" + }, + "input": { + "452": "1" + }, + "next_cut": 16905, + "output": { + "452": "1", + "532": "2" + }, + "pivot": 452, + "retirement": { + "232": "-1", + "452": "1" + } + } + ] + }, + { + "added_queries": 2, + "frame": 246, + "steps": [ + { + "basis_operations": 6, + "cut": 16902, + "frame": 246, + "fresh": 766, + "injection": { + "448": "1" + }, + "input": { + "448": "1", + "707": "4" + }, + "next_cut": 16906, + "output": { + "448": "1", + "484": "-1" + }, + "pivot": 448, + "retirement": { + "231": "-1", + "448": "1" + } + } + ] + } + ], + "source_word_sha256": "a1c8277189a811546bdc7b147d72e6a594504ff9585c9bf59a5681aa873abb01", + "word_sha256": "c3b338bd5b48d916f332a64470a86d2ee5534d8839c9d80b23a7e89bed9742f5" +} diff --git a/research/p104-paid-meeting-splits/WORD.json.gz b/research/p104-paid-meeting-splits/WORD.json.gz new file mode 100644 index 0000000000..d0c700d03e Binary files /dev/null and b/research/p104-paid-meeting-splits/WORD.json.gz differ diff --git a/research/p104-paid-meeting-splits/checks.py b/research/p104-paid-meeting-splits/checks.py new file mode 100644 index 0000000000..978ea2d805 --- /dev/null +++ b/research/p104-paid-meeting-splits/checks.py @@ -0,0 +1,132 @@ +"""Independent literal candidate walk and focused actual invalid-word controls. + +No constructor imports, source search, native engine, or pricing dependencies. +Source: flyingviper PR5718 with substantial OpenAI Codex assistance. +Candidate inventory: Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +""" +from collections import Counter +from copy import deepcopy +from fractions import Fraction + +def need(ok,message): + if not ok:raise ValueError(message) + +def binary_span(basis): + result={0} + for x in basis: + need(type(x) is int and 0=n and charts[dst] is None,'Owned INIT uses an inactive owned label') + active.add(dst);unwritten.add(dst);charts[dst]=e[2];values[dst]={} + lifetimes+=1;peak=max(peak,len(active));scalar+=2 + elif op=='CLEAR': + need(dst in active and charts[dst]==e[2],'Matching owned CLEAR') + active.remove(dst);unwritten.discard(dst);charts[dst]=None;values[dst]={};scalar+=2 + elif op=='MOVE': + _,_,a,b,private=e + need(charts[dst]==a and private==(dst in active),'MOVE source and ownership') + need(frames[b] 0 and a & (a-1) == 0 and b & (b-1) == 0 + + +def inverse(event): + result = event.copy() + result[-2] = str(1/Q(event[-2]) if event[0] == 'SCALE' else -Q(event[-2])) + return result + + +def split(word, cut, frame, plan): + """Check the exact cut identities, then replace one independent coordinate.""" + public = word['public'] + pivot = plan['pivot'] + a, b = fractions(plan['retirement']), fractions(plan['injection']) + rows = matrix_at_cut(word, cut) + columns = matrix_at_cut(word, cut, reverse=True) + c, d = combination(rows, a), combination(columns, b) + main = set(word['live']) | {r+112 for r in word['live']} + need(c and d and all(r < public and r not in main and word['initial'][r] == 3 + and word['final'][r] == 127 for r in set(c) | set(d)), + 'Both boundary vectors use only full independent helpers') + need(sum(x*b.get(r, 0) for r, x in a.items()) == 1, 'Unit cut pairing') + need(sum(x*d.get(r, 0) for r, x in c.items()) == 1, 'Unit boundary pairing') + need(all(sum(x*d.get(r, 0) for r, x in row.items()) == b.get(i, 0) + for i, row in enumerate(rows)), 'The prefix sends d to b') + need(encoded(c) == plan['input'] and encoded(d) == plan['output'], + 'Exact retained boundary functionals') + need(dyadic_unit(d.get(pivot, Q(0))) and dyadic_unit(a.get(pivot, Q(0))), + 'Both basis pivots are dyadic units') + + before = [['ADD', pivot, r, str(-q), 3] for r, q in sorted(c.items()) if r != pivot] + if d[pivot] != 1: + before.append(['SCALE', pivot, str(d[pivot]), 3]) + before += [['ADD', r, pivot, str(q/d[pivot]), 3] + for r, q in sorted(d.items()) if r != pivot] + forward = [] + if a[pivot] != 1: + forward.append(['SCALE', pivot, str(a[pivot]), frame]) + forward += [['ADD', pivot, r, str(q), frame] for r, q in sorted(a.items()) if r != pivot] + forward += [['ADD', r, pivot, str(-q), frame] for r, q in sorted(b.items()) if r != pivot] + backward = [inverse(e) for e in reversed(forward)] + after = [inverse(e) for e in reversed(before)] + for event in after: + event[-1] = 127 + + def rename(event, continuation): + event = event.copy() + for at in (1, 2) if event[0] in ('ADD', 'COPY') else (1,): + role = event[at] + event[at] = public if continuation and role == pivot else role+1 if role >= public else role + return event + + program = [rename(e, False) for e in before + word['program'][:cut] + forward] + program += [rename(e, True) for e in backward] + next_cut = len(program) + program += [rename(e, True) for e in word['program'][cut:] + after] + result = deepcopy(word) + result.update(public=public+1, program=program, schema='p104-paid-meeting-splits/1') + result['initial'].append(frame) + result['final'].append(127) + result['final'][pivot] = frame + receipt = dict(cut=cut, next_cut=next_cut, frame=frame, pivot=pivot, fresh=public, + input=encoded(c), output=encoded(d), retirement=encoded(a), injection=encoded(b), + basis_operations=len(before)+len(forward)+len(backward)+len(after)) + return result, next_cut, receipt + + +def construct(source, plan): + need(digest(source) == plan['source_word_sha256'], 'Pinned canonical PR5718 word') + word = deepcopy(source) + receipts = [] + for meeting in plan['meetings']: + cut, frame = meeting['cut'], meeting['frame'] + partials = [] + for move in meeting['moves']: + index, expected = move['event'], move['event_value'] + need(index >= cut and word['program'][index] == expected, 'Pinned future native query') + role = expected[1] + need(not any(role in (e[1:3] if e[0] in ('ADD', 'COPY') else e[1:2]) + for e in word['program'][cut:index]), 'No field access before the advanced query') + partials.append(['MOVE', role, expected[2], frame, expected[4]]) + word['program'][index][2] = frame + word['program'][cut:cut] = partials + cut += len(partials) + steps = [] + for step in meeting['splits']: + word, cut, receipt = split(word, cut, frame, step) + steps.append(receipt) + receipts.append(dict(frame=frame, added_queries=len(partials), steps=steps)) + need(word['public'] == source['public']+sum(len(x['splits']) for x in plan['meetings']), + 'One new independent input per split') + return word, dict(source_word_sha256=digest(source), word_sha256=digest(word), meetings=receipts) diff --git a/research/p104-paid-meeting-splits/inputs/pr5718-source.tar b/research/p104-paid-meeting-splits/inputs/pr5718-source.tar new file mode 100644 index 0000000000..55423a4a2c Binary files /dev/null and b/research/p104-paid-meeting-splits/inputs/pr5718-source.tar differ diff --git a/research/p104-paid-meeting-splits/local.py b/research/p104-paid-meeting-splits/local.py new file mode 100644 index 0000000000..c181baa903 --- /dev/null +++ b/research/p104-paid-meeting-splits/local.py @@ -0,0 +1,208 @@ +"""Check the complete P104 word with an independent helper inventory. + +Adapted from Ali Romman's PR5544/5545. David Arias supplied the word; +Cinna Davis supplied private reuse; Gareth Davidson supplied composition. +Prepared by Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +""" +from collections import Counter +from fractions import Fraction as Q +from functools import lru_cache +from hashlib import sha256 +from pathlib import Path +import gzip +import importlib.util +import json +import sys + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] + +def need(ok, why): + if not ok: + raise ValueError(why) + +def read(path): + raw = path.read_bytes() + return json.loads(gzip.decompress(raw) if path.suffix == '.gz' else raw) + +def load(path, name): + spec = importlib.util.spec_from_file_location(name, path) + module = importlib.util.module_from_spec(spec) + sys.modules[name] = module + spec.loader.exec_module(module) + return module + +def add(dst, src, q): + for k, v in tuple(src.items()): + value = dst.get(k, 0) + q*v + if value: + dst[k] = value + else: + dst.pop(k, None) + +def span(basis): + out = {0} + for v in basis: + need(type(v) is int and 0 < v < 512 and v not in out, 'Independent binary basis') + out |= {x ^ v for x in tuple(out)} + return frozenset(out) + +def replay(w): + public = w['public'] + owned = w.get('owned_fields', 8) + need(type(owned) is int and 8 <= owned <= 9, 'Owned inventory bound') + need(type(public) is int and public == 767, 'Public inventory bound') + need(len(w['initial']) == len(w['final']) == public, 'Public boundary size') + need(len(w['program']) < 26000, 'Fixed operation bound') + frames = [span(x) for x in w['frames']] + rows = [{r:Q(1)} for r in range(public+owned)] + current = list(w['initial']) + [None]*owned + paid, scalar, live_owned, peak = Counter(), 0, set(), 0 + lifetimes = 0 + for e in w['program']: + op, r = e[:2] + need(0 <= r < public+owned, 'Role index') + if op == 'MOVE': + _, r, a, b, private = e + need(current[r] == a and (r in live_owned) == private, 'Transport source and ownership') + need(frames[b] < frames[a] if private else frames[a] < frames[b], 'Nested chronological transport') + paid[abs(len(w['frames'][b])-len(w['frames'][a]))] += 1 + current[r] = b + elif op == 'INIT': + need(r >= public and r not in live_owned, 'Owned initialization') + live_owned.add(r) + lifetimes += 1 + peak = max(peak, len(live_owned)) + rows[r] = {} + current[r] = e[2] + scalar += 2 + elif op == 'CLEAR': + need(r in live_owned and current[r] == e[2], 'Owned erasure at declared frame') + rows[r] = {} + current[r] = None + live_owned.remove(r) + scalar += 2 + else: + q, f = Q(e[-2]), e[-1] + need(q and current[r] == f, 'Scalar destination and coefficient') + n, d = abs(q.numerator), q.denominator + need(d & (d-1) == 0, 'Dyadic scalar coefficient') + need(abs(q)+1 < 2**16, 'Fixed scalar growth bound') + if op == 'SCALE': + need(n & (n-1) == 0, 'Dyadic unit SCALE') + rows[r] = {k:q*x for k,x in rows[r].items()} + scalar += 2*(abs(n.bit_length()-d.bit_length()) + int(q < 0)) + else: + s = e[2] + need(s != r and 0 <= s < public+owned and current[s] == f, 'Common scalar chart') + if op == 'COPY': + need(r in live_owned and not rows[r], 'COPY into cleared owned field') + rows[r] = {k:q*x for k,x in rows[s].items()} + else: + need(op == 'ADD', 'Scalar opcode') + add(rows[r], rows[s], q) + scalar += 2*(3+n.bit_length()-1+n.bit_count()+d.bit_length()-1) + need(not live_owned and 0 < peak <= 2 and current[:public] == w['final'], 'All public and owned exits') + live = set(w['live']) + for r,row in enumerate(rows): + expected = {r:Q(1)} if r < public else {} + if r-112 in live: + expected[r-112] = Q(1) + need(row == expected, 'All public and owned rows') + main = live | {r+112 for r in live} + helpers = Counter(len(w['frames'][w['final'][r]])-len(w['frames'][w['initial'][r]]) for r in range(public) if r not in main) + need(len(live) == len(w['ports']) == 104 and len(main) == 208 and min(helpers) > 0, 'Independent productive inputs') + return {'paid':dict(paid), 'helpers':dict(helpers), 'public_inputs':public, 'owned_fields':owned, 'owned_lifetimes':lifetimes, + 'peak_owned_fields':peak, 'real_scalar_allowance':scalar, 'endpoint_coefficients':(public+owned)*(public+owned), + 'paid_rank_mass':sum(r*count for r,count in paid.items())} + +def reverse_columns(w): + """Check the transpose with dense dyadic rows and the reverse chronology.""" + public = w['public'] + n = public+w.get('owned_fields', 8) + rows = [[int(i == j) for j in range(n)] for i in range(n)] + exponents = [0]*n + for e in reversed(w['program']): + op,r = e[:2] + if op == 'MOVE': + continue + if op in ('INIT','CLEAR'): + rows[r] = [0]*n + exponents[r] = 0 + continue + q = Q(e[-2]) + qe = q.denominator.bit_length()-1 + if op == 'SCALE': + rows[r] = [q.numerator*x for x in rows[r]] + exponents[r] += qe + else: + s = e[2] + level = max(exponents[s], exponents[r]+qe) + a, b = 1 << (level-exponents[s]), q.numerator << (level-exponents[r]-qe) + rows[s] = [a*x+b*y for x,y in zip(rows[s],rows[r])] + exponents[s] = level + if op == 'COPY': + rows[r] = [0]*n + exponents[r] = 0 + r = s + while exponents[r] and not any(x & 1 for x in rows[r]): + rows[r] = [x//2 for x in rows[r]] + exponents[r] -= 1 + for r,row in enumerate(rows): + expected = [0]*n + if r < public: + expected[r] = 1 << exponents[r] + if r in w['live']: + expected[r+112] = 1 << exponents[r] + need(row == expected, 'Independent dense transpose columns') + return {'columns':n, 'coefficients':n*n, 'arithmetic':'Dense integer rows with binary denominators; reverse chronology'} + +def native(w): + n = w['public'] + C = load(ROOT/'research/p104-native-channel/vendor/clifford_exact.py', 'p104_productive_clifford') + V = load(ROOT/'research/p104-native-channel/vendor/native_verify.py', 'p104_productive_gaussian') + @lru_cache(None) + def chart(i): + return C.canonical_frame(9, tuple(w['frames'][i])) + recipes = {} + def check(a,b): + if (a,b) not in recipes: + recipe,_ = C.lower_child(chart(a).adjoint().then(chart(b))) + expected = V.adjoint(V.frame(w['frames'][a],9)) + V.frame(w['frames'][b],9) + V.equal(V.recipe(recipe),expected,'Native chart change and exact global phase') + need(recipe['rank'] == abs(len(w['frames'][a])-len(w['frames'][b])), 'Native boundary rank') + recipes[a,b] = recipe + return recipes[a,b] + for e in w['program']: + if e[0] == 'MOVE': + check(e[2],e[3]) + main = set(w['live']) | {r+112 for r in w['live']} + helper_profile = Counter() + for r in range(n): + if r not in main: + helper_profile[check(w['initial'][r],w['final'][r])['rank']] += 1 + adapters = [] + for r,q in zip(w['live'],w['ports']): + need(w['frames'][w['initial'][r]] == [q], 'Literal central port') + need(span(w['frames'][w['final'][r+112]]) == frozenset(x for x in range(512) if not (x&q).bit_count()%2), 'Literal output hyperplane') + tests = [ + (C.cgate(9,q,1).adjoint().then(chart(w['initial'][r])), V.adjoint((('C',q,1),))+V.frame(w['frames'][w['initial'][r]],9)), + (chart(w['final'][r+112]).adjoint().then(C.cgate(9,q,-1).then(C.fourier(9))), V.adjoint(V.frame(w['frames'][w['final'][r+112]],9))+(('C',q,-1),)+V.fourier(9))] + for actual,expected in tests: + recipe,_ = C.lower_child(actual) + need(recipe['rank'] == 0, 'Free intrinsic main adapter') + V.equal(V.recipe(recipe),expected,'Main endpoint phase') + adapters.append(recipe) + bad = json.loads(json.dumps(next(iter(recipes.values())))) + bad['left']['phase'] = (bad['left']['phase']+1)%4 + a,b = next(iter(recipes)) + try: + V.equal(V.recipe(bad),V.adjoint(V.frame(w['frames'][a],9))+V.frame(w['frames'][b],9),'Wrong phase control') + except ValueError: + pass + else: + raise ValueError('Wrong native phase accepted') + payload = [[a,b,recipes[a,b]] for a,b in sorted(recipes)] + adapters + return {'distinct_maps':len(recipes),'main_adapters':len(adapters),'helper_normalizers':2*sum(helper_profile.values()), + 'helpers':dict(helper_profile),'recipe_payload_sha256':sha256(json.dumps(payload,sort_keys=True,separators=(',',':')).encode()).hexdigest(), + 'wrong_phase_rejected':True, 'proof':'Every signed Pauli image and exact global phase; frame induction at every positive tensor width'} diff --git a/research/p104-paid-meeting-splits/pricing.py b/research/p104-paid-meeting-splits/pricing.py new file mode 100644 index 0000000000..a9e4194e7b --- /dev/null +++ b/research/p104-paid-meeting-splits/pricing.py @@ -0,0 +1,184 @@ +"""Complete mixed-target price, compiler and outer transfer. + +The interval and compiler bounds follow zxv and Cao Yifan. The productive +recursion is by Jacob Alan Sussman. The controller is by Cinna Davis. +Adapted from Ali Romman's PR5544/5545 for the two coupled contact changes. +Successor choices were prepared for thu-nmrc with OpenAI Codex assistance. +Helper-subspace targets were added by Ali Romman with OpenAI Codex assistance. +The source commuting-contact construction is by Pierre-Loic Doulcet (hexapode) in PR5565. +The source coupled-frame change is by Ali Romman with OpenAI Codex in PR5601. +Five fixed boundary relations are from Ali Romman's PR5602. +The shared and delayed relays are from flyingviper's PR5605 and PR5612. The preparation is from +Scratch-net's PR5606. Their costs and target debit are included. +Ali Romman's complete caller/price proof and all predecessor credit are retained. +The paid A2 change is from zxv PR5643. The three helper relations are from +Ali Romman PR5644. The four-gate change is by Ali Romman with Codex assistance. +The four interior basis changes are by Ali Romman with Codex assistance. +Paid intermediate meetings: Ali Romman with substantial OpenAI Codex assistance. +Apache-2.0. +""" +from collections import Counter +from fractions import Fraction as Q +import local as L + +KAPPA, TESTED = Q('.00311301600'), Q('.003113016005') +PREVIOUS = Q('.00311024570') + + +def encode(x): + if isinstance(x,Q): + return str(x) + if isinstance(x,dict): + return {str(k):encode(v) for k,v in x.items()} + if isinstance(x,(list,tuple)): + return [encode(v) for v in x] + return x + + +def assemble(local, native, word, physical): + paid, targets = Counter(), Counter() + counts = Counter() + L.need(local['helpers'] == native['helpers'], 'Every productive helper has a native target') + for e in word['physical_events']: + counts[e[0]] += 1 + if e[0] == 'LOCAL': + L.need(e[3] is False, 'Every source invocation is forward') + paid.update(local['paid']) + targets.update(local['helpers']) + elif e[0] == 'QUERY_SHEAR': + paid[1] += 104 + elif e[0] == 'IDLE': + paid[8*len(e[2])] += 208 + main = Counter() + idle = Counter({8*len(e[2]):0 for e in word['physical_events'] if e[0] == 'IDLE'}) + for e in word['physical_events']: + if e[0] == 'IDLE': + idle[8*len(e[2])] += 208 + L.need(idle == physical['whole_idle_jobs'], 'Every whole idle has a native Gaussian and full rank') + for term in word['diagonal']: + main[1+8*sum(term[1:])] += 104 + L.need(main == physical['main_targets'], 'Every main target has its full native phase') + targets.update(main) + L.need(counts['LOCAL'] == 18 and counts['QUERY_SHEAR'] == counts['IDLE'] == 15, 'Complete call census') + # Recount by the two path lengths, without using emitted main diagonals. + second_t = Counter({r:18*n for r,n in local['helpers'].items()}) + second_p = Counter({r:18*n for r,n in local['paid'].items()}) + second_t[145] += 208 + second_p[1] += 15*104 + for length in (7,8): + for j in range(1,length+1): + second_t[1+8*(j+1)] += 208 + second_p[8*(j+1)] += 208 + L.need((targets,paid) == (second_t,second_p), 'Independent full invoice') + L.need(max(targets) == 145 and max(paid) == 72, 'Maximum recursive ranks') + L.need(sum(targets.values()) == 13390 and sum(paid.values()) == 66834, 'Complete field and call counts') + L.need(sum(r*n for r,n in targets.items())-sum(r*n for r,n in paid.items()) == 760, 'Complete rank surplus') + return targets,paid,counts + + +def run(local,native,word,physical): + T,P,counts = assemble(local,native,word,physical) + E = L.load(L.ROOT/'research/higher-moment-strictification/verify.py','p104_productive_intervals') + other = L.load(L.ROOT/'research/kappa-rebuild/architecture/mixed_target_probe.py','p104_productive_second_intervals') + def margin(k): + a,b = E.moment(T,1-k), E.moment(P,1-k) + return a[0]-b[1],a[1]-b[0] + lo,hi,grid = 0,10**12,10**14 + while hi-lo > 1: + m=(lo+hi)//2 + if margin(Q(m,grid))[0] > 0: + lo=m + else: + hi=m + lower,upper = Q(lo,grid),Q(hi,grid) + signed = Counter(T) + signed.subtract(P) + cap = Q('.0034') + derivative_upper = Q(0) + for rank, count in signed.items(): + logarithm = E.log_bounds(rank) + low = E.mul(E.power(rank, 1-cap), logarithm)[0] + high = rank*logarithm[1] + derivative_upper -= count*(low if count >= 0 else high) + L.need(derivative_upper < 0, 'Unique raw crossing below the retained BIT cap') + L.need(margin(lower)[0] > 0 and margin(upper)[1] < 0, 'Strict rational crossing enclosure') + L.need(PREVIOUS < KAPPA < TESTED < lower and margin(PREVIOUS)[0] > 0, 'Changed complete bill improves the source claim') + t,u,v,c,b = 1-TESTED,Q(1,7),1024,16,17 + target,paid = E.moment(T,t),E.moment(P,t) + tl,th = other.moment(T,TESTED) + pl,ph = other.moment(P,TESTED) + L.need(tl > ph and max(tl,target[0]) <= min(th,target[1]) and max(pl,paid[0]) <= min(ph,paid[1]), 'Two exact moment engines') + alpha = E.divide(paid,target) + gamma = E.divide(E.moment(P,t+u),E.mul(E.power(c,u),target)) + delta = E.divide((Q(sum(T.values())*b),)*2,E.mul(E.power(c,TESTED),target)) + reserve,decay = Q(1,10**12),Q(125,128) + L.need(alpha[1] < 1-reserve and gamma[1] < decay and delta[1] < decay, 'All three charged tail ratios') + L.need(decay**128 < Q(1,16), 'Both tail decay blocks') + normalized = 1/(1+v*reserve)+Q(4,2**32) + L.need(normalized < 1 and c**64 < b**63, 'Full completion, splitting and rounding charges') + theta,power = Q(63,64),1024 + eta = E.scale(E.power(145,-v*TESTED),t) + L.need(2*(c**v)**64 <= (145**v)**63 and eta[0] > theta**power, 'Shifted exits and complement capacity') + L.need(E.power(145,v*TESTED)[1] < 2**power, 'Compiler initial range') + gap = (TESTED-KAPPA)/7 + L.need(gap.numerator == 1, 'Exact compiler integer grid') + step = gap.denominator + def wins(j): + return (step*j+1)**power < 2**j + left,right=1,2 + while not wins(right): + left,right=right,2*right + while right-left > 1: + m=(left+right)//2 + if wins(m): + right=m + else: + left=m + H=step*right + L.need(H > 8*v and wins(right) and not wins(right-1), 'Finite uniform threshold with predecessor rejection') + local_routes = (sum(local['paid'].values())+native['helper_normalizers']+native['main_adapters']+4*104+4*local['owned_lifetimes'])*1000 + L.need(local['real_scalar_allowance']+local_routes < 10**7, 'Every local scalar, route and owned operation is funded') + boundary = sum(len(word['boundaries'][side+'_program']) for side in ('left','right')) + raw = 18*10**7 + 15*1664 + 32*104*(len(word['physical_events'])+boundary) + raw += 32*104*(26+1000) + L.need(raw < 10**9, 'Complete nonrecursive raw bound') + bit = L.read(L.ROOT/'research/query-thinned-controllers/RESULT.json')['ordinary_BIT'] + atom = Q(bit['atom']) + ordinary=(1-atom)*Q(bit['after_cover'])+atom*Q('.0000384599') + admitted=Q(bit['admitted']) + L.need(atom > ordinary > admitted > TESTED and atom < 1-ordinary, 'Retained BIT admission and stock') + outer_module=L.load(L.ROOT/'research/pr4359-p7-padding/dependencies/compiler-refill/endpoint.py','p104_productive_outer') + params={'kappa':KAPPA,'tested_saving':TESTED,'complex_uniform_saving':KAPPA+6*gap, + 'b':KAPPA+5*gap,'a':KAPPA+4*gap,'q':KAPPA+3*gap,'bit_saving':admitted, + 'epsilon':1-gap,'beta':1-3*gap,'r0':gap/10,'stop':gap,'layout':gap,'d':gap} + outer=outer_module.ledger(params) + outer['functional_checks']['actual_new_BIT_stock_sublinear']=params['beta']*(1-atom) + L.need(len(outer['strict_checks']) == 54 and len(outer['functional_checks']) == 4, 'Complete outer predicate inventory') + L.need(all(x > 0 for key in ('strict_checks','functional_checks') for x in outer[key].values()), 'All outer inequalities strict') + wrong_cutoff = E.divide((Q(sum(T.values())*21),)*2,E.mul(E.power(20,TESTED),target)) + L.need(wrong_cutoff[0] > 1, 'Old cutoff fails with this helper inventory') + old_completion = E.divide((Q(sum(T.values())*18),)*2,E.mul(E.power(17,TESTED),target)) + L.need(old_completion[0] > Q(39,40), 'PR5718 completion-tail bound fails with the new target count') + old_offset = E.divide(E.moment(P,t+Q(1,5)),E.mul(E.power(16,Q(1,5)),target)) + L.need(old_offset[0] > decay, 'The old tail offset fails at the new cutoff') + bad=outer_module.ledger(dict(params,bit_saving=Q('.0027'))) + L.need(any(x <= 0 for x in bad['strict_checks'].values()), 'Insufficient BIT contract rejected') + return encode({'kappa':KAPPA,'kappa_decimal':'0.00311301600','previous_pr5718':PREVIOUS,'gain':KAPPA-PREVIOUS, + 'relative_gain_percent':100*(KAPPA/PREVIOUS-1),'raw_root_interval':[lower,upper], + 'raw_headroom':[lower-KAPPA,upper-KAPPA], + 'raw_ceiling':{'interval':[Q(0),cap],'derivative_upper':derivative_upper},'margin_at_previous':E.display(margin(PREVIOUS)), + 'targets':T,'paid':P,'productive_fields':sum(T.values()),'paid_calls':sum(P.values()), + 'rank_mass_surplus':760,'full_forward_calls':18,'query_shears':15,'whole_idle_jobs':3120, + 'strictification':{'tested':TESTED,'power':v,'cutoff':c,'floor':b,'tail_offset':u,'reserve':reserve,'tail_decay':decay,'tail_block':128, + 'alpha':E.display(alpha),'gamma':E.display(gamma),'delta':E.display(delta),'normalized_paid_upper':normalized}, + 'compiler':{'theta':theta,'logarithm_power':power,'eta':E.display(eta),'gap':gap,'H':H,'N':'2^'+str(H), + 'integer_test_exponent':right,'uniform_saving':params['complex_uniform_saving'],'word_materialized':False}, + 'nonrecursive':{'local_scalar':local['real_scalar_allowance'],'local_routes':local_routes, + 'raw_scalar_upper':raw,'raw_budget':10**9,'peak_owned_fields':local['peak_owned_fields'], + 'fixed_scalar_growth_bound':'At most 2^(16*26000) before native factors; a declared constant, not an attained norm.', + 'local_paid_rank_mass':local['paid_rank_mass'], + 'tensor_native_growth_bound':'Each rank-r Gaussian has row l1 norm at most 2^(rf); use local_paid_rank_mass for the whole word.'}, + 'ordinary_BIT':bit,'outer':outer, + 'negative_controls':{'source_completion':'Rejected at cutoff17, floor18 and decay39/40', + 'source_offset':'Rejected at cutoff16 with tail offset1/5', + 'old_cutoff':'Rejected by completion-tail ratio greater than one','old_BIT':'Rejected by outer inequalities'}}) diff --git a/research/p104-paid-meeting-splits/sources.py b/research/p104-paid-meeting-splits/sources.py new file mode 100644 index 0000000000..d49da9f7ae --- /dev/null +++ b/research/p104-paid-meeting-splits/sources.py @@ -0,0 +1,74 @@ +"""Authenticate the retained PR5718 export before any source import. + +Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +PR5718 source interface: flyingviper with substantial OpenAI Codex assistance. +Rebound to PR5718 by Ali Romman with substantial OpenAI Codex assistance. +The archive checks follow the repository exporter and flyingviper's PR5613. +""" +from contextlib import contextmanager +from hashlib import sha1, sha256 +from pathlib import Path, PurePosixPath +import importlib.util +import io +import json +import sys +import tarfile +import tempfile + +HERE = Path(__file__).resolve().parent + + +def need(ok, why): + if not ok: + raise ValueError(why) + + +def load(path, name): + spec = importlib.util.spec_from_file_location(name, path) + module = importlib.util.module_from_spec(spec) + sys.modules[name] = module + spec.loader.exec_module(module) + return module + + +@contextmanager +def sources(): + pins = json.loads((HERE/'SOURCES.json').read_bytes()) + for row in pins['direct_sources']: + payload = (HERE/row['local_path']).read_bytes() + need(sha256(payload).hexdigest() == row['sha256'], 'Exact direct source SHA256') + need(sha1(b'blob '+str(len(payload)).encode()+b'\0'+payload).hexdigest() == row['git_blob'], + 'Exact direct source Git blob') + pin = pins['source_export'] + raw = (HERE/pin['local_path']).read_bytes() + need(sha256(raw).hexdigest() == pin['sha256'], 'Exact predecessor archive SHA256') + need(sha1(b'blob '+str(len(raw)).encode()+b'\0'+raw).hexdigest() == pin['git_blob'], + 'Exact retained archive Git blob') + with tempfile.TemporaryDirectory(prefix='p104-paid-main-source-') as directory: + root, names = Path(directory), set() + with tarfile.open(fileobj=io.BytesIO(raw), mode='r:') as bundle: + for member in bundle.getmembers(): + path = PurePosixPath(member.name) + need(member.isfile() and not path.is_absolute() and '..' not in path.parts + and '\\' not in member.name and ':' not in member.name, + 'Regular relative source path') + need(member.name not in names, 'Unique source path') + names.add(member.name) + target = root.joinpath(*path.parts) + target.parent.mkdir(parents=True, exist_ok=True) + target.write_bytes(bundle.extractfile(member).read()) + manifest = json.loads((root/'.research-export.json').read_bytes()) + need(manifest['commit'] == pin['commit'] and manifest['package'] == pin['package'] + and len(manifest['files']) == pin['files'], 'Exact source commit and inventory') + need(names == {'.research-export.json'} | {r['path'] for r in manifest['files']}, + 'No missing or additional source payload') + origins = {row['path']: row for row in pins['archived_files']} + for row in manifest['files']: + origin = origins[row['path']] + need(origin['pin'] == 'head:'+pin['commit']+':'+row['path'] + and origin['sha256'] == row['sha256'], + 'Export payload has an exact source pin') + payload = (root/row['path']).read_bytes() + need(len(payload) == row['size'] and sha256(payload).hexdigest() == row['sha256'], + 'Authenticated payload: '+row['path']) + yield root/pin['package'], root diff --git a/research/p104-paid-meeting-splits/verify.py b/research/p104-paid-meeting-splits/verify.py new file mode 100644 index 0000000000..e4d661529b --- /dev/null +++ b/research/p104-paid-meeting-splits/verify.py @@ -0,0 +1,109 @@ +"""Verify paid intermediate meetings and the complete conditional exponent. + +Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +All source, native, caller and compiler credit is retained in NOTICE. +""" +import argparse +from contextlib import ExitStack +from copy import deepcopy +import gzip +import json +from pathlib import Path +import sys +import tempfile + +sys.dont_write_bytecode = True +HERE = Path(__file__).resolve().parent +sys.path.insert(0, str(HERE)) +from sources import sources, load, need +import construct +import checks + + +def declared_copy(source, target, edits): + text = source.read_text(encoding='utf-8') + for before, after in json.loads(edits.read_bytes()): + need(text.count(before) == 1, 'Unique declared source edit') + text = text.replace(before, after) + need(text == target.read_text(encoding='utf-8'), 'Only declared source edits: '+target.name) + + +def reject(action): + try: + action() + except ValueError as error: + return str(error) + raise ValueError('Invalid full invoice accepted') + + +def run(): + with ExitStack() as contexts: + parent, _ = contexts.enter_context(sources()) + cursor = parent + for depth in range(4): + module = load(cursor/'sources.py', 'paid_meeting_source_'+str(depth)) + cursor, root = contexts.enter_context(module.sources()) + declared_copy(cursor/'local.py', HERE/'local.py', HERE/'LOCAL-EDITS.json') + L = load(HERE/'local.py', 'local') + L.ROOT = root + source = L.read(parent/'WORD.json.gz') + word, witness = construct.construct(source, L.read(HERE/'PLAN.json')) + audit = checks.audit(word) + controls = checks.negative_controls(word) + local = L.replay(word) + transpose = L.reverse_columns(word) + need(local['public_inputs'] == 767 and local['owned_fields'] == 9 + and local['owned_lifetimes'] == 11 and local['peak_owned_fields'] == 2, + 'Exact public and owned inventory') + print('PASS exact construction, all scalar columns, frames, ownership and controls', flush=True) + native = L.native(word) + C = load(root/'research/p104-productive-controller/caller.py', 'paid_meeting_caller') + caller = C.construct() + need(caller == L.read(root/'research/p104-productive-controller/CONTROLLER.json'), + 'Unchanged complete physical caller') + physical = C.physical(caller, word) + print('PASS actual native maps, phases and complete physical caller', flush=True) + declared_copy(parent/'pricing.py', HERE/'pricing.py', HERE/'PRICING-EDITS.json') + P = load(HERE/'pricing.py', 'paid_meeting_price') + price = P.run(local, native, caller, physical) + controls.update(C.controls(caller)) + bad = deepcopy(local) + bad['paid'][1] -= 1 + controls['omit_paid_query_from_bill'] = reject(lambda: P.assemble(bad, native, caller, physical)) + bad = deepcopy(local) + bad['helpers'][9] += 1 + controls['invent_extra_productive_target'] = reject(lambda: P.assemble(bad, native, caller, physical)) + result = dict(status='PASS_P104_PAID_MEETINGS_KAPPA_00311301600', + source_commit='a1534ac45401c9a9c80c07aa65c89e00e33594f8', + local=local, separate_columns=transpose, native=native, + physical_caller=physical, complete_cost=price, + literal_audit=audit, negative_controls=controls, + limits=['The five inherited framework assumptions remain.', + 'The gain is below the requested one percent.', + 'The huge uniform word and rounded multiplier are not materialized.', + 'Author checks are not independent human or formal acceptance.', + 'The selected frontier is unchanged.']) + return P.encode(result), P.encode(witness), word + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--write', action='store_true') + args = parser.parse_args() + with tempfile.TemporaryDirectory(prefix='p104-paid-meeting-bytecode-') as cache: + sys.pycache_prefix = cache + result, witness, word = run() + for name, value in (('RESULT.json', result), ('WITNESS.json', witness), ('WORD.json.gz', word)): + path = HERE/name + if args.write: + raw = (json.dumps(value, sort_keys=True, indent=2)+'\n').encode() + path.write_bytes(gzip.compress(raw, mtime=0) if name.endswith('.gz') else raw) + else: + raw = path.read_bytes() + need(json.loads(gzip.decompress(raw) if name.endswith('.gz') else raw) == value, + 'Complete retained output: '+name) + print(result['status']) + + +if __name__ == '__main__': + main()