diff --git a/docs/SDK2.md b/docs/SDK2.md index d5fab1bb..c6493994 100644 --- a/docs/SDK2.md +++ b/docs/SDK2.md @@ -307,6 +307,11 @@ without floating-point SBF runtime helpers. Sizes above 10 MiB, a uint64 overflo in `(128+size)*rate`, and negative/nonfinite thresholds return `ErrRent` (3020). Both signed zeros are accepted. The integer-overflow rejection is an intentional bounded policy; it does not reproduce Rust release-mode wrapping of that product. +With a threshold of exactly 2.0 (Fogo, and Solana before SIMD-0194) or 1.0 +(after it) and `(128+size)*rate` below 2^53, the conversion and product are +exact, so the result is twice or once that product and the rounding emulation +is skipped: 480 to 760 CU less per call on SBF, and 2 to 8 CU more on other +thresholds ([measurements](../results/sdk/2026-10-19-rent-fast-path/README.md)). `solana.Rent(context, output)` exposes the raw runtime values as exactly 17 bytes: little-endian uint64 rate, little-endian uint64 threshold bits, and one burn byte. diff --git a/examples/escrow/.gosvm/sdk/sdk/system/rent.go b/examples/escrow/.gosvm/sdk/sdk/system/rent.go index 3f9b014c..fd4a45da 100644 --- a/examples/escrow/.gosvm/sdk/sdk/system/rent.go +++ b/examples/escrow/.gosvm/sdk/sdk/system/rent.go @@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) { return x1*y1 + w2 + w1>>32, x * y } +// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0 +// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it). +const ( + thresholdTwo uint64 = 0x4000000000000000 + thresholdOne uint64 = 0x3ff0000000000000 +) + // MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's // uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast. // Integer bit operations reproduce the two round-to-nearest-even stages without // floating-point runtime helpers on SBF. Unlike Rust's release-mode integer // wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and // negative/nonfinite thresholds are also rejected; signed zero is accepted. +// +// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the +// conversion and the product are exact, so the result is 2n or n and the +// rounding emulation is skipped. func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) { + if size > MaxDataLen || rate > ^uint64(0)/(128+size) { + return 0, ErrRent + } + if n := (128 + size) * rate; n < 1<<53 { + if thresholdBits == thresholdTwo { + return 2 * n, 0 + } + if thresholdBits == thresholdOne { + return n, 0 + } + } + return minimumBalanceExact(rate, thresholdBits, size) +} + +// minimumBalanceExact is MinimumBalanceFor without the fast path. +func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) { if size > MaxDataLen || rate > ^uint64(0)/(128+size) { return 0, ErrRent } diff --git a/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go b/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go index 3f9b014c..fd4a45da 100644 --- a/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go +++ b/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go @@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) { return x1*y1 + w2 + w1>>32, x * y } +// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0 +// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it). +const ( + thresholdTwo uint64 = 0x4000000000000000 + thresholdOne uint64 = 0x3ff0000000000000 +) + // MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's // uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast. // Integer bit operations reproduce the two round-to-nearest-even stages without // floating-point runtime helpers on SBF. Unlike Rust's release-mode integer // wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and // negative/nonfinite thresholds are also rejected; signed zero is accepted. +// +// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the +// conversion and the product are exact, so the result is 2n or n and the +// rounding emulation is skipped. func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) { + if size > MaxDataLen || rate > ^uint64(0)/(128+size) { + return 0, ErrRent + } + if n := (128 + size) * rate; n < 1<<53 { + if thresholdBits == thresholdTwo { + return 2 * n, 0 + } + if thresholdBits == thresholdOne { + return n, 0 + } + } + return minimumBalanceExact(rate, thresholdBits, size) +} + +// minimumBalanceExact is MinimumBalanceFor without the fast path. +func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) { if size > MaxDataLen || rate > ^uint64(0)/(128+size) { return 0, ErrRent } diff --git a/examples/find-address/.gosvm/sdk/sdk/system/rent.go b/examples/find-address/.gosvm/sdk/sdk/system/rent.go index 3f9b014c..fd4a45da 100644 --- a/examples/find-address/.gosvm/sdk/sdk/system/rent.go +++ b/examples/find-address/.gosvm/sdk/sdk/system/rent.go @@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) { return x1*y1 + w2 + w1>>32, x * y } +// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0 +// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it). +const ( + thresholdTwo uint64 = 0x4000000000000000 + thresholdOne uint64 = 0x3ff0000000000000 +) + // MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's // uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast. // Integer bit operations reproduce the two round-to-nearest-even stages without // floating-point runtime helpers on SBF. Unlike Rust's release-mode integer // wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and // negative/nonfinite thresholds are also rejected; signed zero is accepted. +// +// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the +// conversion and the product are exact, so the result is 2n or n and the +// rounding emulation is skipped. func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) { + if size > MaxDataLen || rate > ^uint64(0)/(128+size) { + return 0, ErrRent + } + if n := (128 + size) * rate; n < 1<<53 { + if thresholdBits == thresholdTwo { + return 2 * n, 0 + } + if thresholdBits == thresholdOne { + return n, 0 + } + } + return minimumBalanceExact(rate, thresholdBits, size) +} + +// minimumBalanceExact is MinimumBalanceFor without the fast path. +func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) { if size > MaxDataLen || rate > ^uint64(0)/(128+size) { return 0, ErrRent } diff --git a/examples/full-swap/.gosvm/sdk/sdk/system/rent.go b/examples/full-swap/.gosvm/sdk/sdk/system/rent.go index 3f9b014c..fd4a45da 100644 --- a/examples/full-swap/.gosvm/sdk/sdk/system/rent.go +++ b/examples/full-swap/.gosvm/sdk/sdk/system/rent.go @@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) { return x1*y1 + w2 + w1>>32, x * y } +// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0 +// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it). +const ( + thresholdTwo uint64 = 0x4000000000000000 + thresholdOne uint64 = 0x3ff0000000000000 +) + // MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's // uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast. // Integer bit operations reproduce the two round-to-nearest-even stages without // floating-point runtime helpers on SBF. Unlike Rust's release-mode integer // wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and // negative/nonfinite thresholds are also rejected; signed zero is accepted. +// +// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the +// conversion and the product are exact, so the result is 2n or n and the +// rounding emulation is skipped. func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) { + if size > MaxDataLen || rate > ^uint64(0)/(128+size) { + return 0, ErrRent + } + if n := (128 + size) * rate; n < 1<<53 { + if thresholdBits == thresholdTwo { + return 2 * n, 0 + } + if thresholdBits == thresholdOne { + return n, 0 + } + } + return minimumBalanceExact(rate, thresholdBits, size) +} + +// minimumBalanceExact is MinimumBalanceFor without the fast path. +func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) { if size > MaxDataLen || rate > ^uint64(0)/(128+size) { return 0, ErrRent } diff --git a/examples/logging/.gosvm/sdk/sdk/system/rent.go b/examples/logging/.gosvm/sdk/sdk/system/rent.go index 3f9b014c..fd4a45da 100644 --- a/examples/logging/.gosvm/sdk/sdk/system/rent.go +++ b/examples/logging/.gosvm/sdk/sdk/system/rent.go @@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) { return x1*y1 + w2 + w1>>32, x * y } +// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0 +// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it). +const ( + thresholdTwo uint64 = 0x4000000000000000 + thresholdOne uint64 = 0x3ff0000000000000 +) + // MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's // uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast. // Integer bit operations reproduce the two round-to-nearest-even stages without // floating-point runtime helpers on SBF. Unlike Rust's release-mode integer // wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and // negative/nonfinite thresholds are also rejected; signed zero is accepted. +// +// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the +// conversion and the product are exact, so the result is 2n or n and the +// rounding emulation is skipped. func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) { + if size > MaxDataLen || rate > ^uint64(0)/(128+size) { + return 0, ErrRent + } + if n := (128 + size) * rate; n < 1<<53 { + if thresholdBits == thresholdTwo { + return 2 * n, 0 + } + if thresholdBits == thresholdOne { + return n, 0 + } + } + return minimumBalanceExact(rate, thresholdBits, size) +} + +// minimumBalanceExact is MinimumBalanceFor without the fast path. +func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) { if size > MaxDataLen || rate > ^uint64(0)/(128+size) { return 0, ErrRent } diff --git a/examples/tutorial/.gosvm/sdk/sdk/system/rent.go b/examples/tutorial/.gosvm/sdk/sdk/system/rent.go index 3f9b014c..fd4a45da 100644 --- a/examples/tutorial/.gosvm/sdk/sdk/system/rent.go +++ b/examples/tutorial/.gosvm/sdk/sdk/system/rent.go @@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) { return x1*y1 + w2 + w1>>32, x * y } +// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0 +// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it). +const ( + thresholdTwo uint64 = 0x4000000000000000 + thresholdOne uint64 = 0x3ff0000000000000 +) + // MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's // uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast. // Integer bit operations reproduce the two round-to-nearest-even stages without // floating-point runtime helpers on SBF. Unlike Rust's release-mode integer // wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and // negative/nonfinite thresholds are also rejected; signed zero is accepted. +// +// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the +// conversion and the product are exact, so the result is 2n or n and the +// rounding emulation is skipped. func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) { + if size > MaxDataLen || rate > ^uint64(0)/(128+size) { + return 0, ErrRent + } + if n := (128 + size) * rate; n < 1<<53 { + if thresholdBits == thresholdTwo { + return 2 * n, 0 + } + if thresholdBits == thresholdOne { + return n, 0 + } + } + return minimumBalanceExact(rate, thresholdBits, size) +} + +// minimumBalanceExact is MinimumBalanceFor without the fast path. +func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) { if size > MaxDataLen || rate > ^uint64(0)/(128+size) { return 0, ErrRent } diff --git a/internal/compiler/alloc_sbf_test.go b/internal/compiler/alloc_sbf_test.go index ae91a607..3e13d0e2 100644 --- a/internal/compiler/alloc_sbf_test.go +++ b/internal/compiler/alloc_sbf_test.go @@ -239,6 +239,12 @@ func runAllocProgram(t *testing.T, llvm, runner, profile, name string, source [] if err := os.WriteFile(filepath.Join(dir, "program.go"), source, 0644); err != nil { t.Fatal(err) } + return runAllocDir(t, llvm, runner, profile, name, dir, heap, cases) +} + +// runAllocDir is runAllocProgram for a program already written into dir. +func runAllocDir(t *testing.T, llvm, runner, profile, name, dir string, heap int, cases []allocCase) map[string]any { + t.Helper() elf := filepath.Join(dir, "program.so") if err := BuildWithOptions(dir, elf, llvm, profile, BuildOptions{HeapBytes: heap}); err != nil { t.Fatal(err) diff --git a/internal/compiler/rent_sbf_test.go b/internal/compiler/rent_sbf_test.go new file mode 100644 index 00000000..c079b86b --- /dev/null +++ b/internal/compiler/rent_sbf_test.go @@ -0,0 +1,161 @@ +package compiler + +import ( + "encoding/binary" + "fmt" + "math" + "os" + "path/filepath" + "testing" + + "gosvm/internal/targets" + "gosvm/internal/testvm" + "gosvm/sdk/system" +) + +// rentSource calls the SDK's rent calculation (sdk/system/rent.go) and writes +// (lamports, status) as two little-endian uint64s into account 0. +// Input: [mode][rate 8][threshold bits 8][size 8]. Mode 0 is +// MinimumBalanceFor(rate, threshold, size); mode 1 is MinimumBalance(size) +// from the runner's Rent sysvar. +const rentSource = `package rentprobe + +import ( + "gosvm/sdk/system" + "gosvm/solana" +) + +func get(in []byte, at int) uint64 { + v := uint64(0) + for i := 0; i < 8; i++ { + v |= uint64(in[at+i]) << (8 * uint64(i)) + } + return v +} + +func put(out []byte, at int, v uint64) { + for i := 0; i < 8; i++ { + out[at+i] = byte(v >> (8 * uint64(i))) + } +} + +func Process(c solana.Context) uint64 { + in := solana.Instruction(c) + out := solana.Data(c, 0) + var lamports, code uint64 + if in[0] == 0 { + lamports, code = system.MinimumBalanceFor(get(in, 1), get(in, 9), get(in, 17)) + } else { + lamports, code = system.MinimumBalance(c, get(in, 17)) + } + put(out, 0, lamports) + put(out, 8, code) + return 0 +} +` + +// rentModule writes rentSource into dir as an SDK-2 module, with the SDK +// snapshot of examples/tutorial (which must match sdk/). +func rentModule(t *testing.T, dir string) { + t.Helper() + files := map[string][]byte{ + "program.go": []byte(rentSource), + "go.mod": []byte("module example.org/rentprobe\n\ngo 1.22\n\nrequire gosvm v0.0.0\n\nreplace gosvm => ./.gosvm/sdk\n"), + } + snapshot := "../../examples/tutorial/.gosvm" + err := filepath.WalkDir(snapshot, func(path string, d os.DirEntry, err error) error { + if err != nil || d.IsDir() { + return err + } + rel, _ := filepath.Rel("../../examples/tutorial", path) + files[rel], err = os.ReadFile(path) + return err + }) + if err != nil { + t.Fatal(err) + } + for name, b := range files { + path := filepath.Join(dir, name) + if err = os.MkdirAll(filepath.Dir(path), 0755); err != nil { + t.Fatal(err) + } + if err = os.WriteFile(path, b, 0644); err != nil { + t.Fatal(err) + } + } +} + +// TestRentSBF runs system.MinimumBalanceFor on fogo-v0 and solana-v3 over the +// fast path's boundaries (thresholds 2.0 and 1.0, n = (128+size)*rate on +// either side of 2^53), the exact path and every error, and MinimumBalance +// with each runner's Rent sysvar, against the host results. +// GOSVM_RENT_RESULTS= keeps the run. +func TestRentSBF(t *testing.T) { + if testing.Short() { + t.Skip("SBF runs are skipped in -short mode") + } + llvm := modernLLVM() + if llvm == "" { + t.Skip("pinned platform-tools v1.57 backend required") + } + input := func(mode byte, rate, bits, size uint64) []byte { + in := make([]byte, 25) + in[0] = mode + binary.LittleEndian.PutUint64(in[1:], rate) + binary.LittleEndian.PutUint64(in[9:], bits) + binary.LittleEndian.PutUint64(in[17:], size) + return in + } + output := func(lamports, code uint64) []byte { + out := make([]byte, 1024) + binary.LittleEndian.PutUint64(out, lamports) + binary.LittleEndian.PutUint64(out[8:], code) + return out + } + two, one := math.Float64bits(2), math.Float64bits(1) + thresholds := []uint64{two, one, two + 1, one - 1, math.Float64bits(2.5), math.Float64bits(0.5), 0, 1 << 63, + math.Float64bits(-1), math.Float64bits(math.Inf(1)), math.Float64bits(math.NaN())} + var cases []allocCase + for _, size := range []uint64{0, 82, 165, 10240, system.MaxDataLen, system.MaxDataLen + 1, math.MaxUint64} { + rates := []uint64{0, 3480, 6960, math.MaxUint64} + if size <= system.MaxDataLen { + exact := (uint64(1)<<53 - 1) / (128 + size) + wrap := math.MaxUint64 / (128 + size) + rates = append(rates, exact, exact+1, wrap, wrap+1) + } + for _, rate := range rates { + for j, bits := range thresholds { + lamports, code := system.MinimumBalanceFor(rate, bits, size) + cases = append(cases, allocCase{name: fmt.Sprintf("for-size%d-rate%d-t%02d", size, rate, j), in: input(0, rate, bits, size), output: output(lamports, code)}) + } + } + } + // The runners' Rent sysvars: LiteSVM 0.8.2 (fogo-v0) has 3,480 lamports + // per byte-year at threshold 2.0, LiteSVM 0.13.0 (solana-v3) 6,960 at 1.0. + rent := map[string][2]uint64{target.Fogo: {3480, two}, target.Solana: {6960, one}} + keep := os.Getenv("GOSVM_RENT_RESULTS") + for _, profile := range []string{target.Fogo, target.Solana} { + t.Run(profile, func(t *testing.T) { + cases := cases + for _, size := range []uint64{0, 165, system.MaxDataLen, system.MaxDataLen + 1} { + lamports, code := system.MinimumBalanceFor(rent[profile][0], rent[profile][1], size) + cases = append(cases, allocCase{name: fmt.Sprintf("sysvar-size%d", size), in: input(1, 0, 0, size), output: output(lamports, code)}) + } + runner, err := testvm.RunnerFor("", profile) + if err != nil { + t.Skipf("runner unavailable: %v", err) + } + dir := t.TempDir() + if keep != "" { + dir = filepath.Join(keep, profile, "rent") + if err = os.MkdirAll(dir, 0755); err != nil { + t.Fatal(err) + } + } + rentModule(t, dir) + result := runAllocDir(t, llvm, runner, profile, "rent", dir, 0, cases) + t.Logf("%s: %d cases match the host (ELF %s); MinimumBalance(165) %v CU, MinimumBalanceFor(3480, 2.5, 165) %v CU", + profile, len(cases), result["elf_sha256"], result["sysvar-size165"], result["for-size165-rate3480-t04"]) + }) + } +} diff --git a/results/sdk/2026-10-19-rent-fast-path/README.md b/results/sdk/2026-10-19-rent-fast-path/README.md new file mode 100644 index 00000000..744759d3 --- /dev/null +++ b/results/sdk/2026-10-19-rent-fast-path/README.md @@ -0,0 +1,61 @@ +# Exact fast path for `system.MinimumBalanceFor` + +October 19, 2026. Local only; runners 0.5.1 (fogo-v0, LiteSVM 0.8.2) and 0.6.0 +(solana-v3, LiteSVM 0.13.0), platform-tools v1.57. Contract: +[SDK2.md § Rent and account lifecycle](../../../docs/SDK2.md#rent-and-account-lifecycle). + +## Why + +`MinimumBalanceFor` reproduces Rust's `u64 -> f64` conversion, f64 multiply +and saturating cast with integer code, so SBF needs no float helpers. That +costs about 500 to 770 CU per call, almost all in the bit-length loops and the +two rounding stages. The pinned runners and current clusters use 2.0 (Fogo, +Solana before SIMD-0194) or 1.0 (after it). When `n = (128+size)*rate` is +below 2^53 the conversion is exact, and so is a product with 2.0 or 1.0, so +the answer is `2n` or `n`. Any other input still takes the emulation. + +## Correctness + +- `TestRentFastPathMatchesExact` (native) compares `MinimumBalanceFor` with + the emulation alone (`minimumBalanceExact`) at both sides of `n = 2^53` and + of uint64 overflow for every size limit, both thresholds, their neighbouring + bit patterns, negative zeros, other thresholds and NaN, plus a million random + inputs near the 2^53 boundary. The existing IEEE oracle test also passes. +- `TestRentSBF` runs 532 cases on each profile (thresholds 2.0, 1.0, their + neighbours, 2.5, 0.5, zeros, -1, infinity, NaN; sizes 0 to 10 MiB + 1 and + 2^64 - 1; rates 0, 3,480, 6,960, the 2^53 and overflow limits and one past + each) plus `MinimumBalance` from each runner's Rent sysvar. Every result and + error code equals the host's. + +## CU (whole transaction, `*-cu.json`; main `939b215`) + +The probe decodes its input and writes the result with byte loops, about 260 +CU of each total. + +| call | fogo-v0 before | after | solana-v3 before | after | +| --- | ---: | ---: | ---: | ---: | +| `MinimumBalance(165)`, runner sysvar (2.0 / 1.0) | 889 | 399 | 897 | 396 | +| `MinimumBalance(10 MiB)` | 1,017 | 399 | 1,025 | 396 | +| `MinimumBalanceFor(3480, 2.0, 165)` | 763 | 273 | 763 | 273 | +| `MinimumBalanceFor(6960, 1.0, 165)` | 771 | 270 | 771 | 270 | +| `MinimumBalanceFor` at 2.0, `n = 2^53 - 128` | 1,029 | 273 | 1,029 | 273 | +| `MinimumBalanceFor` at 2.0, `n = 2^53` (exact path) | 803 | 807 | 803 | 807 | +| `MinimumBalanceFor(3480, 2.5, 165)` (exact path) | 759 | 767 | 759 | 767 | +| size over 10 MiB (`ErrRent`) | 261 | 261 | 261 | 261 | + +Over all 532 cases: every fast-path input with a nonzero product costs 482 to +759 CU less, a zero product 3 to 6 CU less, and the exact path 2 to 8 CU more +(the threshold compares and a repeated bounds check). Errors before the +threshold check are unchanged. + +## Reference ELFs + +This change moves the full swap (fogo-v0 `7d162f10…`, solana-v3 `42e1deba…`). +`clock2` is unchanged. `rebuild/metrics.json` is the fresh-rebuild check +against the previous reference (the #25 integration rebuild), and +`scripts/verify_rebuild.py` now uses it as the default reference: + +```sh +python3 scripts/verify_rebuild.py --output --cli build/gosvm +python3 scripts/check_rebuild_reference.py /metrics.json +``` diff --git a/results/sdk/2026-10-19-rent-fast-path/fogo-v0-cu.json b/results/sdk/2026-10-19-rent-fast-path/fogo-v0-cu.json new file mode 100644 index 00000000..61203230 --- /dev/null +++ b/results/sdk/2026-10-19-rent-fast-path/fogo-v0-cu.json @@ -0,0 +1,1071 @@ +{ + "after": { + "for-size0-rate0-t00": 273, + "for-size0-rate0-t01": 270, + "for-size0-rate0-t02": 282, + "for-size0-rate0-t03": 282, + "for-size0-rate0-t04": 282, + "for-size0-rate0-t05": 282, + "for-size0-rate0-t06": 282, + "for-size0-rate0-t07": 283, + "for-size0-rate0-t08": 281, + "for-size0-rate0-t09": 274, + "for-size0-rate0-t10": 274, + "for-size0-rate144115188075855871-t00": 842, + "for-size0-rate144115188075855871-t01": 842, + "for-size0-rate144115188075855871-t02": 1054, + "for-size0-rate144115188075855871-t03": 1098, + "for-size0-rate144115188075855871-t04": 842, + "for-size0-rate144115188075855871-t05": 842, + "for-size0-rate144115188075855871-t06": 279, + "for-size0-rate144115188075855871-t07": 280, + "for-size0-rate144115188075855871-t08": 277, + "for-size0-rate144115188075855871-t09": 270, + "for-size0-rate144115188075855871-t10": 270, + "for-size0-rate144115188075855872-t00": 262, + "for-size0-rate144115188075855872-t01": 262, + "for-size0-rate144115188075855872-t02": 262, + "for-size0-rate144115188075855872-t03": 262, + "for-size0-rate144115188075855872-t04": 262, + "for-size0-rate144115188075855872-t05": 262, + "for-size0-rate144115188075855872-t06": 262, + "for-size0-rate144115188075855872-t07": 262, + "for-size0-rate144115188075855872-t08": 262, + "for-size0-rate144115188075855872-t09": 262, + "for-size0-rate144115188075855872-t10": 262, + "for-size0-rate18446744073709551615-t00": 262, + "for-size0-rate18446744073709551615-t01": 262, + "for-size0-rate18446744073709551615-t02": 262, + "for-size0-rate18446744073709551615-t03": 262, + "for-size0-rate18446744073709551615-t04": 262, + "for-size0-rate18446744073709551615-t05": 262, + "for-size0-rate18446744073709551615-t06": 262, + "for-size0-rate18446744073709551615-t07": 262, + "for-size0-rate18446744073709551615-t08": 262, + "for-size0-rate18446744073709551615-t09": 262, + "for-size0-rate18446744073709551615-t10": 262, + "for-size0-rate3480-t00": 273, + "for-size0-rate3480-t01": 270, + "for-size0-rate3480-t02": 760, + "for-size0-rate3480-t03": 763, + "for-size0-rate3480-t04": 767, + "for-size0-rate3480-t05": 763, + "for-size0-rate3480-t06": 283, + "for-size0-rate3480-t07": 284, + "for-size0-rate3480-t08": 281, + "for-size0-rate3480-t09": 274, + "for-size0-rate3480-t10": 274, + "for-size0-rate6960-t00": 273, + "for-size0-rate6960-t01": 270, + "for-size0-rate6960-t02": 768, + "for-size0-rate6960-t03": 775, + "for-size0-rate6960-t04": 775, + "for-size0-rate6960-t05": 771, + "for-size0-rate6960-t06": 283, + "for-size0-rate6960-t07": 284, + "for-size0-rate6960-t08": 281, + "for-size0-rate6960-t09": 274, + "for-size0-rate6960-t10": 274, + "for-size0-rate70368744177663-t00": 273, + "for-size0-rate70368744177663-t01": 270, + "for-size0-rate70368744177663-t02": 1034, + "for-size0-rate70368744177663-t03": 1041, + "for-size0-rate70368744177663-t04": 1041, + "for-size0-rate70368744177663-t05": 1035, + "for-size0-rate70368744177663-t06": 283, + "for-size0-rate70368744177663-t07": 284, + "for-size0-rate70368744177663-t08": 281, + "for-size0-rate70368744177663-t09": 274, + "for-size0-rate70368744177663-t10": 274, + "for-size0-rate70368744177664-t00": 807, + "for-size0-rate70368744177664-t01": 807, + "for-size0-rate70368744177664-t02": 1019, + "for-size0-rate70368744177664-t03": 1063, + "for-size0-rate70368744177664-t04": 807, + "for-size0-rate70368744177664-t05": 807, + "for-size0-rate70368744177664-t06": 279, + "for-size0-rate70368744177664-t07": 280, + "for-size0-rate70368744177664-t08": 277, + "for-size0-rate70368744177664-t09": 270, + "for-size0-rate70368744177664-t10": 270, + "for-size10240-rate0-t00": 273, + "for-size10240-rate0-t01": 270, + "for-size10240-rate0-t02": 282, + "for-size10240-rate0-t03": 282, + "for-size10240-rate0-t04": 282, + "for-size10240-rate0-t05": 282, + "for-size10240-rate0-t06": 282, + "for-size10240-rate0-t07": 283, + "for-size10240-rate0-t08": 281, + "for-size10240-rate0-t09": 274, + "for-size10240-rate0-t10": 274, + "for-size10240-rate1779199852788344-t00": 845, + "for-size10240-rate1779199852788344-t01": 845, + "for-size10240-rate1779199852788344-t02": 1057, + "for-size10240-rate1779199852788344-t03": 1101, + "for-size10240-rate1779199852788344-t04": 845, + "for-size10240-rate1779199852788344-t05": 845, + "for-size10240-rate1779199852788344-t06": 279, + "for-size10240-rate1779199852788344-t07": 280, + "for-size10240-rate1779199852788344-t08": 277, + "for-size10240-rate1779199852788344-t09": 270, + "for-size10240-rate1779199852788344-t10": 270, + "for-size10240-rate1779199852788345-t00": 262, + "for-size10240-rate1779199852788345-t01": 262, + "for-size10240-rate1779199852788345-t02": 262, + "for-size10240-rate1779199852788345-t03": 262, + "for-size10240-rate1779199852788345-t04": 262, + "for-size10240-rate1779199852788345-t05": 262, + "for-size10240-rate1779199852788345-t06": 262, + "for-size10240-rate1779199852788345-t07": 262, + "for-size10240-rate1779199852788345-t08": 262, + "for-size10240-rate1779199852788345-t09": 262, + "for-size10240-rate1779199852788345-t10": 262, + "for-size10240-rate18446744073709551615-t00": 262, + "for-size10240-rate18446744073709551615-t01": 262, + "for-size10240-rate18446744073709551615-t02": 262, + "for-size10240-rate18446744073709551615-t03": 262, + "for-size10240-rate18446744073709551615-t04": 262, + "for-size10240-rate18446744073709551615-t05": 262, + "for-size10240-rate18446744073709551615-t06": 262, + "for-size10240-rate18446744073709551615-t07": 262, + "for-size10240-rate18446744073709551615-t08": 262, + "for-size10240-rate18446744073709551615-t09": 262, + "for-size10240-rate18446744073709551615-t10": 262, + "for-size10240-rate3480-t00": 273, + "for-size10240-rate3480-t01": 270, + "for-size10240-rate3480-t02": 819, + "for-size10240-rate3480-t03": 819, + "for-size10240-rate3480-t04": 819, + "for-size10240-rate3480-t05": 819, + "for-size10240-rate3480-t06": 283, + "for-size10240-rate3480-t07": 284, + "for-size10240-rate3480-t08": 281, + "for-size10240-rate3480-t09": 274, + "for-size10240-rate3480-t10": 274, + "for-size10240-rate6960-t00": 273, + "for-size10240-rate6960-t01": 270, + "for-size10240-rate6960-t02": 827, + "for-size10240-rate6960-t03": 831, + "for-size10240-rate6960-t04": 827, + "for-size10240-rate6960-t05": 827, + "for-size10240-rate6960-t06": 283, + "for-size10240-rate6960-t07": 284, + "for-size10240-rate6960-t08": 281, + "for-size10240-rate6960-t09": 274, + "for-size10240-rate6960-t10": 274, + "for-size10240-rate868749928119-t00": 273, + "for-size10240-rate868749928119-t01": 270, + "for-size10240-rate868749928119-t02": 1026, + "for-size10240-rate868749928119-t03": 1037, + "for-size10240-rate868749928119-t04": 1021, + "for-size10240-rate868749928119-t05": 1027, + "for-size10240-rate868749928119-t06": 283, + "for-size10240-rate868749928119-t07": 284, + "for-size10240-rate868749928119-t08": 281, + "for-size10240-rate868749928119-t09": 274, + "for-size10240-rate868749928119-t10": 274, + "for-size10240-rate868749928120-t00": 1063, + "for-size10240-rate868749928120-t01": 1063, + "for-size10240-rate868749928120-t02": 1063, + "for-size10240-rate868749928120-t03": 1067, + "for-size10240-rate868749928120-t04": 1051, + "for-size10240-rate868749928120-t05": 1063, + "for-size10240-rate868749928120-t06": 279, + "for-size10240-rate868749928120-t07": 280, + "for-size10240-rate868749928120-t08": 277, + "for-size10240-rate868749928120-t09": 270, + "for-size10240-rate868749928120-t10": 270, + "for-size10485760-rate0-t00": 273, + "for-size10485760-rate0-t01": 270, + "for-size10485760-rate0-t02": 282, + "for-size10485760-rate0-t03": 282, + "for-size10485760-rate0-t04": 282, + "for-size10485760-rate0-t05": 282, + "for-size10485760-rate0-t06": 282, + "for-size10485760-rate0-t07": 283, + "for-size10485760-rate0-t08": 281, + "for-size10485760-rate0-t09": 274, + "for-size10485760-rate0-t10": 274, + "for-size10485760-rate1759197129867-t00": 1100, + "for-size10485760-rate1759197129867-t01": 1100, + "for-size10485760-rate1759197129867-t02": 1097, + "for-size10485760-rate1759197129867-t03": 1100, + "for-size10485760-rate1759197129867-t04": 1101, + "for-size10485760-rate1759197129867-t05": 1100, + "for-size10485760-rate1759197129867-t06": 279, + "for-size10485760-rate1759197129867-t07": 280, + "for-size10485760-rate1759197129867-t08": 277, + "for-size10485760-rate1759197129867-t09": 270, + "for-size10485760-rate1759197129867-t10": 270, + "for-size10485760-rate1759197129868-t00": 262, + "for-size10485760-rate1759197129868-t01": 262, + "for-size10485760-rate1759197129868-t02": 262, + "for-size10485760-rate1759197129868-t03": 262, + "for-size10485760-rate1759197129868-t04": 262, + "for-size10485760-rate1759197129868-t05": 262, + "for-size10485760-rate1759197129868-t06": 262, + "for-size10485760-rate1759197129868-t07": 262, + "for-size10485760-rate1759197129868-t08": 262, + "for-size10485760-rate1759197129868-t09": 262, + "for-size10485760-rate1759197129868-t10": 262, + "for-size10485760-rate18446744073709551615-t00": 262, + "for-size10485760-rate18446744073709551615-t01": 262, + "for-size10485760-rate18446744073709551615-t02": 262, + "for-size10485760-rate18446744073709551615-t03": 262, + "for-size10485760-rate18446744073709551615-t04": 262, + "for-size10485760-rate18446744073709551615-t05": 262, + "for-size10485760-rate18446744073709551615-t06": 262, + "for-size10485760-rate18446744073709551615-t07": 262, + "for-size10485760-rate18446744073709551615-t08": 262, + "for-size10485760-rate18446744073709551615-t09": 262, + "for-size10485760-rate18446744073709551615-t10": 262, + "for-size10485760-rate3480-t00": 273, + "for-size10485760-rate3480-t01": 270, + "for-size10485760-rate3480-t02": 899, + "for-size10485760-rate3480-t03": 899, + "for-size10485760-rate3480-t04": 899, + "for-size10485760-rate3480-t05": 899, + "for-size10485760-rate3480-t06": 283, + "for-size10485760-rate3480-t07": 284, + "for-size10485760-rate3480-t08": 281, + "for-size10485760-rate3480-t09": 274, + "for-size10485760-rate3480-t10": 274, + "for-size10485760-rate6960-t00": 273, + "for-size10485760-rate6960-t01": 270, + "for-size10485760-rate6960-t02": 907, + "for-size10485760-rate6960-t03": 911, + "for-size10485760-rate6960-t04": 907, + "for-size10485760-rate6960-t05": 907, + "for-size10485760-rate6960-t06": 283, + "for-size10485760-rate6960-t07": 284, + "for-size10485760-rate6960-t08": 281, + "for-size10485760-rate6960-t09": 274, + "for-size10485760-rate6960-t10": 274, + "for-size10485760-rate858982973-t00": 273, + "for-size10485760-rate858982973-t01": 270, + "for-size10485760-rate858982973-t02": 1034, + "for-size10485760-rate858982973-t03": 1041, + "for-size10485760-rate858982973-t04": 1037, + "for-size10485760-rate858982973-t05": 1035, + "for-size10485760-rate858982973-t06": 283, + "for-size10485760-rate858982973-t07": 284, + "for-size10485760-rate858982973-t08": 281, + "for-size10485760-rate858982973-t09": 274, + "for-size10485760-rate858982973-t10": 274, + "for-size10485760-rate858982974-t00": 1063, + "for-size10485760-rate858982974-t01": 1063, + "for-size10485760-rate858982974-t02": 1063, + "for-size10485760-rate858982974-t03": 1067, + "for-size10485760-rate858982974-t04": 1055, + "for-size10485760-rate858982974-t05": 1063, + "for-size10485760-rate858982974-t06": 279, + "for-size10485760-rate858982974-t07": 280, + "for-size10485760-rate858982974-t08": 277, + "for-size10485760-rate858982974-t09": 270, + "for-size10485760-rate858982974-t10": 270, + "for-size10485761-rate0-t00": 261, + "for-size10485761-rate0-t01": 261, + "for-size10485761-rate0-t02": 261, + "for-size10485761-rate0-t03": 261, + "for-size10485761-rate0-t04": 261, + "for-size10485761-rate0-t05": 261, + "for-size10485761-rate0-t06": 261, + "for-size10485761-rate0-t07": 261, + "for-size10485761-rate0-t08": 261, + "for-size10485761-rate0-t09": 261, + "for-size10485761-rate0-t10": 261, + "for-size10485761-rate18446744073709551615-t00": 260, + "for-size10485761-rate18446744073709551615-t01": 260, + "for-size10485761-rate18446744073709551615-t02": 260, + "for-size10485761-rate18446744073709551615-t03": 260, + "for-size10485761-rate18446744073709551615-t04": 260, + "for-size10485761-rate18446744073709551615-t05": 260, + "for-size10485761-rate18446744073709551615-t06": 260, + "for-size10485761-rate18446744073709551615-t07": 260, + "for-size10485761-rate18446744073709551615-t08": 260, + "for-size10485761-rate18446744073709551615-t09": 260, + "for-size10485761-rate18446744073709551615-t10": 260, + "for-size10485761-rate3480-t00": 261, + "for-size10485761-rate3480-t01": 261, + "for-size10485761-rate3480-t02": 261, + "for-size10485761-rate3480-t03": 261, + "for-size10485761-rate3480-t04": 261, + "for-size10485761-rate3480-t05": 261, + "for-size10485761-rate3480-t06": 261, + "for-size10485761-rate3480-t07": 261, + "for-size10485761-rate3480-t08": 261, + "for-size10485761-rate3480-t09": 261, + "for-size10485761-rate3480-t10": 261, + "for-size10485761-rate6960-t00": 261, + "for-size10485761-rate6960-t01": 261, + "for-size10485761-rate6960-t02": 261, + "for-size10485761-rate6960-t03": 261, + "for-size10485761-rate6960-t04": 261, + "for-size10485761-rate6960-t05": 261, + "for-size10485761-rate6960-t06": 261, + "for-size10485761-rate6960-t07": 261, + "for-size10485761-rate6960-t08": 261, + "for-size10485761-rate6960-t09": 261, + "for-size10485761-rate6960-t10": 261, + "for-size165-rate0-t00": 273, + "for-size165-rate0-t01": 270, + "for-size165-rate0-t02": 282, + "for-size165-rate0-t03": 282, + "for-size165-rate0-t04": 282, + "for-size165-rate0-t05": 282, + "for-size165-rate0-t06": 282, + "for-size165-rate0-t07": 283, + "for-size165-rate0-t08": 281, + "for-size165-rate0-t09": 274, + "for-size165-rate0-t10": 274, + "for-size165-rate18446744073709551615-t00": 262, + "for-size165-rate18446744073709551615-t01": 262, + "for-size165-rate18446744073709551615-t02": 262, + "for-size165-rate18446744073709551615-t03": 262, + "for-size165-rate18446744073709551615-t04": 262, + "for-size165-rate18446744073709551615-t05": 262, + "for-size165-rate18446744073709551615-t06": 262, + "for-size165-rate18446744073709551615-t07": 262, + "for-size165-rate18446744073709551615-t08": 262, + "for-size165-rate18446744073709551615-t09": 262, + "for-size165-rate18446744073709551615-t10": 262, + "for-size165-rate30741294384781-t00": 273, + "for-size165-rate30741294384781-t01": 270, + "for-size165-rate30741294384781-t02": 1034, + "for-size165-rate30741294384781-t03": 1041, + "for-size165-rate30741294384781-t04": 1038, + "for-size165-rate30741294384781-t05": 1035, + "for-size165-rate30741294384781-t06": 283, + "for-size165-rate30741294384781-t07": 284, + "for-size165-rate30741294384781-t08": 281, + "for-size165-rate30741294384781-t09": 274, + "for-size165-rate30741294384781-t10": 274, + "for-size165-rate30741294384782-t00": 1043, + "for-size165-rate30741294384782-t01": 1043, + "for-size165-rate30741294384782-t02": 1043, + "for-size165-rate30741294384782-t03": 1051, + "for-size165-rate30741294384782-t04": 1040, + "for-size165-rate30741294384782-t05": 1043, + "for-size165-rate30741294384782-t06": 279, + "for-size165-rate30741294384782-t07": 280, + "for-size165-rate30741294384782-t08": 277, + "for-size165-rate30741294384782-t09": 270, + "for-size165-rate30741294384782-t10": 270, + "for-size165-rate3480-t00": 273, + "for-size165-rate3480-t01": 270, + "for-size165-rate3480-t02": 768, + "for-size165-rate3480-t03": 775, + "for-size165-rate3480-t04": 767, + "for-size165-rate3480-t05": 771, + "for-size165-rate3480-t06": 283, + "for-size165-rate3480-t07": 284, + "for-size165-rate3480-t08": 281, + "for-size165-rate3480-t09": 274, + "for-size165-rate3480-t10": 274, + "for-size165-rate62958170900032599-t00": 842, + "for-size165-rate62958170900032599-t01": 842, + "for-size165-rate62958170900032599-t02": 1054, + "for-size165-rate62958170900032599-t03": 1098, + "for-size165-rate62958170900032599-t04": 842, + "for-size165-rate62958170900032599-t05": 842, + "for-size165-rate62958170900032599-t06": 279, + "for-size165-rate62958170900032599-t07": 280, + "for-size165-rate62958170900032599-t08": 277, + "for-size165-rate62958170900032599-t09": 270, + "for-size165-rate62958170900032599-t10": 270, + "for-size165-rate62958170900032600-t00": 262, + "for-size165-rate62958170900032600-t01": 262, + "for-size165-rate62958170900032600-t02": 262, + "for-size165-rate62958170900032600-t03": 262, + "for-size165-rate62958170900032600-t04": 262, + "for-size165-rate62958170900032600-t05": 262, + "for-size165-rate62958170900032600-t06": 262, + "for-size165-rate62958170900032600-t07": 262, + "for-size165-rate62958170900032600-t08": 262, + "for-size165-rate62958170900032600-t09": 262, + "for-size165-rate62958170900032600-t10": 262, + "for-size165-rate6960-t00": 273, + "for-size165-rate6960-t01": 270, + "for-size165-rate6960-t02": 776, + "for-size165-rate6960-t03": 783, + "for-size165-rate6960-t04": 779, + "for-size165-rate6960-t05": 779, + "for-size165-rate6960-t06": 283, + "for-size165-rate6960-t07": 284, + "for-size165-rate6960-t08": 281, + "for-size165-rate6960-t09": 274, + "for-size165-rate6960-t10": 274, + "for-size18446744073709551615-rate0-t00": 261, + "for-size18446744073709551615-rate0-t01": 261, + "for-size18446744073709551615-rate0-t02": 261, + "for-size18446744073709551615-rate0-t03": 261, + "for-size18446744073709551615-rate0-t04": 261, + "for-size18446744073709551615-rate0-t05": 261, + "for-size18446744073709551615-rate0-t06": 261, + "for-size18446744073709551615-rate0-t07": 261, + "for-size18446744073709551615-rate0-t08": 261, + "for-size18446744073709551615-rate0-t09": 261, + "for-size18446744073709551615-rate0-t10": 261, + "for-size18446744073709551615-rate18446744073709551615-t00": 260, + "for-size18446744073709551615-rate18446744073709551615-t01": 260, + "for-size18446744073709551615-rate18446744073709551615-t02": 260, + "for-size18446744073709551615-rate18446744073709551615-t03": 260, + "for-size18446744073709551615-rate18446744073709551615-t04": 260, + "for-size18446744073709551615-rate18446744073709551615-t05": 260, + "for-size18446744073709551615-rate18446744073709551615-t06": 260, + "for-size18446744073709551615-rate18446744073709551615-t07": 260, + "for-size18446744073709551615-rate18446744073709551615-t08": 260, + "for-size18446744073709551615-rate18446744073709551615-t09": 260, + "for-size18446744073709551615-rate18446744073709551615-t10": 260, + "for-size18446744073709551615-rate3480-t00": 261, + "for-size18446744073709551615-rate3480-t01": 261, + "for-size18446744073709551615-rate3480-t02": 261, + "for-size18446744073709551615-rate3480-t03": 261, + "for-size18446744073709551615-rate3480-t04": 261, + "for-size18446744073709551615-rate3480-t05": 261, + "for-size18446744073709551615-rate3480-t06": 261, + "for-size18446744073709551615-rate3480-t07": 261, + "for-size18446744073709551615-rate3480-t08": 261, + "for-size18446744073709551615-rate3480-t09": 261, + "for-size18446744073709551615-rate3480-t10": 261, + "for-size18446744073709551615-rate6960-t00": 261, + "for-size18446744073709551615-rate6960-t01": 261, + "for-size18446744073709551615-rate6960-t02": 261, + "for-size18446744073709551615-rate6960-t03": 261, + "for-size18446744073709551615-rate6960-t04": 261, + "for-size18446744073709551615-rate6960-t05": 261, + "for-size18446744073709551615-rate6960-t06": 261, + "for-size18446744073709551615-rate6960-t07": 261, + "for-size18446744073709551615-rate6960-t08": 261, + "for-size18446744073709551615-rate6960-t09": 261, + "for-size18446744073709551615-rate6960-t10": 261, + "for-size82-rate0-t00": 273, + "for-size82-rate0-t01": 270, + "for-size82-rate0-t02": 282, + "for-size82-rate0-t03": 282, + "for-size82-rate0-t04": 282, + "for-size82-rate0-t05": 282, + "for-size82-rate0-t06": 282, + "for-size82-rate0-t07": 283, + "for-size82-rate0-t08": 281, + "for-size82-rate0-t09": 274, + "for-size82-rate0-t10": 274, + "for-size82-rate18446744073709551615-t00": 262, + "for-size82-rate18446744073709551615-t01": 262, + "for-size82-rate18446744073709551615-t02": 262, + "for-size82-rate18446744073709551615-t03": 262, + "for-size82-rate18446744073709551615-t04": 262, + "for-size82-rate18446744073709551615-t05": 262, + "for-size82-rate18446744073709551615-t06": 262, + "for-size82-rate18446744073709551615-t07": 262, + "for-size82-rate18446744073709551615-t08": 262, + "for-size82-rate18446744073709551615-t09": 262, + "for-size82-rate18446744073709551615-t10": 262, + "for-size82-rate3480-t00": 273, + "for-size82-rate3480-t01": 270, + "for-size82-rate3480-t02": 767, + "for-size82-rate3480-t03": 775, + "for-size82-rate3480-t04": 751, + "for-size82-rate3480-t05": 767, + "for-size82-rate3480-t06": 283, + "for-size82-rate3480-t07": 284, + "for-size82-rate3480-t08": 281, + "for-size82-rate3480-t09": 274, + "for-size82-rate3480-t10": 274, + "for-size82-rate42891425022576-t00": 273, + "for-size82-rate42891425022576-t01": 270, + "for-size82-rate42891425022576-t02": 1034, + "for-size82-rate42891425022576-t03": 1041, + "for-size82-rate42891425022576-t04": 1041, + "for-size82-rate42891425022576-t05": 1035, + "for-size82-rate42891425022576-t06": 283, + "for-size82-rate42891425022576-t07": 284, + "for-size82-rate42891425022576-t08": 281, + "for-size82-rate42891425022576-t09": 274, + "for-size82-rate42891425022576-t10": 274, + "for-size82-rate42891425022577-t00": 1043, + "for-size82-rate42891425022577-t01": 1043, + "for-size82-rate42891425022577-t02": 1043, + "for-size82-rate42891425022577-t03": 1051, + "for-size82-rate42891425022577-t04": 1043, + "for-size82-rate42891425022577-t05": 1043, + "for-size82-rate42891425022577-t06": 279, + "for-size82-rate42891425022577-t07": 280, + "for-size82-rate42891425022577-t08": 277, + "for-size82-rate42891425022577-t09": 270, + "for-size82-rate42891425022577-t10": 270, + "for-size82-rate6960-t00": 273, + "for-size82-rate6960-t01": 270, + "for-size82-rate6960-t02": 779, + "for-size82-rate6960-t03": 783, + "for-size82-rate6960-t04": 763, + "for-size82-rate6960-t05": 779, + "for-size82-rate6960-t06": 283, + "for-size82-rate6960-t07": 284, + "for-size82-rate6960-t08": 281, + "for-size82-rate6960-t09": 274, + "for-size82-rate6960-t10": 274, + "for-size82-rate87841638446235960-t00": 842, + "for-size82-rate87841638446235960-t01": 842, + "for-size82-rate87841638446235960-t02": 1054, + "for-size82-rate87841638446235960-t03": 1098, + "for-size82-rate87841638446235960-t04": 842, + "for-size82-rate87841638446235960-t05": 842, + "for-size82-rate87841638446235960-t06": 279, + "for-size82-rate87841638446235960-t07": 280, + "for-size82-rate87841638446235960-t08": 277, + "for-size82-rate87841638446235960-t09": 270, + "for-size82-rate87841638446235960-t10": 270, + "for-size82-rate87841638446235961-t00": 262, + "for-size82-rate87841638446235961-t01": 262, + "for-size82-rate87841638446235961-t02": 262, + "for-size82-rate87841638446235961-t03": 262, + "for-size82-rate87841638446235961-t04": 262, + "for-size82-rate87841638446235961-t05": 262, + "for-size82-rate87841638446235961-t06": 262, + "for-size82-rate87841638446235961-t07": 262, + "for-size82-rate87841638446235961-t08": 262, + "for-size82-rate87841638446235961-t09": 262, + "for-size82-rate87841638446235961-t10": 262, + "sysvar-size0": 399, + "sysvar-size10485760": 399, + "sysvar-size10485761": 387, + "sysvar-size165": 399 + }, + "before_main_939b215": { + "for-size0-rate0-t00": 276, + "for-size0-rate0-t01": 276, + "for-size0-rate0-t02": 276, + "for-size0-rate0-t03": 276, + "for-size0-rate0-t04": 276, + "for-size0-rate0-t05": 276, + "for-size0-rate0-t06": 276, + "for-size0-rate0-t07": 277, + "for-size0-rate0-t08": 274, + "for-size0-rate0-t09": 267, + "for-size0-rate0-t10": 267, + "for-size0-rate144115188075855871-t00": 838, + "for-size0-rate144115188075855871-t01": 838, + "for-size0-rate144115188075855871-t02": 1050, + "for-size0-rate144115188075855871-t03": 1094, + "for-size0-rate144115188075855871-t04": 838, + "for-size0-rate144115188075855871-t05": 838, + "for-size0-rate144115188075855871-t06": 277, + "for-size0-rate144115188075855871-t07": 278, + "for-size0-rate144115188075855871-t08": 274, + "for-size0-rate144115188075855871-t09": 267, + "for-size0-rate144115188075855871-t10": 267, + "for-size0-rate144115188075855872-t00": 262, + "for-size0-rate144115188075855872-t01": 262, + "for-size0-rate144115188075855872-t02": 262, + "for-size0-rate144115188075855872-t03": 262, + "for-size0-rate144115188075855872-t04": 262, + "for-size0-rate144115188075855872-t05": 262, + "for-size0-rate144115188075855872-t06": 262, + "for-size0-rate144115188075855872-t07": 262, + "for-size0-rate144115188075855872-t08": 262, + "for-size0-rate144115188075855872-t09": 262, + "for-size0-rate144115188075855872-t10": 262, + "for-size0-rate18446744073709551615-t00": 262, + "for-size0-rate18446744073709551615-t01": 262, + "for-size0-rate18446744073709551615-t02": 262, + "for-size0-rate18446744073709551615-t03": 262, + "for-size0-rate18446744073709551615-t04": 262, + "for-size0-rate18446744073709551615-t05": 262, + "for-size0-rate18446744073709551615-t06": 262, + "for-size0-rate18446744073709551615-t07": 262, + "for-size0-rate18446744073709551615-t08": 262, + "for-size0-rate18446744073709551615-t09": 262, + "for-size0-rate18446744073709551615-t10": 262, + "for-size0-rate3480-t00": 755, + "for-size0-rate3480-t01": 755, + "for-size0-rate3480-t02": 752, + "for-size0-rate3480-t03": 755, + "for-size0-rate3480-t04": 759, + "for-size0-rate3480-t05": 755, + "for-size0-rate3480-t06": 277, + "for-size0-rate3480-t07": 278, + "for-size0-rate3480-t08": 274, + "for-size0-rate3480-t09": 267, + "for-size0-rate3480-t10": 267, + "for-size0-rate6960-t00": 763, + "for-size0-rate6960-t01": 763, + "for-size0-rate6960-t02": 760, + "for-size0-rate6960-t03": 767, + "for-size0-rate6960-t04": 767, + "for-size0-rate6960-t05": 763, + "for-size0-rate6960-t06": 277, + "for-size0-rate6960-t07": 278, + "for-size0-rate6960-t08": 274, + "for-size0-rate6960-t09": 267, + "for-size0-rate6960-t10": 267, + "for-size0-rate70368744177663-t00": 1029, + "for-size0-rate70368744177663-t01": 1029, + "for-size0-rate70368744177663-t02": 1026, + "for-size0-rate70368744177663-t03": 1033, + "for-size0-rate70368744177663-t04": 1033, + "for-size0-rate70368744177663-t05": 1027, + "for-size0-rate70368744177663-t06": 277, + "for-size0-rate70368744177663-t07": 278, + "for-size0-rate70368744177663-t08": 274, + "for-size0-rate70368744177663-t09": 267, + "for-size0-rate70368744177663-t10": 267, + "for-size0-rate70368744177664-t00": 803, + "for-size0-rate70368744177664-t01": 803, + "for-size0-rate70368744177664-t02": 1015, + "for-size0-rate70368744177664-t03": 1059, + "for-size0-rate70368744177664-t04": 803, + "for-size0-rate70368744177664-t05": 803, + "for-size0-rate70368744177664-t06": 277, + "for-size0-rate70368744177664-t07": 278, + "for-size0-rate70368744177664-t08": 274, + "for-size0-rate70368744177664-t09": 267, + "for-size0-rate70368744177664-t10": 267, + "for-size10240-rate0-t00": 276, + "for-size10240-rate0-t01": 276, + "for-size10240-rate0-t02": 276, + "for-size10240-rate0-t03": 276, + "for-size10240-rate0-t04": 276, + "for-size10240-rate0-t05": 276, + "for-size10240-rate0-t06": 276, + "for-size10240-rate0-t07": 277, + "for-size10240-rate0-t08": 274, + "for-size10240-rate0-t09": 267, + "for-size10240-rate0-t10": 267, + "for-size10240-rate1779199852788344-t00": 841, + "for-size10240-rate1779199852788344-t01": 841, + "for-size10240-rate1779199852788344-t02": 1053, + "for-size10240-rate1779199852788344-t03": 1097, + "for-size10240-rate1779199852788344-t04": 841, + "for-size10240-rate1779199852788344-t05": 841, + "for-size10240-rate1779199852788344-t06": 277, + "for-size10240-rate1779199852788344-t07": 278, + "for-size10240-rate1779199852788344-t08": 274, + "for-size10240-rate1779199852788344-t09": 267, + "for-size10240-rate1779199852788344-t10": 267, + "for-size10240-rate1779199852788345-t00": 262, + "for-size10240-rate1779199852788345-t01": 262, + "for-size10240-rate1779199852788345-t02": 262, + "for-size10240-rate1779199852788345-t03": 262, + "for-size10240-rate1779199852788345-t04": 262, + "for-size10240-rate1779199852788345-t05": 262, + "for-size10240-rate1779199852788345-t06": 262, + "for-size10240-rate1779199852788345-t07": 262, + "for-size10240-rate1779199852788345-t08": 262, + "for-size10240-rate1779199852788345-t09": 262, + "for-size10240-rate1779199852788345-t10": 262, + "for-size10240-rate18446744073709551615-t00": 262, + "for-size10240-rate18446744073709551615-t01": 262, + "for-size10240-rate18446744073709551615-t02": 262, + "for-size10240-rate18446744073709551615-t03": 262, + "for-size10240-rate18446744073709551615-t04": 262, + "for-size10240-rate18446744073709551615-t05": 262, + "for-size10240-rate18446744073709551615-t06": 262, + "for-size10240-rate18446744073709551615-t07": 262, + "for-size10240-rate18446744073709551615-t08": 262, + "for-size10240-rate18446744073709551615-t09": 262, + "for-size10240-rate18446744073709551615-t10": 262, + "for-size10240-rate3480-t00": 811, + "for-size10240-rate3480-t01": 811, + "for-size10240-rate3480-t02": 811, + "for-size10240-rate3480-t03": 811, + "for-size10240-rate3480-t04": 811, + "for-size10240-rate3480-t05": 811, + "for-size10240-rate3480-t06": 277, + "for-size10240-rate3480-t07": 278, + "for-size10240-rate3480-t08": 274, + "for-size10240-rate3480-t09": 267, + "for-size10240-rate3480-t10": 267, + "for-size10240-rate6960-t00": 819, + "for-size10240-rate6960-t01": 819, + "for-size10240-rate6960-t02": 819, + "for-size10240-rate6960-t03": 823, + "for-size10240-rate6960-t04": 819, + "for-size10240-rate6960-t05": 819, + "for-size10240-rate6960-t06": 277, + "for-size10240-rate6960-t07": 278, + "for-size10240-rate6960-t08": 274, + "for-size10240-rate6960-t09": 267, + "for-size10240-rate6960-t10": 267, + "for-size10240-rate868749928119-t00": 1021, + "for-size10240-rate868749928119-t01": 1021, + "for-size10240-rate868749928119-t02": 1018, + "for-size10240-rate868749928119-t03": 1029, + "for-size10240-rate868749928119-t04": 1013, + "for-size10240-rate868749928119-t05": 1019, + "for-size10240-rate868749928119-t06": 277, + "for-size10240-rate868749928119-t07": 278, + "for-size10240-rate868749928119-t08": 274, + "for-size10240-rate868749928119-t09": 267, + "for-size10240-rate868749928119-t10": 267, + "for-size10240-rate868749928120-t00": 1059, + "for-size10240-rate868749928120-t01": 1059, + "for-size10240-rate868749928120-t02": 1059, + "for-size10240-rate868749928120-t03": 1063, + "for-size10240-rate868749928120-t04": 1047, + "for-size10240-rate868749928120-t05": 1059, + "for-size10240-rate868749928120-t06": 277, + "for-size10240-rate868749928120-t07": 278, + "for-size10240-rate868749928120-t08": 274, + "for-size10240-rate868749928120-t09": 267, + "for-size10240-rate868749928120-t10": 267, + "for-size10485760-rate0-t00": 276, + "for-size10485760-rate0-t01": 276, + "for-size10485760-rate0-t02": 276, + "for-size10485760-rate0-t03": 276, + "for-size10485760-rate0-t04": 276, + "for-size10485760-rate0-t05": 276, + "for-size10485760-rate0-t06": 276, + "for-size10485760-rate0-t07": 277, + "for-size10485760-rate0-t08": 274, + "for-size10485760-rate0-t09": 267, + "for-size10485760-rate0-t10": 267, + "for-size10485760-rate1759197129867-t00": 1096, + "for-size10485760-rate1759197129867-t01": 1096, + "for-size10485760-rate1759197129867-t02": 1093, + "for-size10485760-rate1759197129867-t03": 1096, + "for-size10485760-rate1759197129867-t04": 1097, + "for-size10485760-rate1759197129867-t05": 1096, + "for-size10485760-rate1759197129867-t06": 277, + "for-size10485760-rate1759197129867-t07": 278, + "for-size10485760-rate1759197129867-t08": 274, + "for-size10485760-rate1759197129867-t09": 267, + "for-size10485760-rate1759197129867-t10": 267, + "for-size10485760-rate1759197129868-t00": 262, + "for-size10485760-rate1759197129868-t01": 262, + "for-size10485760-rate1759197129868-t02": 262, + "for-size10485760-rate1759197129868-t03": 262, + "for-size10485760-rate1759197129868-t04": 262, + "for-size10485760-rate1759197129868-t05": 262, + "for-size10485760-rate1759197129868-t06": 262, + "for-size10485760-rate1759197129868-t07": 262, + "for-size10485760-rate1759197129868-t08": 262, + "for-size10485760-rate1759197129868-t09": 262, + "for-size10485760-rate1759197129868-t10": 262, + "for-size10485760-rate18446744073709551615-t00": 262, + "for-size10485760-rate18446744073709551615-t01": 262, + "for-size10485760-rate18446744073709551615-t02": 262, + "for-size10485760-rate18446744073709551615-t03": 262, + "for-size10485760-rate18446744073709551615-t04": 262, + "for-size10485760-rate18446744073709551615-t05": 262, + "for-size10485760-rate18446744073709551615-t06": 262, + "for-size10485760-rate18446744073709551615-t07": 262, + "for-size10485760-rate18446744073709551615-t08": 262, + "for-size10485760-rate18446744073709551615-t09": 262, + "for-size10485760-rate18446744073709551615-t10": 262, + "for-size10485760-rate3480-t00": 891, + "for-size10485760-rate3480-t01": 891, + "for-size10485760-rate3480-t02": 891, + "for-size10485760-rate3480-t03": 891, + "for-size10485760-rate3480-t04": 891, + "for-size10485760-rate3480-t05": 891, + "for-size10485760-rate3480-t06": 277, + "for-size10485760-rate3480-t07": 278, + "for-size10485760-rate3480-t08": 274, + "for-size10485760-rate3480-t09": 267, + "for-size10485760-rate3480-t10": 267, + "for-size10485760-rate6960-t00": 899, + "for-size10485760-rate6960-t01": 899, + "for-size10485760-rate6960-t02": 899, + "for-size10485760-rate6960-t03": 903, + "for-size10485760-rate6960-t04": 899, + "for-size10485760-rate6960-t05": 899, + "for-size10485760-rate6960-t06": 277, + "for-size10485760-rate6960-t07": 278, + "for-size10485760-rate6960-t08": 274, + "for-size10485760-rate6960-t09": 267, + "for-size10485760-rate6960-t10": 267, + "for-size10485760-rate858982973-t00": 1029, + "for-size10485760-rate858982973-t01": 1029, + "for-size10485760-rate858982973-t02": 1026, + "for-size10485760-rate858982973-t03": 1033, + "for-size10485760-rate858982973-t04": 1029, + "for-size10485760-rate858982973-t05": 1027, + "for-size10485760-rate858982973-t06": 277, + "for-size10485760-rate858982973-t07": 278, + "for-size10485760-rate858982973-t08": 274, + "for-size10485760-rate858982973-t09": 267, + "for-size10485760-rate858982973-t10": 267, + "for-size10485760-rate858982974-t00": 1059, + "for-size10485760-rate858982974-t01": 1059, + "for-size10485760-rate858982974-t02": 1059, + "for-size10485760-rate858982974-t03": 1063, + "for-size10485760-rate858982974-t04": 1051, + "for-size10485760-rate858982974-t05": 1059, + "for-size10485760-rate858982974-t06": 277, + "for-size10485760-rate858982974-t07": 278, + "for-size10485760-rate858982974-t08": 274, + "for-size10485760-rate858982974-t09": 267, + "for-size10485760-rate858982974-t10": 267, + "for-size10485761-rate0-t00": 261, + "for-size10485761-rate0-t01": 261, + "for-size10485761-rate0-t02": 261, + "for-size10485761-rate0-t03": 261, + "for-size10485761-rate0-t04": 261, + "for-size10485761-rate0-t05": 261, + "for-size10485761-rate0-t06": 261, + "for-size10485761-rate0-t07": 261, + "for-size10485761-rate0-t08": 261, + "for-size10485761-rate0-t09": 261, + "for-size10485761-rate0-t10": 261, + "for-size10485761-rate18446744073709551615-t00": 260, + "for-size10485761-rate18446744073709551615-t01": 260, + "for-size10485761-rate18446744073709551615-t02": 260, + "for-size10485761-rate18446744073709551615-t03": 260, + "for-size10485761-rate18446744073709551615-t04": 260, + "for-size10485761-rate18446744073709551615-t05": 260, + "for-size10485761-rate18446744073709551615-t06": 260, + "for-size10485761-rate18446744073709551615-t07": 260, + "for-size10485761-rate18446744073709551615-t08": 260, + "for-size10485761-rate18446744073709551615-t09": 260, + "for-size10485761-rate18446744073709551615-t10": 260, + "for-size10485761-rate3480-t00": 261, + "for-size10485761-rate3480-t01": 261, + "for-size10485761-rate3480-t02": 261, + "for-size10485761-rate3480-t03": 261, + "for-size10485761-rate3480-t04": 261, + "for-size10485761-rate3480-t05": 261, + "for-size10485761-rate3480-t06": 261, + "for-size10485761-rate3480-t07": 261, + "for-size10485761-rate3480-t08": 261, + "for-size10485761-rate3480-t09": 261, + "for-size10485761-rate3480-t10": 261, + "for-size10485761-rate6960-t00": 261, + "for-size10485761-rate6960-t01": 261, + "for-size10485761-rate6960-t02": 261, + "for-size10485761-rate6960-t03": 261, + "for-size10485761-rate6960-t04": 261, + "for-size10485761-rate6960-t05": 261, + "for-size10485761-rate6960-t06": 261, + "for-size10485761-rate6960-t07": 261, + "for-size10485761-rate6960-t08": 261, + "for-size10485761-rate6960-t09": 261, + "for-size10485761-rate6960-t10": 261, + "for-size165-rate0-t00": 276, + "for-size165-rate0-t01": 276, + "for-size165-rate0-t02": 276, + "for-size165-rate0-t03": 276, + "for-size165-rate0-t04": 276, + "for-size165-rate0-t05": 276, + "for-size165-rate0-t06": 276, + "for-size165-rate0-t07": 277, + "for-size165-rate0-t08": 274, + "for-size165-rate0-t09": 267, + "for-size165-rate0-t10": 267, + "for-size165-rate18446744073709551615-t00": 262, + "for-size165-rate18446744073709551615-t01": 262, + "for-size165-rate18446744073709551615-t02": 262, + "for-size165-rate18446744073709551615-t03": 262, + "for-size165-rate18446744073709551615-t04": 262, + "for-size165-rate18446744073709551615-t05": 262, + "for-size165-rate18446744073709551615-t06": 262, + "for-size165-rate18446744073709551615-t07": 262, + "for-size165-rate18446744073709551615-t08": 262, + "for-size165-rate18446744073709551615-t09": 262, + "for-size165-rate18446744073709551615-t10": 262, + "for-size165-rate30741294384781-t00": 1029, + "for-size165-rate30741294384781-t01": 1029, + "for-size165-rate30741294384781-t02": 1026, + "for-size165-rate30741294384781-t03": 1033, + "for-size165-rate30741294384781-t04": 1030, + "for-size165-rate30741294384781-t05": 1027, + "for-size165-rate30741294384781-t06": 277, + "for-size165-rate30741294384781-t07": 278, + "for-size165-rate30741294384781-t08": 274, + "for-size165-rate30741294384781-t09": 267, + "for-size165-rate30741294384781-t10": 267, + "for-size165-rate30741294384782-t00": 1039, + "for-size165-rate30741294384782-t01": 1039, + "for-size165-rate30741294384782-t02": 1039, + "for-size165-rate30741294384782-t03": 1047, + "for-size165-rate30741294384782-t04": 1036, + "for-size165-rate30741294384782-t05": 1039, + "for-size165-rate30741294384782-t06": 277, + "for-size165-rate30741294384782-t07": 278, + "for-size165-rate30741294384782-t08": 274, + "for-size165-rate30741294384782-t09": 267, + "for-size165-rate30741294384782-t10": 267, + "for-size165-rate3480-t00": 763, + "for-size165-rate3480-t01": 763, + "for-size165-rate3480-t02": 760, + "for-size165-rate3480-t03": 767, + "for-size165-rate3480-t04": 759, + "for-size165-rate3480-t05": 763, + "for-size165-rate3480-t06": 277, + "for-size165-rate3480-t07": 278, + "for-size165-rate3480-t08": 274, + "for-size165-rate3480-t09": 267, + "for-size165-rate3480-t10": 267, + "for-size165-rate62958170900032599-t00": 838, + "for-size165-rate62958170900032599-t01": 838, + "for-size165-rate62958170900032599-t02": 1050, + "for-size165-rate62958170900032599-t03": 1094, + "for-size165-rate62958170900032599-t04": 838, + "for-size165-rate62958170900032599-t05": 838, + "for-size165-rate62958170900032599-t06": 277, + "for-size165-rate62958170900032599-t07": 278, + "for-size165-rate62958170900032599-t08": 274, + "for-size165-rate62958170900032599-t09": 267, + "for-size165-rate62958170900032599-t10": 267, + "for-size165-rate62958170900032600-t00": 262, + "for-size165-rate62958170900032600-t01": 262, + "for-size165-rate62958170900032600-t02": 262, + "for-size165-rate62958170900032600-t03": 262, + "for-size165-rate62958170900032600-t04": 262, + "for-size165-rate62958170900032600-t05": 262, + "for-size165-rate62958170900032600-t06": 262, + "for-size165-rate62958170900032600-t07": 262, + "for-size165-rate62958170900032600-t08": 262, + "for-size165-rate62958170900032600-t09": 262, + "for-size165-rate62958170900032600-t10": 262, + "for-size165-rate6960-t00": 771, + "for-size165-rate6960-t01": 771, + "for-size165-rate6960-t02": 768, + "for-size165-rate6960-t03": 775, + "for-size165-rate6960-t04": 771, + "for-size165-rate6960-t05": 771, + "for-size165-rate6960-t06": 277, + "for-size165-rate6960-t07": 278, + "for-size165-rate6960-t08": 274, + "for-size165-rate6960-t09": 267, + "for-size165-rate6960-t10": 267, + "for-size18446744073709551615-rate0-t00": 261, + "for-size18446744073709551615-rate0-t01": 261, + "for-size18446744073709551615-rate0-t02": 261, + "for-size18446744073709551615-rate0-t03": 261, + "for-size18446744073709551615-rate0-t04": 261, + "for-size18446744073709551615-rate0-t05": 261, + "for-size18446744073709551615-rate0-t06": 261, + "for-size18446744073709551615-rate0-t07": 261, + "for-size18446744073709551615-rate0-t08": 261, + "for-size18446744073709551615-rate0-t09": 261, + "for-size18446744073709551615-rate0-t10": 261, + "for-size18446744073709551615-rate18446744073709551615-t00": 260, + "for-size18446744073709551615-rate18446744073709551615-t01": 260, + "for-size18446744073709551615-rate18446744073709551615-t02": 260, + "for-size18446744073709551615-rate18446744073709551615-t03": 260, + "for-size18446744073709551615-rate18446744073709551615-t04": 260, + "for-size18446744073709551615-rate18446744073709551615-t05": 260, + "for-size18446744073709551615-rate18446744073709551615-t06": 260, + "for-size18446744073709551615-rate18446744073709551615-t07": 260, + "for-size18446744073709551615-rate18446744073709551615-t08": 260, + "for-size18446744073709551615-rate18446744073709551615-t09": 260, + "for-size18446744073709551615-rate18446744073709551615-t10": 260, + "for-size18446744073709551615-rate3480-t00": 261, + "for-size18446744073709551615-rate3480-t01": 261, + "for-size18446744073709551615-rate3480-t02": 261, + "for-size18446744073709551615-rate3480-t03": 261, + "for-size18446744073709551615-rate3480-t04": 261, + "for-size18446744073709551615-rate3480-t05": 261, + "for-size18446744073709551615-rate3480-t06": 261, + "for-size18446744073709551615-rate3480-t07": 261, + "for-size18446744073709551615-rate3480-t08": 261, + "for-size18446744073709551615-rate3480-t09": 261, + "for-size18446744073709551615-rate3480-t10": 261, + "for-size18446744073709551615-rate6960-t00": 261, + "for-size18446744073709551615-rate6960-t01": 261, + "for-size18446744073709551615-rate6960-t02": 261, + "for-size18446744073709551615-rate6960-t03": 261, + "for-size18446744073709551615-rate6960-t04": 261, + "for-size18446744073709551615-rate6960-t05": 261, + "for-size18446744073709551615-rate6960-t06": 261, + "for-size18446744073709551615-rate6960-t07": 261, + "for-size18446744073709551615-rate6960-t08": 261, + "for-size18446744073709551615-rate6960-t09": 261, + "for-size18446744073709551615-rate6960-t10": 261, + "for-size82-rate0-t00": 276, + "for-size82-rate0-t01": 276, + "for-size82-rate0-t02": 276, + "for-size82-rate0-t03": 276, + "for-size82-rate0-t04": 276, + "for-size82-rate0-t05": 276, + "for-size82-rate0-t06": 276, + "for-size82-rate0-t07": 277, + "for-size82-rate0-t08": 274, + "for-size82-rate0-t09": 267, + "for-size82-rate0-t10": 267, + "for-size82-rate18446744073709551615-t00": 262, + "for-size82-rate18446744073709551615-t01": 262, + "for-size82-rate18446744073709551615-t02": 262, + "for-size82-rate18446744073709551615-t03": 262, + "for-size82-rate18446744073709551615-t04": 262, + "for-size82-rate18446744073709551615-t05": 262, + "for-size82-rate18446744073709551615-t06": 262, + "for-size82-rate18446744073709551615-t07": 262, + "for-size82-rate18446744073709551615-t08": 262, + "for-size82-rate18446744073709551615-t09": 262, + "for-size82-rate18446744073709551615-t10": 262, + "for-size82-rate3480-t00": 759, + "for-size82-rate3480-t01": 759, + "for-size82-rate3480-t02": 759, + "for-size82-rate3480-t03": 767, + "for-size82-rate3480-t04": 743, + "for-size82-rate3480-t05": 759, + "for-size82-rate3480-t06": 277, + "for-size82-rate3480-t07": 278, + "for-size82-rate3480-t08": 274, + "for-size82-rate3480-t09": 267, + "for-size82-rate3480-t10": 267, + "for-size82-rate42891425022576-t00": 1029, + "for-size82-rate42891425022576-t01": 1029, + "for-size82-rate42891425022576-t02": 1026, + "for-size82-rate42891425022576-t03": 1033, + "for-size82-rate42891425022576-t04": 1033, + "for-size82-rate42891425022576-t05": 1027, + "for-size82-rate42891425022576-t06": 277, + "for-size82-rate42891425022576-t07": 278, + "for-size82-rate42891425022576-t08": 274, + "for-size82-rate42891425022576-t09": 267, + "for-size82-rate42891425022576-t10": 267, + "for-size82-rate42891425022577-t00": 1039, + "for-size82-rate42891425022577-t01": 1039, + "for-size82-rate42891425022577-t02": 1039, + "for-size82-rate42891425022577-t03": 1047, + "for-size82-rate42891425022577-t04": 1039, + "for-size82-rate42891425022577-t05": 1039, + "for-size82-rate42891425022577-t06": 277, + "for-size82-rate42891425022577-t07": 278, + "for-size82-rate42891425022577-t08": 274, + "for-size82-rate42891425022577-t09": 267, + "for-size82-rate42891425022577-t10": 267, + "for-size82-rate6960-t00": 771, + "for-size82-rate6960-t01": 771, + "for-size82-rate6960-t02": 771, + "for-size82-rate6960-t03": 775, + "for-size82-rate6960-t04": 755, + "for-size82-rate6960-t05": 771, + "for-size82-rate6960-t06": 277, + "for-size82-rate6960-t07": 278, + "for-size82-rate6960-t08": 274, + "for-size82-rate6960-t09": 267, + "for-size82-rate6960-t10": 267, + "for-size82-rate87841638446235960-t00": 838, + "for-size82-rate87841638446235960-t01": 838, + "for-size82-rate87841638446235960-t02": 1050, + "for-size82-rate87841638446235960-t03": 1094, + "for-size82-rate87841638446235960-t04": 838, + "for-size82-rate87841638446235960-t05": 838, + "for-size82-rate87841638446235960-t06": 277, + "for-size82-rate87841638446235960-t07": 278, + "for-size82-rate87841638446235960-t08": 274, + "for-size82-rate87841638446235960-t09": 267, + "for-size82-rate87841638446235960-t10": 267, + "for-size82-rate87841638446235961-t00": 262, + "for-size82-rate87841638446235961-t01": 262, + "for-size82-rate87841638446235961-t02": 262, + "for-size82-rate87841638446235961-t03": 262, + "for-size82-rate87841638446235961-t04": 262, + "for-size82-rate87841638446235961-t05": 262, + "for-size82-rate87841638446235961-t06": 262, + "for-size82-rate87841638446235961-t07": 262, + "for-size82-rate87841638446235961-t08": 262, + "for-size82-rate87841638446235961-t09": 262, + "for-size82-rate87841638446235961-t10": 262, + "sysvar-size0": 881, + "sysvar-size10485760": 1017, + "sysvar-size10485761": 387, + "sysvar-size165": 889 + }, + "profile": "fogo-v0" +} diff --git a/results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json b/results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json new file mode 100644 index 00000000..69e7365e --- /dev/null +++ b/results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json @@ -0,0 +1,128 @@ +{ + "schema": 1, + "network_validation": false, + "host": "macOS-27.0.1-arm64-arm-64bit-Mach-O", + "machine": "arm64", + "cli": "build/gosvm", + "cli_sha256": "74d15f31e78922bc4ca01706e95a1b0bf2e8640d34fb4bad1b4b922012a770ae", + "build_flags": [ + "-no-cache" + ], + "go_version": "go version go1.23.2 darwin/arm64", + "workloads": { + "full-swap": "examples/full-swap", + "clock2": "examples/clock2" + }, + "skipped": { + "go-bend-rust": "needs pinned Bend producer manifests and the full Rust producer tree; not part of this offline rebuild check" + }, + "results": [ + { + "target": "fogo-v0", + "workload": "full-swap", + "kind": "project", + "identical": true, + "no_embedded_host_strings": true, + "elf_sha256": "7d162f10a4417d04b6930e7de46514c8459e0219fbd60b0fb44cbb74d16c5696", + "sides": [ + { + "side": "a", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-ykpy7i2d/work/a/full-swap", + "elf_sha256": "7d162f10a4417d04b6930e7de46514c8459e0219fbd60b0fb44cbb74d16c5696", + "size": 70240, + "embedded_host_strings": [] + }, + { + "side": "bb-longer-path", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-5n42a79k/work/bb-longer-path/full-swap", + "elf_sha256": "7d162f10a4417d04b6930e7de46514c8459e0219fbd60b0fb44cbb74d16c5696", + "size": 70240, + "embedded_host_strings": [] + } + ], + "matches_reference": false + }, + { + "target": "fogo-v0", + "workload": "clock2", + "kind": "low-level", + "identical": true, + "no_embedded_host_strings": true, + "elf_sha256": "d85d909e057f6c6e11c468306e0b9222609dc3498b26cbf9b6dbad1d29bcd327", + "sides": [ + { + "side": "a", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-gpbim21o/work/a/clock2", + "elf_sha256": "d85d909e057f6c6e11c468306e0b9222609dc3498b26cbf9b6dbad1d29bcd327", + "size": 5272, + "embedded_host_strings": [] + }, + { + "side": "bb-longer-path", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-u9ndzcke/work/bb-longer-path/clock2", + "elf_sha256": "d85d909e057f6c6e11c468306e0b9222609dc3498b26cbf9b6dbad1d29bcd327", + "size": 5272, + "embedded_host_strings": [] + } + ], + "matches_reference": true + }, + { + "target": "solana-v3", + "workload": "full-swap", + "kind": "project", + "identical": true, + "no_embedded_host_strings": true, + "elf_sha256": "42e1deba5964184c89e38e9d99254d27c02e5c91f68b938410efa807e64290be", + "sides": [ + { + "side": "a", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-2_hzkxp8/work/a/full-swap", + "elf_sha256": "42e1deba5964184c89e38e9d99254d27c02e5c91f68b938410efa807e64290be", + "size": 70224, + "embedded_host_strings": [] + }, + { + "side": "bb-longer-path", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-g59g3dv4/work/bb-longer-path/full-swap", + "elf_sha256": "42e1deba5964184c89e38e9d99254d27c02e5c91f68b938410efa807e64290be", + "size": 70224, + "embedded_host_strings": [] + } + ], + "matches_reference": false + }, + { + "target": "solana-v3", + "workload": "clock2", + "kind": "low-level", + "identical": true, + "no_embedded_host_strings": true, + "elf_sha256": "88611a509e500806729bf4e9624fac873b6f302960497c26fd70113781cc6f73", + "sides": [ + { + "side": "a", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-ka0foi8f/work/a/clock2", + "elf_sha256": "88611a509e500806729bf4e9624fac873b6f302960497c26fd70113781cc6f73", + "size": 4248, + "embedded_host_strings": [] + }, + { + "side": "bb-longer-path", + "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-w17wxguo/work/bb-longer-path/clock2", + "elf_sha256": "88611a509e500806729bf4e9624fac873b6f302960497c26fd70113781cc6f73", + "size": 4248, + "embedded_host_strings": [] + } + ], + "matches_reference": true + } + ], + "backends": [ + "OK fogo-v0 backend (selected) / platform-tools v1.57 / LLVM 22.1.2: ~/Library/Caches/gosvm/toolchains/v1.57/darwin-arm64/llvm", + "OK solana-v3 backend / platform-tools v1.57 / LLVM 22.1.2: ~/Library/Caches/gosvm/toolchains/v1.57/darwin-arm64/llvm" + ], + "unmanaged_v1_57_llvm_sha256": {}, + "reference": "results/compiler/2026-10-19-hyperlane-integration/rebuild/metrics.json", + "passed": true +} diff --git a/results/sdk/2026-10-19-rent-fast-path/solana-v3-cu.json b/results/sdk/2026-10-19-rent-fast-path/solana-v3-cu.json new file mode 100644 index 00000000..f1872419 --- /dev/null +++ b/results/sdk/2026-10-19-rent-fast-path/solana-v3-cu.json @@ -0,0 +1,1071 @@ +{ + "after": { + "for-size0-rate0-t00": 273, + "for-size0-rate0-t01": 270, + "for-size0-rate0-t02": 282, + "for-size0-rate0-t03": 282, + "for-size0-rate0-t04": 282, + "for-size0-rate0-t05": 282, + "for-size0-rate0-t06": 282, + "for-size0-rate0-t07": 283, + "for-size0-rate0-t08": 281, + "for-size0-rate0-t09": 274, + "for-size0-rate0-t10": 274, + "for-size0-rate144115188075855871-t00": 842, + "for-size0-rate144115188075855871-t01": 842, + "for-size0-rate144115188075855871-t02": 1054, + "for-size0-rate144115188075855871-t03": 1098, + "for-size0-rate144115188075855871-t04": 842, + "for-size0-rate144115188075855871-t05": 842, + "for-size0-rate144115188075855871-t06": 279, + "for-size0-rate144115188075855871-t07": 280, + "for-size0-rate144115188075855871-t08": 277, + "for-size0-rate144115188075855871-t09": 270, + "for-size0-rate144115188075855871-t10": 270, + "for-size0-rate144115188075855872-t00": 262, + "for-size0-rate144115188075855872-t01": 262, + "for-size0-rate144115188075855872-t02": 262, + "for-size0-rate144115188075855872-t03": 262, + "for-size0-rate144115188075855872-t04": 262, + "for-size0-rate144115188075855872-t05": 262, + "for-size0-rate144115188075855872-t06": 262, + "for-size0-rate144115188075855872-t07": 262, + "for-size0-rate144115188075855872-t08": 262, + "for-size0-rate144115188075855872-t09": 262, + "for-size0-rate144115188075855872-t10": 262, + "for-size0-rate18446744073709551615-t00": 262, + "for-size0-rate18446744073709551615-t01": 262, + "for-size0-rate18446744073709551615-t02": 262, + "for-size0-rate18446744073709551615-t03": 262, + "for-size0-rate18446744073709551615-t04": 262, + "for-size0-rate18446744073709551615-t05": 262, + "for-size0-rate18446744073709551615-t06": 262, + "for-size0-rate18446744073709551615-t07": 262, + "for-size0-rate18446744073709551615-t08": 262, + "for-size0-rate18446744073709551615-t09": 262, + "for-size0-rate18446744073709551615-t10": 262, + "for-size0-rate3480-t00": 273, + "for-size0-rate3480-t01": 270, + "for-size0-rate3480-t02": 760, + "for-size0-rate3480-t03": 763, + "for-size0-rate3480-t04": 767, + "for-size0-rate3480-t05": 763, + "for-size0-rate3480-t06": 283, + "for-size0-rate3480-t07": 284, + "for-size0-rate3480-t08": 281, + "for-size0-rate3480-t09": 274, + "for-size0-rate3480-t10": 274, + "for-size0-rate6960-t00": 273, + "for-size0-rate6960-t01": 270, + "for-size0-rate6960-t02": 768, + "for-size0-rate6960-t03": 775, + "for-size0-rate6960-t04": 775, + "for-size0-rate6960-t05": 771, + "for-size0-rate6960-t06": 283, + "for-size0-rate6960-t07": 284, + "for-size0-rate6960-t08": 281, + "for-size0-rate6960-t09": 274, + "for-size0-rate6960-t10": 274, + "for-size0-rate70368744177663-t00": 273, + "for-size0-rate70368744177663-t01": 270, + "for-size0-rate70368744177663-t02": 1034, + "for-size0-rate70368744177663-t03": 1041, + "for-size0-rate70368744177663-t04": 1041, + "for-size0-rate70368744177663-t05": 1035, + "for-size0-rate70368744177663-t06": 283, + "for-size0-rate70368744177663-t07": 284, + "for-size0-rate70368744177663-t08": 281, + "for-size0-rate70368744177663-t09": 274, + "for-size0-rate70368744177663-t10": 274, + "for-size0-rate70368744177664-t00": 807, + "for-size0-rate70368744177664-t01": 807, + "for-size0-rate70368744177664-t02": 1019, + "for-size0-rate70368744177664-t03": 1063, + "for-size0-rate70368744177664-t04": 807, + "for-size0-rate70368744177664-t05": 807, + "for-size0-rate70368744177664-t06": 279, + "for-size0-rate70368744177664-t07": 280, + "for-size0-rate70368744177664-t08": 277, + "for-size0-rate70368744177664-t09": 270, + "for-size0-rate70368744177664-t10": 270, + "for-size10240-rate0-t00": 273, + "for-size10240-rate0-t01": 270, + "for-size10240-rate0-t02": 282, + "for-size10240-rate0-t03": 282, + "for-size10240-rate0-t04": 282, + "for-size10240-rate0-t05": 282, + "for-size10240-rate0-t06": 282, + "for-size10240-rate0-t07": 283, + "for-size10240-rate0-t08": 281, + "for-size10240-rate0-t09": 274, + "for-size10240-rate0-t10": 274, + "for-size10240-rate1779199852788344-t00": 845, + "for-size10240-rate1779199852788344-t01": 845, + "for-size10240-rate1779199852788344-t02": 1057, + "for-size10240-rate1779199852788344-t03": 1101, + "for-size10240-rate1779199852788344-t04": 845, + "for-size10240-rate1779199852788344-t05": 845, + "for-size10240-rate1779199852788344-t06": 279, + "for-size10240-rate1779199852788344-t07": 280, + "for-size10240-rate1779199852788344-t08": 277, + "for-size10240-rate1779199852788344-t09": 270, + "for-size10240-rate1779199852788344-t10": 270, + "for-size10240-rate1779199852788345-t00": 262, + "for-size10240-rate1779199852788345-t01": 262, + "for-size10240-rate1779199852788345-t02": 262, + "for-size10240-rate1779199852788345-t03": 262, + "for-size10240-rate1779199852788345-t04": 262, + "for-size10240-rate1779199852788345-t05": 262, + "for-size10240-rate1779199852788345-t06": 262, + "for-size10240-rate1779199852788345-t07": 262, + "for-size10240-rate1779199852788345-t08": 262, + "for-size10240-rate1779199852788345-t09": 262, + "for-size10240-rate1779199852788345-t10": 262, + "for-size10240-rate18446744073709551615-t00": 262, + "for-size10240-rate18446744073709551615-t01": 262, + "for-size10240-rate18446744073709551615-t02": 262, + "for-size10240-rate18446744073709551615-t03": 262, + "for-size10240-rate18446744073709551615-t04": 262, + "for-size10240-rate18446744073709551615-t05": 262, + "for-size10240-rate18446744073709551615-t06": 262, + "for-size10240-rate18446744073709551615-t07": 262, + "for-size10240-rate18446744073709551615-t08": 262, + "for-size10240-rate18446744073709551615-t09": 262, + "for-size10240-rate18446744073709551615-t10": 262, + "for-size10240-rate3480-t00": 273, + "for-size10240-rate3480-t01": 270, + "for-size10240-rate3480-t02": 819, + "for-size10240-rate3480-t03": 819, + "for-size10240-rate3480-t04": 819, + "for-size10240-rate3480-t05": 819, + "for-size10240-rate3480-t06": 283, + "for-size10240-rate3480-t07": 284, + "for-size10240-rate3480-t08": 281, + "for-size10240-rate3480-t09": 274, + "for-size10240-rate3480-t10": 274, + "for-size10240-rate6960-t00": 273, + "for-size10240-rate6960-t01": 270, + "for-size10240-rate6960-t02": 827, + "for-size10240-rate6960-t03": 831, + "for-size10240-rate6960-t04": 827, + "for-size10240-rate6960-t05": 827, + "for-size10240-rate6960-t06": 283, + "for-size10240-rate6960-t07": 284, + "for-size10240-rate6960-t08": 281, + "for-size10240-rate6960-t09": 274, + "for-size10240-rate6960-t10": 274, + "for-size10240-rate868749928119-t00": 273, + "for-size10240-rate868749928119-t01": 270, + "for-size10240-rate868749928119-t02": 1026, + "for-size10240-rate868749928119-t03": 1037, + "for-size10240-rate868749928119-t04": 1021, + "for-size10240-rate868749928119-t05": 1027, + "for-size10240-rate868749928119-t06": 283, + "for-size10240-rate868749928119-t07": 284, + "for-size10240-rate868749928119-t08": 281, + "for-size10240-rate868749928119-t09": 274, + "for-size10240-rate868749928119-t10": 274, + "for-size10240-rate868749928120-t00": 1063, + "for-size10240-rate868749928120-t01": 1063, + "for-size10240-rate868749928120-t02": 1063, + "for-size10240-rate868749928120-t03": 1067, + "for-size10240-rate868749928120-t04": 1051, + "for-size10240-rate868749928120-t05": 1063, + "for-size10240-rate868749928120-t06": 279, + "for-size10240-rate868749928120-t07": 280, + "for-size10240-rate868749928120-t08": 277, + "for-size10240-rate868749928120-t09": 270, + "for-size10240-rate868749928120-t10": 270, + "for-size10485760-rate0-t00": 273, + "for-size10485760-rate0-t01": 270, + "for-size10485760-rate0-t02": 282, + "for-size10485760-rate0-t03": 282, + "for-size10485760-rate0-t04": 282, + "for-size10485760-rate0-t05": 282, + "for-size10485760-rate0-t06": 282, + "for-size10485760-rate0-t07": 283, + "for-size10485760-rate0-t08": 281, + "for-size10485760-rate0-t09": 274, + "for-size10485760-rate0-t10": 274, + "for-size10485760-rate1759197129867-t00": 1100, + "for-size10485760-rate1759197129867-t01": 1100, + "for-size10485760-rate1759197129867-t02": 1097, + "for-size10485760-rate1759197129867-t03": 1100, + "for-size10485760-rate1759197129867-t04": 1101, + "for-size10485760-rate1759197129867-t05": 1100, + "for-size10485760-rate1759197129867-t06": 279, + "for-size10485760-rate1759197129867-t07": 280, + "for-size10485760-rate1759197129867-t08": 277, + "for-size10485760-rate1759197129867-t09": 270, + "for-size10485760-rate1759197129867-t10": 270, + "for-size10485760-rate1759197129868-t00": 262, + "for-size10485760-rate1759197129868-t01": 262, + "for-size10485760-rate1759197129868-t02": 262, + "for-size10485760-rate1759197129868-t03": 262, + "for-size10485760-rate1759197129868-t04": 262, + "for-size10485760-rate1759197129868-t05": 262, + "for-size10485760-rate1759197129868-t06": 262, + "for-size10485760-rate1759197129868-t07": 262, + "for-size10485760-rate1759197129868-t08": 262, + "for-size10485760-rate1759197129868-t09": 262, + "for-size10485760-rate1759197129868-t10": 262, + "for-size10485760-rate18446744073709551615-t00": 262, + "for-size10485760-rate18446744073709551615-t01": 262, + "for-size10485760-rate18446744073709551615-t02": 262, + "for-size10485760-rate18446744073709551615-t03": 262, + "for-size10485760-rate18446744073709551615-t04": 262, + "for-size10485760-rate18446744073709551615-t05": 262, + "for-size10485760-rate18446744073709551615-t06": 262, + "for-size10485760-rate18446744073709551615-t07": 262, + "for-size10485760-rate18446744073709551615-t08": 262, + "for-size10485760-rate18446744073709551615-t09": 262, + "for-size10485760-rate18446744073709551615-t10": 262, + "for-size10485760-rate3480-t00": 273, + "for-size10485760-rate3480-t01": 270, + "for-size10485760-rate3480-t02": 899, + "for-size10485760-rate3480-t03": 899, + "for-size10485760-rate3480-t04": 899, + "for-size10485760-rate3480-t05": 899, + "for-size10485760-rate3480-t06": 283, + "for-size10485760-rate3480-t07": 284, + "for-size10485760-rate3480-t08": 281, + "for-size10485760-rate3480-t09": 274, + "for-size10485760-rate3480-t10": 274, + "for-size10485760-rate6960-t00": 273, + "for-size10485760-rate6960-t01": 270, + "for-size10485760-rate6960-t02": 907, + "for-size10485760-rate6960-t03": 911, + "for-size10485760-rate6960-t04": 907, + "for-size10485760-rate6960-t05": 907, + "for-size10485760-rate6960-t06": 283, + "for-size10485760-rate6960-t07": 284, + "for-size10485760-rate6960-t08": 281, + "for-size10485760-rate6960-t09": 274, + "for-size10485760-rate6960-t10": 274, + "for-size10485760-rate858982973-t00": 273, + "for-size10485760-rate858982973-t01": 270, + "for-size10485760-rate858982973-t02": 1034, + "for-size10485760-rate858982973-t03": 1041, + "for-size10485760-rate858982973-t04": 1037, + "for-size10485760-rate858982973-t05": 1035, + "for-size10485760-rate858982973-t06": 283, + "for-size10485760-rate858982973-t07": 284, + "for-size10485760-rate858982973-t08": 281, + "for-size10485760-rate858982973-t09": 274, + "for-size10485760-rate858982973-t10": 274, + "for-size10485760-rate858982974-t00": 1063, + "for-size10485760-rate858982974-t01": 1063, + "for-size10485760-rate858982974-t02": 1063, + "for-size10485760-rate858982974-t03": 1067, + "for-size10485760-rate858982974-t04": 1055, + "for-size10485760-rate858982974-t05": 1063, + "for-size10485760-rate858982974-t06": 279, + "for-size10485760-rate858982974-t07": 280, + "for-size10485760-rate858982974-t08": 277, + "for-size10485760-rate858982974-t09": 270, + "for-size10485760-rate858982974-t10": 270, + "for-size10485761-rate0-t00": 261, + "for-size10485761-rate0-t01": 261, + "for-size10485761-rate0-t02": 261, + "for-size10485761-rate0-t03": 261, + "for-size10485761-rate0-t04": 261, + "for-size10485761-rate0-t05": 261, + "for-size10485761-rate0-t06": 261, + "for-size10485761-rate0-t07": 261, + "for-size10485761-rate0-t08": 261, + "for-size10485761-rate0-t09": 261, + "for-size10485761-rate0-t10": 261, + "for-size10485761-rate18446744073709551615-t00": 260, + "for-size10485761-rate18446744073709551615-t01": 260, + "for-size10485761-rate18446744073709551615-t02": 260, + "for-size10485761-rate18446744073709551615-t03": 260, + "for-size10485761-rate18446744073709551615-t04": 260, + "for-size10485761-rate18446744073709551615-t05": 260, + "for-size10485761-rate18446744073709551615-t06": 260, + "for-size10485761-rate18446744073709551615-t07": 260, + "for-size10485761-rate18446744073709551615-t08": 260, + "for-size10485761-rate18446744073709551615-t09": 260, + "for-size10485761-rate18446744073709551615-t10": 260, + "for-size10485761-rate3480-t00": 261, + "for-size10485761-rate3480-t01": 261, + "for-size10485761-rate3480-t02": 261, + "for-size10485761-rate3480-t03": 261, + "for-size10485761-rate3480-t04": 261, + "for-size10485761-rate3480-t05": 261, + "for-size10485761-rate3480-t06": 261, + "for-size10485761-rate3480-t07": 261, + "for-size10485761-rate3480-t08": 261, + "for-size10485761-rate3480-t09": 261, + "for-size10485761-rate3480-t10": 261, + "for-size10485761-rate6960-t00": 261, + "for-size10485761-rate6960-t01": 261, + "for-size10485761-rate6960-t02": 261, + "for-size10485761-rate6960-t03": 261, + "for-size10485761-rate6960-t04": 261, + "for-size10485761-rate6960-t05": 261, + "for-size10485761-rate6960-t06": 261, + "for-size10485761-rate6960-t07": 261, + "for-size10485761-rate6960-t08": 261, + "for-size10485761-rate6960-t09": 261, + "for-size10485761-rate6960-t10": 261, + "for-size165-rate0-t00": 273, + "for-size165-rate0-t01": 270, + "for-size165-rate0-t02": 282, + "for-size165-rate0-t03": 282, + "for-size165-rate0-t04": 282, + "for-size165-rate0-t05": 282, + "for-size165-rate0-t06": 282, + "for-size165-rate0-t07": 283, + "for-size165-rate0-t08": 281, + "for-size165-rate0-t09": 274, + "for-size165-rate0-t10": 274, + "for-size165-rate18446744073709551615-t00": 262, + "for-size165-rate18446744073709551615-t01": 262, + "for-size165-rate18446744073709551615-t02": 262, + "for-size165-rate18446744073709551615-t03": 262, + "for-size165-rate18446744073709551615-t04": 262, + "for-size165-rate18446744073709551615-t05": 262, + "for-size165-rate18446744073709551615-t06": 262, + "for-size165-rate18446744073709551615-t07": 262, + "for-size165-rate18446744073709551615-t08": 262, + "for-size165-rate18446744073709551615-t09": 262, + "for-size165-rate18446744073709551615-t10": 262, + "for-size165-rate30741294384781-t00": 273, + "for-size165-rate30741294384781-t01": 270, + "for-size165-rate30741294384781-t02": 1034, + "for-size165-rate30741294384781-t03": 1041, + "for-size165-rate30741294384781-t04": 1038, + "for-size165-rate30741294384781-t05": 1035, + "for-size165-rate30741294384781-t06": 283, + "for-size165-rate30741294384781-t07": 284, + "for-size165-rate30741294384781-t08": 281, + "for-size165-rate30741294384781-t09": 274, + "for-size165-rate30741294384781-t10": 274, + "for-size165-rate30741294384782-t00": 1043, + "for-size165-rate30741294384782-t01": 1043, + "for-size165-rate30741294384782-t02": 1043, + "for-size165-rate30741294384782-t03": 1051, + "for-size165-rate30741294384782-t04": 1040, + "for-size165-rate30741294384782-t05": 1043, + "for-size165-rate30741294384782-t06": 279, + "for-size165-rate30741294384782-t07": 280, + "for-size165-rate30741294384782-t08": 277, + "for-size165-rate30741294384782-t09": 270, + "for-size165-rate30741294384782-t10": 270, + "for-size165-rate3480-t00": 273, + "for-size165-rate3480-t01": 270, + "for-size165-rate3480-t02": 768, + "for-size165-rate3480-t03": 775, + "for-size165-rate3480-t04": 767, + "for-size165-rate3480-t05": 771, + "for-size165-rate3480-t06": 283, + "for-size165-rate3480-t07": 284, + "for-size165-rate3480-t08": 281, + "for-size165-rate3480-t09": 274, + "for-size165-rate3480-t10": 274, + "for-size165-rate62958170900032599-t00": 842, + "for-size165-rate62958170900032599-t01": 842, + "for-size165-rate62958170900032599-t02": 1054, + "for-size165-rate62958170900032599-t03": 1098, + "for-size165-rate62958170900032599-t04": 842, + "for-size165-rate62958170900032599-t05": 842, + "for-size165-rate62958170900032599-t06": 279, + "for-size165-rate62958170900032599-t07": 280, + "for-size165-rate62958170900032599-t08": 277, + "for-size165-rate62958170900032599-t09": 270, + "for-size165-rate62958170900032599-t10": 270, + "for-size165-rate62958170900032600-t00": 262, + "for-size165-rate62958170900032600-t01": 262, + "for-size165-rate62958170900032600-t02": 262, + "for-size165-rate62958170900032600-t03": 262, + "for-size165-rate62958170900032600-t04": 262, + "for-size165-rate62958170900032600-t05": 262, + "for-size165-rate62958170900032600-t06": 262, + "for-size165-rate62958170900032600-t07": 262, + "for-size165-rate62958170900032600-t08": 262, + "for-size165-rate62958170900032600-t09": 262, + "for-size165-rate62958170900032600-t10": 262, + "for-size165-rate6960-t00": 273, + "for-size165-rate6960-t01": 270, + "for-size165-rate6960-t02": 776, + "for-size165-rate6960-t03": 783, + "for-size165-rate6960-t04": 779, + "for-size165-rate6960-t05": 779, + "for-size165-rate6960-t06": 283, + "for-size165-rate6960-t07": 284, + "for-size165-rate6960-t08": 281, + "for-size165-rate6960-t09": 274, + "for-size165-rate6960-t10": 274, + "for-size18446744073709551615-rate0-t00": 261, + "for-size18446744073709551615-rate0-t01": 261, + "for-size18446744073709551615-rate0-t02": 261, + "for-size18446744073709551615-rate0-t03": 261, + "for-size18446744073709551615-rate0-t04": 261, + "for-size18446744073709551615-rate0-t05": 261, + "for-size18446744073709551615-rate0-t06": 261, + "for-size18446744073709551615-rate0-t07": 261, + "for-size18446744073709551615-rate0-t08": 261, + "for-size18446744073709551615-rate0-t09": 261, + "for-size18446744073709551615-rate0-t10": 261, + "for-size18446744073709551615-rate18446744073709551615-t00": 260, + "for-size18446744073709551615-rate18446744073709551615-t01": 260, + "for-size18446744073709551615-rate18446744073709551615-t02": 260, + "for-size18446744073709551615-rate18446744073709551615-t03": 260, + "for-size18446744073709551615-rate18446744073709551615-t04": 260, + "for-size18446744073709551615-rate18446744073709551615-t05": 260, + "for-size18446744073709551615-rate18446744073709551615-t06": 260, + "for-size18446744073709551615-rate18446744073709551615-t07": 260, + "for-size18446744073709551615-rate18446744073709551615-t08": 260, + "for-size18446744073709551615-rate18446744073709551615-t09": 260, + "for-size18446744073709551615-rate18446744073709551615-t10": 260, + "for-size18446744073709551615-rate3480-t00": 261, + "for-size18446744073709551615-rate3480-t01": 261, + "for-size18446744073709551615-rate3480-t02": 261, + "for-size18446744073709551615-rate3480-t03": 261, + "for-size18446744073709551615-rate3480-t04": 261, + "for-size18446744073709551615-rate3480-t05": 261, + "for-size18446744073709551615-rate3480-t06": 261, + "for-size18446744073709551615-rate3480-t07": 261, + "for-size18446744073709551615-rate3480-t08": 261, + "for-size18446744073709551615-rate3480-t09": 261, + "for-size18446744073709551615-rate3480-t10": 261, + "for-size18446744073709551615-rate6960-t00": 261, + "for-size18446744073709551615-rate6960-t01": 261, + "for-size18446744073709551615-rate6960-t02": 261, + "for-size18446744073709551615-rate6960-t03": 261, + "for-size18446744073709551615-rate6960-t04": 261, + "for-size18446744073709551615-rate6960-t05": 261, + "for-size18446744073709551615-rate6960-t06": 261, + "for-size18446744073709551615-rate6960-t07": 261, + "for-size18446744073709551615-rate6960-t08": 261, + "for-size18446744073709551615-rate6960-t09": 261, + "for-size18446744073709551615-rate6960-t10": 261, + "for-size82-rate0-t00": 273, + "for-size82-rate0-t01": 270, + "for-size82-rate0-t02": 282, + "for-size82-rate0-t03": 282, + "for-size82-rate0-t04": 282, + "for-size82-rate0-t05": 282, + "for-size82-rate0-t06": 282, + "for-size82-rate0-t07": 283, + "for-size82-rate0-t08": 281, + "for-size82-rate0-t09": 274, + "for-size82-rate0-t10": 274, + "for-size82-rate18446744073709551615-t00": 262, + "for-size82-rate18446744073709551615-t01": 262, + "for-size82-rate18446744073709551615-t02": 262, + "for-size82-rate18446744073709551615-t03": 262, + "for-size82-rate18446744073709551615-t04": 262, + "for-size82-rate18446744073709551615-t05": 262, + "for-size82-rate18446744073709551615-t06": 262, + "for-size82-rate18446744073709551615-t07": 262, + "for-size82-rate18446744073709551615-t08": 262, + "for-size82-rate18446744073709551615-t09": 262, + "for-size82-rate18446744073709551615-t10": 262, + "for-size82-rate3480-t00": 273, + "for-size82-rate3480-t01": 270, + "for-size82-rate3480-t02": 767, + "for-size82-rate3480-t03": 775, + "for-size82-rate3480-t04": 751, + "for-size82-rate3480-t05": 767, + "for-size82-rate3480-t06": 283, + "for-size82-rate3480-t07": 284, + "for-size82-rate3480-t08": 281, + "for-size82-rate3480-t09": 274, + "for-size82-rate3480-t10": 274, + "for-size82-rate42891425022576-t00": 273, + "for-size82-rate42891425022576-t01": 270, + "for-size82-rate42891425022576-t02": 1034, + "for-size82-rate42891425022576-t03": 1041, + "for-size82-rate42891425022576-t04": 1041, + "for-size82-rate42891425022576-t05": 1035, + "for-size82-rate42891425022576-t06": 283, + "for-size82-rate42891425022576-t07": 284, + "for-size82-rate42891425022576-t08": 281, + "for-size82-rate42891425022576-t09": 274, + "for-size82-rate42891425022576-t10": 274, + "for-size82-rate42891425022577-t00": 1043, + "for-size82-rate42891425022577-t01": 1043, + "for-size82-rate42891425022577-t02": 1043, + "for-size82-rate42891425022577-t03": 1051, + "for-size82-rate42891425022577-t04": 1043, + "for-size82-rate42891425022577-t05": 1043, + "for-size82-rate42891425022577-t06": 279, + "for-size82-rate42891425022577-t07": 280, + "for-size82-rate42891425022577-t08": 277, + "for-size82-rate42891425022577-t09": 270, + "for-size82-rate42891425022577-t10": 270, + "for-size82-rate6960-t00": 273, + "for-size82-rate6960-t01": 270, + "for-size82-rate6960-t02": 779, + "for-size82-rate6960-t03": 783, + "for-size82-rate6960-t04": 763, + "for-size82-rate6960-t05": 779, + "for-size82-rate6960-t06": 283, + "for-size82-rate6960-t07": 284, + "for-size82-rate6960-t08": 281, + "for-size82-rate6960-t09": 274, + "for-size82-rate6960-t10": 274, + "for-size82-rate87841638446235960-t00": 842, + "for-size82-rate87841638446235960-t01": 842, + "for-size82-rate87841638446235960-t02": 1054, + "for-size82-rate87841638446235960-t03": 1098, + "for-size82-rate87841638446235960-t04": 842, + "for-size82-rate87841638446235960-t05": 842, + "for-size82-rate87841638446235960-t06": 279, + "for-size82-rate87841638446235960-t07": 280, + "for-size82-rate87841638446235960-t08": 277, + "for-size82-rate87841638446235960-t09": 270, + "for-size82-rate87841638446235960-t10": 270, + "for-size82-rate87841638446235961-t00": 262, + "for-size82-rate87841638446235961-t01": 262, + "for-size82-rate87841638446235961-t02": 262, + "for-size82-rate87841638446235961-t03": 262, + "for-size82-rate87841638446235961-t04": 262, + "for-size82-rate87841638446235961-t05": 262, + "for-size82-rate87841638446235961-t06": 262, + "for-size82-rate87841638446235961-t07": 262, + "for-size82-rate87841638446235961-t08": 262, + "for-size82-rate87841638446235961-t09": 262, + "for-size82-rate87841638446235961-t10": 262, + "sysvar-size0": 396, + "sysvar-size10485760": 396, + "sysvar-size10485761": 387, + "sysvar-size165": 396 + }, + "before_main_939b215": { + "for-size0-rate0-t00": 276, + "for-size0-rate0-t01": 276, + "for-size0-rate0-t02": 276, + "for-size0-rate0-t03": 276, + "for-size0-rate0-t04": 276, + "for-size0-rate0-t05": 276, + "for-size0-rate0-t06": 276, + "for-size0-rate0-t07": 277, + "for-size0-rate0-t08": 274, + "for-size0-rate0-t09": 267, + "for-size0-rate0-t10": 267, + "for-size0-rate144115188075855871-t00": 838, + "for-size0-rate144115188075855871-t01": 838, + "for-size0-rate144115188075855871-t02": 1050, + "for-size0-rate144115188075855871-t03": 1094, + "for-size0-rate144115188075855871-t04": 838, + "for-size0-rate144115188075855871-t05": 838, + "for-size0-rate144115188075855871-t06": 277, + "for-size0-rate144115188075855871-t07": 278, + "for-size0-rate144115188075855871-t08": 274, + "for-size0-rate144115188075855871-t09": 267, + "for-size0-rate144115188075855871-t10": 267, + "for-size0-rate144115188075855872-t00": 262, + "for-size0-rate144115188075855872-t01": 262, + "for-size0-rate144115188075855872-t02": 262, + "for-size0-rate144115188075855872-t03": 262, + "for-size0-rate144115188075855872-t04": 262, + "for-size0-rate144115188075855872-t05": 262, + "for-size0-rate144115188075855872-t06": 262, + "for-size0-rate144115188075855872-t07": 262, + "for-size0-rate144115188075855872-t08": 262, + "for-size0-rate144115188075855872-t09": 262, + "for-size0-rate144115188075855872-t10": 262, + "for-size0-rate18446744073709551615-t00": 262, + "for-size0-rate18446744073709551615-t01": 262, + "for-size0-rate18446744073709551615-t02": 262, + "for-size0-rate18446744073709551615-t03": 262, + "for-size0-rate18446744073709551615-t04": 262, + "for-size0-rate18446744073709551615-t05": 262, + "for-size0-rate18446744073709551615-t06": 262, + "for-size0-rate18446744073709551615-t07": 262, + "for-size0-rate18446744073709551615-t08": 262, + "for-size0-rate18446744073709551615-t09": 262, + "for-size0-rate18446744073709551615-t10": 262, + "for-size0-rate3480-t00": 755, + "for-size0-rate3480-t01": 755, + "for-size0-rate3480-t02": 752, + "for-size0-rate3480-t03": 755, + "for-size0-rate3480-t04": 759, + "for-size0-rate3480-t05": 755, + "for-size0-rate3480-t06": 277, + "for-size0-rate3480-t07": 278, + "for-size0-rate3480-t08": 274, + "for-size0-rate3480-t09": 267, + "for-size0-rate3480-t10": 267, + "for-size0-rate6960-t00": 763, + "for-size0-rate6960-t01": 763, + "for-size0-rate6960-t02": 760, + "for-size0-rate6960-t03": 767, + "for-size0-rate6960-t04": 767, + "for-size0-rate6960-t05": 763, + "for-size0-rate6960-t06": 277, + "for-size0-rate6960-t07": 278, + "for-size0-rate6960-t08": 274, + "for-size0-rate6960-t09": 267, + "for-size0-rate6960-t10": 267, + "for-size0-rate70368744177663-t00": 1029, + "for-size0-rate70368744177663-t01": 1029, + "for-size0-rate70368744177663-t02": 1026, + "for-size0-rate70368744177663-t03": 1033, + "for-size0-rate70368744177663-t04": 1033, + "for-size0-rate70368744177663-t05": 1027, + "for-size0-rate70368744177663-t06": 277, + "for-size0-rate70368744177663-t07": 278, + "for-size0-rate70368744177663-t08": 274, + "for-size0-rate70368744177663-t09": 267, + "for-size0-rate70368744177663-t10": 267, + "for-size0-rate70368744177664-t00": 803, + "for-size0-rate70368744177664-t01": 803, + "for-size0-rate70368744177664-t02": 1015, + "for-size0-rate70368744177664-t03": 1059, + "for-size0-rate70368744177664-t04": 803, + "for-size0-rate70368744177664-t05": 803, + "for-size0-rate70368744177664-t06": 277, + "for-size0-rate70368744177664-t07": 278, + "for-size0-rate70368744177664-t08": 274, + "for-size0-rate70368744177664-t09": 267, + "for-size0-rate70368744177664-t10": 267, + "for-size10240-rate0-t00": 276, + "for-size10240-rate0-t01": 276, + "for-size10240-rate0-t02": 276, + "for-size10240-rate0-t03": 276, + "for-size10240-rate0-t04": 276, + "for-size10240-rate0-t05": 276, + "for-size10240-rate0-t06": 276, + "for-size10240-rate0-t07": 277, + "for-size10240-rate0-t08": 274, + "for-size10240-rate0-t09": 267, + "for-size10240-rate0-t10": 267, + "for-size10240-rate1779199852788344-t00": 841, + "for-size10240-rate1779199852788344-t01": 841, + "for-size10240-rate1779199852788344-t02": 1053, + "for-size10240-rate1779199852788344-t03": 1097, + "for-size10240-rate1779199852788344-t04": 841, + "for-size10240-rate1779199852788344-t05": 841, + "for-size10240-rate1779199852788344-t06": 277, + "for-size10240-rate1779199852788344-t07": 278, + "for-size10240-rate1779199852788344-t08": 274, + "for-size10240-rate1779199852788344-t09": 267, + "for-size10240-rate1779199852788344-t10": 267, + "for-size10240-rate1779199852788345-t00": 262, + "for-size10240-rate1779199852788345-t01": 262, + "for-size10240-rate1779199852788345-t02": 262, + "for-size10240-rate1779199852788345-t03": 262, + "for-size10240-rate1779199852788345-t04": 262, + "for-size10240-rate1779199852788345-t05": 262, + "for-size10240-rate1779199852788345-t06": 262, + "for-size10240-rate1779199852788345-t07": 262, + "for-size10240-rate1779199852788345-t08": 262, + "for-size10240-rate1779199852788345-t09": 262, + "for-size10240-rate1779199852788345-t10": 262, + "for-size10240-rate18446744073709551615-t00": 262, + "for-size10240-rate18446744073709551615-t01": 262, + "for-size10240-rate18446744073709551615-t02": 262, + "for-size10240-rate18446744073709551615-t03": 262, + "for-size10240-rate18446744073709551615-t04": 262, + "for-size10240-rate18446744073709551615-t05": 262, + "for-size10240-rate18446744073709551615-t06": 262, + "for-size10240-rate18446744073709551615-t07": 262, + "for-size10240-rate18446744073709551615-t08": 262, + "for-size10240-rate18446744073709551615-t09": 262, + "for-size10240-rate18446744073709551615-t10": 262, + "for-size10240-rate3480-t00": 811, + "for-size10240-rate3480-t01": 811, + "for-size10240-rate3480-t02": 811, + "for-size10240-rate3480-t03": 811, + "for-size10240-rate3480-t04": 811, + "for-size10240-rate3480-t05": 811, + "for-size10240-rate3480-t06": 277, + "for-size10240-rate3480-t07": 278, + "for-size10240-rate3480-t08": 274, + "for-size10240-rate3480-t09": 267, + "for-size10240-rate3480-t10": 267, + "for-size10240-rate6960-t00": 819, + "for-size10240-rate6960-t01": 819, + "for-size10240-rate6960-t02": 819, + "for-size10240-rate6960-t03": 823, + "for-size10240-rate6960-t04": 819, + "for-size10240-rate6960-t05": 819, + "for-size10240-rate6960-t06": 277, + "for-size10240-rate6960-t07": 278, + "for-size10240-rate6960-t08": 274, + "for-size10240-rate6960-t09": 267, + "for-size10240-rate6960-t10": 267, + "for-size10240-rate868749928119-t00": 1021, + "for-size10240-rate868749928119-t01": 1021, + "for-size10240-rate868749928119-t02": 1018, + "for-size10240-rate868749928119-t03": 1029, + "for-size10240-rate868749928119-t04": 1013, + "for-size10240-rate868749928119-t05": 1019, + "for-size10240-rate868749928119-t06": 277, + "for-size10240-rate868749928119-t07": 278, + "for-size10240-rate868749928119-t08": 274, + "for-size10240-rate868749928119-t09": 267, + "for-size10240-rate868749928119-t10": 267, + "for-size10240-rate868749928120-t00": 1059, + "for-size10240-rate868749928120-t01": 1059, + "for-size10240-rate868749928120-t02": 1059, + "for-size10240-rate868749928120-t03": 1063, + "for-size10240-rate868749928120-t04": 1047, + "for-size10240-rate868749928120-t05": 1059, + "for-size10240-rate868749928120-t06": 277, + "for-size10240-rate868749928120-t07": 278, + "for-size10240-rate868749928120-t08": 274, + "for-size10240-rate868749928120-t09": 267, + "for-size10240-rate868749928120-t10": 267, + "for-size10485760-rate0-t00": 276, + "for-size10485760-rate0-t01": 276, + "for-size10485760-rate0-t02": 276, + "for-size10485760-rate0-t03": 276, + "for-size10485760-rate0-t04": 276, + "for-size10485760-rate0-t05": 276, + "for-size10485760-rate0-t06": 276, + "for-size10485760-rate0-t07": 277, + "for-size10485760-rate0-t08": 274, + "for-size10485760-rate0-t09": 267, + "for-size10485760-rate0-t10": 267, + "for-size10485760-rate1759197129867-t00": 1096, + "for-size10485760-rate1759197129867-t01": 1096, + "for-size10485760-rate1759197129867-t02": 1093, + "for-size10485760-rate1759197129867-t03": 1096, + "for-size10485760-rate1759197129867-t04": 1097, + "for-size10485760-rate1759197129867-t05": 1096, + "for-size10485760-rate1759197129867-t06": 277, + "for-size10485760-rate1759197129867-t07": 278, + "for-size10485760-rate1759197129867-t08": 274, + "for-size10485760-rate1759197129867-t09": 267, + "for-size10485760-rate1759197129867-t10": 267, + "for-size10485760-rate1759197129868-t00": 262, + "for-size10485760-rate1759197129868-t01": 262, + "for-size10485760-rate1759197129868-t02": 262, + "for-size10485760-rate1759197129868-t03": 262, + "for-size10485760-rate1759197129868-t04": 262, + "for-size10485760-rate1759197129868-t05": 262, + "for-size10485760-rate1759197129868-t06": 262, + "for-size10485760-rate1759197129868-t07": 262, + "for-size10485760-rate1759197129868-t08": 262, + "for-size10485760-rate1759197129868-t09": 262, + "for-size10485760-rate1759197129868-t10": 262, + "for-size10485760-rate18446744073709551615-t00": 262, + "for-size10485760-rate18446744073709551615-t01": 262, + "for-size10485760-rate18446744073709551615-t02": 262, + "for-size10485760-rate18446744073709551615-t03": 262, + "for-size10485760-rate18446744073709551615-t04": 262, + "for-size10485760-rate18446744073709551615-t05": 262, + "for-size10485760-rate18446744073709551615-t06": 262, + "for-size10485760-rate18446744073709551615-t07": 262, + "for-size10485760-rate18446744073709551615-t08": 262, + "for-size10485760-rate18446744073709551615-t09": 262, + "for-size10485760-rate18446744073709551615-t10": 262, + "for-size10485760-rate3480-t00": 891, + "for-size10485760-rate3480-t01": 891, + "for-size10485760-rate3480-t02": 891, + "for-size10485760-rate3480-t03": 891, + "for-size10485760-rate3480-t04": 891, + "for-size10485760-rate3480-t05": 891, + "for-size10485760-rate3480-t06": 277, + "for-size10485760-rate3480-t07": 278, + "for-size10485760-rate3480-t08": 274, + "for-size10485760-rate3480-t09": 267, + "for-size10485760-rate3480-t10": 267, + "for-size10485760-rate6960-t00": 899, + "for-size10485760-rate6960-t01": 899, + "for-size10485760-rate6960-t02": 899, + "for-size10485760-rate6960-t03": 903, + "for-size10485760-rate6960-t04": 899, + "for-size10485760-rate6960-t05": 899, + "for-size10485760-rate6960-t06": 277, + "for-size10485760-rate6960-t07": 278, + "for-size10485760-rate6960-t08": 274, + "for-size10485760-rate6960-t09": 267, + "for-size10485760-rate6960-t10": 267, + "for-size10485760-rate858982973-t00": 1029, + "for-size10485760-rate858982973-t01": 1029, + "for-size10485760-rate858982973-t02": 1026, + "for-size10485760-rate858982973-t03": 1033, + "for-size10485760-rate858982973-t04": 1029, + "for-size10485760-rate858982973-t05": 1027, + "for-size10485760-rate858982973-t06": 277, + "for-size10485760-rate858982973-t07": 278, + "for-size10485760-rate858982973-t08": 274, + "for-size10485760-rate858982973-t09": 267, + "for-size10485760-rate858982973-t10": 267, + "for-size10485760-rate858982974-t00": 1059, + "for-size10485760-rate858982974-t01": 1059, + "for-size10485760-rate858982974-t02": 1059, + "for-size10485760-rate858982974-t03": 1063, + "for-size10485760-rate858982974-t04": 1051, + "for-size10485760-rate858982974-t05": 1059, + "for-size10485760-rate858982974-t06": 277, + "for-size10485760-rate858982974-t07": 278, + "for-size10485760-rate858982974-t08": 274, + "for-size10485760-rate858982974-t09": 267, + "for-size10485760-rate858982974-t10": 267, + "for-size10485761-rate0-t00": 261, + "for-size10485761-rate0-t01": 261, + "for-size10485761-rate0-t02": 261, + "for-size10485761-rate0-t03": 261, + "for-size10485761-rate0-t04": 261, + "for-size10485761-rate0-t05": 261, + "for-size10485761-rate0-t06": 261, + "for-size10485761-rate0-t07": 261, + "for-size10485761-rate0-t08": 261, + "for-size10485761-rate0-t09": 261, + "for-size10485761-rate0-t10": 261, + "for-size10485761-rate18446744073709551615-t00": 260, + "for-size10485761-rate18446744073709551615-t01": 260, + "for-size10485761-rate18446744073709551615-t02": 260, + "for-size10485761-rate18446744073709551615-t03": 260, + "for-size10485761-rate18446744073709551615-t04": 260, + "for-size10485761-rate18446744073709551615-t05": 260, + "for-size10485761-rate18446744073709551615-t06": 260, + "for-size10485761-rate18446744073709551615-t07": 260, + "for-size10485761-rate18446744073709551615-t08": 260, + "for-size10485761-rate18446744073709551615-t09": 260, + "for-size10485761-rate18446744073709551615-t10": 260, + "for-size10485761-rate3480-t00": 261, + "for-size10485761-rate3480-t01": 261, + "for-size10485761-rate3480-t02": 261, + "for-size10485761-rate3480-t03": 261, + "for-size10485761-rate3480-t04": 261, + "for-size10485761-rate3480-t05": 261, + "for-size10485761-rate3480-t06": 261, + "for-size10485761-rate3480-t07": 261, + "for-size10485761-rate3480-t08": 261, + "for-size10485761-rate3480-t09": 261, + "for-size10485761-rate3480-t10": 261, + "for-size10485761-rate6960-t00": 261, + "for-size10485761-rate6960-t01": 261, + "for-size10485761-rate6960-t02": 261, + "for-size10485761-rate6960-t03": 261, + "for-size10485761-rate6960-t04": 261, + "for-size10485761-rate6960-t05": 261, + "for-size10485761-rate6960-t06": 261, + "for-size10485761-rate6960-t07": 261, + "for-size10485761-rate6960-t08": 261, + "for-size10485761-rate6960-t09": 261, + "for-size10485761-rate6960-t10": 261, + "for-size165-rate0-t00": 276, + "for-size165-rate0-t01": 276, + "for-size165-rate0-t02": 276, + "for-size165-rate0-t03": 276, + "for-size165-rate0-t04": 276, + "for-size165-rate0-t05": 276, + "for-size165-rate0-t06": 276, + "for-size165-rate0-t07": 277, + "for-size165-rate0-t08": 274, + "for-size165-rate0-t09": 267, + "for-size165-rate0-t10": 267, + "for-size165-rate18446744073709551615-t00": 262, + "for-size165-rate18446744073709551615-t01": 262, + "for-size165-rate18446744073709551615-t02": 262, + "for-size165-rate18446744073709551615-t03": 262, + "for-size165-rate18446744073709551615-t04": 262, + "for-size165-rate18446744073709551615-t05": 262, + "for-size165-rate18446744073709551615-t06": 262, + "for-size165-rate18446744073709551615-t07": 262, + "for-size165-rate18446744073709551615-t08": 262, + "for-size165-rate18446744073709551615-t09": 262, + "for-size165-rate18446744073709551615-t10": 262, + "for-size165-rate30741294384781-t00": 1029, + "for-size165-rate30741294384781-t01": 1029, + "for-size165-rate30741294384781-t02": 1026, + "for-size165-rate30741294384781-t03": 1033, + "for-size165-rate30741294384781-t04": 1030, + "for-size165-rate30741294384781-t05": 1027, + "for-size165-rate30741294384781-t06": 277, + "for-size165-rate30741294384781-t07": 278, + "for-size165-rate30741294384781-t08": 274, + "for-size165-rate30741294384781-t09": 267, + "for-size165-rate30741294384781-t10": 267, + "for-size165-rate30741294384782-t00": 1039, + "for-size165-rate30741294384782-t01": 1039, + "for-size165-rate30741294384782-t02": 1039, + "for-size165-rate30741294384782-t03": 1047, + "for-size165-rate30741294384782-t04": 1036, + "for-size165-rate30741294384782-t05": 1039, + "for-size165-rate30741294384782-t06": 277, + "for-size165-rate30741294384782-t07": 278, + "for-size165-rate30741294384782-t08": 274, + "for-size165-rate30741294384782-t09": 267, + "for-size165-rate30741294384782-t10": 267, + "for-size165-rate3480-t00": 763, + "for-size165-rate3480-t01": 763, + "for-size165-rate3480-t02": 760, + "for-size165-rate3480-t03": 767, + "for-size165-rate3480-t04": 759, + "for-size165-rate3480-t05": 763, + "for-size165-rate3480-t06": 277, + "for-size165-rate3480-t07": 278, + "for-size165-rate3480-t08": 274, + "for-size165-rate3480-t09": 267, + "for-size165-rate3480-t10": 267, + "for-size165-rate62958170900032599-t00": 838, + "for-size165-rate62958170900032599-t01": 838, + "for-size165-rate62958170900032599-t02": 1050, + "for-size165-rate62958170900032599-t03": 1094, + "for-size165-rate62958170900032599-t04": 838, + "for-size165-rate62958170900032599-t05": 838, + "for-size165-rate62958170900032599-t06": 277, + "for-size165-rate62958170900032599-t07": 278, + "for-size165-rate62958170900032599-t08": 274, + "for-size165-rate62958170900032599-t09": 267, + "for-size165-rate62958170900032599-t10": 267, + "for-size165-rate62958170900032600-t00": 262, + "for-size165-rate62958170900032600-t01": 262, + "for-size165-rate62958170900032600-t02": 262, + "for-size165-rate62958170900032600-t03": 262, + "for-size165-rate62958170900032600-t04": 262, + "for-size165-rate62958170900032600-t05": 262, + "for-size165-rate62958170900032600-t06": 262, + "for-size165-rate62958170900032600-t07": 262, + "for-size165-rate62958170900032600-t08": 262, + "for-size165-rate62958170900032600-t09": 262, + "for-size165-rate62958170900032600-t10": 262, + "for-size165-rate6960-t00": 771, + "for-size165-rate6960-t01": 771, + "for-size165-rate6960-t02": 768, + "for-size165-rate6960-t03": 775, + "for-size165-rate6960-t04": 771, + "for-size165-rate6960-t05": 771, + "for-size165-rate6960-t06": 277, + "for-size165-rate6960-t07": 278, + "for-size165-rate6960-t08": 274, + "for-size165-rate6960-t09": 267, + "for-size165-rate6960-t10": 267, + "for-size18446744073709551615-rate0-t00": 261, + "for-size18446744073709551615-rate0-t01": 261, + "for-size18446744073709551615-rate0-t02": 261, + "for-size18446744073709551615-rate0-t03": 261, + "for-size18446744073709551615-rate0-t04": 261, + "for-size18446744073709551615-rate0-t05": 261, + "for-size18446744073709551615-rate0-t06": 261, + "for-size18446744073709551615-rate0-t07": 261, + "for-size18446744073709551615-rate0-t08": 261, + "for-size18446744073709551615-rate0-t09": 261, + "for-size18446744073709551615-rate0-t10": 261, + "for-size18446744073709551615-rate18446744073709551615-t00": 260, + "for-size18446744073709551615-rate18446744073709551615-t01": 260, + "for-size18446744073709551615-rate18446744073709551615-t02": 260, + "for-size18446744073709551615-rate18446744073709551615-t03": 260, + "for-size18446744073709551615-rate18446744073709551615-t04": 260, + "for-size18446744073709551615-rate18446744073709551615-t05": 260, + "for-size18446744073709551615-rate18446744073709551615-t06": 260, + "for-size18446744073709551615-rate18446744073709551615-t07": 260, + "for-size18446744073709551615-rate18446744073709551615-t08": 260, + "for-size18446744073709551615-rate18446744073709551615-t09": 260, + "for-size18446744073709551615-rate18446744073709551615-t10": 260, + "for-size18446744073709551615-rate3480-t00": 261, + "for-size18446744073709551615-rate3480-t01": 261, + "for-size18446744073709551615-rate3480-t02": 261, + "for-size18446744073709551615-rate3480-t03": 261, + "for-size18446744073709551615-rate3480-t04": 261, + "for-size18446744073709551615-rate3480-t05": 261, + "for-size18446744073709551615-rate3480-t06": 261, + "for-size18446744073709551615-rate3480-t07": 261, + "for-size18446744073709551615-rate3480-t08": 261, + "for-size18446744073709551615-rate3480-t09": 261, + "for-size18446744073709551615-rate3480-t10": 261, + "for-size18446744073709551615-rate6960-t00": 261, + "for-size18446744073709551615-rate6960-t01": 261, + "for-size18446744073709551615-rate6960-t02": 261, + "for-size18446744073709551615-rate6960-t03": 261, + "for-size18446744073709551615-rate6960-t04": 261, + "for-size18446744073709551615-rate6960-t05": 261, + "for-size18446744073709551615-rate6960-t06": 261, + "for-size18446744073709551615-rate6960-t07": 261, + "for-size18446744073709551615-rate6960-t08": 261, + "for-size18446744073709551615-rate6960-t09": 261, + "for-size18446744073709551615-rate6960-t10": 261, + "for-size82-rate0-t00": 276, + "for-size82-rate0-t01": 276, + "for-size82-rate0-t02": 276, + "for-size82-rate0-t03": 276, + "for-size82-rate0-t04": 276, + "for-size82-rate0-t05": 276, + "for-size82-rate0-t06": 276, + "for-size82-rate0-t07": 277, + "for-size82-rate0-t08": 274, + "for-size82-rate0-t09": 267, + "for-size82-rate0-t10": 267, + "for-size82-rate18446744073709551615-t00": 262, + "for-size82-rate18446744073709551615-t01": 262, + "for-size82-rate18446744073709551615-t02": 262, + "for-size82-rate18446744073709551615-t03": 262, + "for-size82-rate18446744073709551615-t04": 262, + "for-size82-rate18446744073709551615-t05": 262, + "for-size82-rate18446744073709551615-t06": 262, + "for-size82-rate18446744073709551615-t07": 262, + "for-size82-rate18446744073709551615-t08": 262, + "for-size82-rate18446744073709551615-t09": 262, + "for-size82-rate18446744073709551615-t10": 262, + "for-size82-rate3480-t00": 759, + "for-size82-rate3480-t01": 759, + "for-size82-rate3480-t02": 759, + "for-size82-rate3480-t03": 767, + "for-size82-rate3480-t04": 743, + "for-size82-rate3480-t05": 759, + "for-size82-rate3480-t06": 277, + "for-size82-rate3480-t07": 278, + "for-size82-rate3480-t08": 274, + "for-size82-rate3480-t09": 267, + "for-size82-rate3480-t10": 267, + "for-size82-rate42891425022576-t00": 1029, + "for-size82-rate42891425022576-t01": 1029, + "for-size82-rate42891425022576-t02": 1026, + "for-size82-rate42891425022576-t03": 1033, + "for-size82-rate42891425022576-t04": 1033, + "for-size82-rate42891425022576-t05": 1027, + "for-size82-rate42891425022576-t06": 277, + "for-size82-rate42891425022576-t07": 278, + "for-size82-rate42891425022576-t08": 274, + "for-size82-rate42891425022576-t09": 267, + "for-size82-rate42891425022576-t10": 267, + "for-size82-rate42891425022577-t00": 1039, + "for-size82-rate42891425022577-t01": 1039, + "for-size82-rate42891425022577-t02": 1039, + "for-size82-rate42891425022577-t03": 1047, + "for-size82-rate42891425022577-t04": 1039, + "for-size82-rate42891425022577-t05": 1039, + "for-size82-rate42891425022577-t06": 277, + "for-size82-rate42891425022577-t07": 278, + "for-size82-rate42891425022577-t08": 274, + "for-size82-rate42891425022577-t09": 267, + "for-size82-rate42891425022577-t10": 267, + "for-size82-rate6960-t00": 771, + "for-size82-rate6960-t01": 771, + "for-size82-rate6960-t02": 771, + "for-size82-rate6960-t03": 775, + "for-size82-rate6960-t04": 755, + "for-size82-rate6960-t05": 771, + "for-size82-rate6960-t06": 277, + "for-size82-rate6960-t07": 278, + "for-size82-rate6960-t08": 274, + "for-size82-rate6960-t09": 267, + "for-size82-rate6960-t10": 267, + "for-size82-rate87841638446235960-t00": 838, + "for-size82-rate87841638446235960-t01": 838, + "for-size82-rate87841638446235960-t02": 1050, + "for-size82-rate87841638446235960-t03": 1094, + "for-size82-rate87841638446235960-t04": 838, + "for-size82-rate87841638446235960-t05": 838, + "for-size82-rate87841638446235960-t06": 277, + "for-size82-rate87841638446235960-t07": 278, + "for-size82-rate87841638446235960-t08": 274, + "for-size82-rate87841638446235960-t09": 267, + "for-size82-rate87841638446235960-t10": 267, + "for-size82-rate87841638446235961-t00": 262, + "for-size82-rate87841638446235961-t01": 262, + "for-size82-rate87841638446235961-t02": 262, + "for-size82-rate87841638446235961-t03": 262, + "for-size82-rate87841638446235961-t04": 262, + "for-size82-rate87841638446235961-t05": 262, + "for-size82-rate87841638446235961-t06": 262, + "for-size82-rate87841638446235961-t07": 262, + "for-size82-rate87841638446235961-t08": 262, + "for-size82-rate87841638446235961-t09": 262, + "for-size82-rate87841638446235961-t10": 262, + "sysvar-size0": 889, + "sysvar-size10485760": 1025, + "sysvar-size10485761": 387, + "sysvar-size165": 897 + }, + "profile": "solana-v3" +} diff --git a/scripts/verify_rebuild.py b/scripts/verify_rebuild.py index 60d4e268..c524c9fc 100644 --- a/scripts/verify_rebuild.py +++ b/scripts/verify_rebuild.py @@ -22,9 +22,9 @@ def main(): ap.add_argument('--output', type=pathlib.Path, required=True) ap.add_argument('--cli', type=pathlib.Path, default=ROOT / 'build/gosvm') ap.add_argument('--reference', type=pathlib.Path, - default=ROOT / 'results/compiler/2026-10-19-hyperlane-integration/rebuild/metrics.json', + default=ROOT / 'results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json', help='earlier metrics.json whose ELF hashes are compared (informational); the default is ' - 'the current reference (the October 19 combined CPI and memory changes changed the full swap and clock2)') + 'the current reference (the rent fast path changed the full swap)') a = ap.parse_args(); a.output = a.output.resolve(); a.cli = a.cli.resolve() if a.output.exists(): sys.exit(f'{a.output} exists; use a new results directory') diff --git a/sdk/system/rent.go b/sdk/system/rent.go index 3f9b014c..fd4a45da 100644 --- a/sdk/system/rent.go +++ b/sdk/system/rent.go @@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) { return x1*y1 + w2 + w1>>32, x * y } +// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0 +// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it). +const ( + thresholdTwo uint64 = 0x4000000000000000 + thresholdOne uint64 = 0x3ff0000000000000 +) + // MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's // uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast. // Integer bit operations reproduce the two round-to-nearest-even stages without // floating-point runtime helpers on SBF. Unlike Rust's release-mode integer // wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and // negative/nonfinite thresholds are also rejected; signed zero is accepted. +// +// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the +// conversion and the product are exact, so the result is 2n or n and the +// rounding emulation is skipped. func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) { + if size > MaxDataLen || rate > ^uint64(0)/(128+size) { + return 0, ErrRent + } + if n := (128 + size) * rate; n < 1<<53 { + if thresholdBits == thresholdTwo { + return 2 * n, 0 + } + if thresholdBits == thresholdOne { + return n, 0 + } + } + return minimumBalanceExact(rate, thresholdBits, size) +} + +// minimumBalanceExact is MinimumBalanceFor without the fast path. +func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) { if size > MaxDataLen || rate > ^uint64(0)/(128+size) { return 0, ErrRent } diff --git a/sdk/system/rent_test.go b/sdk/system/rent_test.go index aff738a5..ee3a8f33 100644 --- a/sdk/system/rent_test.go +++ b/sdk/system/rent_test.go @@ -71,3 +71,55 @@ func TestRentCurrentSysvar(t *testing.T) { t.Fatal(n, code) } } + +// The 2.0 and 1.0 fast path must return exactly what the rounding emulation +// returns, errors included, at every boundary: n = (128+size)*rate on either +// side of 2^53 and of uint64 overflow, every size limit, and both thresholds' +// neighbours, which must take the exact path. +func TestRentFastPathMatchesExact(t *testing.T) { + check := func(rate, bits, size uint64) { + t.Helper() + amount, code := MinimumBalanceFor(rate, bits, size) + want, status := minimumBalanceExact(rate, bits, size) + if amount != want || code != status { + t.Fatalf("rate=%d threshold=%016x size=%d: (%d,%d), exact (%d,%d)", rate, bits, size, amount, code, want, status) + } + } + thresholds := []uint64{thresholdTwo, thresholdOne, thresholdTwo - 1, thresholdTwo + 1, thresholdOne - 1, thresholdOne + 1, + thresholdTwo | 1<<63, thresholdOne | 1<<63, 0, 1 << 63, math.Float64bits(2.5), math.Float64bits(0.5), math.Float64bits(math.NaN())} + sizes := []uint64{0, 1, 82, 165, 10240, MaxDataLen - 1, MaxDataLen, MaxDataLen + 1, math.MaxUint64 - 128, math.MaxUint64} + fast := 0 + for _, size := range sizes { + rates := []uint64{0, 1, 3480, 6960, math.MaxUint64} + if size <= MaxDataLen { + exact := (uint64(1)<<53 - 1) / (128 + size) // largest rate with n < 2^53 + wrap := math.MaxUint64 / (128 + size) // largest rate without overflow + for _, r := range []uint64{exact, wrap} { + for d := uint64(0); d < 3; d++ { + rates = append(rates, r-d, r+d+1) + } + } + } + for _, rate := range rates { + for _, bits := range thresholds { + check(rate, bits, size) + if size <= MaxDataLen && rate <= (uint64(1)<<53-1)/(128+size) && (bits == thresholdTwo || bits == thresholdOne) { + fast++ + } + } + } + } + rng := rand.New(rand.NewSource(2026101901)) + for j := 0; j < 1000000; j++ { + size := rng.Uint64() % (MaxDataLen + 2) + limit := (uint64(1)<<53 - 1) / (128 + size) + rate := limit - 64 + rng.Uint64()%128 + if j%2 == 0 { + rate = rng.Uint64() % (2 * limit) + } + check(rate, []uint64{thresholdTwo, thresholdOne}[j%4/2], size) + } + if fast < 90 { + t.Fatalf("only %d boundary inputs take the fast path", fast) + } +}