From 6f918e2658c727007611d98ffb8d3c7336e2290c Mon Sep 17 00:00:00 2001 From: Ryanson Jonathan Date: Thu, 22 Oct 2026 01:03:21 +0700 Subject: [PATCH] Rebuild #4416's p7 invoice from its literal controller word Co-Authored-By: Claude Opus 5.5 --- research/pr4416-invoice-rebuild/README.md | 95 + research/pr4416-invoice-rebuild/SOURCES.json | 24 + research/pr4416-invoice-rebuild/TASK.json | 100 + research/pr4416-invoice-rebuild/VERIFY.json | 20 + .../pr4416-invoice-rebuild/vendor/NOTICE.md | 14 + .../vendor/P7-FACTOR.json | 5114 +++++++++++++++++ .../pr4416-invoice-rebuild/vendor/RESULT.json | 296 + .../vendor/SUPPLIER-RESULT.json | 1 + research/pr4416-invoice-rebuild/verify.py | 176 + 9 files changed, 5840 insertions(+) create mode 100644 research/pr4416-invoice-rebuild/README.md create mode 100644 research/pr4416-invoice-rebuild/SOURCES.json create mode 100644 research/pr4416-invoice-rebuild/TASK.json create mode 100644 research/pr4416-invoice-rebuild/VERIFY.json create mode 100644 research/pr4416-invoice-rebuild/vendor/NOTICE.md create mode 100644 research/pr4416-invoice-rebuild/vendor/P7-FACTOR.json create mode 100644 research/pr4416-invoice-rebuild/vendor/RESULT.json create mode 100644 research/pr4416-invoice-rebuild/vendor/SUPPLIER-RESULT.json create mode 100644 research/pr4416-invoice-rebuild/verify.py diff --git a/research/pr4416-invoice-rebuild/README.md b/research/pr4416-invoice-rebuild/README.md new file mode 100644 index 000000000..7721090e8 --- /dev/null +++ b/research/pr4416-invoice-rebuild/README.md @@ -0,0 +1,95 @@ +# #4416's p7 invoice, rebuilt from its literal controller word + +**Claim type: an independent exact replay and assembly. No new κ.** It +answers the open question of my +[#4420](https://github.com/CrocSwap/integer-mult-bounds/pull/4420) for the +part of #4416's invoice that is new. + +## Object + +#4420 certified #4416's strictification inequalities at κ = 0.00268647, but +took its invoices from #4416's inventory. There `α` clears its requirement by +only `5.6·10⁻⁹`, while one extra rank-one paid call would move `α` by about +`7.6·10⁻⁶`. So the invoice itself is the weak link: + +```text +T = {5:420, 6:270, 7:840, 8:1395, 9:3195, 25:448, 41:448, 57:448, 121:224}, +P = {1:37305, 2:10695, 3:3360, 4:1530, 5:300, 8:1464, 16:448, 32:448, 48:448}. +``` + +## Result + +**The invoice is rebuilt exactly** from `P7-FACTOR.json`'s literal word, the +112 port recipes on main, and the supplier receipt. + +1. **Laurent identity.** + - **The replay.** All 70 physical events are replayed as an exact + Laurent matrix `M` over `Q, D0..D14`, under #4416's stated native + contract (`F_s = D_s S_y(Q⁻¹)`, `B_s = D_s S_x(−Q)`). + - **The scalar programs.** The left and right programs replay to the + stored matrices. + - **The identity.** `left · M · right` equals the stated diagonal of 14 + monomials exactly, and every replayed coefficient matrix equals the + stored one. +2. **Main targets.** + - Each role's rank is `1 + 8·(number of D exponents)`, over the 112 ports, + giving `{25:448, 41:448, 57:448, 121:224}`. + - The exponent alphabet is `Q^±1` with `D_s ∈ {0,1}`. +3. **Paid idles.** + - The 12 retained windows are exactly the literal `IDLE` events, and the + keep mask 232127 selects exactly those windows. + - Each window pays rank `8·|stages|` on both roles of its pair at every + port, giving `{8:1344, 16:448, 32:448, 48:448}`. +4. **Supplier.** Over the 15 native calls: + - the THREE-base helper widths `{5:28, 6:18, 7:56, 8:93, 9:213}` give the + helper targets; + - its unsplit paid profile `{1:2487, 2:713, 3:224, 4:102, 5:20, 8:8}` + (forward equal to backward) gives the rest of the paid calls. +5. **Total.** `T` and `P` equal #4416's invoice. The rank-one masses are + 131,723 and 131,115. + +**Control.** Flipping one reversed native call breaks the Laurent identity. + +## Method and independence + +- **No #4416 code.** Nothing is imported or run from #4416. The Laurent + polynomials, scalar programs and assembly are my own code. The native call + contract is #4416's stated input, replayed and not derived. +- **Inputs.** `P7-FACTOR.json` and the supplier receipt are the files whose + SHA256 values #4416's own RESULT.json records. All three are vendored + byte-identically. The port recipes are `adaptive-kernel-demotion`'s + `DATA-PHASES.json` on main, with the same SHA256. + +## Not covered + +- **The supplier's numbers.** Its helper widths and paid profile are taken + from its receipt, part of #4359's lineage. Its native replay is not redone + here. +- **The physical premises.** The native local contract itself, and the + 121-axis physical admission of contacts, endpoints and phases. +- **Downstream.** The tensor, completion and outer arguments. + +## Reproduce + +```sh +python3.12 -B research/pr4416-invoice-rebuild/verify.py +``` + +It prints `PASS_PR4416_INVOICE_REBUILD` in under a second, using only the +standard library. + +## Open next questions + +1. **Replay the THREE-base supplier's paid profile from its native + certificate.** + - *Why it matters:* it contributes `15 · 2487` rank-one calls, so a + difference of one call per invocation moves `α` well past its margin. + - *First step:* census + `THREE-base-FULL-IDENTITY-NATIVE.json.gz` with separate code. + - *Blocked by:* nothing. + +## Credit + +The controller, word and invoice are 1337isnot1337's (#4416, with OpenAI +Codex assistance), building on zxv's #4359. Prepared by Ryanson Jonathan with +substantial Claude Code (Claude Opus 5.5) assistance. Apache-2.0. diff --git a/research/pr4416-invoice-rebuild/SOURCES.json b/research/pr4416-invoice-rebuild/SOURCES.json new file mode 100644 index 000000000..e31a0fe8e --- /dev/null +++ b/research/pr4416-invoice-rebuild/SOURCES.json @@ -0,0 +1,24 @@ +{ + "schema_version": 1, + "base_commit": "12fa8c5c844be21bfefb38a19503fbd867a11244", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "64bfc5af6709ed9811171e0a2108f05e1219cb65", + "sha256": "352a6184713b8843d96fd2c2071eb7aeaa655906b7c51d45ad444912666c8a96" + }, + { + "path": "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json", + "usage": "input", + "git_blob": "d9a4f84211182ca200c081ea061d724c8a2cfb70", + "sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + } + ] +} diff --git a/research/pr4416-invoice-rebuild/TASK.json b/research/pr4416-invoice-rebuild/TASK.json new file mode 100644 index 000000000..a76a98ab1 --- /dev/null +++ b/research/pr4416-invoice-rebuild/TASK.json @@ -0,0 +1,100 @@ +{ + "schema_version": 1, + "task_id": "independent-moment", + "priority_revision": 7, + "base_commit": "12fa8c5c844be21bfefb38a19503fbd867a11244", + "original_card": { + "id": "independent-moment", + "question": "Does a new paid-profile or mixture-ceiling claim have independent source-bound coverage of its actual changed ledger?", + "starting_points": [ + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "research/staged544-mixed-fourth-entry/README.md", + "research/staged-fourth-mixture-ceiling/README.md", + "research/r437-two-window-carrier/README.md" + ], + "methods": [ + "Independently reconstruct one changed paid ledger or pooled dual with exact source and model binding.", + "Check a genuinely uncovered moment implication with a different enclosure method and semantic controls." + ], + "acceptance_gate": "Demonstrate independence, source binding, positive cases and semantic failure controls. Name the existing checks and the missing coverage. More digits or another equivalent evaluation of an unchanged root is not by itself new verification coverage.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Choose one uncovered implication in #4088 literal mixed fill, #4091 pooled dual/model binding or #4067 changed frame/host bill. #4091 pins an earlier #4088 head: validate word, capacity and stock equivalence before applying that ceiling to the later fill.", + "scope": "Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately." + }, + "first_experiment": "Independently reconstruct one changed ledger or pooled certificate with a positive case and a semantic failure control. Compare exact sources and name what existing checks miss. Keep this separate from supplier-boundary-audit (ordinary/outer dispatch) and uniform-transfer-audit (all-size proof). Stop after the chosen implication; more digits of an unchanged root are not additional mechanism coverage.", + "bottleneck_link": "Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.", + "allowed_variations": [ + "Reconstruct either a source ledger or a numeric enclosure with a different method." + ], + "scope_change_triggers": [ + "Importing the primary function and calling its output independent verification.", + "Calling an aggregate histogram or source archive an independently accepted physical supplier." + ], + "overlap_terms": [ + "independent moment", + "rank histogram", + "exact enclosure", + "2979", + "rank7 joint endframes", + "paired extraction", + "joint lowering", + "4088", + "4091", + "4067", + "staged544-mixed-fourth-entry", + "staged-fourth-mixture-ceiling", + "r437-two-window-carrier" + ], + "existing_checks": [ + { + "scope": "PR #4088: mixed local/owner/phase ledger and moment reported.", + "evidence": "research/staged544-mixed-fourth-entry/README.md", + "remaining": "Independent binding of changed construction to paid histogram, distinct from full admission.", + "status": "author-checked", + "source_commit": "72d7efc181edb21806a878f174847c96dd410ab0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4091: sharp pooled ceiling proposed for fixed THREE/FOUR words and inventory.", + "evidence": "research/staged-fourth-mixture-ceiling/README.md", + "remaining": "Validate dual, exhaustive pattern scope and exact source equivalence before applying to newer fills.", + "status": "author-checked", + "source_commit": "a29bdd8f56cd18b805917775cdec09ff935eddc4", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4067: paid (2,2) to (1,3) exchange and fixed OQ4 host reported.", + "evidence": "research/r437-two-window-carrier/README.md", + "remaining": "Independent full cost delta; remaining caller/precision/stock obligations are separate.", + "status": "author-checked", + "source_commit": "a95f11c52e3ca1e4c5171b3c20d8f4b0815aee2e", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + } + ] + }, + "scope_status": "refined", + "actual_scope": "Rebuild #4416's target and paid invoice from its literal p7 controller word (exact Laurent replay, main targets, paid idles) plus its supplier receipt, answering the open question of #4420.", + "scope_change_reason": "#4420 certified #4416's inequalities on its recorded invoice; alpha's 5.6e-9 margin makes the invoice the weak link.", + "bottleneck_link": "#4416's kappa = 0.00268647 rests on this invoice; a one-call change would break alpha's margin.", + "budget_minutes": 40, + "stop_rule": "Stop once the invoice is rebuilt or a discrepancy is found.", + "outcome": "completed", + "evidence": "verify.py: exact Laurent replay of all 70 events gives left*M*right equal to the stated 14 diagonal monomials and the stored coefficient matrices; main targets {25:448,41:448,57:448,121:224} over 112 ports; 12 retained windows equal the literal IDLE events and give paid idles {8:1344,16:448,32:448,48:448}; THREE-base helper widths and paid profile over 15 calls; T and P equal #4416's invoice; a flipped local orientation fails.", + "author": "Ryanson Jonathan, with Claude Code (Claude Opus 5.5) assistance", + "ai_assistance": "Substantial Claude Code (Claude Opus 5.5) assistance in reading, verifier implementation and writing; no independent human or proof-kernel review.", + "open_questions": [ + { + "question": "Replay the THREE-base supplier's paid profile from its native certificate with separate code.", + "why_it_matters": "It contributes 15*2487 rank-one calls; one call per invocation moves alpha past its margin.", + "first_step": "Census THREE-base-FULL-IDENTITY-NATIVE.json.gz independently.", + "blocked_by": "None." + } + ] +} diff --git a/research/pr4416-invoice-rebuild/VERIFY.json b/research/pr4416-invoice-rebuild/VERIFY.json new file mode 100644 index 000000000..535ddf135 --- /dev/null +++ b/research/pr4416-invoice-rebuild/VERIFY.json @@ -0,0 +1,20 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json" + ], + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Vendored P7-FACTOR.json, RESULT.json and supplier receipt hashes (matching #4416's own records); port recipes on main; scalar programs; exact Laurent identity and stored coefficients; main-target, paid-idle and keep-mask derivation; supplier assembly over 15 calls; invoice equality; flipped-orientation control." + } + ] +} diff --git a/research/pr4416-invoice-rebuild/vendor/NOTICE.md b/research/pr4416-invoice-rebuild/vendor/NOTICE.md new file mode 100644 index 000000000..18281a8f6 --- /dev/null +++ b/research/pr4416-invoice-rebuild/vendor/NOTICE.md @@ -0,0 +1,14 @@ +# Vendored files + +Byte-identical copies from [PR #4416](https://github.com/CrocSwap/integer-mult-bounds/pull/4416) +at head `e9058860b5c850760fdf970e796a96aefcdb1d98`, checked by SHA256 in `verify.py`. They are +copied because that head is not reachable from canonical main. + +| Vendored file | Source path in #4416 | Git blob | +| --- | --- | --- | +| `P7-FACTOR.json` | `research/pr4359-p7-padding/P7-FACTOR.json` | `04c7ef620e760cc8f1764bbf0ccd7f32c6a5bd86` | +| `RESULT.json` | `research/pr4359-p7-padding/RESULT.json` | `ebb30a9b3b94fb159a316350f7da57bde4a30c25` | +| `SUPPLIER-RESULT.json` | `research/pr4359-p7-padding/source/research/kappa-rebuild/complex/full-identity-certificates/RESULT.json` | `c6edcbdc43bf36bb11201235027d0ec170d07fc8` | + +The controller and package are 1337isnot1337's (with OpenAI Codex assistance); the supplier +receipt is from zxv's #4359 lineage. Apache-2.0, as those packages state. diff --git a/research/pr4416-invoice-rebuild/vendor/P7-FACTOR.json b/research/pr4416-invoice-rebuild/vendor/P7-FACTOR.json new file mode 100644 index 000000000..04c7ef620 --- /dev/null +++ b/research/pr4416-invoice-rebuild/vendor/P7-FACTOR.json @@ -0,0 +1,5114 @@ +{ + "all_boundary_entries_integral": true, + "coefficient_matrices": [ + { + "exponents": [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + -1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "matrix": [ + [ + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + -1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "matrix": [ + [ + "0", + "0", + "-1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + -1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "-1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + -1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1" + ] + ] + }, + { + "exponents": [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + 1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + }, + { + "exponents": [ + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ], + "matrix": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ] + } + ], + "coefficient_variables": [ + "Q", + "D0", + "D1", + "D2", + "D3", + "D4", + "D5", + "D6", + "D7", + "D8", + "D9", + "D10", + "D11", + "D12", + "D13", + "D14" + ], + "endpoint_after_stated_free_Pauli_normalization": { + "121": 224, + "25": 448, + "41": 448, + "57": 448 + }, + "exact_diagonal_monomials": [ + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1 + ], + [ + -1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ], + [ + -1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + -1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1 + ], + [ + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ], + [ + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + [ + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1, + 1 + ] + ], + "full_Laurent_identity": true, + "keep_idle_mask": 232127, + "left": [ + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0" + ], + [ + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "-1", + "0", + "1", + "0", + "-1", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ], + "left_program": [ + [ + "SWAP", + 11, + 12 + ], + [ + "SWAP", + 8, + 12 + ], + [ + "SCALE", + 7, + "-1" + ], + [ + "SWAP", + 7, + 13 + ], + [ + "ADD", + 4, + 6, + "1" + ], + [ + "ADD", + 2, + 6, + "-1" + ], + [ + "ADD", + 0, + 6, + "1" + ], + [ + "ADD", + 13, + 5, + "1" + ], + [ + "SWAP", + 5, + 12 + ], + [ + "ADD", + 2, + 4, + "1" + ], + [ + "ADD", + 0, + 4, + "-1" + ], + [ + "SWAP", + 4, + 5 + ], + [ + "ADD", + 13, + 3, + "-1" + ], + [ + "ADD", + 12, + 3, + "-1" + ], + [ + "SCALE", + 3, + "-1" + ], + [ + "SWAP", + 3, + 11 + ], + [ + "ADD", + 0, + 2, + "1" + ], + [ + "SWAP", + 2, + 4 + ], + [ + "ADD", + 13, + 1, + "1" + ], + [ + "ADD", + 12, + 1, + "1" + ], + [ + "ADD", + 11, + 1, + "1" + ], + [ + "SWAP", + 1, + 10 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "maximum_boundary_absolute_coefficient": "1", + "native_operator_contract_independently_replayed": false, + "omitted_idle_windows": [ + { + "index": 6, + "kind": "initial", + "pair": 4, + "rank": 64, + "retained": false, + "stages": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7 + ] + }, + { + "index": 8, + "kind": "initial", + "pair": 5, + "rank": 80, + "retained": false, + "stages": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8, + 9 + ] + }, + { + "index": 10, + "kind": "initial", + "pair": 6, + "rank": 96, + "retained": false, + "stages": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8, + 9, + 10, + 11 + ] + }, + { + "index": 12, + "kind": "terminal", + "pair": 0, + "rank": 96, + "retained": false, + "stages": [ + 3, + 4, + 5, + 6, + 7, + 8, + 9, + 10, + 11, + 12, + 13, + 14 + ] + }, + { + "index": 13, + "kind": "terminal", + "pair": 1, + "rank": 80, + "retained": false, + "stages": [ + 5, + 6, + 7, + 8, + 9, + 10, + 11, + 12, + 13, + 14 + ] + }, + { + "index": 14, + "kind": "terminal", + "pair": 2, + "rank": 64, + "retained": false, + "stages": [ + 7, + 8, + 9, + 10, + 11, + 12, + 13, + 14 + ] + } + ], + "pairs": 7, + "physical_events": [ + [ + "LOCAL", + 0, + 0, + false + ], + [ + "LOCAL", + 1, + 0, + true + ], + [ + "IDLE", + 1, + [ + 0, + 1 + ] + ], + [ + "ADD", + 0, + 2, + 1 + ], + [ + "ADD", + 3, + 1, + -1 + ], + [ + "LOCAL", + 2, + 0, + false + ], + [ + "IDLE", + 1, + [ + 2 + ] + ], + [ + "ADD", + 0, + 2, + -1 + ], + [ + "ADD", + 3, + 1, + 1 + ], + [ + "LOCAL", + 3, + 1, + true + ], + [ + "IDLE", + 2, + [ + 0, + 1, + 2, + 3 + ] + ], + [ + "ADD", + 2, + 4, + 1 + ], + [ + "ADD", + 5, + 3, + -1 + ], + [ + "LOCAL", + 4, + 1, + false + ], + [ + "IDLE", + 2, + [ + 4 + ] + ], + [ + "ADD", + 2, + 4, + -1 + ], + [ + "ADD", + 5, + 3, + 1 + ], + [ + "LOCAL", + 5, + 2, + true + ], + [ + "IDLE", + 3, + [ + 0, + 1, + 2, + 3, + 4, + 5 + ] + ], + [ + "ADD", + 4, + 6, + 1 + ], + [ + "ADD", + 7, + 5, + -1 + ], + [ + "LOCAL", + 6, + 2, + false + ], + [ + "IDLE", + 3, + [ + 6 + ] + ], + [ + "ADD", + 4, + 6, + -1 + ], + [ + "ADD", + 7, + 5, + 1 + ], + [ + "LOCAL", + 7, + 3, + true + ], + [ + "ADD", + 6, + 8, + 1 + ], + [ + "ADD", + 9, + 7, + -1 + ], + [ + "LOCAL", + 8, + 3, + false + ], + [ + "IDLE", + 4, + [ + 8 + ] + ], + [ + "ADD", + 6, + 8, + -1 + ], + [ + "ADD", + 9, + 7, + 1 + ], + [ + "LOCAL", + 9, + 4, + true + ], + [ + "ADD", + 8, + 10, + 1 + ], + [ + "ADD", + 11, + 9, + -1 + ], + [ + "LOCAL", + 10, + 4, + false + ], + [ + "IDLE", + 5, + [ + 10 + ] + ], + [ + "ADD", + 8, + 10, + -1 + ], + [ + "ADD", + 11, + 9, + 1 + ], + [ + "LOCAL", + 11, + 5, + true + ], + [ + "ADD", + 10, + 12, + 1 + ], + [ + "ADD", + 13, + 11, + -1 + ], + [ + "LOCAL", + 12, + 5, + false + ], + [ + "IDLE", + 6, + [ + 12 + ] + ], + [ + "ADD", + 10, + 12, + -1 + ], + [ + "ADD", + 13, + 11, + 1 + ], + [ + "LOCAL", + 13, + 6, + true + ], + [ + "LOCAL", + 14, + 6, + false + ], + [ + "IDLE", + 3, + [ + 9, + 10, + 11, + 12, + 13, + 14 + ] + ], + [ + "IDLE", + 4, + [ + 11, + 12, + 13, + 14 + ] + ], + [ + "IDLE", + 5, + [ + 13, + 14 + ] + ], + [ + "ADD", + 12, + 10, + 1 + ], + [ + "ADD", + 11, + 13, + -1 + ], + [ + "ADD", + 10, + 8, + 1 + ], + [ + "ADD", + 9, + 11, + -1 + ], + [ + "ADD", + 8, + 6, + 1 + ], + [ + "ADD", + 7, + 9, + -1 + ], + [ + "ADD", + 6, + 4, + 1 + ], + [ + "ADD", + 5, + 7, + -1 + ], + [ + "ADD", + 4, + 2, + 1 + ], + [ + "ADD", + 3, + 5, + -1 + ], + [ + "ADD", + 2, + 0, + 1 + ], + [ + "ADD", + 1, + 3, + -1 + ], + [ + "SIGNED_SWAP", + 0, + 1 + ], + [ + "SIGNED_SWAP", + 2, + 3 + ], + [ + "SIGNED_SWAP", + 4, + 5 + ], + [ + "SIGNED_SWAP", + 6, + 7 + ], + [ + "SIGNED_SWAP", + 8, + 9 + ], + [ + "SIGNED_SWAP", + 10, + 11 + ], + [ + "SIGNED_SWAP", + 12, + 13 + ] + ], + "retained_idle_windows": [ + { + "index": 0, + "kind": "initial", + "pair": 1, + "rank": 16, + "retained": true, + "stages": [ + 0, + 1 + ] + }, + { + "index": 1, + "kind": "middle", + "pair": 1, + "rank": 8, + "retained": true, + "stages": [ + 2 + ] + }, + { + "index": 2, + "kind": "initial", + "pair": 2, + "rank": 32, + "retained": true, + "stages": [ + 0, + 1, + 2, + 3 + ] + }, + { + "index": 3, + "kind": "middle", + "pair": 2, + "rank": 8, + "retained": true, + "stages": [ + 4 + ] + }, + { + "index": 4, + "kind": "initial", + "pair": 3, + "rank": 48, + "retained": true, + "stages": [ + 0, + 1, + 2, + 3, + 4, + 5 + ] + }, + { + "index": 5, + "kind": "middle", + "pair": 3, + "rank": 8, + "retained": true, + "stages": [ + 6 + ] + }, + { + "index": 7, + "kind": "middle", + "pair": 4, + "rank": 8, + "retained": true, + "stages": [ + 8 + ] + }, + { + "index": 9, + "kind": "middle", + "pair": 5, + "rank": 8, + "retained": true, + "stages": [ + 10 + ] + }, + { + "index": 11, + "kind": "middle", + "pair": 6, + "rank": 8, + "retained": true, + "stages": [ + 12 + ] + }, + { + "index": 15, + "kind": "terminal", + "pair": 3, + "rank": 48, + "retained": true, + "stages": [ + 9, + 10, + 11, + 12, + 13, + 14 + ] + }, + { + "index": 16, + "kind": "terminal", + "pair": 4, + "rank": 32, + "retained": true, + "stages": [ + 11, + 12, + 13, + 14 + ] + }, + { + "index": 17, + "kind": "terminal", + "pair": 5, + "rank": 16, + "retained": true, + "stages": [ + 13, + 14 + ] + } + ], + "right": [ + [ + "0", + "0", + "0", + "1", + "-1", + "1", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "1", + "-1", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "1", + "-1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "-1", + "1", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "-1" + ], + [ + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0" + ], + [ + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0" + ], + [ + "1", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "0" + ], + [ + "0", + "0", + "0", + "0", + "0", + "0", + "0", + "1", + "0", + "0", + "0", + "0", + "0", + "0" + ] + ], + "right_program": [ + [ + "SCALE", + 13, + "-1" + ], + [ + "ADD", + 13, + 12, + "1" + ], + [ + "ADD", + 11, + 12, + "-1" + ], + [ + "SCALE", + 12, + "-1" + ], + [ + "ADD", + 12, + 11, + "-1" + ], + [ + "SCALE", + 11, + "-1" + ], + [ + "ADD", + 12, + 10, + "1" + ], + [ + "SWAP", + 8, + 11 + ], + [ + "SWAP", + 7, + 13 + ], + [ + "ADD", + 5, + 6, + "-1" + ], + [ + "ADD", + 4, + 5, + "-1" + ], + [ + "SWAP", + 5, + 8 + ], + [ + "ADD", + 3, + 4, + "-1" + ], + [ + "SWAP", + 4, + 8 + ], + [ + "SWAP", + 3, + 12 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "SWAP", + 1, + 10 + ], + [ + "SWAP", + 0, + 12 + ] + ], + "stages": 15 +} diff --git a/research/pr4416-invoice-rebuild/vendor/RESULT.json b/research/pr4416-invoice-rebuild/vendor/RESULT.json new file mode 100644 index 000000000..ebb30a9b3 --- /dev/null +++ b/research/pr4416-invoice-rebuild/vendor/RESULT.json @@ -0,0 +1,296 @@ +{ + "endpoint": { + "compiler": { + "H0": 4307773805920, + "H1": 16201843136005340321, + "N_encoding": "2^16201843136005340321", + "delta": "1/1400000000", + "exit_coefficient_log2_upper": "26640", + "final_strict_power_gap": "1/1400000000", + "h": "1/26", + "materialized_tensor_rule_or_uniform_word": false, + "negative_log2_eta_upper": "147931769/1250000", + "paid_max_bound_encoding": "10^6240", + "rank_one_induction": "131723^n > 131115^n; target padding adds equal paid and target rank, and splitting preserves rank", + "t": "12466419/12500000", + "target_max_encoding": "121^6240", + "target_min_encoding": "11^6240", + "tensor_power": 6240, + "theta_upper": "25/26", + "z": "139623893/140000000", + "z0": "1396238929/1400000000" + }, + "gain_over_PR4359": "38647/100000000", + "gain_over_PR4405": "19069/50000000", + "gain_over_PR4414": "33/5000000", + "gain_over_allfresh_p3": "5223/25000000", + "kappa": "268647/100000000", + "ledger_source_sha256": "d097e55f06c3f244f2074ffd7c1a0a5f3c4b4b6a6accf9619d1dde5c0ae85e15", + "minimum_outer_margin": "524529867/122500000000000000", + "negative_controls": { + "closed_epsilon": { + "actual_logarithmic_gamma_guard": "0", + "epsilon_below_one": "0", + "gaussian_above_main": "-1410399/122500000000000000", + "global_gamma_power_slack": "-1/7000000000", + "new_semantic_guard_with_C1_one": "0", + "source_axis_superpolynomial": "0" + }, + "closed_uniform_gap": { + "new_complex_uniform_saving_above_b": "0" + }, + "insufficient_BIT": { + "actual_bit_above_effective": "-270533/700000000" + }, + "unfunded_outer_point": { + "boundary_algebraic_matrix_above_kappa": "-525470133/122500000000000000", + "fused_gaussian_above_kappa": "-526410399/122500000000000000", + "global_coordinate_router_above_kappa": "-3/700000000", + "group_bit_router_above_kappa": "-1405641599/490000000000000000", + "main_transform_above_kappa": "-700470133/122500000000000000" + } + }, + "outer": { + "functional_checks": { + "fixed_halo_explicit_metadata_branch": "13475000001/175000000", + "new_BIT_row_stock_sublinear_in_active_group": "697899997009/700000000000", + "new_semantic_group_guard": "3/700000000" + }, + "margins": { + "boundary_algebraic_matrix": "329093274529867/122500000000000000", + "fused_gaussian": "329093273589601/122500000000000000", + "global_coordinate_router": "1880533/700000000", + "group_bit_router": "1316373794358401/490000000000000000", + "group_scans": "349999999/350000000", + "main_transform": "329093099529867/122500000000000000", + "microbox_face_corrections": "13475000001/175000000", + "polynomial_products": "699999999/700000000", + "sparse_union_movement": "50094718274529867/122500000000000000" + }, + "parameters": { + "a": "1880533/700000000", + "b": "940267/350000000", + "beta": "699999997/700000000", + "bit_saving": "27/10000", + "cap_xi": "111344718099529867/122500000000000000", + "complex_uniform_saving": "376107/140000000", + "d": "1/700000000", + "epsilon": "699999999/700000000", + "kappa": "268647/100000000", + "lambda_": "39892541/40000000", + "lambda_prime": "174529867/175000000", + "layout": "1/700000000", + "q": "470133/175000000", + "r0": "1/7000000000", + "stop": "1/700000000", + "tested_saving": "33581/12500000" + }, + "strict_checks": { + "actual_bit_above_effective": "9467/700000000", + "actual_logarithmic_gamma_guard": "1/700000000", + "actual_logarithmic_group_guard": "11155282162970133/61250000000000000", + "alpha_logarithm_absorption": "1/7000000000", + "boundary_algebraic_matrix_above_kappa": "699529867/122500000000000000", + "cap_above_band": "50094718099529867/122500000000000000", + "cap_below_cell": "11155281725470133/122500000000000000", + "cap_below_phase_cell_power": "133655281900470133/122500000000000000", + "complex_above_effective": "1/700000000", + "complex_below_one_over_32": "9997233/350000000", + "complex_endpoint": "1/350000000", + "epsilon_below_one": "1/700000000", + "epsilon_positive": "699999999/700000000", + "fine_prime_halo_umbrella": "7/2", + "fused_gaussian_above_kappa": "698589601/122500000000000000", + "gaussian_above_main": "87029867/61250000000000000", + "global_coordinate_router_above_kappa": "1/175000000", + "global_gamma_power_slack": "9/7000000000", + "group_below_dimension": "1/350000000", + "group_bit_router_above_kappa": "3494358401/490000000000000000", + "group_gauge_power_slack": "11155282154220133/61250000000000000", + "group_key_fits_record": "1/350000000", + "group_positive": "699999997/700000000", + "group_scans_above_kappa": "698119469/700000000", + "halo_covers_generic_inverse_radius": "5", + "improvement_over_user_baseline": "477749790400418148631/500000000000000000000000", + "lambda_above_internal": "1/1400000000", + "lambda_above_sigma": "3/1400000000", + "lambda_above_tau": "1/1400000000", + "lambda_prime_above_lambda": "1/1400000000", + "lambda_prime_above_leaf": "699059733/245000000000000000", + "leaf_saving_above_effective": "349059733/245000000000000000", + "main_transform_above_kappa": "524529867/122500000000000000", + "membership_arithmetic_fits_record": "1/700000000", + "microbox_face_corrections_above_kappa": "2155924779/28000000", + "microbox_halo_volume": "55300000003/700000000", + "new_complex_uniform_saving_above_b": "1/700000000", + "new_semantic_guard_with_C1_one": "1/700000000", + "polynomial_products_above_kappa": "69811947/70000000", + "positive_layout_slack": "1/700000000", + "q_below_effective": "1/700000000", + "q_below_internal": "1/700000000", + "q_below_leaf": "699059733/245000000000000000", + "q_positive": "470133/175000000", + "short_record_fallback": "349059733/350000000", + "source_axis_superpolynomial": "1/700000000", + "sparse_union_movement_above_kappa": "49765625699529867/122500000000000000", + "stop_below_one": "699999999/700000000", + "stop_positive": "1/700000000", + "strassen_integer_power_gap": "1951441519231", + "support_router_span": "3/700000000", + "theta_positive_polynomial_power": "2", + "union_header_fits_record": "3/700000000", + "union_tag_work_per_visit_fits_record": "3/700000000" + } + }, + "schema": "native-p7-padding-strictification-outer-endpoint/1", + "scope": "Source-bound native p7 geometry, a finite tensor recipe with target padding, exact moment and outer inequalities, and a specified finite uniform rank. Native tensor closure and the PR4359 inherited precision, storage, analytic, fixed-tape and recovery hypotheses are written premises, not a full formal theorem certificate.", + "status": "PASS_CONDITIONAL_P7_OUTER_POINT", + "strictification_source_sha256": "1f3c2a38b34d9dad7266be212ca5d0225827d8e05bda4831e6c25c5713f624f0", + "tested_saving": "33581/12500000" + }, + "independent_interval_crosscheck": true, + "scope": "Conditional native construction and exact finite arithmetic. The finite word and inherited physical, precision, analytic and fixed-tape proofs are not formally verified or materialized by this checker.", + "source_files": 23, + "status": "PASS_SOURCE_BOUND_CONDITIONAL_P7_PAID_PADDING_IMPROVEMENT", + "strictification": { + "alpha_interval": { + "lower": "0.99999998440390797702869232902431332", + "upper": "0.99999998440390797702869232902431333" + }, + "alpha_upper": "99999999/100000000", + "completion_decay_block_length": 2, + "controls": { + "one_decay_block_rejected": true, + "undamped_completion_rejected": true, + "unpadded_rank_one_tail_rejected": true + }, + "cutoff_base": 10, + "cutoff_encoding": "10^6240", + "decay_block_count": 16, + "decay_block_length": 390, + "delta_interval": { + "lower": "0.64382470915163933966321257464784307", + "upper": "0.64382470915163933966321257464784308" + }, + "delta_upper": "2/3", + "exponent": 6240, + "gamma_interval": { + "lower": "0.99819171247300624373216957625759087", + "upper": "0.99819171247300624373216957625759088" + }, + "gamma_upper": "4991/5000", + "materialized_tensor_or_completed_word": false, + "native_inventory": { + "artifact_hash_encoding": "Uncompressed UTF-8 JSON, sort_keys=True, separators=(comma,colon)", + "artifact_sha256": "12784fff6a13e3752ea6e80018e0484c5766a8adf2e88a7e71c80cf2bb68f398", + "contacts": 6720, + "dimension": 121, + "factor_receipt_sha256": "6f96f6be5d8441f71cbe6ebb1657c69b543eb085b848b92b591b7ac01d6e6598", + "fresh_helper_fields": 6120, + "keep": 232127, + "limits": "Finite exact physical controller admission; inherited all-column local word, tensor strictification, new full-word precision/stock and outer transfer remain written proof obligations.", + "main_fields": 1568, + "native_scalar_allowance": 2490856, + "native_source_gate": "PASS_ACTUAL_ARBITRARY_HELPERS_AND_COMPLETE_PHASE_CORRECT_IDLE_JOBS", + "negative_controls": { + "omitted_endpoint_translation_rejected": 784, + "wrong_native_orientation_rejected": true + }, + "p": 7, + "paid": { + "1": 37305, + "16": 448, + "2": 10695, + "3": 3360, + "32": 448, + "4": 1530, + "48": 448, + "5": 300, + "8": 1464 + }, + "paid_calls": 55998, + "productive_fields": 7688, + "rank_margin": 608, + "scalar_allowance": 2490856, + "schema": "source-bound-p7-all-fresh-complete-native-controller/1", + "source_sha256": { + "research/kappa-0023-productive-jobs/dependencies/kappa-next-regime/bit-compression/carrier-reuse/reference/joint_pair_dag.py": "8a0de761642d21919e969475c3f13e5d01a4bae7343c1e1f37c586d94b676a85", + "research/kappa-0023-productive-jobs/dependencies/kappa-next-regime/direct-decoder/sources/DATA-PHASES.json": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "research/kappa-rebuild/bit/complex_controller_factor.py": "1de9aaf918e6a4f2f5448754c1f3c3da3b85e6257849ebd097af09859c4e5497", + "research/kappa-rebuild/bit/mixed_productive_bit.py": "b32291b0db7fc0d332ec444c70746ab0fb03351d2e50546f8bcb64060e3ff95e", + "research/kappa-rebuild/complex/fresh-certificates/THREE-base-HELPER-BOUNDARIES.json.gz": "f90517e395bde58c72cacd5d3481c4ea31d459fe4535384ac16547ac40460555", + "research/kappa-rebuild/complex/full-identity-certificates/RESULT.json": "943d5fad2fc529f470df05a35446e07ecaef7344abfce450d2c2eb2c9b3798f6", + "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-CANONICAL.json.gz": "6418ec3da24d548a57f5c3fe5b9062c26c9478e638504a61c387f5cfb5f4ed61", + "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-NATIVE.json.gz": "c54b0a3e129d28e6dbf74fa731fc3bb70fe3c6705f07256750fbecddcc842d39", + "research/kappa-rebuild/complex/full_identity_rebuild.py": "9af2ffbb0038c92e2a7d281081b0daaeadce75b11b566e5427845dc1af91e33d", + "research/kappa-rebuild/controller/P3-NATIVE-COVER.json.gz": "facfc6d6ecde151afb7e6a167776f3fdaac1c816e785a21a39f7f0bfd9140f3f", + "research/kappa-rebuild/controller/p3_native_cover.py": "fae71fcbbd20b9ee73b049cf6f43ea1d048217fb15feb6055a007e47da3363fe", + "research/kappa-rebuild/transfer-audit/p3_cover_audit.py": "a0fe9a26f77556e83b31b0c91fea909d6f3d8209d0f9f7ad4e5bc1375d33615e", + "research/kappa-rebuild/transfer-audit/p3_native_audit.py": "5504a55a50546418d10c522984438cdeedb44993f7c1dab7bd4aa1ae0515d902" + }, + "status": "PASS_EXACT_LAURENT_ALL_MAIN_CONTACTS_ENDPOINTS_AND_FULL_IDLE_PHASES", + "targets": { + "121": 224, + "25": 448, + "41": 448, + "5": 420, + "57": 448, + "6": 270, + "7": 840, + "8": 1395, + "9": 3195 + }, + "whole_idle_profile": { + "16": 448, + "32": 448, + "48": 448, + "8": 1344 + } + }, + "new_max_target_encoding": "121^6240", + "new_min_target_encoding": "11^6240", + "normalized_moment_upper_rational": "10240625039/10240638976", + "paid": { + "1": 37305, + "16": 448, + "2": 10695, + "3": 3360, + "32": 448, + "4": 1530, + "48": 448, + "5": 300, + "8": 1464 + }, + "paid_rank_one_moment": 131115, + "productive_fields": 7688, + "rank_one_surplus_encoding": "131723^6240-131115^6240", + "schema": "p7-paid-target-completion-tensor-certificate/1", + "scope": "Exact moment bounds for the documented chronological native product, paid target completion and disjoint splitting. Native all-column, precision, storage, analytic and fixed-tape premises remain separate; no full multiplication theorem is formally verified.", + "source_sha256": { + "research/kappa-rebuild/architecture/mixed_target_probe.py": "011c3c9d0cf81103dc84d709a0e36793eb7c5ae3f23c85eac27650ef13afa04a" + }, + "status": "PASS_EXACT_P7_TARGET_COMPLETION_STRICTIFICATION", + "strict_moment_verified": true, + "strictification_gap": { + "lower": "0.00000136095023295546357907266586564", + "upper": "0.00000136095023295546357907266586565" + }, + "strictification_gap_rational": "13937/10240638976", + "target_floor_base": 11, + "target_floor_encoding": "11^6240", + "target_rank_one_moment": 131723, + "targets": { + "121": 224, + "25": 448, + "41": 448, + "5": 420, + "57": 448, + "6": 270, + "7": 840, + "8": 1395, + "9": 3195 + }, + "tested_saving": "33581/12500000", + "theta_upper": "25/26" + } +} diff --git a/research/pr4416-invoice-rebuild/vendor/SUPPLIER-RESULT.json b/research/pr4416-invoice-rebuild/vendor/SUPPLIER-RESULT.json new file mode 100644 index 000000000..c6edcbdc4 --- /dev/null +++ b/research/pr4416-invoice-rebuild/vendor/SUPPLIER-RESULT.json @@ -0,0 +1 @@ +{"generator_sha256":"9af2ffbb0038c92e2a7d281081b0daaeadce75b11b566e5427845dc1af91e33d","independent_interpreter_sha256":"106b4d5e052427230df452f0c901d5390a0583782960b80a8af94d9a984022c7","independent_prefix_evaluator_sha256":"50ad007d9c386393657e86c99a96ae0a63a8fbc52872579b185002cc626e88e3","integrated_cleanup_receipt_sha256":"70c3d5b1c1d6a18afb29ea1febec3c619ff2b1e38a09c44db7828794ea095429","no_new_kappa_claimed":true,"providers":{"FOUR-base":{"all_408_helpers_autonomous":true,"all_632_persistent_inputs_arbitrary":true,"artifacts":{"FOUR-base-FULL-IDENTITY-CANONICAL.json.gz":"674eefd0cac6e075438228817a81ca245585efa7668e6fb9b8d197f1eaaebf2c","FOUR-base-FULL-IDENTITY-NATIVE.json.gz":"2b422524ac48bca1feb1649870dbe2106c358b41a87e8c2ab83c4f5267570e2b"},"composition":{"changed_fields_from_original":["cleanup","zero_buffers"],"ordinary_compensation_and_all_eight_center_cuts_retained":true,"original_canonical_sha256":"bff67890d0d350646d11f45aa1b098d6a415b1850b4982e8a05b4c146d247eda","scheduled_canonical_sha256":"063f03560b0519fe6804e8204708d2c32417e50ac46dde37ef92a409075cf045"},"dropped_center_response_negative_control_rejected":true,"external_cleanup_fields":0,"helper_boundary":{"both_orientations_and_global_phases_bound":true,"certificate":"research/kappa-rebuild/complex/fresh-certificates/FOUR-base-HELPER-BOUNDARIES.json.gz","certificate_sha256":"fdc52eb13d13600f2566b071f0b83cef16f5fb916b3db456701bb68da3ce627b","count":408,"total_width":3300,"widths":{"5":28,"6":18,"7":57,"8":92,"9":213}},"max_child_rank":5,"no_H_involution_or_query_controller_needed":true,"owned_C_fields":1,"owned_C_input_arbitrary_and_erased":true,"split_center_phase_recipes":{"backward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":254,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":254,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":274,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":274,"old_frame":1156,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,3,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":0,"phase":3,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":619,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":619,"old_frame":1156,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,3,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":0,"phase":3,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":279,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":279,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1157,"new_frame":621,"old_frame":0,"pieces":[{"new_frame":1157,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,1,0,0,0,0,2,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}},{"new_frame":621,"old_frame":1157,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":280,"old_frame":0,"pieces":[{"new_frame":1158,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":280,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,1,1,1,1,2,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":624,"old_frame":0,"pieces":[{"new_frame":1158,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":624,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1159,"new_frame":281,"old_frame":0,"pieces":[{"new_frame":1159,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,1,0,0,0,2,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}},{"new_frame":281,"old_frame":1159,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}}],"product_exact_including_phase":true}],"forward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":254,"pieces":[{"new_frame":1156,"old_frame":254,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,1,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":8,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":274,"pieces":[{"new_frame":1156,"old_frame":274,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":2,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":619,"pieces":[{"new_frame":1156,"old_frame":619,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,1,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":8,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":279,"pieces":[{"new_frame":1156,"old_frame":279,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,2,1,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":16,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1157,"new_frame":0,"old_frame":621,"pieces":[{"new_frame":1157,"old_frame":621,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,2,0,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":2,"phase":0,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}},{"new_frame":0,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,3,0,0,0,0,0,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":0,"old_frame":280,"pieces":[{"new_frame":1158,"old_frame":280,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,1,1,1,0,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":31,"phase":0,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}},{"new_frame":0,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":0,"old_frame":624,"pieces":[{"new_frame":1158,"old_frame":624,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":1,"phase":0,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}},{"new_frame":0,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1159,"new_frame":0,"old_frame":281,"pieces":[{"new_frame":1159,"old_frame":281,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,0,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":4,"phase":0,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1159,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,3,0,0,0,0,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}}],"product_exact_including_phase":true}]},"split_replays":{"backward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158146,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":6804,"role":["L",225]},"max_denominator":64,"max_formal_prefix_l1":"169","paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156,"real_scalar_allowance":158146,"scalar_frames_checked":true}},"forward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158098,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":20029,"role":["L",224]},"max_denominator":32,"max_formal_prefix_l1":"457","paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156,"real_scalar_allowance":158098,"scalar_frames_checked":true}}},"unsplit_replays":{"backward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158146,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":227,"4":99,"5":20,"8":8},"paid_rank_mass":5156},"forward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158098,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":227,"4":99,"5":20,"8":8},"paid_rank_mass":5156}}},"FOUR-extra":{"all_408_helpers_autonomous":true,"all_632_persistent_inputs_arbitrary":true,"artifacts":{"FOUR-extra-FULL-IDENTITY-CANONICAL.json.gz":"99a196112e172e68932763c7bf3bf3fb4526efb0bd8a6551bb845472e785eeaf","FOUR-extra-FULL-IDENTITY-NATIVE.json.gz":"2b422524ac48bca1feb1649870dbe2106c358b41a87e8c2ab83c4f5267570e2b"},"composition":{"changed_fields_from_original":["cleanup","zero_buffers"],"ordinary_compensation_and_all_eight_center_cuts_retained":true,"original_canonical_sha256":"e0c473d62127a09cb3cbf451564dbdd19c0c10f1674dab0575e65251aa5e1e3c","scheduled_canonical_sha256":"4ac4eeb562e1bba7c962b208eeb23be69a51dc89c31f699fc33433251835d3fb"},"dropped_center_response_negative_control_rejected":true,"external_cleanup_fields":0,"helper_boundary":{"both_orientations_and_global_phases_bound":true,"certificate":"research/kappa-rebuild/complex/fresh-certificates/FOUR-extra-HELPER-BOUNDARIES.json.gz","certificate_sha256":"fdc52eb13d13600f2566b071f0b83cef16f5fb916b3db456701bb68da3ce627b","count":408,"total_width":3300,"widths":{"5":28,"6":18,"7":57,"8":92,"9":213}},"max_child_rank":5,"no_H_involution_or_query_controller_needed":true,"owned_C_fields":1,"owned_C_input_arbitrary_and_erased":true,"split_center_phase_recipes":{"backward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":254,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":254,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":274,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":274,"old_frame":1156,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,3,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":0,"phase":3,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":619,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":619,"old_frame":1156,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,3,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":0,"phase":3,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":279,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":279,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1157,"new_frame":621,"old_frame":0,"pieces":[{"new_frame":1157,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,1,0,0,0,0,2,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}},{"new_frame":621,"old_frame":1157,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":280,"old_frame":0,"pieces":[{"new_frame":1158,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":280,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,1,1,1,1,2,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":624,"old_frame":0,"pieces":[{"new_frame":1158,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":624,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1159,"new_frame":281,"old_frame":0,"pieces":[{"new_frame":1159,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,1,0,0,0,2,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}},{"new_frame":281,"old_frame":1159,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}}],"product_exact_including_phase":true}],"forward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":254,"pieces":[{"new_frame":1156,"old_frame":254,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,1,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":8,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":274,"pieces":[{"new_frame":1156,"old_frame":274,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":2,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":619,"pieces":[{"new_frame":1156,"old_frame":619,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,1,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":8,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1156,"new_frame":0,"old_frame":279,"pieces":[{"new_frame":1156,"old_frame":279,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,2,1,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":16,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1157,"new_frame":0,"old_frame":621,"pieces":[{"new_frame":1157,"old_frame":621,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,2,0,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":2,"phase":0,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}},{"new_frame":0,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,3,0,0,0,0,0,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":0,"old_frame":280,"pieces":[{"new_frame":1158,"old_frame":280,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,1,1,1,0,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":31,"phase":0,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}},{"new_frame":0,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1158,"new_frame":0,"old_frame":624,"pieces":[{"new_frame":1158,"old_frame":624,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":1,"phase":0,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}},{"new_frame":0,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1159,"new_frame":0,"old_frame":281,"pieces":[{"new_frame":1159,"old_frame":281,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,0,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":4,"phase":0,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1159,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,3,0,0,0,0,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}}],"product_exact_including_phase":true}]},"split_replays":{"backward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158146,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":6804,"role":["L",225]},"max_denominator":64,"max_formal_prefix_l1":"169","paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156,"real_scalar_allowance":158146,"scalar_frames_checked":true}},"forward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158098,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":20029,"role":["L",224]},"max_denominator":32,"max_formal_prefix_l1":"457","paid_profile":{"1":2489,"2":713,"3":235,"4":99,"5":28},"paid_rank_mass":5156,"real_scalar_allowance":158098,"scalar_frames_checked":true}}},"unsplit_replays":{"backward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158146,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":227,"4":99,"5":20,"8":8},"paid_rank_mass":5156},"forward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158098,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3548,"phase":10,"residual_adapter":390,"scalar":17452,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2489,"2":713,"3":227,"4":99,"5":20,"8":8},"paid_rank_mass":5156}}},"THREE-base":{"all_408_helpers_autonomous":true,"all_632_persistent_inputs_arbitrary":true,"artifacts":{"THREE-base-FULL-IDENTITY-CANONICAL.json.gz":"6418ec3da24d548a57f5c3fe5b9062c26c9478e638504a61c387f5cfb5f4ed61","THREE-base-FULL-IDENTITY-NATIVE.json.gz":"c54b0a3e129d28e6dbf74fa731fc3bb70fe3c6705f07256750fbecddcc842d39"},"composition":{"changed_fields_from_original":["cleanup","zero_buffers"],"ordinary_compensation_and_all_eight_center_cuts_retained":true,"original_canonical_sha256":"f07fae1011160b53e2df1f3135465db1277a093319de2a1da52d648f00a39542","scheduled_canonical_sha256":"7c04a6c2c27764f4860af277b23ac9edfb395c3b207a04b9d0e7eae80b7a26d5"},"dropped_center_response_negative_control_rejected":true,"external_cleanup_fields":0,"helper_boundary":{"both_orientations_and_global_phases_bound":true,"certificate":"research/kappa-rebuild/complex/fresh-certificates/THREE-base-HELPER-BOUNDARIES.json.gz","certificate_sha256":"f90517e395bde58c72cacd5d3481c4ea31d459fe4535384ac16547ac40460555","count":408,"total_width":3301,"widths":{"5":28,"6":18,"7":56,"8":93,"9":213}},"max_child_rank":5,"no_H_involution_or_query_controller_needed":true,"owned_C_fields":1,"owned_C_input_arbitrary_and_erased":true,"split_center_phase_recipes":{"backward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":254,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":254,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":274,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":274,"old_frame":1155,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,3,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":0,"phase":3,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":619,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":619,"old_frame":1155,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,3,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":0,"phase":3,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":279,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":279,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1156,"new_frame":621,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,1,0,0,0,0,2,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}},{"new_frame":621,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":280,"old_frame":0,"pieces":[{"new_frame":1157,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":280,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,1,1,1,1,2,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":624,"old_frame":0,"pieces":[{"new_frame":1157,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":624,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1158,"new_frame":281,"old_frame":0,"pieces":[{"new_frame":1158,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,1,0,0,0,2,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}},{"new_frame":281,"old_frame":1158,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}}],"product_exact_including_phase":true}],"forward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":254,"pieces":[{"new_frame":1155,"old_frame":254,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,1,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":8,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":274,"pieces":[{"new_frame":1155,"old_frame":274,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":2,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":619,"pieces":[{"new_frame":1155,"old_frame":619,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,1,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":8,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":279,"pieces":[{"new_frame":1155,"old_frame":279,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,2,1,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":16,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1156,"new_frame":0,"old_frame":621,"pieces":[{"new_frame":1156,"old_frame":621,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,2,0,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":2,"phase":0,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,3,0,0,0,0,0,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":0,"old_frame":280,"pieces":[{"new_frame":1157,"old_frame":280,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,1,1,1,0,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":31,"phase":0,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}},{"new_frame":0,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":0,"old_frame":624,"pieces":[{"new_frame":1157,"old_frame":624,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":1,"phase":0,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}},{"new_frame":0,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1158,"new_frame":0,"old_frame":281,"pieces":[{"new_frame":1158,"old_frame":281,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,0,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":4,"phase":0,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,3,0,0,0,0,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}}],"product_exact_including_phase":true}]},"split_replays":{"backward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158168,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":6804,"role":["L",225]},"max_denominator":64,"max_formal_prefix_l1":"169","paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157,"real_scalar_allowance":158168,"scalar_frames_checked":true}},"forward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158120,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":20028,"role":["L",224]},"max_denominator":32,"max_formal_prefix_l1":"457","paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157,"real_scalar_allowance":158120,"scalar_frames_checked":true}}},"unsplit_replays":{"backward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158168,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":224,"4":102,"5":20,"8":8},"paid_rank_mass":5157},"forward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158120,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":224,"4":102,"5":20,"8":8},"paid_rank_mass":5157}}},"THREE-extra":{"all_408_helpers_autonomous":true,"all_632_persistent_inputs_arbitrary":true,"artifacts":{"THREE-extra-FULL-IDENTITY-CANONICAL.json.gz":"a5fc3d17e78cc7743763256426178fdf3db7874a1c3702cf8bb80e0fdd3e932a","THREE-extra-FULL-IDENTITY-NATIVE.json.gz":"c54b0a3e129d28e6dbf74fa731fc3bb70fe3c6705f07256750fbecddcc842d39"},"composition":{"changed_fields_from_original":["cleanup","zero_buffers"],"ordinary_compensation_and_all_eight_center_cuts_retained":true,"original_canonical_sha256":"882271d70602354cbada8d77f479703ccc6c47e689e8ccd91f9e4c87de0f4379","scheduled_canonical_sha256":"8d5850eb76ea3656ec58554d8d9e08293d90449b7b2a117be7f4f29e1d6b482e"},"dropped_center_response_negative_control_rejected":true,"external_cleanup_fields":0,"helper_boundary":{"both_orientations_and_global_phases_bound":true,"certificate":"research/kappa-rebuild/complex/fresh-certificates/THREE-extra-HELPER-BOUNDARIES.json.gz","certificate_sha256":"f90517e395bde58c72cacd5d3481c4ea31d459fe4535384ac16547ac40460555","count":408,"total_width":3301,"widths":{"5":28,"6":18,"7":56,"8":93,"9":213}},"max_child_rank":5,"no_H_involution_or_query_controller_needed":true,"owned_C_fields":1,"owned_C_input_arbitrary_and_erased":true,"split_center_phase_recipes":{"backward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":254,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":254,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":274,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":274,"old_frame":1155,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,3,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":0,"phase":3,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":619,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":619,"old_frame":1155,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,3,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":0,"phase":3,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":279,"old_frame":0,"pieces":[{"new_frame":1155,"old_frame":0,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}},{"new_frame":279,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1156,"new_frame":621,"old_frame":0,"pieces":[{"new_frame":1156,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,1,0,0,0,0,2,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}},{"new_frame":621,"old_frame":1156,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,1,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":280,"old_frame":0,"pieces":[{"new_frame":1157,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":280,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,1,1,1,1,2,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":624,"old_frame":0,"pieces":[{"new_frame":1157,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[1,0,0,0,0,0,2,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}},{"new_frame":624,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[1,2,2,2,2,2,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":0,"phase":3,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1158,"new_frame":281,"old_frame":0,"pieces":[{"new_frame":1158,"old_frame":0,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,1,0,0,0,2,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}},{"new_frame":281,"old_frame":1158,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,1,2,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":0,"phase":3,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}}],"product_exact_including_phase":true}],"forward":[{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":254,"pieces":[{"new_frame":1155,"old_frame":254,"recipe":{"left":{"linear_Z4":[2,3,2,3,2,0,0,0,0],"matrix_rows":[1,40,4,10,16,2,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,1,2,0,0,0,0],"matrix_rows":[1,40,4,34,16,42,64,128,256],"offset":8,"phase":0,"quadratic_rows":[0,10,0,10,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":274,"pieces":[{"new_frame":1155,"old_frame":274,"recipe":{"left":{"linear_Z4":[3,3,2,2,2,0,0,0,0],"matrix_rows":[34,3,1,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,0,2,2,2,0,0,0],"matrix_rows":[6,5,8,16,32,7,64,128,256],"offset":2,"phase":0,"quadratic_rows":[3,3,0,0,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":619,"pieces":[{"new_frame":1155,"old_frame":619,"recipe":{"left":{"linear_Z4":[3,2,2,3,2,0,0,0,0],"matrix_rows":[40,2,4,9,1,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,1,0,2,0,0,0],"matrix_rows":[24,2,4,17,32,25,64,128,256],"offset":8,"phase":0,"quadratic_rows":[9,0,0,9,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,64],"intermediate_frame":1155,"new_frame":0,"old_frame":279,"pieces":[{"new_frame":1155,"old_frame":279,"recipe":{"left":{"linear_Z4":[2,2,3,2,3,0,0,0,0],"matrix_rows":[1,2,48,8,20,4,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,2,1,0,0,0,0],"matrix_rows":[1,2,48,8,36,52,64,128,256],"offset":16,"phase":0,"quadratic_rows":[0,0,20,0,20,0,0,0,0]}}},{"new_frame":0,"old_frame":1155,"recipe":{"left":{"linear_Z4":[2,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,0,0,0,0,2,2,2],"matrix_rows":[64,128,256,1,2,4,8,16,32],"offset":0,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,66],"intermediate_frame":1156,"new_frame":0,"old_frame":621,"pieces":[{"new_frame":1156,"old_frame":621,"recipe":{"left":{"linear_Z4":[2,3,2,2,2,0,0,0,0],"matrix_rows":[1,34,4,8,2,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,2,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,3,2,2,0,2,0,0,0],"matrix_rows":[1,2,4,8,32,18,64,128,256],"offset":2,"phase":0,"quadratic_rows":[0,18,0,0,2,0,0,0,0]}}},{"new_frame":0,"old_frame":1156,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,17,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,3,0,0,0,0,0,2,2],"matrix_rows":[2,128,256,1,66,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,66,0,0,0,0,2,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":0,"old_frame":280,"pieces":[{"new_frame":1157,"old_frame":280,"recipe":{"left":{"linear_Z4":[3,3,3,3,3,0,0,0,0],"matrix_rows":[63,3,5,9,17,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,30,30,30,30,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,1,1,1,1,0,0,0,0],"matrix_rows":[1,61,59,55,47,63,64,128,256],"offset":31,"phase":0,"quadratic_rows":[33,30,30,30,30,1,0,0,0]}}},{"new_frame":0,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,65],"intermediate_frame":1157,"new_frame":0,"old_frame":624,"pieces":[{"new_frame":1157,"old_frame":624,"recipe":{"left":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[33,2,4,8,16,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[3,2,2,2,2,0,0,0,0],"matrix_rows":[1,2,4,8,16,33,64,128,256],"offset":1,"phase":0,"quadratic_rows":[33,0,0,0,0,1,0,0,0]}}},{"new_frame":0,"old_frame":1157,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[9,16,32,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[3,0,0,0,0,0,0,2,2],"matrix_rows":[1,128,256,65,2,4,8,16,32],"offset":1,"phase":2,"quadratic_rows":[65,0,0,0,0,0,1,0,0]}}}],"product_exact_including_phase":true},{"intermediate_basis":[256,128,68],"intermediate_frame":1158,"new_frame":0,"old_frame":281,"pieces":[{"new_frame":1158,"old_frame":281,"recipe":{"left":{"linear_Z4":[2,2,3,2,2,0,0,0,0],"matrix_rows":[1,2,36,4,8,16,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,4,0,0,0,0,0,0]},"rank":5,"right":{"linear_Z4":[2,2,3,0,2,2,0,0,0],"matrix_rows":[1,2,4,16,32,12,64,128,256],"offset":4,"phase":0,"quadratic_rows":[0,0,12,4,0,0,0,0,0]}}},{"new_frame":0,"old_frame":1158,"recipe":{"left":{"linear_Z4":[3,2,2,0,0,0,0,0,0],"matrix_rows":[8,16,33,64,128,256,1,2,4],"offset":0,"phase":0,"quadratic_rows":[1,0,0,0,0,0,0,0,0]},"rank":3,"right":{"linear_Z4":[0,0,3,0,0,0,0,2,2],"matrix_rows":[4,128,256,1,2,68,8,16,32],"offset":1,"phase":2,"quadratic_rows":[0,0,68,0,0,0,4,0,0]}}}],"product_exact_including_phase":true}]},"split_replays":{"backward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158168,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":6804,"role":["L",225]},"max_denominator":64,"max_formal_prefix_l1":"169","paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157,"real_scalar_allowance":158168,"scalar_frames_checked":true}},"forward":{"independent_native_replay":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158120,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":16,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157},"independent_prefix_and_endpoint":{"arbitrary_owned_C0_cleared":true,"independent_owned_entry_columns":1,"independent_persistent_columns":632,"l1_witness":{"event":20028,"role":["L",224]},"max_denominator":32,"max_formal_prefix_l1":"457","paid_profile":{"1":2487,"2":713,"3":232,"4":102,"5":28},"paid_rank_mass":5157,"real_scalar_allowance":158120,"scalar_frames_checked":true}}},"unsplit_replays":{"backward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158168,"direction":"backward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":224,"4":102,"5":20,"8":8},"paid_rank_mass":5157},"forward":{"all_scalar_frames_checked":true,"clean_J":false,"conservative_real_scalar_primitive_allowance":158120,"direction":"forward","dyadic_coefficients_and_unit_scales_checked":true,"event_counts":{"adapter":978,"center":8,"climb":3546,"phase":10,"residual_adapter":390,"scalar":17453,"warp":240},"expected_restored_arbitrary_cleanup_buffers":0,"expected_restored_helpers":408,"explicitly_owned_C_fields_cleared":1,"free_warp_operator_endpoint_matches":true,"independent_borrowed_input_fields":632,"mismatch_examples":[],"negative_control_omitted_last_cleanup_scalar":false,"original_data_fields":224,"paid_profile":{"1":2487,"2":713,"3":224,"4":102,"5":20,"8":8},"paid_rank_mass":5157}}}},"reconstruction_source_sha256":"f94c527cc02215de49350d477618188c4c0da48bc8fb05b4e37b24c482cad7d5","schema":"fresh-full-identity-zero-bank-native-supplier/1","scope":"Complete ideal local native supplier and helper boundaries. Outer productive job ownership, complete recurrence, scalar and storage charges, and rounded induction remain caller obligations.","source_closure_verified":{"research/kappa-native-resume/causal-controller/sources/research/joint-query/certificate.json.gz":"a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7","research/kappa-native-resume/native-source/rebased-core/converted/FOUR-base-CANONICAL.json.gz":"71f03fe085db07399cdfeffadbb65f1910bbdb5b7b0873562fb228e4cb292c8b","research/kappa-native-resume/native-source/rebased-core/converted/FOUR-base-NATIVE-WORD.json.gz":"57d7c53bacc42c6d403d3f2ced05c7e277ade034a2cb2db9b07e20962cc0b0d6","research/kappa-native-resume/native-source/rebased-core/converted/FOUR-extra-CANONICAL.json.gz":"d67623412d0de8aab251702d708e9c48421b2721938657193370ee7065322e25","research/kappa-native-resume/native-source/rebased-core/converted/FOUR-extra-NATIVE-WORD.json.gz":"57d7c53bacc42c6d403d3f2ced05c7e277ade034a2cb2db9b07e20962cc0b0d6","research/kappa-native-resume/native-source/rebased-core/converted/THREE-base-CANONICAL.json.gz":"4526f0c379c0a4e4ae7731b7086a15382c1d1e3960bdf73245f7121299a7ac73","research/kappa-native-resume/native-source/rebased-core/converted/THREE-base-NATIVE-WORD.json.gz":"bde29d4ac306aa528a1237c8b7197291f29f1733f50058ca13f72c2ae328dccf","research/kappa-native-resume/native-source/rebased-core/converted/THREE-extra-CANONICAL.json.gz":"6d214cd24e00a2af5b237df8acadd6bd8d3e77bf307fafd0e3e8451c66d93203","research/kappa-native-resume/native-source/rebased-core/converted/THREE-extra-NATIVE-WORD.json.gz":"bde29d4ac306aa528a1237c8b7197291f29f1733f50058ca13f72c2ae328dccf","research/kappa-native-resume/native-source/rebased-core/sources/FOUR-base-CANONICAL.json.gz":"bff67890d0d350646d11f45aa1b098d6a415b1850b4982e8a05b4c146d247eda","research/kappa-native-resume/native-source/rebased-core/sources/FOUR-base-PHASES.json":"e273538de7957b959c40f593c4aad5e8e3d81d83d662fe2895c17770c5fad8bd","research/kappa-native-resume/native-source/rebased-core/sources/FOUR-extra-CANONICAL.json.gz":"e0c473d62127a09cb3cbf451564dbdd19c0c10f1674dab0575e65251aa5e1e3c","research/kappa-native-resume/native-source/rebased-core/sources/FOUR-extra-PHASES.json":"c8f744c62670ad7d76faf4dee65e2f708f4036953041e72383929c7d0b32ec38","research/kappa-native-resume/native-source/rebased-core/sources/THREE-base-CANONICAL.json.gz":"f07fae1011160b53e2df1f3135465db1277a093319de2a1da52d648f00a39542","research/kappa-native-resume/native-source/rebased-core/sources/THREE-base-PHASES.json":"9d5316a1465a3eb2c62fac76c291394c0401c34a96fd8b94863d662b16a64552","research/kappa-native-resume/native-source/rebased-core/sources/THREE-extra-CANONICAL.json.gz":"882271d70602354cbada8d77f479703ccc6c47e689e8ccd91f9e4c87de0f4379","research/kappa-native-resume/native-source/rebased-core/sources/THREE-extra-PHASES.json":"81c01d4b007bb720311dbdbbc63df673fdaf7baba707b360bbecc4b9cb6ee7b0","research/kappa-native-resume/native-source/rebased-core/sources/bw_emit.py":"99b59a6fa3feda86785e4225157dcb1a6169d256cec4f5e0acc9cea7a701df76"},"status":"PASS_FULL_IDENTITY_ALL_FOUR_BOTH_DIRECTIONS_632_ARBITRARY_FIELDS_ZERO_EXTERNAL_BANK_CHILD_CEILING5"} diff --git a/research/pr4416-invoice-rebuild/verify.py b/research/pr4416-invoice-rebuild/verify.py new file mode 100644 index 000000000..6fce39a6d --- /dev/null +++ b/research/pr4416-invoice-rebuild/verify.py @@ -0,0 +1,176 @@ +#!/usr/bin/env python3 +"""Rebuild #4416's p7 target and paid invoice from its literal controller word. + +Replays P7-FACTOR.json's 70 physical events as an exact Laurent matrix over Q, D0..D14 under #4416's +stated native contract (forward F_s = D_s S_y(Q^-1), backward B_s = D_s S_x(-Q); IDLE multiplies a pair +by its stage product; ADD and SIGNED_SWAP are scalar row operations). Checks that its left and right +scalar programs give left * M * right = the stated diagonal of monomials, then derives + main targets: rank 1 + 8 * (number of D exponents) per role, over the 112 port recipes on main; + paid idles: rank 8 * |stages| per retained window, on both roles of its pair, over the 112 ports; +and adds the THREE-base supplier's helper widths and paid profile over the 15 native calls. +The result must be the invoice #4416's moment inequalities use. No code from #4416. +Ryanson Jonathan with Claude Code (Claude Opus 5.5) assistance. Apache-2.0. +""" +from collections import Counter +from fractions import Fraction as Q +import hashlib +import json +from pathlib import Path +import sys + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +VENDORED = { + "vendor/P7-FACTOR.json": "6f96f6be5d8441f71cbe6ebb1657c69b543eb085b848b92b591b7ac01d6e6598", + "vendor/RESULT.json": "9b814be97e3b45fcc28eafa8a65694897a7387f71a14d44796c6aadf303d7fab", + "vendor/SUPPLIER-RESULT.json": "943d5fad2fc529f470df05a35446e07ecaef7344abfce450d2c2eb2c9b3798f6", +} +PHASES = "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json" +PHASES_SHA = "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + + +def need(condition, message): + if not condition: + raise AssertionError(message) + + +def add(a, b, c=1): + out = dict(a) + for k, v in b.items(): + out[k] = out.get(k, 0) + c * v + if not out[k]: + del out[k] + return out + + +def shift(poly, delta, c=1): + return {tuple(x + y for x, y in zip(k, delta)): c * v for k, v in poly.items()} + + +def replay(case, flip_first_reverse=False): + n, nvar = 2 * case["pairs"], 1 + case["stages"] + zero = (0,) * nvar + M = [[{zero: 1} if i == j else {} for j in range(n)] for i in range(n)] + D = lambda stages: tuple([0] + [int(s in stages) for s in range(case["stages"])]) + flipped = False + for ev in case["physical_events"]: + kind = ev[0] + if kind == "LOCAL": + _, stage, pair, rev = ev + if flip_first_reverse and rev and not flipped: + rev, flipped = False, True + x, y = (2 * pair + 1, 2 * pair) if rev else (2 * pair, 2 * pair + 1) + qexp = (1 if rev else -1,) + (0,) * (nvar - 1) + M[y] = [add(a, shift(b, qexp, -1 if rev else 1)) for a, b in zip(M[y], M[x])] + for r in (x, y): + M[r] = [shift(p, D([stage])) for p in M[r]] + elif kind == "IDLE": + _, pair, stages = ev + for r in (2 * pair, 2 * pair + 1): + M[r] = [shift(p, D(stages)) for p in M[r]] + elif kind == "ADD": + _, d, s, c = ev + M[d] = [add(a, b, c) for a, b in zip(M[d], M[s])] + elif kind == "SIGNED_SWAP": + _, a, b = ev + M[a], M[b] = M[b], [shift(p, zero, -1) for p in M[a]] + else: + raise AssertionError(f"unknown event {kind}") + return M + + +def scalar(program, n): + X = [[Q(int(i == j)) for j in range(n)] for i in range(n)] + for op in program: + if op[0] == "SWAP": + X[op[1]], X[op[2]] = X[op[2]], X[op[1]] + elif op[0] == "SCALE": + X[op[1]] = [Q(op[2]) * v for v in X[op[1]]] + elif op[0] == "ADD": + X[op[1]] = [a + Q(op[3]) * b for a, b in zip(X[op[1]], X[op[2]])] + else: + raise AssertionError("unknown scalar op") + return X + + +def diagonal_identity(M, L, R): + """left * M * right as a map monomial -> rational matrix""" + n = len(M) + keys = {k for row in M for p in row for k in p} + out = {} + for k in keys: + C = [[Q(M[i][j].get(k, 0)) for j in range(n)] for i in range(n)] + LC = [[sum(L[i][t] * C[t][j] for t in range(n)) for j in range(n)] for i in range(n)] + out[k] = [[sum(LC[i][t] * R[t][j] for t in range(n)) for j in range(n)] for i in range(n)] + return out + + +def main(): + for rel, digest in VENDORED.items(): + need(hashlib.sha256((HERE / rel).read_bytes()).hexdigest() == digest, f"vendored {rel}") + need(hashlib.sha256((ROOT / PHASES).read_bytes()).hexdigest() == PHASES_SHA, "port recipes on main") + case = json.loads((HERE / "vendor/P7-FACTOR.json").read_text()) + res = json.loads((HERE / "vendor/RESULT.json").read_text())["strictification"] + sup = json.loads((HERE / "vendor/SUPPLIER-RESULT.json").read_text())["providers"]["THREE-base"] + ports = len(json.loads((ROOT / PHASES).read_text())["recipes"]) + need(ports == 112 and case["pairs"] == 7 and case["stages"] == 15 and len(case["physical_events"]) == 70, "p7 shape") + need(res["native_inventory"]["factor_receipt_sha256"] == VENDORED["vendor/P7-FACTOR.json"], "#4416 binds this P7-FACTOR.json") + + # 1. scalar programs and the exact Laurent identity + n = 2 * case["pairs"] + L, R = scalar(case["left_program"], n), scalar(case["right_program"], n) + need(L == [[Q(x) for x in row] for row in case["left"]] and R == [[Q(x) for x in row] for row in case["right"]], "scalar programs give left and right") + M = replay(case) + ident = diagonal_identity(M, L, R) + mono = [tuple(t) for t in case["exact_diagonal_monomials"]] + for k, C in ident.items(): + want = [[Q(int(i == j and mono[i] == k)) for j in range(n)] for i in range(n)] + need(C == want, f"left * M * right at monomial {k}") + need(set(ident) == set(mono), "every diagonal monomial appears") + stored = {tuple(c["exponents"]): [[Q(x) for x in row] for row in c["matrix"]] for c in case["coefficient_matrices"]} + need(stored == {k: [[Q(M[i][j].get(k, 0)) for j in range(n)] for i in range(n)] for k in ident}, "replayed coefficients equal the stored ones") + # control: one reversed local call flipped breaks the identity + bad = diagonal_identity(replay(case, flip_first_reverse=True), L, R) + need(any(C != [[Q(int(i == j and mono[i] == k)) for j in range(n)] for i in range(n)] for k, C in bad.items()) or set(bad) != set(mono), + "control: a wrong local orientation fails") + + # 2. main targets from the monomials, over every port + need(all(t[0] in (-1, 1) and set(t[1:]) <= {0, 1} for t in mono), "exponent alphabet") + main_t = Counter() + for t in mono: + main_t[1 + 8 * sum(t[1:])] += ports + need(dict(main_t) == {25: 448, 41: 448, 57: 448, 121: 224}, "main targets") + + # 3. paid idle windows from the literal IDLE events + idle_events = Counter((ev[1], tuple(ev[2])) for ev in case["physical_events"] if ev[0] == "IDLE") + windows = case["retained_idle_windows"] + need(idle_events == Counter((w["pair"], tuple(w["stages"])) for w in windows), "retained windows are the literal IDLE events") + keep = case["keep_idle_mask"] + need(all((keep >> w["index"]) & 1 for w in windows) and not any((keep >> w["index"]) & 1 for w in case["omitted_idle_windows"]), "keep mask selects exactly the retained windows") + idle = Counter() + for w in windows: + need(w["rank"] == 8 * len(w["stages"]), "window rank is 8 per stage") + idle[w["rank"]] += 2 * ports + need(dict(idle) == {8: 1344, 16: 448, 32: 448, 48: 448}, "paid idle profile") + + # 4. supplier contributions over the 15 native calls, and the full invoice + calls = sum(1 for ev in case["physical_events"] if ev[0] == "LOCAL") + need(calls == case["stages"] == 15, "one native call per stage") + fw, bw = sup["unsplit_replays"]["forward"]["paid_profile"], sup["unsplit_replays"]["backward"]["paid_profile"] + need(fw == bw, "supplier forward and backward paid profiles agree") + T = main_t + Counter({int(k): v * calls for k, v in sup["helper_boundary"]["widths"].items()}) + P = Counter({int(k): v * calls for k, v in fw.items()}) + idle + need(dict(T) == {int(k): v for k, v in res["targets"].items()}, "rebuilt targets equal #4416's invoice") + need(dict(P) == {int(k): v for k, v in res["paid"].items()}, "rebuilt paid calls equal #4416's invoice") + print(json.dumps({ + "status": "PASS_PR4416_INVOICE_REBUILD", + "laurent_monomials": len(ident), + "main_targets": dict(sorted(main_t.items())), "paid_idles": dict(sorted(idle.items())), + "targets": dict(sorted(T.items())), "paid": dict(sorted(P.items())), + "rank_one": [sum(k * v for k, v in T.items()), sum(k * v for k, v in P.items())], + "new_kappa_claimed": False, + }, indent=1)) + + +if __name__ == "__main__": + sys.exit(main())