From b46bd807db4bdf4fa86c20881d036bba7f64dcd6 Mon Sep 17 00:00:00 2001 From: Cinna Davis <1337isnot1337@users.noreply.github.com> Date: Wed, 14 Oct 2026 13:52:09 -0500 Subject: [PATCH] Add bounded rank-one boundary shear result --- .../README.md | 107 + .../RESULT.json | 8599 +++++++++++++++++ .../SOURCES.json | 66 + .../TASK.json | 84 + .../VERIFY.json | 28 + .../verify.py | 242 + 6 files changed, 9126 insertions(+) create mode 100644 research/rank1-transvection-boundary-seed0410/README.md create mode 100644 research/rank1-transvection-boundary-seed0410/RESULT.json create mode 100644 research/rank1-transvection-boundary-seed0410/SOURCES.json create mode 100644 research/rank1-transvection-boundary-seed0410/TASK.json create mode 100644 research/rank1-transvection-boundary-seed0410/VERIFY.json create mode 100644 research/rank1-transvection-boundary-seed0410/verify.py diff --git a/research/rank1-transvection-boundary-seed0410/README.md b/research/rank1-transvection-boundary-seed0410/README.md new file mode 100644 index 0000000000..a8701d8055 --- /dev/null +++ b/research/rank1-transvection-boundary-seed0410/README.md @@ -0,0 +1,107 @@ +# Rank-one transvections at the selected 112-port boundary + +**Outcome: bounded negative result. No new construction, supplier result, or κ is claimed.** + +This package tests one specific persistent-boundary idea on the selected pair-0 +stage-0 forward / stage-1 backward calls. Their pinned schedule entries are at +times 0 and 2. On each of 112 ports, the canonical word supplies an +8-dimensional output plane `B_p` and a 1-dimensional input line `L_p` in +`F_2^9`. The baseline pairs are disjoint: `rank(B_p + L_p) = 9`. + +## Exact finite result + +For each port, the verifier tests all 72 directed coordinate transvections + +`T_ij(x) = x + x_j e_i`, for `i != j` and `0 <= i,j < 9`, + +and accepts a map when `rank(T_ij(B_p) + L_p) = 8`. It verifies every map is +invertible, every baseline pair is disjoint, and every port has at least one +accepted map. The result is: + +- 77 ports have 6 compatible shears; 35 ports have 42. +- The census contains 1,932 port/shear incidences. +- No one directed coordinate shear works for all 112 ports. +- `RESULT.json` records the complete candidate list for each port. + +This expands on the literal shared-axis geometry checked in +[Discussion #1986](https://github.com/CrocSwap/integer-mult-bounds/discussions/1986). +It does not establish that any shear preserves the full scalar endpoints or can +be legally composed through the two local programs. Broader restoration +coalescing in [PR #1155](https://github.com/CrocSwap/integer-mult-bounds/pull/1155) +and the persistent prefix chain in +[PR #1930](https://github.com/CrocSwap/integer-mult-bounds/pull/1930) have +different scopes. Open [PR #2060](https://github.com/CrocSwap/integer-mult-bounds/pull/2060) +changes the source-update dependence premise and optimizes query delivery; its +binary-dependence constraint is distinct from these port-frame shear tests. +Discussion #2007's dirty-boundary adapter invoice is also a different contract. + +## Charged profile screen + +As an optimistic count-only scenario, suppose each port pays one rank-one +shear and actually removes two rank-one boundary transitions, with every other +profile entry unchanged. Across the selected 144 calls, the local rank-one +count would then fall by `112 / 144 = 7/9` per call, from 2,412 to 21,701/9. +This grants the proposed boundary idea all 224 transition deletions while +charging its 112 shears. It does not assign unproved savings to adapters, +owners, restoration, scheduling, or scalar endpoint work. + +Under the pinned selected-word ceiling model, the exact `a`-ceiling moves from + +`1690054109089 / 10^15` to `338060003381 / 200000000000000`. + +That is a 0.01455% increase in the ceiling, which weakens this profile-only +bound. Omitting the shear invoice raises it further. The coordinate-shear +version therefore fails its cost screen even under the favorable transition +deletion assumption. The result is limited to this local profile, selected +coverage law, and fixed 144-call schedule; it does not rule out other maps, +interfaces, or supplier constructions. + +The full scalar endpoint preservation, actual deletion at both calls, owner and +schedule legality after changing frames, and supplier integration remain +unverified. No new κ or closure claim follows. + +## Reproduce + +From the repository root: + +```sh +python3 -I -B research/rank1-transvection-boundary-seed0410/verify.py +python3 scripts/research_package.py --package research/rank1-transvection-boundary-seed0410 --check-only +``` + +The verifier checks the nine live source hashes in [SOURCES.json](SOURCES.json), +replays the exact bit-packed `F_2` census, and recomputes the profile ceiling using the +pinned `research/complex-local-word-ceiling/ceiling.py`. Its expected summary +is `PASS_RANK1_TRANSVECTION_BOUNDARY_SEED0410`; the full per-port certificate and +rational intervals are in [RESULT.json](RESULT.json). + +## Cycle provenance + +This is seed `0410adea86dfbb7cdf86b46ba736e993`, track +`recursive-interfaces`, task `persistent-boundary`, priority revision 3, on +base `e112d71c8d7bb32435debcc54df932593dd8223a`. The selected-record and +catalogue hashes, readable rejected selector draws, and claim expiry are in +[TASK.json](TASK.json). The live claim is +[Discussion #2072](https://github.com/CrocSwap/integer-mult-bounds/discussions/2072). +The final overlap refresh at 2026-10-14 18:49 UTC covered 350 open PRs and 729 +discussions/comments with complete pagination and no warnings; the focused +overlaps above were reviewed before recording this result. + +## Open next questions + +- **Question:** Can one common non-coordinate rank-one update `I + u v^T`, with + `v^T u = 0`, align all 112 plane/line pairs? +- **Why it matters:** A common update could avoid paying a different port-specific + frame operation at each boundary. +- **First step:** Derive the exact finite-field containment constraints + `L_p subset (I + u v^T) B_p` and solve for `u,v in F_2^9`. +- **Blocked by:** The current certificate covers only coordinate transvections; + any candidate still needs full scalar endpoint and schedule composition + before its cost can be credited. + +## Credit + +Prepared by OpenAI Codex with substantial OpenAI assistance; the exact work and +limits are disclosed in [TASK.json](TASK.json). The selected source and +predecessor attribution are pinned in [SOURCES.json](SOURCES.json). New work is +Apache-2.0. diff --git a/research/rank1-transvection-boundary-seed0410/RESULT.json b/research/rank1-transvection-boundary-seed0410/RESULT.json new file mode 100644 index 0000000000..e847da8ca5 --- /dev/null +++ b/research/rank1-transvection-boundary-seed0410/RESULT.json @@ -0,0 +1,8599 @@ +{ + "base_commit": "e112d71c8d7bb32435debcc54df932593dd8223a", + "geometry": { + "baseline_dimensions": { + "input_line": 1, + "output_plane": 8, + "sum": 9 + }, + "candidate_count_frequency": { + "42": 35, + "6": 77 + }, + "candidate_port_incidences": 1932, + "common_transvections": [], + "controls": { + "all_accepted_maps_involutions": true, + "port0_T_0_1": "accepted", + "port0_first_rejected": [ + 0, + 2 + ] + }, + "directed_transvections_per_port": 72, + "interpretation": "A port-specific coordinate shear aligns each tested frame pair; no one shear aligns all ports.", + "per_port_candidate_counts": [ + 6, + 42 + ], + "port_candidates": [ + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 3 + ], + [ + 1, + 0 + ], + [ + 1, + 3 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ] + ], + "input_frame_id": 8, + "output_frame_id": 833, + "port": 0 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 4 + ], + [ + 1, + 0 + ], + [ + 1, + 4 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ] + ], + "input_frame_id": 214, + "output_frame_id": 804, + "port": 1 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 5 + ], + [ + 1, + 0 + ], + [ + 1, + 5 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ] + ], + "input_frame_id": 67, + "output_frame_id": 863, + "port": 2 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 6 + ], + [ + 1, + 0 + ], + [ + 1, + 6 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ] + ], + "input_frame_id": 271, + "output_frame_id": 814, + "port": 3 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 7 + ], + [ + 1, + 0 + ], + [ + 1, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ] + ], + "input_frame_id": 301, + "output_frame_id": 816, + "port": 4 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ] + ], + "input_frame_id": 299, + "output_frame_id": 959, + "port": 5 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 2, + 0 + ], + [ + 2, + 3 + ], + [ + 3, + 0 + ], + [ + 3, + 2 + ] + ], + "input_frame_id": 211, + "output_frame_id": 917, + "port": 6 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 4 + ], + [ + 2, + 0 + ], + [ + 2, + 4 + ], + [ + 4, + 0 + ], + [ + 4, + 2 + ] + ], + "input_frame_id": 14, + "output_frame_id": 775, + "port": 7 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 5 + ], + [ + 2, + 0 + ], + [ + 2, + 5 + ], + [ + 5, + 0 + ], + [ + 5, + 2 + ] + ], + "input_frame_id": 273, + "output_frame_id": 948, + "port": 8 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 6 + ], + [ + 2, + 0 + ], + [ + 2, + 6 + ], + [ + 6, + 0 + ], + [ + 6, + 2 + ] + ], + "input_frame_id": 73, + "output_frame_id": 785, + "port": 9 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 7 + ], + [ + 2, + 0 + ], + [ + 2, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 2 + ] + ], + "input_frame_id": 43, + "output_frame_id": 779, + "port": 10 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 2 + ] + ], + "input_frame_id": 44, + "output_frame_id": 781, + "port": 11 + }, + { + "candidates": [ + [ + 0, + 3 + ], + [ + 0, + 5 + ], + [ + 3, + 0 + ], + [ + 3, + 5 + ], + [ + 5, + 0 + ], + [ + 5, + 3 + ] + ], + "input_frame_id": 95, + "output_frame_id": 869, + "port": 12 + }, + { + "candidates": [ + [ + 0, + 3 + ], + [ + 0, + 6 + ], + [ + 3, + 0 + ], + [ + 3, + 6 + ], + [ + 6, + 0 + ], + [ + 6, + 3 + ] + ], + "input_frame_id": 356, + "output_frame_id": 977, + "port": 13 + }, + { + "candidates": [ + [ + 0, + 3 + ], + [ + 0, + 7 + ], + [ + 3, + 0 + ], + [ + 3, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 3 + ] + ], + "input_frame_id": 328, + "output_frame_id": 971, + "port": 14 + }, + { + "candidates": [ + [ + 0, + 3 + ], + [ + 0, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 3 + ] + ], + "input_frame_id": 327, + "output_frame_id": 965, + "port": 15 + }, + { + "candidates": [ + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 4, + 0 + ], + [ + 4, + 5 + ], + [ + 5, + 0 + ], + [ + 5, + 4 + ] + ], + "input_frame_id": 361, + "output_frame_id": 978, + "port": 16 + }, + { + "candidates": [ + [ + 0, + 4 + ], + [ + 0, + 6 + ], + [ + 4, + 0 + ], + [ + 4, + 6 + ], + [ + 6, + 0 + ], + [ + 6, + 4 + ] + ], + "input_frame_id": 100, + "output_frame_id": 870, + "port": 17 + }, + { + "candidates": [ + [ + 0, + 4 + ], + [ + 0, + 7 + ], + [ + 4, + 0 + ], + [ + 4, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 4 + ] + ], + "input_frame_id": 128, + "output_frame_id": 888, + "port": 18 + }, + { + "candidates": [ + [ + 0, + 4 + ], + [ + 0, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 4 + ] + ], + "input_frame_id": 130, + "output_frame_id": 791, + "port": 19 + }, + { + "candidates": [ + [ + 0, + 5 + ], + [ + 0, + 7 + ], + [ + 5, + 0 + ], + [ + 5, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 5 + ] + ], + "input_frame_id": 390, + "output_frame_id": 990, + "port": 20 + }, + { + "candidates": [ + [ + 0, + 5 + ], + [ + 0, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 5 + ] + ], + "input_frame_id": 386, + "output_frame_id": 995, + "port": 21 + }, + { + "candidates": [ + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 6, + 0 + ], + [ + 6, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 187, + "output_frame_id": 906, + "port": 22 + }, + { + "candidates": [ + [ + 0, + 6 + ], + [ + 0, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 189, + "output_frame_id": 801, + "port": 23 + }, + { + "candidates": [ + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 159, + "output_frame_id": 795, + "port": 24 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ] + ], + "input_frame_id": 68, + "output_frame_id": 786, + "port": 25 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 4 + ], + [ + 2, + 1 + ], + [ + 2, + 4 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ] + ], + "input_frame_id": 276, + "output_frame_id": 813, + "port": 26 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 5 + ], + [ + 2, + 1 + ], + [ + 2, + 5 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ] + ], + "input_frame_id": 11, + "output_frame_id": 776, + "port": 27 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 6 + ], + [ + 2, + 1 + ], + [ + 2, + 6 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ] + ], + "input_frame_id": 217, + "output_frame_id": 803, + "port": 28 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 7 + ], + [ + 2, + 1 + ], + [ + 2, + 7 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ] + ], + "input_frame_id": 247, + "output_frame_id": 809, + "port": 29 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 8 + ], + [ + 2, + 1 + ], + [ + 2, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ] + ], + "input_frame_id": 245, + "output_frame_id": 930, + "port": 30 + }, + { + "candidates": [ + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 3, + 1 + ], + [ + 3, + 4 + ], + [ + 4, + 1 + ], + [ + 4, + 3 + ] + ], + "input_frame_id": 98, + "output_frame_id": 788, + "port": 31 + }, + { + "candidates": [ + [ + 1, + 3 + ], + [ + 1, + 6 + ], + [ + 3, + 1 + ], + [ + 3, + 6 + ], + [ + 6, + 1 + ], + [ + 6, + 3 + ] + ], + "input_frame_id": 155, + "output_frame_id": 798, + "port": 32 + }, + { + "candidates": [ + [ + 1, + 3 + ], + [ + 1, + 7 + ], + [ + 3, + 1 + ], + [ + 3, + 7 + ], + [ + 7, + 1 + ], + [ + 7, + 3 + ] + ], + "input_frame_id": 185, + "output_frame_id": 800, + "port": 33 + }, + { + "candidates": [ + [ + 1, + 3 + ], + [ + 1, + 8 + ], + [ + 3, + 1 + ], + [ + 3, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 3 + ] + ], + "input_frame_id": 183, + "output_frame_id": 911, + "port": 34 + }, + { + "candidates": [ + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 4, + 1 + ], + [ + 4, + 5 + ], + [ + 5, + 1 + ], + [ + 5, + 4 + ] + ], + "input_frame_id": 160, + "output_frame_id": 797, + "port": 35 + }, + { + "candidates": [ + [ + 1, + 4 + ], + [ + 1, + 7 + ], + [ + 4, + 1 + ], + [ + 4, + 7 + ], + [ + 7, + 1 + ], + [ + 7, + 4 + ] + ], + "input_frame_id": 385, + "output_frame_id": 989, + "port": 36 + }, + { + "candidates": [ + [ + 1, + 4 + ], + [ + 1, + 8 + ], + [ + 4, + 1 + ], + [ + 4, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 4 + ] + ], + "input_frame_id": 389, + "output_frame_id": 996, + "port": 37 + }, + { + "candidates": [ + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 5, + 1 + ], + [ + 5, + 6 + ], + [ + 6, + 1 + ], + [ + 6, + 5 + ] + ], + "input_frame_id": 101, + "output_frame_id": 787, + "port": 38 + }, + { + "candidates": [ + [ + 1, + 5 + ], + [ + 1, + 7 + ], + [ + 5, + 1 + ], + [ + 5, + 7 + ], + [ + 7, + 1 + ], + [ + 7, + 5 + ] + ], + "input_frame_id": 131, + "output_frame_id": 793, + "port": 39 + }, + { + "candidates": [ + [ + 1, + 5 + ], + [ + 1, + 8 + ], + [ + 5, + 1 + ], + [ + 5, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 5 + ] + ], + "input_frame_id": 129, + "output_frame_id": 882, + "port": 40 + }, + { + "candidates": [ + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 6, + 1 + ], + [ + 6, + 7 + ], + [ + 7, + 1 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 331, + "output_frame_id": 972, + "port": 41 + }, + { + "candidates": [ + [ + 1, + 6 + ], + [ + 1, + 8 + ], + [ + 6, + 1 + ], + [ + 6, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 332, + "output_frame_id": 966, + "port": 42 + }, + { + "candidates": [ + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 7, + 1 + ], + [ + 7, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 360, + "output_frame_id": 984, + "port": 43 + }, + { + "candidates": [ + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ] + ], + "input_frame_id": 362, + "output_frame_id": 823, + "port": 44 + }, + { + "candidates": [ + [ + 2, + 3 + ], + [ + 2, + 5 + ], + [ + 3, + 2 + ], + [ + 3, + 5 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ] + ], + "input_frame_id": 157, + "output_frame_id": 900, + "port": 45 + }, + { + "candidates": [ + [ + 2, + 3 + ], + [ + 2, + 7 + ], + [ + 3, + 2 + ], + [ + 3, + 7 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ] + ], + "input_frame_id": 391, + "output_frame_id": 827, + "port": 46 + }, + { + "candidates": [ + [ + 2, + 3 + ], + [ + 2, + 8 + ], + [ + 3, + 2 + ], + [ + 3, + 8 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ] + ], + "input_frame_id": 387, + "output_frame_id": 830, + "port": 47 + }, + { + "candidates": [ + [ + 2, + 4 + ], + [ + 2, + 6 + ], + [ + 4, + 2 + ], + [ + 4, + 6 + ], + [ + 6, + 2 + ], + [ + 6, + 4 + ] + ], + "input_frame_id": 154, + "output_frame_id": 899, + "port": 48 + }, + { + "candidates": [ + [ + 2, + 4 + ], + [ + 2, + 7 + ], + [ + 4, + 2 + ], + [ + 4, + 7 + ], + [ + 7, + 2 + ], + [ + 7, + 4 + ] + ], + "input_frame_id": 182, + "output_frame_id": 905, + "port": 49 + }, + { + "candidates": [ + [ + 2, + 4 + ], + [ + 2, + 8 + ], + [ + 4, + 2 + ], + [ + 4, + 8 + ], + [ + 8, + 2 + ], + [ + 8, + 4 + ] + ], + "input_frame_id": 184, + "output_frame_id": 802, + "port": 50 + }, + { + "candidates": [ + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 5, + 2 + ], + [ + 5, + 6 + ], + [ + 6, + 2 + ], + [ + 6, + 5 + ] + ], + "input_frame_id": 359, + "output_frame_id": 824, + "port": 51 + }, + { + "candidates": [ + [ + 2, + 5 + ], + [ + 2, + 7 + ], + [ + 5, + 2 + ], + [ + 5, + 7 + ], + [ + 7, + 2 + ], + [ + 7, + 5 + ] + ], + "input_frame_id": 329, + "output_frame_id": 822, + "port": 52 + }, + { + "candidates": [ + [ + 2, + 5 + ], + [ + 2, + 8 + ], + [ + 5, + 2 + ], + [ + 5, + 8 + ], + [ + 8, + 2 + ], + [ + 8, + 5 + ] + ], + "input_frame_id": 330, + "output_frame_id": 820, + "port": 53 + }, + { + "candidates": [ + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 6, + 2 + ], + [ + 6, + 7 + ], + [ + 7, + 2 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 125, + "output_frame_id": 887, + "port": 54 + }, + { + "candidates": [ + [ + 2, + 6 + ], + [ + 2, + 8 + ], + [ + 6, + 2 + ], + [ + 6, + 8 + ], + [ + 8, + 2 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 127, + "output_frame_id": 792, + "port": 55 + }, + { + "candidates": [ + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 7, + 2 + ], + [ + 7, + 8 + ], + [ + 8, + 2 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 97, + "output_frame_id": 790, + "port": 56 + }, + { + "candidates": [ + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ] + ], + "input_frame_id": 13, + "output_frame_id": 834, + "port": 57 + }, + { + "candidates": [ + [ + 3, + 4 + ], + [ + 3, + 6 + ], + [ + 4, + 3 + ], + [ + 4, + 6 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ] + ], + "input_frame_id": 216, + "output_frame_id": 918, + "port": 58 + }, + { + "candidates": [ + [ + 3, + 4 + ], + [ + 3, + 7 + ], + [ + 4, + 3 + ], + [ + 4, + 7 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ] + ], + "input_frame_id": 244, + "output_frame_id": 936, + "port": 59 + }, + { + "candidates": [ + [ + 3, + 4 + ], + [ + 3, + 8 + ], + [ + 4, + 3 + ], + [ + 4, + 8 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ] + ], + "input_frame_id": 246, + "output_frame_id": 807, + "port": 60 + }, + { + "candidates": [ + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 5, + 3 + ], + [ + 5, + 6 + ], + [ + 6, + 3 + ], + [ + 6, + 5 + ] + ], + "input_frame_id": 70, + "output_frame_id": 864, + "port": 61 + }, + { + "candidates": [ + [ + 3, + 5 + ], + [ + 3, + 7 + ], + [ + 5, + 3 + ], + [ + 5, + 7 + ], + [ + 7, + 3 + ], + [ + 7, + 5 + ] + ], + "input_frame_id": 42, + "output_frame_id": 846, + "port": 62 + }, + { + "candidates": [ + [ + 3, + 5 + ], + [ + 3, + 8 + ], + [ + 5, + 3 + ], + [ + 5, + 8 + ], + [ + 8, + 3 + ], + [ + 8, + 5 + ] + ], + "input_frame_id": 41, + "output_frame_id": 852, + "port": 63 + }, + { + "candidates": [ + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 6, + 3 + ], + [ + 6, + 7 + ], + [ + 7, + 3 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 303, + "output_frame_id": 954, + "port": 64 + }, + { + "candidates": [ + [ + 3, + 6 + ], + [ + 3, + 8 + ], + [ + 6, + 3 + ], + [ + 6, + 8 + ], + [ + 8, + 3 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 305, + "output_frame_id": 817, + "port": 65 + }, + { + "candidates": [ + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 7, + 3 + ], + [ + 7, + 8 + ], + [ + 8, + 3 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 275, + "output_frame_id": 811, + "port": 66 + }, + { + "candidates": [ + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ] + ], + "input_frame_id": 270, + "output_frame_id": 947, + "port": 67 + }, + { + "candidates": [ + [ + 4, + 5 + ], + [ + 4, + 7 + ], + [ + 5, + 4 + ], + [ + 5, + 7 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ] + ], + "input_frame_id": 298, + "output_frame_id": 953, + "port": 68 + }, + { + "candidates": [ + [ + 4, + 5 + ], + [ + 4, + 8 + ], + [ + 5, + 4 + ], + [ + 5, + 8 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ] + ], + "input_frame_id": 300, + "output_frame_id": 818, + "port": 69 + }, + { + "candidates": [ + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 6, + 4 + ], + [ + 6, + 7 + ], + [ + 7, + 4 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 37, + "output_frame_id": 845, + "port": 70 + }, + { + "candidates": [ + [ + 4, + 6 + ], + [ + 4, + 8 + ], + [ + 6, + 4 + ], + [ + 6, + 8 + ], + [ + 8, + 4 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 38, + "output_frame_id": 851, + "port": 71 + }, + { + "candidates": [ + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 7, + 4 + ], + [ + 7, + 8 + ], + [ + 8, + 4 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 66, + "output_frame_id": 857, + "port": 72 + }, + { + "candidates": [ + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 241, + "output_frame_id": 935, + "port": 73 + }, + { + "candidates": [ + [ + 5, + 6 + ], + [ + 5, + 8 + ], + [ + 6, + 5 + ], + [ + 6, + 8 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 243, + "output_frame_id": 808, + "port": 74 + }, + { + "candidates": [ + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 7, + 5 + ], + [ + 7, + 8 + ], + [ + 8, + 5 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 213, + "output_frame_id": 806, + "port": 75 + }, + { + "candidates": [ + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 9, + "output_frame_id": 839, + "port": 76 + }, + { + "candidates": [ + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 102, + "output_frame_id": 789, + "port": 77 + }, + { + "candidates": [ + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 3, + 1 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 1 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 1 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 1 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 1 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 357, + "output_frame_id": 983, + "port": 78 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 1 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 72, + "output_frame_id": 783, + "port": 79 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 269, + "output_frame_id": 941, + "port": 80 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 15, + "output_frame_id": 777, + "port": 81 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 212, + "output_frame_id": 923, + "port": 82 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 8 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 8 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 8 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 8 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 8 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 8 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 240, + "output_frame_id": 929, + "port": 83 + }, + { + "candidates": [ + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 242, + "output_frame_id": 810, + "port": 84 + }, + { + "candidates": [ + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 156, + "output_frame_id": 796, + "port": 85 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 2 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 2 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 2 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 2 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 2 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 218, + "output_frame_id": 805, + "port": 86 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 3 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 2 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 10, + "output_frame_id": 778, + "port": 87 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 272, + "output_frame_id": 812, + "port": 88 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 69, + "output_frame_id": 784, + "port": 89 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 39, + "output_frame_id": 782, + "port": 90 + }, + { + "candidates": [ + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 2, + 0 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 3, + 0 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 4, + 0 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 5, + 0 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 6, + 0 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 40, + "output_frame_id": 780, + "port": 91 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 12, + "output_frame_id": 840, + "port": 92 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 3 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 3 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 3 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 3 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 3 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 3 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 215, + "output_frame_id": 924, + "port": 93 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 4 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 3 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 71, + "output_frame_id": 858, + "port": 94 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 274, + "output_frame_id": 942, + "port": 95 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 302, + "output_frame_id": 960, + "port": 96 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 1, + 0 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 304, + "output_frame_id": 815, + "port": 97 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 153, + "output_frame_id": 893, + "port": 98 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 4 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 4 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 4 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 4 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 4 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 4 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 358, + "output_frame_id": 826, + "port": 99 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 5 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 4 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 96, + "output_frame_id": 875, + "port": 100 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 124, + "output_frame_id": 881, + "port": 101 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 5 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 4 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 4 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 126, + "output_frame_id": 794, + "port": 102 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 7 + ], + [ + 6, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 6 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 6 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 99, + "output_frame_id": 876, + "port": 103 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 5 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 5 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 5 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 5 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 7 + ], + [ + 5, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 5 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 5 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 363, + "output_frame_id": 825, + "port": 104 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 6 + ], + [ + 5, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 5 + ], + [ + 6, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 5 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 333, + "output_frame_id": 819, + "port": 105 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 5 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 5 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 5 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 5 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 6 + ], + [ + 5, + 7 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 5 + ], + [ + 6, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 5 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 334, + "output_frame_id": 821, + "port": 106 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 7 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 7 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 7 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 7 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 7 + ], + [ + 4, + 8 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 7 + ] + ], + "input_frame_id": 158, + "output_frame_id": 894, + "port": 107 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 6 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 6 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 6 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 6 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 6 + ], + [ + 4, + 8 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 6 + ] + ], + "input_frame_id": 186, + "output_frame_id": 912, + "port": 108 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 6 + ], + [ + 0, + 7 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 6 + ], + [ + 1, + 7 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 6 + ], + [ + 2, + 7 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 6 + ], + [ + 3, + 7 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 6 + ], + [ + 4, + 7 + ], + [ + 6, + 0 + ], + [ + 6, + 1 + ], + [ + 6, + 2 + ], + [ + 6, + 3 + ], + [ + 6, + 4 + ], + [ + 6, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 6 + ] + ], + "input_frame_id": 188, + "output_frame_id": 799, + "port": 109 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 8 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 8 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 8 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 8 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 8 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 8 + ], + [ + 8, + 0 + ], + [ + 8, + 1 + ], + [ + 8, + 2 + ], + [ + 8, + 3 + ], + [ + 8, + 4 + ], + [ + 8, + 5 + ] + ], + "input_frame_id": 392, + "output_frame_id": 829, + "port": 110 + }, + { + "candidates": [ + [ + 0, + 1 + ], + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 0, + 7 + ], + [ + 1, + 0 + ], + [ + 1, + 2 + ], + [ + 1, + 3 + ], + [ + 1, + 4 + ], + [ + 1, + 5 + ], + [ + 1, + 7 + ], + [ + 2, + 0 + ], + [ + 2, + 1 + ], + [ + 2, + 3 + ], + [ + 2, + 4 + ], + [ + 2, + 5 + ], + [ + 2, + 7 + ], + [ + 3, + 0 + ], + [ + 3, + 1 + ], + [ + 3, + 2 + ], + [ + 3, + 4 + ], + [ + 3, + 5 + ], + [ + 3, + 7 + ], + [ + 4, + 0 + ], + [ + 4, + 1 + ], + [ + 4, + 2 + ], + [ + 4, + 3 + ], + [ + 4, + 5 + ], + [ + 4, + 7 + ], + [ + 5, + 0 + ], + [ + 5, + 1 + ], + [ + 5, + 2 + ], + [ + 5, + 3 + ], + [ + 5, + 4 + ], + [ + 5, + 7 + ], + [ + 7, + 0 + ], + [ + 7, + 1 + ], + [ + 7, + 2 + ], + [ + 7, + 3 + ], + [ + 7, + 4 + ], + [ + 7, + 5 + ] + ], + "input_frame_id": 388, + "output_frame_id": 828, + "port": 111 + } + ], + "ports": 112, + "status": "PASS_PORTWISE_F2_TRANSVECTION_CENSUS" + }, + "profile_screen": { + "accounting_hypothesis": { + "assumed_removed_rank_one_transitions": 224, + "calls": 144, + "net_rank_one_change_across_calls": -112, + "paid_rank_one_shears": 112, + "per_call_rank_one_change": "-7/9", + "ports": 112 + }, + "baseline_a_ceiling": [ + "52814190909/31250000000000", + "1690054109089/1000000000000000" + ], + "charged_optimistic_a_ceiling": [ + "211287502113/125000000000000", + "338060003381/200000000000000" + ], + "conclusion": "The most favorable profile-only invoice raises the selected ceiling; it does not improve it.", + "controls": { + "free_shear_undercharge_raises_ceiling_further": true + }, + "relative_ceiling_increase_percent": "24590781600/1690054109089", + "selected_local_profile": { + "1": "2412", + "2": "418", + "3": "432", + "4": "142", + "5": "82", + "8": "8" + }, + "status": "PASS_OPTIMISTIC_PROFILE_SCREEN", + "unverified": [ + "full scalar endpoint preservation", + "transition deletion at both calls", + "owner and schedule legality after frame changes", + "supplier integration", + "new kappa" + ] + }, + "schema_version": 1, + "seed": "0410adea86dfbb7cdf86b46ba736e993", + "selected_record_sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32", + "source_pins_checked": [ + "certificates/selected-result.json", + "docs/research/community-batch1099-review.md", + "research/community-frontier1094-audit/ASSEMBLY.json", + "research/community-frontier1094-audit/INDEPENDENT1094.json", + "research/community-frontier1094-audit/REPLAY.json", + "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "research/complex-local-word-ceiling/ceiling.py", + "research/complex-sw4-frame8/vendor/main/research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "research/gauge44-slots-t16/evidence/global/GLOBAL-TEMPLATE.json.gz" + ] +} diff --git a/research/rank1-transvection-boundary-seed0410/SOURCES.json b/research/rank1-transvection-boundary-seed0410/SOURCES.json new file mode 100644 index 0000000000..cc340e6761 --- /dev/null +++ b/research/rank1-transvection-boundary-seed0410/SOURCES.json @@ -0,0 +1,66 @@ +{ + "schema_version": 1, + "base_commit": "e112d71c8d7bb32435debcc54df932593dd8223a", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "input", + "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11", + "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1", + "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075" + }, + { + "path": "docs/research/community-batch1099-review.md", + "usage": "input", + "git_blob": "6cb6ec061a071a06a2d18cd4dc3e9a2b05d28099", + "sha256": "7e76d2c38e5fce30587835b7251df1430488ae4dd372611ef69a3f03f476b6cb" + }, + { + "path": "research/community-frontier1094-audit/ASSEMBLY.json", + "usage": "input", + "git_blob": "5fd676df060f3b450782fdf5ff5f6beb63a5eeb0", + "sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045" + }, + { + "path": "research/community-frontier1094-audit/INDEPENDENT1094.json", + "usage": "input", + "git_blob": "009a385e26858058a18188364078d162aa6f9519", + "sha256": "301fb8a0e4ab7e3c383ff974c54c08178283b2a3453c5282757f692a3c7a4bfd" + }, + { + "path": "research/community-frontier1094-audit/REPLAY.json", + "usage": "input", + "git_blob": "2cfb7fffa7cd78f418be16c13224c3206b6d0183", + "sha256": "ce0678fa7abaab221de74baeace0c6696d5ea23a36719a58cff230215a06aae7" + }, + { + "path": "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "usage": "input", + "git_blob": "6a75493790b4eff9c4a98051ef8b01d6aad0d5a8", + "sha256": "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b" + }, + { + "path": "research/complex-local-word-ceiling/ceiling.py", + "usage": "input", + "git_blob": "6c0f54527d879396f689523bfde19928a9b6157c", + "sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc" + }, + { + "path": "research/complex-sw4-frame8/vendor/main/research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "usage": "input", + "git_blob": "a2e5a1ffd454a353bd2d2100bc26259ff5b57af7", + "sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844" + }, + { + "path": "research/gauge44-slots-t16/evidence/global/GLOBAL-TEMPLATE.json.gz", + "usage": "input", + "git_blob": "424c2df489364ea5b29e0df9841e6fe91a517df4", + "sha256": "f713f8e66aaeaebb8202fe72bf36c7d23497152497342c27892e0fda3092f95b" + } + ] +} diff --git a/research/rank1-transvection-boundary-seed0410/TASK.json b/research/rank1-transvection-boundary-seed0410/TASK.json new file mode 100644 index 0000000000..f9b60c533d --- /dev/null +++ b/research/rank1-transvection-boundary-seed0410/TASK.json @@ -0,0 +1,84 @@ +{ + "schema_version": 1, + "task_id": "persistent-boundary", + "priority_revision": 3, + "base_commit": "e112d71c8d7bb32435debcc54df932593dd8223a", + "selected_record_sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32", + "catalogue_sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075", + "cycle": { + "seed": "0410adea86dfbb7cdf86b46ba736e993", + "track": "recursive-interfaces", + "scope_key": "73c0a233e7e1abdccbfe", + "accepted_task": "persistent-boundary", + "discarded_readable_draws": [ + {"seed": "7498aa7a3baed113ff2d5978417adba2", "track": "adversarial-audit", "reason": "excluded track"}, + {"seed": "5adec63419ded09b6b9dc6dcb9217074", "track": "independent-verification", "reason": "excluded track"} + ], + "claim": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2072", + "claim_expiry_utc": "2026-10-14T20:35:39Z", + "submission_checkpoint": { + "checked_at_utc": "2026-10-14T18:51:43Z", + "upstream_main_commit": "564148b82ae9df72163f22106f15e73efca8aff2", + "priority_revision": 4, + "selected_record_sha256_unchanged": true, + "task_card_status": "persistent-boundary is no longer in the rev4 catalogue; this result completes its exact rev3/e112 claimed scope rather than being rerolled", + "decision": "Continue to focused handoff; rev4 weights are unchanged and none of its new central tasks changes the finite evidence already collected. Start the next cycle from the refreshed rev4 base." + }, + "final_overlap_refresh": { + "searched_at_utc": "2026-10-14T18:49:32.993617Z", + "open_prs": 350, + "discussions_comments_replies": 729, + "pagination_complete": true, + "warnings": [], + "relevant_scopes": [ + {"reference": "discussion-1986", "scope": "literal shared-axis frame compatibility on the same stage pair"}, + {"reference": "pull-1155", "scope": "read-free composable-family restoration coalescing across a recursion batch"}, + {"reference": "pull-1930", "scope": "three-stage persistent prefix chain"}, + {"reference": "pull-2060", "scope": "known binary dependence matrix for persistent dirty-connector query delivery"}, + {"reference": "discussion-2007", "scope": "dirty-boundary adapter pricing under partial output observations"} + ] + } + }, + "original_card": { + "id": "persistent-boundary", + "question": "Can a specified pair of consecutive calls eliminate a restoration that the next call reconstructs?", + "starting_points": [ + "research/heterogeneous-owner-assembly/README.md", + "certificates/selected-result.json" + ], + "methods": [ + "Write typed entry/exit contracts and a contracting multitype recurrence.", + "Derive a lower bound for the compulsory transitions of one proposed typed interface." + ], + "acceptance_gate": "Show actual eliminated work and legal composition; changing a scalar recurrence into a matrix is insufficient.", + "first_step": { + "command": ["python3", "-B", "scripts/research_baseline.py"], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Find a concrete consecutive-call boundary in the selected review and list its entry/exit obligations.", + "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay." + }, + "first_experiment": "Specify two call types and one operation actually removed by composition; derive the normalized recurrence.", + "bottleneck_link": "Eliminating compulsory boundary work can lower recursive cost beyond packing gains.", + "allowed_variations": ["A two-type pilot or one explicit deferred restoration."], + "scope_change_triggers": ["Rewriting the old scalar recurrence as a matrix without eliminating work."], + "overlap_terms": ["persistent boundary", "deferred restoration", "multitype"] + }, + "scope_status": "refined", + "actual_scope": "For the selected pair-0 stage-0 forward / stage-1 backward boundary, enumerate every directed coordinate transvection T_ij = I + E_ij on the 9-coordinate port frames and screen the most favorable rank-one transition invoice.", + "scope_change_reason": "The task card asks for an actual two-call boundary mechanism. This run fixes that boundary and tests one concrete rank-one map family, all 72 directed coordinate shears, across all 112 ports; it does not claim a legal scalar composition.", + "bottleneck_link": "A single shared boundary map could remove repeated rank-one transitions; the exact census tests whether that map exists, and the selected-profile screen measures the best charged count-only case.", + "budget_minutes": 60, + "stop_rule": "Enumerate all 72 coordinate transvections for each of the 112 pinned port pairs, then stop if there is no common map and the one-shear/two-transition profile does not lower the selected ceiling.", + "outcome": "negative-result", + "evidence": "Every port has 6 or 42 compatible shears (77 and 35 ports, respectively; 1,932 incidences total), but the common set is empty. Under the optimistic invoice of one rank-one shear paid and two rank-one boundary transitions removed per port, the selected local rank-one profile changes from 2,412 to 21,701/9 per call. The exact a-ceiling rises from 1690054109089/10^15 to 338060003381/200000000000000, a 0.01455% increase; this weakens the profile-only bound. Full scalar endpoints, legal composition, and supplier integration are unverified, so no new kappa is claimed.", + "author": "OpenAI Codex", + "ai_assistance": "Substantial AI assistance: OpenAI Codex selected the bounded experiment, implemented the exact bit-packed F2 census and verifier, and computed the exact rational profile screen. Source artifacts and arithmetic are pinned; no external author or unpublished human result was used.", + "open_questions": [ + { + "question": "Can one common rank-one update I + u v^T, with v^T u = 0, align all 112 pinned output-plane/input-line pairs, even though no coordinate transvection does?", + "why_it_matters": "A common update could avoid paying a different port-specific frame operation at each boundary and would test a genuinely larger mechanism family.", + "first_step": "Derive the exact condition L_p subset (I + u v^T) B_p for every port and solve the resulting finite F2 constraints for u,v in F2^9.", + "blocked_by": "The current certificate covers only the 72 directed coordinate transvections; any common map would still need complete scalar endpoint and schedule composition before it could be credited." + } + ] +} diff --git a/research/rank1-transvection-boundary-seed0410/VERIFY.json b/research/rank1-transvection-boundary-seed0410/VERIFY.json new file mode 100644 index 0000000000..611ccb9aaa --- /dev/null +++ b/research/rank1-transvection-boundary-seed0410/VERIFY.json @@ -0,0 +1,28 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "certificates/selected-result.json", + "docs/research/community-batch1099-review.md", + "research/community-frontier1094-audit/ASSEMBLY.json", + "research/community-frontier1094-audit/INDEPENDENT1094.json", + "research/community-frontier1094-audit/REPLAY.json", + "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "research/complex-local-word-ceiling/ceiling.py", + "research/complex-sw4-frame8/vendor/main/research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz", + "research/gauge44-slots-t16/evidence/global/GLOBAL-TEMPLATE.json.gz" + ], + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Verifies all 9 live source SHA256 pins; the selected pair-0 call/schedule identity; exact ranks and disjointness for all 112 F2^9 plane/line pairs; all 72 directed transvections per port and their involution property; per-port positive and negative controls; the complete candidate list in RESULT.json; and the exact charged selected-profile ceiling with a shear-undercharge control. Does not test scalar endpoint preservation, legal composition, owner changes, supplier integration or kappa." + } + ] +} diff --git a/research/rank1-transvection-boundary-seed0410/verify.py b/research/rank1-transvection-boundary-seed0410/verify.py new file mode 100644 index 0000000000..1843ae2b36 --- /dev/null +++ b/research/rank1-transvection-boundary-seed0410/verify.py @@ -0,0 +1,242 @@ +#!/usr/bin/env python3 +"""Exact F_2 port-frame census and optimistic selected-profile screen.""" +import gzip +import hashlib +import importlib.util +import json +from collections import Counter +import sys +from fractions import Fraction as Q +from pathlib import Path + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +WORD_PATH = ( + "research/complex-sw4-frame8/vendor/main/research/community-k492-audit/" + "pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz" +) +TEMPLATE_PATH = "research/gauge44-slots-t16/evidence/global/GLOBAL-TEMPLATE.json.gz" + + +def require(ok, message): + if not ok: + raise ValueError(message) + + +def load_gzip_json(path): + return json.loads(gzip.decompress((ROOT / path).read_bytes())) + + +def rank(vectors): + """Rank of bit-packed vectors over F_2.""" + pivots = {} + for x in vectors: + while x: + p = x.bit_length() - 1 + if p in pivots: + x ^= pivots[p] + else: + pivots[p] = x + break + return len(pivots) + + +def shear(x, i, j): + """Apply I + E_ij to a column vector, with i the destination bit.""" + return x ^ (((x >> j) & 1) << i) + + +def frame_census(word, template): + require(len(word["frames"]) == 999, "canonical word frame inventory changed") + require(len(word["start"]) == 728 and len(word["final"]) == 728, "word endpoint lengths changed") + require(len(word["ports"]) == 112, "port count changed") + + calls = [ + (i, c) for i, c in enumerate(template["calls"]) + if c.get("pair") == 0 and c.get("replica") == 0 and c.get("stage") in (0, 1) + ] + require([(i, c.get("orientation"), c.get("time")) for i, c in calls] == [ + (0, "forward", 0), (2, "backward", 2) + ], "pair-0 consecutive call identity changed") + events = [ + (i, e) for i, e in enumerate(template["execution_schedule"]) + if e.get("kind") == "local_cover_sweep" and e.get("replica") == 0 and e.get("stage") in (0, 1) + ] + require([(i, e.get("stage"), e.get("time")) for i, e in events] == [ + (0, 0, 0), (2, 1, 2) + ], "pair-0 call schedule changed") + + universe = [(i, j) for i in range(9) for j in range(9) if i != j] + require(len(universe) == 72, "directed transvection inventory is not 72") + for i, j in universe: + for v in range(512): + require(shear(shear(v, i, j), i, j) == v, + f"T({i},{j}) is not an involution on F_2^9") + common = set(universe) + per_port = [] + port_candidates = [] + baseline_dimensions = set() + for p in range(112): + out_frame_id = word["final"][112 + p] + in_frame_id = word["start"][p] + out_basis = word["frames"][out_frame_id] + in_basis = word["frames"][in_frame_id] + require(len(out_basis) == 8 and rank(out_basis) == 8, f"port {p}: output plane is not rank 8") + require(len(in_basis) == 1 and rank(in_basis) == 1, f"port {p}: input is not a rank-one line") + require(all(0 < x < 512 for x in out_basis + in_basis), f"port {p}: vector outside F_2^9") + u = in_basis[0] + require(rank(out_basis + [u]) == 9, f"port {p}: baseline frames unexpectedly intersect") + baseline_dimensions.add((rank(out_basis), rank(in_basis), rank(out_basis + [u]))) + + accepted = set() + for i, j in universe: + moved = [shear(x, i, j) for x in out_basis] + require(rank(moved) == 8, f"port {p}, T({i},{j}): shear lost invertibility") + if rank(moved + [u]) == 8: + accepted.add((i, j)) + require(accepted, f"port {p}: no coordinate transvection aligns the line") + per_port.append(accepted) + port_candidates.append({ + "port": p, + "output_frame_id": out_frame_id, + "input_frame_id": in_frame_id, + "candidates": [list(pair) for pair in sorted(accepted)], + }) + common &= accepted + + counts = sorted({len(x) for x in per_port}) + count_frequency = dict(sorted(Counter(map(len, per_port)).items())) + total = sum(map(len, per_port)) + require(baseline_dimensions == {(8, 1, 9)}, "baseline dimension/intersection census changed") + require(counts == [6, 42] and count_frequency == {6: 77, 42: 35} and total == 1932, + "per-port transvection census changed") + require(not common, "one directed transvection unexpectedly works at every port") + require((0, 1) in per_port[0], "positive control T(0,1) no longer aligns port 0") + rejected = next(pair for pair in universe if pair not in per_port[0]) + require(rejected not in per_port[0], "negative control unexpectedly accepted") + + return dict( + status="PASS_PORTWISE_F2_TRANSVECTION_CENSUS", + ports=112, + directed_transvections_per_port=72, + baseline_dimensions={"output_plane": 8, "input_line": 1, "sum": 9}, + per_port_candidate_counts=counts, + candidate_count_frequency={str(k): v for k, v in count_frequency.items()}, + candidate_port_incidences=total, + common_transvections=[], + port_candidates=port_candidates, + controls={"port0_T_0_1": "accepted", "port0_first_rejected": list(rejected), + "all_accepted_maps_involutions": True}, + interpretation="A port-specific coordinate shear aligns each tested frame pair; no one shear aligns all ports.", + ) + + +def selected_profile_screen(): + rec = json.loads((ROOT / "certificates/selected-result.json").read_text()) + require(hashlib.sha256((ROOT / "certificates/selected-result.json").read_bytes()).hexdigest() + == "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32", + "selected record pin changed") + asm = json.loads((ROOT / rec["certificate"]).read_text()) + ind = json.loads((ROOT / "research/community-frontier1094-audit/INDEPENDENT1094.json").read_text()) + H = {int(r): n for r, n in asm["complex_profile"].items()} + require(H == {int(r): n for r, n in ind["owner"]["profile"].items()}, "selected profiles disagree") + idle = {int(r): n for r, n in ind["owner"]["idle"].items()} + calls = ind["price"]["calls"] + require(calls == 144 and ind["price"]["live"] == 14336, "selected schedule price changed") + local = {} + for r in sorted(set(H) | set(idle)): + k = H.get(r, 0) - idle.get(r, 0) + require(k >= 0 and k % calls == 0, f"rank {r}: local paid count is not uniform per call") + if k: + local[r] = Q(k, calls) + expected = {1: 2412, 2: 418, 3: 432, 4: 142, 5: 82, 8: 8} + require(local == {r: Q(n) for r, n in expected.items()}, "selected local profile changed") + + spec = importlib.util.spec_from_file_location( + "pinned_complex_local_ceiling", ROOT / "research/complex-local-word-ceiling/ceiling.py") + C = importlib.util.module_from_spec(spec) + spec.loader.exec_module(C) + base = C.ceiling(local, 73, 2 * 4 * 112, 9, 64) + + # Optimistic accounting hypothesis only: 112 shears are paid, while 224 + # rank-one boundary transitions disappear. Thus the paid rank-one profile + # falls by 112 / 144 = 7/9 per call. No scalar endpoint or supplier replay + # is inferred from the frame census. + paid = dict(local) + paid[1] -= Q(112, calls) + require(paid[1] == Q(21701, 9), "rank-one shear invoice changed") + charged = C.ceiling(paid, 73, 2 * 4 * 112, 9, 64) + + # Cost-direction control: omitting all 112 shear charges would remove 224 + # rank-one calls, but does not improve this lower-bound ceiling either. + undercharged = dict(local) + undercharged[1] -= Q(224, calls) + free_shear = C.ceiling(undercharged, 73, 2 * 4 * 112, 9, 64) + require(free_shear[1] > charged[1], "undercharging did not worsen the ceiling as expected") + + require(base == (Q(52814190909, 31250000000000), Q(1690054109089, 10**15)), + "baseline ceiling interval changed") + require(charged == (Q(211287502113, 125000000000000), Q(338060003381, 200000000000000)), + "charged optimistic ceiling interval changed") + require(charged[1] > base[1], "paid shear profile unexpectedly improves this ceiling") + inflation = Q(100) * (charged[1] / base[1] - 1) + require(inflation == Q(24590781600, 1690054109089), "relative ceiling comparison changed") + return dict( + status="PASS_OPTIMISTIC_PROFILE_SCREEN", + selected_local_profile={str(r): str(n) for r, n in local.items()}, + accounting_hypothesis={"ports": 112, "paid_rank_one_shears": 112, + "assumed_removed_rank_one_transitions": 224, + "net_rank_one_change_across_calls": -112, + "calls": calls, "per_call_rank_one_change": str(-Q(112, calls))}, + baseline_a_ceiling=[str(x) for x in base], + charged_optimistic_a_ceiling=[str(x) for x in charged], + relative_ceiling_increase_percent=str(inflation), + conclusion="The most favorable profile-only invoice raises the selected ceiling; it does not improve it.", + controls={"free_shear_undercharge_raises_ceiling_further": True}, + unverified=["full scalar endpoint preservation", "transition deletion at both calls", + "owner and schedule legality after frame changes", "supplier integration", "new kappa"], + ) + + +def main(): + pins = json.loads((HERE / "SOURCES.json").read_text()) + checked = [] + for item in pins["files"]: + if item["usage"] == "input": + actual = hashlib.sha256((ROOT / item["path"]).read_bytes()).hexdigest() + require(actual == item["sha256"], f"source pin mismatch: {item['path']}") + checked.append(item["path"]) + word = load_gzip_json(WORD_PATH) + template = load_gzip_json(TEMPLATE_PATH) + geometry = frame_census(word, template) + screen = selected_profile_screen() + result = dict( + schema_version=1, + seed="0410adea86dfbb7cdf86b46ba736e993", + base_commit="e112d71c8d7bb32435debcc54df932593dd8223a", + selected_record_sha256="10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32", + source_pins_checked=checked, + geometry=geometry, + profile_screen=screen, + ) + rendered = json.dumps(result, indent=2, sort_keys=True) + "\n" + result_path = HERE / "RESULT.json" + if sys.argv[1:] == ["--write"]: + result_path.write_text(rendered) + else: + require(sys.argv[1:] == [], "usage: verify.py [--write]") + require(result_path.read_text() == rendered, "RESULT.json differs from exact replay") + print(geometry["status"], "counts", geometry["per_port_candidate_counts"], + "incidences", geometry["candidate_port_incidences"], "common", geometry["common_transvections"]) + print(screen["status"], "baseline", screen["baseline_a_ceiling"][-1], + "charged", screen["charged_optimistic_a_ceiling"][-1], + "relative_increase_percent", screen["relative_ceiling_increase_percent"]) + print("PASS_RANK1_TRANSVECTION_BOUNDARY_SEED0410", "source_pins", len(checked)) + + +if __name__ == "__main__": + try: + main() + except (OSError, ValueError, KeyError, IndexError, TypeError) as exc: + print("FAIL:", exc) + raise SystemExit(1)