From 4aa4bd8d53a2bb80fa0c7d6f634c078b33965113 Mon Sep 17 00:00:00 2001 From: ross Date: Sun, 18 Oct 2026 05:16:26 +1100 Subject: [PATCH] Bound additive phase-child repair costs for idle consolidation --- research/idle-additive-repair-budget/PROOF.md | 184 + .../idle-additive-repair-budget/README.md | 86 + .../idle-additive-repair-budget/RESULT.json | 3684 +++++++++++++++++ .../idle-additive-repair-budget/SOURCES.json | 120 + .../idle-additive-repair-budget/TASK.json | 72 + .../idle-additive-repair-budget/VERIFY.json | 39 + .../idle-additive-repair-budget/allowance.py | 48 + .../idle-additive-repair-budget/verify.py | 202 + 8 files changed, 4435 insertions(+) create mode 100644 research/idle-additive-repair-budget/PROOF.md create mode 100644 research/idle-additive-repair-budget/README.md create mode 100644 research/idle-additive-repair-budget/RESULT.json create mode 100644 research/idle-additive-repair-budget/SOURCES.json create mode 100644 research/idle-additive-repair-budget/TASK.json create mode 100644 research/idle-additive-repair-budget/VERIFY.json create mode 100644 research/idle-additive-repair-budget/allowance.py create mode 100644 research/idle-additive-repair-budget/verify.py diff --git a/research/idle-additive-repair-budget/PROOF.md b/research/idle-additive-repair-budget/PROOF.md new file mode 100644 index 0000000000..83d199cff8 --- /dev/null +++ b/research/idle-additive-repair-budget/PROOF.md @@ -0,0 +1,184 @@ +# An additive repair cannot pay for one idle-group consolidation + +This is a scoped negative result for a concrete changed interface: retain the +original local and hosted calls, reassign the existing idle axes, and repair the +changed physical operator using additional recursive phase children. The +correction is charged **beyond the fixed original residual rank mass**. It is +not a proof against changing or absorbing work into the original calls. + +## 1. The exact comparison model + +Let `0 <= a <= 1/400`, `p=1-a`. The raw cost of a rank-`r` recursive child is +`r^p`, with `0^p=0`. Normalized cost is `(r/73)^p`. The same positive stock +division and all other invoice terms are held fixed on both sides. + +One original replica/port group has at most twenty residual slots of integer +ranks `0 <= r_i <= 51`. Let `M=sum r_i` and `A=sum r_i^p`. The candidate +redistributes exactly this same residual mass into ranks at most 51. To give it +every advantage, permit even nonnegative real counts and real ranks: write +`A'=sum_j w_j s_j^p`, with `0 <= s_j <= 51`, `w_j >= 0`, and +`sum_j w_j s_j=M`. Any actual reassignment is included in this relaxation. + +In addition, charge at least one actual repair child, of integer rank `q>=1` +and full multiplicity one. With several repairs let their raw cost be +`C=sum_l q_l^p`. We grant the repair exact arbitrary-input correctness and no +other overhead; in particular this favorable screen gives it free movement, +adapters and restoration. It does not construct such a free implementation. + +The original local and hosted profile, stock, widths and normalization remain +fixed. Enlarging banks, changing original children, crediting repair rank against +residual mass, or sharing one repair across several groups requires a different +invoice. Nonnegative extra costs under the fixed invoice only worsen the result. + +## 2. An all-parameter allowance bound + +For every positive `s <= 51`, `s^p=s*s^(-a) >= s*51^(-a)`. Hence + +``` +A' >= M*51^(-a), +A-A' <= B(a) := sum_i (r_i^p-r_i*51^(-a)). +``` + +Rank zero contributes zero. For integer `1 <= r <= 51`, put +`t=a*ln(51/r) >= 0`. Since `1-exp(-t) <= t` and `r^p <= r`, + +``` +r^p-r*51^(-a) + = r^p*(1-exp(-t)) + <= a*r^p*ln(51/r) + <= a*r*ln(51/r) + <= a*51/e. +``` + +The last inequality follows by differentiating `x*ln(51/x)`: its maximum over +positive `x` is `51/e`, attained at `x=51/e`. The exponential series gives +`e > 1+1+1/2+1/6 = 8/3`. Therefore, for `0= 1-B(a) > 7/160 > 0. +``` + +At `a=0`, both residual profiles cost exactly `M`; the repair costs at least +one, which also proves the strict stated margin. The normalized increase is +greater than `(7/160)*73^(-p)`, followed by any unchanged stock division. +Thus this additive repair cannot improve the fixed-stock recursive moment +inequality anywhere in the stated interval. This does not claim a new root, +a new kappa, or rejection of another supplier interface. + +This is a written proof for every real `a` in the interval and every profile +in the declared model. The finite rational endpoint calculation is a control, +not the proof of the whole interval. No formal proof kernel has checked it. + +## 3. Binding the source geometry and the proposed repair + +The source base is `463113d675af7410ac91d53a4fed51ec6494eb9a`. +The unchanged DATA-PHASES recipes contain twenty idle positions at every one +of 112 ports, with full ranks only `0,8,16,32,48`. A valid hosted prefix removes +axes from these bases, so its residuals have at most twenty slots and ranks at +most 48. The retained halving guard permits new residual rank at most 51: +`2*51^2=5202 < 73^2=5329 <= 2*52^2=5408`. + +The verifier authenticates all 2,717,280 decoded T740 fill rows through the +retained PR3148 payload hash, then reconstructs actual residual inventories for +owner replica zero at all 112 ports. Its actual endpoint allowance at `a=1/400` +is below the more permissive analytic bound. The generic twenty-slot theorem +also applies to any other valid residual partition meeting its premises; this +package does not independently rerun hosting/native/owner admission for all +other replicas or certify those partitions by a new full controller replay. + +Crucially, the source coverage tool defines `idle_mass=total_mass-local_mass`. +The theorem above is **not** an allowance to insert a repair into that coverage +law and also reduce `M`. Here the repaired proposal is the literal one: assign +each original residual axis once, then insert correction operators in addition. +Its reassigned residual mass is still exactly `M`. All correction children are +extra to that mass. A controller that instead eliminates other existing paid +work has changed this hypothesis and must be priced separately. + +## 4. A physical operator witness and the sharp insertion count + +Use PR3148 owner replica zero, port zero. Move axis `v=16` from child 10 to +child 12, as in a component of the pinned PR3184 star. The donor and receiver +residual ranks change `48,48 -> 47,49`. The axis is in the donor residual and +is orthogonal to the receiver's full basis. The total rank mass and group axis +multiset are unchanged. + +On the translation character `x=16` in `F2^73`, the canonical-cover baseline +eight-stream operator is `i I_8`. With zero-based indices the reassigned operator differs +from it at exactly + +``` +Delta[1,1] = -1-i, +Delta[3,1] = -1-i, +Delta[7,7] = 1-i. +``` + +The submatrix on rows and columns `{1,7}` has determinant `-2`, and the only +nonzero columns are 1 and 7. Thus its rank over `Q(i)` is exactly two. +These are operator identities on arbitrary inputs, including dirty streams; +no zero-state promise is used. The global phase is retained in `i I_8`. + +An inserted single-stream phase child of any axis rank has, at a fixed +character, an eight-stream action `D=I+(z-1)e_s e_s^T`. If the retained prefix +and suffix are `A,B`, adding it changes the operator by +`B(D-I)A`, of rank at most one. At any cut this cannot equal the required +rank-two correction. Therefore at least two such insertions are necessary at +caller-level cuts in this exact retained-interaction example. It does not +cover edits inside an opaque recursive child's helper-coupled implementation. +The claim concerns completed +Fourier-diagonal single-stream phase insertions; it does not treat new +multi-stream interactions or an unpriced bundled decoder as one such child. + +Two rank-one calls suffice algebraically: insert `C_v` next to the donor's +reduced residual phase and `C_v^-1` next to the receiver's enlarged phase. +Here `C_v` has eigenvalue `i^(x dot v)` at character `x`, so `C_v^4=I` exactly. +The donor phase is restored and the receiver's extra factor is cancelled. +This restores each affected original factor and hence the entire operator +for all `2^73` characters, including global phase. It simply repays and +reverts the transfer; it does not achieve a cheaper supplier. + +The identity `C_v^2=X_v` also gives `C_v^-1=C_v X_v`. Thus the inverse is one +rank-one selected child plus the explicit rank-zero translation `X_v`, whose +movement is granted free in the favorable comparison of section 1. The +interpreter represents the inverse by three forward phase exponents to test +the same identity. The invoice charges one rank-one child and grants the +translation free, rather than charging three forward calls. No repeated-axis +list in this test is accepted as an orthonormal +residual basis. For the algebraic repair, the generous budget theorem already +loses with one added child, before charging its necessary second insertion. + +## 5. Controls and precise reopening conditions + +The source-bound replay rejects a wrong inverse, omission of either repair, +and acceptance based only on the unchanged axis multiset. A positive +single-insertion control has difference rank one. The retained interpreter is +reused; a separate specialist implementation independently checked the exact +operator witness. These are AI-assisted checks, not independent human review. + +The independent integer-root routine encloses every `r^(399/400)`, `r=0..51`, +using exact integer-power bisection. It certifies the endpoint single-slot +maximizer `r=19` and four **positive relaxed-invoice** controls outside the +model: 22 original slots, half an actual repair call, one repair shared across +two groups, and repair rank deducted from original residual mass. These +relaxations are not claimed to realize correct operators. They demonstrate +why those hypotheses cannot be dropped from this budget argument. + +The bounded investigation stops here. A constructive route can reopen it by +absorbing corrections into existing calls, replacing original interactions, +providing an actual shared repair across groups, changing the coverage/rank +contract, or studying another saving interval. Each needs a new complete +invoice and arbitrary-input restoration proof. This result supplies none of +those interfaces and establishes no general barrier to a larger kappa. + +Credit: the source construction and physical-stream objection remain with +Rohan Arun, Jeremy Diviney, dcharb78, Marius-Paul Dumitrean, Jeremy Kothe, +Gonzalo-Mier, Gareth Davidson, Nick Petalas, Tekalign and the retained +word/native/geometry lineage. This scoped repair allowance and its exact +application were prepared by Ross Richardson with substantial OpenAI Codex +assistance and independent mathematical-specialist implementations. +New material is Apache-2.0; retained sources are unchanged. diff --git a/research/idle-additive-repair-budget/README.md b/research/idle-additive-repair-budget/README.md new file mode 100644 index 0000000000..e928013373 --- /dev/null +++ b/research/idle-additive-repair-budget/README.md @@ -0,0 +1,86 @@ +# Added phase children cannot pay for one idle-group consolidation + +**Scoped negative result; no new kappa or supplier admission.** Retaining the +original local and hosted calls, one replica/port group's idle-axis repacking +cannot pay even one additional positive-rank repair child under the declared +fixed-mass invoice. This tests a constructive repair route left outside the +fixed-schedule transfer obstructions, rather than rerunning their census. + +For `0 <= a <= 1/400`, raw recursive child cost is `r^(1-a)`. With at most +twenty original residual slots and new residual ranks at most 51, even ideal +fractional rank-51 packing saves **less than `153/160` raw units**. One actual +additional child costs at least one. The resulting raw moment therefore +increases by **more than `7/160`**, before extra overhead. [PROOF.md](PROOF.md) +gives the all-parameter argument, endpoint handling and normalization. + +The essential hypothesis is that repairs are paid **in addition to the fixed +original residual rank mass**. The source coverage formula can instead deduct +new local rank from idle mass; that alternative invoice is outside this result. +Changing original children, stock, normalization, interactions or rank cap, or +sharing one repair across groups, also requires a new comparison. Exact positive +relaxed-invoice controls show why those distinctions matter. + +A concrete PR3184 component on PR3148 owner replica zero / port zero moves +axis 16 from child 10 to child 12. It changes the exact eight-stream operator +by rank two over `Q(i)` at character 16; a `2x2` minor has determinant `-2`. +One inserted single-stream phase child changes it by rank at most one at any +retained caller-level cut. Two signed rank-one phase children restore the +original factors, including global phase, for every character; they simply +repay the transfer. The inverse uses `C_v^-1=C_v X_v`, with translation movement +granted free by the optimistic screen. This is an arbitrary-input operator statement, not a +zero-helper experiment. Omitted repairs and a wrong inverse fail. + +## Sources and coverage + +Base: `463113d675af7410ac91d53a4fed51ec6494eb9a`, priority revision 6. +[SOURCES.json](SOURCES.json) pins nineteen live inputs, plus catalogue and +selected-record provenance. The verifier authenticates all 2,717,280 decoded +T740 fill rows and reconstructs owner-replica-zero inventories at all 112 +ports. Every source recipe has twenty idle slots and full ranks in +`{0,8,16,32,48}`. The inherited strict halving cap is 51. + +The retained exact eight-stream interpreter and rational moment enclosures are +reused unchanged. An independent mathematical-specialist implementation checked +the operator witness, and a separate cost reviewer rederived the continuous +bound. The latter's independent integer-power method is included in +[allowance.py](allowance.py), covering the endpoint `a=1/400`, integer ranks +0..51 and four excluded relaxed invoices. It does not replace the written +proof on the whole interval. There is no formal-kernel or independent human +review, new full native/controller replay, supplier admission or outer theorem. + +## Reproduce + +From the repository root: + +```sh +python3.12 scripts/research_package.py --package research/idle-additive-repair-budget +``` + +Expected: `PASS_IDLE_ADDITIVE_REPAIR_BUDGET` and +`PASS_REGISTERED_RESEARCH_PACKAGE ... outcome=negative-result`. +The registered command verifies the committed [RESULT.json](RESULT.json). +For a fresh deterministic receipt use `verify.py --output /absolute/new.json`; +the output must be new and outside this package. It does not modify sources. + +## Open next questions + +The bounded repair test is complete. [TASK.json](TASK.json) records two precise +reopening routes: absorb a correction into original children while proving +what existing cost disappears, or construct a shared correction across groups +and account for its actual joint operator, stock, routing and restoration. +Neither route is claimed to work or reserved by this package. + +## Credit and license + +The source construction, proposals and physical-stream objections remain due +to Rohan Arun (#3184/#3190), Gonzalo-Mier (#1252/#3196/#3199), Gareth Davidson +(#1387), Nick Petalas (#3187), Tekalign (#3204), Jeremy Diviney (#3148), +dcharb78, Marius-Paul Dumitrean, Jeremy Kothe and all retained word, native, +geometry and compiler predecessors. The selected record is unchanged; +archival of a predecessor is not scientific admission. + +This package adds the explicit additive-repair allowance, its source-bound +application, exact insertion witness and scope-sensitive invoice controls. +Prepared by Ross Richardson with substantial OpenAI Codex assistance, including +independent mathematical-specialist checks. New material is Apache-2.0. +Frozen predecessors and their notices remain unchanged. diff --git a/research/idle-additive-repair-budget/RESULT.json b/research/idle-additive-repair-budget/RESULT.json new file mode 100644 index 0000000000..9b93193526 --- /dev/null +++ b/research/idle-additive-repair-budget/RESULT.json @@ -0,0 +1,3684 @@ +{ + "actual_owner_replica_zero": [ + { + "mass": 196, + "port": 0, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 1, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 2, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 3, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 4, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 5, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 6, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 7, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 8, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 9, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 10, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 11, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 12, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 13, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 14, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 15, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 16, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 17, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 18, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 19, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 20, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 21, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 22, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 23, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 24, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 25, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 26, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 27, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 28, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 29, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 30, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 31, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 32, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 33, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 34, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 35, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 36, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 37, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 38, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 39, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 40, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 41, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 42, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 43, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 44, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 45, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 46, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 47, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 48, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 49, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 50, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 51, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 52, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 53, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 54, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 55, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 56, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 57, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 58, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 59, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 60, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 61, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 62, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 63, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 64, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 65, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 66, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 67, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 68, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 69, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 70, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 71, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 72, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 73, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 74, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 75, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 76, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 77, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 78, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 79, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 80, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 81, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 82, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 83, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 84, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 200, + "port": 85, + "ranks": [ + 0, + 0, + 0, + 0, + 5, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "2371035759155855654322098624963152410041633016525753522958271542256967439764/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 86, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 87, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 88, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 89, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 90, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 91, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 92, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 93, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 94, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 95, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 96, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 97, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 98, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 99, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 100, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 101, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 102, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 103, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 104, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 105, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 106, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 107, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 108, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 109, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 110, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + }, + { + "mass": 196, + "port": 111, + "ranks": [ + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 48, + 0, + 48, + 0, + 48, + 48, + 1, + 1, + 0, + 0, + 0, + 0 + ], + "raw_relaxation_upper_at_a_1_400": "1851859591801081023569382352457805061556506942570287051722234089330884123200/27256071409303654354461793534786947632220564946578863948217677827864413791137" + } + ], + "analytic_domain": { + "a_max": "1/400", + "a_min": "0", + "raw_allowance_strict_upper": "153/160", + "raw_net_loss_strict_lower": "7/160" + }, + "base": "463113d675af7410ac91d53a4fed51ec6494eb9a", + "control_count": 10, + "controls": [ + "wrong-inverse", + "missing-donor", + "missing-receiver", + "axis-multiset-insufficiency", + "positive-rank-one-insertion", + "rank-cap", + "slot-count", + "saving-range", + "rank-zero-repair", + "fractional-actual-count" + ], + "independent_endpoint_invoice_controls": { + "integer_gap_maximizer": 19, + "method": "integer-power rational bisection; endpoint a=1/400 only", + "operator_feasibility_of_excluded_invoice_controls": "not asserted", + "positive_relaxed_gain_outside_the_model": { + "22_original_slots": [ + "58620656917/2550000000000", + "9770109499/425000000000" + ], + "half_an_actual_repair_call": [ + "109647332447/255000000000", + "18274555409/42500000000" + ], + "one_repair_shared_by_two_groups": [ + "109647332447/127500000000", + "18274555409/21250000000" + ], + "repair_rank_credited_against_residual_mass": [ + "1466581702709/1593750000000", + "46930614488089/51000000000000" + ] + }, + "ranks_checked": [ + 0, + 51 + ], + "twenty_slot_gain": [ + "237147332447/255000000000", + "39524555409/42500000000" + ] + }, + "live_inputs_authenticated": 19, + "new_kappa": null, + "operator_witness": { + "axis": 16, + "baseline": [ + [ + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ] + ] + ], + "character": 16, + "difference_rank_Qi": 2, + "donor": 10, + "finite_repair_control_modes": 146, + "minor_determinant": [ + -2, + 0 + ], + "minor_rows_and_columns": [ + 1, + 7 + ], + "overlay": [ + [ + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + -1, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + -1, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 1, + 0 + ] + ] + ], + "overlay_minus_baseline_nonzero_entries": [ + [ + 1, + 1, + -1, + -1 + ], + [ + 3, + 1, + -1, + -1 + ], + [ + 7, + 7, + 1, + -1 + ] + ], + "owner_replica": 0, + "port": 0, + "receiver": 12, + "single_stream_insertions_required_at_least": 2, + "two_signed_rank_one_children_suffice": true + }, + "selected_frontier_changed": false, + "source_geometry": { + "full_ranks": [ + 0, + 8, + 16, + 32, + 48 + ], + "idle_slots": 20, + "ports": 112, + "rank_cap": 51 + }, + "status": "PASS_IDLE_ADDITIVE_REPAIR_BUDGET", + "t740_rows_authenticated": 2717280 +} diff --git a/research/idle-additive-repair-budget/SOURCES.json b/research/idle-additive-repair-budget/SOURCES.json new file mode 100644 index 0000000000..0547490495 --- /dev/null +++ b/research/idle-additive-repair-budget/SOURCES.json @@ -0,0 +1,120 @@ +{ + "schema_version": 1, + "base_commit": "463113d675af7410ac91d53a4fed51ec6494eb9a", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "input", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "input", + "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5", + "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0" + }, + { + "path": "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json", + "usage": "input", + "git_blob": "d9a4f84211182ca200c081ea061d724c8a2cfb70", + "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + }, + { + "path": "research/complex-local-word-ceiling/ceiling.py", + "usage": "input", + "git_blob": "6c0f54527d879396f689523bfde19928a9b6157c", + "sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc" + }, + { + "path": "research/idle-star-paired-axis-census/README.md", + "usage": "input", + "git_blob": "6d76e96da73621aaf10299c810ce472a2b97e322", + "sha256": "1f6dec1ecb453e875193f18f4b138cc06a596f8be3677f2ad32735e79aa4e33f" + }, + { + "path": "research/idle-star-paired-axis-census/RESULT.json", + "usage": "input", + "git_blob": "daab4e70d31d3ca6e79a00573b32ca9bd5912de4", + "sha256": "a8fd3a61fec67ff330c5f743fef6b5febc6df1d8b1626f818f6a39c21d6570b9" + }, + { + "path": "research/idle-star-paired-axis-census/SOURCES.json", + "usage": "input", + "git_blob": "e23e4f3c99f0fdbb46399e9e99f5e839ecea0418", + "sha256": "3eed2495ec70135a20abd248c60609c7f0efb42dc8d7afddbacb1f8b10c63953" + }, + { + "path": "research/idle-star-paired-axis-census/TASK.json", + "usage": "input", + "git_blob": "f020a9a7d8783b50f871075a462b556d384d5d05", + "sha256": "f4e7dbb1f0305e0f22a2aaf8a942594f775ce3364cbe15031fad799e6413b198" + }, + { + "path": "research/idle-star-paired-axis-census/VERIFY.json", + "usage": "input", + "git_blob": "9a3d449cb4b6387815babe9979d47d605bafbb11", + "sha256": "072b6658d620a7fc2b4b1cc60701d252dc073c715af111d7c493ab24907381fd" + }, + { + "path": "research/idle-star-paired-axis-census/vendor/BASE-FILL.json.gz", + "usage": "input", + "git_blob": "92b49b42b8f381d686a9fb8057e74e4b7548cd5c", + "sha256": "68b8bae90144248774b1920cd27f9519caa3dc427704d8a9da6d4c491d912fc4" + }, + { + "path": "research/idle-star-paired-axis-census/vendor/EXCHANGE.json", + "usage": "input", + "git_blob": "f323db0fd94a80f691b1606e813d0738b27058ae", + "sha256": "5063791f327d067f37478488c97ce449e5b34cfb61d6309fc6924c5e360fe839" + }, + { + "path": "research/idle-star-paired-axis-census/vendor/PR3133-CREDITS.md", + "usage": "input", + "git_blob": "24f00912d4ec829c3c8d2a8d086aa135664a124c", + "sha256": "1d9d8f56d8899f55878e4cb2c4e052b22506444016a51c2e678773505f5189e6" + }, + { + "path": "research/idle-star-paired-axis-census/vendor/PR3133-NOTICE", + "usage": "input", + "git_blob": "89c20926ea7f803718f751d95989d5a269908efd", + "sha256": "c9731c9cca25ede32c2a1b3aef6d5b249973cb2ed5fb2494407bdca598763661" + }, + { + "path": "research/idle-star-paired-axis-census/vendor/PROVIDERS.json", + "usage": "input", + "git_blob": "0b2343675099d0a9fe90da6e1f1e53f50235567e", + "sha256": "52eb0d85caa7b2d4a93acdf5011f52b793f61ddca86235fb03cd9a09397ad4cd" + }, + { + "path": "research/idle-star-paired-axis-census/verify.py", + "usage": "input", + "git_blob": "d6c4ade44ff7976762a542682973f5f99fe754ed", + "sha256": "8be7cc5becb41c8812ee4d262222244eeacc1e01c77697669c4c2404cafda4fe" + }, + { + "path": "research/rank7-joint-endframes/allocation/DISPATCH.json", + "usage": "input", + "git_blob": "9544fee4e6ee1f202cee22bfaeaf229ee3b2515e", + "sha256": "65e435bd68e97243c003677271b88485a29d4d0fae2dff1354100404a145e74c" + }, + { + "path": "research/rank7-joint-endframes/allocation/ORDER.json", + "usage": "input", + "git_blob": "7409c4df1092241729739596c7648bda504e6aad", + "sha256": "519d1d5dbb997a219fcfcad34c0b03e7838bef24199784d7e964fa10090f66e1" + }, + { + "path": "research/rank7-joint-endframes/allocation/vendor/PLAN.json.gz", + "usage": "input", + "git_blob": "7a1db55a4d53ee99280be4f3ab7d29f7b2033adf", + "sha256": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e" + }, + { + "path": "research/rank7-joint-endframes/allocation/vendor/TEMPLATE.json.gz", + "usage": "input", + "git_blob": "114808c32b1799da53524bdc25cea67efb60009e", + "sha256": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e" + } + ] +} diff --git a/research/idle-additive-repair-budget/TASK.json b/research/idle-additive-repair-budget/TASK.json new file mode 100644 index 0000000000..fa8fba86df --- /dev/null +++ b/research/idle-additive-repair-budget/TASK.json @@ -0,0 +1,72 @@ +{ + "schema_version": 1, + "task_id": "complex-new-helper-inventory", + "priority_revision": 6, + "base_commit": "463113d675af7410ac91d53a4fed51ec6494eb9a", + "original_card": { + "id": "complex-new-helper-inventory", + "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?", + "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" + ], + "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." + ], + "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.", + "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." + }, + "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.", + "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.", + "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." + ], + "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." + ], + "overlap_terms": [ + "helper inventory", + "heterogeneous-owner", + "mutable leaver" + ] + }, + "scope_status": "changed", + "actual_scope": "Test additive paid phase-child repairs of idle-axis consolidation under a fixed original residual rank mass, stock and local/hosted profile.", + "scope_change_reason": "A scoped obstruction directly tests an explicit repair mechanism for the idle-axis cost-structure proposal; it does not construct a new admitted helper inventory.", + "bottleneck_link": "Idle-axis concentration would lower a concave recursive moment only if its changed physical operator can be repaired affordably. This package bounds the entire optimistic per-group allowance and compares actual added recursive calls.", + "budget_minutes": 240, + "stop_rule": "Stop after the all-parameter allowance and one exact operator repair witness are proved or falsified and independently checked; no routing expansion or new lowering census.", + "outcome": "negative-result", + "evidence": "PROOF.md; RESULT.json; verify.py; allowance.py; exact source pins in SOURCES.json.", + "author": "Ross Richardson", + "ai_assistance": "Substantial OpenAI Codex assistance, including independent asymptotic-budget and exact frame/operator specialists; no independent human or formal-kernel review.", + "open_questions": [ + { + "question": "Can a correct idle-transfer repair be absorbed into original paid children rather than added beyond fixed residual mass?", + "why_it_matters": "The additive repair allowance does not exclude replacing existing work or deducting repair rank from the original coverage invoice.", + "first_step": "Specify one literal changed child and show exactly which original operation and rank mass it replaces; derive the joint arbitrary-input operator and complete invoice.", + "blocked_by": "No such replacement operator or complete new invoice is supplied here." + }, + { + "question": "Can one correct paid repair be shared across multiple replica/port groups with a favorable total bill?", + "why_it_matters": "The per-group full-child tariff does not exclude a genuinely shared correction.", + "first_step": "Give a two-group joint correction and test its full dirty-input operator, routing, stock, source access and restoration costs.", + "blocked_by": "A favorable relaxed shared invoice is not an executable shared repair." + } + ] +} diff --git a/research/idle-additive-repair-budget/VERIFY.json b/research/idle-additive-repair-budget/VERIFY.json new file mode 100644 index 0000000000..151e6f8c7f --- /dev/null +++ b/research/idle-additive-repair-budget/VERIFY.json @@ -0,0 +1,39 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "certificates/selected-result.json", + "docs/research/agent-task-catalog.json", + "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json", + "research/complex-local-word-ceiling/ceiling.py", + "research/idle-star-paired-axis-census/README.md", + "research/idle-star-paired-axis-census/RESULT.json", + "research/idle-star-paired-axis-census/SOURCES.json", + "research/idle-star-paired-axis-census/TASK.json", + "research/idle-star-paired-axis-census/VERIFY.json", + "research/idle-star-paired-axis-census/vendor/BASE-FILL.json.gz", + "research/idle-star-paired-axis-census/vendor/EXCHANGE.json", + "research/idle-star-paired-axis-census/vendor/PR3133-CREDITS.md", + "research/idle-star-paired-axis-census/vendor/PR3133-NOTICE", + "research/idle-star-paired-axis-census/vendor/PROVIDERS.json", + "research/idle-star-paired-axis-census/verify.py", + "research/rank7-joint-endframes/allocation/DISPATCH.json", + "research/rank7-joint-endframes/allocation/ORDER.json", + "research/rank7-joint-endframes/allocation/vendor/PLAN.json.gz", + "research/rank7-joint-endframes/allocation/vendor/TEMPLATE.json.gz" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Authenticate 19 live source inputs and all 2717280 T740 rows; reconstruct 112 owner-replica-zero residual inventories; verify rational theorem constants, exact rank-two Fourier witness and two-child repair; reject omitted/wrong repairs; independent integer-root endpoint controls and four positive relaxed invoices outside the theorem; compare committed deterministic result." + } + ] +} diff --git a/research/idle-additive-repair-budget/allowance.py b/research/idle-additive-repair-budget/allowance.py new file mode 100644 index 0000000000..967110fe85 --- /dev/null +++ b/research/idle-additive-repair-budget/allowance.py @@ -0,0 +1,48 @@ +"""Independent integer-root checks and excluded-invoice controls. + +Prepared by Ross Richardson with substantial OpenAI Codex mathematical-specialist +assistance; adapted from that independent review. Apache-2.0. These endpoint +calculations support, but do not replace, the all-parameter written proof. +""" +from fractions import Fraction as Q + + +def require(ok, why): + if not ok: + raise ValueError(why) + + +def power(rank): + scale=10**12 + value=rank**399*scale**400 + lo=0 + hi=1<<((value.bit_length()+399)//400) + while hi-lo>1: + mid=(lo+hi)//2 + if mid**400<=value: + lo=mid + else: + hi=mid + require(lo**400<=value<(lo+1)**400,'integer root enclosure') + return Q(lo,scale),Q(lo if lo**400==value else lo+1,scale) + + +def run(): + powers={r:power(r) for r in range(52)} + unit51=tuple(v/51 for v in powers[51]) + gaps={r:(powers[r][0]-r*unit51[1],powers[r][1]-r*unit51[0]) for r in powers} + require(all(gaps[19][0]>gaps[r][1] for r in powers if r!=19),'endpoint integer maximizer') + gain=tuple(20*v for v in gaps[19]) + require(gain[1]0 for bounds in controls.values()),'excluded relaxed invoice gain') + return {'method':'integer-power rational bisection; endpoint a=1/400 only', + 'ranks_checked':[0,51],'integer_gap_maximizer':19, + 'twenty_slot_gain':list(map(str,gain)), + 'positive_relaxed_gain_outside_the_model':{k:list(map(str,v)) for k,v in controls.items()}, + 'operator_feasibility_of_excluded_invoice_controls':'not asserted'} diff --git a/research/idle-additive-repair-budget/verify.py b/research/idle-additive-repair-budget/verify.py new file mode 100644 index 0000000000..c06b1f1385 --- /dev/null +++ b/research/idle-additive-repair-budget/verify.py @@ -0,0 +1,202 @@ +#!/usr/bin/env python3 +"""Source-bound additive repair budget. Written theorem: PROOF.md. + +Ross Richardson, with substantial OpenAI Codex assistance. Apache-2.0. +The retained source interpreter is reused, not independently reimplemented here. +""" +from __future__ import annotations +import argparse +from fractions import Fraction as Q +import hashlib +import importlib.util +import json +from pathlib import Path + +PACKAGE = Path(__file__).resolve().parent +ROOT = PACKAGE.parents[1] +BASE = "463113d675af7410ac91d53a4fed51ec6494eb9a" +LIMIT_A = Q(1,400) +ALLOWANCE = Q(153,160) + +def require(ok, why): + if not ok: + raise ValueError(why) + +def load(name,path): + spec = importlib.util.spec_from_file_location(name,path) + module = importlib.util.module_from_spec(spec) + spec.loader.exec_module(module) + return module + +def authenticate(): + sources=json.loads((PACKAGE/'SOURCES.json').read_text()) + require(sources['base_commit']==BASE,'base pin') + inputs=[r for r in sources['files'] if r['usage']=='input'] + require(len(inputs)==19,'live input coverage') + for row in inputs: + p=ROOT/row['path'] + require(p.is_file() and not p.is_symlink(),'missing/linked input') + raw=p.read_bytes() + require(hashlib.sha256(raw).hexdigest()==row['sha256'],'SHA256 '+row['path']) + blob=hashlib.sha1(b'blob '+str(len(raw)).encode()+b'\0'+raw,usedforsecurity=False).hexdigest() + require(blob==row['git_blob'],'Git blob '+row['path']) + +def rank_q(rows): + rows=[[Q(v) for v in row] for row in rows] + rank=0 + for col in range(len(rows[0])): + pivot=next((i for i in range(rank,len(rows)) if rows[i][col]),None) + if pivot is None: + continue + rows[rank],rows[pivot]=rows[pivot],rows[rank] + scale=rows[rank][col] + rows[rank]=[v/scale for v in rows[rank]] + for i in range(len(rows)): + if i!=rank and rows[i][col]: + scale=rows[i][col] + rows[i]=[x-scale*y for x,y in zip(rows[i],rows[rank],strict=True)] + rank+=1 + if rank==len(rows): + break + return rank + +def difference(a,b): + return [[(x-u,y-v) for (x,y),(u,v) in zip(ar,br,strict=True)] for ar,br in zip(a,b,strict=True)] + +def rank_qi(matrix): + real=[[v[0] for v in row]+[-v[1] for v in row] for row in matrix] + real += [[v[1] for v in row]+[v[0] for v in row] for row in matrix] + rank=rank_q(real) + require(rank%2==0,'realification parity') + return rank//2 + +def budget_domain(ranks,a,repair_rank=1,repair_count=1): + require(len(ranks)<=20 and all(type(r) is int and 0<=r<=51 for r in ranks),'idle domain') + require(0<=a<=LIMIT_A,'saving domain') + require(type(repair_rank) is int and repair_rank>=1,'positive integral repair rank') + require(type(repair_count) is int and repair_count>=1,'positive integral actual repair count') + +def rejects(call): + try: + call() + except ValueError: + return + raise ValueError('unrejected domain control') + +def run(): + authenticate() + old=load('retained_idle',ROOT/'research/idle-star-paired-axis-census/verify.py') + cost=load('retained_cost',ROOT/'research/complex-local-word-ceiling/ceiling.py') + allowance=load('independent_endpoint_allowance',PACKAGE/'allowance.py') + old.authenticate() + vendor=old.PACKAGE/'vendor' + base=old.decode(old.read_bytes(vendor/'BASE-FILL.json.gz'))['rows'] + journal=old.decode(old.read_bytes(vendor/'EXCHANGE.json')) + rows=old.project_all_ports(base,old.journal_edits(base,journal)) + allocation=ROOT/'research/rank7-joint-endframes/allocation' + order0=old.decode(old.read_bytes(allocation/'ORDER.json')) + require(len(order0)==666,'base order') + order=[[s,r+74*c] for s,r in order0 for c in range(10)] + dr=old.decode(old.read_bytes(allocation/'DISPATCH.json')) + dispatch={(s,r):t for s,r,t in dr} + require(len(dispatch)==len(dr)==666,'dispatch') + providers=old.decode(old.read_bytes(vendor/'PROVIDERS.json')) + plan=old.decode(old.read_bytes(allocation/'vendor/PLAN.json.gz')) + template=old.decode(old.read_bytes(allocation/'vendor/TEMPLATE.json.gz')) + recipes=old.decode(old.read_bytes(ROOT/'research/adaptive-kernel-demotion/inputs/DATA-PHASES.json'))['recipes'] + require(len(recipes)==112 and all(len(r['idle_children'])==20 for r in recipes),'source slot count') + full_ranks=sorted({len(c['orthogonal_axes']) for r in recipes for c in r['idle_children']}) + require(full_ranks==[0,8,16,32,48],'full recipe rank domain') + require(2*51**2<73**2<=2*52**2,'strict halving cap') + blocks=old.stage_blocks(template) + partial_e=Q(1)+Q(1)+Q(1,2)+Q(1,6) + require(partial_e==Q(8,3),'positive-tail lower bound for e') + require(20*LIMIT_A*51/partial_e==ALLOWANCE and 1-ALLOWANCE==Q(7,160),'analytic rational constants') + c1=cost.child_cost(1,73,LIMIT_A) + c51=cost.child_cost(51,73,LIMIT_A) + ports=[] + for port in range(112): + ctx=old.prepare_port(port,rows[port],order,dispatch,providers,plan,template,recipes) + ranks=[len(ctx['residual'][j]) for j in range(20)] + budget_domain(ranks,LIMIT_A) + mass=sum(ranks) + upper=sum((cost.child_cost(r,73,LIMIT_A)[1] for r in ranks if r),Q(0))-Q(mass,51)*c51[0] + raw_upper=upper/c1[0] + require(raw_upperQ(1,1000)*c1[1],'fractional repair loophole control') + return {'status':'PASS_IDLE_ADDITIVE_REPAIR_BUDGET','base':BASE,'live_inputs_authenticated':19, + 't740_rows_authenticated':old.TOTAL_ROWS,'source_geometry':{'ports':112,'idle_slots':20,'full_ranks':full_ranks,'rank_cap':51}, + 'analytic_domain':{'a_min':'0','a_max':'1/400','raw_allowance_strict_upper':'153/160','raw_net_loss_strict_lower':'7/160'}, + 'actual_owner_replica_zero':ports, + 'operator_witness':{'owner_replica':0,'port':0,'donor':donor,'receiver':receiver,'axis':axis,'character':axis, + 'baseline':before,'overlay':after,'difference_rank_Qi':2, + 'overlay_minus_baseline_nonzero_entries':nonzero,'minor_rows_and_columns':[1,7],'minor_determinant':[-2,0], + 'single_stream_insertions_required_at_least':2,'two_signed_rank_one_children_suffice':True,'finite_repair_control_modes':len(modes)}, + 'independent_endpoint_invoice_controls':allowance.run(), + 'controls':controls,'control_count':len(controls),'selected_frontier_changed':False,'new_kappa':None} + +def main(): + parser=argparse.ArgumentParser(description=__doc__) + parser.add_argument('--output',type=Path,help='new external deterministic result receipt') + args=parser.parse_args() + result=json.loads(json.dumps(run())) + if args.output: + require(not args.output.exists() and args.output.resolve().parent!=PACKAGE,'new external output required') + args.output.write_text(json.dumps(result,indent=2,sort_keys=True)+'\n') + else: + require(result==json.loads((PACKAGE/'RESULT.json').read_text()),'committed result differs') + print('PASS_IDLE_ADDITIVE_REPAIR_BUDGET ports=112 rows=2717280 allowance<153/160 repair>=1 witness_rank=2 no_new_kappa') + +if __name__=='__main__': + main()