diff --git a/research/coupled-query-transport/.gitattributes b/research/coupled-query-transport/.gitattributes new file mode 100644 index 0000000000..b7823e3f34 --- /dev/null +++ b/research/coupled-query-transport/.gitattributes @@ -0,0 +1 @@ +inputs/* -text diff --git a/research/coupled-query-transport/PROOF.md b/research/coupled-query-transport/PROOF.md new file mode 100644 index 0000000000..d25beb53d0 --- /dev/null +++ b/research/coupled-query-transport/PROOF.md @@ -0,0 +1,241 @@ +# Coupled returns at two actual thin-query contacts + +New scoped work by zxv with substantial OpenAI Codex assistance. Apache-2.0. +No subagents. This proof assumes the pinned PR5402 native endpoint. Its native +word, compiler, all-width physical implementation and source admission are not +proved again here. The new finite physical calculation uses an independent +literal monomial evaluator, including absolute phases. + +## 1. Source contract and the compressed exit observation + +Use Dillon's PR5402 at `3348fccea855082786d5f0fc5558b73d4974e745`: + +\[ + X=Dx-Ry+RW h,\quad Y=Dy,\quad H=D(h-Zy),\quad R=DQ. +\] + +The eight mode inputs h are arbitrary and independent of all main and other +helper inputs. The other 400 autonomous helpers and all nine zero owned returns +are retained. W and Z are ordinary scalar/monomial maps, + +\[ + W=K_p^{-1} M K_m/2,\qquad Z=K_m^{-1}M^T K_p/2, + \qquad ZW=14I. +\] + +All K maps are unitary monomials, so Z=W*. The appropriate full Gaussians +intertwine W and Z: R_main W=W R_mode and R_mode Z=Z R_main. Separate +commutation with Q or D is not used. + +Suppose the caller supplies the **versioned eight-field observation** + +\[ + b=ZQY=ZRy. +\] + +At the native return, apply Q to H and perform + +\[ + H_o=QH+b=Rh,\qquad X_o=X-WH_o=Dx-Ry,\qquad Y_o=Y. +\] + +These are ordered identities. They restore all original mode directions as +ordinary rank-nine jobs; they do not allocate independent credit to b. They +hold at every positive fiber width under the source contract, with the scalar +owner coefficients applied once outside the address tensor product. + +The observation may be borrowed: every operation on it below is undone, and +it is returned unchanged. Source Y is unchanged. There is no erasure of a +persistent input. The provider's nine owned fields already return zero. + +### Exact local operation bill + +M has 448 nonzero entries. Once b is supplied, the exit uses: + +1. Eight positive rank-one calls on H, then eight ADDs H+=b. +2. Apply K_m to eight H fields and K_p to 112 X fields. +3. The 448 ADDs X_i-=M_ik H_k/2. +4. Undo both monomial banks. + +This costs **8 H1, 456 ADDs, 240 monomial field maps**, no new owned fields, +and no new target credit except restoration of the original eight H9 jobs. +The generator emits the literal field programs for these three contracts and the checker replays every adapter input, borrowed observation and dirty owned entry, checks every owned zero return, and recounts all instructions. Each ADD coefficient is an exterior dyadic scalar. A monomial field map is +charged ordinary work, not a zero-cost operation or a single tape step. + +If a preserved full V=QY is supplied instead, fuse the common K_m pass: +apply K_m to QH and K_p to V, perform 448 ADDs into H, restore V, apply +K_p to X, perform another 448 ADDs, restore X and H. This costs **8 H1, +896 ADDs, 464 monomial maps**, with V unchanged and no extra owned fields. + +If no observation is supplied, an explicit upper bound creates V by clearing +112 owned fields, copying Y, applying 112 positive H1 calls, and clearing the +observation bank after use. The resulting bill is **120 H1, 896 ADDs, +464 monomial maps, 112 COPYs, 224 CLEARs and 112 additional owned fields**. +All original helpers and targets are preserved. This is a constructive local +upper bound, not a minimum decoder tariff. + +### Accuracy boundary + +Let the returned provider errors be e_X,e_Y,e_H. If V=Q(Y+e_Y)+e_V and +the additional mode calls return Q(H+e_H)+e_J, then, writing e_A,e_B for +aggregate ordinary-operation residuals in the two updates, + +\[ + E_H=Qe_H+e_J+ZQe_Y+Ze_V+e_A,\qquad E_X=e_X-WE_H+e_B. +\] + +Since ||W||=||Z||=sqrt(14), + +\[ + ||E_H||\le ||e_H||+||e_J||+\sqrt{14}(||e_Y||+||e_V||)+||e_A||, + \quad ||E_X||\le ||e_X||+\sqrt{14}||E_H||+||e_B||. +\] + +No independent-error assumption is needed for these triangle bounds. Actual +precision, coordinate rounding, source version retention, tape movement, +storage, compiler and outer funding remain obligations. These bounds do not +supply them for free. If b arrives after consumers have changed X or Y, the +consumer's propagated defect must also be repaired; the native-return identity +is not a late decoder for an already executed thin query. + +## 2. Literal first and second consumer + +The authenticated selected p16 controller begins with the following relevant +physical events (indices in its physical_events array): + +| Event | Source instruction | +|---|---| +| 1 | backward FULL stage 1 on pair 0 | +| 2 | paid IDLE on pair 1, stages 0 and 1 | +| 3,4 | X0+=X1; Y1-=Y0 | +| 5 | lower thin shear Y0+=Q^-1 X0 | +| 6,7 | X0-=X1; Y1+=Y0 | +| 8 | backward FULL stage 3 on pair 1 | +| 9 | paid IDLE on pair 2, stages 0,1,3 | +| 10,11 | X1+=X2; Y2-=Y1 | +| 12 | lower thin shear Y1+=Q^-1 X1 | +| 13,14 | X1-=X2; Y2+=Y1 | + +These fourteen instructions are also exactly the PR5398 successor caller's events 5 through 18, checked against its pinned literal controller. The two wrapped endpoint calls do not alter this clip. We leave those other FULLs completed; no claim is made for additional coupled substitutions at the wrapped endpoints. + +Stage 0, the RIGHT boundary and all original inputs preceding this clip are +unchanged. Compare main outputs with the ordinary uncoupled main interfaces, +and let independent h1,h3 be the two new coupled mode input banks. Fresh D1,D3 +commute with Q; W1 and W3 need not commute with Q or their own D. + +After event 7, the main defects are + +\[ + (\delta X_0,\delta Y_0,\delta X_1,\delta Y_1) + =(R_1W_1h_1,D_1W_1h_1,0,D_1W_1h_1). +\] + +The actual paid observation at event 5 has additional response D1 W1 h1. +It reads the version X0+X1, **not** Y0. A response cannot be relabelled Z1 QY0 +without an additional embedding/identity. No impossibility claim about all +possible uses of that response is made here. + +After event 14 the six main-bank defects are + +\[ +\begin{split} + \delta X_0&=R_1W_1h_1,&\delta Y_0&=D_1W_1h_1,\\ + \delta X_1&=-R_3D_1W_1h_1+R_3W_3h_3, + &\delta Y_1&=D_3W_3h_3,\\ + \delta X_2&=0,&\delta Y_2&=-D_3D_1W_1h_1+D_3W_3h_3. +\end{split} +\] + +The second helper return additionally contains -D3 Z3 D1 W1 h1. Thus the +first defect disappears from Y1 but survives in X1, Y2 and the helper bank. +This is real two-generation transport, not loss of a dependency in the ledger. +The checker executes all fourteen source events over exact noncommutative +polynomial rows; reversing the query direction is rejected. The two FULLs, +224 thin H1 calls, 224 H16 IDLE jobs and 224 H24 IDLE jobs remain paid. No +coupled helper target credit is assigned by this experiment. + +## 3. An eight-mode-only feed into the next FULL fails + +Consider the specific proposed family that absorbs the incoming first-stage +innovation by updating the next helper input h3 to h3+T h1, leaves the main +inputs otherwise unchanged, and introduces no additional observations. To +cancel the inherited h1 term in X1 at stage 3, it necessarily requires + +\[ + W_3 T=D_1W_1. \tag{*} +\] + +This condition already allows **arbitrary linear address operators T**, a +larger class than ordinary scalar/monomial programs. It is not asserted as a +necessary condition for other joint encoders, changed main feeds, extra retained +observations, additional helper banks or arbitrary controllers. + +At fiber width one embed the two stages on 17 physical bits: shared central +axis 0, first private axes 1..8, second private axes 9..16. The source literal +K_p and K_m words specify W1 and W3 on these planes with their exact phases. +Since Z3 W3=14I and Z3=W3*, the orthogonal projector onto im(W3) is +P3=W3 Z3/14. Therefore (*) implies (I-P3)D1 W1=0. + +For each mode k, take the mode input with the shared central bit 1 and all +sixteen private bits zero. Denote its image under D1 W1 by v_k. The exact +calculation gives =14 delta_ij. It evaluates Z3 v_k by sparse +Gaussian-integer arithmetic with common denominators 512 and 1024, and forms + +\[ + G_{ij}=14\delta_{ij}-\langle Z_3v_i,Z_3v_j\rangle/14. +\] + +This is the residual Gram matrix. In particular G00=173/14 and + +\[ + \det G=1389039784345493055/26985857024>0. +\] + +All eight exact elimination pivots are positive. Consequently all eight +sampled innovations survive outside im(W3); no T in the stated enlarged class +can satisfy (*). A width-one counterexample suffices to reject an all-width +contract. It is not a theorem that eight whole-field Gaussian jobs are needed: +these are eight independent complex directions, not a paid volume lower bound. + +An instructive positive control uses central bit 0 instead. Its entire +residual Gram matrix is zero. Testing only the all-zero address would accept +the wrong handoff. A phase-only mismatch at one stage, preserving all address +permutations, is also rejected by the physical controls. + +## 4. Complete recursive screen for the explicit purchased-observation exit + +The selected native profile is rederived as PR5402's paid profile plus eight +H1 and eight H8 calls. Its helper profile is the 400 autonomous helpers plus +the original eight H9 jobs. Replaying controller event counts and target words +reproduces the selected ARITHMETIC.json inventories, not the obsolete invoice +embedded in the historical CONTROLLER.json. + +There are **16 backward FULLs**, not 18 applicable calls. At each, buying the +missing observation and using the local exit changes the selected profile by ++112 H1 -8 H8, with original targets unchanged. The whole controller therefore +changes by +1792 H1 -128 H8, retains all fifteen thin query blocks, and changes +rank surplus 752 to **-16**. At saving a=1/250, a separate directed calculation +of sum(target r^(249/250))-sum(paid r^(249/250)) is strictly negative. +Each root enclosure is certified by exact 250th powers, with denominator 2^80. +Ordinary costs would be additional. This rejects the explicitly purchased +observation construction at the tested saving. + +If b were already supplied at the correct version and boundary, restoring the +eight missing H1 calls would instead delete only the centers at these sixteen +FULLs, giving rank surplus 1776 and a positive moment screen at .004. The +observation's production, retention and consumer corrections are **unknown**, +not zero; this is a conditional allowance rather than a supplier or new κ. +The checker also reconstructs PR5413's declared economically neutral comparison profile: provider plus eight paid H8 and eight H8 mode targets at each of eighteen FULLs. Its 64,260 paid calls, 10,928 targets and masses 238,990/239,742 match the declared comparison. Replacing only the sixteen unwrapped calls with the purchased-response exit still gives surplus -16 and a strictly negative .004 signed moment. This is a conditional price comparison, not a replay or admission of PR5413's native completion, source application or compiler. No additional saving is claimed from its neutrality. + +## Open next questions + +1. Implement b=ZQY from already paid native observations on the correct version, + with all displaced helper targets, ownership and restoration charged. Test + one eight-field coefficient map before another full controller search. +2. If using more retained modes, name the enlarged input/output type and carry + the full nonzero Gram residual through the next consumer. Its channel/volume + and ordinary exit cost need explicit bounds. Merely increasing a search seed + inside (*) does not change the rejection. +3. An actual delayed exit must correct the already executed query responses as + well as the native return. The two-generation trace gives their exact maps. + Price those maps before treating the native-return exit as a late repair. diff --git a/research/coupled-query-transport/README.md b/research/coupled-query-transport/README.md new file mode 100644 index 0000000000..aea643de1a --- /dev/null +++ b/research/coupled-query-transport/README.md @@ -0,0 +1,90 @@ +# Coupled outputs through two real query consumers + +This package supplies a source-bound two-generation test of Dillon's coupled +provider in PR5402. The first return survives the actual next paid query, but +its defect cannot be absorbed solely by updating the following FULL's eight +helper inputs: the necessary equation W3 T=D1 W1 fails even for arbitrary +linear T. A 17-bit, phase-correct witness has residual rank eight. The zero +address alone incorrectly passes; a nonzero central input exposes the defect. + +A constructive local exit identifies a smaller useful observation contract: +**b=ZQY, eight versioned fields**. If supplied at the native return, it restores +all original outputs with eight H1 calls, 456 ADDs and 240 monomial field maps, +and preserves the borrowed observation. Buying a full QY response instead +costs 120 H1 calls per replacement. On the selected controller's 16 backward +FULLs that purchase changes rank surplus 752 to -16 and fails an exact .004 +moment screen. All existing queries remain paid. An already executed consumer +needs its propagated defect repaired too; the local exit is not a free late +repair. + +[PROOF.md](PROOF.md) gives the exact contracts, source chronology, physical +Gram witness, local operation bills, residual-error bound and limits. +[RESULT.json](RESULT.json) records the reproducible rational evidence. +No complete coupled recursive family, compiler admission or new κ is claimed. +The selected conditional κ remains 0.0030217758. This is an author-checked +scoped result, not independent human or formal-kernel acceptance. + +The same fourteen consumer instructions are byte-equal in the newer PR5398 all-backward caller, at events 5 through 18. The checker also rejects the purchased-response price screen against PR5413's declared neutral profile; this comparison does not replay or admit that primary construction. + +## Reproduce + +```sh +python3.12 -B scripts/research_package.py --package research/coupled-query-transport +``` + +The normal and isolated optimized commands use Python's standard library and +explicit checks. They authenticate inputs, interpret all 120 monomial maps on +all 512 addresses including phase, replay the two source consumers, reconstruct +the selected whole invoice, calculate the exact residual Gram matrix, reject +semantic mutations, and compare every result field. Expected token: +`PASS_TWO_GENERATION_COUPLED_QUERY_TRANSPORT`. Runtime is a few seconds. All three literal exit programs are generated and replayed on every adapter input column; their exact operation counts and payload hashes are recorded. To inspect their instruction arrays, add `--emit-exits /tmp/coupled-exits.json` to a direct verifier call. + +The mathematical native endpoint and its uniform physical model are explicit +pinned premises. No full native provider replay, selected cold replay, all-history +suite, Lean, Docker or outer/compiler admission is run for this local result. + +## Scope and overlap + +Explicit donor task: let encoded or coupled outputs survive their next consumer +and test a second generation with eventual conversion/restoration charged. +Historical card `centre-path-sharing` is retained as provenance; scope is changed +to the PR5402 interface and actual FULL1/QUERY2/FULL3/QUERY4 sequence. No old +fixed-word ceiling is applied to the changed interface. The first working +example is the source's first two backward FULLs, rather than a new seed. + +Canonical base is 1ec1119972c9aefe42525172d07b332fcff81cb4, priority revision 7. +The live overlap check covers PR5402/5407/5411, PR5413's new economically neutral +completion, its PR5414 verification companion, the active broader caller claim in Discussion4930, and the released +120-owner involution handoff. This package does not repeat the three-call search, +claim the inverse as new, or supply that handoff's missing decoder. Full remote +pagination covered 362 open PRs and 4701 Discussion records at entry; sparse +local notes and unpublished work remain coverage limits. Exact source origins +are in [SOURCES.json](SOURCES.json). Each vendored file is pinned to the ancestor recorded in its source row; each origin records its separately fetched source commit, path, Git blob and byte hash. This makes the replay independent of fetching a pending side branch. Origin equality was checked at creation; the offline replay does not reauthenticate remote history. + +## Open next questions + +- Supply the eight-field observation ZQY from an actual paid source at the right + chronological version. First compare exact coefficient maps, and charge every + displaced helper, return and retained observation before extending the caller. +- Carry a larger coupled state past this rank-eight residual with a declared + volume and eventual exit cost. The fixed eight-mode-only feed is rejected; + more seeds within its necessary equation cannot repair it. +- Implement the propagated corrections if decoding is delayed past the thin + query. The trace retains both query observations and the second helper defect; + the native-return identity alone does not close this obligation. + +Structured first steps and blockers are in [TASK.json](TASK.json). + +## Credit + +Dillon Amburgey / dillona: PR5402 unrestricted provider, helper basis and literal +physical mode maps; PR4933 physical normalizers and coded-caller lineage. Ali +Romman: PR5383 cache identities, PR5411 native inverse, PR5398 caller and current +caller investigation. Chris R / Clear1nsight: PR5407 independent provider audit, +PR5400 successor audit and PR5413 neutral completion. Cao Yifan / intqwq: PR4610 +native word; Dugongue / mdumitrean: center-free code; Cinna Davis /1337isnot1337: +helper/controller construction; Ryanson Jonathan, Jacob Alan Sussman, zxv and +the complete native/Clifford/compiler/analytic lineage retain their source +credit. The frozen [provider proof](inputs/PROVIDER-PROOF.md) retains its exact +source text and [complete provider attribution](inputs/PROVIDER-ATTRIBUTION.md). New contracts, transport calculation and witness/checker by zxv +with substantial OpenAI Codex assistance, no subagents; Apache-2.0. diff --git a/research/coupled-query-transport/RESULT.json b/research/coupled-query-transport/RESULT.json new file mode 100644 index 0000000000..29f0963afc --- /dev/null +++ b/research/coupled-query-transport/RESULT.json @@ -0,0 +1,506 @@ +{ + "schema_version": 1, + "status": "PASS_TWO_GENERATION_COUPLED_QUERY_TRANSPORT", + "scope": "First two backward FULLs and following thin consumers. No complete supplier or kappa.", + "physical_witness": { + "fiber_width": 1, + "global_address_bits": 17, + "input_address": 1, + "input_modes": 8, + "zero_address_residual_rank": 0, + "nonzero_address_residual_Gram": [ + [ + "173/14", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "169/14", + "1/112", + "-1/112", + "-1/112", + "1/112", + "0", + "0" + ], + [ + "0", + "1/112", + "121/14", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "-1/112", + "0", + "327/56", + "0", + "0", + "0", + "0" + ], + [ + "0", + "-1/112", + "0", + "0", + "327/56", + "0", + "0", + "0" + ], + [ + "0", + "1/112", + "0", + "0", + "0", + "225/28", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "85/7", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "12" + ] + ], + "positive_elimination_pivots": [ + "173/14", + "169/14", + "1308735/151424", + "427955861/73289160", + "139941408279/23965528216", + "96289880691/11982750556", + "85/7", + "12" + ], + "determinant": "1389039784345493055/26985857024", + "residual_rank": 8, + "conclusion": "No linear T, including arbitrary address operators, satisfies W3 T = D1 W1." + }, + "chronology": { + "event_indices_inclusive": [ + 1, + 14 + ], + "observations": { + "2": [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "1" + } + ], + "4": [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "D3", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "-1" + }, + { + "input": "h3", + "word": [ + [ + "D3", + 1 + ], + [ + "W3", + 1 + ] + ], + "coefficient": "1" + } + ] + }, + "snapshots": { + "7": [ + [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "Q", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "1" + } + ], + [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "1" + } + ], + [], + [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "1" + } + ], + [], + [] + ], + "14": [ + [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "Q", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "1" + } + ], + [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "1" + } + ], + [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "D3", + 1 + ], + [ + "Q", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "-1" + }, + { + "input": "h3", + "word": [ + [ + "D3", + 1 + ], + [ + "Q", + 1 + ], + [ + "W3", + 1 + ] + ], + "coefficient": "1" + } + ], + [ + { + "input": "h3", + "word": [ + [ + "D3", + 1 + ], + [ + "W3", + 1 + ] + ], + "coefficient": "1" + } + ], + [], + [ + { + "input": "h1", + "word": [ + [ + "D1", + 1 + ], + [ + "D3", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "-1" + }, + { + "input": "h3", + "word": [ + [ + "D3", + 1 + ], + [ + "W3", + 1 + ] + ], + "coefficient": "1" + } + ] + ] + }, + "second_helper_cross_contamination": [ + { + "input": "h1", + "word": [ + [ + "D3", + 1 + ], + [ + "Z3", + 1 + ], + [ + "D1", + 1 + ], + [ + "W1", + 1 + ] + ], + "coefficient": "-1" + } + ], + "required_transfer_equation": "W3 T = D1 W1", + "retained_paid_calls": { + "coupled_FULL": 2, + "thin_H1": 224, + "IDLE_H16": 224, + "IDLE_H24": 224 + }, + "extra_coupled_target_credit": 0, + "successor_event_indices_inclusive": [ + 5, + 18 + ], + "successor_clip_is_identical": true + }, + "exit_contract": { + "required_response": "b = Z Q Y (eight fields)", + "ordinary_output": "Hout=QH+b=Rh; Xout=X-W Hout=Dx-Ry; Yout=Y", + "with_compressed_response": { + "paid_H1": 8, + "ADD": 456, + "monomial_fieldmaps": 240, + "new_owned_fields": 0, + "borrowed_response_restored": true + }, + "with_full_response_QY": { + "paid_H1": 8, + "ADD": 896, + "monomial_fieldmaps": 464, + "new_owned_fields": 0, + "borrowed_response_restored": true + }, + "from_no_response": { + "paid_H1": 120, + "ADD": 896, + "monomial_fieldmaps": 464, + "COPY": 112, + "CLEAR": 224, + "new_owned_fields": 112 + }, + "existing_QUERY_source": "Q^-1(X+neighboring_X), rather than Z Q Y", + "source_relative_no_response_rank_delta": 48, + "unfunded": [ + "embedding of compressed observation at actual cut", + "complete compiler", + "recursive precision, tape movement and storage", + "outer admission" + ] + }, + "literal_exit_program_checks": { + "compressed": { + "operation_counts": { + "H1": 8, + "ADD": 456, + "MONOMIAL": 240 + }, + "literal_operations": 704, + "program_payload_sha256": "1bcd3975fbcea7df9637122b77131928975e868e7994e4844738e96e948a5cae", + "all_adapter_input_columns_checked": 240 + }, + "full_response": { + "operation_counts": { + "H1": 8, + "MONOMIAL": 464, + "ADD": 896 + }, + "literal_operations": 1368, + "program_payload_sha256": "88e92ad74831eec9b4233f58067922ca36b51f1624a8769e2c78c974abc0a44d", + "all_adapter_input_columns_checked": 344 + }, + "purchased": { + "operation_counts": { + "CLEAR": 224, + "COPY": 112, + "H1": 120, + "MONOMIAL": 464, + "ADD": 896 + }, + "literal_operations": 1816, + "program_payload_sha256": "4fc3279a141a6baece2d2af164737733ef749ff00aa62763be3a89d05c7e81a7", + "all_adapter_input_columns_checked": 344 + } + }, + "complete_recursive_screen": { + "saving_tested": "1/250", + "applicable_backward_FULLs": 16, + "target_rank_mass": 239886, + "selected_paid_rank_mass": 239134, + "selected_rank_surplus": 752, + "compressed_response_supplied_rank_surplus": 1776, + "compressed_response_bought_rank_surplus": -16, + "supplied_response_signed_moment_interval": [ + "467971984817250424053960261/604462909807314587353088", + "467971984817250424053997343/604462909807314587353088" + ], + "bought_response_signed_moment_interval": [ + "-615225549557457316482774331/604462909807314587353088", + "-615225549557457316482736353/604462909807314587353088" + ], + "bought_response_delta_over_selected": { + "H1": 1792, + "H8": -128 + }, + "neutral_completion_comparison": { + "source_PR": 5413, + "head": "0c1fa2f47fb5ea17b93a4b67063d08e49cc38e51", + "scope": "Declared price profile only; no primary native or admission replay.", + "replaced_unwrapped_backward_calls": 16, + "signed_moment_interval_at_004": [ + "-615104779362307290936488067/604462909807314587353088", + "-615104779362307290936450097/604462909807314587353088" + ], + "bought_response_rank_surplus": -16 + }, + "interpretation": "Supplying b is an unresolved enabling assumption. Buying QY independently fails the charged screen; all old thin queries remain paid." + }, + "controls": [ + "120 signed monomial inverse identities", + "Z = W adjoint", + "M transpose M = 56 I", + "zero-address acceptance and nonzero-address rejection", + "absolute-phase-only stage mutation rejected", + "wrong chronological query rejected", + "dirty response rejected", + "wrong repair sign rejected", + "missing owned observation initialization rejected" + ], + "provider_native_replay": "Not run; source endpoint is an explicit premise.", + "new_kappa": null +} diff --git a/research/coupled-query-transport/SOURCES.json b/research/coupled-query-transport/SOURCES.json new file mode 100644 index 0000000000..7ad6fa6f03 --- /dev/null +++ b/research/coupled-query-transport/SOURCES.json @@ -0,0 +1,101 @@ +{ + "schema_version": 1, + "base_commit": "1ec1119972c9aefe42525172d07b332fcff81cb4", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "b288ae44032fd84dd5564243422836cbcd29835e", + "sha256": "f9ed52bb642cd1e1486cf2743557ac5fa23cf1514a3277d786a644e39a565038" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72" + }, + { + "path": "research/coded-native-caller/NORMALIZERS.json", + "usage": "input", + "git_blob": "bca92c222c395d3d75c047fbb678f3cd0947c60f", + "sha256": "ae8aad06aa5d1811d725895b3ab5a4f4daa9dcdd88294aa0d5f723e78bb1e0da" + }, + { + "path": "research/joint-helper-lattice/CONTROLLER.json", + "usage": "input", + "git_blob": "49a2f0675819f9deeea27ed77be2c2b6ff2e87e5", + "sha256": "1f5d6aa267e4e66048818714b5d3b5eae17a58abe91d15deeaa34574f7391a5f" + }, + { + "path": "research/coupled-query-transport/inputs/PROVIDER.json", + "usage": "input", + "pin": "head:acb8cb0c90d1eae7f8201da87e6de8346f362c20:research/coupled-query-transport/inputs/PROVIDER.json", + "git_blob": "0afd30ed01202eb6ce62462dcf8bc9164f3b0455", + "sha256": "676de7551d3364598f4a7e29ae97cae0e4364348786bbe70435b84294ba7dd65", + "origin": { + "commit": "3348fccea855082786d5f0fc5558b73d4974e745", + "path": "research/native-rank8-helper-provider/PROVIDER.json", + "git_blob": "0afd30ed01202eb6ce62462dcf8bc9164f3b0455", + "sha256": "676de7551d3364598f4a7e29ae97cae0e4364348786bbe70435b84294ba7dd65", + "checked": "Byte-equality and Git blob checked at creation against the fetched exact source. Remote side head is not assumed to be a publication ancestor." + } + }, + { + "path": "research/coupled-query-transport/inputs/PROVIDER-PROOF.md", + "usage": "input", + "pin": "head:acb8cb0c90d1eae7f8201da87e6de8346f362c20:research/coupled-query-transport/inputs/PROVIDER-PROOF.md", + "git_blob": "5cbfc4fd02dce926c3d235f1549bdb2035dea088", + "sha256": "2d59282f3b5e9fb848d0099ce91729fa433162e6975f877a441e2ab4f57a29c5", + "origin": { + "commit": "3348fccea855082786d5f0fc5558b73d4974e745", + "path": "research/native-rank8-helper-provider/PROOF.md", + "git_blob": "5cbfc4fd02dce926c3d235f1549bdb2035dea088", + "sha256": "2d59282f3b5e9fb848d0099ce91729fa433162e6975f877a441e2ab4f57a29c5", + "checked": "Byte-equality and Git blob checked at creation against the fetched exact source. Remote side head is not assumed to be a publication ancestor." + } + }, + { + "path": "research/coupled-query-transport/inputs/SELECTED-ARITHMETIC.json", + "usage": "input", + "pin": "head:acb8cb0c90d1eae7f8201da87e6de8346f362c20:research/coupled-query-transport/inputs/SELECTED-ARITHMETIC.json", + "git_blob": "0fdb65f946d557c13d8e2781b9151e2a8ddee5c3", + "sha256": "b4f720a7ccbb5b46e472eaf85dc8739a40598986f19b37d26c4f9ecfbd31f0de", + "origin": { + "commit": "1ec1119972c9aefe42525172d07b332fcff81cb4", + "path": "research/kappa-round6-compiler-tightening-20261022/ARITHMETIC.json", + "git_blob": "0fdb65f946d557c13d8e2781b9151e2a8ddee5c3", + "sha256": "b4f720a7ccbb5b46e472eaf85dc8739a40598986f19b37d26c4f9ecfbd31f0de", + "checked": "Byte-equality and Git blob checked at creation against the fetched exact source. Remote side head is not assumed to be a publication ancestor." + } + }, + { + "path": "research/coupled-query-transport/inputs/PROVIDER-ATTRIBUTION.md", + "usage": "input", + "pin": "head:acb8cb0c90d1eae7f8201da87e6de8346f362c20:research/coupled-query-transport/inputs/PROVIDER-ATTRIBUTION.md", + "git_blob": "efe3acb566448caeb4a340235bb50234808ff728", + "sha256": "29756f86ebad2a957d8073bea173306f00e7d957828a5bab9f7832faf5815543", + "origin": { + "commit": "3348fccea855082786d5f0fc5558b73d4974e745", + "path": "research/native-rank8-helper-provider/ATTRIBUTION.md", + "git_blob": "efe3acb566448caeb4a340235bb50234808ff728", + "sha256": "29756f86ebad2a957d8073bea173306f00e7d957828a5bab9f7832faf5815543", + "checked": "Byte-equality and Git blob checked at creation against the fetched exact source. Remote side head is not assumed to be a publication ancestor." + } + }, + { + "path": "research/coupled-query-transport/inputs/SUCCESSOR-CONTROLLER.json", + "usage": "input", + "pin": "head:ee1c65091e56c2c0aec8e2fb700dc14d71639b3b:research/coupled-query-transport/inputs/SUCCESSOR-CONTROLLER.json", + "git_blob": "01775a36ae1238350bf8cd859b04cb8c4589873b", + "sha256": "60cc512b39cdb9ea2c2ac6c6634c8d3f9627d96ace08ffa659a9d9472444122b", + "origin": { + "commit": "174fb211493b43a42210434083e9702b4fb7a2ce", + "path": "research/kappa-backward-controller-20261023/CONTROLLER.json", + "git_blob": "01775a36ae1238350bf8cd859b04cb8c4589873b", + "sha256": "60cc512b39cdb9ea2c2ac6c6634c8d3f9627d96ace08ffa659a9d9472444122b", + "checked": "Compared with the original fetched Git blob at creation." + } + } + ], + "vendored_origin_policy": "Each vendored input is pinned to the ancestor containing its exact frozen bytes. Each origin records the separately fetched original commit/path/blob/hash. Origin equality was checked at creation; offline verification does not reauthenticate remote history or assume side-head ancestry." +} diff --git a/research/coupled-query-transport/TASK.json b/research/coupled-query-transport/TASK.json new file mode 100644 index 0000000000..850c04ba5a --- /dev/null +++ b/research/coupled-query-transport/TASK.json @@ -0,0 +1,105 @@ +{ + "schema_version": 1, + "task_id": "centre-path-sharing", + "priority_revision": 7, + "base_commit": "1ec1119972c9aefe42525172d07b332fcff81cb4", + "original_card": { + "id": "centre-path-sharing", + "question": "Can the 64-per-call centre path (eight rank-8 COPY/ERASE totals through the private temporary) be shared across calls or shrunk?", + "starting_points": [ + "docs/research/research-family-status.md", + "research/complex-local-word-ceiling/README.md", + "research/split-centres-global/proofs/PR386-BIT-GEOMETRY.txt", + "certificates/selected-result.json" + ], + "methods": [ + "Derive a fully charged favorable relaxation for sharing one centre path across k calls, including restoration, hosting and precision.", + "Prove a lower bound on copied information per call for the selected decoder contract." + ], + "acceptance_gate": "Show the changed centre charge and copy profile per call with every added restoration or hosting cost charged, and its ceiling via ceiling.ceiling(centre=...). 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": "Write the per-call centre charge and copy children for sharing across k = 2 calls, charge the sharing overhead, and screen it; stop this route if even the ideal sharing gains under 10%. Ideal budgets: free 2.80x, shared by two 1.90x (levers.py).", + "bottleneck_link": "The centre path consumes 64 of about 99.6 unpaid coordinates per call, i.e. about 64% of the raw deficit.", + "allowed_variations": [ + "One sharing pattern across a fixed number of calls.", + "One reduced copied-total contract for the existing decoder.", + "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": [ + "Removing copies without a replacement contract for the decoder's copied totals.", + "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": [ + "centre path", + "copied totals", + "private temporary", + "shared centre", + "batching" + ] + }, + "scope_status": "changed", + "actual_scope": "PR5402 coupled return through FULL1/QUERY2/FULL3/QUERY4: exact mode-transfer rejection and charged compressed-observation exit.", + "scope_change_reason": "Explicit donor assignment changes the ordinary-job recursive return contract. The historical fixed-word center-sharing ceiling does not apply; use the actual source consumer and changed paid/target ledger.", + "bottleneck_link": "Tests whether center-call deletion survives the first real chronological query and a second generation, and identifies the exact observation and restoration bill.", + "budget_minutes": 60, + "stop_rule": "Stop the eight-mode-only helper feed if W3 T=D1 W1 fails even with arbitrary linear T; stop independently purchased QY if the complete retained-query moment fails at a=.004. Do not enlarge this fixed grammar by seeds.", + "outcome": "partial", + "evidence": "Exact source-bound two-generation symbolic replay; 17-bit rank-eight residual Gram; charged all-input native-return exit; exact selected-invoice reconstruction and directed .004 screen. The successor caller preserves the same fourteen contacts exactly; a declared-profile-only neutral completion price comparison also fails the purchased-response screen.", + "author": "zxv, with OpenAI Codex assistance", + "ai_assistance": "Substantial OpenAI Codex assistance for research, code, proof and verification; no subagents. Author-checked, without independent human or kernel acceptance.", + "open_questions": [ + { + "question": "Can an actual paid native observation provide b=ZQY at the required native-return version?", + "why_it_matters": "With a genuinely supplied compressed response the exit adds only eight H1 calls. Buying QY separately exhausts the selected bill.", + "first_step": "Match one actual exposed prologue response coefficient map against the eight-field rectangular ZQY map; retain all independent helper inputs and debit their displaced targets.", + "blocked_by": "No chronological embedding/restoration program for b; Complete physical, precision, tape and compiler funding" + }, + { + "question": "Can a larger coupled return type carry the nonzero residual through the next consumer profitably?", + "why_it_matters": "The fixed eight-mode-only helper update cannot absorb even the eight sampled independent innovations.", + "first_step": "Specify the extra mode bank and its physical volume; propagate the saved Gram residual and query responses through one changed consumer before any third-stage expansion.", + "blocked_by": "No closed typed family with a funded ordinary exit; A finite residual rank is not a Gaussian volume or paid-call lower bound" + }, + { + "question": "What is the complete correction bill when the native-return exit is delayed past the actual thin query?", + "why_it_matters": "Repairing native X and H afterwards leaves the already executed query response and later helper contaminated.", + "first_step": "Use RESULT.json observations and second_helper_cross_contamination to emit a literal chronological correction and compare its added calls/credit against the retained allowance.", + "blocked_by": "The observation source at event5 is Q^-1(X0+X1), rather than ZQY; No funded propagated-defect implementation" + } + ], + "source_heads": { + "canonical_main": "1ec1119972c9aefe42525172d07b332fcff81cb4", + "provider_pr5402": "3348fccea855082786d5f0fc5558b73d4974e745", + "inverse_pr5411_context_only": "123ffa6aa7c1866ac60c67739841f71d95b3edf7", + "neutral_completion_pr5413_context_only": "0c1fa2f47fb5ea17b93a4b67063d08e49cc38e51", + "direct_successor_pr5398": "174fb211493b43a42210434083e9702b4fb7a2ce", + "neutral_audit_pr5414_context_only": "bc37fb01c58d20e799d3299dec63e654f67d9d1b" + }, + "expansion_decision": "Narrow: reject the helper-only feed and separately purchased response at the tested saving; retain the compressed observation contract as a distinct missing bridge. No larger search in the rejected grammar.", + "overlap": { + "open_prs": 363, + "discussion_records": 4701, + "discussion_snapshot_utc": "2026-10-24T02:35:32Z", + "canonical_thread": "https://github.com/CrocSwap/integer-mult-bounds/discussions/4930", + "coverage_limits": [ + "Sparse local notes", + "Arbitrary diffs and unpublished work not searched" + ], + "public_participation": "No Discussion post sent; the broader active caller claim remains predecessor context." + }, + "freshness": { + "upstream_commit": "1ec1119972c9aefe42525172d07b332fcff81cb4", + "priority_revision": 7, + "checked_utc": "2026-10-24T02:37:00Z", + "decision": "Continue same scoped source question; PR5402/5411/5413 heads and canonical main unchanged." + } +} diff --git a/research/coupled-query-transport/VALIDATION.md b/research/coupled-query-transport/VALIDATION.md new file mode 100644 index 0000000000..95f5a2840f --- /dev/null +++ b/research/coupled-query-transport/VALIDATION.md @@ -0,0 +1,55 @@ +# Validation and coverage + +Environment: CPython 3.12.8, Darwin arm64, standard library only. New work is +author-checked with substantial OpenAI Codex assistance; no subagents, +independent human acceptance or formal-kernel proof. + +The registered normal and isolated optimized checks pass. Their explicit +predicates authenticate live inputs; execute all 120 signed monomial tables +on 512 addresses; verify the two selected and successor consumer clips; +calculate the exact rank-eight residual Gram; replay all three literal exit +programs on every adapter input; preserve borrowed observations and certify +owned zero returns; reconstruct the selected invoice; and enclose the .004 +moments by exact integer powers. Wrong query direction, an absolute-phase-only +stage mutation, dirty observation, wrong repair sign and missing owned +initialization are rejected. The zero-address passing control is deliberately +contrasted with the nonzero-address failure. + +Commands: + +```sh +python3.12 -B scripts/research_package.py --package research/coupled-query-transport +python3.12 -B scripts/check_research_commit.py --package research/coupled-query-transport +python3.12 -B scripts/export_research_package.py export --package research/coupled-query-transport --output /tmp/coupled-query-transport.tar.gz +python3.12 -B scripts/export_research_package.py check /tmp/coupled-query-transport.tar.gz +``` + +Committed-byte checks and official export integrity pass. Both normal and +optimized direct replays pass from a read-only extracted export without `.git` +and with `PATH=/nonexistent`, using an absolute Python interpreter. No network +sandbox was applied, and no network-isolation claim is made. The direct verifier +has no Git/network subprocess or third-party dependency. + +The optional `--check-source-history` preflight stopped at the shallow-history +guard and did not run its ancestry audit. This is separate from the passing +committed-byte and source-hash checks. Vendor copies were compared with exact +fetched original Git blobs at creation; portable replay pins the copies to +ancestors on this contribution branch. Offline replay does not reauthenticate +remote side-branch history. The source rows retain original commits, paths, +Git blob IDs and SHA256 hashes. + +The scientific inputs remain at canonical main +`1ec1119972c9aefe42525172d07b332fcff81cb4`, priority revision 7. Final live +refresh at 2026-10-24 02:35 UTC covers 363 open PRs and 4701 Discussion records; +canonical main and the relevant PR5402/5411/5413 heads remain unchanged. +PR5414's independent neutral-completion audit was inspected as context, not +rerun. Sparse local notes, arbitrary diffs and unpublished work remain overlap +limits. No lack of a matching search result is treated as proof of novelty. + +Unrun obligations: full native/provider replay, complete all-column physical +implementation audit, selected cold replay, full caller correction/restoration, +recursive closure, precision/tape/storage funding, compiler/outer admission, +all-history suites, Lean and Docker. The native endpoint is a pinned premise. +The new all-width exit proof is distinct from the width-one counterexample +and the declared neutral price comparison. No new κ or frontier selection +is claimed. Hosted CI is publication evidence and is not asserted here. diff --git a/research/coupled-query-transport/VERIFY.json b/research/coupled-query-transport/VERIFY.json new file mode 100644 index 0000000000..7e6ca8ff87 --- /dev/null +++ b/research/coupled-query-transport/VERIFY.json @@ -0,0 +1,37 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/coded-native-caller/NORMALIZERS.json", + "research/joint-helper-lattice/CONTROLLER.json", + "research/coupled-query-transport/inputs/PROVIDER.json", + "research/coupled-query-transport/inputs/PROVIDER-PROOF.md", + "research/coupled-query-transport/inputs/SELECTED-ARITHMETIC.json", + "research/coupled-query-transport/inputs/PROVIDER-ATTRIBUTION.md", + "research/coupled-query-transport/inputs/SUCCESSOR-CONTROLLER.json" + ], + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Exact source phases, two chronological consumers, rank-eight residual Gram, ordered charged exit, semantic rejection controls." + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Same explicit scientific checks with assertions disabled." + } + ] +} diff --git a/research/coupled-query-transport/inputs/PROVIDER-ATTRIBUTION.md b/research/coupled-query-transport/inputs/PROVIDER-ATTRIBUTION.md new file mode 100644 index 0000000000..efe3acb566 --- /dev/null +++ b/research/coupled-query-transport/inputs/PROVIDER-ATTRIBUTION.md @@ -0,0 +1,50 @@ +# Predecessors and exact scope + +Ali Romman's [PR5383](https://github.com/CrocSwap/integer-mult-bounds/pull/5383), +head `4bd6efa51a495a7c7b7754915cf0244e7e60969e`, supplies the exact eight +cached-center candidate rows and sites. Its WITNESS is retained verbatim as +package-local candidate data. The byte hash is checked, and all used +relations, chronology and zero-call claims are independently recomputed from +the pinned main native source. The PR head is provenance, not a required Git +object or an assumed accepted theorem. We do not claim priority for the +cached-center relation or for center deletion. + +Cao Yifan / intqwq supplies `kappa-round3-warp-20261022`'s canonical native +helper/map/contact source and the PR4610 lineage. Its exact payload is +retained by main's `native-center-free-code/SOURCE-WORD.json.gz`. +Dugongue / mdumitrean supplies [PR4929](https://github.com/CrocSwap/integer-mult-bounds/pull/4929)'s +center-free code, eight-mode factorization, source construction and analytic +interpretation. Cinna Davis / 1337isnot1337 supplies the +[PR4694](https://github.com/CrocSwap/integer-mult-bounds/pull/4694) retained-center +interface, [PR4698](https://github.com/CrocSwap/integer-mult-bounds/pull/4698) +common-chart helper basis and conditional consumer, and +[PR4470](https://github.com/CrocSwap/integer-mult-bounds/pull/4470) controller. +A retained cache or eight-dimensional defect is not newly discovered here. + +The pinned `coded-native-caller` supplies the physical main normalizers, +corrected conjugated backward convention, compiled wrapper recipes, contact +matrix M, and exact Clifford evaluator. Its Clifford source traces through +`t74-native-fast/vendor/native/new/code/borrow/vendor/clifford`; retain zxv's +native/productive/compiler work and the original license. Retain Jacob Alan +Sussman's mixed-target recursion, Ryanson Jonathan's controller checks, +Dugongue's transported-frame lemma and the cumulative helper/native lineage +identified by the predecessor packages. The exact shared bytes are pinned in +SOURCES.json rather than duplicated under new authorship. + +Within this continuation, coordinated OpenAI Codex agents constructed the +unrestricted retained-cache source, independently replayed all 641 columns, +derived the dual retraction and physical rank-eight normalization, and +reviewed the basis costs. This package combines that work into one fresh +registered replay with an explicit all-owner boundary recipe, verbatim +candidate provenance, local bill and every-positive-width proof. New work is +the fully owned **coupled** provider with all 632 originals preserved and all +nine owned outputs cleared. It is not a caller, an autonomous H8 donor, an +exponent improvement, a formal-kernel proof or independent human review. + +The broader investigation and priority/overlap checkpoints remain in the +campaign's [Discussion4930](https://github.com/CrocSwap/integer-mult-bounds/discussions/4930) +and TASK.json. This package preserves the same frozen native payload while +binding its publication task metadata to main at +`1ec1119972c9aefe42525172d07b332fcff81cb4`. It does not claim an exhaustive +novelty search or alter the selected result. Prepared for Dillon with +substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/coupled-query-transport/inputs/PROVIDER-PROOF.md b/research/coupled-query-transport/inputs/PROVIDER-PROOF.md new file mode 100644 index 0000000000..5cbfc4fd02 --- /dev/null +++ b/research/coupled-query-transport/inputs/PROVIDER-PROOF.md @@ -0,0 +1,236 @@ +# A source-bound backward provider with eight coupled rank-eight outputs + +The construction has 632 arbitrary original inputs and nine arbitrary owned +inputs. Its paid native profile is +`{1:2193,2:412,3:510,4:127,5:40}`. It returns 400 unchanged native helper jobs +and a coupled block on the 224 main and eight remaining helper owners: + +\[ + X=Dx-Ry+RW h,\qquad Y=Dy,\qquad H=D(h-Zy). \tag{1} +\] + +Here `R=DQ` is the full native rank-nine Gaussian, `D` acts on the eight +noncentral axes, and `Q` acts on the central axis. The eight `H` outputs remain +coupled; they are **not eight autonomous H8 targets**. No complete caller or +new multiplication exponent follows. All nine owned outputs are zero. + +## 1. Exact source and the changed word + +`SOURCES.json` pins the main-branch source, code, normalizers and Clifford +compiler. The native source's decompressed SHA256 is +`cfcd36b40326d7a5815e1db5313444379b3fb756b27d5201c561574c085cc0dd`. +`WITNESS.json` retains Ali Romman's PR5383 candidate verbatim, with SHA256 +`24599011da06325e1012619b2b84a4dd3aceb90ab42d3caaf6414879e7d16591`. +It supplies candidate sites and rational rows; it is not a proof oracle or a +pending Git-object dependency. Every used identity is checked again against +the pinned main source. + +For witness row `i`, after the indicated original `cached_event`, CLEAR owned +`C[i+1]` and COPY the indicated persistent row into it at its actual chart. +Every cache precedes every removed center. At the original center event, +replace the H8 call by CLEAR `C0`, then COPY `C[i+1]` into `C0` at that same +rank-eight chart. At the indicated later H1 call, replace the call by a +`zero_retag`: this is physical identity on the **exactly zero** field, with +its bookkeeping chart changed to the old call's output chart. All other +instructions, including inherited physical metadata, remain unchanged. +`WORD.json.gz` emits the complete resulting backward native word; the verifier +regenerates it from the canonical source and compares its parsed content. + +The replay begins with one independent formal column per field, including +all nine owned fields. It tracks exact rational coefficients in the free +group on the source's native warp symbols, their inverses, and actual chart +tags. Every ordinary operation is checked at its true chart. COPY fills only +owned zero; CLEAR acts only on owned fields. Before each of the eight retags, +every one of the 641 input coefficients is zero. All initial owned dirt is +cleared before use and is absent from every endpoint. + +The source's ten `phase` records are named stage annotations, not scalar +Clifford phase gates; its 448 `adapter` records retain the predecessor's +physical entrance/exit bindings (there are no `residual_adapter` records in +this backward word). As in the pinned predecessor normalized-row semantics, +these do not update formal rows. They are preserved in the emitted word, +not deleted or priced away. Their physical interpretation and native cost +are inherited; this package separately verifies every new physical boundary +identity including absolute phase. + +The same interpreter replays the original source, obtaining its full +632-row normalized backward endpoint `(x-y,y,h)` and clean original temporary. +It separately replays center deletion to derive the native coupling below. +The changed word has eight fewer H8 and eight fewer H1 calls than the original +source, with no additional Gaussian call. It has 16 extra COPYs and 16 extra +CLEARs. This is a changed source construction, not a constraint such as +`Delta h=0` on otherwise independent inputs. + +## 2. Source-derived coupling and an ordinary helper basis + +Use the inherited 112-by-8 matrix `M`, stored transposed as `mode_columns`. +The verifier checks all entries of + +\[ + M^T M=56I_8,\qquad A=I-MM^T/4. +\] + +Fresh replay of the center-deleted source gives + +\[ + X=x-A^Ty,\qquad Y=y,\qquad H=h-B^TM^Ty. +\] + +The verifier derives every entry of `B` by projecting the actual 408-by-112 +helper-to-Y coefficient matrix onto `M/56`; it then checks the entire +factorization and all 632 endpoints. The eight candidate rows `Delta` satisfy +`Delta B^T = S`, an exactly checked signed permutation. Put `E=S^-1 Delta`. +Thus `E B^T=I8`. Fresh original-prefix replay also binds the candidate cache +rows, their chronology and their actual rank-eight charts. + +In these coordinates the changed word has normalized endpoint + +\[ + X=x-y+(M/4)Eh,\quad Y=y,\quad H=(I-B^TE)h, \tag{2} +\] + +and its canonical mode-`k` cache is + +\[ + f_i(E_kh-M_k^Ty),\qquad f_i=\texttt{zero_factor}_i\,S_{ik}. \tag{3} +\] + +The registered check composes all changed endpoint rows with the following +basis, rather than accepting (2) or (3) from a saved endpoint registry. + +The union of supports of `B` and `E` comprises 122 actual cold H9 owners: each +has ground entrance chart and full-R exit chart. Choose the eight original +mode owners `[224,225,227,229,240,241,256,257]`. Define `L` on these 122 owners: +its mode columns are `B^T`; its other columns are `(I-B^TE)e_j`. Exact +Gauss-Jordan reduction constructs `L^-1` and verifies both inverse products, +`EL` selecting precisely the eight mode coordinates, and `L^-1B^T` embedding +precisely those coordinates. Every coefficient is dyadic. The emitted +`input_basis_program` and `output_basis_program` execute these two maps in +place, without extra owned basis storage. + +Both bases mix only fields sharing the appropriate physical chart, so scalar +owner operations implement them ordinarily. After entrance `L` and exit +`L^-1`, every one of the 632 persistent rows is checked: the eight selected +helper rows are zero, the other 400 helper rows are unchanged, `Y=y`, and +`X=x-y+(M/4)h_mode`. Each cache is exactly +`f_i(h_mode,k-M_k^T y)`. Thus the cache fills a vacated original direction; +it supplies no additional productive input or job credit. + +## 3. Literal physical boundary maps and ownership + +Backward frames use complex conjugation of the native frames, as in the +pinned source convention; they are not silently replaced by adjoints. Let +`Kp` be the 112 inherited main normalizers. For each actual cache frame `F8`, +the verifier constructs an orthogonal, phase-correct monomial `Km` from its +unique missing odd noncharacteristic line, and compiles a monomial `N` with + +\[ + N\overline{F8}K_m=D,\qquad K_mR=RK_m. +\] + +`PROVIDER.json` contains all eight literal `Km` and `N` words, signed tableaux +and nonzero zero-column phase anchors. The compiler's output is checked +explicitly even under Python `-O`. All `Kp` commute with `R`, including +absolute phase. Every boundary word contains only monomial gates. + +Apply `2Km` to the eight original mode inputs before `L`. At the exit, apply +`N/(2f_i)` to each cache. Use the inherited **fused compiled** backward main +input/output wrappers. The verifier checks 336 main diagonal/shear blocks, +896 nonzero main/helper coupling blocks and eight helper diagonal blocks, +for 1,240 exact physical equations. Comparison includes the signed tableau +and exact zero-state vector, so an undetected global phase is impossible +within this Clifford model. These equations yield (1), with + +\[ + W=\operatorname{diag}(K_p^{-1})M\operatorname{diag}(K_m)/2, + \quad + Z=\operatorname{diag}(K_m^{-1})M^T\operatorname{diag}(K_p)/2. +\] + +The main code is the predecessor's `C=diag(Kp^-1) A diag(Kp)`. Exact word +cancellation and the scalar factorization give +`ZW=14I8`, `WZ=I-C`; `W` and `Z` intertwine `R` on their respective banks. +No commutation with `D` or `Q` is assumed. These are finite ordinary code +maps with exterior scalar coefficients, not additional Gaussian calls. + +After normalization, SWAP each cache's **whole physical field and chart tag** +with its identically zero original mode output. The original owner now holds +the normalized coupled output; the owned slot holds zero and can be CLEARed. +There is no persistent erasure and no attempted free chart conversion of a +nonzero field. `C0` is already zero, so all nine owned outputs are zero. +Ordering the coupled input/output banks as `(y,h,x)` makes (1) triangular +with invertible diagonal `D`. Together with the 400 unchanged native jobs, +this proves preservation of all 632 original input directions. It does not +emit an inverse schedule or establish a same-cost inverse/transpose. + +## 4. Exact local bill + +Relative to the original raw backward source, the selected schedule adds: + +| Ordinary operation | Added field operations | +| --- | ---: | +| ADD | 1,644 | +| SCALE | 40 | +| COPY | 16 | +| CLEAR | 24 | +| Whole-field SWAP, with chart tag | 8 | +| Monomial field map | 464 | + +Each basis direction uses 822 ADD and 12 SCALE: its three elimination swaps +are expanded into three ADDs and one SCALE each. Eight input scalings and +eight cache scalings give the remaining 16 SCALEs. The source rewrite adds +16 COPY and 16 CLEAR; final cache consumption adds eight CLEAR. The 464 +monomial maps are 448 fused inherited main standardizers, eight `Km` and +eight `N`. This counts the newly installed boundary schedule; all unchanged +source warp/phase/adapter traffic and native child implementations remain in +the emitted word and retain their inherited costs. In particular, this table +does not assert that a field monomial map is zero machine work. + +The original source has 16,273 ADD, 1,164 SCALE and 16 CLEAR. Including the +new boundary scalars, the schedule therefore has 17,917 ADD, 1,204 SCALE, +16 COPY, 40 CLEAR and eight whole-field SWAP, plus the explicitly described +monomial boundary maps and inherited native operations. Nine owned fields +suffice: the original center temporary and eight retained caches. Their +initial values are arbitrary; their final values are zero. The autonomous +helper profile is `{4:28,7:7,8:47,9:318}`. The physical implementations of +those unchanged native helper jobs are inherited from the pinned source; +scalar identity rows alone are not a new proof of those implementations. + +For an explicit local stability bound, use the maximum of field Euclidean +norms. ADD by `a` has norm at most `1+|a|`, SCALE has norm at most +`max(1,|a|)`, and unitary Gaussian/monomial maps, COPY, CLEAR and SWAP have +norm at most one. The verifier sums upward-rounded base-two logarithms for +every scalar operation in this finite schedule, obtaining **18,996**. Hence +every suffix amplifies an injected field error by at most `2^18996`; at most +`m` injections of norm `epsilon` give the conservative bound +`m*2^18996*epsilon`. All dyadic constants and word lengths are fixed. This +establishes local bounded amplification, not a complete coordinate rounding, +tape movement, recursive precision or outer multiplier budget. + +## 5. Every positive fiber width and verification boundary + +A free-group identity evaluates in any assignment of invertible native warp +operators. Therefore the exact rational row equalities and zero-retag +premises hold uniformly when native operations act on any positive fiber +width `f`. The scalar owner coefficients and scalar `L/L^-1` programs stay +outside the tensor product; in particular `ZW=14I`, not `14^f I`. Each +compiled monomial word uses the inherited prescription: `P` and `X` act +columnwise, `D` sums its Z4 polynomial over the columns, and a `phase` gate +contributes its phase once per column. Each address-operator identity is lifted +columnwise; an absolute phase `i^gamma` lifts to `i^(f gamma)`, rather than +being confused with an exterior scalar sign. Exact one-column operator +identities, word cancellation and rational matrix identities then prove the +same physical boundary composition for every `f`. The inherited native +uniform implementation hypotheses remain inherited. + +The registered verifier performs complete 641-column native row replay, +exact scalar endpoint composition, and the 1,240 physical boundary checks. +It does not claim a separately flattened 641-column physical-matrix replay, +a formal-kernel proof, independent human approval, hosted CI, or a complete +caller. It rejects a nonzero zero-retag, a single changed basis ADD +coefficient, a changed saved-cache coefficient and a phase-only error with +the correct tableau. Normal and optimized runs use explicit checks for the +new claims. The caller must close all 224 main and eight coupled helper +outputs, preserve the other 400 jobs, charge every added child and ordinary +operation, and discharge precision, storage and outer-budget obligations +before any new target credit or exponent is admitted. diff --git a/research/coupled-query-transport/inputs/PROVIDER.json b/research/coupled-query-transport/inputs/PROVIDER.json new file mode 100644 index 0000000000..0afd30ed01 --- /dev/null +++ b/research/coupled-query-transport/inputs/PROVIDER.json @@ -0,0 +1,13105 @@ +{ + "schema_version": 1, + "source_payload_sha256": "cfcd36b40326d7a5815e1db5313444379b3fb756b27d5201c561574c085cc0dd", + "candidate_witness_sha256": "24599011da06325e1012619b2b84a4dd3aceb90ab42d3caaf6414879e7d16591", + "word_payload_sha256": "05490717144b3e6c69c0cc9e5c5df5c69d841ca13bf29aabd1b0db180628f038", + "basis_roles": [ + 224, + 225, + 227, + 229, + 230, + 231, + 232, + 233, + 234, + 235, + 236, + 237, + 238, + 239, + 240, + 241, + 242, + 243, + 245, + 246, + 247, + 250, + 252, + 253, + 254, + 255, + 256, + 257, + 258, + 259, + 261, + 262, + 263, + 266, + 268, + 269, + 270, + 271, + 272, + 276, + 280, + 283, + 286, + 287, + 288, + 294, + 296, + 297, + 300, + 302, + 303, + 306, + 308, + 312, + 315, + 318, + 319, + 324, + 326, + 328, + 332, + 333, + 334, + 335, + 336, + 340, + 347, + 350, + 351, + 352, + 356, + 366, + 367, + 368, + 372, + 379, + 382, + 383, + 384, + 388, + 390, + 391, + 392, + 397, + 398, + 399, + 400, + 401, + 402, + 403, + 405, + 406, + 409, + 410, + 411, + 413, + 414, + 415, + 416, + 417, + 418, + 419, + 421, + 422, + 425, + 426, + 427, + 429, + 430, + 431, + 432, + 433, + 434, + 435, + 437, + 438, + 441, + 442, + 443, + 445, + 446, + 447 + ], + "mode_owners": [ + 224, + 225, + 227, + 229, + 240, + 241, + 256, + 257 + ], + "candidate_mode_permutation": [ + 2, + 0, + 1, + 3, + 5, + 7, + 6, + 4 + ], + "candidate_mode_signs": [ + "1", + "1", + "1", + "-1", + "-1", + "1", + "1", + "-1" + ], + "canonical_retraction_E": [ + [ + [ + 1, + "1" + ], + [ + 160, + "-1" + ], + [ + 164, + "-1" + ], + [ + 166, + "1" + ], + [ + 167, + "1" + ], + [ + 168, + "1" + ], + [ + 173, + "-1" + ] + ], + [ + [ + 1, + "1" + ], + [ + 3, + "-1" + ], + [ + 5, + "1" + ], + [ + 7, + "-2" + ], + [ + 8, + "1" + ], + [ + 10, + "-1" + ], + [ + 11, + "-1" + ], + [ + 12, + "-1" + ], + [ + 13, + "-1" + ], + [ + 14, + "2" + ], + [ + 15, + "1" + ], + [ + 160, + "-1" + ], + [ + 164, + "-1" + ], + [ + 166, + "1" + ], + [ + 167, + "1" + ], + [ + 168, + "1" + ], + [ + 173, + "-1" + ] + ], + [ + [ + 6, + "1" + ], + [ + 100, + "-1" + ], + [ + 102, + "1" + ], + [ + 104, + "1" + ], + [ + 109, + "-1" + ] + ], + [ + [ + 3, + "-1" + ], + [ + 5, + "-1" + ], + [ + 8, + "1" + ], + [ + 10, + "-1" + ], + [ + 11, + "-1" + ], + [ + 12, + "1" + ], + [ + 13, + "-1" + ], + [ + 15, + "1" + ], + [ + 100, + "1" + ], + [ + 102, + "-1" + ], + [ + 104, + "-1" + ], + [ + 109, + "1" + ] + ], + [ + [ + 64, + "-1" + ], + [ + 70, + "1" + ], + [ + 72, + "1" + ], + [ + 73, + "1" + ], + [ + 76, + "-1" + ], + [ + 79, + "-1" + ] + ], + [ + [ + 17, + "-1" + ], + [ + 19, + "1" + ], + [ + 21, + "-1" + ], + [ + 23, + "1" + ], + [ + 28, + "1" + ], + [ + 29, + "1" + ], + [ + 30, + "-1" + ], + [ + 31, + "-1" + ] + ], + [ + [ + 33, + "1" + ], + [ + 35, + "-1" + ], + [ + 37, + "1" + ], + [ + 39, + "-1" + ], + [ + 44, + "-1" + ], + [ + 45, + "-1" + ], + [ + 46, + "1" + ], + [ + 47, + "1" + ] + ], + [ + [ + 1, + "1" + ], + [ + 17, + "-1" + ], + [ + 19, + "1" + ], + [ + 21, + "1" + ], + [ + 23, + "-1" + ], + [ + 28, + "-1" + ], + [ + 29, + "1" + ], + [ + 30, + "1" + ], + [ + 31, + "-1" + ], + [ + 100, + "-1" + ], + [ + 102, + "1" + ], + [ + 104, + "1" + ], + [ + 109, + "-1" + ], + [ + 160, + "-1" + ], + [ + 164, + "-1" + ], + [ + 166, + "1" + ], + [ + 167, + "1" + ], + [ + 168, + "1" + ], + [ + 173, + "-1" + ] + ] + ], + "input_basis_program": [ + [ + "add", + 257, + 397, + "1" + ], + [ + "add", + 225, + 397, + "1" + ], + [ + "add", + 224, + 397, + "1" + ], + [ + "add", + 257, + 392, + "-1" + ], + [ + "add", + 225, + 392, + "-1" + ], + [ + "add", + 224, + 392, + "-1" + ], + [ + "add", + 257, + 391, + "-1" + ], + [ + "add", + 225, + 391, + "-1" + ], + [ + "add", + 224, + 391, + "-1" + ], + [ + "add", + 257, + 390, + "-1" + ], + [ + "add", + 225, + 390, + "-1" + ], + [ + "add", + 224, + 390, + "-1" + ], + [ + "add", + 257, + 388, + "1" + ], + [ + "add", + 225, + 388, + "1" + ], + [ + "add", + 224, + 388, + "1" + ], + [ + "add", + 257, + 384, + "1" + ], + [ + "add", + 225, + 384, + "1" + ], + [ + "add", + 224, + 384, + "1" + ], + [ + "add", + 257, + 333, + "1" + ], + [ + "add", + 229, + 333, + "-1" + ], + [ + "add", + 227, + 333, + "1" + ], + [ + "add", + 257, + 328, + "-1" + ], + [ + "add", + 229, + 328, + "1" + ], + [ + "add", + 227, + 328, + "-1" + ], + [ + "add", + 257, + 326, + "-1" + ], + [ + "add", + 229, + 326, + "1" + ], + [ + "add", + 227, + 326, + "-1" + ], + [ + "add", + 257, + 324, + "1" + ], + [ + "add", + 229, + 324, + "-1" + ], + [ + "add", + 227, + 324, + "1" + ], + [ + "add", + 240, + 303, + "1" + ], + [ + "add", + 240, + 300, + "1" + ], + [ + "add", + 240, + 297, + "-1" + ], + [ + "add", + 240, + 296, + "-1" + ], + [ + "add", + 240, + 294, + "-1" + ], + [ + "add", + 240, + 288, + "1" + ], + [ + "add", + 256, + 271, + "-1" + ], + [ + "add", + 256, + 270, + "-1" + ], + [ + "add", + 256, + 269, + "1" + ], + [ + "add", + 256, + 268, + "1" + ], + [ + "add", + 256, + 263, + "1" + ], + [ + "add", + 256, + 261, + "-1" + ], + [ + "add", + 256, + 259, + "1" + ], + [ + "add", + 255, + 257, + "1" + ], + [ + "add", + 241, + 257, + "-1" + ], + [ + "scale", + 257, + "-1" + ], + [ + "add", + 447, + 256, + "-1/2" + ], + [ + "add", + 446, + 256, + "1/2" + ], + [ + "add", + 445, + 256, + "1/2" + ], + [ + "add", + 443, + 256, + "-1/2" + ], + [ + "add", + 437, + 256, + "1/2" + ], + [ + "add", + 435, + 256, + "-1/2" + ], + [ + "add", + 433, + 256, + "1/2" + ], + [ + "add", + 432, + 256, + "-1/2" + ], + [ + "add", + 431, + 256, + "-1/2" + ], + [ + "add", + 430, + 256, + "1/2" + ], + [ + "add", + 429, + 256, + "1/2" + ], + [ + "add", + 427, + 256, + "-1/2" + ], + [ + "add", + 421, + 256, + "1/2" + ], + [ + "add", + 419, + 256, + "-1/2" + ], + [ + "add", + 417, + 256, + "1/2" + ], + [ + "add", + 399, + 256, + "-3/4" + ], + [ + "add", + 398, + 256, + "1/4" + ], + [ + "add", + 388, + 256, + "1/4" + ], + [ + "add", + 384, + 256, + "-1/4" + ], + [ + "add", + 383, + 256, + "3/4" + ], + [ + "add", + 382, + 256, + "-1/4" + ], + [ + "add", + 372, + 256, + "-1/4" + ], + [ + "add", + 368, + 256, + "1/4" + ], + [ + "add", + 367, + 256, + "3/4" + ], + [ + "add", + 366, + 256, + "-1/4" + ], + [ + "add", + 356, + 256, + "-1/4" + ], + [ + "add", + 352, + 256, + "1/4" + ], + [ + "add", + 351, + 256, + "-3/4" + ], + [ + "add", + 350, + 256, + "1/4" + ], + [ + "add", + 340, + 256, + "1/4" + ], + [ + "add", + 336, + 256, + "-1/4" + ], + [ + "add", + 334, + 256, + "-1/2" + ], + [ + "add", + 332, + 256, + "1/2" + ], + [ + "add", + 328, + 256, + "-1" + ], + [ + "add", + 326, + 256, + "1/2" + ], + [ + "add", + 324, + 256, + "-1/2" + ], + [ + "add", + 319, + 256, + "-1/2" + ], + [ + "add", + 318, + 256, + "1/4" + ], + [ + "add", + 312, + 256, + "1/4" + ], + [ + "add", + 308, + 256, + "1/4" + ], + [ + "add", + 306, + 256, + "-1/4" + ], + [ + "add", + 303, + 256, + "-1/2" + ], + [ + "add", + 302, + 256, + "1/4" + ], + [ + "add", + 296, + 256, + "1/4" + ], + [ + "add", + 288, + 256, + "-1/4" + ], + [ + "add", + 287, + 256, + "1/2" + ], + [ + "add", + 286, + 256, + "-1/4" + ], + [ + "add", + 280, + 256, + "-1/4" + ], + [ + "add", + 272, + 256, + "1/4" + ], + [ + "add", + 271, + 256, + "-1/2" + ], + [ + "add", + 270, + 256, + "1/2" + ], + [ + "add", + 269, + 256, + "1/2" + ], + [ + "add", + 261, + 256, + "1/2" + ], + [ + "add", + 259, + 256, + "-1/2" + ], + [ + "add", + 258, + 256, + "-1/2" + ], + [ + "add", + 240, + 256, + "-1" + ], + [ + "scale", + 256, + "1/2" + ], + [ + "add", + 256, + 257, + "1" + ], + [ + "add", + 257, + 256, + "-1" + ], + [ + "add", + 256, + 257, + "1" + ], + [ + "scale", + 257, + "-1" + ], + [ + "add", + 447, + 255, + "-1" + ], + [ + "add", + 446, + 255, + "1" + ], + [ + "add", + 443, + 255, + "1" + ], + [ + "add", + 442, + 255, + "-1" + ], + [ + "add", + 438, + 255, + "1" + ], + [ + "add", + 437, + 255, + "1" + ], + [ + "add", + 435, + 255, + "1" + ], + [ + "add", + 432, + 255, + "1" + ], + [ + "add", + 415, + 255, + "-1" + ], + [ + "add", + 411, + 255, + "-1" + ], + [ + "add", + 410, + 255, + "1" + ], + [ + "add", + 409, + 255, + "1" + ], + [ + "add", + 406, + 255, + "-1" + ], + [ + "add", + 403, + 255, + "1" + ], + [ + "add", + 402, + 255, + "-1" + ], + [ + "add", + 400, + 255, + "1" + ], + [ + "add", + 399, + 255, + "-1/2" + ], + [ + "add", + 398, + 255, + "-1/2" + ], + [ + "add", + 388, + 255, + "-1/2" + ], + [ + "add", + 384, + 255, + "1/2" + ], + [ + "add", + 383, + 255, + "-1/2" + ], + [ + "add", + 382, + 255, + "-1/2" + ], + [ + "add", + 372, + 255, + "-1/2" + ], + [ + "add", + 368, + 255, + "1/2" + ], + [ + "add", + 367, + 255, + "-1/2" + ], + [ + "add", + 366, + 255, + "-1/2" + ], + [ + "add", + 356, + 255, + "-1/2" + ], + [ + "add", + 352, + 255, + "1/2" + ], + [ + "add", + 351, + 255, + "-1/2" + ], + [ + "add", + 350, + 255, + "-1/2" + ], + [ + "add", + 340, + 255, + "-1/2" + ], + [ + "add", + 336, + 255, + "1/2" + ], + [ + "add", + 335, + 255, + "-2" + ], + [ + "add", + 334, + 255, + "-1" + ], + [ + "add", + 332, + 255, + "1" + ], + [ + "add", + 328, + 255, + "-2" + ], + [ + "add", + 326, + 255, + "1" + ], + [ + "add", + 324, + 255, + "-1" + ], + [ + "add", + 319, + 255, + "-1" + ], + [ + "add", + 318, + 255, + "-1/2" + ], + [ + "add", + 312, + 255, + "-1/2" + ], + [ + "add", + 308, + 255, + "-1/2" + ], + [ + "add", + 306, + 255, + "1/2" + ], + [ + "add", + 303, + 255, + "-1" + ], + [ + "add", + 302, + 255, + "-1/2" + ], + [ + "add", + 296, + 255, + "-1/2" + ], + [ + "add", + 288, + 255, + "1/2" + ], + [ + "add", + 287, + 255, + "-1" + ], + [ + "add", + 286, + 255, + "-1/2" + ], + [ + "add", + 280, + 255, + "-1/2" + ], + [ + "add", + 272, + 255, + "1/2" + ], + [ + "add", + 250, + 255, + "1" + ], + [ + "add", + 246, + 255, + "-1" + ], + [ + "add", + 243, + 255, + "1" + ], + [ + "add", + 255, + 256, + "1" + ], + [ + "add", + 256, + 255, + "-1" + ], + [ + "add", + 255, + 256, + "1" + ], + [ + "scale", + 256, + "-1" + ], + [ + "add", + 447, + 254, + "1" + ], + [ + "add", + 446, + 254, + "-1" + ], + [ + "add", + 443, + 254, + "-1" + ], + [ + "add", + 442, + 254, + "1" + ], + [ + "add", + 438, + 254, + "-1" + ], + [ + "add", + 437, + 254, + "-1" + ], + [ + "add", + 435, + 254, + "-1" + ], + [ + "add", + 432, + 254, + "-1" + ], + [ + "add", + 415, + 254, + "1" + ], + [ + "add", + 411, + 254, + "1" + ], + [ + "add", + 410, + 254, + "-1" + ], + [ + "add", + 409, + 254, + "-1" + ], + [ + "add", + 406, + 254, + "1" + ], + [ + "add", + 403, + 254, + "-1" + ], + [ + "add", + 402, + 254, + "1" + ], + [ + "add", + 400, + 254, + "-1" + ], + [ + "add", + 399, + 254, + "1/2" + ], + [ + "add", + 398, + 254, + "1/2" + ], + [ + "add", + 388, + 254, + "1/2" + ], + [ + "add", + 384, + 254, + "-1/2" + ], + [ + "add", + 383, + 254, + "1/2" + ], + [ + "add", + 382, + 254, + "1/2" + ], + [ + "add", + 372, + 254, + "1/2" + ], + [ + "add", + 368, + 254, + "-1/2" + ], + [ + "add", + 367, + 254, + "1/2" + ], + [ + "add", + 366, + 254, + "1/2" + ], + [ + "add", + 356, + 254, + "1/2" + ], + [ + "add", + 352, + 254, + "-1/2" + ], + [ + "add", + 351, + 254, + "1/2" + ], + [ + "add", + 350, + 254, + "1/2" + ], + [ + "add", + 340, + 254, + "1/2" + ], + [ + "add", + 336, + 254, + "-1/2" + ], + [ + "add", + 335, + 254, + "2" + ], + [ + "add", + 334, + 254, + "1" + ], + [ + "add", + 332, + 254, + "-1" + ], + [ + "add", + 328, + 254, + "2" + ], + [ + "add", + 326, + 254, + "-1" + ], + [ + "add", + 324, + 254, + "1" + ], + [ + "add", + 319, + 254, + "1" + ], + [ + "add", + 318, + 254, + "1/2" + ], + [ + "add", + 312, + 254, + "1/2" + ], + [ + "add", + 308, + 254, + "1/2" + ], + [ + "add", + 306, + 254, + "-1/2" + ], + [ + "add", + 303, + 254, + "1" + ], + [ + "add", + 302, + 254, + "1/2" + ], + [ + "add", + 296, + 254, + "1/2" + ], + [ + "add", + 288, + 254, + "-1/2" + ], + [ + "add", + 287, + 254, + "1" + ], + [ + "add", + 286, + 254, + "1/2" + ], + [ + "add", + 280, + 254, + "1/2" + ], + [ + "add", + 272, + 254, + "-1/2" + ], + [ + "add", + 256, + 254, + "-1" + ], + [ + "add", + 255, + 254, + "1" + ], + [ + "add", + 250, + 254, + "-1" + ], + [ + "add", + 246, + 254, + "1" + ], + [ + "add", + 243, + 254, + "-1" + ], + [ + "add", + 241, + 254, + "2" + ], + [ + "add", + 447, + 253, + "1" + ], + [ + "add", + 446, + 253, + "-1" + ], + [ + "add", + 443, + 253, + "-1" + ], + [ + "add", + 442, + 253, + "1" + ], + [ + "add", + 438, + 253, + "-1" + ], + [ + "add", + 437, + 253, + "-1" + ], + [ + "add", + 435, + 253, + "-1" + ], + [ + "add", + 432, + 253, + "-1" + ], + [ + "add", + 415, + 253, + "1" + ], + [ + "add", + 411, + 253, + "1" + ], + [ + "add", + 410, + 253, + "-1" + ], + [ + "add", + 409, + 253, + "-1" + ], + [ + "add", + 406, + 253, + "1" + ], + [ + "add", + 403, + 253, + "-1" + ], + [ + "add", + 402, + 253, + "1" + ], + [ + "add", + 400, + 253, + "-1" + ], + [ + "add", + 399, + 253, + "1/2" + ], + [ + "add", + 398, + 253, + "1/2" + ], + [ + "add", + 388, + 253, + "1/2" + ], + [ + "add", + 384, + 253, + "-1/2" + ], + [ + "add", + 383, + 253, + "1/2" + ], + [ + "add", + 382, + 253, + "1/2" + ], + [ + "add", + 372, + 253, + "1/2" + ], + [ + "add", + 368, + 253, + "-1/2" + ], + [ + "add", + 367, + 253, + "1/2" + ], + [ + "add", + 366, + 253, + "1/2" + ], + [ + "add", + 356, + 253, + "1/2" + ], + [ + "add", + 352, + 253, + "-1/2" + ], + [ + "add", + 351, + 253, + "1/2" + ], + [ + "add", + 350, + 253, + "1/2" + ], + [ + "add", + 340, + 253, + "1/2" + ], + [ + "add", + 336, + 253, + "-1/2" + ], + [ + "add", + 335, + 253, + "2" + ], + [ + "add", + 334, + 253, + "1" + ], + [ + "add", + 332, + 253, + "-1" + ], + [ + "add", + 328, + 253, + "2" + ], + [ + "add", + 326, + 253, + "-1" + ], + [ + "add", + 324, + 253, + "1" + ], + [ + "add", + 319, + 253, + "1" + ], + [ + "add", + 318, + 253, + "1/2" + ], + [ + "add", + 312, + 253, + "1/2" + ], + [ + "add", + 308, + 253, + "1/2" + ], + [ + "add", + 306, + 253, + "-1/2" + ], + [ + "add", + 303, + 253, + "1" + ], + [ + "add", + 302, + 253, + "1/2" + ], + [ + "add", + 296, + 253, + "1/2" + ], + [ + "add", + 288, + 253, + "-1/2" + ], + [ + "add", + 287, + 253, + "1" + ], + [ + "add", + 286, + 253, + "1/2" + ], + [ + "add", + 280, + 253, + "1/2" + ], + [ + "add", + 272, + 253, + "-1/2" + ], + [ + "add", + 256, + 253, + "-1" + ], + [ + "add", + 255, + 253, + "1" + ], + [ + "add", + 250, + 253, + "-1" + ], + [ + "add", + 246, + 253, + "1" + ], + [ + "add", + 243, + 253, + "-1" + ], + [ + "add", + 447, + 252, + "-1" + ], + [ + "add", + 446, + 252, + "1" + ], + [ + "add", + 443, + 252, + "1" + ], + [ + "add", + 442, + 252, + "-1" + ], + [ + "add", + 438, + 252, + "1" + ], + [ + "add", + 437, + 252, + "1" + ], + [ + "add", + 435, + 252, + "1" + ], + [ + "add", + 432, + 252, + "1" + ], + [ + "add", + 415, + 252, + "-1" + ], + [ + "add", + 411, + 252, + "-1" + ], + [ + "add", + 410, + 252, + "1" + ], + [ + "add", + 409, + 252, + "1" + ], + [ + "add", + 406, + 252, + "-1" + ], + [ + "add", + 403, + 252, + "1" + ], + [ + "add", + 402, + 252, + "-1" + ], + [ + "add", + 400, + 252, + "1" + ], + [ + "add", + 399, + 252, + "-1/2" + ], + [ + "add", + 398, + 252, + "-1/2" + ], + [ + "add", + 388, + 252, + "-1/2" + ], + [ + "add", + 384, + 252, + "1/2" + ], + [ + "add", + 383, + 252, + "-1/2" + ], + [ + "add", + 382, + 252, + "-1/2" + ], + [ + "add", + 372, + 252, + "-1/2" + ], + [ + "add", + 368, + 252, + "1/2" + ], + [ + "add", + 367, + 252, + "-1/2" + ], + [ + "add", + 366, + 252, + "-1/2" + ], + [ + "add", + 356, + 252, + "-1/2" + ], + [ + "add", + 352, + 252, + "1/2" + ], + [ + "add", + 351, + 252, + "-1/2" + ], + [ + "add", + 350, + 252, + "-1/2" + ], + [ + "add", + 340, + 252, + "-1/2" + ], + [ + "add", + 336, + 252, + "1/2" + ], + [ + "add", + 335, + 252, + "-2" + ], + [ + "add", + 334, + 252, + "-1" + ], + [ + "add", + 332, + 252, + "1" + ], + [ + "add", + 328, + 252, + "-2" + ], + [ + "add", + 326, + 252, + "1" + ], + [ + "add", + 324, + 252, + "-1" + ], + [ + "add", + 319, + 252, + "-1" + ], + [ + "add", + 318, + 252, + "-1/2" + ], + [ + "add", + 312, + 252, + "-1/2" + ], + [ + "add", + 308, + 252, + "-1/2" + ], + [ + "add", + 306, + 252, + "1/2" + ], + [ + "add", + 303, + 252, + "-1" + ], + [ + "add", + 302, + 252, + "-1/2" + ], + [ + "add", + 296, + 252, + "-1/2" + ], + [ + "add", + 288, + 252, + "1/2" + ], + [ + "add", + 287, + 252, + "-1" + ], + [ + "add", + 286, + 252, + "-1/2" + ], + [ + "add", + 280, + 252, + "-1/2" + ], + [ + "add", + 272, + 252, + "1/2" + ], + [ + "add", + 256, + 252, + "1" + ], + [ + "add", + 255, + 252, + "-1" + ], + [ + "add", + 250, + 252, + "1" + ], + [ + "add", + 246, + 252, + "-1" + ], + [ + "add", + 243, + 252, + "1" + ], + [ + "add", + 241, + 252, + "-2" + ], + [ + "add", + 447, + 247, + "-1" + ], + [ + "add", + 446, + 247, + "1" + ], + [ + "add", + 443, + 247, + "1" + ], + [ + "add", + 442, + 247, + "-1" + ], + [ + "add", + 438, + 247, + "1" + ], + [ + "add", + 437, + 247, + "1" + ], + [ + "add", + 435, + 247, + "1" + ], + [ + "add", + 432, + 247, + "1" + ], + [ + "add", + 415, + 247, + "-1" + ], + [ + "add", + 411, + 247, + "-1" + ], + [ + "add", + 410, + 247, + "1" + ], + [ + "add", + 409, + 247, + "1" + ], + [ + "add", + 406, + 247, + "-1" + ], + [ + "add", + 403, + 247, + "1" + ], + [ + "add", + 402, + 247, + "-1" + ], + [ + "add", + 400, + 247, + "1" + ], + [ + "add", + 399, + 247, + "-1/2" + ], + [ + "add", + 398, + 247, + "-1/2" + ], + [ + "add", + 388, + 247, + "-1/2" + ], + [ + "add", + 384, + 247, + "1/2" + ], + [ + "add", + 383, + 247, + "-1/2" + ], + [ + "add", + 382, + 247, + "-1/2" + ], + [ + "add", + 372, + 247, + "-1/2" + ], + [ + "add", + 368, + 247, + "1/2" + ], + [ + "add", + 367, + 247, + "-1/2" + ], + [ + "add", + 366, + 247, + "-1/2" + ], + [ + "add", + 356, + 247, + "-1/2" + ], + [ + "add", + 352, + 247, + "1/2" + ], + [ + "add", + 351, + 247, + "-1/2" + ], + [ + "add", + 350, + 247, + "-1/2" + ], + [ + "add", + 340, + 247, + "-1/2" + ], + [ + "add", + 336, + 247, + "1/2" + ], + [ + "add", + 335, + 247, + "-2" + ], + [ + "add", + 334, + 247, + "-1" + ], + [ + "add", + 332, + 247, + "1" + ], + [ + "add", + 328, + 247, + "-2" + ], + [ + "add", + 326, + 247, + "1" + ], + [ + "add", + 324, + 247, + "-1" + ], + [ + "add", + 319, + 247, + "-1" + ], + [ + "add", + 318, + 247, + "-1/2" + ], + [ + "add", + 312, + 247, + "-1/2" + ], + [ + "add", + 308, + 247, + "-1/2" + ], + [ + "add", + 306, + 247, + "1/2" + ], + [ + "add", + 303, + 247, + "-1" + ], + [ + "add", + 302, + 247, + "-1/2" + ], + [ + "add", + 296, + 247, + "-1/2" + ], + [ + "add", + 288, + 247, + "1/2" + ], + [ + "add", + 287, + 247, + "-1" + ], + [ + "add", + 286, + 247, + "-1/2" + ], + [ + "add", + 280, + 247, + "-1/2" + ], + [ + "add", + 272, + 247, + "1/2" + ], + [ + "add", + 256, + 247, + "1" + ], + [ + "add", + 255, + 247, + "-1" + ], + [ + "add", + 250, + 247, + "1" + ], + [ + "add", + 246, + 247, + "-1" + ], + [ + "add", + 243, + 247, + "1" + ], + [ + "add", + 241, + 247, + "-2" + ], + [ + "add", + 447, + 245, + "1" + ], + [ + "add", + 446, + 245, + "-1" + ], + [ + "add", + 443, + 245, + "-1" + ], + [ + "add", + 442, + 245, + "1" + ], + [ + "add", + 438, + 245, + "-1" + ], + [ + "add", + 437, + 245, + "-1" + ], + [ + "add", + 435, + 245, + "-1" + ], + [ + "add", + 432, + 245, + "-1" + ], + [ + "add", + 415, + 245, + "1" + ], + [ + "add", + 411, + 245, + "1" + ], + [ + "add", + 410, + 245, + "-1" + ], + [ + "add", + 409, + 245, + "-1" + ], + [ + "add", + 406, + 245, + "1" + ], + [ + "add", + 403, + 245, + "-1" + ], + [ + "add", + 402, + 245, + "1" + ], + [ + "add", + 400, + 245, + "-1" + ], + [ + "add", + 399, + 245, + "1/2" + ], + [ + "add", + 398, + 245, + "1/2" + ], + [ + "add", + 388, + 245, + "1/2" + ], + [ + "add", + 384, + 245, + "-1/2" + ], + [ + "add", + 383, + 245, + "1/2" + ], + [ + "add", + 382, + 245, + "1/2" + ], + [ + "add", + 372, + 245, + "1/2" + ], + [ + "add", + 368, + 245, + "-1/2" + ], + [ + "add", + 367, + 245, + "1/2" + ], + [ + "add", + 366, + 245, + "1/2" + ], + [ + "add", + 356, + 245, + "1/2" + ], + [ + "add", + 352, + 245, + "-1/2" + ], + [ + "add", + 351, + 245, + "1/2" + ], + [ + "add", + 350, + 245, + "1/2" + ], + [ + "add", + 340, + 245, + "1/2" + ], + [ + "add", + 336, + 245, + "-1/2" + ], + [ + "add", + 335, + 245, + "2" + ], + [ + "add", + 334, + 245, + "1" + ], + [ + "add", + 332, + 245, + "-1" + ], + [ + "add", + 328, + 245, + "2" + ], + [ + "add", + 326, + 245, + "-1" + ], + [ + "add", + 324, + 245, + "1" + ], + [ + "add", + 319, + 245, + "1" + ], + [ + "add", + 318, + 245, + "1/2" + ], + [ + "add", + 312, + 245, + "1/2" + ], + [ + "add", + 308, + 245, + "1/2" + ], + [ + "add", + 306, + 245, + "-1/2" + ], + [ + "add", + 303, + 245, + "1" + ], + [ + "add", + 302, + 245, + "1/2" + ], + [ + "add", + 296, + 245, + "1/2" + ], + [ + "add", + 288, + 245, + "-1/2" + ], + [ + "add", + 287, + 245, + "1" + ], + [ + "add", + 286, + 245, + "1/2" + ], + [ + "add", + 280, + 245, + "1/2" + ], + [ + "add", + 272, + 245, + "-1/2" + ], + [ + "add", + 256, + 245, + "-1" + ], + [ + "add", + 255, + 245, + "1" + ], + [ + "add", + 250, + 245, + "-1" + ], + [ + "add", + 246, + 245, + "1" + ], + [ + "add", + 243, + 245, + "-1" + ], + [ + "add", + 241, + 245, + "2" + ], + [ + "add", + 447, + 243, + "1/2" + ], + [ + "add", + 446, + 243, + "-1/2" + ], + [ + "add", + 443, + 243, + "-1/2" + ], + [ + "add", + 442, + 243, + "1/2" + ], + [ + "add", + 438, + 243, + "-1/2" + ], + [ + "add", + 437, + 243, + "-1/2" + ], + [ + "add", + 435, + 243, + "-1/2" + ], + [ + "add", + 432, + 243, + "-1/2" + ], + [ + "add", + 415, + 243, + "1/2" + ], + [ + "add", + 411, + 243, + "1/2" + ], + [ + "add", + 410, + 243, + "-1/2" + ], + [ + "add", + 409, + 243, + "-1/2" + ], + [ + "add", + 406, + 243, + "1/2" + ], + [ + "add", + 403, + 243, + "-1/2" + ], + [ + "add", + 402, + 243, + "1/2" + ], + [ + "add", + 400, + 243, + "-1/2" + ], + [ + "add", + 399, + 243, + "1/4" + ], + [ + "add", + 398, + 243, + "1/4" + ], + [ + "add", + 388, + 243, + "1/4" + ], + [ + "add", + 384, + 243, + "-1/4" + ], + [ + "add", + 383, + 243, + "1/4" + ], + [ + "add", + 382, + 243, + "1/4" + ], + [ + "add", + 372, + 243, + "1/4" + ], + [ + "add", + 368, + 243, + "-1/4" + ], + [ + "add", + 367, + 243, + "1/4" + ], + [ + "add", + 366, + 243, + "1/4" + ], + [ + "add", + 356, + 243, + "1/4" + ], + [ + "add", + 352, + 243, + "-1/4" + ], + [ + "add", + 351, + 243, + "1/4" + ], + [ + "add", + 350, + 243, + "1/4" + ], + [ + "add", + 340, + 243, + "1/4" + ], + [ + "add", + 336, + 243, + "-1/4" + ], + [ + "add", + 335, + 243, + "1" + ], + [ + "add", + 334, + 243, + "1/2" + ], + [ + "add", + 332, + 243, + "-1/2" + ], + [ + "add", + 328, + 243, + "1" + ], + [ + "add", + 326, + 243, + "-1/2" + ], + [ + "add", + 324, + 243, + "1/2" + ], + [ + "add", + 319, + 243, + "1/2" + ], + [ + "add", + 318, + 243, + "1/4" + ], + [ + "add", + 312, + 243, + "1/4" + ], + [ + "add", + 308, + 243, + "1/4" + ], + [ + "add", + 306, + 243, + "-1/4" + ], + [ + "add", + 303, + 243, + "1/2" + ], + [ + "add", + 302, + 243, + "1/4" + ], + [ + "add", + 296, + 243, + "1/4" + ], + [ + "add", + 288, + 243, + "-1/4" + ], + [ + "add", + 287, + 243, + "1/2" + ], + [ + "add", + 286, + 243, + "1/4" + ], + [ + "add", + 280, + 243, + "1/4" + ], + [ + "add", + 272, + 243, + "-1/4" + ], + [ + "add", + 256, + 243, + "-1/2" + ], + [ + "add", + 255, + 243, + "1/2" + ], + [ + "add", + 250, + 243, + "-1/2" + ], + [ + "add", + 246, + 243, + "1/2" + ], + [ + "scale", + 243, + "1/2" + ], + [ + "add", + 446, + 241, + "1/4" + ], + [ + "add", + 445, + 241, + "1/4" + ], + [ + "add", + 443, + 241, + "1/2" + ], + [ + "add", + 442, + 241, + "-1/4" + ], + [ + "add", + 441, + 241, + "1/4" + ], + [ + "add", + 438, + 241, + "1/4" + ], + [ + "add", + 437, + 241, + "1/4" + ], + [ + "add", + 435, + 241, + "1/2" + ], + [ + "add", + 434, + 241, + "-1/4" + ], + [ + "add", + 433, + 241, + "1/4" + ], + [ + "add", + 414, + 241, + "-1/4" + ], + [ + "add", + 413, + 241, + "-1/4" + ], + [ + "add", + 410, + 241, + "1/4" + ], + [ + "add", + 409, + 241, + "1/4" + ], + [ + "add", + 406, + 241, + "-1/4" + ], + [ + "add", + 405, + 241, + "-1/4" + ], + [ + "add", + 403, + 241, + "1/2" + ], + [ + "add", + 402, + 241, + "-1/4" + ], + [ + "add", + 401, + 241, + "-1/4" + ], + [ + "add", + 400, + 241, + "1/4" + ], + [ + "add", + 383, + 241, + "-1/4" + ], + [ + "add", + 382, + 241, + "-1/4" + ], + [ + "add", + 372, + 241, + "-1/4" + ], + [ + "add", + 368, + 241, + "1/4" + ], + [ + "add", + 351, + 241, + "-1/4" + ], + [ + "add", + 350, + 241, + "-1/4" + ], + [ + "add", + 340, + 241, + "-1/4" + ], + [ + "add", + 336, + 241, + "1/4" + ], + [ + "add", + 319, + 241, + "-1/2" + ], + [ + "add", + 318, + 241, + "-1/4" + ], + [ + "add", + 312, + 241, + "-1/4" + ], + [ + "add", + 308, + 241, + "-1/4" + ], + [ + "add", + 306, + 241, + "1/4" + ], + [ + "add", + 287, + 241, + "-1/2" + ], + [ + "add", + 286, + 241, + "-1/4" + ], + [ + "add", + 280, + 241, + "-1/4" + ], + [ + "add", + 272, + 241, + "1/4" + ], + [ + "add", + 256, + 241, + "1/4" + ], + [ + "add", + 254, + 241, + "-1/4" + ], + [ + "add", + 253, + 241, + "-1/4" + ], + [ + "add", + 250, + 241, + "1/4" + ], + [ + "add", + 246, + 241, + "-1/4" + ], + [ + "add", + 245, + 241, + "-1/4" + ], + [ + "add", + 243, + 241, + "1/2" + ], + [ + "add", + 242, + 241, + "1/4" + ], + [ + "scale", + 241, + "-1/4" + ], + [ + "add", + 447, + 240, + "-1/2" + ], + [ + "add", + 446, + 240, + "1/4" + ], + [ + "add", + 445, + 240, + "1/4" + ], + [ + "add", + 443, + 240, + "-1/2" + ], + [ + "add", + 442, + 240, + "1/4" + ], + [ + "add", + 441, + 240, + "1/4" + ], + [ + "add", + 438, + 240, + "-1/4" + ], + [ + "add", + 437, + 240, + "1/4" + ], + [ + "add", + 434, + 240, + "-1/4" + ], + [ + "add", + 433, + 240, + "1/4" + ], + [ + "add", + 431, + 240, + "-1/2" + ], + [ + "add", + 430, + 240, + "1/4" + ], + [ + "add", + 429, + 240, + "1/4" + ], + [ + "add", + 427, + 240, + "-1/2" + ], + [ + "add", + 426, + 240, + "1/4" + ], + [ + "add", + 425, + 240, + "1/4" + ], + [ + "add", + 422, + 240, + "-1/4" + ], + [ + "add", + 421, + 240, + "1/4" + ], + [ + "add", + 418, + 240, + "-1/4" + ], + [ + "add", + 417, + 240, + "1/4" + ], + [ + "add", + 416, + 240, + "1/4" + ], + [ + "add", + 399, + 240, + "-3/4" + ], + [ + "add", + 398, + 240, + "1/4" + ], + [ + "add", + 388, + 240, + "1/4" + ], + [ + "add", + 384, + 240, + "-1/4" + ], + [ + "add", + 351, + 240, + "-3/4" + ], + [ + "add", + 350, + 240, + "1/4" + ], + [ + "add", + 340, + 240, + "1/4" + ], + [ + "add", + 336, + 240, + "-1/4" + ], + [ + "add", + 319, + 240, + "-1/2" + ], + [ + "add", + 318, + 240, + "1/4" + ], + [ + "add", + 312, + 240, + "1/4" + ], + [ + "add", + 308, + 240, + "1/4" + ], + [ + "add", + 306, + 240, + "-1/4" + ], + [ + "add", + 303, + 240, + "-1/2" + ], + [ + "add", + 302, + 240, + "1/4" + ], + [ + "add", + 296, + 240, + "1/4" + ], + [ + "add", + 288, + 240, + "-1/4" + ], + [ + "add", + 271, + 240, + "-1/2" + ], + [ + "add", + 270, + 240, + "1/4" + ], + [ + "add", + 269, + 240, + "1/4" + ], + [ + "add", + 266, + 240, + "1/4" + ], + [ + "add", + 262, + 240, + "-1/4" + ], + [ + "add", + 261, + 240, + "1/4" + ], + [ + "add", + 258, + 240, + "-1/4" + ], + [ + "add", + 257, + 240, + "1/4" + ], + [ + "scale", + 240, + "1/4" + ], + [ + "add", + 240, + 256, + "1" + ], + [ + "add", + 256, + 240, + "-1" + ], + [ + "add", + 240, + 256, + "1" + ], + [ + "scale", + 256, + "-1" + ], + [ + "add", + 229, + 239, + "-1" + ], + [ + "add", + 225, + 239, + "-1" + ], + [ + "add", + 225, + 238, + "-2" + ], + [ + "add", + 229, + 237, + "1" + ], + [ + "add", + 225, + 237, + "1" + ], + [ + "add", + 229, + 236, + "-1" + ], + [ + "add", + 225, + 236, + "1" + ], + [ + "add", + 229, + 235, + "1" + ], + [ + "add", + 225, + 235, + "1" + ], + [ + "add", + 229, + 234, + "1" + ], + [ + "add", + 225, + 234, + "1" + ], + [ + "add", + 229, + 232, + "-1" + ], + [ + "add", + 225, + 232, + "-1" + ], + [ + "add", + 225, + 231, + "2" + ], + [ + "add", + 227, + 230, + "-1" + ], + [ + "add", + 431, + 229, + "1/2" + ], + [ + "add", + 429, + 229, + "1/2" + ], + [ + "add", + 427, + 229, + "1/2" + ], + [ + "add", + 425, + 229, + "1/2" + ], + [ + "add", + 419, + 229, + "1/2" + ], + [ + "add", + 418, + 229, + "-1/2" + ], + [ + "add", + 417, + 229, + "1/2" + ], + [ + "add", + 415, + 229, + "1/2" + ], + [ + "add", + 413, + 229, + "1/2" + ], + [ + "add", + 411, + 229, + "1/2" + ], + [ + "add", + 409, + 229, + "1/2" + ], + [ + "add", + 403, + 229, + "1/2" + ], + [ + "add", + 402, + 229, + "-1/2" + ], + [ + "add", + 401, + 229, + "1/2" + ], + [ + "add", + 399, + 229, + "1/2" + ], + [ + "add", + 398, + 229, + "-1/2" + ], + [ + "add", + 388, + 229, + "-1/2" + ], + [ + "add", + 384, + 229, + "-1/2" + ], + [ + "add", + 383, + 229, + "1/2" + ], + [ + "add", + 382, + 229, + "-1/2" + ], + [ + "add", + 372, + 229, + "-1/2" + ], + [ + "add", + 368, + 229, + "-1/2" + ], + [ + "add", + 347, + 229, + "-1" + ], + [ + "add", + 335, + 229, + "2" + ], + [ + "add", + 332, + 229, + "-1" + ], + [ + "add", + 328, + 229, + "2" + ], + [ + "add", + 326, + 229, + "-1" + ], + [ + "add", + 319, + 229, + "1" + ], + [ + "add", + 318, + 229, + "-1/2" + ], + [ + "add", + 312, + 229, + "1/2" + ], + [ + "add", + 308, + 229, + "-1/2" + ], + [ + "add", + 306, + 229, + "-1/2" + ], + [ + "add", + 303, + 229, + "1" + ], + [ + "add", + 302, + 229, + "-1/2" + ], + [ + "add", + 296, + 229, + "1/2" + ], + [ + "add", + 288, + 229, + "-1/2" + ], + [ + "add", + 283, + 229, + "-1" + ], + [ + "add", + 276, + 229, + "1/2" + ], + [ + "add", + 271, + 229, + "1/2" + ], + [ + "add", + 270, + 229, + "-1/2" + ], + [ + "add", + 266, + 229, + "1/2" + ], + [ + "add", + 262, + 229, + "-1/2" + ], + [ + "add", + 261, + 229, + "-1/2" + ], + [ + "add", + 259, + 229, + "-1/2" + ], + [ + "add", + 258, + 229, + "-1/2" + ], + [ + "add", + 256, + 229, + "-1/2" + ], + [ + "add", + 255, + 229, + "1/2" + ], + [ + "add", + 254, + 229, + "-1/2" + ], + [ + "add", + 250, + 229, + "1/2" + ], + [ + "add", + 246, + 229, + "-1/2" + ], + [ + "add", + 245, + 229, + "-1/2" + ], + [ + "add", + 243, + 229, + "-1/2" + ], + [ + "add", + 242, + 229, + "-1/2" + ], + [ + "add", + 240, + 229, + "-1/2" + ], + [ + "add", + 239, + 229, + "1" + ], + [ + "add", + 238, + 229, + "-1" + ], + [ + "add", + 237, + 229, + "-1/2" + ], + [ + "add", + 234, + 229, + "1/2" + ], + [ + "add", + 227, + 229, + "-1" + ], + [ + "add", + 225, + 229, + "1" + ], + [ + "add", + 224, + 229, + "-1" + ], + [ + "scale", + 229, + "-1" + ], + [ + "add", + 335, + 227, + "2" + ], + [ + "add", + 332, + 227, + "-1" + ], + [ + "add", + 328, + 227, + "2" + ], + [ + "add", + 326, + 227, + "-1" + ], + [ + "add", + 319, + 227, + "1/2" + ], + [ + "add", + 318, + 227, + "-1/4" + ], + [ + "add", + 315, + 227, + "-1/2" + ], + [ + "add", + 312, + 227, + "1/4" + ], + [ + "add", + 308, + 227, + "-1/4" + ], + [ + "add", + 306, + 227, + "-1/4" + ], + [ + "add", + 303, + 227, + "1" + ], + [ + "add", + 302, + 227, + "-1/2" + ], + [ + "add", + 296, + 227, + "1/2" + ], + [ + "add", + 288, + 227, + "-1/2" + ], + [ + "add", + 287, + 227, + "1/2" + ], + [ + "add", + 286, + 227, + "-1/4" + ], + [ + "add", + 283, + 227, + "-1/2" + ], + [ + "add", + 280, + 227, + "1/4" + ], + [ + "add", + 276, + 227, + "1/4" + ], + [ + "add", + 272, + 227, + "-1/4" + ], + [ + "add", + 270, + 227, + "-1/4" + ], + [ + "add", + 269, + 227, + "-1/4" + ], + [ + "add", + 266, + 227, + "1/4" + ], + [ + "add", + 262, + 227, + "-1/4" + ], + [ + "add", + 261, + 227, + "-1/4" + ], + [ + "add", + 259, + 227, + "-1/2" + ], + [ + "add", + 258, + 227, + "-1/4" + ], + [ + "add", + 257, + 227, + "-1/4" + ], + [ + "add", + 256, + 227, + "-1/4" + ], + [ + "add", + 254, + 227, + "-1/4" + ], + [ + "add", + 253, + 227, + "-1/4" + ], + [ + "add", + 250, + 227, + "1/4" + ], + [ + "add", + 246, + 227, + "-1/4" + ], + [ + "add", + 245, + 227, + "-1/4" + ], + [ + "add", + 243, + 227, + "-1/2" + ], + [ + "add", + 242, + 227, + "-1/4" + ], + [ + "add", + 241, + 227, + "-1/4" + ], + [ + "add", + 240, + 227, + "-1/4" + ], + [ + "add", + 238, + 227, + "-1/4" + ], + [ + "add", + 237, + 227, + "-1/4" + ], + [ + "add", + 235, + 227, + "-1/2" + ], + [ + "add", + 234, + 227, + "1/4" + ], + [ + "add", + 233, + 227, + "-1/4" + ], + [ + "add", + 229, + 227, + "-1/4" + ], + [ + "scale", + 227, + "-1/4" + ], + [ + "add", + 430, + 225, + "-1/4" + ], + [ + "add", + 429, + 225, + "-1/4" + ], + [ + "add", + 427, + 225, + "-1/2" + ], + [ + "add", + 426, + 225, + "1/4" + ], + [ + "add", + 425, + 225, + "-1/4" + ], + [ + "add", + 422, + 225, + "-1/4" + ], + [ + "add", + 421, + 225, + "-1/4" + ], + [ + "add", + 419, + 225, + "-1/2" + ], + [ + "add", + 418, + 225, + "1/4" + ], + [ + "add", + 417, + 225, + "-1/4" + ], + [ + "add", + 416, + 225, + "-1/4" + ], + [ + "add", + 414, + 225, + "-1/4" + ], + [ + "add", + 413, + 225, + "-1/4" + ], + [ + "add", + 411, + 225, + "-1/2" + ], + [ + "add", + 410, + 225, + "1/4" + ], + [ + "add", + 409, + 225, + "-1/4" + ], + [ + "add", + 406, + 225, + "-1/4" + ], + [ + "add", + 405, + 225, + "-1/4" + ], + [ + "add", + 403, + 225, + "-1/2" + ], + [ + "add", + 402, + 225, + "1/4" + ], + [ + "add", + 401, + 225, + "-1/4" + ], + [ + "add", + 400, + 225, + "-1/4" + ], + [ + "add", + 399, + 225, + "-1/4" + ], + [ + "add", + 398, + 225, + "1/4" + ], + [ + "add", + 388, + 225, + "1/4" + ], + [ + "add", + 384, + 225, + "1/4" + ], + [ + "add", + 383, + 225, + "-1/4" + ], + [ + "add", + 382, + 225, + "1/4" + ], + [ + "add", + 379, + 225, + "1/2" + ], + [ + "add", + 372, + 225, + "1/4" + ], + [ + "add", + 368, + 225, + "1/4" + ], + [ + "add", + 347, + 225, + "1" + ], + [ + "add", + 287, + 225, + "1/2" + ], + [ + "add", + 286, + 225, + "-1/4" + ], + [ + "add", + 283, + 225, + "1/2" + ], + [ + "add", + 280, + 225, + "1/4" + ], + [ + "add", + 276, + 225, + "-1/2" + ], + [ + "add", + 272, + 225, + "-1/4" + ], + [ + "add", + 271, + 225, + "-1/2" + ], + [ + "add", + 270, + 225, + "1/4" + ], + [ + "add", + 269, + 225, + "-1/4" + ], + [ + "add", + 266, + 225, + "-1/4" + ], + [ + "add", + 262, + 225, + "1/4" + ], + [ + "add", + 261, + 225, + "1/4" + ], + [ + "add", + 258, + 225, + "1/4" + ], + [ + "add", + 257, + 225, + "-1/4" + ], + [ + "add", + 256, + 225, + "1/4" + ], + [ + "add", + 255, + 225, + "-1/2" + ], + [ + "add", + 254, + 225, + "1/4" + ], + [ + "add", + 253, + 225, + "-1/4" + ], + [ + "add", + 250, + 225, + "-1/4" + ], + [ + "add", + 246, + 225, + "1/4" + ], + [ + "add", + 245, + 225, + "1/4" + ], + [ + "add", + 242, + 225, + "1/4" + ], + [ + "add", + 241, + 225, + "-1/4" + ], + [ + "add", + 240, + 225, + "1/4" + ], + [ + "add", + 239, + 225, + "-1/2" + ], + [ + "add", + 238, + 225, + "1/2" + ], + [ + "add", + 234, + 225, + "-1/2" + ], + [ + "add", + 233, + 225, + "-1/2" + ], + [ + "add", + 229, + 225, + "1/2" + ], + [ + "add", + 227, + 225, + "-1/2" + ], + [ + "add", + 224, + 225, + "1" + ], + [ + "scale", + 225, + "-1/2" + ], + [ + "add", + 399, + 224, + "1/4" + ], + [ + "add", + 398, + 224, + "-1/4" + ], + [ + "add", + 388, + 224, + "-1/4" + ], + [ + "add", + 384, + 224, + "-1/4" + ], + [ + "add", + 383, + 224, + "1/4" + ], + [ + "add", + 382, + 224, + "-1/4" + ], + [ + "add", + 379, + 224, + "-1/2" + ], + [ + "add", + 372, + 224, + "-1/4" + ], + [ + "add", + 368, + 224, + "-1/4" + ], + [ + "add", + 367, + 224, + "1/4" + ], + [ + "add", + 366, + 224, + "-1/4" + ], + [ + "add", + 356, + 224, + "-1/4" + ], + [ + "add", + 352, + 224, + "-1/4" + ], + [ + "add", + 351, + 224, + "1/4" + ], + [ + "add", + 350, + 224, + "-1/4" + ], + [ + "add", + 347, + 224, + "-1/2" + ], + [ + "add", + 340, + 224, + "-1/4" + ], + [ + "add", + 336, + 224, + "-1/4" + ], + [ + "add", + 276, + 224, + "1/4" + ], + [ + "add", + 271, + 224, + "1/2" + ], + [ + "add", + 270, + 224, + "-1/4" + ], + [ + "add", + 269, + 224, + "1/4" + ], + [ + "add", + 266, + 224, + "1/4" + ], + [ + "add", + 262, + 224, + "-1/4" + ], + [ + "add", + 261, + 224, + "-1/4" + ], + [ + "add", + 258, + 224, + "-1/4" + ], + [ + "add", + 257, + 224, + "1/4" + ], + [ + "add", + 256, + 224, + "-1/4" + ], + [ + "add", + 255, + 224, + "1/2" + ], + [ + "add", + 254, + 224, + "-1/4" + ], + [ + "add", + 253, + 224, + "1/4" + ], + [ + "add", + 250, + 224, + "1/4" + ], + [ + "add", + 246, + 224, + "-1/4" + ], + [ + "add", + 245, + 224, + "-1/4" + ], + [ + "add", + 242, + 224, + "-1/4" + ], + [ + "add", + 241, + 224, + "1/4" + ], + [ + "add", + 240, + 224, + "-1/4" + ], + [ + "add", + 239, + 224, + "1/2" + ], + [ + "add", + 238, + 224, + "-1/4" + ], + [ + "add", + 237, + 224, + "1/4" + ], + [ + "add", + 234, + 224, + "1/4" + ], + [ + "add", + 233, + 224, + "1/4" + ], + [ + "add", + 229, + 224, + "-1/4" + ], + [ + "add", + 227, + 224, + "1/4" + ], + [ + "add", + 225, + 224, + "1/2" + ], + [ + "scale", + 224, + "-1/2" + ] + ], + "output_basis_program": [ + [ + "scale", + 224, + "-2" + ], + [ + "add", + 225, + 224, + "-1/2" + ], + [ + "add", + 227, + 224, + "-1/4" + ], + [ + "add", + 229, + 224, + "1/4" + ], + [ + "add", + 233, + 224, + "-1/4" + ], + [ + "add", + 234, + 224, + "-1/4" + ], + [ + "add", + 237, + 224, + "-1/4" + ], + [ + "add", + 238, + 224, + "1/4" + ], + [ + "add", + 239, + 224, + "-1/2" + ], + [ + "add", + 240, + 224, + "1/4" + ], + [ + "add", + 241, + 224, + "-1/4" + ], + [ + "add", + 242, + 224, + "1/4" + ], + [ + "add", + 245, + 224, + "1/4" + ], + [ + "add", + 246, + 224, + "1/4" + ], + [ + "add", + 250, + 224, + "-1/4" + ], + [ + "add", + 253, + 224, + "-1/4" + ], + [ + "add", + 254, + 224, + "1/4" + ], + [ + "add", + 255, + 224, + "-1/2" + ], + [ + "add", + 256, + 224, + "1/4" + ], + [ + "add", + 257, + 224, + "-1/4" + ], + [ + "add", + 258, + 224, + "1/4" + ], + [ + "add", + 261, + 224, + "1/4" + ], + [ + "add", + 262, + 224, + "1/4" + ], + [ + "add", + 266, + 224, + "-1/4" + ], + [ + "add", + 269, + 224, + "-1/4" + ], + [ + "add", + 270, + 224, + "1/4" + ], + [ + "add", + 271, + 224, + "-1/2" + ], + [ + "add", + 276, + 224, + "-1/4" + ], + [ + "add", + 336, + 224, + "1/4" + ], + [ + "add", + 340, + 224, + "1/4" + ], + [ + "add", + 347, + 224, + "1/2" + ], + [ + "add", + 350, + 224, + "1/4" + ], + [ + "add", + 351, + 224, + "-1/4" + ], + [ + "add", + 352, + 224, + "1/4" + ], + [ + "add", + 356, + 224, + "1/4" + ], + [ + "add", + 366, + 224, + "1/4" + ], + [ + "add", + 367, + 224, + "-1/4" + ], + [ + "add", + 368, + 224, + "1/4" + ], + [ + "add", + 372, + 224, + "1/4" + ], + [ + "add", + 379, + 224, + "1/2" + ], + [ + "add", + 382, + 224, + "1/4" + ], + [ + "add", + 383, + 224, + "-1/4" + ], + [ + "add", + 384, + 224, + "1/4" + ], + [ + "add", + 388, + 224, + "1/4" + ], + [ + "add", + 398, + 224, + "1/4" + ], + [ + "add", + 399, + 224, + "-1/4" + ], + [ + "scale", + 225, + "-2" + ], + [ + "add", + 224, + 225, + "-1" + ], + [ + "add", + 227, + 225, + "1/2" + ], + [ + "add", + 229, + 225, + "-1/2" + ], + [ + "add", + 233, + 225, + "1/2" + ], + [ + "add", + 234, + 225, + "1/2" + ], + [ + "add", + 238, + 225, + "-1/2" + ], + [ + "add", + 239, + 225, + "1/2" + ], + [ + "add", + 240, + 225, + "-1/4" + ], + [ + "add", + 241, + 225, + "1/4" + ], + [ + "add", + 242, + 225, + "-1/4" + ], + [ + "add", + 245, + 225, + "-1/4" + ], + [ + "add", + 246, + 225, + "-1/4" + ], + [ + "add", + 250, + 225, + "1/4" + ], + [ + "add", + 253, + 225, + "1/4" + ], + [ + "add", + 254, + 225, + "-1/4" + ], + [ + "add", + 255, + 225, + "1/2" + ], + [ + "add", + 256, + 225, + "-1/4" + ], + [ + "add", + 257, + 225, + "1/4" + ], + [ + "add", + 258, + 225, + "-1/4" + ], + [ + "add", + 261, + 225, + "-1/4" + ], + [ + "add", + 262, + 225, + "-1/4" + ], + [ + "add", + 266, + 225, + "1/4" + ], + [ + "add", + 269, + 225, + "1/4" + ], + [ + "add", + 270, + 225, + "-1/4" + ], + [ + "add", + 271, + 225, + "1/2" + ], + [ + "add", + 272, + 225, + "1/4" + ], + [ + "add", + 276, + 225, + "1/2" + ], + [ + "add", + 280, + 225, + "-1/4" + ], + [ + "add", + 283, + 225, + "-1/2" + ], + [ + "add", + 286, + 225, + "1/4" + ], + [ + "add", + 287, + 225, + "-1/2" + ], + [ + "add", + 347, + 225, + "-1" + ], + [ + "add", + 368, + 225, + "-1/4" + ], + [ + "add", + 372, + 225, + "-1/4" + ], + [ + "add", + 379, + 225, + "-1/2" + ], + [ + "add", + 382, + 225, + "-1/4" + ], + [ + "add", + 383, + 225, + "1/4" + ], + [ + "add", + 384, + 225, + "-1/4" + ], + [ + "add", + 388, + 225, + "-1/4" + ], + [ + "add", + 398, + 225, + "-1/4" + ], + [ + "add", + 399, + 225, + "1/4" + ], + [ + "add", + 400, + 225, + "1/4" + ], + [ + "add", + 401, + 225, + "1/4" + ], + [ + "add", + 402, + 225, + "-1/4" + ], + [ + "add", + 403, + 225, + "1/2" + ], + [ + "add", + 405, + 225, + "1/4" + ], + [ + "add", + 406, + 225, + "1/4" + ], + [ + "add", + 409, + 225, + "1/4" + ], + [ + "add", + 410, + 225, + "-1/4" + ], + [ + "add", + 411, + 225, + "1/2" + ], + [ + "add", + 413, + 225, + "1/4" + ], + [ + "add", + 414, + 225, + "1/4" + ], + [ + "add", + 416, + 225, + "1/4" + ], + [ + "add", + 417, + 225, + "1/4" + ], + [ + "add", + 418, + 225, + "-1/4" + ], + [ + "add", + 419, + 225, + "1/2" + ], + [ + "add", + 421, + 225, + "1/4" + ], + [ + "add", + 422, + 225, + "1/4" + ], + [ + "add", + 425, + 225, + "1/4" + ], + [ + "add", + 426, + 225, + "-1/4" + ], + [ + "add", + 427, + 225, + "1/2" + ], + [ + "add", + 429, + 225, + "1/4" + ], + [ + "add", + 430, + 225, + "1/4" + ], + [ + "scale", + 227, + "-4" + ], + [ + "add", + 229, + 227, + "1/4" + ], + [ + "add", + 233, + 227, + "1/4" + ], + [ + "add", + 234, + 227, + "-1/4" + ], + [ + "add", + 235, + 227, + "1/2" + ], + [ + "add", + 237, + 227, + "1/4" + ], + [ + "add", + 238, + 227, + "1/4" + ], + [ + "add", + 240, + 227, + "1/4" + ], + [ + "add", + 241, + 227, + "1/4" + ], + [ + "add", + 242, + 227, + "1/4" + ], + [ + "add", + 243, + 227, + "1/2" + ], + [ + "add", + 245, + 227, + "1/4" + ], + [ + "add", + 246, + 227, + "1/4" + ], + [ + "add", + 250, + 227, + "-1/4" + ], + [ + "add", + 253, + 227, + "1/4" + ], + [ + "add", + 254, + 227, + "1/4" + ], + [ + "add", + 256, + 227, + "1/4" + ], + [ + "add", + 257, + 227, + "1/4" + ], + [ + "add", + 258, + 227, + "1/4" + ], + [ + "add", + 259, + 227, + "1/2" + ], + [ + "add", + 261, + 227, + "1/4" + ], + [ + "add", + 262, + 227, + "1/4" + ], + [ + "add", + 266, + 227, + "-1/4" + ], + [ + "add", + 269, + 227, + "1/4" + ], + [ + "add", + 270, + 227, + "1/4" + ], + [ + "add", + 272, + 227, + "1/4" + ], + [ + "add", + 276, + 227, + "-1/4" + ], + [ + "add", + 280, + 227, + "-1/4" + ], + [ + "add", + 283, + 227, + "1/2" + ], + [ + "add", + 286, + 227, + "1/4" + ], + [ + "add", + 287, + 227, + "-1/2" + ], + [ + "add", + 288, + 227, + "1/2" + ], + [ + "add", + 296, + 227, + "-1/2" + ], + [ + "add", + 302, + 227, + "1/2" + ], + [ + "add", + 303, + 227, + "-1" + ], + [ + "add", + 306, + 227, + "1/4" + ], + [ + "add", + 308, + 227, + "1/4" + ], + [ + "add", + 312, + 227, + "-1/4" + ], + [ + "add", + 315, + 227, + "1/2" + ], + [ + "add", + 318, + 227, + "1/4" + ], + [ + "add", + 319, + 227, + "-1/2" + ], + [ + "add", + 326, + 227, + "1" + ], + [ + "add", + 328, + 227, + "-2" + ], + [ + "add", + 332, + 227, + "1" + ], + [ + "add", + 335, + 227, + "-2" + ], + [ + "scale", + 229, + "-1" + ], + [ + "add", + 224, + 229, + "1" + ], + [ + "add", + 225, + 229, + "-1" + ], + [ + "add", + 227, + 229, + "1" + ], + [ + "add", + 234, + 229, + "-1/2" + ], + [ + "add", + 237, + 229, + "1/2" + ], + [ + "add", + 238, + 229, + "1" + ], + [ + "add", + 239, + 229, + "-1" + ], + [ + "add", + 240, + 229, + "1/2" + ], + [ + "add", + 242, + 229, + "1/2" + ], + [ + "add", + 243, + 229, + "1/2" + ], + [ + "add", + 245, + 229, + "1/2" + ], + [ + "add", + 246, + 229, + "1/2" + ], + [ + "add", + 250, + 229, + "-1/2" + ], + [ + "add", + 254, + 229, + "1/2" + ], + [ + "add", + 255, + 229, + "-1/2" + ], + [ + "add", + 256, + 229, + "1/2" + ], + [ + "add", + 258, + 229, + "1/2" + ], + [ + "add", + 259, + 229, + "1/2" + ], + [ + "add", + 261, + 229, + "1/2" + ], + [ + "add", + 262, + 229, + "1/2" + ], + [ + "add", + 266, + 229, + "-1/2" + ], + [ + "add", + 270, + 229, + "1/2" + ], + [ + "add", + 271, + 229, + "-1/2" + ], + [ + "add", + 276, + 229, + "-1/2" + ], + [ + "add", + 283, + 229, + "1" + ], + [ + "add", + 288, + 229, + "1/2" + ], + [ + "add", + 296, + 229, + "-1/2" + ], + [ + "add", + 302, + 229, + "1/2" + ], + [ + "add", + 303, + 229, + "-1" + ], + [ + "add", + 306, + 229, + "1/2" + ], + [ + "add", + 308, + 229, + "1/2" + ], + [ + "add", + 312, + 229, + "-1/2" + ], + [ + "add", + 318, + 229, + "1/2" + ], + [ + "add", + 319, + 229, + "-1" + ], + [ + "add", + 326, + 229, + "1" + ], + [ + "add", + 328, + 229, + "-2" + ], + [ + "add", + 332, + 229, + "1" + ], + [ + "add", + 335, + 229, + "-2" + ], + [ + "add", + 347, + 229, + "1" + ], + [ + "add", + 368, + 229, + "1/2" + ], + [ + "add", + 372, + 229, + "1/2" + ], + [ + "add", + 382, + 229, + "1/2" + ], + [ + "add", + 383, + 229, + "-1/2" + ], + [ + "add", + 384, + 229, + "1/2" + ], + [ + "add", + 388, + 229, + "1/2" + ], + [ + "add", + 398, + 229, + "1/2" + ], + [ + "add", + 399, + 229, + "-1/2" + ], + [ + "add", + 401, + 229, + "-1/2" + ], + [ + "add", + 402, + 229, + "1/2" + ], + [ + "add", + 403, + 229, + "-1/2" + ], + [ + "add", + 409, + 229, + "-1/2" + ], + [ + "add", + 411, + 229, + "-1/2" + ], + [ + "add", + 413, + 229, + "-1/2" + ], + [ + "add", + 415, + 229, + "-1/2" + ], + [ + "add", + 417, + 229, + "-1/2" + ], + [ + "add", + 418, + 229, + "1/2" + ], + [ + "add", + 419, + 229, + "-1/2" + ], + [ + "add", + 425, + 229, + "-1/2" + ], + [ + "add", + 427, + 229, + "-1/2" + ], + [ + "add", + 429, + 229, + "-1/2" + ], + [ + "add", + 431, + 229, + "-1/2" + ], + [ + "add", + 227, + 230, + "1" + ], + [ + "add", + 225, + 231, + "-2" + ], + [ + "add", + 225, + 232, + "1" + ], + [ + "add", + 229, + 232, + "1" + ], + [ + "add", + 225, + 234, + "-1" + ], + [ + "add", + 229, + 234, + "-1" + ], + [ + "add", + 225, + 235, + "-1" + ], + [ + "add", + 229, + 235, + "-1" + ], + [ + "add", + 225, + 236, + "-1" + ], + [ + "add", + 229, + 236, + "1" + ], + [ + "add", + 225, + 237, + "-1" + ], + [ + "add", + 229, + 237, + "-1" + ], + [ + "add", + 225, + 238, + "2" + ], + [ + "add", + 225, + 239, + "1" + ], + [ + "add", + 229, + 239, + "1" + ], + [ + "add", + 240, + 256, + "1" + ], + [ + "add", + 256, + 240, + "-1" + ], + [ + "add", + 240, + 256, + "1" + ], + [ + "scale", + 256, + "-1" + ], + [ + "scale", + 240, + "4" + ], + [ + "add", + 257, + 240, + "-1/4" + ], + [ + "add", + 258, + 240, + "1/4" + ], + [ + "add", + 261, + 240, + "-1/4" + ], + [ + "add", + 262, + 240, + "1/4" + ], + [ + "add", + 266, + 240, + "-1/4" + ], + [ + "add", + 269, + 240, + "-1/4" + ], + [ + "add", + 270, + 240, + "-1/4" + ], + [ + "add", + 271, + 240, + "1/2" + ], + [ + "add", + 288, + 240, + "1/4" + ], + [ + "add", + 296, + 240, + "-1/4" + ], + [ + "add", + 302, + 240, + "-1/4" + ], + [ + "add", + 303, + 240, + "1/2" + ], + [ + "add", + 306, + 240, + "1/4" + ], + [ + "add", + 308, + 240, + "-1/4" + ], + [ + "add", + 312, + 240, + "-1/4" + ], + [ + "add", + 318, + 240, + "-1/4" + ], + [ + "add", + 319, + 240, + "1/2" + ], + [ + "add", + 336, + 240, + "1/4" + ], + [ + "add", + 340, + 240, + "-1/4" + ], + [ + "add", + 350, + 240, + "-1/4" + ], + [ + "add", + 351, + 240, + "3/4" + ], + [ + "add", + 384, + 240, + "1/4" + ], + [ + "add", + 388, + 240, + "-1/4" + ], + [ + "add", + 398, + 240, + "-1/4" + ], + [ + "add", + 399, + 240, + "3/4" + ], + [ + "add", + 416, + 240, + "-1/4" + ], + [ + "add", + 417, + 240, + "-1/4" + ], + [ + "add", + 418, + 240, + "1/4" + ], + [ + "add", + 421, + 240, + "-1/4" + ], + [ + "add", + 422, + 240, + "1/4" + ], + [ + "add", + 425, + 240, + "-1/4" + ], + [ + "add", + 426, + 240, + "-1/4" + ], + [ + "add", + 427, + 240, + "1/2" + ], + [ + "add", + 429, + 240, + "-1/4" + ], + [ + "add", + 430, + 240, + "-1/4" + ], + [ + "add", + 431, + 240, + "1/2" + ], + [ + "add", + 433, + 240, + "-1/4" + ], + [ + "add", + 434, + 240, + "1/4" + ], + [ + "add", + 437, + 240, + "-1/4" + ], + [ + "add", + 438, + 240, + "1/4" + ], + [ + "add", + 441, + 240, + "-1/4" + ], + [ + "add", + 442, + 240, + "-1/4" + ], + [ + "add", + 443, + 240, + "1/2" + ], + [ + "add", + 445, + 240, + "-1/4" + ], + [ + "add", + 446, + 240, + "-1/4" + ], + [ + "add", + 447, + 240, + "1/2" + ], + [ + "scale", + 241, + "-4" + ], + [ + "add", + 242, + 241, + "-1/4" + ], + [ + "add", + 243, + 241, + "-1/2" + ], + [ + "add", + 245, + 241, + "1/4" + ], + [ + "add", + 246, + 241, + "1/4" + ], + [ + "add", + 250, + 241, + "-1/4" + ], + [ + "add", + 253, + 241, + "1/4" + ], + [ + "add", + 254, + 241, + "1/4" + ], + [ + "add", + 256, + 241, + "-1/4" + ], + [ + "add", + 272, + 241, + "-1/4" + ], + [ + "add", + 280, + 241, + "1/4" + ], + [ + "add", + 286, + 241, + "1/4" + ], + [ + "add", + 287, + 241, + "1/2" + ], + [ + "add", + 306, + 241, + "-1/4" + ], + [ + "add", + 308, + 241, + "1/4" + ], + [ + "add", + 312, + 241, + "1/4" + ], + [ + "add", + 318, + 241, + "1/4" + ], + [ + "add", + 319, + 241, + "1/2" + ], + [ + "add", + 336, + 241, + "-1/4" + ], + [ + "add", + 340, + 241, + "1/4" + ], + [ + "add", + 350, + 241, + "1/4" + ], + [ + "add", + 351, + 241, + "1/4" + ], + [ + "add", + 368, + 241, + "-1/4" + ], + [ + "add", + 372, + 241, + "1/4" + ], + [ + "add", + 382, + 241, + "1/4" + ], + [ + "add", + 383, + 241, + "1/4" + ], + [ + "add", + 400, + 241, + "-1/4" + ], + [ + "add", + 401, + 241, + "1/4" + ], + [ + "add", + 402, + 241, + "1/4" + ], + [ + "add", + 403, + 241, + "-1/2" + ], + [ + "add", + 405, + 241, + "1/4" + ], + [ + "add", + 406, + 241, + "1/4" + ], + [ + "add", + 409, + 241, + "-1/4" + ], + [ + "add", + 410, + 241, + "-1/4" + ], + [ + "add", + 413, + 241, + "1/4" + ], + [ + "add", + 414, + 241, + "1/4" + ], + [ + "add", + 433, + 241, + "-1/4" + ], + [ + "add", + 434, + 241, + "1/4" + ], + [ + "add", + 435, + 241, + "-1/2" + ], + [ + "add", + 437, + 241, + "-1/4" + ], + [ + "add", + 438, + 241, + "-1/4" + ], + [ + "add", + 441, + 241, + "-1/4" + ], + [ + "add", + 442, + 241, + "1/4" + ], + [ + "add", + 443, + 241, + "-1/2" + ], + [ + "add", + 445, + 241, + "-1/4" + ], + [ + "add", + 446, + 241, + "-1/4" + ], + [ + "scale", + 243, + "2" + ], + [ + "add", + 246, + 243, + "-1/2" + ], + [ + "add", + 250, + 243, + "1/2" + ], + [ + "add", + 255, + 243, + "-1/2" + ], + [ + "add", + 256, + 243, + "1/2" + ], + [ + "add", + 272, + 243, + "1/4" + ], + [ + "add", + 280, + 243, + "-1/4" + ], + [ + "add", + 286, + 243, + "-1/4" + ], + [ + "add", + 287, + 243, + "-1/2" + ], + [ + "add", + 288, + 243, + "1/4" + ], + [ + "add", + 296, + 243, + "-1/4" + ], + [ + "add", + 302, + 243, + "-1/4" + ], + [ + "add", + 303, + 243, + "-1/2" + ], + [ + "add", + 306, + 243, + "1/4" + ], + [ + "add", + 308, + 243, + "-1/4" + ], + [ + "add", + 312, + 243, + "-1/4" + ], + [ + "add", + 318, + 243, + "-1/4" + ], + [ + "add", + 319, + 243, + "-1/2" + ], + [ + "add", + 324, + 243, + "-1/2" + ], + [ + "add", + 326, + 243, + "1/2" + ], + [ + "add", + 328, + 243, + "-1" + ], + [ + "add", + 332, + 243, + "1/2" + ], + [ + "add", + 334, + 243, + "-1/2" + ], + [ + "add", + 335, + 243, + "-1" + ], + [ + "add", + 336, + 243, + "1/4" + ], + [ + "add", + 340, + 243, + "-1/4" + ], + [ + "add", + 350, + 243, + "-1/4" + ], + [ + "add", + 351, + 243, + "-1/4" + ], + [ + "add", + 352, + 243, + "1/4" + ], + [ + "add", + 356, + 243, + "-1/4" + ], + [ + "add", + 366, + 243, + "-1/4" + ], + [ + "add", + 367, + 243, + "-1/4" + ], + [ + "add", + 368, + 243, + "1/4" + ], + [ + "add", + 372, + 243, + "-1/4" + ], + [ + "add", + 382, + 243, + "-1/4" + ], + [ + "add", + 383, + 243, + "-1/4" + ], + [ + "add", + 384, + 243, + "1/4" + ], + [ + "add", + 388, + 243, + "-1/4" + ], + [ + "add", + 398, + 243, + "-1/4" + ], + [ + "add", + 399, + 243, + "-1/4" + ], + [ + "add", + 400, + 243, + "1/2" + ], + [ + "add", + 402, + 243, + "-1/2" + ], + [ + "add", + 403, + 243, + "1/2" + ], + [ + "add", + 406, + 243, + "-1/2" + ], + [ + "add", + 409, + 243, + "1/2" + ], + [ + "add", + 410, + 243, + "1/2" + ], + [ + "add", + 411, + 243, + "-1/2" + ], + [ + "add", + 415, + 243, + "-1/2" + ], + [ + "add", + 432, + 243, + "1/2" + ], + [ + "add", + 435, + 243, + "1/2" + ], + [ + "add", + 437, + 243, + "1/2" + ], + [ + "add", + 438, + 243, + "1/2" + ], + [ + "add", + 442, + 243, + "-1/2" + ], + [ + "add", + 443, + 243, + "1/2" + ], + [ + "add", + 446, + 243, + "1/2" + ], + [ + "add", + 447, + 243, + "-1/2" + ], + [ + "add", + 241, + 245, + "-2" + ], + [ + "add", + 243, + 245, + "1" + ], + [ + "add", + 246, + 245, + "-1" + ], + [ + "add", + 250, + 245, + "1" + ], + [ + "add", + 255, + 245, + "-1" + ], + [ + "add", + 256, + 245, + "1" + ], + [ + "add", + 272, + 245, + "1/2" + ], + [ + "add", + 280, + 245, + "-1/2" + ], + [ + "add", + 286, + 245, + "-1/2" + ], + [ + "add", + 287, + 245, + "-1" + ], + [ + "add", + 288, + 245, + "1/2" + ], + [ + "add", + 296, + 245, + "-1/2" + ], + [ + "add", + 302, + 245, + "-1/2" + ], + [ + "add", + 303, + 245, + "-1" + ], + [ + "add", + 306, + 245, + "1/2" + ], + [ + "add", + 308, + 245, + "-1/2" + ], + [ + "add", + 312, + 245, + "-1/2" + ], + [ + "add", + 318, + 245, + "-1/2" + ], + [ + "add", + 319, + 245, + "-1" + ], + [ + "add", + 324, + 245, + "-1" + ], + [ + "add", + 326, + 245, + "1" + ], + [ + "add", + 328, + 245, + "-2" + ], + [ + "add", + 332, + 245, + "1" + ], + [ + "add", + 334, + 245, + "-1" + ], + [ + "add", + 335, + 245, + "-2" + ], + [ + "add", + 336, + 245, + "1/2" + ], + [ + "add", + 340, + 245, + "-1/2" + ], + [ + "add", + 350, + 245, + "-1/2" + ], + [ + "add", + 351, + 245, + "-1/2" + ], + [ + "add", + 352, + 245, + "1/2" + ], + [ + "add", + 356, + 245, + "-1/2" + ], + [ + "add", + 366, + 245, + "-1/2" + ], + [ + "add", + 367, + 245, + "-1/2" + ], + [ + "add", + 368, + 245, + "1/2" + ], + [ + "add", + 372, + 245, + "-1/2" + ], + [ + "add", + 382, + 245, + "-1/2" + ], + [ + "add", + 383, + 245, + "-1/2" + ], + [ + "add", + 384, + 245, + "1/2" + ], + [ + "add", + 388, + 245, + "-1/2" + ], + [ + "add", + 398, + 245, + "-1/2" + ], + [ + "add", + 399, + 245, + "-1/2" + ], + [ + "add", + 400, + 245, + "1" + ], + [ + "add", + 402, + 245, + "-1" + ], + [ + "add", + 403, + 245, + "1" + ], + [ + "add", + 406, + 245, + "-1" + ], + [ + "add", + 409, + 245, + "1" + ], + [ + "add", + 410, + 245, + "1" + ], + [ + "add", + 411, + 245, + "-1" + ], + [ + "add", + 415, + 245, + "-1" + ], + [ + "add", + 432, + 245, + "1" + ], + [ + "add", + 435, + 245, + "1" + ], + [ + "add", + 437, + 245, + "1" + ], + [ + "add", + 438, + 245, + "1" + ], + [ + "add", + 442, + 245, + "-1" + ], + [ + "add", + 443, + 245, + "1" + ], + [ + "add", + 446, + 245, + "1" + ], + [ + "add", + 447, + 245, + "-1" + ], + [ + "add", + 241, + 247, + "2" + ], + [ + "add", + 243, + 247, + "-1" + ], + [ + "add", + 246, + 247, + "1" + ], + [ + "add", + 250, + 247, + "-1" + ], + [ + "add", + 255, + 247, + "1" + ], + [ + "add", + 256, + 247, + "-1" + ], + [ + "add", + 272, + 247, + "-1/2" + ], + [ + "add", + 280, + 247, + "1/2" + ], + [ + "add", + 286, + 247, + "1/2" + ], + [ + "add", + 287, + 247, + "1" + ], + [ + "add", + 288, + 247, + "-1/2" + ], + [ + "add", + 296, + 247, + "1/2" + ], + [ + "add", + 302, + 247, + "1/2" + ], + [ + "add", + 303, + 247, + "1" + ], + [ + "add", + 306, + 247, + "-1/2" + ], + [ + "add", + 308, + 247, + "1/2" + ], + [ + "add", + 312, + 247, + "1/2" + ], + [ + "add", + 318, + 247, + "1/2" + ], + [ + "add", + 319, + 247, + "1" + ], + [ + "add", + 324, + 247, + "1" + ], + [ + "add", + 326, + 247, + "-1" + ], + [ + "add", + 328, + 247, + "2" + ], + [ + "add", + 332, + 247, + "-1" + ], + [ + "add", + 334, + 247, + "1" + ], + [ + "add", + 335, + 247, + "2" + ], + [ + "add", + 336, + 247, + "-1/2" + ], + [ + "add", + 340, + 247, + "1/2" + ], + [ + "add", + 350, + 247, + "1/2" + ], + [ + "add", + 351, + 247, + "1/2" + ], + [ + "add", + 352, + 247, + "-1/2" + ], + [ + "add", + 356, + 247, + "1/2" + ], + [ + "add", + 366, + 247, + "1/2" + ], + [ + "add", + 367, + 247, + "1/2" + ], + [ + "add", + 368, + 247, + "-1/2" + ], + [ + "add", + 372, + 247, + "1/2" + ], + [ + "add", + 382, + 247, + "1/2" + ], + [ + "add", + 383, + 247, + "1/2" + ], + [ + "add", + 384, + 247, + "-1/2" + ], + [ + "add", + 388, + 247, + "1/2" + ], + [ + "add", + 398, + 247, + "1/2" + ], + [ + "add", + 399, + 247, + "1/2" + ], + [ + "add", + 400, + 247, + "-1" + ], + [ + "add", + 402, + 247, + "1" + ], + [ + "add", + 403, + 247, + "-1" + ], + [ + "add", + 406, + 247, + "1" + ], + [ + "add", + 409, + 247, + "-1" + ], + [ + "add", + 410, + 247, + "-1" + ], + [ + "add", + 411, + 247, + "1" + ], + [ + "add", + 415, + 247, + "1" + ], + [ + "add", + 432, + 247, + "-1" + ], + [ + "add", + 435, + 247, + "-1" + ], + [ + "add", + 437, + 247, + "-1" + ], + [ + "add", + 438, + 247, + "-1" + ], + [ + "add", + 442, + 247, + "1" + ], + [ + "add", + 443, + 247, + "-1" + ], + [ + "add", + 446, + 247, + "-1" + ], + [ + "add", + 447, + 247, + "1" + ], + [ + "add", + 241, + 252, + "2" + ], + [ + "add", + 243, + 252, + "-1" + ], + [ + "add", + 246, + 252, + "1" + ], + [ + "add", + 250, + 252, + "-1" + ], + [ + "add", + 255, + 252, + "1" + ], + [ + "add", + 256, + 252, + "-1" + ], + [ + "add", + 272, + 252, + "-1/2" + ], + [ + "add", + 280, + 252, + "1/2" + ], + [ + "add", + 286, + 252, + "1/2" + ], + [ + "add", + 287, + 252, + "1" + ], + [ + "add", + 288, + 252, + "-1/2" + ], + [ + "add", + 296, + 252, + "1/2" + ], + [ + "add", + 302, + 252, + "1/2" + ], + [ + "add", + 303, + 252, + "1" + ], + [ + "add", + 306, + 252, + "-1/2" + ], + [ + "add", + 308, + 252, + "1/2" + ], + [ + "add", + 312, + 252, + "1/2" + ], + [ + "add", + 318, + 252, + "1/2" + ], + [ + "add", + 319, + 252, + "1" + ], + [ + "add", + 324, + 252, + "1" + ], + [ + "add", + 326, + 252, + "-1" + ], + [ + "add", + 328, + 252, + "2" + ], + [ + "add", + 332, + 252, + "-1" + ], + [ + "add", + 334, + 252, + "1" + ], + [ + "add", + 335, + 252, + "2" + ], + [ + "add", + 336, + 252, + "-1/2" + ], + [ + "add", + 340, + 252, + "1/2" + ], + [ + "add", + 350, + 252, + "1/2" + ], + [ + "add", + 351, + 252, + "1/2" + ], + [ + "add", + 352, + 252, + "-1/2" + ], + [ + "add", + 356, + 252, + "1/2" + ], + [ + "add", + 366, + 252, + "1/2" + ], + [ + "add", + 367, + 252, + "1/2" + ], + [ + "add", + 368, + 252, + "-1/2" + ], + [ + "add", + 372, + 252, + "1/2" + ], + [ + "add", + 382, + 252, + "1/2" + ], + [ + "add", + 383, + 252, + "1/2" + ], + [ + "add", + 384, + 252, + "-1/2" + ], + [ + "add", + 388, + 252, + "1/2" + ], + [ + "add", + 398, + 252, + "1/2" + ], + [ + "add", + 399, + 252, + "1/2" + ], + [ + "add", + 400, + 252, + "-1" + ], + [ + "add", + 402, + 252, + "1" + ], + [ + "add", + 403, + 252, + "-1" + ], + [ + "add", + 406, + 252, + "1" + ], + [ + "add", + 409, + 252, + "-1" + ], + [ + "add", + 410, + 252, + "-1" + ], + [ + "add", + 411, + 252, + "1" + ], + [ + "add", + 415, + 252, + "1" + ], + [ + "add", + 432, + 252, + "-1" + ], + [ + "add", + 435, + 252, + "-1" + ], + [ + "add", + 437, + 252, + "-1" + ], + [ + "add", + 438, + 252, + "-1" + ], + [ + "add", + 442, + 252, + "1" + ], + [ + "add", + 443, + 252, + "-1" + ], + [ + "add", + 446, + 252, + "-1" + ], + [ + "add", + 447, + 252, + "1" + ], + [ + "add", + 243, + 253, + "1" + ], + [ + "add", + 246, + 253, + "-1" + ], + [ + "add", + 250, + 253, + "1" + ], + [ + "add", + 255, + 253, + "-1" + ], + [ + "add", + 256, + 253, + "1" + ], + [ + "add", + 272, + 253, + "1/2" + ], + [ + "add", + 280, + 253, + "-1/2" + ], + [ + "add", + 286, + 253, + "-1/2" + ], + [ + "add", + 287, + 253, + "-1" + ], + [ + "add", + 288, + 253, + "1/2" + ], + [ + "add", + 296, + 253, + "-1/2" + ], + [ + "add", + 302, + 253, + "-1/2" + ], + [ + "add", + 303, + 253, + "-1" + ], + [ + "add", + 306, + 253, + "1/2" + ], + [ + "add", + 308, + 253, + "-1/2" + ], + [ + "add", + 312, + 253, + "-1/2" + ], + [ + "add", + 318, + 253, + "-1/2" + ], + [ + "add", + 319, + 253, + "-1" + ], + [ + "add", + 324, + 253, + "-1" + ], + [ + "add", + 326, + 253, + "1" + ], + [ + "add", + 328, + 253, + "-2" + ], + [ + "add", + 332, + 253, + "1" + ], + [ + "add", + 334, + 253, + "-1" + ], + [ + "add", + 335, + 253, + "-2" + ], + [ + "add", + 336, + 253, + "1/2" + ], + [ + "add", + 340, + 253, + "-1/2" + ], + [ + "add", + 350, + 253, + "-1/2" + ], + [ + "add", + 351, + 253, + "-1/2" + ], + [ + "add", + 352, + 253, + "1/2" + ], + [ + "add", + 356, + 253, + "-1/2" + ], + [ + "add", + 366, + 253, + "-1/2" + ], + [ + "add", + 367, + 253, + "-1/2" + ], + [ + "add", + 368, + 253, + "1/2" + ], + [ + "add", + 372, + 253, + "-1/2" + ], + [ + "add", + 382, + 253, + "-1/2" + ], + [ + "add", + 383, + 253, + "-1/2" + ], + [ + "add", + 384, + 253, + "1/2" + ], + [ + "add", + 388, + 253, + "-1/2" + ], + [ + "add", + 398, + 253, + "-1/2" + ], + [ + "add", + 399, + 253, + "-1/2" + ], + [ + "add", + 400, + 253, + "1" + ], + [ + "add", + 402, + 253, + "-1" + ], + [ + "add", + 403, + 253, + "1" + ], + [ + "add", + 406, + 253, + "-1" + ], + [ + "add", + 409, + 253, + "1" + ], + [ + "add", + 410, + 253, + "1" + ], + [ + "add", + 411, + 253, + "-1" + ], + [ + "add", + 415, + 253, + "-1" + ], + [ + "add", + 432, + 253, + "1" + ], + [ + "add", + 435, + 253, + "1" + ], + [ + "add", + 437, + 253, + "1" + ], + [ + "add", + 438, + 253, + "1" + ], + [ + "add", + 442, + 253, + "-1" + ], + [ + "add", + 443, + 253, + "1" + ], + [ + "add", + 446, + 253, + "1" + ], + [ + "add", + 447, + 253, + "-1" + ], + [ + "add", + 241, + 254, + "-2" + ], + [ + "add", + 243, + 254, + "1" + ], + [ + "add", + 246, + 254, + "-1" + ], + [ + "add", + 250, + 254, + "1" + ], + [ + "add", + 255, + 254, + "-1" + ], + [ + "add", + 256, + 254, + "1" + ], + [ + "add", + 272, + 254, + "1/2" + ], + [ + "add", + 280, + 254, + "-1/2" + ], + [ + "add", + 286, + 254, + "-1/2" + ], + [ + "add", + 287, + 254, + "-1" + ], + [ + "add", + 288, + 254, + "1/2" + ], + [ + "add", + 296, + 254, + "-1/2" + ], + [ + "add", + 302, + 254, + "-1/2" + ], + [ + "add", + 303, + 254, + "-1" + ], + [ + "add", + 306, + 254, + "1/2" + ], + [ + "add", + 308, + 254, + "-1/2" + ], + [ + "add", + 312, + 254, + "-1/2" + ], + [ + "add", + 318, + 254, + "-1/2" + ], + [ + "add", + 319, + 254, + "-1" + ], + [ + "add", + 324, + 254, + "-1" + ], + [ + "add", + 326, + 254, + "1" + ], + [ + "add", + 328, + 254, + "-2" + ], + [ + "add", + 332, + 254, + "1" + ], + [ + "add", + 334, + 254, + "-1" + ], + [ + "add", + 335, + 254, + "-2" + ], + [ + "add", + 336, + 254, + "1/2" + ], + [ + "add", + 340, + 254, + "-1/2" + ], + [ + "add", + 350, + 254, + "-1/2" + ], + [ + "add", + 351, + 254, + "-1/2" + ], + [ + "add", + 352, + 254, + "1/2" + ], + [ + "add", + 356, + 254, + "-1/2" + ], + [ + "add", + 366, + 254, + "-1/2" + ], + [ + "add", + 367, + 254, + "-1/2" + ], + [ + "add", + 368, + 254, + "1/2" + ], + [ + "add", + 372, + 254, + "-1/2" + ], + [ + "add", + 382, + 254, + "-1/2" + ], + [ + "add", + 383, + 254, + "-1/2" + ], + [ + "add", + 384, + 254, + "1/2" + ], + [ + "add", + 388, + 254, + "-1/2" + ], + [ + "add", + 398, + 254, + "-1/2" + ], + [ + "add", + 399, + 254, + "-1/2" + ], + [ + "add", + 400, + 254, + "1" + ], + [ + "add", + 402, + 254, + "-1" + ], + [ + "add", + 403, + 254, + "1" + ], + [ + "add", + 406, + 254, + "-1" + ], + [ + "add", + 409, + 254, + "1" + ], + [ + "add", + 410, + 254, + "1" + ], + [ + "add", + 411, + 254, + "-1" + ], + [ + "add", + 415, + 254, + "-1" + ], + [ + "add", + 432, + 254, + "1" + ], + [ + "add", + 435, + 254, + "1" + ], + [ + "add", + 437, + 254, + "1" + ], + [ + "add", + 438, + 254, + "1" + ], + [ + "add", + 442, + 254, + "-1" + ], + [ + "add", + 443, + 254, + "1" + ], + [ + "add", + 446, + 254, + "1" + ], + [ + "add", + 447, + 254, + "-1" + ], + [ + "add", + 255, + 256, + "1" + ], + [ + "add", + 256, + 255, + "-1" + ], + [ + "add", + 255, + 256, + "1" + ], + [ + "scale", + 256, + "-1" + ], + [ + "add", + 243, + 255, + "-1" + ], + [ + "add", + 246, + 255, + "1" + ], + [ + "add", + 250, + 255, + "-1" + ], + [ + "add", + 272, + 255, + "-1/2" + ], + [ + "add", + 280, + 255, + "1/2" + ], + [ + "add", + 286, + 255, + "1/2" + ], + [ + "add", + 287, + 255, + "1" + ], + [ + "add", + 288, + 255, + "-1/2" + ], + [ + "add", + 296, + 255, + "1/2" + ], + [ + "add", + 302, + 255, + "1/2" + ], + [ + "add", + 303, + 255, + "1" + ], + [ + "add", + 306, + 255, + "-1/2" + ], + [ + "add", + 308, + 255, + "1/2" + ], + [ + "add", + 312, + 255, + "1/2" + ], + [ + "add", + 318, + 255, + "1/2" + ], + [ + "add", + 319, + 255, + "1" + ], + [ + "add", + 324, + 255, + "1" + ], + [ + "add", + 326, + 255, + "-1" + ], + [ + "add", + 328, + 255, + "2" + ], + [ + "add", + 332, + 255, + "-1" + ], + [ + "add", + 334, + 255, + "1" + ], + [ + "add", + 335, + 255, + "2" + ], + [ + "add", + 336, + 255, + "-1/2" + ], + [ + "add", + 340, + 255, + "1/2" + ], + [ + "add", + 350, + 255, + "1/2" + ], + [ + "add", + 351, + 255, + "1/2" + ], + [ + "add", + 352, + 255, + "-1/2" + ], + [ + "add", + 356, + 255, + "1/2" + ], + [ + "add", + 366, + 255, + "1/2" + ], + [ + "add", + 367, + 255, + "1/2" + ], + [ + "add", + 368, + 255, + "-1/2" + ], + [ + "add", + 372, + 255, + "1/2" + ], + [ + "add", + 382, + 255, + "1/2" + ], + [ + "add", + 383, + 255, + "1/2" + ], + [ + "add", + 384, + 255, + "-1/2" + ], + [ + "add", + 388, + 255, + "1/2" + ], + [ + "add", + 398, + 255, + "1/2" + ], + [ + "add", + 399, + 255, + "1/2" + ], + [ + "add", + 400, + 255, + "-1" + ], + [ + "add", + 402, + 255, + "1" + ], + [ + "add", + 403, + 255, + "-1" + ], + [ + "add", + 406, + 255, + "1" + ], + [ + "add", + 409, + 255, + "-1" + ], + [ + "add", + 410, + 255, + "-1" + ], + [ + "add", + 411, + 255, + "1" + ], + [ + "add", + 415, + 255, + "1" + ], + [ + "add", + 432, + 255, + "-1" + ], + [ + "add", + 435, + 255, + "-1" + ], + [ + "add", + 437, + 255, + "-1" + ], + [ + "add", + 438, + 255, + "-1" + ], + [ + "add", + 442, + 255, + "1" + ], + [ + "add", + 443, + 255, + "-1" + ], + [ + "add", + 446, + 255, + "-1" + ], + [ + "add", + 447, + 255, + "1" + ], + [ + "add", + 256, + 257, + "1" + ], + [ + "add", + 257, + 256, + "-1" + ], + [ + "add", + 256, + 257, + "1" + ], + [ + "scale", + 257, + "-1" + ], + [ + "scale", + 256, + "2" + ], + [ + "add", + 240, + 256, + "1" + ], + [ + "add", + 258, + 256, + "1/2" + ], + [ + "add", + 259, + 256, + "1/2" + ], + [ + "add", + 261, + 256, + "-1/2" + ], + [ + "add", + 269, + 256, + "-1/2" + ], + [ + "add", + 270, + 256, + "-1/2" + ], + [ + "add", + 271, + 256, + "1/2" + ], + [ + "add", + 272, + 256, + "-1/4" + ], + [ + "add", + 280, + 256, + "1/4" + ], + [ + "add", + 286, + 256, + "1/4" + ], + [ + "add", + 287, + 256, + "-1/2" + ], + [ + "add", + 288, + 256, + "1/4" + ], + [ + "add", + 296, + 256, + "-1/4" + ], + [ + "add", + 302, + 256, + "-1/4" + ], + [ + "add", + 303, + 256, + "1/2" + ], + [ + "add", + 306, + 256, + "1/4" + ], + [ + "add", + 308, + 256, + "-1/4" + ], + [ + "add", + 312, + 256, + "-1/4" + ], + [ + "add", + 318, + 256, + "-1/4" + ], + [ + "add", + 319, + 256, + "1/2" + ], + [ + "add", + 324, + 256, + "1/2" + ], + [ + "add", + 326, + 256, + "-1/2" + ], + [ + "add", + 328, + 256, + "1" + ], + [ + "add", + 332, + 256, + "-1/2" + ], + [ + "add", + 334, + 256, + "1/2" + ], + [ + "add", + 336, + 256, + "1/4" + ], + [ + "add", + 340, + 256, + "-1/4" + ], + [ + "add", + 350, + 256, + "-1/4" + ], + [ + "add", + 351, + 256, + "3/4" + ], + [ + "add", + 352, + 256, + "-1/4" + ], + [ + "add", + 356, + 256, + "1/4" + ], + [ + "add", + 366, + 256, + "1/4" + ], + [ + "add", + 367, + 256, + "-3/4" + ], + [ + "add", + 368, + 256, + "-1/4" + ], + [ + "add", + 372, + 256, + "1/4" + ], + [ + "add", + 382, + 256, + "1/4" + ], + [ + "add", + 383, + 256, + "-3/4" + ], + [ + "add", + 384, + 256, + "1/4" + ], + [ + "add", + 388, + 256, + "-1/4" + ], + [ + "add", + 398, + 256, + "-1/4" + ], + [ + "add", + 399, + 256, + "3/4" + ], + [ + "add", + 417, + 256, + "-1/2" + ], + [ + "add", + 419, + 256, + "1/2" + ], + [ + "add", + 421, + 256, + "-1/2" + ], + [ + "add", + 427, + 256, + "1/2" + ], + [ + "add", + 429, + 256, + "-1/2" + ], + [ + "add", + 430, + 256, + "-1/2" + ], + [ + "add", + 431, + 256, + "1/2" + ], + [ + "add", + 432, + 256, + "1/2" + ], + [ + "add", + 433, + 256, + "-1/2" + ], + [ + "add", + 435, + 256, + "1/2" + ], + [ + "add", + 437, + 256, + "-1/2" + ], + [ + "add", + 443, + 256, + "1/2" + ], + [ + "add", + 445, + 256, + "-1/2" + ], + [ + "add", + 446, + 256, + "-1/2" + ], + [ + "add", + 447, + 256, + "1/2" + ], + [ + "scale", + 257, + "-1" + ], + [ + "add", + 241, + 257, + "1" + ], + [ + "add", + 255, + 257, + "-1" + ], + [ + "add", + 256, + 259, + "-1" + ], + [ + "add", + 256, + 261, + "1" + ], + [ + "add", + 256, + 263, + "-1" + ], + [ + "add", + 256, + 268, + "-1" + ], + [ + "add", + 256, + 269, + "-1" + ], + [ + "add", + 256, + 270, + "1" + ], + [ + "add", + 256, + 271, + "1" + ], + [ + "add", + 240, + 288, + "-1" + ], + [ + "add", + 240, + 294, + "1" + ], + [ + "add", + 240, + 296, + "1" + ], + [ + "add", + 240, + 297, + "1" + ], + [ + "add", + 240, + 300, + "-1" + ], + [ + "add", + 240, + 303, + "-1" + ], + [ + "add", + 227, + 324, + "-1" + ], + [ + "add", + 229, + 324, + "1" + ], + [ + "add", + 257, + 324, + "-1" + ], + [ + "add", + 227, + 326, + "1" + ], + [ + "add", + 229, + 326, + "-1" + ], + [ + "add", + 257, + 326, + "1" + ], + [ + "add", + 227, + 328, + "1" + ], + [ + "add", + 229, + 328, + "-1" + ], + [ + "add", + 257, + 328, + "1" + ], + [ + "add", + 227, + 333, + "-1" + ], + [ + "add", + 229, + 333, + "1" + ], + [ + "add", + 257, + 333, + "-1" + ], + [ + "add", + 224, + 384, + "-1" + ], + [ + "add", + 225, + 384, + "-1" + ], + [ + "add", + 257, + 384, + "-1" + ], + [ + "add", + 224, + 388, + "-1" + ], + [ + "add", + 225, + 388, + "-1" + ], + [ + "add", + 257, + 388, + "-1" + ], + [ + "add", + 224, + 390, + "1" + ], + [ + "add", + 225, + 390, + "1" + ], + [ + "add", + 257, + 390, + "1" + ], + [ + "add", + 224, + 391, + "1" + ], + [ + "add", + 225, + 391, + "1" + ], + [ + "add", + 257, + 391, + "1" + ], + [ + "add", + 224, + 392, + "1" + ], + [ + "add", + 225, + 392, + "1" + ], + [ + "add", + 257, + 392, + "1" + ], + [ + "add", + 224, + 397, + "-1" + ], + [ + "add", + 225, + 397, + "-1" + ], + [ + "add", + 257, + 397, + "-1" + ] + ], + "mode_boundaries": [ + { + "mode": 0, + "owner": 224, + "cache_slot": 634, + "witness_row": 1, + "frame": 274, + "missing_line": 7, + "cache_scalar": "-2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 2, + 2, + 2, + 0, + 0, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 7, + 13, + 11, + 14, + 16, + 32, + 64, + 128, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 7, + 0, + 2 + ], + [ + 13, + 0, + 2 + ], + [ + 11, + 0, + 2 + ], + [ + 14, + 0, + 2 + ], + [ + 16, + 0, + 0 + ], + [ + 32, + 0, + 0 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 7, + 0 + ], + [ + 0, + 13, + 0 + ], + [ + 0, + 11, + 0 + ], + [ + 0, + 14, + 0 + ], + [ + 0, + 16, + 0 + ], + [ + 0, + 32, + 0 + ], + [ + 0, + 64, + 0 + ], + [ + 0, + 128, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 0, + 2, + 2, + 2, + 0, + 0, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 7, + 12, + 10, + 14, + 16, + 32, + 64, + 128, + 256 + ] + ], + [ + "X", + 504 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 1, + 0, + 0 + ], + [ + 13, + 0, + 2 + ], + [ + 11, + 0, + 2 + ], + [ + 14, + 0, + 2 + ], + [ + 16, + 0, + 0 + ], + [ + 32, + 0, + 0 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 7, + 0 + ], + [ + 0, + 10, + 2 + ], + [ + 0, + 12, + 2 + ], + [ + 0, + 14, + 2 + ], + [ + 0, + 16, + 2 + ], + [ + 0, + 32, + 2 + ], + [ + 0, + 64, + 2 + ], + [ + 0, + 128, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 504, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + }, + { + "mode": 1, + "owner": 225, + "cache_slot": 635, + "witness_row": 2, + "frame": 619, + "missing_line": 25, + "cache_scalar": "-2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 2, + 0, + 2, + 2, + 0, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 25, + 26, + 4, + 19, + 11, + 32, + 64, + 128, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 25, + 0, + 2 + ], + [ + 26, + 0, + 2 + ], + [ + 4, + 0, + 0 + ], + [ + 19, + 0, + 2 + ], + [ + 11, + 0, + 2 + ], + [ + 32, + 0, + 0 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 25, + 0 + ], + [ + 0, + 26, + 0 + ], + [ + 0, + 4, + 0 + ], + [ + 0, + 19, + 0 + ], + [ + 0, + 11, + 0 + ], + [ + 0, + 32, + 0 + ], + [ + 0, + 64, + 0 + ], + [ + 0, + 128, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 0, + 2, + 0, + 2, + 2, + 0, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 25, + 26, + 4, + 18, + 10, + 32, + 64, + 128, + 256 + ] + ], + [ + "X", + 486 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 1, + 0, + 0 + ], + [ + 26, + 0, + 2 + ], + [ + 4, + 0, + 0 + ], + [ + 19, + 0, + 2 + ], + [ + 11, + 0, + 2 + ], + [ + 32, + 0, + 0 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 25, + 0 + ], + [ + 0, + 26, + 2 + ], + [ + 0, + 4, + 2 + ], + [ + 0, + 10, + 2 + ], + [ + 0, + 18, + 2 + ], + [ + 0, + 32, + 2 + ], + [ + 0, + 64, + 2 + ], + [ + 0, + 128, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 486, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + }, + { + "mode": 2, + "owner": 227, + "cache_slot": 633, + "witness_row": 0, + "frame": 254, + "missing_line": 42, + "cache_scalar": "-2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 2, + 0, + 2, + 0, + 2, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 42, + 41, + 4, + 35, + 16, + 11, + 64, + 128, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 42, + 0, + 2 + ], + [ + 41, + 0, + 2 + ], + [ + 4, + 0, + 0 + ], + [ + 35, + 0, + 2 + ], + [ + 16, + 0, + 0 + ], + [ + 11, + 0, + 2 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 42, + 0 + ], + [ + 0, + 41, + 0 + ], + [ + 0, + 4, + 0 + ], + [ + 0, + 35, + 0 + ], + [ + 0, + 16, + 0 + ], + [ + 0, + 11, + 0 + ], + [ + 0, + 64, + 0 + ], + [ + 0, + 128, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 0, + 0, + 2, + 0, + 2, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 42, + 41, + 4, + 33, + 16, + 9, + 64, + 128, + 256 + ] + ], + [ + "X", + 470 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 42, + 0, + 2 + ], + [ + 1, + 0, + 0 + ], + [ + 4, + 0, + 0 + ], + [ + 35, + 0, + 2 + ], + [ + 16, + 0, + 0 + ], + [ + 11, + 0, + 2 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 42, + 2 + ], + [ + 0, + 41, + 0 + ], + [ + 0, + 4, + 2 + ], + [ + 0, + 10, + 2 + ], + [ + 0, + 16, + 2 + ], + [ + 0, + 34, + 2 + ], + [ + 0, + 64, + 2 + ], + [ + 0, + 128, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 470, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + }, + { + "mode": 3, + "owner": 229, + "cache_slot": 636, + "witness_row": 3, + "frame": 279, + "missing_line": 52, + "cache_scalar": "-2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 0, + 2, + 0, + 2, + 2, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 52, + 2, + 49, + 8, + 37, + 21, + 64, + 128, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 52, + 0, + 2 + ], + [ + 2, + 0, + 0 + ], + [ + 49, + 0, + 2 + ], + [ + 8, + 0, + 0 + ], + [ + 37, + 0, + 2 + ], + [ + 21, + 0, + 2 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 52, + 0 + ], + [ + 0, + 2, + 0 + ], + [ + 0, + 49, + 0 + ], + [ + 0, + 8, + 0 + ], + [ + 0, + 37, + 0 + ], + [ + 0, + 21, + 0 + ], + [ + 0, + 64, + 0 + ], + [ + 0, + 128, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 0, + 0, + 0, + 2, + 2, + 0, + 0, + 0 + ] + ], + [ + "P", + [ + 52, + 2, + 49, + 8, + 33, + 17, + 64, + 128, + 256 + ] + ], + [ + "X", + 462 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 52, + 0, + 2 + ], + [ + 2, + 0, + 0 + ], + [ + 1, + 0, + 0 + ], + [ + 8, + 0, + 0 + ], + [ + 37, + 0, + 2 + ], + [ + 21, + 0, + 2 + ], + [ + 64, + 0, + 0 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 52, + 2 + ], + [ + 0, + 2, + 2 + ], + [ + 0, + 49, + 0 + ], + [ + 0, + 8, + 2 + ], + [ + 0, + 20, + 2 + ], + [ + 0, + 36, + 2 + ], + [ + 0, + 64, + 2 + ], + [ + 0, + 128, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 462, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + }, + { + "mode": 4, + "owner": 240, + "cache_slot": 640, + "witness_row": 7, + "frame": 281, + "missing_line": 76, + "cache_scalar": "2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 0, + 2, + 2, + 0, + 0, + 2, + 0, + 0 + ] + ], + [ + "P", + [ + 76, + 2, + 73, + 69, + 16, + 32, + 13, + 128, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 76, + 0, + 2 + ], + [ + 2, + 0, + 0 + ], + [ + 73, + 0, + 2 + ], + [ + 69, + 0, + 2 + ], + [ + 16, + 0, + 0 + ], + [ + 32, + 0, + 0 + ], + [ + 13, + 0, + 2 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 76, + 0 + ], + [ + 0, + 2, + 0 + ], + [ + 0, + 73, + 0 + ], + [ + 0, + 69, + 0 + ], + [ + 0, + 16, + 0 + ], + [ + 0, + 32, + 0 + ], + [ + 0, + 13, + 0 + ], + [ + 0, + 128, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 0, + 0, + 2, + 0, + 0, + 2, + 0, + 0 + ] + ], + [ + "P", + [ + 76, + 2, + 73, + 65, + 16, + 32, + 9, + 128, + 256 + ] + ], + [ + "X", + 438 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 76, + 0, + 2 + ], + [ + 2, + 0, + 0 + ], + [ + 1, + 0, + 0 + ], + [ + 69, + 0, + 2 + ], + [ + 16, + 0, + 0 + ], + [ + 32, + 0, + 0 + ], + [ + 13, + 0, + 2 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 76, + 2 + ], + [ + 0, + 2, + 2 + ], + [ + 0, + 73, + 0 + ], + [ + 0, + 12, + 2 + ], + [ + 0, + 16, + 2 + ], + [ + 0, + 32, + 2 + ], + [ + 0, + 68, + 2 + ], + [ + 0, + 128, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 438, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + }, + { + "mode": 5, + "owner": 241, + "cache_slot": 637, + "witness_row": 4, + "frame": 621, + "missing_line": 82, + "cache_scalar": "2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 2, + 0, + 0, + 2, + 0, + 2, + 0, + 0 + ] + ], + [ + "P", + [ + 82, + 81, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 82, + 0, + 2 + ], + [ + 81, + 0, + 2 + ], + [ + 4, + 0, + 0 + ], + [ + 8, + 0, + 0 + ], + [ + 67, + 0, + 2 + ], + [ + 32, + 0, + 0 + ], + [ + 19, + 0, + 2 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 82, + 0 + ], + [ + 0, + 81, + 0 + ], + [ + 0, + 4, + 0 + ], + [ + 0, + 8, + 0 + ], + [ + 0, + 67, + 0 + ], + [ + 0, + 32, + 0 + ], + [ + 0, + 19, + 0 + ], + [ + 0, + 128, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 0, + 0, + 0, + 2, + 0, + 2, + 0, + 0 + ] + ], + [ + "P", + [ + 82, + 81, + 4, + 8, + 65, + 32, + 17, + 128, + 256 + ] + ], + [ + "X", + 430 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 82, + 0, + 2 + ], + [ + 1, + 0, + 0 + ], + [ + 4, + 0, + 0 + ], + [ + 8, + 0, + 0 + ], + [ + 67, + 0, + 2 + ], + [ + 32, + 0, + 0 + ], + [ + 19, + 0, + 2 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 82, + 2 + ], + [ + 0, + 81, + 0 + ], + [ + 0, + 4, + 2 + ], + [ + 0, + 8, + 2 + ], + [ + 0, + 18, + 2 + ], + [ + 0, + 32, + 2 + ], + [ + 0, + 66, + 2 + ], + [ + 0, + 128, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 430, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + }, + { + "mode": 6, + "owner": 256, + "cache_slot": 639, + "witness_row": 6, + "frame": 624, + "missing_line": 97, + "cache_scalar": "-2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 2, + 0, + 0, + 0, + 2, + 2, + 0, + 0 + ] + ], + [ + "P", + [ + 97, + 98, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 97, + 0, + 2 + ], + [ + 98, + 0, + 2 + ], + [ + 4, + 0, + 0 + ], + [ + 8, + 0, + 0 + ], + [ + 16, + 0, + 0 + ], + [ + 67, + 0, + 2 + ], + [ + 35, + 0, + 2 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 97, + 0 + ], + [ + 0, + 98, + 0 + ], + [ + 0, + 4, + 0 + ], + [ + 0, + 8, + 0 + ], + [ + 0, + 16, + 0 + ], + [ + 0, + 67, + 0 + ], + [ + 0, + 35, + 0 + ], + [ + 0, + 128, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 0, + 2, + 0, + 0, + 0, + 2, + 2, + 0, + 0 + ] + ], + [ + "P", + [ + 97, + 98, + 4, + 8, + 16, + 66, + 34, + 128, + 256 + ] + ], + [ + "X", + 414 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 1, + 0, + 0 + ], + [ + 98, + 0, + 2 + ], + [ + 4, + 0, + 0 + ], + [ + 8, + 0, + 0 + ], + [ + 16, + 0, + 0 + ], + [ + 67, + 0, + 2 + ], + [ + 35, + 0, + 2 + ], + [ + 128, + 0, + 0 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 97, + 0 + ], + [ + 0, + 98, + 2 + ], + [ + 0, + 4, + 2 + ], + [ + 0, + 8, + 2 + ], + [ + 0, + 16, + 2 + ], + [ + 0, + 34, + 2 + ], + [ + 0, + 66, + 2 + ], + [ + 0, + 128, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 414, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + }, + { + "mode": 7, + "owner": 257, + "cache_slot": 638, + "witness_row": 5, + "frame": 280, + "missing_line": 127, + "cache_scalar": "2", + "input_K": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 2, + 2, + 2, + 2, + 2, + 2, + 2, + 2, + 0 + ] + ], + [ + "P", + [ + 127, + 253, + 251, + 247, + 239, + 223, + 191, + 254, + 256 + ] + ], + [ + "X", + 0 + ], + [ + "phase", + 0 + ] + ], + "signed_tableau": [ + [ + 127, + 0, + 2 + ], + [ + 253, + 0, + 2 + ], + [ + 251, + 0, + 2 + ], + [ + 247, + 0, + 2 + ], + [ + 239, + 0, + 2 + ], + [ + 223, + 0, + 2 + ], + [ + 191, + 0, + 2 + ], + [ + 254, + 0, + 2 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 127, + 0 + ], + [ + 0, + 253, + 0 + ], + [ + 0, + 251, + 0 + ], + [ + 0, + 247, + 0 + ], + [ + 0, + 239, + 0 + ], + [ + 0, + 223, + 0 + ], + [ + 0, + 191, + 0 + ], + [ + 0, + 254, + 0 + ], + [ + 0, + 256, + 0 + ] + ], + "zero_column_anchor": { + "index": 0, + "gaussian_numerator": [ + 1, + 0 + ], + "denominator_power2": 0 + } + }, + "output_N": { + "literal_word": [ + [ + "D", + [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 0, + 2, + 2, + 2, + 2, + 2, + 2, + 2, + 0 + ] + ], + [ + "P", + [ + 127, + 252, + 250, + 246, + 238, + 222, + 190, + 254, + 256 + ] + ], + [ + "X", + 384 + ], + [ + "phase", + 2 + ] + ], + "signed_tableau": [ + [ + 1, + 0, + 0 + ], + [ + 253, + 0, + 2 + ], + [ + 251, + 0, + 2 + ], + [ + 247, + 0, + 2 + ], + [ + 239, + 0, + 2 + ], + [ + 223, + 0, + 2 + ], + [ + 191, + 0, + 2 + ], + [ + 254, + 0, + 2 + ], + [ + 256, + 0, + 0 + ], + [ + 0, + 127, + 0 + ], + [ + 0, + 130, + 2 + ], + [ + 0, + 132, + 2 + ], + [ + 0, + 136, + 2 + ], + [ + 0, + 144, + 2 + ], + [ + 0, + 160, + 2 + ], + [ + 0, + 192, + 2 + ], + [ + 0, + 254, + 2 + ], + [ + 0, + 256, + 2 + ] + ], + "zero_column_anchor": { + "index": 384, + "gaussian_numerator": [ + -1, + 0 + ], + "denominator_power2": 0 + } + } + } + ], + "ordered_schedule": [ + "Main input wrappers: NORMALIZERS.ports[j].compiled_wrappers.backward_input_X/Y.", + "On each mode owner apply input_K and scalar 2; run input_basis_program.", + "Run every instruction of WORD.json.gz; C0..C8 initially arbitrary.", + "Run output_basis_program on the 122 persistent common-chart helpers.", + "For each mode apply cache_scalar and output_N to its owned cache; SWAP the whole field and chart with its zero original owner; CLEAR the owned zero.", + "Main output wrappers: NORMALIZERS.ports[j].compiled_wrappers.backward_output_X/Y." + ], + "paid": { + "1": 2193, + "2": 412, + "3": 510, + "4": 127, + "5": 40 + }, + "autonomous_native_helpers": { + "4": 28, + "7": 7, + "8": 47, + "9": 318 + }, + "owned_fields": { + "count": 9, + "initial_values": "arbitrary", + "final_values": "zero", + "productive_credit": 0 + }, + "added_ordinary_work_vs_original_raw_source": { + "ADD": 1644, + "SCALE": 40, + "COPY": 16, + "CLEAR": 24, + "whole_field_SWAP": 8, + "monomial_field_maps": 464, + "monomial_breakdown": { + "fused_inherited_main_standardizers": 448, + "mode_inputs": 8, + "cache_outputs": 8 + } + }, + "local_error_amplification_power2_bound": 18996, + "source_original_scalar_counts": { + "add": 16273, + "clear": 16, + "scale": 1164 + }, + "source_changed_scalar_counts": { + "add": 16273, + "clear": 32, + "copy": 16, + "scale": 1164 + }, + "physical_phase_bindings": { + "main_diagonal_and_shear": 336, + "two_coupling_directions": 896, + "helper_diagonal": 8 + }, + "exact_zero_retags": [ + [ + 15608, + 92, + 254, + 1 + ], + [ + 15894, + 9, + 624, + 1 + ], + [ + 15900, + 11, + 621, + 1 + ], + [ + 17269, + 240, + 280, + 1 + ], + [ + 17280, + 81, + 619, + 1 + ], + [ + 17288, + 57, + 274, + 1 + ], + [ + 17604, + 288, + 281, + 1 + ], + [ + 17746, + 224, + 279, + 1 + ] + ], + "formula": { + "X": "D x - R y + R W h", + "Y": "D y", + "H": "D (h - Z y)", + "W": "diag(K_port^-1) M diag(K_mode)/2", + "Z": "diag(K_mode^-1) M^T diag(K_port)/2" + }, + "failure_controls": [ + "nonzero zero-retag rejected", + "one altered basis ADD coefficient rejected", + "same-tableau phase-only cache error rejected", + "one altered saved-cache coefficient rejected" + ], + "scope": "Changed coupled backward provider. No autonomous credit for eight coupled outputs; no completed caller, inverse/transpose implementation, new kappa or selected-result change." +} diff --git a/research/coupled-query-transport/inputs/SELECTED-ARITHMETIC.json b/research/coupled-query-transport/inputs/SELECTED-ARITHMETIC.json new file mode 100644 index 0000000000..0fdb65f946 --- /dev/null +++ b/research/coupled-query-transport/inputs/SELECTED-ARITHMETIC.json @@ -0,0 +1,241 @@ +{ + "compiler": { + "H": 38569300000000000, + "N": "2^38569300000000000", + "eta": { + "lower": "0.000000204535199106284215364833", + "upper": "0.000000204535199106284215364834" + }, + "gap": "1/700000000000", + "integer_test_exponent": 55099, + "logarithm_power": 1000, + "theta": "63/64", + "uniform_saving": "1057621533/350000000000", + "word_materialized": false + }, + "gain_over_PR4535": "4027/2500000000", + "kappa": "15108879/5000000000", + "local_helpers": { + "4": 28, + "7": 7, + "8": 47, + "9": 326 + }, + "local_paid": { + "1": 2201, + "2": 412, + "3": 510, + "4": 127, + "5": 40, + "8": 8 + }, + "margin_at_old_root_upper": [ + "78072058023577019965454984044224523228758899702419408235/196159429230833773869868419475239575503198607639501078528", + "1249152928377232319447279744707592371660142395238823308861/3138550867693340381917894711603833208051177722232017256448" + ], + "native_receipt_sha256": "eec3b14241430b6c9f5de3cbf0e3d45a172d8071d2dccd2b59d56a1fbac3d428", + "negative_controls": { + "closed_epsilon": [ + "epsilon_below_one", + "global_gamma_power_slack", + "actual_logarithmic_gamma_guard", + "source_axis_superpolynomial", + "gaussian_above_main", + "new_semantic_guard_with_C1_one" + ], + "closed_uniform": [ + "new_complex_uniform_saving_above_b" + ], + "old_BIT": [ + "actual_bit_above_effective" + ], + "unfunded_endpoint": [ + "main_transform_above_kappa", + "global_coordinate_router_above_kappa", + "fused_gaussian_above_kappa", + "group_bit_router_above_kappa", + "boundary_algebraic_matrix_above_kappa" + ] + }, + "nonrecursive": { + "local_routes": 4802000, + "local_scalar": 158168, + "raw_scalar_upper": 181098496 + }, + "ordinary_BIT": { + "admitted": "17/5000", + "after_cover": "69/20000", + "atom": "1/250", + "before_cover": "3459/1000000", + "ordinary_saving": "8590884599/2500000000000", + "prime_rule": "odd q > 2^26*N^5 avoiding all fixed denominators and rank witnesses" + }, + "outer": { + "functional_checks": { + "actual_new_BIT_stock_sublinear": "174299999999253/175000000000000", + "fixed_halo_explicit_metadata_branch": "13475000000001/175000000000", + "new_BIT_row_stock_sublinear_in_active_group": "697899999997009/700000000000000", + "new_semantic_group_guard": "3/700000000000" + }, + "margins": { + "boundary_algebraic_matrix": "1480670144797884756937/490000000000000000000000", + "fused_gaussian": "1480670144793654270811/490000000000000000000000", + "global_coordinate_router": "264405383/87500000000", + "group_bit_router": "185083768186706783851/61250000000000000000000", + "group_scans": "349999999999/350000000000", + "main_transform": "1480670144097884756937/490000000000000000000000", + "microbox_face_corrections": "13475000000001/175000000000", + "polynomial_products": "699999999999/700000000000", + "sparse_union_movement": "200543170144797884756937/490000000000000000000000" + }, + "parameters": { + "a": "264405383/87500000000", + "b": "423048613/140000000000", + "beta": "699999999997/700000000000", + "bit_saving": "17/5000", + "cap_xi": "445543170144097884756937/490000000000000000000000", + "complex_uniform_saving": "1057621533/350000000000", + "d": "1/700000000000", + "epsilon": "699999999999/700000000000", + "kappa": "15108879/5000000000", + "lambda_": "199395644839/200000000000", + "lambda_prime": "697884756937/700000000000", + "layout": "1/700000000000", + "q": "2115243063/700000000000", + "r0": "1/7000000000000", + "stop": "1/700000000000", + "tested_saving": "302177581/100000000000" + }, + "strict_checks": { + "actual_bit_above_effective": "33094617/87500000000", + "actual_logarithmic_gamma_guard": "1/700000000000", + "actual_logarithmic_group_guard": "44456829856952115243063/245000000000000000000000", + "alpha_logarithm_absorption": "1/7000000000000", + "boundary_algebraic_matrix_above_kappa": "2797884756937/490000000000000000000000", + "cap_above_band": "200543170144097884756937/490000000000000000000000", + "cap_below_cell": "44456829855202115243063/490000000000000000000000", + "cap_below_phase_cell_power": "534456829855902115243063/490000000000000000000000", + "complex_above_effective": "1/700000000000", + "complex_below_one_over_32": "3951951387/140000000000", + "complex_endpoint": "1/350000000000", + "epsilon_below_one": "1/700000000000", + "epsilon_positive": "699999999999/700000000000", + "fine_prime_halo_umbrella": "7/2", + "fused_gaussian_above_kappa": "2793654270811/490000000000000000000000", + "gaussian_above_main": "347884756937/245000000000000000000000", + "global_coordinate_router_above_kappa": "1/175000000000", + "global_gamma_power_slack": "9/7000000000000", + "group_below_dimension": "1/350000000000", + "group_bit_router_above_kappa": "436706783851/61250000000000000000000", + "group_gauge_power_slack": "44456829856917115243063/245000000000000000000000", + "group_key_fits_record": "1/350000000000", + "group_positive": "699999999997/700000000000", + "group_scans_above_kappa": "348942378469/350000000000", + "halo_covers_generic_inverse_radius": "5", + "improvement_over_user_baseline": "645402690400418148631/500000000000000000000000", + "lambda_above_internal": "1/1400000000000", + "lambda_above_sigma": "3/1400000000000", + "lambda_above_tau": "1/1400000000000", + "lambda_prime_above_lambda": "1/1400000000000", + "lambda_prime_above_leaf": "279576951387/98000000000000000000000", + "leaf_saving_above_effective": "139576951387/98000000000000000000000", + "main_transform_above_kappa": "2097884756937/490000000000000000000000", + "membership_arithmetic_fits_record": "1/700000000000", + "microbox_face_corrections_above_kappa": "3368617797309/43750000000", + "microbox_halo_volume": "55300000000003/700000000000", + "new_complex_uniform_saving_above_b": "1/700000000000", + "new_semantic_guard_with_C1_one": "1/700000000000", + "polynomial_products_above_kappa": "697884756939/700000000000", + "positive_layout_slack": "1/700000000000", + "q_below_effective": "1/700000000000", + "q_below_internal": "1/700000000000", + "q_below_leaf": "279576951387/98000000000000000000000", + "q_positive": "2115243063/700000000000", + "short_record_fallback": "139576951387/140000000000", + "source_axis_superpolynomial": "1/700000000000", + "sparse_union_movement_above_kappa": "199062500002797884756937/490000000000000000000000", + "stop_below_one": "699999999999/700000000000", + "stop_positive": "1/700000000000", + "strassen_integer_power_gap": "1951441519231", + "support_router_span": "3/700000000000", + "theta_positive_polynomial_power": "2", + "union_header_fits_record": "3/700000000000", + "union_tag_work_per_visit_fits_record": "3/700000000000" + } + }, + "paid": { + "1": 41298, + "16": 448, + "2": 7416, + "24": 448, + "3": 9180, + "32": 448, + "4": 2286, + "40": 448, + "48": 448, + "5": 720, + "56": 448, + "64": 448, + "72": 224, + "8": 144 + }, + "paid_calls": 64404, + "productive_fields": 10928, + "rank_mass_surplus": 752, + "raw_root_interval": [ + "302177587077/100000000000000", + "151088793539/50000000000000" + ], + "scope": "Exact changed-profile arithmetic only. Requires separately admitted changed native programs, paid transports and absolute phases. Retained compiler/native/precision/tape/analytic/recovery assumptions.", + "source_sha256": { + "research/fresh-helper-boundary/native.py": "9b55a2d3c3972148fae9d112e745d9244968166bd89bd900c938f429fc76ab29", + "research/higher-moment-strictification/verify.py": "0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326", + "research/joint-helper-lattice/CONTROLLER.json": "1f5d6aa267e4e66048818714b5d3b5eae17a58abe91d15deeaa34574f7391a5f", + "research/joint-helper-lattice/native_joint.py": "50869b1bcad7493e6b4cb2a4cd5d2fd9a193a5921100483fa2c3f2c999ddfd46", + "research/joint-helper-lattice/verify.py": "8eb13f77a94315f811612cb557a17edeecb6b9d9a75dfa238b112dd6520c336f", + "research/kappa-0023-productive-jobs/dependencies/kappa-next-regime/bit-compression/carrier-reuse/reference/joint_pair_dag.py": "8a0de761642d21919e969475c3f13e5d01a4bae7343c1e1f37c586d94b676a85", + "research/kappa-rebuild/architecture/mixed_target_probe.py": "011c3c9d0cf81103dc84d709a0e36793eb7c5ae3f23c85eac27650ef13afa04a", + "research/kappa-rebuild/bit/complex_controller_factor.py": "1de9aaf918e6a4f2f5448754c1f3c3da3b85e6257849ebd097af09859c4e5497", + "research/kappa-rebuild/bit/mixed_productive_bit.py": "b32291b0db7fc0d332ec444c70746ab0fb03351d2e50546f8bcb64060e3ff95e", + "research/kappa-round6-compiler-tightening-20261022/arithmetic.py": "960864e5427a1ca2c319a7b2dee292b6fe50bd5964830031e611591af10dac38", + "research/pr4359-p7-padding/dependencies/compiler-refill/endpoint.py": "d097e55f06c3f244f2074ffd7c1a0a5f3c4b4b6a6accf9619d1dde5c0ae85e15", + "research/query-thinned-controllers/RESULT.json": "6ebfc8c0f09166f4834e9d7427410cb31aefff2cd4d4ce588c8e52c9c70e9a0f", + "research/query-thinned-controllers/controller.py": "8b462d660487b1be4940357c4c7522967b1bfaede3c02b1c66109b85acae0fd2" + }, + "status": "PASS_CHANGED_PROFILE_ARITHMETIC_NATIVE_ADMISSION_SEPARATE", + "strictification": { + "alpha": { + "lower": "0.999999999936687383304469699479", + "upper": "0.999999999936687383304469699480" + }, + "cutoff": 20, + "delta": { + "lower": "0.958285308639504859158849914083", + "upper": "0.958285308639504859158849914084" + }, + "floor": 21, + "gamma": { + "lower": "0.956217509753795293454516855483", + "upper": "0.956217509753795293454516855484" + }, + "normalized_paid_upper": "104857600097656251/104857601073741824", + "power": 1024, + "tail_offset": "1/5", + "tested": "302177581/100000000000" + }, + "targets": { + "145": 224, + "17": 448, + "25": 448, + "33": 448, + "4": 504, + "41": 448, + "49": 448, + "57": 448, + "65": 448, + "7": 126, + "73": 224, + "8": 846, + "9": 5868 + } +} diff --git a/research/coupled-query-transport/inputs/SUCCESSOR-CONTROLLER.json b/research/coupled-query-transport/inputs/SUCCESSOR-CONTROLLER.json new file mode 100644 index 0000000000..01775a36ae --- /dev/null +++ b/research/coupled-query-transport/inputs/SUCCESSOR-CONTROLLER.json @@ -0,0 +1,5194 @@ +{ + "ambient_rank": 145, + "boundaries": { + "left": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "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", + "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", + "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", + "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", + "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", + "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", + "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", + "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" + ], + [ + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "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", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "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", + "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", + "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", + "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", + "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", + "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", + "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", + "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", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ], + "left_program": [ + [ + "SWAP", + 30, + 31 + ], + [ + "SWAP", + 29, + 30 + ], + [ + "SWAP", + 28, + 30 + ], + [ + "SWAP", + 27, + 29 + ], + [ + "SWAP", + 26, + 28 + ], + [ + "SWAP", + 25, + 30 + ], + [ + "SWAP", + 24, + 25 + ], + [ + "SWAP", + 23, + 26 + ], + [ + "SWAP", + 22, + 30 + ], + [ + "SWAP", + 20, + 26 + ], + [ + "SWAP", + 19, + 22 + ], + [ + "SWAP", + 18, + 29 + ], + [ + "SWAP", + 17, + 23 + ], + [ + "SWAP", + 16, + 27 + ], + [ + "SCALE", + 15, + "-1" + ], + [ + "SWAP", + 15, + 31 + ], + [ + "ADD", + 12, + 14, + "1" + ], + [ + "ADD", + 10, + 14, + "-1" + ], + [ + "ADD", + 8, + 14, + "1" + ], + [ + "ADD", + 6, + 14, + "-1" + ], + [ + "ADD", + 4, + 14, + "1" + ], + [ + "ADD", + 2, + 14, + "-1" + ], + [ + "ADD", + 0, + 14, + "1" + ], + [ + "SWAP", + 14, + 15 + ], + [ + "ADD", + 31, + 13, + "1" + ], + [ + "SWAP", + 13, + 30 + ], + [ + "ADD", + 10, + 12, + "1" + ], + [ + "ADD", + 8, + 12, + "-1" + ], + [ + "ADD", + 6, + 12, + "1" + ], + [ + "ADD", + 4, + 12, + "-1" + ], + [ + "ADD", + 2, + 12, + "1" + ], + [ + "ADD", + 0, + 12, + "-1" + ], + [ + "SWAP", + 12, + 14 + ], + [ + "ADD", + 31, + 11, + "-1" + ], + [ + "ADD", + 30, + 11, + "-1" + ], + [ + "SCALE", + 11, + "-1" + ], + [ + "SWAP", + 11, + 29 + ], + [ + "ADD", + 8, + 10, + "1" + ], + [ + "ADD", + 6, + 10, + "-1" + ], + [ + "ADD", + 4, + 10, + "1" + ], + [ + "ADD", + 2, + 10, + "-1" + ], + [ + "ADD", + 0, + 10, + "1" + ], + [ + "SWAP", + 10, + 13 + ], + [ + "ADD", + 31, + 9, + "1" + ], + [ + "ADD", + 30, + 9, + "1" + ], + [ + "ADD", + 29, + 9, + "1" + ], + [ + "SWAP", + 9, + 28 + ], + [ + "ADD", + 6, + 8, + "1" + ], + [ + "ADD", + 4, + 8, + "-1" + ], + [ + "ADD", + 2, + 8, + "1" + ], + [ + "ADD", + 0, + 8, + "-1" + ], + [ + "SWAP", + 8, + 12 + ], + [ + "ADD", + 31, + 7, + "-1" + ], + [ + "ADD", + 30, + 7, + "-1" + ], + [ + "ADD", + 29, + 7, + "-1" + ], + [ + "ADD", + 28, + 7, + "-1" + ], + [ + "SCALE", + 7, + "-1" + ], + [ + "SWAP", + 7, + 27 + ], + [ + "ADD", + 4, + 6, + "1" + ], + [ + "ADD", + 2, + 6, + "-1" + ], + [ + "ADD", + 0, + 6, + "1" + ], + [ + "SWAP", + 6, + 11 + ], + [ + "ADD", + 31, + 5, + "1" + ], + [ + "ADD", + 30, + 5, + "1" + ], + [ + "ADD", + 29, + 5, + "1" + ], + [ + "ADD", + 28, + 5, + "1" + ], + [ + "ADD", + 27, + 5, + "1" + ], + [ + "SWAP", + 5, + 26 + ], + [ + "ADD", + 2, + 4, + "1" + ], + [ + "ADD", + 0, + 4, + "-1" + ], + [ + "SWAP", + 4, + 10 + ], + [ + "ADD", + 31, + 3, + "-1" + ], + [ + "ADD", + 30, + 3, + "-1" + ], + [ + "ADD", + 29, + 3, + "-1" + ], + [ + "ADD", + 28, + 3, + "-1" + ], + [ + "ADD", + 27, + 3, + "-1" + ], + [ + "ADD", + 26, + 3, + "-1" + ], + [ + "SCALE", + 3, + "-1" + ], + [ + "SWAP", + 3, + 25 + ], + [ + "ADD", + 0, + 2, + "1" + ], + [ + "SWAP", + 2, + 9 + ], + [ + "ADD", + 31, + 1, + "1" + ], + [ + "ADD", + 30, + 1, + "1" + ], + [ + "ADD", + 29, + 1, + "1" + ], + [ + "ADD", + 28, + 1, + "1" + ], + [ + "ADD", + 27, + 1, + "1" + ], + [ + "ADD", + 26, + 1, + "1" + ], + [ + "ADD", + 25, + 1, + "1" + ], + [ + "SWAP", + 1, + 24 + ], + [ + "SWAP", + 0, + 8 + ] + ], + "right": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "1", + "-1", + "1", + "-1", + "1", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "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", + "0", + "0", + "0", + "0", + "1", + "-1", + "1", + "-1", + "1", + "-1", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "1", + "-1", + "1", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "1", + "-1", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "1", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "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", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1" + ], + [ + "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", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "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", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "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", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "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", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "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", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "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" + ], + [ + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "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", + "0" + ], + [ + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "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", + "0", + "0" + ], + [ + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "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", + "0", + "0", + "0" + ] + ], + "right_program": [ + [ + "ADD", + 30, + 31, + "-1" + ], + [ + "ADD", + 29, + 31, + "-1" + ], + [ + "ADD", + 28, + 31, + "-1" + ], + [ + "ADD", + 27, + 31, + "-1" + ], + [ + "SCALE", + 31, + "-1" + ], + [ + "ADD", + 31, + 30, + "-1" + ], + [ + "ADD", + 29, + 30, + "-1" + ], + [ + "ADD", + 28, + 30, + "-1" + ], + [ + "ADD", + 27, + 30, + "-1" + ], + [ + "ADD", + 31, + 29, + "-1" + ], + [ + "ADD", + 28, + 29, + "-1" + ], + [ + "ADD", + 27, + 29, + "-1" + ], + [ + "SCALE", + 29, + "-1" + ], + [ + "ADD", + 31, + 28, + "-1" + ], + [ + "ADD", + 27, + 28, + "-1" + ], + [ + "SWAP", + 28, + 29 + ], + [ + "ADD", + 31, + 27, + "-1" + ], + [ + "SCALE", + 27, + "-1" + ], + [ + "SWAP", + 27, + 29 + ], + [ + "ADD", + 31, + 26, + "1" + ], + [ + "SWAP", + 26, + 29 + ], + [ + "ADD", + 29, + 25, + "-1" + ], + [ + "ADD", + 24, + 25, + "-1" + ], + [ + "SWAP", + 25, + 28 + ], + [ + "ADD", + 28, + 24, + "1" + ], + [ + "SWAP", + 23, + 29 + ], + [ + "SWAP", + 22, + 25 + ], + [ + "SWAP", + 20, + 23 + ], + [ + "SWAP", + 19, + 25 + ], + [ + "SWAP", + 18, + 27 + ], + [ + "SWAP", + 17, + 29 + ], + [ + "SWAP", + 16, + 31 + ], + [ + "ADD", + 14, + 15, + "-1" + ], + [ + "SWAP", + 15, + 30 + ], + [ + "ADD", + 13, + 14, + "-1" + ], + [ + "SWAP", + 14, + 30 + ], + [ + "ADD", + 12, + 13, + "-1" + ], + [ + "SWAP", + 13, + 22 + ], + [ + "ADD", + 11, + 12, + "-1" + ], + [ + "SWAP", + 12, + 30 + ], + [ + "ADD", + 10, + 11, + "-1" + ], + [ + "SWAP", + 11, + 18 + ], + [ + "ADD", + 9, + 10, + "-1" + ], + [ + "SWAP", + 10, + 22 + ], + [ + "ADD", + 8, + 9, + "-1" + ], + [ + "SWAP", + 9, + 26 + ], + [ + "SWAP", + 8, + 30 + ], + [ + "SWAP", + 7, + 16 + ], + [ + "SWAP", + 6, + 18 + ], + [ + "SWAP", + 5, + 20 + ], + [ + "SWAP", + 4, + 22 + ], + [ + "SWAP", + 3, + 24 + ], + [ + "SWAP", + 2, + 26 + ], + [ + "SWAP", + 1, + 28 + ], + [ + "SWAP", + 0, + 30 + ] + ] + }, + "diagonal": [ + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + -1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ], + [ + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 0, + 1, + 1 + ] + ], + "keep_mask": 35047648968703, + "kind": "complex", + "pairs": 16, + "physical_events": [ + [ + "SIGNED_SWAP", + 1, + 0 + ], + [ + "Q_POWER", + 0, + 2 + ], + [ + "LOCAL", + 0, + 0, + true + ], + [ + "SIGNED_SWAP", + 0, + 1 + ], + [ + "Q_POWER", + 1, + -2 + ], + [ + "LOCAL", + 1, + 0, + true + ], + [ + "IDLE", + 1, + [ + 0, + 1 + ] + ], + [ + "ADD", + 0, + 2, + 1 + ], + [ + "ADD", + 3, + 1, + -1 + ], + [ + "QUERY_SHEAR", + 2, + 0, + false + ], + [ + "ADD", + 0, + 2, + -1 + ], + [ + "ADD", + 3, + 1, + 1 + ], + [ + "LOCAL", + 3, + 1, + true + ], + [ + "IDLE", + 2, + [ + 0, + 1, + 3 + ] + ], + [ + "ADD", + 2, + 4, + 1 + ], + [ + "ADD", + 5, + 3, + -1 + ], + [ + "QUERY_SHEAR", + 4, + 1, + false + ], + [ + "ADD", + 2, + 4, + -1 + ], + [ + "ADD", + 5, + 3, + 1 + ], + [ + "LOCAL", + 5, + 2, + true + ], + [ + "IDLE", + 3, + [ + 0, + 1, + 3, + 5 + ] + ], + [ + "ADD", + 4, + 6, + 1 + ], + [ + "ADD", + 7, + 5, + -1 + ], + [ + "QUERY_SHEAR", + 6, + 2, + false + ], + [ + "ADD", + 4, + 6, + -1 + ], + [ + "ADD", + 7, + 5, + 1 + ], + [ + "LOCAL", + 7, + 3, + true + ], + [ + "IDLE", + 4, + [ + 0, + 1, + 3, + 5, + 7 + ] + ], + [ + "ADD", + 6, + 8, + 1 + ], + [ + "ADD", + 9, + 7, + -1 + ], + [ + "QUERY_SHEAR", + 8, + 3, + false + ], + [ + "ADD", + 6, + 8, + -1 + ], + [ + "ADD", + 9, + 7, + 1 + ], + [ + "LOCAL", + 9, + 4, + true + ], + [ + "IDLE", + 5, + [ + 0, + 1, + 3, + 5, + 7, + 9 + ] + ], + [ + "ADD", + 8, + 10, + 1 + ], + [ + "ADD", + 11, + 9, + -1 + ], + [ + "QUERY_SHEAR", + 10, + 4, + false + ], + [ + "ADD", + 8, + 10, + -1 + ], + [ + "ADD", + 11, + 9, + 1 + ], + [ + "LOCAL", + 11, + 5, + true + ], + [ + "IDLE", + 6, + [ + 0, + 1, + 3, + 5, + 7, + 9, + 11 + ] + ], + [ + "ADD", + 10, + 12, + 1 + ], + [ + "ADD", + 13, + 11, + -1 + ], + [ + "QUERY_SHEAR", + 12, + 5, + false + ], + [ + "ADD", + 10, + 12, + -1 + ], + [ + "ADD", + 13, + 11, + 1 + ], + [ + "LOCAL", + 13, + 6, + true + ], + [ + "IDLE", + 7, + [ + 0, + 1, + 3, + 5, + 7, + 9, + 11, + 13 + ] + ], + [ + "ADD", + 12, + 14, + 1 + ], + [ + "ADD", + 15, + 13, + -1 + ], + [ + "QUERY_SHEAR", + 14, + 6, + false + ], + [ + "ADD", + 12, + 14, + -1 + ], + [ + "ADD", + 15, + 13, + 1 + ], + [ + "LOCAL", + 15, + 7, + true + ], + [ + "ADD", + 14, + 16, + 1 + ], + [ + "ADD", + 17, + 15, + -1 + ], + [ + "QUERY_SHEAR", + 16, + 7, + false + ], + [ + "ADD", + 14, + 16, + -1 + ], + [ + "ADD", + 17, + 15, + 1 + ], + [ + "LOCAL", + 17, + 8, + true + ], + [ + "ADD", + 16, + 18, + 1 + ], + [ + "ADD", + 19, + 17, + -1 + ], + [ + "QUERY_SHEAR", + 18, + 8, + false + ], + [ + "ADD", + 16, + 18, + -1 + ], + [ + "ADD", + 19, + 17, + 1 + ], + [ + "LOCAL", + 19, + 9, + true + ], + [ + "ADD", + 18, + 20, + 1 + ], + [ + "ADD", + 21, + 19, + -1 + ], + [ + "QUERY_SHEAR", + 20, + 9, + false + ], + [ + "ADD", + 18, + 20, + -1 + ], + [ + "ADD", + 21, + 19, + 1 + ], + [ + "LOCAL", + 21, + 10, + true + ], + [ + "ADD", + 20, + 22, + 1 + ], + [ + "ADD", + 23, + 21, + -1 + ], + [ + "QUERY_SHEAR", + 22, + 10, + false + ], + [ + "ADD", + 20, + 22, + -1 + ], + [ + "ADD", + 23, + 21, + 1 + ], + [ + "LOCAL", + 23, + 11, + true + ], + [ + "ADD", + 22, + 24, + 1 + ], + [ + "ADD", + 25, + 23, + -1 + ], + [ + "QUERY_SHEAR", + 24, + 11, + false + ], + [ + "ADD", + 22, + 24, + -1 + ], + [ + "ADD", + 25, + 23, + 1 + ], + [ + "LOCAL", + 25, + 12, + true + ], + [ + "ADD", + 24, + 26, + 1 + ], + [ + "ADD", + 27, + 25, + -1 + ], + [ + "QUERY_SHEAR", + 26, + 12, + false + ], + [ + "ADD", + 24, + 26, + -1 + ], + [ + "ADD", + 27, + 25, + 1 + ], + [ + "LOCAL", + 27, + 13, + true + ], + [ + "ADD", + 26, + 28, + 1 + ], + [ + "ADD", + 29, + 27, + -1 + ], + [ + "QUERY_SHEAR", + 28, + 13, + false + ], + [ + "ADD", + 26, + 28, + -1 + ], + [ + "ADD", + 29, + 27, + 1 + ], + [ + "LOCAL", + 29, + 14, + true + ], + [ + "ADD", + 28, + 30, + 1 + ], + [ + "ADD", + 31, + 29, + -1 + ], + [ + "QUERY_SHEAR", + 30, + 14, + false + ], + [ + "ADD", + 28, + 30, + -1 + ], + [ + "ADD", + 31, + 29, + 1 + ], + [ + "LOCAL", + 31, + 15, + true + ], + [ + "SIGNED_SWAP", + 31, + 30 + ], + [ + "Q_POWER", + 30, + 2 + ], + [ + "LOCAL", + 32, + 15, + true + ], + [ + "SIGNED_SWAP", + 30, + 31 + ], + [ + "Q_POWER", + 31, + -2 + ], + [ + "IDLE", + 7, + [ + 17, + 19, + 21, + 23, + 25, + 27, + 29, + 31, + 32 + ] + ], + [ + "IDLE", + 8, + [ + 19, + 21, + 23, + 25, + 27, + 29, + 31, + 32 + ] + ], + [ + "IDLE", + 9, + [ + 21, + 23, + 25, + 27, + 29, + 31, + 32 + ] + ], + [ + "IDLE", + 10, + [ + 23, + 25, + 27, + 29, + 31, + 32 + ] + ], + [ + "IDLE", + 11, + [ + 25, + 27, + 29, + 31, + 32 + ] + ], + [ + "IDLE", + 12, + [ + 27, + 29, + 31, + 32 + ] + ], + [ + "IDLE", + 13, + [ + 29, + 31, + 32 + ] + ], + [ + "IDLE", + 14, + [ + 31, + 32 + ] + ], + [ + "ADD", + 30, + 28, + 1 + ], + [ + "ADD", + 29, + 31, + -1 + ], + [ + "ADD", + 28, + 26, + 1 + ], + [ + "ADD", + 27, + 29, + -1 + ], + [ + "ADD", + 26, + 24, + 1 + ], + [ + "ADD", + 25, + 27, + -1 + ], + [ + "ADD", + 24, + 22, + 1 + ], + [ + "ADD", + 23, + 25, + -1 + ], + [ + "ADD", + 22, + 20, + 1 + ], + [ + "ADD", + 21, + 23, + -1 + ], + [ + "ADD", + 20, + 18, + 1 + ], + [ + "ADD", + 19, + 21, + -1 + ], + [ + "ADD", + 18, + 16, + 1 + ], + [ + "ADD", + 17, + 19, + -1 + ], + [ + "ADD", + 16, + 14, + 1 + ], + [ + "ADD", + 15, + 17, + -1 + ], + [ + "ADD", + 14, + 12, + 1 + ], + [ + "ADD", + 13, + 15, + -1 + ], + [ + "ADD", + 12, + 10, + 1 + ], + [ + "ADD", + 11, + 13, + -1 + ], + [ + "ADD", + 10, + 8, + 1 + ], + [ + "ADD", + 9, + 11, + -1 + ], + [ + "ADD", + 8, + 6, + 1 + ], + [ + "ADD", + 7, + 9, + -1 + ], + [ + "ADD", + 6, + 4, + 1 + ], + [ + "ADD", + 5, + 7, + -1 + ], + [ + "ADD", + 4, + 2, + 1 + ], + [ + "ADD", + 3, + 5, + -1 + ], + [ + "ADD", + 2, + 0, + 1 + ], + [ + "ADD", + 1, + 3, + -1 + ], + [ + "SIGNED_SWAP", + 0, + 1 + ], + [ + "SIGNED_SWAP", + 2, + 3 + ], + [ + "SIGNED_SWAP", + 4, + 5 + ], + [ + "SIGNED_SWAP", + 6, + 7 + ], + [ + "SIGNED_SWAP", + 8, + 9 + ], + [ + "SIGNED_SWAP", + 10, + 11 + ], + [ + "SIGNED_SWAP", + 12, + 13 + ], + [ + "SIGNED_SWAP", + 14, + 15 + ], + [ + "SIGNED_SWAP", + 16, + 17 + ], + [ + "SIGNED_SWAP", + 18, + 19 + ], + [ + "SIGNED_SWAP", + 20, + 21 + ], + [ + "SIGNED_SWAP", + 22, + 23 + ], + [ + "SIGNED_SWAP", + 24, + 25 + ], + [ + "SIGNED_SWAP", + 26, + 27 + ], + [ + "SIGNED_SWAP", + 28, + 29 + ], + [ + "SIGNED_SWAP", + 30, + 31 + ] + ], + "prefix_pairs": 7, + "wrapper_sites": [ + { + "pair": 0, + "source_index": 0, + "stage": 0 + }, + { + "pair": 15, + "source_index": 99, + "stage": 32 + } + ] +} diff --git a/research/coupled-query-transport/verify.py b/research/coupled-query-transport/verify.py new file mode 100644 index 0000000000..60e86786ba --- /dev/null +++ b/research/coupled-query-transport/verify.py @@ -0,0 +1,398 @@ +#!/usr/bin/env python3 +"""Exact two-generation coupled-output transport. Apache-2.0. +New checker by zxv with substantial OpenAI Codex assistance. No subagents. +The pinned native endpoint is a premise; this does not replay its implementation. +""" +import argparse +import json +from collections import Counter +from fractions import Fraction as F +from hashlib import sha256 +from pathlib import Path +HERE=Path(__file__).resolve().parent +ROOT=HERE.parent.parent + +def need(ok,message): + if not ok:raise ValueError(message) + +def table(word): + out=[] + for x in range(512): + y=x;phase=0 + for g in word: + if g[0]=='P':y=sum(((q&y).bit_count()%2)<>j&1) + phase+=2*sum(((g[1][j]>>(j+1))&(y>>(j+1))).bit_count()%2 for j in range(9) if y>>j&1) + elif g[0]=='X':y^=g[1] + elif g[0]=='phase':phase+=g[1] + else:raise ValueError(g) + out.append((y,phase%4)) + if len({y for y,ph in out})!=512:raise ValueError('not monomial') + return out + +def inverse(t): + o=[None]*512 + for x,(y,p) in enumerate(t):o[y]=(x,-p%4) + return o + +def compose(a,b): + return [(a[y][0],(p+a[y][1])%4) for y,p in b] +def rot(v,p): + a,b=v + return [(a,b),(-b,a),(-a,-b),(b,-a)][p%4] +def mul(a,b):return(a[0]*b[0]-a[1]*b[1],a[0]*b[1]+a[1]*b[0]) +def power(a,k): + v=(1,0) + for _ in range(k):v=mul(v,a) + return v +def experiment(m,w,z,address): + """D1 W1 columns on central 0, private 1..8, private 9..16. + V uses Gaussian integer numerators /512; Z3 V uses /1024. + Each of the eight independent mode columns is tested on the same input + address. Owner coefficients stay outside the columnwise tensor product. + """ + VS=[];ZS=[] + M=m + for mode in range(8): + V=[] + for i in range(112): + d={} + if M[mode][i]: + a,ph=w[mode][i][address] + for mask in range(256): + v=rot(mul(power((1,1),8-mask.bit_count()),power((1,-1),mask.bit_count())),ph) + d[a^(mask<<1)]=(M[mode][i]*v[0],M[mode][i]*v[1]) + V.append(d) + zv=[] + for k in range(8): + d={} + for i in range(112): + if not M[k][i] or not V[i]:continue + t=z[k][i] + for a,v in V[i].items(): + local=(a&1)|((a>>9)<<1);b,ph=t[local] + dest=(a&510)|(b&1)|((b>>1)<<9) + v=rot(v,ph);old=d.get(dest,(0,0));d[dest]=(old[0]+M[k][i]*v[0],old[1]+M[k][i]*v[1]) + zv.append(d) + VS.append(V);ZS.append(zv) + + return VS,ZS + +def inner(a,b,denominator): + re=im=0 + for x,y in zip(a,b): + for at,(u,v) in x.items(): + r,s=y.get(at,(0,0));re+=u*r+v*s;im+=u*s-v*r + need(im==0,'real exact Gram entry') + return F(re,denominator**2) + +def residual_gram(v,zv): + need([[inner(a,b,512) for b in v] for a in v]== + [[F(14*(i==j)) for j in range(8)] for i in range(8)],'image Gram = 14 I') + return [[F(14*(i==j))-inner(a,b,1024)/14 for j,b in enumerate(zv)] for i,a in enumerate(zv)] + +def determinant(gram): + a=[r[:] for r in gram];det=F(1);pivots=[] + for j in range(8): + pivot=a[j][j];need(pivot>0,'positive residual pivot');pivots.append(pivot);det*=pivot + for k in range(j+1,8): + factor=a[k][j]/pivot + for t in range(j,8):a[k][t]-=factor*a[j][t] + return det,pivots + +# Q and D_s commute. W_s and Z_s retain literal noncommuting order. +def word_normal(word): + out=[];run=Counter() + def flush(): + for label in sorted(run): + e=run[label];out.extend([(label,1 if e>0 else -1)]*abs(e)) + run.clear() + for label,e in word: + if label=='Q' or label.startswith('D'):run[label]+=e + else:flush();out.append((label,e)) + flush();return tuple(out) + +def term(source,*ops):return {(source,word_normal(tuple((op,1) for op in ops))):F(1)} + +def plus(a,b,c=1): + out=dict(a) + for key,value in b.items(): + total=out.get(key,F(0))+c*value + if total:out[key]=total + else:out.pop(key,None) + return out + +def left(a,*ops): + out={} + for (source,word),value in a.items(): + key=source,word_normal(tuple(ops)+word);out[key]=out.get(key,F(0))+value + return {k:v for k,v in out.items() if v} + +def encoded(row): + return [{'input':s,'word':[[x,e] for x,e in w],'coefficient':str(c)} for (s,w),c in sorted(row.items())] + +def chronology(controller,wrong_query=False): + events=controller['physical_events'] + need(events[1]==['LOCAL',1,0,True] and events[8]==['LOCAL',3,1,True],'actual first backward FULLs') + need(events[5]==['QUERY_SHEAR',2,0,False] and events[12]==['QUERY_SHEAR',4,1,False],'actual thin consumers') + rows=[{} for _ in range(6)];observations={};snapshots={};helper_cross={} + for index in range(1,15): + e=events[index] + if e[0]=='LOCAL': + _,stage,pair,backward=e;need(backward and stage in (1,3),'declared FULL clip') + x,y=2*pair,2*pair+1 + if stage==3:helper_cross={k:-v for k,v in left(rows[y],('D3',1),('Z3',1)).items()} + rows[x]=plus(left(rows[x],('D'+str(stage),1)),left(rows[y],('D'+str(stage),1),('Q',1)),-1) + rows[x]=plus(rows[x],term('h'+str(stage),'D'+str(stage),'Q','W'+str(stage))) + rows[y]=left(rows[y],('D'+str(stage),1)) + elif e[0]=='IDLE': + _,pair,stages=e + for j in (2*pair,2*pair+1):rows[j]=left(rows[j],*[(('D'+str(stage)),1) for stage in reversed(stages)]) + elif e[0]=='ADD':rows[e[1]]=plus(rows[e[1]],rows[e[2]],e[3]) + elif e[0]=='QUERY_SHEAR': + _,stage,pair,backward=e;need(not backward,'lower thin shear') + x,y=2*pair,2*pair+1;response=left(rows[x],('Q',1 if wrong_query else -1)) + observations[str(stage)]=encoded(response);rows[y]=plus(rows[y],response) + else:raise ValueError('unexpected clip event') + if index in (7,14):snapshots[str(index)]=[encoded(r) for r in rows] + expected=[term('h1','D1','Q','W1'),term('h1','D1','W1'), + plus(term('h3','D3','Q','W3'),term('h1','D3','Q','D1','W1'),-1),term('h3','D3','W3'),{}, + plus(term('h3','D3','W3'),term('h1','D3','D1','W1'),-1)] + need(rows==expected,'two-generation literal debt transport') + need(helper_cross=={k:-v for k,v in term('h1','D3','Z3','D1','W1').items()},'second helper cross-contamination') + return {'event_indices_inclusive':[1,14],'observations':observations,'snapshots':snapshots, + 'second_helper_cross_contamination':encoded(helper_cross),'required_transfer_equation':'W3 T = D1 W1', + 'retained_paid_calls':{'coupled_FULL':2,'thin_H1':224,'IDLE_H16':224,'IDLE_H24':224}, + 'extra_coupled_target_credit':0} + +def exit_contract(m): + # Typed relations only: Qm Dm=Rm, Qh Dh=Rh, W Rh=Rm W, Rh Z=Z Rm. + rules={('Qm','Dm'):('Rm',),('Qh','Dh'):('Rh',),('W','Rh'):('Rm','W'),('Rh','Z'):('Z','Rm')} + def reduce(word): + word=tuple(word) + while True: + for j in range(len(word)-1): + if word[j:j+2] in rules:word=word[:j]+rules[word[j:j+2]]+word[j+2:];break + else:return word + def t(source,*word):return {(source,reduce(word)):F(1)} + def app(row,*word): + out={} + for (s,w),c in row.items(): + key=s,reduce(word+w);out[key]=out.get(key,F(0))+c + return {k:v for k,v in out.items() if v} + x=plus(plus(t('x','Dm'),t('y','Rm'),-1),t('h','Rm','W')) + y=t('y','Dm');h=plus(t('h','Dh'),t('y','Dh','Z'),-1) + b=app(app(y,'Qm'),'Z');restored=plus(app(h,'Qh'),b) + need(restored==t('h','Rh'),'all-input helper restoration from compressed response') + need(plus(x,app(restored,'W'),-1)==plus(t('x','Dm'),t('y','Rm'),-1),'ordinary main return') + need(plus(app(h,'Qh'),plus(b,t('dirty')))!=restored,'dirty response control') + need(plus(app(h,'Qh'),b,-1)!=restored,'wrong repair sign control') + edges=sum(bool(x) for r in m for x in r);need(edges==448,'actual code edge census') + return {'required_response':'b = Z Q Y (eight fields)', + 'ordinary_output':'Hout=QH+b=Rh; Xout=X-W Hout=Dx-Ry; Yout=Y', + 'with_compressed_response':{'paid_H1':8,'ADD':edges+8,'monomial_fieldmaps':240,'new_owned_fields':0,'borrowed_response_restored':True}, + 'with_full_response_QY':{'paid_H1':8,'ADD':2*edges,'monomial_fieldmaps':464,'new_owned_fields':0,'borrowed_response_restored':True}, + 'from_no_response':{'paid_H1':120,'ADD':2*edges,'monomial_fieldmaps':464,'COPY':112,'CLEAR':224,'new_owned_fields':112}, + 'existing_QUERY_source':'Q^-1(X+neighboring_X), rather than Z Q Y', + 'source_relative_no_response_rank_delta':120-8-8*8, + 'unfunded':['embedding of compressed observation at actual cut','complete compiler','recursive precision, tape movement and storage','outer admission']} + +def integer_root(n,k): + x=1<<((n.bit_length()+k-1)//k) + while True: + y=((k-1)*x+n//x**(k-1))//k + if y>=x:break + x=y + need(x**k<=n<(x+1)**k,'directed integer-root enclosure') + return x + +def budget(provider,controller): + selected=json.loads((HERE/'inputs/SELECTED-ARITHMETIC.json').read_text()) + original_local=Counter({int(k):v for k,v in provider['paid'].items()}) + original_local.update({1:8,8:8}) + helpers=Counter({int(k):v for k,v in provider['autonomous_native_helpers'].items()});helpers[9]+=8 + need(dict(original_local)=={int(k):v for k,v in selected['local_paid'].items()},'selected paid source binding') + need(dict(helpers)=={int(k):v for k,v in selected['local_helpers'].items()},'selected helper source binding') + paid=Counter();targets=Counter();backward=0 + for e in controller['physical_events']: + if e[0]=='LOCAL':paid.update(original_local);targets.update(helpers);backward+=int(e[3]) + elif e[0]=='QUERY_SHEAR':paid[1]+=112 + elif e[0]=='IDLE':paid[8*len(e[2])]+=224 + for row in controller['diagonal']:targets[1+8*sum(row[1:])]+=112 + need(dict(paid)=={int(k):v for k,v in selected['paid'].items()},'complete selected paid census') + need(dict(targets)=={int(k):v for k,v in selected['targets'].items()},'complete selected target census') + need(backward==16,'sixteen applicable backward calls, not all eighteen FULLs') + supplied=paid.copy();supplied[8]-=8*backward + bought=supplied.copy();bought[1]+=112*backward + need(sum(r*(targets[r]-paid[r]) for r in set(targets)|set(paid))==752,'selected rank surplus') + need(sum(r*(targets[r]-bought[r]) for r in set(targets)|set(bought))==-16,'fully charged rank screen') + # At a=1/250, r^(1-a)=r^(249/250), enclosed using integer roots. + scale=2**80 + powers={r:integer_root(r**249*scale**250,250) for r in set(targets)|set(bought)} + def margin(p): + lo=hi=0 + for r in powers: + c=targets[r]-p[r];v=powers[r] + lo+=c*(v if c>=0 else v+1);hi+=c*(v+1 if c>=0 else v) + return [str(F(lo,scale)),str(F(hi,scale))] + supplied_margin=margin(supplied);bought_margin=margin(bought) + need(F(supplied_margin[0])>0>F(bought_margin[1]),'charged .004 budget decision') + # PR5413's declared neutral completion: provider+8 H8 paid, and the + # eight coupled modes restored as H8 targets. This is a price comparison, + # not a replay or admission of that completion's native implementation. + neutral_paid=paid.copy();neutral_paid[1]-=18*8 + neutral_targets=targets.copy();neutral_targets[9]-=18*8;neutral_targets[8]+=18*8 + need(sum(neutral_paid.values())==64260 and sum(neutral_targets.values())==10928,'declared neutral comparison counts') + need(sum(r*n for r,n in neutral_paid.items())==238990 and sum(r*n for r,n in neutral_targets.items())==239742,'declared neutral comparison masses') + neutral_bought=neutral_paid.copy();neutral_bought[1]+=120*backward;neutral_bought[8]-=8*backward + new_targets=neutral_targets.copy();new_targets[9]+=8*backward;new_targets[8]-=8*backward + old_targets=targets;targets=new_targets + neutral_bought_margin=margin(neutral_bought);targets=old_targets + need(F(neutral_bought_margin[1])<0,'purchased response also fails neutral comparison') + return {'saving_tested':'1/250','applicable_backward_FULLs':backward, + 'target_rank_mass':sum(r*n for r,n in targets.items()),'selected_paid_rank_mass':sum(r*n for r,n in paid.items()), + 'selected_rank_surplus':752,'compressed_response_supplied_rank_surplus':1776, + 'compressed_response_bought_rank_surplus':-16, + 'supplied_response_signed_moment_interval':supplied_margin,'bought_response_signed_moment_interval':bought_margin, + 'bought_response_delta_over_selected':{'H1':1792,'H8':-128}, + 'neutral_completion_comparison':{'source_PR':5413,'head':'0c1fa2f47fb5ea17b93a4b67063d08e49cc38e51','scope':'Declared price profile only; no primary native or admission replay.', + 'replaced_unwrapped_backward_calls':16,'signed_moment_interval_at_004':neutral_bought_margin, + 'bought_response_rank_surplus':sum(r*(new_targets[r]-neutral_bought[r]) for r in set(new_targets)|set(neutral_bought))}, + 'interpretation':'Supplying b is an unresolved enabling assumption. Buying QY independently fails the charged screen; all old thin queries remain paid.'} + +def exit_program(m,kind): + """Literal field program; monomials reference the pinned Kp/Km words.""" + ops=[] + def mono(bank,n,label,sign=1): + ops.extend([['MONOMIAL',bank+str(i),label+str(i),sign] for i in range(n)]) + if kind=='purchased': + for i in range(112):ops.extend([['CLEAR','v'+str(i)],['COPY','v'+str(i),'y'+str(i)],['H1','v'+str(i)]]) + ops.extend([['H1','h'+str(k)] for k in range(8)]) + if kind=='compressed':ops.extend([['ADD','h'+str(k),'b'+str(k),'1'] for k in range(8)]) + mono('h',8,'Km') + if kind!='compressed': + mono('v',112,'Kp') + for k in range(8): + for i in range(112): + if m[k][i]:ops.append(['ADD','h'+str(k),'v'+str(i),str(F(m[k][i],2))]) + mono('v',112,'Kp',-1) + mono('x',112,'Kp') + for i in range(112): + for k in range(8): + if m[k][i]:ops.append(['ADD','x'+str(i),'h'+str(k),str(F(-m[k][i],2))]) + mono('x',112,'Kp',-1);mono('h',8,'Km',-1) + if kind=='purchased':ops.extend([['CLEAR','v'+str(i)] for i in range(112)]) + return ops + +def check_exit_program(m,kind,ops): + # Free signed monomial words retain the source index and operator order. + def reduce(word): + out=[] + for x in word: + if out and out[-1]==(x[0],-x[1]):out.pop() + else:out.append(x) + return tuple(out) + def app(row,*word): + out={} + for (s,w),c in row.items(): + key=s,reduce(word+w);out[key]=out.get(key,F(0))+c + return {k:v for k,v in out.items() if v} + names=['x'+str(i) for i in range(112)]+['y'+str(i) for i in range(112)]+['h'+str(k) for k in range(8)] + names+=['b'+str(k) for k in range(8)] if kind=='compressed' else ['v'+str(i) for i in range(112)] + original={name:{(name,()):F(1)} for name in names};rows={k:dict(v) for k,v in original.items()};counts=Counter() + for e in ops: + op,dst=e[:2];need(dst in rows,'actual exit field ID');counts[op]+=1 + if op=='CLEAR':need(kind=='purchased' and dst.startswith('v'),'CLEAR only owned observation');rows[dst]={} + elif op=='COPY':need(kind=='purchased' and not rows[dst] and e[2] in rows,'COPY owned zero');rows[dst]=dict(rows[e[2]]) + elif op=='H1':rows[dst]=app(rows[dst],('Q',1)) + elif op=='ADD':need(dst!=e[2] and e[2] in rows,'distinct exit ADD');rows[dst]=plus(rows[dst],rows[e[2]],F(e[3])) + elif op=='MONOMIAL':need(e[2].startswith(('Kp','Km')) and e[3] in (-1,1),'source signed monomial');rows[dst]=app(rows[dst],(e[2],e[3])) + else:raise ValueError('unknown exit instruction') + expected={k:dict(v) for k,v in original.items()};ho=[] + for k in range(8): + h=app(original['h'+str(k)],('Q',1)) + if kind=='compressed':h=plus(h,original['b'+str(k)]) + else: + for i in range(112): + if m[k][i]: + value=app(original['y'+str(i)],('Q',1)) if kind=='purchased' else original['v'+str(i)] + h=plus(h,app(value,('Km'+str(k),-1),('Kp'+str(i),1)),F(m[k][i],2)) + ho.append(h);expected['h'+str(k)]=h + for i in range(112): + for k in range(8): + if m[k][i]:expected['x'+str(i)]=plus(expected['x'+str(i)],app(ho[k],('Kp'+str(i),-1),('Km'+str(k),1)),F(-m[k][i],2)) + if kind=='purchased': + for i in range(112):expected['v'+str(i)]={} + need(rows==expected,'all exit inputs, borrowed values and owned returns') + expected_counts={'compressed':{'H1':8,'ADD':456,'MONOMIAL':240},'full_response':{'H1':8,'ADD':896,'MONOMIAL':464},'purchased':{'H1':120,'ADD':896,'MONOMIAL':464,'COPY':112,'CLEAR':224}} + need(dict(counts)==expected_counts[kind],'literal complete exit census') + payload=json.dumps(ops,separators=(',',':')).encode() + return {'operation_counts':dict(counts),'literal_operations':len(ops),'program_payload_sha256':sha256(payload).hexdigest(),'all_adapter_input_columns_checked':len(names)} + +def compute(): + pins=json.loads((HERE/'SOURCES.json').read_text()) + for p in pins['files']: + if p['usage']=='input':need(sha256((ROOT/p['path']).read_bytes()).hexdigest()==p['sha256'],'changed input '+p['path']) + normal=json.loads((ROOT/'research/coded-native-caller/NORMALIZERS.json').read_text()) + provider=json.loads((HERE/'inputs/PROVIDER.json').read_text()) + controller=json.loads((ROOT/'research/joint-helper-lattice/CONTROLLER.json').read_text()) + m=normal['mode_columns'];need(len(m)==8 and all(len(r)==112 for r in m),'8 by 112 modes') + need(all(x in (-1,0,1) for r in m for x in r),'signed mode entries') + need([[sum(a*b for a,b in zip(r,s)) for s in m] for r in m]==[[56*(i==j) for j in range(8)] for i in range(8)],'M transpose M = 56 I') + kt=[table(p['K_word']) for p in normal['ports']] + mt=[table(p['input_K']['literal_word']) for p in provider['mode_boundaries']] + need(len(kt)==112 and len(mt)==8,'120 literal physical maps') + identity=[(i,0) for i in range(512)] + need(all(compose(inverse(t),t)==identity for t in kt+mt),'all signed inverse products') + w=[[compose(inverse(kt[i]),mt[k]) for i in range(112)] for k in range(8)] + z=[[compose(inverse(mt[k]),kt[i]) for i in range(112)] for k in range(8)] + need(all(z[k][i]==inverse(w[k][i]) for k in range(8) for i in range(112)),'Z = W adjoint') + v,zv=experiment(m,w,z,0);g0=residual_gram(v,zv);need(g0==[[0]*8 for _ in range(8)],'zero-address false positive') + # A one-stage absolute-phase mismatch preserves all address permutations. + badw=[[list(t) for t in row] for row in w] + for k in range(8):badw[k][0]=[(a,(ph+1)%4) for a,ph in badw[k][0]] + bv,bz=experiment(m,badw,z,0) + try:phase_rejected=residual_gram(bv,bz)!=g0 + except ValueError:phase_rejected=True + need(phase_rejected,'absolute-phase-only stage mutation rejected') + v,zv=experiment(m,w,z,1);gram=residual_gram(v,zv);det,pivots=determinant(gram) + need(gram[0][0]==F(173,14),'nonzero-address physical witness') + need(det==F(1389039784345493055,26985857024),'full-rank eight-mode residual') + successor=json.loads((HERE/'inputs/SUCCESSOR-CONTROLLER.json').read_text()) + need(successor['physical_events'][5:19]==controller['physical_events'][1:15],'successor preserves both actual query contacts') + trace=chronology(controller) + trace['successor_event_indices_inclusive']=[5,18] + trace['successor_clip_is_identical']=True + try:chronology(controller,wrong_query=True) + except ValueError:pass + else:raise ValueError('accepted reversed query') + programs={kind:exit_program(m,kind) for kind in ('compressed','full_response','purchased')} + adapter_checks={kind:check_exit_program(m,kind,ops) for kind,ops in programs.items()} + bad=[e[:] for e in programs['purchased']];bad.pop(next(i for i,e in enumerate(bad) if e[0]=='CLEAR')) + try:check_exit_program(m,'purchased',bad) + except ValueError:pass + else:raise ValueError('accepted uncleared borrowed observation input') + return {'schema_version':1,'status':'PASS_TWO_GENERATION_COUPLED_QUERY_TRANSPORT', + 'scope':'First two backward FULLs and following thin consumers. No complete supplier or kappa.', + 'physical_witness':{'fiber_width':1,'global_address_bits':17,'input_address':1,'input_modes':8, + 'zero_address_residual_rank':0,'nonzero_address_residual_Gram':[[str(x) for x in r] for r in gram], + 'positive_elimination_pivots':list(map(str,pivots)),'determinant':str(det),'residual_rank':8, + 'conclusion':'No linear T, including arbitrary address operators, satisfies W3 T = D1 W1.'}, + 'chronology':trace,'exit_contract':exit_contract(m),'literal_exit_program_checks':adapter_checks,'complete_recursive_screen':budget(provider,controller), + 'controls':['120 signed monomial inverse identities','Z = W adjoint','M transpose M = 56 I', + 'zero-address acceptance and nonzero-address rejection','absolute-phase-only stage mutation rejected','wrong chronological query rejected','dirty response rejected','wrong repair sign rejected','missing owned observation initialization rejected'], + 'provider_native_replay':'Not run; source endpoint is an explicit premise.','new_kappa':None} + +def main(): + ap=argparse.ArgumentParser();ap.add_argument('--write-result',action='store_true');ap.add_argument('--emit-exits',type=Path);args=ap.parse_args() + result=compute();path=HERE/'RESULT.json' + if args.write_result:path.write_text(json.dumps(result,indent=2)+'\n') + else:need(json.loads(path.read_text())==result,'result does not reproduce') + if args.emit_exits: + m=json.loads((ROOT/'research/coded-native-caller/NORMALIZERS.json').read_text())['mode_columns'] + args.emit_exits.write_text(json.dumps({kind:exit_program(m,kind) for kind in ('compressed','full_response','purchased')},indent=2)+'\n') + print(result['status']) + +if __name__=='__main__':main()