From f2206e608167995b9b96b7e340b3558f2b578490 Mon Sep 17 00:00:00 2001 From: ToikY <27568617+ToikY@users.noreply.github.com> Date: Wed, 11 Nov 2026 01:57:57 -0800 Subject: [PATCH 1/2] Reuse selected replay navigation for hosted checks Reuse the exact documentation blob carried by #7161 at bb36fc65ee0b161229169505f4840c436c5ca2b9, following #7147 and #7156. --- docs/ci-verification.md | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 63ba3e9aa8..52b62d0481 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -1,8 +1,25 @@ # CI verification -## Current selected-family replay: #6030 +## Current selected-family replay: #7000 with #7001 The [selected record](../certificates/selected-result.json) binds conditional +κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), +[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json), +and [explicit source closure](../certificates/frontier7000-source.json). +`make frontier7000-verify` follows that exact-source selected replay. The review +reuses eleven authenticated preceding executions and records seven fresh serial +application, scalar and complete native-catalogue executions. The earlier +monolithic timeout is retained separately and is not completed coverage. +Consult the receipts for exact commands, source heads and limits. + +The five inherited framework assumptions remain. No complete uniform word, +literal multiplier execution, independent human proof or formal-kernel proof +is asserted. Routine research submissions do not need to rerun this +selected-family replay. The sections below preserve historical checkpoints. + +## Historical selected-family replay: #6030 + +The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md), [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json), and [explicit source closure](../certificates/frontier6030-source.json). From 77feabfe187c669545908f6225dfb7f711d7360c Mon Sep 17 00:00:00 2001 From: ToikY <27568617+ToikY@users.noreply.github.com> Date: Wed, 11 Nov 2026 03:35:25 -0800 Subject: [PATCH 2/2] Bound fixed-word BIT main-terminal transfer stock --- .../bit-terminal-main-bank-stock/AUDIT.json | 8 + .../bit-terminal-main-bank-stock/PROOF.md | 46 + .../bit-terminal-main-bank-stock/README.md | 51 + .../bit-terminal-main-bank-stock/RESULT.json | 3539 +++++++++++++++++ .../bit-terminal-main-bank-stock/SOURCES.json | 36 + .../bit-terminal-main-bank-stock/TASK.json | 77 + .../bit-terminal-main-bank-stock/VERIFY.json | 23 + .../bit-terminal-main-bank-stock/audit.py | 200 + .../bit-terminal-main-bank-stock/replay.py | 23 + .../bit-terminal-main-bank-stock/verify.py | 347 ++ 10 files changed, 4350 insertions(+) create mode 100644 research/bit-terminal-main-bank-stock/AUDIT.json create mode 100644 research/bit-terminal-main-bank-stock/PROOF.md create mode 100644 research/bit-terminal-main-bank-stock/README.md create mode 100644 research/bit-terminal-main-bank-stock/RESULT.json create mode 100644 research/bit-terminal-main-bank-stock/SOURCES.json create mode 100644 research/bit-terminal-main-bank-stock/TASK.json create mode 100644 research/bit-terminal-main-bank-stock/VERIFY.json create mode 100644 research/bit-terminal-main-bank-stock/audit.py create mode 100644 research/bit-terminal-main-bank-stock/replay.py create mode 100644 research/bit-terminal-main-bank-stock/verify.py diff --git a/research/bit-terminal-main-bank-stock/AUDIT.json b/research/bit-terminal-main-bank-stock/AUDIT.json new file mode 100644 index 0000000000..7da6d11e80 --- /dev/null +++ b/research/bit-terminal-main-bank-stock/AUDIT.json @@ -0,0 +1,8 @@ +{ + "canonical_word": "51203e7fc75ba10bd3ac3f8e675759f47e13d262bea66b6600d1e515095cad78", + "classes": 110, + "outside_canceled_but_unpaired": 40, + "outside_duals": 70, + "status": "PASS_PROJECTIVE_NORMAL_SET_SWEEP_AND_MARKED_SUFFIX", + "stock": 0 +} diff --git a/research/bit-terminal-main-bank-stock/PROOF.md b/research/bit-terminal-main-bank-stock/PROOF.md new file mode 100644 index 0000000000..1ad9445f1b --- /dev/null +++ b/research/bit-terminal-main-bank-stock/PROOF.md @@ -0,0 +1,46 @@ +# No same-midpoint main terminal funding in the fixed BIT word + +**NO VERIFIED GAIN.** On the exact #6726 native word retained by #7001, the 22 rank-six-to-eight public main terminal banks cannot supply even one additional majority helper split in the declared fixed-word transfer model. The negative holds for every rational rank-seven midpoint, including midpoints absent from the source, and grants all literal and virtual coframe observations at arbitrary clocks. The complete optimistic raw margin stays negative at the exact campaign target. + +## Declared transfer + +The old word has 659 public roles, 237 owned roles and 34,137 events. A terminal bank is the last paid chart entry along a surviving public field lineage, following literal SWAPs. A normalized ADD changes the row on its destination without copying the paid bank. The main stock consists of the 22 public main outputs whose terminal bank enters the full rank-eight frame from rank six. The helper group G consists of the 410 original arbitrary rank-eight helper coordinates with boundary frames (0,1). Their old normalized endpoint is identity. + +Keep the old normalized scalar actions, contacts, ownership, old paid jobs and productive nonhelper targets fixed. A candidate subdivides a selected main terminal bank into two positive rank-one children at one rational rank-seven midpoint, using its late child to supply a new independent helper continuation. Each such transfer must restore its own outside components and replace its own removed helper degree of freedom. Several disjoint transfers may be counted, each satisfying this local contract. It may gather and compensate using coframed linear combinations at that same midpoint. It must preserve the original main output and every external coordinate outside G. The coefficient maps are exact normalized F₂ maps. The inherited rational chart and all-column physical assumptions remain the basis for this necessary gate. + +The envelope allows every literal coframed row across all old clocks, even when the clock is unusable. It additionally virtualizes all 185 subdividable rank-eight final public terminal banks, including main, majority and minority lineages. For each compatible midpoint it supplies the old normalized prefix row and suffix response of every such pivot. It ignores simultaneous placement and clock order and grants free holding, mixing, restoration and ownership. This only increases capacity. The original main pivot can retime inside its unchanged owner contact interval. Its normalized row and response are constant there, since no intervening operation touches it. The proof leaves cross-chart corrections, rewritten normalized contacts, extra virtual nonterminal or erased-bank subdivisions, joint corrections that close only across several selected main banks, and different paid primitives open. + +## Complete rational geometry + +Let A be the rank-six entrance of one selected main bank and B any eligible virtual bank's entrance. A rational rank-seven midpoint M is compatible precisely when it contains A, and it can host another virtual bank precisely when it contains B. The full rank-eight exit contains every such M. + +A midpoint equal to a literal rank-seven chart is checked directly. Otherwise it has no old literal occupants in the unchanged word. If it contains some B outside A, then (A+B=M), since the join is strictly larger than rank six and lies in a rank-seven space. Thus every such midpoint is one of the finitely many rank-seven joins of A with another virtual entrance. Every other midpoint has exactly the virtual entrances already contained in A, so one generic class covers them. This yields 44 literal, 44 new-join and 22 generic bank/midpoint incidences. Each source chart has a distinct exact rational span. The independent audit obtains the same classes by solving projective normal equations in the two-dimensional annihilator of A. + +## Coefficient gate + +For one bank i and one midpoint, let P be the span of every granted coframed prefix row. Let S contain the corresponding literal suffix responses and all compatible virtual suffix responses other than i. Let (s_i) be the selected main pivot's suffix response. Any new helper continuation using the funded late child has coefficient one on this compulsory pivot in characteristic two. Copies to other coframed positions may add any vector of S. Preserving the arbitrary main outputs and the other outside coordinates forces the resulting response to lie in + +```text +D_i = (s_i + S) intersect span(G). +``` + +The retired old helper value is a group-pure linear form in +(C=P\cap\operatorname{span}(G)). For an independently restored transfer, the +remaining old helper map annihilates its selected continuation direction (d) +in (D_i). The rank-one return (d c^T) must restore that direction in the +unchanged helper identity. Applying the identity to (d\ne 0) gives +(c^T d=1). Testing (C) against the linear span of (D_i) further grants +freedom. A joint transfer with several shared compensation directions would +need a separate matrix test and is outside this bound. + +For 70 classes, the exterior of (s_i) is outside the span of all other exteriors. The receipt includes an exact parity functional supported outside G that annihilates every other exterior and evaluates to one on (s_i). For the remaining 40 classes, outside cancellation is possible but the exact pairing against the full group-pure prefix span is zero. Thus none of the 22 banks can supply a direction, and the simultaneous stock of individually admissible transfers is zero. The independent audit rebuilds the word with set-valued rows, checks all parity functionals and marks the compulsory pivot in a transposed nuisance-coordinate nullspace calculation. + +## Paid consequence + +The full #7001 invoice remains charged. A terminal rank-preserving subdivision of a rank-eight helper after traversing rank a has ideal net credit (H_{a+1}-H_1-H_8+H_{8-a}) per native invocation at the most favorable first subpiece. Here (H_r=r^{1-kappa}). The later productive gains cancel the later paid children. The result grants this ideal credit to all eligible majority terminal banks and grants all 27 smaller helpers full free rank-one refinement. All 36 old native invocations are charged. The resulting upper is approximately −4.676835409452486 at target 0.0040075385047236, and −4.910335615712435 at stricter trial 0.004008162992724. It needs at least 21 of the 22 added main banks at target, or all 22 at the stricter trial. The exact compatible stock is zero even under the broader coefficient envelope. No physical route or new candidate was built. + +## Scope and predecessors + +The Round 18 pointwise bound counted the 22 terminal banks, priced their hypothetical credit and excluded direct same-entrance terminal exchanges. This result permits different entrances sharing a new common rank-seven span and all coframed compensation clocks, while retaining the literal normalized schedule. [#7202](https://github.com/CrocSwap/integer-mult-bounds/pull/7202) at `b32355e241c7e4dcb413cb20a0b8c8ed3d163f58` bounds three-child IDLE volume via a cover-orbit invariant grade. [#7199](https://github.com/CrocSwap/integer-mult-bounds/pull/7199) at `54b76434dd07ecfdeeaa5958268693f176f37e65` sharpens prime-power cyclotomic precision. The terminal coefficient and ownership conditions concern a distinct operation. + +Credit CubeJerry's [#7001](https://github.com/CrocSwap/integer-mult-bounds/pull/7001), [#6726](https://github.com/CrocSwap/integer-mult-bounds/pull/6726) for the literal native source, the causal helper-split contributors and Clear1nsight [#7161](https://github.com/CrocSwap/integer-mult-bounds/pull/7161) for the prefix/suffix formulation, Nick Petalas [#7175](https://github.com/CrocSwap/integer-mult-bounds/pull/7175) for the concave helper tariff, and Round 18's terminal-stock pricing. OpenAI Codex materially assisted. diff --git a/research/bit-terminal-main-bank-stock/README.md b/research/bit-terminal-main-bank-stock/README.md new file mode 100644 index 0000000000..3e183cb9d3 --- /dev/null +++ b/research/bit-terminal-main-bank-stock/README.md @@ -0,0 +1,51 @@ +# Bound BIT main-terminal transfer stock across rank-seven charts + +**NO VERIFIED GAIN. The κ change is 0%.** For the retained #7001 BIT native +word, no one of the 22 main rank-six-to-eight terminal banks supplies a +qualifying pure helper transfer under the fixed normalized contacts and the +independently restored single-chart compensation contract. The map covers 44 literal chart classes, +44 new pairwise-join classes and 22 generic classes. It grants every +compatible one of 185 virtual public terminal pivots, regardless of clock. + +The signed moment still falls short by about 4.676835409452486 at +κ = 0.0040075385047236 and 4.910335615712435 at the stricter raw trial. The +target would need at least 21 of 22 such transfers, before charging any +additional setup, routing, ownership, restoration, precision or tape work. +See the [proof](PROOF.md), [directed receipt](RESULT.json) and +[independent audit](AUDIT.json). + +## Clean replay + +From the repository root with CPython 3.12 and assertions enabled: + +```sh +python3.12 -B scripts/research_package.py --package research/bit-terminal-main-bank-stock +``` + +The checker authenticates the exact native word, invoice and directed interval +arithmetic from canonical #7001 paths. It reconstructs terminal ownership and +all coefficient classes. A separate projective-normal enumeration and +marked-pivot elimination checks every class. No external data, prior run state +or extra Python packages are required. + +## Open next questions + +Could changing the bank graph supply a new helper response direction? First +enumerate the full compatible stock of already paid nonterminal and erased +bridges. Authenticate every prefix and suffix coefficient, then count distinct +owners and charge routing and restoration before selecting a prototype. This +package keeps those bridges, cross-chart corrections and scalar contact changes +outside its scope. + +## Credit + +CubeJerry [#7001](https://github.com/CrocSwap/integer-mult-bounds/pull/7001) +supplied the retained word and tariff. The native and delayed-cover lineage +includes [#6726](https://github.com/CrocSwap/integer-mult-bounds/pull/6726), +[#6834](https://github.com/CrocSwap/integer-mult-bounds/pull/6834) and +[#6980](https://github.com/CrocSwap/integer-mult-bounds/pull/6980). +[Round 18](https://github.com/CrocSwap/integer-mult-bounds/discussions/7111#discussioncomment-19540580) +supplied the terminal funding question and initial price. +Clear1nsight [#7161](https://github.com/CrocSwap/integer-mult-bounds/pull/7161) +supplied the comparable complete witness. OpenAI Codex and subagents materially +assisted the proof, replay and independent audit. Apache-2.0. diff --git a/research/bit-terminal-main-bank-stock/RESULT.json b/research/bit-terminal-main-bank-stock/RESULT.json new file mode 100644 index 0000000000..07664a3820 --- /dev/null +++ b/research/bit-terminal-main-bank-stock/RESULT.json @@ -0,0 +1,3539 @@ +{ + "bank_maps": [ + { + "event": 25557, + "pivot_quiet_window": [ + 25554, + 28568 + ], + "prefix_input": [ + 21, + 23, + 33, + 43, + 48, + 52, + 77, + 91, + 102, + 280, + 300, + 322, + 343, + 411, + 440, + 462, + 504, + 533, + 553 + ], + "role": 68, + "suffix_response": [ + 47, + 322, + 332, + 333, + 343, + 367, + 488, + 489, + 499, + 533 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1/2", + "1/2", + "0", + "1/2", + "0", + "0", + "1/2" + ], + "outside_dual": [ + 47 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25441, + 25504, + 25557, + 31953, + 31975 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 516, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "1", + "0", + "0", + "1" + ], + "outside_dual": [ + 47 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25542, + 25557, + 25577, + 31953, + 31975 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "1", + "-1", + "2", + "1", + "0", + "0", + "1" + ], + "outside_dual": [ + 47 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25450, + 25495, + 25557, + 31953, + 31975 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 588, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "-1", + "1", + "-1", + "0", + "0", + "0", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25533, + 25557, + 25567, + 31953, + 31975 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 47 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25557, + 31953, + 31975 + ] + } + ], + "viable": false + }, + { + "event": 25675, + "pivot_quiet_window": [ + 25672, + 28489 + ], + "prefix_input": [ + 19, + 22, + 44, + 46, + 54, + 69, + 84, + 92, + 97, + 277, + 328, + 346, + 394, + 426, + 442, + 452, + 521, + 541, + 551 + ], + "role": 75, + "suffix_response": [ + 78, + 233, + 294, + 301, + 307, + 413, + 414, + 538, + 541, + 567, + 600, + 632 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 607, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "1", + "0", + "0", + "-1", + "1" + ], + "outside_dual": [ + 26, + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25660, + 25675, + 25685 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "-1", + "1", + "-2" + ], + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 21445, + 25623, + 25675, + 25729 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 566, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "1", + "0", + "0", + "-1", + "0", + "-1" + ], + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25641, + 25669, + 25675 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "2", + "1", + "0", + "-1", + "-1", + "0" + ], + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25596, + 25675, + 25701 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25675 + ] + } + ], + "viable": false + }, + { + "event": 25875, + "pivot_quiet_window": [ + 25872, + 28355 + ], + "prefix_input": [ + 8, + 10, + 46, + 60, + 69, + 72, + 107, + 110, + 365, + 392, + 400, + 472, + 478, + 563, + 617 + ], + "role": 65, + "suffix_response": [ + 46, + 290, + 324, + 328, + 329, + 330, + 338, + 365, + 377, + 438, + 528, + 537, + 559, + 594, + 606, + 617 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 513, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "-1", + "0", + "0", + "1", + "-1", + "0" + ], + "outside_dual": [ + 46 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25860, + 25869, + 25875 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "1", + "1", + "1", + "-1", + "1", + "-1" + ], + "outside_dual": [ + 46 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25777, + 25821, + 25875 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 591, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "1", + "0", + "0", + "-1" + ], + "outside_dual": [ + 46 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25875, + 25894, + 25904 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "1", + "-1", + "1", + "1", + "1", + "-1", + "-1" + ], + "outside_dual": [ + 46 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25768, + 25831, + 25875 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 46 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25875 + ] + } + ], + "viable": false + }, + { + "event": 25935, + "pivot_quiet_window": [ + 25932, + 28316 + ], + "prefix_input": [ + 23, + 33, + 43, + 48, + 52, + 61, + 68, + 77, + 91, + 280, + 300, + 322, + 343, + 367, + 387, + 411, + 440, + 499, + 504, + 553 + ], + "role": 102, + "suffix_response": [ + 281, + 450, + 467, + 503, + 504, + 533, + 564, + 585 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "1", + "-1", + "-1", + "1", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25935, + 25979, + 26031 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 551, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "-1", + "0", + "0", + "0", + "0", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25913, + 25935, + 25944 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "-1", + "1", + "1", + "-1", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25935, + 25988, + 26041 + ] + }, + { + "compulsory_suffix_group_span_rank": 3, + "literal_chart": 619, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "-1", + "-1", + "1", + "0", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25919, + 25935, + 25954 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 25935 + ] + } + ], + "viable": false + }, + { + "event": 25997, + "pivot_quiet_window": [ + 25991, + 28278 + ], + "prefix_input": [ + 17, + 27, + 36, + 56, + 62, + 72, + 80, + 89, + 266, + 288, + 307, + 353, + 370, + 399, + 417, + 436, + 496, + 522, + 538 + ], + "role": 80, + "suffix_response": [ + 266, + 294, + 307, + 353, + 496, + 508, + 522 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": 569, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "-1", + "0", + "0", + "-1", + "0", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25963, + 25988, + 25997 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "-1", + "1", + "2" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25944, + 25997, + 26050 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": 609, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "-1", + "0", + "0", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25979, + 25997, + 26006 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "-2", + "1", + "0", + "-1", + "-1", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 25919, + 25997, + 26025 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 25997 + ] + } + ], + "viable": false + }, + { + "event": 26114, + "pivot_quiet_window": [ + 26111, + 28197 + ], + "prefix_input": [ + 0, + 6, + 11, + 16, + 18, + 19, + 24, + 27, + 29, + 223, + 239, + 250, + 262, + 268, + 270, + 281, + 287, + 291, + 493, + 519, + 585, + 609 + ], + "role": 22, + "suffix_response": [ + 276, + 398, + 423, + 519, + 547, + 568 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": 3, + "literal_chart": 617, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "-1", + "1", + "1", + "0", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26079, + 26098, + 26114 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "1", + "-1", + "0", + "-1", + "-2", + "0", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26114, + 26124, + 26181 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 518, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "0", + "-1", + "0", + "-1", + "0", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26088, + 26108, + 26114 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "1", + "1", + "-2", + "1", + "0", + "0", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26114, + 26171, + 26225 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26114 + ] + } + ], + "viable": false + }, + { + "event": 26206, + "pivot_quiet_window": [ + 26203, + 28135 + ], + "prefix_input": [ + 12, + 13, + 54, + 56, + 62, + 104, + 105, + 255, + 257, + 347, + 352, + 371, + 467, + 469, + 564, + 618 + ], + "role": 67, + "suffix_response": [ + 338, + 352, + 377, + 382, + 485, + 528, + 564, + 618 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "1", + "1", + "-1", + "1", + "1", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26098, + 26152, + 26206 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 514, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "0", + "0", + "1", + "1", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26181, + 26206, + 26215 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "1", + "1", + "-1", + "-1", + "-1", + "-1", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26088, + 26142, + 26206 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 585, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "1", + "1", + "-1", + "0", + "0", + "0", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26191, + 26206, + 26225 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26206 + ] + } + ], + "viable": false + }, + { + "event": 26269, + "pivot_quiet_window": [ + 26266, + 28093 + ], + "prefix_input": [ + 10, + 47, + 48, + 53, + 55, + 59, + 64, + 68, + 104, + 249, + 333, + 345, + 350, + 362, + 376, + 390, + 466, + 516, + 546, + 562 + ], + "role": 104, + "suffix_response": [ + 466, + 479, + 616, + 619 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": 3, + "literal_chart": 632, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "1", + "1", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26253, + 26269, + 26275 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "1", + "-1", + "-1", + "-1", + "1", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26269, + 26294, + 26378 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 538, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "-1", + "0", + "-1", + "0", + "0", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26235, + 26263, + 26269 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "1", + "-1", + "1", + "1", + "1", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26269, + 26322, + 26350 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26269 + ] + } + ], + "viable": false + }, + { + "event": 26275, + "pivot_quiet_window": [ + 26272, + 28090 + ], + "prefix_input": [ + 1, + 2, + 4, + 7, + 9, + 10, + 11, + 13, + 225, + 227, + 232, + 241, + 247, + 248, + 252, + 256, + 561, + 579, + 597 + ], + "role": 13, + "suffix_response": [ + 35, + 105, + 247, + 248, + 252, + 303, + 304, + 305, + 408, + 431, + 468, + 469, + 510, + 554, + 579, + 597, + 620 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "0", + "0", + "1", + "0", + "0" + ], + "outside_dual": [ + 35 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26275, + 26285, + 26341 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 632, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "1", + "1", + "0" + ], + "outside_dual": [ + 35, + 37 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26253, + 26269, + 26275 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "0", + "1", + "0", + "0", + "-1", + "0" + ], + "outside_dual": [ + 35 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26275, + 26332, + 26388 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 629, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "0", + "1", + "-1", + "0" + ], + "outside_dual": [ + 35 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26244, + 26263, + 26275 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 35 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26275 + ] + } + ], + "viable": false + }, + { + "event": 26322, + "pivot_quiet_window": [ + 26316, + 28061 + ], + "prefix_input": [ + 20, + 25, + 32, + 47, + 58, + 61, + 68, + 83, + 90, + 100, + 273, + 298, + 359, + 367, + 387, + 423, + 438, + 458, + 568, + 593, + 606 + ], + "role": 83, + "suffix_response": [ + 367, + 402, + 423, + 499, + 593, + 628 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 559, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "-1", + "0", + "0", + "1", + "1", + "0", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26285, + 26313, + 26322 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "-1", + "1", + "1", + "1", + "-1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26244, + 26322, + 26378 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 610, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "-1", + "0", + "0", + "1", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26303, + 26322, + 26332 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "1", + "-1", + "1", + "1", + "1", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26269, + 26322, + 26350 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26322 + ] + } + ], + "viable": false + }, + { + "event": 26369, + "pivot_quiet_window": [ + 26363, + 28029 + ], + "prefix_input": [ + 16, + 29, + 37, + 46, + 54, + 62, + 72, + 81, + 88, + 101, + 263, + 309, + 328, + 346, + 370, + 399, + 420, + 433, + 461, + 483, + 589, + 610, + 624 + ], + "role": 79, + "suffix_response": [ + 39, + 94, + 260, + 312, + 313, + 356, + 363, + 446, + 447, + 483, + 501, + 529, + 536, + 558, + 575, + 610, + 624 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "1", + "-1", + "1", + "-1", + "1", + "-1", + "1" + ], + "outside_dual": [ + 39 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26263, + 26303, + 26369 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 567, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "-1", + "0", + "0", + "1", + "0", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26341, + 26369, + 26378 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "-1", + "-1", + "1", + "1", + "1", + "1" + ], + "outside_dual": [ + 39 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26253, + 26313, + 26369 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 601, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "0", + "1", + "-1", + "0", + "-1", + "0" + ], + "outside_dual": [ + 39 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26350, + 26369, + 26388 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 39 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26369 + ] + } + ], + "viable": false + }, + { + "event": 26425, + "pivot_quiet_window": [ + 26419, + 27991 + ], + "prefix_input": [ + 2, + 47, + 48, + 50, + 60, + 61, + 63, + 65, + 109, + 333, + 337, + 363, + 366, + 372, + 379, + 476, + 486, + 558, + 599 + ], + "role": 108, + "suffix_response": [ + 78, + 233, + 301, + 307, + 413, + 414, + 474, + 538, + 567, + 599, + 600, + 632 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "0", + "-1", + "-1", + "2" + ], + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26425, + 26468, + 26531 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": 532, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26397, + 26425, + 26434 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "0", + "-1", + "-1", + "-2" + ], + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26425, + 26477, + 26522 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 631, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "0", + "-1", + "-1", + "0" + ], + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26406, + 26425, + 26443 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 78 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26425 + ] + } + ], + "viable": false + }, + { + "event": 26434, + "pivot_quiet_window": [ + 26428, + 27985 + ], + "prefix_input": [ + 2, + 46, + 49, + 51, + 59, + 62, + 64, + 103, + 228, + 330, + 336, + 361, + 375, + 464, + 514, + 544, + 598 + ], + "role": 106, + "suffix_response": [ + 62, + 79, + 226, + 300, + 369, + 370, + 371, + 415, + 416, + 514, + 553, + 578, + 580, + 598 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "1", + "-1", + "2" + ], + "outside_dual": [ + 62 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26434, + 26459, + 26540 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 532, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1" + ], + "outside_dual": [ + 62 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26397, + 26425, + 26434 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "1", + "-1", + "-2" + ], + "outside_dual": [ + 62 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26434, + 26487, + 26512 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 633, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "1", + "-1", + "0" + ], + "outside_dual": [ + 62 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26416, + 26434, + 26443 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 62 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26434 + ] + } + ], + "viable": false + }, + { + "event": 26477, + "pivot_quiet_window": [ + 26471, + 27957 + ], + "prefix_input": [ + 30, + 44, + 47, + 52, + 61, + 80, + 82, + 325, + 332, + 342, + 418, + 421, + 509, + 540 + ], + "role": 101, + "suffix_response": [ + 61, + 366, + 367, + 368, + 444, + 460, + 509, + 540, + 611, + 612 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 624, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "0", + "1", + "0", + "-1", + "0", + "-1" + ], + "outside_dual": [ + 61 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26459, + 26477, + 26497 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "0", + "-1", + "-1", + "-2" + ], + "outside_dual": [ + 61 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26425, + 26477, + 26522 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 554, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "-1", + "0", + "0", + "0", + "0", + "-1", + "-1" + ], + "outside_dual": [ + 61 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26449, + 26477, + 26487 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-2", + "0", + "-1", + "0", + "1", + "-1", + "0" + ], + "outside_dual": [ + 61 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26416, + 26477, + 26531 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 61 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26477 + ] + } + ], + "viable": false + }, + { + "event": 26546, + "pivot_quiet_window": [ + 26543, + 27909 + ], + "prefix_input": [ + 0, + 6, + 9, + 14, + 15, + 20, + 21, + 23, + 26, + 224, + 238, + 246, + 258, + 260, + 272, + 274, + 279, + 285, + 482, + 501, + 531, + 603 + ], + "role": 28, + "suffix_response": [ + 95, + 224, + 283, + 448, + 449, + 501, + 591, + 603, + 608 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 623, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "0", + "1", + "0", + "-1", + "0", + "1" + ], + "outside_dual": [ + 90, + 95 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26512, + 26531, + 26546 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "1" + ], + "outside_dual": [ + 95 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26397, + 26449, + 26546 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 625, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "1" + ], + "outside_dual": [ + 20, + 95 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26522, + 26540, + 26546 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "0", + "1", + "0", + "-1", + "0", + "0" + ], + "outside_dual": [ + 95 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26443, + 26497, + 26546 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 95 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26546 + ] + } + ], + "viable": false + }, + { + "event": 26596, + "pivot_quiet_window": [ + 26593, + 27877 + ], + "prefix_input": [ + 1, + 7, + 8, + 9, + 10, + 11, + 12, + 13, + 225, + 241, + 243, + 247, + 248, + 252, + 254, + 256, + 561, + 579, + 615 + ], + "role": 4, + "suffix_response": [ + 108, + 232, + 247, + 252, + 474, + 475, + 561, + 579, + 584, + 597, + 615 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 628, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "0", + "1", + "1", + "0" + ], + "outside_dual": [ + 108 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26562, + 26580, + 26596 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "0", + "0", + "0", + "1", + "0" + ], + "outside_dual": [ + 108 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 21445, + 26596, + 26605, + 26657 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 634, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "-1", + "0", + "-1", + "1", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26571, + 26590, + 26596 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0" + ], + "outside_dual": [ + 108 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26596, + 26648, + 26701 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 108 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26596 + ] + } + ], + "viable": false + }, + { + "event": 26648, + "pivot_quiet_window": [ + 26645, + 27843 + ], + "prefix_input": [ + 0, + 6, + 9, + 15, + 21, + 23, + 25, + 26, + 28, + 224, + 238, + 246, + 260, + 274, + 279, + 283, + 285, + 289, + 482, + 501, + 531, + 591 + ], + "role": 20, + "suffix_response": [ + 100, + 224, + 272, + 458, + 459, + 501, + 591, + 596, + 603 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 615, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "1", + "-1", + "1", + "0", + "0" + ], + "outside_dual": [ + 100 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26615, + 26633, + 26648 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0" + ], + "outside_dual": [ + 100 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26596, + 26648, + 26701 + ] + }, + { + "compulsory_suffix_group_span_rank": 4, + "literal_chart": 620, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "-1", + "-1", + "-1", + "0", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26624, + 26642, + 26648 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "1", + "0", + "-1", + "0", + "0", + "0" + ], + "outside_dual": [ + 100 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 21445, + 26552, + 26648, + 26657 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 100 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26648 + ] + } + ], + "viable": false + }, + { + "event": 26682, + "pivot_quiet_window": [ + 26676, + 27824 + ], + "prefix_input": [ + 36, + 41, + 48, + 58, + 63, + 68, + 75, + 84, + 317, + 360, + 373, + 388, + 408, + 425, + 490, + 500, + 510, + 539 + ], + "role": 93, + "suffix_response": [ + 32, + 297, + 298, + 384, + 413, + 444, + 460, + 500, + 510, + 539, + 560, + 569, + 587, + 588, + 629 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "2", + "1", + "1", + "0" + ], + "outside_dual": [ + 32 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26580, + 26624, + 26682 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 543, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "-1", + "0", + "1", + "0", + "1", + "0" + ], + "outside_dual": [ + 29, + 32 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 21445, + 26657, + 26682, + 26691 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "0", + "-2", + "-1", + "0", + "-1", + "1", + "0" + ], + "outside_dual": [ + 32 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26571, + 26633, + 26682 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 613, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "1", + "1", + "1", + "0", + "0" + ], + "outside_dual": [ + 32 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26663, + 26682, + 26701 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 32 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26682 + ] + } + ], + "viable": false + }, + { + "event": 26735, + "pivot_quiet_window": [ + 26729, + 27789 + ], + "prefix_input": [ + 10, + 46, + 57, + 60, + 65, + 69, + 72, + 107, + 355, + 365, + 377, + 392, + 400, + 472, + 528, + 563 + ], + "role": 110, + "suffix_response": [ + 281, + 450, + 462, + 467, + 478, + 503, + 533, + 563, + 564, + 585 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 630, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "0", + "0", + "1", + "0", + "-1", + "1", + "0" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26720, + 26735, + 26754 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "1", + "1", + "-1", + "-1", + "1", + "1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26735, + 26788, + 26831 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": 537, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "-1", + "0", + "1", + "0", + "0", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26711, + 26735, + 26745 + ] + }, + { + "compulsory_suffix_group_span_rank": 2, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "1", + "-1", + "1", + "1", + "-1", + "1", + "-1" + ], + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26735, + 26782, + 26840 + ] + }, + { + "compulsory_suffix_group_span_rank": 1, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": null, + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26735 + ] + } + ], + "viable": false + }, + { + "event": 26788, + "pivot_quiet_window": [ + 26785, + 27751 + ], + "prefix_input": [ + 18, + 24, + 42, + 56, + 69, + 76, + 93, + 99, + 282, + 319, + 354, + 393, + 410, + 445, + 456, + 576, + 586, + 613 + ], + "role": 86, + "suffix_response": [ + 31, + 94, + 260, + 295, + 296, + 356, + 363, + 446, + 447, + 501, + 529, + 536, + 558, + 576 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "1", + "1", + "-1", + "-1", + "1", + "1" + ], + "outside_dual": [ + 31 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21445, + 26735, + 26788, + 26831 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 606, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "1", + "0", + "0", + "1", + "1" + ], + "outside_dual": [ + 10, + 31 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26772, + 26788, + 26806 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "1", + "-1", + "-1", + "-1", + "-1", + "-1", + "-1", + "-1" + ], + "outside_dual": [ + 31 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26726, + 26788, + 26840 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 562, + "midpoint_kind": "literal", + "midpoint_normal": [ + "1", + "-1", + "0", + "0", + "-1", + "-1", + "0", + "0" + ], + "outside_dual": [ + 31 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26763, + 26788, + 26797 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 31 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26788 + ] + } + ], + "viable": false + }, + { + "event": 26806, + "pivot_quiet_window": [ + 26800, + 27742 + ], + "prefix_input": [ + 0, + 5, + 9, + 11, + 30, + 31, + 36, + 37, + 41, + 44, + 223, + 235, + 245, + 250, + 293, + 295, + 306, + 308, + 316, + 324, + 481, + 507, + 537, + 621 + ], + "role": 37, + "suffix_response": [ + 79, + 226, + 250, + 295, + 300, + 415, + 416, + 477, + 493, + 507, + 553, + 578, + 580, + 601 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 606, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "1", + "0", + "0", + "1", + "1" + ], + "outside_dual": [ + 13, + 39, + 79 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26772, + 26788, + 26806 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "1" + ], + "outside_dual": [ + 79 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26711, + 26806, + 26816 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 611, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "0", + "1", + "-1", + "0", + "0", + "-1", + "1" + ], + "outside_dual": [ + 13, + 34, + 79 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26782, + 26797, + 26806 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "0", + "1", + "0", + "0", + "1", + "0" + ], + "outside_dual": [ + 79 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26754, + 26806, + 26856 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 79 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26806 + ] + } + ], + "viable": false + }, + { + "event": 26856, + "pivot_quiet_window": [ + 26853, + 27707 + ], + "prefix_input": [ + 0, + 5, + 33, + 35, + 38, + 43, + 236, + 299, + 303, + 310, + 320, + 525, + 552 + ], + "role": 45, + "suffix_response": [ + 0, + 41, + 85, + 222, + 223, + 224, + 236, + 316, + 317, + 427, + 428, + 471, + 511, + 552, + 567, + 572, + 582, + 627 + ], + "variants": [ + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "1", + "0", + "0", + "1", + "0", + "0", + "0" + ], + "outside_dual": [ + 0 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26711, + 26763, + 26856 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 598, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "0", + "1", + "1", + "0", + "1", + "0" + ], + "outside_dual": [ + 0 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26822, + 26840, + 26856 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "new_join", + "midpoint_normal": [ + "0", + "0", + "0", + "1", + "0", + "0", + "1", + "0" + ], + "outside_dual": [ + 0 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26754, + 26806, + 26856 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": 603, + "midpoint_kind": "literal", + "midpoint_normal": [ + "0", + "1", + "0", + "-1", + "1", + "0", + "-1", + "0" + ], + "outside_dual": [ + 0 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 21349, + 26831, + 26850, + 26856 + ] + }, + { + "compulsory_suffix_group_span_rank": null, + "literal_chart": null, + "midpoint_kind": "generic", + "midpoint_normal": null, + "outside_dual": [ + 0 + ], + "paired_support": false, + "prefix_group_rank": 0, + "virtual_bank_events": [ + 26856 + ] + } + ], + "viable": false + } + ], + "generic_new_midpoint_classes": 22, + "literal_midpoint_classes": 44, + "main_banks": 22, + "new_individual_sites": 0, + "new_rank7_join_classes": 44, + "pending_maps": 0, + "pins": { + "research/paired-query-only-bit/EFREE-RESULT.json": "a46b6c6040f75184cab5467656811ad988c216e3bc8e44d595a5015b6e49620b", + "research/paired-query-only-bit/independent/interval_gate.py": "8dc2bc4c64cba3f83c664373984a075f1a14b4d53958084091345c8cab189dec", + "research/paired-query-only-bit/retained/inputs/BIT-NATIVE-WORD.json.gz": "51203e7fc75ba10bd3ac3f8e675759f47e13d262bea66b6600d1e515095cad78" + }, + "price": { + "10018846261809/2500000000000000": { + "all_added_setup_and_ordinary_work_granted_free": true, + "compatible_stock_upper": 0, + "needed": 21, + "net_upper": [ + "-116920885236312151966669733026671746943354960998634112774448066617923843166741497/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-116920885236312151966669733026671746943354960998634112774448066617923843155818557/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "still_negative": true + }, + "1002040748181/250000000000000": { + "all_added_setup_and_ordinary_work_granted_free": true, + "compatible_stock_upper": 0, + "needed": 22, + "net_upper": [ + "-61379195196405433164387604068841135185593457417758238625015446846091359378000429/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "-122758390392810866328775208137682270371186914835516477250030893692182718744942513/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "still_negative": true + } + }, + "qualifying_local_pairing_rank": 0, + "scope": "Fixed literal normalized operations and bank graph with virtual rank-one plus rank-one subdivision. Grant all literal coframe clocks and all 185 compatible virtual pivots, including all rank-seven rational chart classes. Mandatory own paid pivot coefficient and outside cancellation. New charts cannot acquire new literal occupants in this model.", + "seconds_cap": 480, + "status": "EXHAUSTED_ONE_STOCK_MAP", + "stock_upper": 0, + "target_group_origins": 410, + "tested_bank_maps": 22, + "viable_banks": [], + "virtual_public_banks": 185 +} diff --git a/research/bit-terminal-main-bank-stock/SOURCES.json b/research/bit-terminal-main-bank-stock/SOURCES.json new file mode 100644 index 0000000000..975c35da6e --- /dev/null +++ b/research/bit-terminal-main-bank-stock/SOURCES.json @@ -0,0 +1,36 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "research/paired-query-only-bit/EFREE-RESULT.json", + "usage": "input", + "git_blob": "575f76487f9999ecc3e7b1b70f9f71bc582ef8a8", + "sha256": "a46b6c6040f75184cab5467656811ad988c216e3bc8e44d595a5015b6e49620b" + }, + { + "path": "research/paired-query-only-bit/independent/interval_gate.py", + "usage": "input", + "git_blob": "6d5a751dde7554b2bb3ccb9a958a3508d74ea155", + "sha256": "8dc2bc4c64cba3f83c664373984a075f1a14b4d53958084091345c8cab189dec" + }, + { + "path": "research/paired-query-only-bit/retained/inputs/BIT-NATIVE-WORD.json.gz", + "usage": "input", + "git_blob": "b718d6b2848215ad785022106dfa9f871a3d1c0c", + "sha256": "51203e7fc75ba10bd3ac3f8e675759f47e13d262bea66b6600d1e515095cad78" + } + ] +} diff --git a/research/bit-terminal-main-bank-stock/TASK.json b/research/bit-terminal-main-bank-stock/TASK.json new file mode 100644 index 0000000000..02ba012c75 --- /dev/null +++ b/research/bit-terminal-main-bank-stock/TASK.json @@ -0,0 +1,77 @@ +{ + "schema_version": 1, + "task_id": "bit-helper-contract", + "priority_revision": 8, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "original_card": { + "id": "bit-helper-contract", + "question": "Can a changed G20 helper path or independent-target split improve the complete BIT moment without losing its physical endpoint?", + "starting_points": [ + "docs/research/current-priorities.md", + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "research/g20-helper-split/README.md", + "research/g20-conjugation-admission/README.md" + ], + "methods": [ + "Construct and independently check one source-bound instance of the stated first experiment.", + "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change." + ], + "acceptance_gate": "A full boundary contract and paid profile; unchanged scalar counts alone are insufficient. 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_selected_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.", + "scope": "Source-bound orientation only, not a supplier replay or theorem proof." + }, + "first_experiment": "First read #5679/#5708 and their audits as pending component proposals. Choose one uncovered helper group/cut on an exact word; compare arbitrary-input native action, targets, owned storage, both orientations and full signed bill. Stop if the gain is only a scalar count or repaid by lost targets. Do not rerun the frozen #5609 common-frame domain without changing its hypothesis.", + "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.", + "allowed_variations": [ + "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes." + ], + "scope_change_triggers": [ + "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.", + "Treating an archived proposal or local numerical pass as complete supplier admission." + ], + "overlap_terms": [ + "G20", + "helper split", + "5679", + "5708", + "independent target" + ], + "existing_checks": [ + { + "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.", + "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.", + "status": "reviewed", + "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137", + "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5" + } + ] + }, + "scope_status": "changed", + "actual_scope": "Exact #7001/#6726 BIT terminal native word. Fund the selected 410 public outputs by virtual rank-six to rank-eight main-bank splits through one rank-seven chart, preserving the normalized contacts and other bank graph and requiring each transfer to restore its own outside coordinates.", + "scope_change_reason": "The already priced terminal-bank majority and minority credits leave a small deficit. A transfer from 21 of 22 main banks could cover it before overhead, so test that full stock.", + "bottleneck_link": "The resulting optional transfer stock is zero under the declared single-chart and fixed-contact constraints. It cannot pay the remaining BIT shortfall at the moonshot target.", + "budget_minutes": 8, + "stop_rule": "One complete main-bank stock map with all rational midpoint incidence classes, or eight minutes. Pivot on a directed negative target upper.", + "outcome": "negative-result", + "evidence": "Exact literal and virtual coefficient tables, outside separating covectors, independent projective-normal and marked-suffix audit, and directed complete recurrence price.", + "author": "ToikY", + "ai_assistance": "OpenAI Codex and subagents materially assisted the proof, verifier and independent audit.", + "open_questions": [ + { + "question": "Can a changed bank graph supply a new terminal response direction across distinct charts?", + "why_it_matters": "Under fixed contacts and same-chart corrections all 22 main banks have zero qualifying stock.", + "first_step": "Construct the full forward and backward coefficient inventory of already-paid nonterminal and erased bank bridges. Deduplicate ownership and price the whole bridge stock before attempting one exact transport.", + "blocked_by": "New routes must preserve arbitrary-input action, ownership and restoration and charge all extra movement and tape work. No paid bridge has been admitted here." + } + ] +} diff --git a/research/bit-terminal-main-bank-stock/VERIFY.json b/research/bit-terminal-main-bank-stock/VERIFY.json new file mode 100644 index 0000000000..aa6221d3f6 --- /dev/null +++ b/research/bit-terminal-main-bank-stock/VERIFY.json @@ -0,0 +1,23 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/paired-query-only-bit/EFREE-RESULT.json", + "research/paired-query-only-bit/independent/interval_gate.py", + "research/paired-query-only-bit/retained/inputs/BIT-NATIVE-WORD.json.gz" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/replay.py" + ], + "timeout_seconds": 120, + "checks": "Recompute the exact complete stock map and price, then independently audit every rational chart class and coefficient exclusion." + } + ] +} diff --git a/research/bit-terminal-main-bank-stock/audit.py b/research/bit-terminal-main-bank-stock/audit.py new file mode 100644 index 0000000000..57876b8bc8 --- /dev/null +++ b/research/bit-terminal-main-bank-stock/audit.py @@ -0,0 +1,200 @@ +"""Independent projective-normal and marked-suffix audit of all stock classes.""" +from collections import defaultdict +from fractions import Fraction as Q +import gzip +from hashlib import sha256 +import json +from pathlib import Path +import sys + +WORD="51203e7fc75ba10bd3ac3f8e675759f47e13d262bea66b6600d1e515095cad78" + + +def normalize(x): + a=next(t for t in x if t) + return tuple(t/a for t in x) + + +def dot(a,b): + return sum(x*y for x,y in zip(a,b,strict=True)) + + +def ledger(w,dim): + # Carry bank identity forward across the physical role swaps. + current=[None]*(w["public"]+w["owned_fields"]) + for t,(op,i,*a) in enumerate(w["program"]): + if op=="MOVE": + current[i]=(t,i,a[0],a[1]) + elif op=="SWAP": + j=a[0] + current[i],current[j]=current[j],current[i] + elif op in ("INIT","CLEAR"): + current[i]=None + eligible={} + main=[] + for i,f in enumerate(w["final"]): + if f!=1: + continue + t,j,b,e=current[i] + assert e==1 + if dim[b]<=6: + eligible[t]=(j,b) + if i<222: + main.append(t) + assert len(eligible)==185 and len(main)==22 + return eligible,set(main) + + +def sweep(w,dim,selected,reverse): + n=w["public"] + rows=[{i} for i in range(n)]+[set() for _ in range(w["owned_fields"])] + frames=(w["final"] if reverse else w["start"])+[None]*w["owned_fields"] + literal=defaultdict(set) + virtual={} + def store(j): + f=frames[j] + if f is not None and dim[f]==7: + literal[f].add(sum(1<>i)&1)<>j&1: + v^=x + assert all(not(v>>i&1) for i in outside) + values.append(v) + return values + + +def run(native,receipt): + raw=native.read_bytes() + assert sha256(raw).hexdigest()==WORD + w=json.loads(gzip.decompress(raw)) + data=json.loads(receipt.read_bytes()) + dim={int(k):v["dim"] for k,v in w["frames"].items()} + B={int(k):[tuple(map(Q,u)) for u in v["B"]] for k,v in w["frames"].items()} + A={int(k):[tuple(map(Q,u)) for u in v["A"]] for k,v in w["frames"].items()} + canonical={normalize(A[f][0]):f for f in dim if dim[f]==7} + eligible,main=ledger(w,dim) + prefix,P=sweep(w,dim,eligible,False) + suffix,S=sweep(w,dim,eligible,True) + group={i for i in range(222,w["public"]) if (w["start"][i],w["final"][i])==(0,1)} + outside=[i for i in range(w["public"]) if i not in group] + mark=1<=deadline: + raise TimeoutError("one stock map exceeded budget") + + +def rref(vectors): + basis={} + for x in vectors: + v=list(x) + for p,u in sorted(basis.items()): + if v[p]: + c=v[p] + v=[a-c*b for a,b in zip(v,u,strict=True)] + p=next((i for i,a in enumerate(v) if a),None) + if p is None: + continue + u=[a/v[p] for a in v] + for j,b in list(basis.items()): + if b[p]: + basis[j]=[a-b[p]*z for a,z in zip(b,u,strict=True)] + basis[p]=u + return tuple(tuple(basis[p]) for p in sorted(basis)) + + +@cache +def join(a,b): + return rref(a+b) + + +def positions(bits): + out=[] + while bits: + p=bits&-bits + out.append(p.bit_length()-1) + bits^=p + return out + + +def sweep(w,ranks,pivots,deadline,reverse=False): + n=w["public"] + frames=(w["final"] if reverse else w["start"])+[None]*w["owned_fields"] + rows=[1<=222 and w["start"][x["final_role"]]==0) + assert major=={2:2,4:2,6:138,7:268} + out={} + for k in (Q("0.0040075385047236"),Q("0.004008162992724")): + base=g.moment(signed,k) + minority=(0,0) + for r,n in helper.items(): + if r<8: + minority=g.add(minority,g.smul(g.sub(g.exact(r),g.power(r,k)),copies*n)) + def terminal(a): + return g.smul(g.add(g.sub(g.power(a+1,k),g.exact(1)), + g.sub(g.power(8-a,k),g.power(8,k))),copies) + own=g.add(base,minority) + for a,n in major.items(): + if a<7: + own=g.add(own,g.smul(terminal(a),n)) + one=terminal(6) + needed=next(n for n in range(23) if g.add(own,g.smul(one,n))[0]>0) + assert g.add(own,g.smul(one,needed-1))[1]<0 + total=g.add(own,g.smul(one,stock)) + out[str(k)]={"compatible_stock_upper":stock,"needed":needed, + "net_upper":g.show(total),"still_negative":total[1]<0, + "all_added_setup_and_ordinary_work_granted_free":True} + return out + + +def run(root,seconds): + deadline=monotonic()+seconds + control() + w=json.loads(gzip.decompress(read(root,"research/paired-query-only-bit/retained/inputs/BIT-NATIVE-WORD.json.gz"))) + invoice=json.loads(read(root,"research/paired-query-only-bit/EFREE-RESULT.json")) + assert (w["public"],w["owned_fields"],len(w["program"]))==(659,237,34137) + raw_frames={int(f):v for f,v in w["frames"].items()} + ranks={f:x["dim"] for f,x in raw_frames.items()} + frames={f:rref(tuple(map(Q,row)) for row in x["B"]) for f,x in raw_frames.items()} + assert len(set(frames.values()))==len(frames)==636 + assert all(len(frames[f])==r for f,r in ranks.items()) and ranks[1]==8 + chart={space:f for f,space in frames.items() if ranks[f]==7} + ledger=terminal_ledger(w,ranks) + live=[x for x in ledger if x["paid_rank"]>=2] + source={} + owner={} + for x in live: + i=x["move_event"] + op,j,a,b=w["program"][i] + assert op=="MOVE" and (j,b)==(x["bank_owner_at_move"],1) + assert ranks[a]==x["before_rank"] and i not in source + source[i]=frames[a] + owner[i]=j + main=sorted(x["move_event"] for x in live if x["final_role"]<222) + assert len(live)==len(source)==185 and len(main)==22 + pre,pi,touch=sweep(w,ranks,set(source),deadline) + post,si,_=sweep(w,ranks,set(source),deadline,reverse=True) + group=sum(1<2 else 480 + assert 0