From 512dd853a8094fdfd34796a295ba2044a5b4c963 Mon Sep 17 00:00:00 2001 From: Ali Romman <226877337+aliromman@users.noreply.github.com> Date: Fri, 23 Oct 2026 12:57:24 -0500 Subject: [PATCH] Prove P104 helper endpoint stops retain the 208-lifetime floor --- research/p104-helper-endpoint-stops/README.md | 168 + .../p104-helper-endpoint-stops/RESULT.json | 4926 +++++++++++++++++ .../p104-helper-endpoint-stops/SOURCES.json | 48 + research/p104-helper-endpoint-stops/TASK.json | 134 + .../p104-helper-endpoint-stops/VERIFY.json | 40 + research/p104-helper-endpoint-stops/verify.py | 217 + 6 files changed, 5533 insertions(+) create mode 100644 research/p104-helper-endpoint-stops/README.md create mode 100644 research/p104-helper-endpoint-stops/RESULT.json create mode 100644 research/p104-helper-endpoint-stops/SOURCES.json create mode 100644 research/p104-helper-endpoint-stops/TASK.json create mode 100644 research/p104-helper-endpoint-stops/VERIFY.json create mode 100644 research/p104-helper-endpoint-stops/verify.py diff --git a/research/p104-helper-endpoint-stops/README.md b/research/p104-helper-endpoint-stops/README.md new file mode 100644 index 0000000000..4496406d7c --- /dev/null +++ b/research/p104-helper-endpoint-stops/README.md @@ -0,0 +1,168 @@ +# P104 endpoint stops cannot evade the relay floor + +The 208-lifetime monotone correction floor survives every nested refinement +of the original G/Q/D helper transports, with arbitrary read-only contacts +at the new stops. This changes the fixed-path premise in the actual-helper +read audit. It answers the part of that handoff that inserts frames inside +existing jumps while retaining all original operations and endpoints. + +There are exactly 52 possible new target-endpoint contacts across 32 of the +362 original helper transports. They reach 31 of the 104 target endpoints. +Every contact is on a D helper and has its source projection in the root +code K. The predecessor already grants all of K for free at every frame. +Thus none of these new contacts supplies the missing local information. +The 208 floor itself is credited to the prior relay and quotient proofs; +the new result is its extension to these changed paths. + +## Exact domain + +Retain the frozen 4,058-event P104 word, its 104 X sources, 104 additive +Y targets, 72 G/Q/D dirty helpers and eight private C lifetimes. Replace +any original G/Q/D transport V -> W by any finite strictly increasing +chain V < V1 < ... < W. Insert any read-only contacts at these stops. +Keep every original scalar event, copy, erase, source/target path and +private descent, in its original order. No new update can write an +original X/G/Q/D/C register. Targets remain unread and receive additive +writes only. The original helper's logical value is constant within each +refined transport. Different choices can be combined wherever nestedness +permits; the theorem is not limited to one stop or one helper. + +Added correction helpers obey the predecessor model: arbitrary finite +equal-frame linear mixing and relays, rational input-independent scalars, +increasing frame paths, independent initial dirt, and free code inputs. +Each initialization starts a lifetime. Dirty restoration is relaxed for +the lower bound. The statement concerns lifetimes, not simultaneous stock +or recursive excess rank. Changing original captures, retiming original +operations, new descents, target feedback, or a path outside an original +transport interval is outside this theorem. + +## Complete contact census + +Let R contain the doubled ordered P104 roots as columns, and K=row_Q(R). +The exact identity R R^T=104 I gives the membership test for a source row z: + +```text +alpha = z R^T / 104 +z belongs to K exactly when z = alpha R. +``` + +The checker reconstructs the roots and replays the entire source word on +all 280 independent inputs with sparse integer rows at scale four. Each +scalar operation must preserve this integer grid. Before every one of the +362 G/Q/D transports, it stores the actual complete row and both frames. +For every target endpoint H, it checks V < H < W. There are 52 pairs. +A second enumeration represents each H by its unique nonzero binary normal +and tests that normal on the lower-frame generators. Since H has dimension +eight in dimension nine, W must be FULL. The two complete pair sets agree. + +| Lower frame dimension | Possible contacts | Old child | New children | +| --- | ---: | ---: | --- | +| 5 | 40 | H4 | H3 + H1 | +| 6 | 12 | H3 | H2 + H1 | + +The rows have nonzero code projections, not zero source dependence. For +example, event 3578 transports D0 from dimension five to FULL. It can stop +at Y26's or Y28's endpoint. Its exact row has independent D0 and Q0 dirt, +and source coefficients alpha=(0,0,0,0,0,-1,1,0). The eight code forms in +the complete census are the retained private fanout forms. RESULT.json +records every event, target, frame, code coordinate and full input row. +The alternative contacts on one transport are not all simultaneously +available: distinct target hyperplanes are incomparable. + +The checker also replaces each of the 52 source transports by its actual +two-step word and replays all 4,059 events on all 280 inputs. Every original +endpoint, dirty restoration, frame contract and exact profile delta agrees. +This checks all 78,400 endpoint coefficients per word, not sampled inputs. + +## Extension of the arrival proof + +For a frame V, put U(V)=span_Q{e_s : source label q_s lies in V}. The pinned +actual-helper audit proves that every original register at V supplies only +K+U(V), including its unfinished captures. Its private descents carry K. +At an inserted frame Z between V and W, the unchanged logical row is still +in K+U(V), hence in K+U(Z). Thus every original read still preserves the +quotient invariant for new correction helpers. + +The old proof used absence of original-helper endpoint contacts. That +literal premise becomes false after refinement. Replace it with the new +complete census: every newly possible original-helper row at an endpoint +H lies in K. All original source and private paths remain unchanged. Thus +original endpoint reads still have zero local component in U(H). + +The inherited finite certificates give K intersect U(H)={0} for each of +the 104 endpoints. They also show that, after granting every proper earlier +target-frame contribution for free, the still-required source labels span +the eight-dimensional H. At most one new helper arrival from a proper +V < H could supply local support only in V. Code inputs and all new +original-helper endpoint reads have zero local component. They cannot +complete the spanning set of required labels. Therefore each endpoint +still needs two distinct new helper lifetimes. The 104 hyperplanes are +incomparable, so one increasing lifetime cannot serve two of them. The +lower bound remains 2*104=208 for every finite refinement in the domain. + +The verifier reruns all 2,458 source-decomposition states and all 104 +geometry/minor certificates through the pinned predecessor checker and +compares them with its retained receipt. That checker and its theorem are +explicit dependencies. The new integer replay and normal enumeration use +different representations; this is not independent human acceptance. + +## Local cost and limits + +Each stop preserves the dimension-gap rank mass r=(r-1)+1. It does not +preserve a concave recursive tariff. For any 0 0, r in {3,4}. +``` + +Indeed, x^p has strictly decreasing positive derivative. Its increment +from r-1 to r is smaller than its increment from 0 to 1. The displayed +difference is therefore positive. This is the standard tariff comparison, +not a complete physical invoice. Different tariffs require separate prices. +No full native phase lowering or physical array execution is supplied. +Logical composition follows the chart identity, but the actual child +recipes, storage, head motion and read/disposal work remain paid obligations. + +No new correction circuit, universal P104 obstruction, selected supplier, +all-size multiplication theorem or new kappa is claimed. The selected +60403/20000000 and every frozen source stay unchanged. The result rules out +this specific rank-mass-preserving attempt to use endpoint stops as a new +information source. A useful successor must change an excluded premise. + +## Reproduction + +From the repository root, Python 3.12 and the standard library: + +```sh +python3 -I -W error -B research/p104-helper-endpoint-stops/verify.py +python3 -I -O -W error -B research/p104-helper-endpoint-stops/verify.py +python3 -B scripts/research_package.py --package research/p104-helper-endpoint-stops +``` + +The direct marker is `PASS_P104_HELPER_ENDPOINT_STOPS`. Replay is read-only +and checks source hashes before and after work. It compares the full typed +receipt. Controls reject an outside-code contamination, the actual earlier +unfinished outside-code G25 row, a wrong transport rank, missing dirty +cleanup and an omitted contact. Independent D and Q dirt remains present. +The G25 control prevents the false claim that all original helper values +are code-valued at all times. Source/receipt corruption is checked separately +on the Git-free export. No selected cold replay, Lean, Docker, independent +human review or proof-kernel acceptance is claimed. + +## Open next questions + +Can a changed capture or a route outside an original transport interval +bring outside-code information to a target endpoint? First name its actual +source row, time and frame, then account for displaced original work and +dirty restoration. Nested subdivision alone cannot provide that escape. + +## Attribution + +The base and all input pins are canonical main +ff3cc58e370d0f678e529246f8c73e8094e18fcf. Credit ywz65's actual-helper audit, +commdata2338's quotient proof, Philippe Van Velzen and Hiroki Kumazaki's +relay floor, Rohan Arun's source word, Chafik Boukhalfa's retained native +inputs, Adam Gall's schedule, Josie Elliston's fixture, Ali Romman's carrier +work and all retained geometry notices. Their 208 floor and finite premises +are not new results here. Ali Romman prepared this extension with substantial +OpenAI Codex assistance in proof, code and verification. Apache-2.0. diff --git a/research/p104-helper-endpoint-stops/RESULT.json b/research/p104-helper-endpoint-stops/RESULT.json new file mode 100644 index 0000000000..2de4ed8822 --- /dev/null +++ b/research/p104-helper-endpoint-stops/RESULT.json @@ -0,0 +1,4926 @@ +{ + "status": "PASS_P104_HELPER_ENDPOINT_STOPS", + "contacts": [ + { + "event": 3578, + "role": "D0", + "target": 26, + "lower_dimension": 5, + "before": [ + 243, + 447, + 73, + 54, + 5 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 3, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D0": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3578, + "role": "D0", + "target": 28, + "lower_dimension": 5, + "before": [ + 243, + 447, + 73, + 54, + 5 + ], + "endpoint": [ + 243, + 499, + 23, + 59, + 107, + 3, + 11, + 5 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D0": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3580, + "role": "D1", + "target": 90, + "lower_dimension": 6, + "before": [ + 243, + 95, + 502, + 16, + 2, + 37 + ], + "endpoint": [ + 243, + 484, + 12, + 55, + 103, + 3, + 19, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D1": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3582, + "role": "D2", + "target": 55, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 6, + 32 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 431, + 83, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D2": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3582, + "role": "D2", + "target": 61, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 6, + 32 + ], + "endpoint": [ + 243, + 484, + 12, + 44, + 124, + 3, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D2": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3584, + "role": "D3", + "target": 33, + "lower_dimension": 5, + "before": [ + 243, + 95, + 502, + 16, + 32 + ], + "endpoint": [ + 243, + 484, + 12, + 44, + 124, + 3, + 19, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D3": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3584, + "role": "D3", + "target": 55, + "lower_dimension": 5, + "before": [ + 243, + 95, + 502, + 16, + 32 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 431, + 83, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D3": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3586, + "role": "D4", + "target": 66, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 20, + 51 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 80, + 3, + 60, + 5 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D4": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3586, + "role": "D4", + "target": 68, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 20, + 51 + ], + "endpoint": [ + 243, + 484, + 12, + 55, + 75, + 24, + 4, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + "full_input_row": { + "D4": "1", + "Q0": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3588, + "role": "D5", + "target": 56, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 32, + 20 + ], + "endpoint": [ + 243, + 484, + 12, + 44, + 75, + 24, + 4, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0" + ], + "full_input_row": { + "D5": "1", + "Q1": "1", + "X10": "2", + "X101": "-2", + "X102": "2", + "X11": "2", + "X12": "2", + "X14": "2", + "X21": "-2", + "X22": "-2", + "X23": "2", + "X3": "-2", + "X30": "-2", + "X31": "2", + "X36": "-2", + "X37": "-2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X5": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X57": "2", + "X58": "2", + "X6": "-2", + "X67": "-2", + "X68": "-2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X8": "2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "2", + "X94": "-2", + "X95": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3588, + "role": "D5", + "target": 62, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 32, + 20 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 103, + 3, + 447, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0" + ], + "full_input_row": { + "D5": "1", + "Q1": "1", + "X10": "2", + "X101": "-2", + "X102": "2", + "X11": "2", + "X12": "2", + "X14": "2", + "X21": "-2", + "X22": "-2", + "X23": "2", + "X3": "-2", + "X30": "-2", + "X31": "2", + "X36": "-2", + "X37": "-2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X5": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X57": "2", + "X58": "2", + "X6": "-2", + "X67": "-2", + "X68": "-2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X8": "2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "2", + "X94": "-2", + "X95": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3590, + "role": "D6", + "target": 89, + "lower_dimension": 5, + "before": [ + 243, + 95, + 502, + 2, + 37 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 124, + 47, + 4, + 2 + ], + "code_coordinates": [ + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0" + ], + "full_input_row": { + "D6": "1", + "Q1": "1", + "X10": "2", + "X101": "-2", + "X102": "2", + "X11": "2", + "X12": "2", + "X14": "2", + "X21": "-2", + "X22": "-2", + "X23": "2", + "X3": "-2", + "X30": "-2", + "X31": "2", + "X36": "-2", + "X37": "-2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X5": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X57": "2", + "X58": "2", + "X6": "-2", + "X67": "-2", + "X68": "-2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X8": "2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "2", + "X94": "-2", + "X95": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3590, + "role": "D6", + "target": 90, + "lower_dimension": 5, + "before": [ + 243, + 95, + 502, + 2, + 37 + ], + "endpoint": [ + 243, + 484, + 12, + 55, + 103, + 3, + 19, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0" + ], + "full_input_row": { + "D6": "1", + "Q1": "1", + "X10": "2", + "X101": "-2", + "X102": "2", + "X11": "2", + "X12": "2", + "X14": "2", + "X21": "-2", + "X22": "-2", + "X23": "2", + "X3": "-2", + "X30": "-2", + "X31": "2", + "X36": "-2", + "X37": "-2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X5": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X57": "2", + "X58": "2", + "X6": "-2", + "X67": "-2", + "X68": "-2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X8": "2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "2", + "X94": "-2", + "X95": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3592, + "role": "D7", + "target": 102, + "lower_dimension": 5, + "before": [ + 95, + 486, + 32, + 18, + 153 + ], + "endpoint": [ + 431, + 44, + 27, + 148, + 12, + 100, + 4, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0" + ], + "full_input_row": { + "D7": "1", + "Q1": "1", + "X10": "2", + "X101": "-2", + "X102": "2", + "X11": "2", + "X12": "2", + "X14": "2", + "X21": "-2", + "X22": "-2", + "X23": "2", + "X3": "-2", + "X30": "-2", + "X31": "2", + "X36": "-2", + "X37": "-2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X5": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X57": "2", + "X58": "2", + "X6": "-2", + "X67": "-2", + "X68": "-2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X8": "2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "2", + "X94": "-2", + "X95": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3592, + "role": "D7", + "target": 103, + "lower_dimension": 5, + "before": [ + 95, + 486, + 32, + 18, + 153 + ], + "endpoint": [ + 351, + 80, + 44, + 27, + 3, + 12, + 224, + 6 + ], + "code_coordinates": [ + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0" + ], + "full_input_row": { + "D7": "1", + "Q1": "1", + "X10": "2", + "X101": "-2", + "X102": "2", + "X11": "2", + "X12": "2", + "X14": "2", + "X21": "-2", + "X22": "-2", + "X23": "2", + "X3": "-2", + "X30": "-2", + "X31": "2", + "X36": "-2", + "X37": "-2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X5": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X57": "2", + "X58": "2", + "X6": "-2", + "X67": "-2", + "X68": "-2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X8": "2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "2", + "X94": "-2", + "X95": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3594, + "role": "D8", + "target": 17, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 22, + 2 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 15, + 7, + 2 + ], + "code_coordinates": [ + "0", + "0", + "-1", + "1", + "0", + "0", + "0", + "0" + ], + "full_input_row": { + "D8": "1", + "Q2": "1", + "X10": "2", + "X102": "2", + "X103": "-2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X18": "-2", + "X19": "-2", + "X20": "-2", + "X21": "-2", + "X22": "-2", + "X31": "2", + "X32": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X48": "-2", + "X49": "-2", + "X50": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X7": "2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X75": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X8": "2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X9": "2", + "X93": "2", + "X94": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3594, + "role": "D8", + "target": 62, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 22, + 2 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 103, + 3, + 447, + 1 + ], + "code_coordinates": [ + "0", + "0", + "-1", + "1", + "0", + "0", + "0", + "0" + ], + "full_input_row": { + "D8": "1", + "Q2": "1", + "X10": "2", + "X102": "2", + "X103": "-2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X18": "-2", + "X19": "-2", + "X20": "-2", + "X21": "-2", + "X22": "-2", + "X31": "2", + "X32": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X48": "-2", + "X49": "-2", + "X50": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X7": "2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X75": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X8": "2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X9": "2", + "X93": "2", + "X94": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3596, + "role": "D9", + "target": 55, + "lower_dimension": 6, + "before": [ + 243, + 95, + 447, + 22, + 6, + 32 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 431, + 83, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "-1", + "1", + "0", + "0", + "0", + "0" + ], + "full_input_row": { + "D9": "1", + "Q2": "1", + "X10": "2", + "X102": "2", + "X103": "-2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X18": "-2", + "X19": "-2", + "X20": "-2", + "X21": "-2", + "X22": "-2", + "X31": "2", + "X32": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X48": "-2", + "X49": "-2", + "X50": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X7": "2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X75": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X8": "2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X9": "2", + "X93": "2", + "X94": "-2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3598, + "role": "D10", + "target": 27, + "lower_dimension": 5, + "before": [ + 243, + 447, + 89, + 38, + 18 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 3, + 7, + 9 + ], + "code_coordinates": [ + "0", + "0", + "-1", + "1", + "0", + "0", + "0", + "0" + ], + "full_input_row": { + "D10": "1", + "Q2": "1", + "X10": "2", + "X102": "2", + "X103": "-2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X18": "-2", + "X19": "-2", + "X20": "-2", + "X21": "-2", + "X22": "-2", + "X31": "2", + "X32": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X48": "-2", + "X49": "-2", + "X50": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X7": "2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X75": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X8": "2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X9": "2", + "X93": "2", + "X94": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3598, + "role": "D10", + "target": 50, + "lower_dimension": 5, + "before": [ + 243, + 447, + 89, + 38, + 18 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 80, + 47, + 4, + 1 + ], + "code_coordinates": [ + "0", + "0", + "-1", + "1", + "0", + "0", + "0", + "0" + ], + "full_input_row": { + "D10": "1", + "Q2": "1", + "X10": "2", + "X102": "2", + "X103": "-2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X18": "-2", + "X19": "-2", + "X20": "-2", + "X21": "-2", + "X22": "-2", + "X31": "2", + "X32": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X48": "-2", + "X49": "-2", + "X50": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X7": "2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X75": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X8": "2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X9": "2", + "X93": "2", + "X94": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3600, + "role": "D11", + "target": 67, + "lower_dimension": 6, + "before": [ + 243, + 95, + 447, + 22, + 6, + 51 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 124, + 47, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "-1", + "1", + "0", + "0", + "0", + "0" + ], + "full_input_row": { + "D11": "1", + "Q2": "1", + "X10": "2", + "X102": "2", + "X103": "-2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X18": "-2", + "X19": "-2", + "X20": "-2", + "X21": "-2", + "X22": "-2", + "X31": "2", + "X32": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X48": "-2", + "X49": "-2", + "X50": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X7": "2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X75": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X8": "2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X9": "2", + "X93": "2", + "X94": "-2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3602, + "role": "D12", + "target": 26, + "lower_dimension": 6, + "before": [ + 243, + 447, + 73, + 54, + 2, + 5 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 3, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "-1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D12": "1", + "Q3": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "-2", + "X12": "-2", + "X13": "-2", + "X14": "2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "-2", + "X23": "2", + "X24": "2", + "X29": "-2", + "X3": "-2", + "X30": "-2", + "X33": "2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X46": "-2", + "X47": "2", + "X48": "2", + "X5": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X6": "-2", + "X61": "-2", + "X62": "-2", + "X63": "2", + "X64": "2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X77": "-2", + "X78": "-2", + "X79": "2", + "X80": "2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X91": "-2", + "X92": "-2", + "X95": "2", + "X96": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3604, + "role": "D13", + "target": 90, + "lower_dimension": 5, + "before": [ + 95, + 502, + 16, + 2, + 137 + ], + "endpoint": [ + 243, + 484, + 12, + 55, + 103, + 3, + 19, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "-1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D13": "1", + "Q3": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "-2", + "X12": "-2", + "X13": "-2", + "X14": "2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "-2", + "X23": "2", + "X24": "2", + "X29": "-2", + "X3": "-2", + "X30": "-2", + "X33": "2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X46": "-2", + "X47": "2", + "X48": "2", + "X5": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X6": "-2", + "X61": "-2", + "X62": "-2", + "X63": "2", + "X64": "2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X77": "-2", + "X78": "-2", + "X79": "2", + "X80": "2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X91": "-2", + "X92": "-2", + "X95": "2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3604, + "role": "D13", + "target": 91, + "lower_dimension": 5, + "before": [ + 95, + 502, + 16, + 2, + 137 + ], + "endpoint": [ + 499, + 23, + 232, + 59, + 107, + 15, + 7, + 2 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "-1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D13": "1", + "Q3": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "-2", + "X12": "-2", + "X13": "-2", + "X14": "2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "-2", + "X23": "2", + "X24": "2", + "X29": "-2", + "X3": "-2", + "X30": "-2", + "X33": "2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X46": "-2", + "X47": "2", + "X48": "2", + "X5": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X6": "-2", + "X61": "-2", + "X62": "-2", + "X63": "2", + "X64": "2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X77": "-2", + "X78": "-2", + "X79": "2", + "X80": "2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X91": "-2", + "X92": "-2", + "X95": "2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3606, + "role": "D14", + "target": 31, + "lower_dimension": 6, + "before": [ + 95, + 447, + 22, + 6, + 32, + 192 + ], + "endpoint": [ + 431, + 44, + 27, + 148, + 12, + 100, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "-1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D14": "1", + "Q3": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "-2", + "X12": "-2", + "X13": "-2", + "X14": "2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "-2", + "X23": "2", + "X24": "2", + "X29": "-2", + "X3": "-2", + "X30": "-2", + "X33": "2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X46": "-2", + "X47": "2", + "X48": "2", + "X5": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X6": "-2", + "X61": "-2", + "X62": "-2", + "X63": "2", + "X64": "2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X77": "-2", + "X78": "-2", + "X79": "2", + "X80": "2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X91": "-2", + "X92": "-2", + "X95": "2", + "X96": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3608, + "role": "D15", + "target": 62, + "lower_dimension": 6, + "before": [ + 243, + 95, + 447, + 22, + 32, + 2 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 103, + 3, + 447, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "-1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D15": "1", + "Q3": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "-2", + "X12": "-2", + "X13": "-2", + "X14": "2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "-2", + "X23": "2", + "X24": "2", + "X29": "-2", + "X3": "-2", + "X30": "-2", + "X33": "2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X46": "-2", + "X47": "2", + "X48": "2", + "X5": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X6": "-2", + "X61": "-2", + "X62": "-2", + "X63": "2", + "X64": "2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X77": "-2", + "X78": "-2", + "X79": "2", + "X80": "2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X91": "-2", + "X92": "-2", + "X95": "2", + "X96": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3610, + "role": "D16", + "target": 96, + "lower_dimension": 5, + "before": [ + 502, + 16, + 127, + 2, + 137 + ], + "endpoint": [ + 484, + 232, + 12, + 55, + 103, + 24, + 4, + 2 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D16": "1", + "Q4": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3610, + "role": "D16", + "target": 97, + "lower_dimension": 5, + "before": [ + 502, + 16, + 127, + 2, + 137 + ], + "endpoint": [ + 243, + 499, + 23, + 59, + 107, + 3, + 4, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D16": "1", + "Q4": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3612, + "role": "D17", + "target": 59, + "lower_dimension": 5, + "before": [ + 95, + 447, + 6, + 32, + 20 + ], + "endpoint": [ + 499, + 27, + 228, + 32, + 112, + 15, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D17": "1", + "Q4": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3612, + "role": "D17", + "target": 103, + "lower_dimension": 5, + "before": [ + 95, + 447, + 6, + 32, + 20 + ], + "endpoint": [ + 351, + 80, + 44, + 27, + 3, + 12, + 224, + 6 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D17": "1", + "Q4": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3614, + "role": "D18", + "target": 51, + "lower_dimension": 5, + "before": [ + 243, + 447, + 73, + 16, + 54 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 124, + 3, + 7, + 37 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D18": "1", + "Q4": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3614, + "role": "D18", + "target": 55, + "lower_dimension": 5, + "before": [ + 243, + 447, + 73, + 16, + 54 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 431, + 83, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D18": "1", + "Q4": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3616, + "role": "D19", + "target": 66, + "lower_dimension": 6, + "before": [ + 243, + 95, + 447, + 6, + 20, + 51 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 80, + 3, + 60, + 5 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + "full_input_row": { + "D19": "1", + "Q4": "1", + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3618, + "role": "D20", + "target": 33, + "lower_dimension": 5, + "before": [ + 243, + 95, + 486, + 32, + 18 + ], + "endpoint": [ + 243, + 484, + 12, + 44, + 124, + 3, + 19, + 1 + ], + "code_coordinates": [ + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D20": "1", + "Q5": "1", + "X1": "2", + "X10": "2", + "X100": "2", + "X101": "2", + "X102": "2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X2": "2", + "X22": "-2", + "X23": "-2", + "X24": "-2", + "X25": "-2", + "X26": "-2", + "X32": "-2", + "X35": "2", + "X37": "2", + "X38": "2", + "X39": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X5": "2", + "X54": "2", + "X58": "2", + "X6": "2", + "X60": "2", + "X61": "2", + "X62": "2", + "X63": "-2", + "X70": "2", + "X74": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X86": "-2", + "X92": "2", + "X93": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3618, + "role": "D20", + "target": 39, + "lower_dimension": 5, + "before": [ + 243, + 95, + 486, + 32, + 18 + ], + "endpoint": [ + 243, + 27, + 12, + 55, + 431, + 83, + 4, + 1 + ], + "code_coordinates": [ + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D20": "1", + "Q5": "1", + "X1": "2", + "X10": "2", + "X100": "2", + "X101": "2", + "X102": "2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X2": "2", + "X22": "-2", + "X23": "-2", + "X24": "-2", + "X25": "-2", + "X26": "-2", + "X32": "-2", + "X35": "2", + "X37": "2", + "X38": "2", + "X39": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X5": "2", + "X54": "2", + "X58": "2", + "X6": "2", + "X60": "2", + "X61": "2", + "X62": "2", + "X63": "-2", + "X70": "2", + "X74": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X86": "-2", + "X92": "2", + "X93": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3620, + "role": "D21", + "target": 31, + "lower_dimension": 5, + "before": [ + 95, + 502, + 16, + 32, + 137 + ], + "endpoint": [ + 431, + 44, + 27, + 148, + 12, + 100, + 7, + 1 + ], + "code_coordinates": [ + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D21": "1", + "Q5": "1", + "X1": "2", + "X10": "2", + "X100": "2", + "X101": "2", + "X102": "2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X2": "2", + "X22": "-2", + "X23": "-2", + "X24": "-2", + "X25": "-2", + "X26": "-2", + "X32": "-2", + "X35": "2", + "X37": "2", + "X38": "2", + "X39": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X5": "2", + "X54": "2", + "X58": "2", + "X6": "2", + "X60": "2", + "X61": "2", + "X62": "2", + "X63": "-2", + "X70": "2", + "X74": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X86": "-2", + "X92": "2", + "X93": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3620, + "role": "D21", + "target": 32, + "lower_dimension": 5, + "before": [ + 95, + 502, + 16, + 32, + 137 + ], + "endpoint": [ + 351, + 80, + 44, + 27, + 3, + 12, + 7, + 169 + ], + "code_coordinates": [ + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D21": "1", + "Q5": "1", + "X1": "2", + "X10": "2", + "X100": "2", + "X101": "2", + "X102": "2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X2": "2", + "X22": "-2", + "X23": "-2", + "X24": "-2", + "X25": "-2", + "X26": "-2", + "X32": "-2", + "X35": "2", + "X37": "2", + "X38": "2", + "X39": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X5": "2", + "X54": "2", + "X58": "2", + "X6": "2", + "X60": "2", + "X61": "2", + "X62": "2", + "X63": "-2", + "X70": "2", + "X74": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X86": "-2", + "X92": "2", + "X93": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3622, + "role": "D22", + "target": 25, + "lower_dimension": 5, + "before": [ + 243, + 447, + 89, + 38, + 21 + ], + "endpoint": [ + 243, + 499, + 23, + 59, + 107, + 3, + 11, + 1 + ], + "code_coordinates": [ + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D22": "1", + "Q5": "1", + "X1": "2", + "X10": "2", + "X100": "2", + "X101": "2", + "X102": "2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X2": "2", + "X22": "-2", + "X23": "-2", + "X24": "-2", + "X25": "-2", + "X26": "-2", + "X32": "-2", + "X35": "2", + "X37": "2", + "X38": "2", + "X39": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X5": "2", + "X54": "2", + "X58": "2", + "X6": "2", + "X60": "2", + "X61": "2", + "X62": "2", + "X63": "-2", + "X70": "2", + "X74": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X86": "-2", + "X92": "2", + "X93": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3622, + "role": "D22", + "target": 27, + "lower_dimension": 5, + "before": [ + 243, + 447, + 89, + 38, + 21 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 3, + 7, + 9 + ], + "code_coordinates": [ + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D22": "1", + "Q5": "1", + "X1": "2", + "X10": "2", + "X100": "2", + "X101": "2", + "X102": "2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X2": "2", + "X22": "-2", + "X23": "-2", + "X24": "-2", + "X25": "-2", + "X26": "-2", + "X32": "-2", + "X35": "2", + "X37": "2", + "X38": "2", + "X39": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X5": "2", + "X54": "2", + "X58": "2", + "X6": "2", + "X60": "2", + "X61": "2", + "X62": "2", + "X63": "-2", + "X70": "2", + "X74": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X86": "-2", + "X92": "2", + "X93": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3624, + "role": "D23", + "target": 33, + "lower_dimension": 6, + "before": [ + 243, + 95, + 502, + 16, + 32, + 2 + ], + "endpoint": [ + 243, + 484, + 12, + 44, + 124, + 3, + 19, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "-1" + ], + "full_input_row": { + "D23": "1", + "Q6": "1", + "X0": "2", + "X1": "-2", + "X10": "-2", + "X11": "-2", + "X16": "2", + "X17": "2", + "X18": "-2", + "X19": "-2", + "X2": "-2", + "X25": "2", + "X26": "2", + "X27": "-2", + "X28": "-2", + "X3": "2", + "X34": "2", + "X35": "-2", + "X36": "2", + "X37": "-2", + "X4": "2", + "X40": "2", + "X41": "-2", + "X46": "2", + "X47": "2", + "X48": "-2", + "X5": "-2", + "X53": "2", + "X54": "-2", + "X57": "2", + "X58": "-2", + "X59": "2", + "X6": "-2", + "X60": "-2", + "X63": "2", + "X64": "-2", + "X69": "2", + "X70": "-2", + "X73": "2", + "X74": "-2", + "X75": "2", + "X76": "-2", + "X8": "2", + "X81": "2", + "X82": "2", + "X83": "-2", + "X86": "2", + "X87": "-2", + "X9": "2", + "X91": "2", + "X92": "-2", + "X97": "2", + "X98": "-2", + "X99": "-2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3626, + "role": "D24", + "target": 18, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 6, + 20 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 15, + 7, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "-1" + ], + "full_input_row": { + "D24": "1", + "Q6": "1", + "X0": "2", + "X1": "-2", + "X10": "-2", + "X11": "-2", + "X16": "2", + "X17": "2", + "X18": "-2", + "X19": "-2", + "X2": "-2", + "X25": "2", + "X26": "2", + "X27": "-2", + "X28": "-2", + "X3": "2", + "X34": "2", + "X35": "-2", + "X36": "2", + "X37": "-2", + "X4": "2", + "X40": "2", + "X41": "-2", + "X46": "2", + "X47": "2", + "X48": "-2", + "X5": "-2", + "X53": "2", + "X54": "-2", + "X57": "2", + "X58": "-2", + "X59": "2", + "X6": "-2", + "X60": "-2", + "X63": "2", + "X64": "-2", + "X69": "2", + "X70": "-2", + "X73": "2", + "X74": "-2", + "X75": "2", + "X76": "-2", + "X8": "2", + "X81": "2", + "X82": "2", + "X83": "-2", + "X86": "2", + "X87": "-2", + "X9": "2", + "X91": "2", + "X92": "-2", + "X97": "2", + "X98": "-2", + "X99": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3626, + "role": "D24", + "target": 66, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 6, + 20 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 80, + 3, + 60, + 5 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "-1" + ], + "full_input_row": { + "D24": "1", + "Q6": "1", + "X0": "2", + "X1": "-2", + "X10": "-2", + "X11": "-2", + "X16": "2", + "X17": "2", + "X18": "-2", + "X19": "-2", + "X2": "-2", + "X25": "2", + "X26": "2", + "X27": "-2", + "X28": "-2", + "X3": "2", + "X34": "2", + "X35": "-2", + "X36": "2", + "X37": "-2", + "X4": "2", + "X40": "2", + "X41": "-2", + "X46": "2", + "X47": "2", + "X48": "-2", + "X5": "-2", + "X53": "2", + "X54": "-2", + "X57": "2", + "X58": "-2", + "X59": "2", + "X6": "-2", + "X60": "-2", + "X63": "2", + "X64": "-2", + "X69": "2", + "X70": "-2", + "X73": "2", + "X74": "-2", + "X75": "2", + "X76": "-2", + "X8": "2", + "X81": "2", + "X82": "2", + "X83": "-2", + "X86": "2", + "X87": "-2", + "X9": "2", + "X91": "2", + "X92": "-2", + "X97": "2", + "X98": "-2", + "X99": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3628, + "role": "D25", + "target": 97, + "lower_dimension": 6, + "before": [ + 243, + 502, + 16, + 127, + 2, + 5 + ], + "endpoint": [ + 243, + 499, + 23, + 59, + 107, + 3, + 4, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "-1" + ], + "full_input_row": { + "D25": "1", + "Q6": "1", + "X0": "2", + "X1": "-2", + "X10": "-2", + "X11": "-2", + "X16": "2", + "X17": "2", + "X18": "-2", + "X19": "-2", + "X2": "-2", + "X25": "2", + "X26": "2", + "X27": "-2", + "X28": "-2", + "X3": "2", + "X34": "2", + "X35": "-2", + "X36": "2", + "X37": "-2", + "X4": "2", + "X40": "2", + "X41": "-2", + "X46": "2", + "X47": "2", + "X48": "-2", + "X5": "-2", + "X53": "2", + "X54": "-2", + "X57": "2", + "X58": "-2", + "X59": "2", + "X6": "-2", + "X60": "-2", + "X63": "2", + "X64": "-2", + "X69": "2", + "X70": "-2", + "X73": "2", + "X74": "-2", + "X75": "2", + "X76": "-2", + "X8": "2", + "X81": "2", + "X82": "2", + "X83": "-2", + "X86": "2", + "X87": "-2", + "X9": "2", + "X91": "2", + "X92": "-2", + "X97": "2", + "X98": "-2", + "X99": "-2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3630, + "role": "D26", + "target": 63, + "lower_dimension": 5, + "before": [ + 95, + 447, + 22, + 2, + 192 + ], + "endpoint": [ + 499, + 27, + 228, + 55, + 103, + 15, + 7, + 2 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "-1" + ], + "full_input_row": { + "D26": "1", + "Q6": "1", + "X0": "2", + "X1": "-2", + "X10": "-2", + "X11": "-2", + "X16": "2", + "X17": "2", + "X18": "-2", + "X19": "-2", + "X2": "-2", + "X25": "2", + "X26": "2", + "X27": "-2", + "X28": "-2", + "X3": "2", + "X34": "2", + "X35": "-2", + "X36": "2", + "X37": "-2", + "X4": "2", + "X40": "2", + "X41": "-2", + "X46": "2", + "X47": "2", + "X48": "-2", + "X5": "-2", + "X53": "2", + "X54": "-2", + "X57": "2", + "X58": "-2", + "X59": "2", + "X6": "-2", + "X60": "-2", + "X63": "2", + "X64": "-2", + "X69": "2", + "X70": "-2", + "X73": "2", + "X74": "-2", + "X75": "2", + "X76": "-2", + "X8": "2", + "X81": "2", + "X82": "2", + "X83": "-2", + "X86": "2", + "X87": "-2", + "X9": "2", + "X91": "2", + "X92": "-2", + "X97": "2", + "X98": "-2", + "X99": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3630, + "role": "D26", + "target": 93, + "lower_dimension": 5, + "before": [ + 95, + 447, + 22, + 2, + 192 + ], + "endpoint": [ + 351, + 80, + 44, + 27, + 3, + 12, + 224, + 1 + ], + "code_coordinates": [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "-1" + ], + "full_input_row": { + "D26": "1", + "Q6": "1", + "X0": "2", + "X1": "-2", + "X10": "-2", + "X11": "-2", + "X16": "2", + "X17": "2", + "X18": "-2", + "X19": "-2", + "X2": "-2", + "X25": "2", + "X26": "2", + "X27": "-2", + "X28": "-2", + "X3": "2", + "X34": "2", + "X35": "-2", + "X36": "2", + "X37": "-2", + "X4": "2", + "X40": "2", + "X41": "-2", + "X46": "2", + "X47": "2", + "X48": "-2", + "X5": "-2", + "X53": "2", + "X54": "-2", + "X57": "2", + "X58": "-2", + "X59": "2", + "X6": "-2", + "X60": "-2", + "X63": "2", + "X64": "-2", + "X69": "2", + "X70": "-2", + "X73": "2", + "X74": "-2", + "X75": "2", + "X76": "-2", + "X8": "2", + "X81": "2", + "X82": "2", + "X83": "-2", + "X86": "2", + "X87": "-2", + "X9": "2", + "X91": "2", + "X92": "-2", + "X97": "2", + "X98": "-2", + "X99": "-2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3632, + "role": "D27", + "target": 97, + "lower_dimension": 5, + "before": [ + 243, + 502, + 16, + 127, + 5 + ], + "endpoint": [ + 243, + 499, + 23, + 59, + 107, + 3, + 4, + 1 + ], + "code_coordinates": [ + "1/2", + "1/2", + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D27": "1", + "Q7": "1", + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3632, + "role": "D27", + "target": 98, + "lower_dimension": 5, + "before": [ + 243, + 502, + 16, + 127, + 5 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 3, + 8, + 5 + ], + "code_coordinates": [ + "1/2", + "1/2", + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D27": "1", + "Q7": "1", + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3634, + "role": "D28", + "target": 103, + "lower_dimension": 6, + "before": [ + 95, + 447, + 6, + 32, + 20, + 192 + ], + "endpoint": [ + 351, + 80, + 44, + 27, + 3, + 12, + 224, + 6 + ], + "code_coordinates": [ + "1/2", + "1/2", + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D28": "1", + "Q7": "1", + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3636, + "role": "D29", + "target": 65, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 22, + 51 + ], + "endpoint": [ + 243, + 484, + 12, + 55, + 103, + 3, + 7, + 18 + ], + "code_coordinates": [ + "1/2", + "1/2", + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D29": "1", + "Q7": "1", + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3636, + "role": "D29", + "target": 67, + "lower_dimension": 5, + "before": [ + 243, + 95, + 447, + 22, + 51 + ], + "endpoint": [ + 243, + 27, + 12, + 467, + 124, + 47, + 7, + 1 + ], + "code_coordinates": [ + "1/2", + "1/2", + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D29": "1", + "Q7": "1", + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 4, + "added_ranks": [ + 3, + 1 + ] + }, + { + "event": 3638, + "role": "D30", + "target": 93, + "lower_dimension": 6, + "before": [ + 95, + 447, + 22, + 32, + 2, + 192 + ], + "endpoint": [ + 351, + 80, + 44, + 27, + 3, + 12, + 224, + 1 + ], + "code_coordinates": [ + "1/2", + "1/2", + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D30": "1", + "Q7": "1", + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + }, + { + "event": 3640, + "role": "D31", + "target": 27, + "lower_dimension": 6, + "before": [ + 243, + 447, + 89, + 38, + 18, + 7 + ], + "endpoint": [ + 243, + 499, + 27, + 55, + 103, + 3, + 7, + 9 + ], + "code_coordinates": [ + "1/2", + "1/2", + "1/2", + "-1/2", + "-1/2", + "1/2", + "1/2", + "1/2" + ], + "full_input_row": { + "D31": "1", + "Q7": "1", + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "removed_rank": 3, + "added_ranks": [ + 2, + 1 + ] + } + ], + "helper_transports": 362, + "endpoint_contacts": 52, + "source_events": 4058, + "targets": 31, + "split_word_replays": 52, + "endpoint_sha256": "2ea839bfad527352bd28244e8b0de826ceb462f0d4495952221558c3c1c18ec0", + "cases_by_lower_dimension": { + "5": 40, + "6": 12 + }, + "inherited_state_certificates": 2458, + "inherited_target_certificates": 104, + "helper_lifetime_floor": 208, + "controls": [ + "outside_code_added_source", + "actual_earlier_outside_code_row", + "wrong_transport_rank", + "missing_dirty_cleanup", + "omitted_contact", + "independent_D_and_Q_dirt_retained" + ] +} diff --git a/research/p104-helper-endpoint-stops/SOURCES.json b/research/p104-helper-endpoint-stops/SOURCES.json new file mode 100644 index 0000000000..218541feac --- /dev/null +++ b/research/p104-helper-endpoint-stops/SOURCES.json @@ -0,0 +1,48 @@ +{ + "schema_version": 1, + "base_commit": "ff3cc58e370d0f678e529246f8c73e8094e18fcf", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395", + "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72" + }, + { + "path": "research/p104-live-helper-reads/README.md", + "usage": "input", + "git_blob": "4e60ce5ff9c5938c343ea885a8c33efed087e3be", + "sha256": "af289610965076a00c1b22ac12e51d6ac5b79bc36ed44f4f6f030f96be67de87" + }, + { + "path": "research/p104-live-helper-reads/RESULT.json", + "usage": "input", + "git_blob": "efae4e6658be3bfc8e092d55bfa157e4147b3e94", + "sha256": "f1d017edaf0a24bff650fbff50350cb9998ce42e84d8c8714a4f0e4d513ba335" + }, + { + "path": "research/p104-live-helper-reads/verify.py", + "usage": "input", + "git_blob": "b477514af28b09c065f14967303a4ccdae4ab53f", + "sha256": "8bea9052b686886be01f01af6b2195b3d4d190ed957f580e381feb07d4778f73" + }, + { + "path": "research/p104-native-channel/inputs/LOWRANK-WITNESS.json", + "usage": "input", + "git_blob": "86beaf424e9f0f800ae3a62797d94ec9386b7706", + "sha256": "0f541bef7f19fdeffd67157684e9f03d785f42c89973632f508fc1a0452b580e" + }, + { + "path": "research/p104-native-channel/inputs/P104-FIXTURE.json", + "usage": "input", + "git_blob": "2e16f99b295bb386fd13bd8fbd57b42ef54143a9", + "sha256": "516c06f6ec3cb84be588c546108de897650288576dd5fbf5fe44b9c5546ad8a4" + } + ] +} diff --git a/research/p104-helper-endpoint-stops/TASK.json b/research/p104-helper-endpoint-stops/TASK.json new file mode 100644 index 0000000000..68fb7af982 --- /dev/null +++ b/research/p104-helper-endpoint-stops/TASK.json @@ -0,0 +1,134 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "priority_revision": 7, + "base_commit": "ff3cc58e370d0f678e529246f8c73e8094e18fcf", + "original_card": { + "id": "p104-side-correction", + "question": "Can a changed P104 producer/consumer contract escape the scoped slot, chart and completion obstructions with a favorable full bill?", + "starting_points": [ + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "research/p104-literal-slot-defect/README.md", + "research/p104-uniform-commutation-gap/README.md", + "research/p104-uniform-encoding-gap/README.md", + "research/p104-source-chart-shortcut/README.md", + "research/p104-fiber-tag-seam/README.md" + ], + "methods": [ + "Construct one side-correction word at an explicit chronological cut with the needed frames still available.", + "Derive a lower bound on the side correction and hosting costs that decides whether this channel can beat the selected budget." + ], + "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read the named successor obstructions before extending #2981 static flags. Distinguish literal-slot action, commutation, uniform encoding, source-chart shortcut and fiber-tag seam scopes; none excludes all P104 mechanisms.", + "scope": "Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately." + }, + "first_experiment": "Name one hypothesis changed from these exact interfaces. Write a literal producer-to-consumer timeline and an arbitrary-dirty-input positive/control pair, then charge acquisition, coefficients, completion, hosting and restoration. Stop if the same slot/fiber mismatch persists or the favorable full budget already fails. A scoped independent audit remains useful; another static count is not a new completion.", + "bottleneck_link": "Completing an already realized changed channel tests a concrete construction opportunity, instead of refining the incumbent packing. A positive local result still needs global and all-size admission.", + "allowed_variations": [ + "One correction factorization, one chronological cut, or one explicit hosting obstruction.", + "A changed correction schedule with an updated full bill and native frame contract." + ], + "scope_change_triggers": [ + "Recompiling the already certified low-rank channel without closing a new obligation.", + "Treating a pending ancestor, local histogram or unpriced side correction as an admitted global supplier.", + "Repeating a correction or physical conversion already supplied by a pending follow-up without adding independent coverage or a different unresolved obligation.", + "Repeating the 208-flag static matching or calling a static nested cover a chronological correction program. Independent audit of that certificate is distinct and remains useful.", + "Repeating a static cover, source-chart shortcut or fiber-tag seam without changing the hypothesis responsible for its obstruction." + ], + "overlap_terms": [ + "P104", + "I-G/2", + "side correction", + "native channel", + "1972", + "1991", + "2586", + "endpoint transport", + "physical dual", + "relay composition", + "2981", + "joint unit flags", + "acquisition delivery", + "static nesting", + "4133", + "4136", + "4140", + "4153", + "4154", + "p104-literal-slot-defect", + "p104-uniform-commutation-gap", + "p104-uniform-encoding-gap", + "p104-source-chart-shortcut", + "p104-fiber-tag-seam" + ], + "existing_checks": [ + { + "scope": "PR #4133: literal-slot defect", + "evidence": "research/p104-literal-slot-defect/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4136: uniform commutation gap", + "evidence": "research/p104-uniform-commutation-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4140: uniform encoding gap", + "evidence": "research/p104-uniform-encoding-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance", + "evidence": "research/p104-source-chart-shortcut/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4154: fiber-tag seam mismatch", + "evidence": "research/p104-fiber-tag-seam/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + } + ] + }, + "scope_status": "refined", + "actual_scope": "Extend the 208-lifetime P104 floor to arbitrary nested refinements of original G/Q/D transports, with read-only endpoint stops.", + "scope_change_reason": "Picker 904167b19d376846ce80866ec9c76d22 selected complex-mechanisms/p104-side-correction. The retained actual-helper audit asks for a changed path with endpoint information; this tests subdivision of existing jumps.", + "bottleneck_link": "Reject a concrete changed-path proposal before a larger correction construction; count all contacts and keep the tariff increase explicit.", + "budget_minutes": 60, + "stop_rule": "Stop after exact contact coverage, source-code membership, the inherited proof premises and local split pricing; do not infer a universal path obstruction.", + "outcome": "negative-result", + "evidence": "README.md, RESULT.json, verify.py", + "author": "Ali Romman", + "ai_assistance": "Substantial OpenAI Codex assistance; no independent human or proof-kernel review.", + "open_questions": [ + { + "question": "Can a changed capture or non-refinement route bring outside-code information to an endpoint?", + "why_it_matters": "Every nested endpoint stop found here is code-valued.", + "first_step": "Specify the actual row, chronology, new route and complete displaced/additional bill.", + "blocked_by": "A changed source or path premise is required." + } + ], + "coordination": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2245#discussioncomment-19151440" +} diff --git a/research/p104-helper-endpoint-stops/VERIFY.json b/research/p104-helper-endpoint-stops/VERIFY.json new file mode 100644 index 0000000000..2ab6ae1cd1 --- /dev/null +++ b/research/p104-helper-endpoint-stops/VERIFY.json @@ -0,0 +1,40 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/p104-live-helper-reads/README.md", + "research/p104-live-helper-reads/RESULT.json", + "research/p104-live-helper-reads/verify.py", + "research/p104-native-channel/inputs/LOWRANK-WITNESS.json", + "research/p104-native-channel/inputs/P104-FIXTURE.json" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-W", + "error", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Complete two-method contact census, all 52 split words, source-code membership and inherited quotient premises." + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-W", + "error", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "The complete explicit checks and controls with assertions disabled." + } + ] +} diff --git a/research/p104-helper-endpoint-stops/verify.py b/research/p104-helper-endpoint-stops/verify.py new file mode 100644 index 0000000000..eed1981b64 --- /dev/null +++ b/research/p104-helper-endpoint-stops/verify.py @@ -0,0 +1,217 @@ +"""Check every P104 helper endpoint stop and its unchanged quotient information. + +Ali Romman, substantial OpenAI Codex assistance. Apache-2.0. +""" +import argparse +from collections import Counter +from fractions import Fraction as F +from hashlib import sha256 +from itertools import combinations, product +import json +from pathlib import Path +import runpy + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +PREFIX = 'research/p104-native-channel/inputs/' +PREVIOUS = ROOT/'research/p104-live-helper-reads' + +def need(ok, message): + if not ok: + raise ValueError(message) + +def canonical(value): + return json.dumps(value, sort_keys=True, separators=(',', ':'), allow_nan=False) + +def authenticate(): + pins = json.loads((HERE/'SOURCES.json').read_text())['files'] + for row in pins: + if row['usage'] == 'input': + need(sha256((ROOT/row['path']).read_bytes()).hexdigest() == row['sha256'], 'source bytes: '+row['path']) + +def span(basis): + result = {0} + for v in basis: + result |= {q ^ v for q in tuple(result)} + return frozenset(result) + +def make_roots(fixture): + rows = set() + for i, j in combinations(range(8), 2): + for sign in (-1, 1): + row = [0]*8 + row[i], row[j] = 2, 2*sign + rows.add(tuple(row)) + for signs in product((-1, 1), repeat=7): + if sum(x == -1 for x in signs) % 2 == 0: + rows.add((1, *signs)) + removed = fixture['section4_explicit_P104'] + rows -= {tuple(v) for v in removed['F0']+removed['C']} + roots = sorted(rows) + need(len(roots) == 104, 'root count') + need([[sum(v[i]*v[j] for v in roots) for j in range(8)] for i in range(8)] == + [[104*int(i == j) for j in range(8)] for i in range(8)], 'tight root frame') + return roots + +def coordinates(row, roots): + source = [F(row.get(f'X{s}', 0), 4) for s in range(104)] + alpha = [sum(source[s]*roots[s][j] for s in range(104))/104 for j in range(8)] + need(all(source[s] == sum(alpha[j]*roots[s][j] for j in range(8)) for s in range(104)), 'outside root code') + return list(map(str, alpha)) + +def replay(word, roots, replacements=None): + """Use sparse integer rows at scale four for all 280 logical inputs.""" + frames = {k: span(v) for k, v in word['initial_frames'].items()} + rows = {k: {k: 4} for k in frames} + targets = [span(word['final_frames'][f'Y{t}']) for t in range(104)] + snapshots = [] + profile = Counter() + program = [] + for i, event in enumerate(word['program']): + program.extend(replacements.get(i, [event]) if replacements else [event]) + for index, event in enumerate(program): + op = event[0] + if op == 'add': + _, dst, src, scalar, chart = event + need(frames[dst] == frames[src] == span(chart), 'ADD frame') + a = F(scalar) + for key, value in tuple(rows[src].items()): + numerator = a.numerator*value + need(numerator % a.denominator == 0, 'quarter-grid exactness') + updated = rows[dst].get(key, 0)+numerator//a.denominator + if updated: + rows[dst][key] = updated + else: + rows[dst].pop(key, None) + elif op == 'transport': + _, role, before, after, rank = event + a, b = span(before), span(after) + need(frames[role] == a and (a < b or b < a), 'transport frame') + need(type(rank) is int and rank == abs(len(b).bit_length()-len(a).bit_length()), 'transport rank') + profile[rank] += 1 + if role[0] in 'GQD': + need(a < b, 'helper monotonicity') + snapshots.append((index, role, a, b, dict(rows[role]))) + frames[role] = b + elif op == 'zero': + need(event[1] not in rows, 'private birth') + rows[event[1]] = {} + frames[event[1]] = span(event[2]) + elif op == 'copy': + _, dst, src, chart = event + need(not rows[dst] and frames[dst] == frames[src] == span(chart), 'private copy') + rows[dst] = dict(rows[src]) + elif op == 'erase': + need(frames[event[1]] == span(event[2]), 'private erase') + del rows[event[1]], frames[event[1]] + else: + raise ValueError('unknown opcode') + need(frames == {k: span(v) for k, v in word['final_frames'].items()}, 'final frames') + for role, row in rows.items(): + expected = {role: 4} + if role.startswith('Y'): + t = int(role[1:]) + for s in range(104): + dot = sum(a*b for a, b in zip(roots[t], roots[s])) + need(dot % 2 == 0, 'integer target coefficient') + if dot: + expected[f'X{s}'] = dot//2 + need(row == expected, 'complete endpoint: '+role) + return snapshots, targets, profile, sha256(canonical(rows).encode()).hexdigest() + +def reject(action): + try: + action() + except ValueError: + return + raise ValueError('negative control accepted') + +def run(): + authenticate() + word = json.loads((ROOT/(PREFIX+'LOWRANK-WITNESS.json')).read_text()) + fixture = json.loads((ROOT/(PREFIX+'P104-FIXTURE.json')).read_text()) + roots = make_roots(fixture) + snapshots, targets, profile, endpoint = replay(word, roots) + contacts = [] + for event, role, before, after, row in snapshots: + for t, h in enumerate(targets): + if before < h < after: + lower = len(before).bit_length()-1 + contacts.append(dict(event=event, role=role, target=t, lower_dimension=lower, + before=word['program'][event][2], endpoint=word['final_frames'][f'Y{t}'], + code_coordinates=coordinates(row, roots), + full_input_row={k: str(F(v, 4)) for k, v in sorted(row.items())}, + removed_rank=9-lower, added_ranks=[8-lower, 1])) + # Independent enumeration uses annihilating normals, not set containment. + normals = [] + for h in targets: + candidates = [n for n in range(1, 512) if all((n&v).bit_count() % 2 == 0 for v in h)] + need(len(candidates) == 1, 'target hyperplane normal') + normals.append(candidates[0]) + second = set() + for index, event in enumerate(word['program']): + if event[0] != 'transport' or event[1][0] not in 'GQD': + continue + _, role, before, after, rank = event + if len(span(after)) != 512 or len(span(before)) >= 256: + continue + for t, normal in enumerate(normals): + if all((normal&v).bit_count() % 2 == 0 for v in before): + second.add((index, role, t)) + need(second == {(c['event'], c['role'], c['target']) for c in contacts}, 'complete contact census') + need(len(contacts) == 52 and len({c['event'] for c in contacts}) == 32, 'frozen contact count') + # Check all 52 actual split words, not only the original endpoint. + for c in contacts: + old = word['program'][c['event']] + replacements = {c['event']: [['transport', c['role'], old[2], c['endpoint'], c['added_ranks'][0]], + ['transport', c['role'], c['endpoint'], old[3], 1]]} + _, _, changed, digest = replay(word, roots, replacements) + expected = profile.copy() + expected[c['removed_rank']] -= 1 + expected.update(c['added_ranks']) + need(changed == expected and digest == endpoint, 'split word changes public endpoint or bill') + # Replay the exact inherited theorem premises with its retained checker. + old = runpy.run_path(str(PREVIOUS/'verify.py')) + retained = json.loads((PREVIOUS/'RESULT.json').read_text()) + old_summary, paths, labels = old['trace'](word, roots) + need(old_summary == retained['trace'] and old['geometry'](paths, labels, roots) == retained['targets'], + 'inherited quotient/arrival premises') + c = contacts[0] + row = {k: 4*F(v) for k, v in c['full_input_row'].items()} + mutated = dict(row) + mutated['X0'] = mutated.get('X0', 0)+4 + reject(lambda: coordinates(mutated, roots)) + # The earlier unfinished G25 row is outside K; it is a real scope boundary. + outside = retained['trace']['outside_code_example'] + reject(lambda: coordinates({k: 4*F(v) for k, v in outside['full_input_row'].items()}, roots)) + wrong = json.loads(json.dumps(word)) + wrong['program'][c['event']][4] += 1 + reject(lambda: replay(wrong, roots)) + wrong = json.loads(json.dumps(word)) + last_add = max(i for i, e in enumerate(wrong['program']) if e[0] == 'add') + wrong['program'][last_add][3] = '0' + reject(lambda: replay(wrong, roots)) + reject(lambda: need(second == {(x['event'], x['role'], x['target']) for x in contacts[1:]}, 'omitted contact')) + need(any(v.startswith('D') for v in row) and any(v.startswith('Q') for v in row), 'independent dirt retained') + authenticate() + return dict(status='PASS_P104_HELPER_ENDPOINT_STOPS', contacts=contacts, + helper_transports=len(snapshots), endpoint_contacts=len(contacts), + source_events=len(word['program']), targets=len({c['target'] for c in contacts}), + split_word_replays=len(contacts), endpoint_sha256=endpoint, + cases_by_lower_dimension=dict(sorted(Counter(str(c['lower_dimension']) for c in contacts).items())), + inherited_state_certificates=old_summary['state_certificates'], inherited_target_certificates=len(retained['targets']), + helper_lifetime_floor=208, + controls=['outside_code_added_source', 'actual_earlier_outside_code_row', 'wrong_transport_rank', + 'missing_dirty_cleanup', 'omitted_contact', 'independent_D_and_Q_dirt_retained']) + +if __name__ == '__main__': + parser = argparse.ArgumentParser() + parser.add_argument('--emit', action='store_true') + args = parser.parse_args() + expected = None if args.emit else json.loads((HERE/'RESULT.json').read_text()) + result = run() + if args.emit: + print(json.dumps(result, indent=2)) + else: + need(canonical(result) == canonical(expected), 'complete typed receipt') + print(result['status'])