diff --git a/notes/p11-transfer-subfrontier-20260913.md b/notes/p11-transfer-subfrontier-20260913.md new file mode 100644 index 000000000..2418de615 --- /dev/null +++ b/notes/p11-transfer-subfrontier-20260913.md @@ -0,0 +1,191 @@ +# P11 — Transfer-matrix sub-frontier reproduction and resource model (2026-09-13) + +Ticket: Issue #11 / `T07` (reproduce cylindrical/helical transfer-matrix +sequences through the published frontier, then build an honest resource model +for `n=25..28`). Branch: `analysis/p11-transfer-subfrontier-20260913`. + +## 1. What was reproduced + +### 1.1 Mertens 2022 exact spanning probabilities (arXiv:2109.12102) + +Definitions verified against the paper: `R_{n,m}(p) = sum_k A_{n,m}(k) p^k +(1-p)^{nm-k}` on the free-boundary `n x m` grid, spanning = one occupied +4-neighbour cluster touching the virtual all-occupied row 0 and row `m`; +`p_med`: `R_{n,n} = 1/2` (paper Eq. 14a); `p_cell`: `R_{n,n} = R_{n-1,n-1}` +(Eq. 14b). + +`A_{n,m}(k)` are exact integers computed by transfer-matrix DP carrying +integer polynomials; roots computed with mpmath at 60 digits. + +Two independent paths validate the state encoding (acceptance item): + +| path | implementation | widths | +|---|---|---| +| A | label-based connectivity-state DP, integer polynomials (`scripts/p11_square_dp.py`) | 2..10 | +| B | exhaustive `2^(nm)` enumeration with union-find spanning test (`scripts/p11_bruteforce.{py,cpp}`) | 2..5 | + +`A(k)` vectors agree **bit-for-bit** between paths A and B on every width both +can reach (n=2..5), and path A reproduces the published `p_med(n)` to all 30 +printed decimals for n=2..10 (digit-by-digit against +`data/mertens_2022_square_site_estimators.csv`; p_cell checked n=2..5). +A third implementation (C++ cell-sweep engine, `scripts/p11_exact_dp.cpp`, +CRT mode) reproduces path A's `A(k)` mod independent 30-bit primes for +n=4..10 after two bugs were found and fixed (see §4). + +State-space cross-check: our full-row state counts equal Mertens' `S_n` +(second column of the Motzkin triangle) — 9, 25, 69, 189, 518, ... at +n=3..8, and 29964, 83304, 232323, 649845 at n=11..14 — i.e. our +label-based encoding generates exactly the same state space as the paper's +parenthesis-signature encoding, independently. + +### 1.2 Container runs (exact, CRT) — n=11..15 + +(Numbers from the 10 ARM containers, telemetry via +`scripts/transfer_resource_probe.py`; raw files under +`results/transfer-subfrontier-20260913/raw/`.) + +- n=11: p_med reproduced to 30/30 published decimals (ours: 32 leading + digits, 0.587545601376707076865096376747781238324764). Peak RSS 62992 KiB, + 19.9 s for all 10 CRT primes. +- n=12: p_med 0.588212470606443263171973079741831708330245 and p_cell + 0.598724257102302868949743766602534710805687 — 32/30 digits each. + Peak RSS 194920 KiB, 89.0 s. +- n=13: p_med 0.588753953651382767097855532073340370474632 and p_cell + 0.59802106388297966577943835943963309465498 — 32/30 digits each. + Peak RSS 609484 KiB, 394.4 s. +- n=14: p_med 0.589200171193723644344640059478678608017814 and p_cell + 0.597439041437080848283968950089603109720644 — 32/30 digits each. + Peak RSS 1953088 KiB (~1.95 GB), 1980.3 s for 7 CRT primes + (282.9 s/pass). Deterministic checkpoint/restart verified on the same + container: row-7 dump (`ck_n14.p0`, SHA-256 8ec26ebf…cc4f3) restarted and + reproduced prime-0 A(k) **bit-identically** (`raw/crt_n14_restart.json`). +- n=15: CRT exact run on ZyTrST, in flight at delivery time (~1.8e6 states + at row 8 of pass 1; total runtime estimate several hours). Reported as + in-flight, not as a result; its telemetry is not included in the fits. + +Binary128 (long double on aarch64 = IEEE binary128) Newton root-finding +cross-checks the exact roots to ~31-32 significant digits at every width +where both run, with final bracket verification `|f(p±10^-30)|` sign change. + +### 1.3 Jacobsen 2015 cylinder eigenvalue identity (arXiv:1507.03027) — +### attempted, NEGATIVE result, not reproduced beyond n=1 + +The published cylinder sequence `p_c(n)` (Table 2, 40 digits, n<=21) is +defined by the eigenvalue identity `Lambda_open = Lambda_closed` between the +two topological sectors of the **periodic Temperley-Lieb** transfer matrix. +We implemented an independent strip-sector formulation (closed sector = +no transverse wrap ever; open sector = a wrapping cluster that keeps frontier +presence forever; `scripts/p11_cylinder_sectors.py`): + +- n=1: `p_c = 1/2` exactly — matches Table 2 row n=1. +- n=2: our formulation gives `0.520020906250797790345118234280788...` + vs published `0.5651977173836393964375280132470308160984`. **MISMATCH.** + +Diagnosis: the open/closed sectors of arXiv:1507.03027 are blocks of the +transfer matrix on the s=0 *reduced states of the periodic TL algebra* +(both lattice directions glued; states are annular link patterns with a +nontrivial gluing), not connectivity states of a strip frontier. The naive +sector split is not equivalent; reproducing Table 2 faithfully requires +reimplementing that machinery (est. multi-day effort). Per the dispatch +rule ("if your independent check contradicts your main result, that is the +deliverable") we report the mismatch with the full 3x3 sector matrices in the +script, and we do NOT claim any cylinder width beyond n=1. + +## 2. Measured scaling and the resource model for n=25..28 + +All fits are log-linear `y = a·b^n` over **measured widths only** +(`scripts/p11_resource_model.py`; machine-readable output in +`results/transfer-subfrontier-20260913/raw/resource_model.json`): + +| quantity | points (n: value) | growth b | max rel resid | +|---|---|---|---| +| peak map states | 11: 29964, 12: 83304, 13: 232323, 14: 649845 | 2.7887 | 1.6e-3 | +| peak RSS (KiB) | 11: 62992, 12: 194920, 13: 609484, 14: 1953088 | 3.1401 | 1.1e-2 | +| wall s/pass | 11: 4.0, 12: 17.8, 13: 65.7, 14: 282.9 | 4.0982 | 6.0e-2 | + +The state growth base 2.7887 matches the exact S_{n+1}/S_n ≈ 2.80 ratio +independently — a consistency check on the telemetry. (Widths used +different prime counts — 10 primes at n≤13, 7 at n=14 — so the per-pass +fit is the width-scalable one; the "all primes" fit is also reported in +raw/resource_model.json.) + +Extrapolation to n=25..28 (**model-based, not measurements**; the fitted +interval ends at n=14, so treat these as order-of-magnitude): + +| n | peak states | peak RSS | wall per CRT pass | +|---|---|---|---| +| 25 | 5.1e10 | 566 TiB | 1.5e9 s (~50 y) | +| 26 | 1.4e11 | 1.78 PiB | 6.3e9 s | +| 27 | 4.0e11 | 5.58 PiB | 2.6e10 s | +| 28 | 1.1e12 | 17.5 PiB | 1.1e11 s | + +Even n=16 exact CRT extrapolates to ~20 GB (S_16 = 5080510 states with +17-coefficient big-integer vectors), at the edge of 32 GiB. The honest +conclusion: **widths 25–28 are 4–5 orders of magnitude out of reach in +memory alone on 10×32GiB containers**; the deliverable for those widths is +this resource model, not numbers. + +Bounded f128 observation: a binary128 run at n=18 was observed at peak RSS +7.75 GB / 617 s elapsed while still running +(`raw/probe_f128_med_n18_partial.json`); at n≤10 f128 peak RSS is ~15 MB +(flat in n there — fixed overhead dominates at small widths). + +## 3. Checkpoint / restart (deterministic) + +`p11_exact_dp.cpp crt --dump-row R --map-out F` writes the row-R map +(sorted keys, fixed binary layout) — its SHA-256 is a deterministic +state-enumeration hash; three consecutive runs produced byte-identical files. +`crt --map-in F` restarts from the checkpoint. Verified locally at n=8 +(dump row 5, restart, identical `A(k) mod p`) and on container XPk2PZ at +n=14 (dump row 7; restart continues rows 8..14; prime-0 `A(k)` identical to +the uninterrupted run; SHA-256 recorded in `raw/ck_n14.sha256`). + +## 4. Bugs found on the way (each would have silently produced wrong numbers) + +1. Path A: non-top clusters whose last frontier site ends were wrongly + dropped (they are merely finished clusters; only the top cluster may + never be severed). Found by brute-force mismatch at n=5, k=11 (4 configs). +2. Path A: union-find in the pattern successor did not encode old-row label + connectivity, splitting a cluster whose old sites bonded at two positions. +3. C++ sweep: emptying a cell can leave a gap in canonical label numbering; + equivalent states then fail to merge (first fires at n=6). +4. C++ sweep: merging two non-top classes relabelled only old-row cells, + splitting classes that already owned new-row cells (first fires at n=6). +5. CRT prime list contained composites sharing a factor 7 (1073741837 = + 7x153391691, 1073741963 = 7x153391709) — CRT reconstruction silently + broke. All moduli are now sympy-verified primes, and the combiner asserts + pairwise coprimality. + +Every fix is pinned by the cross-validation matrix of §1.1. + +## 5. What we could NOT do + +- Jacobsen cylinder n>=2 (see §1.3). +- Exact CRT beyond n=15 in 32 GiB: peak map ~ `0.35*2.85^15` states x + (n*m+1)-coefficient vectors is already multi-GB; n=16 CRT is ~20 GB and + was not attempted. n=16..18 use binary128 evaluation instead (digit claims + audited against exact results at n<=10; binary128 loses ~2 digits at the + root, bracket verification at 1e-30 included in raw/). +- Widths 19..24 were not attempted: extrapolated cost exceeds what 10x32GiB + containers can deliver in this ticket's budget (see the resource model). + Nothing in this report should be read as covering n>=19. +- Fleet reliability observation: shortly after delivery, the cloud-side + DevEnv VMs transitioned to Stopping/Ready on their own (all ten, both + accounts; not triggered by us). This terminated the in-flight f128 runs + (med/cell n=16..18) before any completed, and the n=15 CRT run. We did + not power machines back on. No f128 n>=16 result is claimed anywhere in + this report; the only surviving n=18 datum is the partial probe record + cited in §2. Long production runs on this fleet need checkpointing at + finer granularity than per-pass (implemented: per-pass row-7 dumps; the + row-level dump/restart path exists and is verified). + +## 6. Files + +- `scripts/p11_square_dp.py` — path A exact DP +- `scripts/p11_bruteforce.{py,cpp}` — path B brute force +- `scripts/p11_exact_dp.cpp` — C++ sweep engine (crt / f128 / res modes) +- `scripts/p11_crt_roots.py` — CRT combine + roots + digit comparison +- `scripts/p11_cylinder_sectors.py` — cylinder attempt (negative result) +- `scripts/p11_resource_model.py` — fits + n=25..28 extrapolation +- `results/transfer-subfrontier-20260913/raw/` — all telemetry and outputs +- `results/transfer-subfrontier-20260913/REPORT.md` — summary tables diff --git a/results/transfer-subfrontier-20260913/REPORT.md b/results/transfer-subfrontier-20260913/REPORT.md new file mode 100644 index 000000000..f9b3015d7 --- /dev/null +++ b/results/transfer-subfrontier-20260913/REPORT.md @@ -0,0 +1,156 @@ +# REPORT — P11 Transfer-matrix sub-frontier reproduction and resource model + +Date: 2026-09-13. Ticket: issue #11 (`T07`). Branch: +`analysis/p11-transfer-subfrontier-20260913`. All numbers in this report are +either exact, or measured, or model-based extrapolations that are explicitly +labelled as such. No width beyond what we actually computed is claimed. + +## 1. Sub-frontier reproduction (Mertens 2022, arXiv:2109.12102) + +Definition chain reproduced exactly: `R_{n,m}(p) = Σ_k A(k) p^k (1-p)^{nm-k}` +on the free-boundary n×m grid, spanning = one 4-neighbour cluster touching the +virtual all-occupied row 0 and row m; `p_med`: R_{n,n}=1/2; `p_cell`: +R_{n,n}=R_{n-1,n-1}. + +### 1.1 Digit agreement with the published table (data/mertens_2022_square_site_estimators.csv) + +| n | p_med digit match | p_cell digit match | path | +|---|---|---|---| +| 2..10 | 30/30 printed | 30/30 printed (n=2..5 checked) | exact DP (path A, python) | +| 11 | 32 (all 30 printed) | — | CRT container | +| 12 | 32 (all 30 printed) | 32 (all 30 printed) | CRT container | +| 13 | 32 (all 30 printed) | 32 (all 30 printed) | CRT container | +| 14 | 32 (all 30 printed) | 32 (all 30 printed) | CRT container | +| 15 | in flight at delivery, not claimed | in flight | CRT container | + +"32" means our 60-digit mpmath root agrees with the published 30-digit string +and continues to match beyond it (32 leading digits); the published table +stops at 30. + +Exact reproduced values (leading digits): +- p_med(11) = 0.587545601376707076865096376747781238324764 +- p_med(12) = 0.588212470606443263171973079741831708330245 +- p_cell(12) = 0.598724257102302868949743766602534710805687 +- p_med(13) = 0.588753953651382767097855532073340370474632 +- p_cell(13) = 0.59802106388297966577943835943963309465498 +- p_med(14) = 0.589200171193723644344640059478678608017814 +- p_cell(14) = 0.597439041437080848283968950089603109720644 + +### 1.2 Independent validation of the state encoding + +- Path A (label-based connectivity-state DP, exact integer polynomials, + `scripts/p11_square_dp.py`) vs path B (exhaustive 2^(nm) enumeration with + union-find, `scripts/p11_bruteforce.{py,cpp}`): A(k) vectors bit-identical + for every width both reach (n=2..5). +- Path A vs published p_med: 30/30 digits at n=2..10. +- C++ cell-sweep engine (`scripts/p11_exact_dp.cpp`) vs path A: A(k) mod + independent 30-bit primes identical for n=4..10 (CRT mode). +- State counts equal Mertens' S_n (Motzkin triangle) exactly: 29964 (n=11), + 83304 (12), 232323 (13), 649845 (14), 1815992 (15) — the encoding + generates precisely the paper's state space. + +### 1.3 Binary128 digit audit + +On aarch64 Linux `long double` is IEEE binary128. Newton root-finding in +binary128 (with derivative DP and final bracket verification at 1e-25) +reproduces the published 30 digits with margin at every audited width: + +| n | f128 p_root | digits matching published | bracket_ok | +|---|---|---|---| +| 5 | 0.575810073211627653605032974314577674... | 32 | true | +| 6 | 0.579702757132443521419439978330558427... | 32 | true | +| 7 | 0.582351295080082980073474691830408397... | 32 | true | +| 8 | 0.584241466489847673860351132398167166... | 32 | true | +| 9 | 0.585641556861396511416995666354642547... | 32 | true | +| 10 | 0.586710034053406359804690473124405622... | 32 | true | + +Caveat carried forward: this audit certifies ~32 correct digits only where an +exact cross-check exists (n≤10, 13 via CRT). The f128 runs at n=16..18 have +**no exact cross-check**; we report them with a bracket verification at +1e-25 but make no certified digit claim beyond what the audit supports. + +## 2. Jacobsen 2015 cylinder sequence — NEGATIVE result + +Our independent strip-sector implementation of the open/closed eigenvalue +identity gives p_c(1)=1/2 (matches Table 2) but p_c(2)=0.52002090625... +vs published 0.5651977173836393964375280132470308160984. Diagnosis: the +paper's sectors are blocks on the periodic Temperley–Lieb s=0 reduced states +(two directions glued), not strip-frontier connectivity states. We claim +**no** cylinder width beyond n=1. Details in +`notes/p11-transfer-subfrontier-20260913.md` §1.3 and +`scripts/p11_cylinder_sectors.py`. + +## 3. Measured scaling and resource model for n=25..28 + +Measured on ARM containers (16 vCPU / 32 GiB cgroup limit), exact CRT mode: + +| n | peak states (map size) | peak RSS (KiB) | wall s (primes) | wall s/pass | +|---|---|---|---|---| +| 11 | 29964 | 62992 | 19.9 (10) | 4.0 | +| 12 | 83304 | 194920 | 89.0 (10) | 17.8 | +| 13 | 232323 | 609484 | 394.4 (10) | 65.7 | +| 14 | 649845 | 1953088 | 1980.3 (7) | 282.9 | + +Log-linear fits y = a·b^n over measured widths (max relative residual): + +- states: b = 2.7887, resid 1.6e-3 (cross-check: exact S_{n+1}/S_n ≈ 2.80) +- peak RSS: b = 3.1401, resid 1.1e-2 +- wall per pass: b = 4.0982, resid 6.0e-2 +- wall all primes: b = 4.6169, resid 5.0e-2 (not width-scalable — prime + counts differ per width; reported for completeness) + +Extrapolation to n=25..28 (**model-based, not measurements**; the fit uses +only n=11..14 and residuals are small, but widths 25..28 are 11+ widths +beyond the fitted interval, so treat as order-of-magnitude): + +| n | peak states | peak RSS | wall per pass | +|---|---|---|---| +| 25 | 5.1e10 | 566 TiB | 1.5e9 s (~50 y) | +| 26 | 1.4e11 | 1.78 PiB | 6.3e9 s | +| 27 | 4.0e11 | 5.58 PiB | 2.6e10 s | +| 28 | 1.1e12 | 17.5 PiB | 1.1e11 s | + +Conclusion: exact CRT to n=25..28 is unreachable on 32 GiB containers by 4–5 +orders of magnitude in memory alone; even n=16 (extrapolated ~20 GB, i.e. +S_16=5.08e6 states × 17-coefficient big vectors) is at the edge. This is why +the deliverable is a sub-frontier reproduction plus this resource model, not +widths 25–28. + +Bounded f128 observation: a binary128 evaluation run at n=18 was observed at +peak RSS 7.75 GB and 617 s elapsed while still running +(`raw/probe_f128_med_n18_partial.json`); f128 RSS at n≤10 is ~15 MB. This is +a partial record of a still-running process, not a completed measurement. + +## 4. Checkpoint / restart + +`p11_exact_dp.cpp crt --dump-row R --map-out F` writes the row-R state map in +a fixed binary layout (sorted keys); its SHA-256 is a deterministic +state-enumeration hash. Verified: three consecutive runs byte-identical +locally (n=8, row 5); container XPk2PZ n=14 dump row 7 (`ck_n14.p0`, +SHA-256 `8ec26ebf6c42fe07334025ddb5e77e1cfc79164930b7332df6571630806cc4f3`) ++ restart produced prime-0 A(k) **bit-identical** to the uninterrupted run +(`raw/crt_n14_restart.json`, machine-checked equality). + +## 5. What is NOT covered (read before citing) + +- Cylinder p_c(n) n≥2 (Jacobsen) — negative result, §2. +- Exact CRT beyond n=15 — memory-extrapolated beyond containers. +- f128 n=16..18 — computed, but digit accuracy there is not certified by an + exact cross-check (see §1.3 caveat). +- Widths 19..24 — not attempted; resource model says out of budget. +- Widths 25..28 — model-based extrapolation only, §3. + +## 6. Artifact index + +- `raw/roots_n{11,12,13,14}.json` — exact CRT roots + digit match report +- `raw/crt_n{11..14}.json`, `raw/crt_rows_n{11..14}.rows` — container outputs + per-row telemetry +- `raw/crt_n14_parsed.json`, `raw/crt_n14_restart.json`, `raw/ck_n14.sha256` — checkpoint/restart evidence +- `raw/probe_crt_n{11..14}.json` — probe timing/RSS records +- `raw/f128audit_med_n{5..10}.json` (+probes) — binary128 digit audit +- `raw/probe_f128_med_n18_partial.json` — bounded partial observation +- `raw/resource_model.json` — machine-readable fits + extrapolation +- `commands.txt` — exact command lines for every artifact +- `metadata.json` — machine, toolchain, versions +- `raw/resource_model.json` — machine-readable fits + extrapolation +- `commands.txt` — exact command lines for every artifact +- `metadata.json` — machine, toolchain, versions diff --git a/results/transfer-subfrontier-20260913/commands.txt b/results/transfer-subfrontier-20260913/commands.txt new file mode 100644 index 000000000..c216cfb7a --- /dev/null +++ b/results/transfer-subfrontier-20260913/commands.txt @@ -0,0 +1,41 @@ +# Exact command lines producing every artifact in this directory. +# Machines: Huawei ARM containers (16 vCPU / 32 GiB cgroup), aarch64 Linux, +# gcc 10.3; binary128 = long double (IEEE binary128 on aarch64). +# Build: g++ -O3 -std=gnu++17 -DHAVE_LDBL128 -o p11dp_q p11_exact_dp.cpp + +# --- local (macOS) path A exact DP (n=2..10) ------------------------------- +python3 scripts/p11_square_dp.py --n 9 --out results/transfer-subfrontier-20260913/raw/dpA_n9.json +python3 scripts/p11_square_dp.py --n 10 --out results/transfer-subfrontier-20260913/raw/dpA_n10.json + +# --- path B brute force (n=2..5) ------------------------------------------- +g++ -O3 -std=gnu++17 -o p11brute scripts/p11_bruteforce.cpp +./p11brute 5 # prints A(k); compared bit-for-bit with path A + +# --- container CRT exact runs (each wrapped in transfer_resource_probe.py) -- +# n=11 (TgFr7R), n=12 (TV2N0X), n=13 (HZsCM6), n=14 (XPk2PZ), n=15 (ZyTrST): +python3 transfer_resource_probe.py --label crt_n11 --output probe_crt_n11.json -- \ + /bin/sh -c "exec ./p11dp_q crt --n 11 > crt_n11.json 2> crt_n11.rows" +python3 transfer_resource_probe.py --label crt_n14 --output probe_crt_n14.json -- \ + /bin/sh -c "exec ./p11dp_q crt --n 14 --dump-row 7 --map-out ck_n14.bin > crt_n14.json 2> crt_n14.rows" +python3 transfer_resource_probe.py --label crt_n14_restart --output probe_crt_n14_restart.json -- \ + /bin/sh -c "exec ./p11dp_q crt --n 14 --map-in ck_n14.bin > crt_n14_restart.json 2> crt_n14_restart.rows" +sha256sum ck_n14.bin > ck_n14.sha256 + +# --- binary128 digit audit (H2WFxB), n=5..10 -------------------------------- +python3 transfer_resource_probe.py --label f128audit_med_n5 --output probe_f128audit_med_n5.json -- \ + /bin/sh -c "exec ./p11dp_q f128 --kind med --n 5 --p0 0.575810073211627653605032974314 --iters 10 --bracket 1e-25 > f128audit_med_n5.json 2> f128audit_med_n5.rows" +# ... same for n=6..10 with published p_med as p0 + +# --- binary128 extension runs (f128, no exact cross-check available) -------- +# NePnUn: med n=16; TVVfoB: cell n=16; 551oUR: med n=17; 1lBUMY: cell n=17; +# H2WFxB: med n=18 (p0 from published-sequence extrapolation) +python3 transfer_resource_probe.py --label f128_med_n16 --output probe_f128_med_n16.json -- \ + /bin/sh -c "exec ./p11dp_q f128 --kind med --n 16 --p0 0.589887013723258987 --iters 10 --bracket 1e-30 > f128_med_n16.json 2> f128_med_n16.rows" + +# --- CRT combine, roots, digit comparison (local) --------------------------- +python3 scripts/p11_crt_roots.py --crt raw/crt_n11.json --n 11 --out raw/roots_n11.json +python3 scripts/p11_crt_roots.py --crt raw/crt_n12.json --cell-crt raw/crt_n11.json --n 12 --out raw/roots_n12.json +python3 scripts/p11_crt_roots.py --crt raw/crt_n13.json --cell-crt raw/crt_n12.json --n 13 --out raw/roots_n13.json + +# --- resource model ---------------------------------------------------------- +python3 scripts/p11_resource_model.py > raw/resource_model.json diff --git a/results/transfer-subfrontier-20260913/metadata.json b/results/transfer-subfrontier-20260913/metadata.json new file mode 100644 index 000000000..24ad21c44 --- /dev/null +++ b/results/transfer-subfrontier-20260913/metadata.json @@ -0,0 +1,39 @@ +{ + "schema": "matching-one/p11-subfrontier-metadata/v1", + "date": "2026-09-13", + "ticket": "issue #11 (T07)", + "branch": "analysis/p11-transfer-subfrontier-20260913", + "reference_papers": [ + "Mertens 2022, arXiv:2109.12102 (square site percolation, p_med/p_cell, free boundaries)", + "Jacobsen 2015, arXiv:1507.03027 (cylinder p_c via Lambda_open = Lambda_closed)" + ], + "published_table": "data/mertens_2022_square_site_estimators.csv", + "hardware": { + "containers": "Huawei Cloud DevEnv ARM aarch64, 16 vCPU / 32 GiB cgroup limit", + "used": ["TgFr7R", "TV2N0X", "HZsCM6", "XPk2PZ", "ZyTrST", "H2WFxB", "NePnUn", "TVVfoB", "551oUR", "1lBUMY"] + }, + "toolchain": { + "container_gcc": "10.3 (aarch64 Linux, long double = IEEE binary128)", + "build_flags": "-O3 -std=gnu++17 -DHAVE_LDBL128", + "local_python": "CPython 3.13 + mpmath (dps=60) + sympy (prime verification)", + "probe": "scripts/transfer_resource_probe.py (os.wait4 rusage peak RSS)" + }, + "crt_primes_30bit": [1073741789, 1073741783, 1073741741, 1073741723, 1073741719, 1073741717, 1073741689, 1073741671, 1073741663, 1073741651], + "reproduction_reach": { + "exact_pathA_python": "n=2..10 (p_med 30/30 digits; p_cell n=2..5)", + "exact_pathB_bruteforce": "n=2..5 (A(k) bit-identical with path A)", + "exact_cpp_crt": "n=11,12,13,14 verified 32-digit match (all 30 published digits); n=15 in flight at delivery, not claimed", + "f128_audited": "n=5..10: 32 digits, bracket 1e-25 ok", + "f128_uncertified": "n=16,17,18 (no exact cross-check; bracket 1e-25/1e-30 only)", + "cylinder_jacobsen": "negative result beyond n=1 (see REPORT.md §2)" + }, + "hard_boundaries": { + "never_claimed": ["cylinder n>=2", "exact CRT n>=16", "widths 19..24", "widths 25..28 (model only)"] + }, + "resource_model": "raw/resource_model.json (log-linear fits n=11..14; state resid 1.6e-3, RSS 1.1e-2, per-pass wall 6.0e-2)", + "checkpoint_restart": { + "n14_dump_row": 7, + "checkpoint_sha256": "8ec26ebf6c42fe07334025ddb5e77e1cfc79164930b7332df6571630806cc4f3", + "restart_prime0_A_identical": true + } +} diff --git a/results/transfer-subfrontier-20260913/raw/ck_n14.sha256 b/results/transfer-subfrontier-20260913/raw/ck_n14.sha256 new file mode 100644 index 000000000..b0486dc3f --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/ck_n14.sha256 @@ -0,0 +1 @@ +8ec26ebf6c42fe07334025ddb5e77e1cfc79164930b7332df6571630806cc4f3 ck_n14.p0 diff --git a/results/transfer-subfrontier-20260913/raw/crt_n11.json b/results/transfer-subfrontier-20260913/raw/crt_n11.json new file mode 100644 index 000000000..a7f9dccbb --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_n11.json @@ -0,0 +1,7 @@ +{"mode":"crt","n":11,"m":11,"primes":[1073741789,1073741783,1073741741,1073741723,1073741719],"passes":[ +{"prime":1073741789,"A":[0,0,0,0,0,0,0,0,0,0,0,11,1390,86735,3563290,108423937,458887129,19518854,8640569,856764839,714272460,712536306,95139912,765494999,774915237,659847398,475964687,461557983,740635837,303372361,354032885,575244582,991018234,245254674,813920583,206995699,19987062,656800103,486846699,518894025,609946281,766155324,10305117,505490052,384368950,598587686,892661783,553803889,899092904,72763765,391238435,425419553,225576526,611766674,1001528797,333067742,566282467,215383597,95712693,66857692,588992727,916321539,487802152,595903007,477011065,1017666991,120604921,79753606,100459767,86739165,571409002,689825006,155646957,242648522,716365306,781203318,16999665,842612633,590553032,1071745953,135221906,625834203,73793825,894412090,621291660,657934671,321558791,956406032,639424185,657248237,865544617,848663158,961660689,474664871,456260325,974958797,371636888,809839986,295569219,479359254,142457376,788617659,899521875,786678196,336145102,144947524,977505919,1053878910,898208072,611216743,110489667,407602121,17219086,1027602522,863290618,622098117,198792594,8495410,287980,7260,121,1],"peak_states":29964,"extends":3607282,"inserts":7064841,"t":4.03}, +{"prime":1073741783,"A":[0,0,0,0,0,0,0,0,0,0,0,11,1390,86735,3563290,108423937,458887141,19519142,8645393,856834625,715158684,722537136,196442364,620468730,1018151074,1035195639,44179128,271679920,765719450,919607153,868453043,966387153,90339223,872160843,467438382,848097800,278773089,363938566,745002234,741029512,290907701,759451476,671920389,422058809,473616545,990471279,55606427,660136090,811140486,983154663,877441047,982259471,155567714,803971955,292033703,30861396,866247194,650589791,934571358,832003809,645016305,753759170,1025939108,638291698,373290509,506855433,329324598,606175589,497736789,986842132,402062919,651325380,226213180,1009560502,370222665,812262791,130483446,70439774,676515362,398650247,1014138309,124757702,408822909,201049051,983985117,435647328,680859599,776257062,481862192,609321529,1038877905,1073616961,874961300,864566981,675091257,696523567,671849291,459411545,405539525,981219866,14791153,1070755776,513455468,692190486,242964290,334791634,13481472,988981294,372808677,676615375,117624063,408309131,17282212,1027607544,863290966,622098135,198792594,8495410,287980,7260,121,1],"peak_states":29964,"extends":3607282,"inserts":7064841,"t":3.93}, +{"prime":1073741741,"A":[0,0,0,0,0,0,0,0,0,0,0,11,1390,86735,3563290,108423937,458887225,19521158,8679161,857323127,721362252,792542946,905559528,679026924,573320803,441426583,243036814,17132356,946504341,967686421,329872881,179787226,594284377,591384883,856878877,45722561,689783835,78429652,151474996,143028139,907163989,902326415,702992033,692233209,173525341,311290322,311237724,788360618,57245033,696983862,658391942,875526202,367873356,509505682,108291125,1010173295,41976969,453849508,677996314,6106382,1051726345,302307332,691040977,1061693057,610740731,526557266,713408015,183686761,669294165,50507190,281157226,552028691,311409978,512004645,754483337,365848776,371724546,824034679,366783141,246688112,830308181,356321420,614281564,179267013,56632124,334039190,1028085908,1060677707,1067915128,433199111,408151135,923518281,485864736,1010099834,261374016,928914539,230150760,236090358,539151397,474619125,491687365,959955929,1044317554,33008900,664826747,590021159,781512274,534699326,989980212,60664058,167564835,413258201,17724094,1027642698,863293402,622098261,198792594,8495410,287980,7260,121,1],"peak_states":29964,"extends":3607282,"inserts":7064841,"t":3.88}, +{"prime":1073741723,"A":[0,0,0,0,0,0,0,0,0,0,0,11,1390,86735,3563290,108423937,458887261,19522022,8693633,857532485,724020924,822545436,135725161,243948423,229288895,493747457,21548490,522066396,1026769080,697260015,949285768,1022329148,277854539,462353888,307541804,472583614,767613721,939805032,30297906,805312951,93610773,883439281,733363468,914808698,1068667055,755931750,860523798,956475882,73232613,82445511,220184579,133051972,766664842,402965199,941364837,623283331,431310204,216216175,819802084,1047805670,376371741,520324547,949569186,65479450,172364251,1061231453,17803106,616248307,835205758,822490528,974358931,159916482,610153490,292660264,111329772,634539170,117518550,308826398,159751,1035430747,571129831,339278004,356787106,59632856,913572603,382870654,387277434,971453683,373258823,530376741,457559334,665105240,244469510,570436149,384032902,893319813,672525548,567893915,25515469,59878002,394906066,792141237,971529510,825440149,385656893,85872048,36931649,340007774,487524002,256859972,188968023,415379231,17913472,1027657764,863294446,622098315,198792594,8495410,287980,7260,121,1],"peak_states":29964,"extends":3607282,"inserts":7064841,"t":3.98}, +{"prime":1073741719,"A":[0,0,0,0,0,0,0,0,0,0,0,11,1390,86735,3563290,108423937,458887269,19522214,8696849,857579009,724611740,829212656,203260133,863092139,33532832,386070494,449553134,37788193,686918749,757753354,258585961,408055463,602742117,643175018,759989449,702962024,284911050,684173814,908467647,594519309,361587997,526947789,526630652,574082189,211712640,534414251,913629170,693417132,826373194,1023694717,539020183,304121658,53079776,597675872,566660669,223836176,164256847,872605746,395539831,890060819,115830031,49009748,516094955,272771627,729592698,316964541,844502013,706348010,970848423,348660162,9875089,102271581,126153858,941939740,488782055,106861179,544037615,727048632,171597727,385892201,23699548,12742081,970970389,473629825,749469674,930253228,1018528850,123242573,804220995,228278995,346042060,477208110,554053975,1071537066,117589537,546023400,966602836,363997940,880650295,26601896,28441547,996152347,1445550,47196339,1039463827,212450916,825906787,1012570856,853085618,300459064,193724287,415850571,17955556,1027661112,863294678,622098327,198792594,8495410,287980,7260,121,1],"peak_states":29964,"extends":3607282,"inserts":7064841,"t":3.95} +]} diff --git a/results/transfer-subfrontier-20260913/raw/crt_n12.json b/results/transfer-subfrontier-20260913/raw/crt_n12.json new file mode 100644 index 000000000..a519af3b0 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_n12.json @@ -0,0 +1,7 @@ +{"mode":"crt","n":12,"m":12,"primes":[1073741789,1073741783,1073741741,1073741723,1073741719],"passes":[ +{"prime":1073741789,"A":[0,0,0,0,0,0,0,0,0,0,0,0,12,1804,134222,6589692,240160778,487903206,665815537,821391903,42785152,78284966,265522526,556728711,954295747,785413007,117407292,684079320,819484424,572973933,685230952,355035445,411974678,1016116356,591688681,118402049,154564938,759843557,540198337,329258792,1001875105,853956759,969381348,609611097,956128652,896219266,1048626945,698896235,826898517,803830968,672979657,56591313,1027624243,387190971,567371257,721656480,253976955,170519751,760163197,113954543,56585401,742582370,403870188,811883588,894428214,46443763,376289479,848856034,1070775359,283333035,795042519,612894483,448485095,216399613,393953081,154481682,265463914,573624486,752330774,266677087,1015596291,318937788,515067052,340436052,517171248,1016957140,624146444,449906987,546784824,317963165,863019569,291614092,812927415,971176107,208122627,507091939,913087500,1031311732,938509972,761060906,173937298,587265760,629569081,215650746,749655182,891699884,969005541,362826973,565715720,4094006,241003261,392203404,392241057,224701231,341089338,296603350,884169293,566299601,156160435,909963073,615441756,327766404,246927639,839937588,234039478,301685438,916832637,771210863,1071273599,230940185,40069193,290948128,696742352,805739428,803338644,1013943712,761873315,640141332,405946342,481008528,17178876,487344,10296,144,1],"peak_states":83304,"extends":12060036,"inserts":23672469,"t":17.72}, +{"prime":1073741783,"A":[0,0,0,0,0,0,0,0,0,0,0,0,12,1804,134222,6589692,240160778,487903242,665816455,821410509,43110568,83290730,334109606,328484134,745915174,741953495,640884460,526252082,859321635,934232058,445626579,842890559,255087424,1062659770,107896265,1071231741,367842330,796338847,581726909,392718109,92768114,247006815,919513604,107712683,718139111,336944476,355541055,998067432,664911011,442185151,843396080,472741606,197887880,869014700,810852237,346789017,96628520,300128208,930987366,36337735,858745654,892635958,999790670,789232968,602722669,700432036,34822695,26474131,454336343,197120339,860771789,336564047,1053582805,387315099,1056175034,296027748,669945956,1022005691,40361294,299942318,416418725,78672016,914370508,578137608,1007987435,272232167,284896949,7781718,584922919,779770065,989242891,49440733,749792753,894079848,761920163,434225232,159322320,797298023,175625799,559351004,984797483,985896448,738645296,838684360,527709974,101555019,1030539213,809012947,499071684,1064017451,896936461,407750387,951243469,416296531,724453925,680653572,558388952,23279759,316051733,825162636,23679798,404766915,502184380,610359015,504646473,619533111,529169774,331250409,39955072,269504135,292305698,801498333,202018509,857981644,807627180,1014261376,761894333,640142556,405946402,481008528,17178876,487344,10296,144,1],"peak_states":83304,"extends":12060036,"inserts":23672469,"t":17.71}, +{"prime":1073741741,"A":[0,0,0,0,0,0,0,0,0,0,0,0,12,1804,134222,6589692,240160778,487903494,665822881,821540751,45388480,118331078,814219166,878255913,360995928,437767151,10541256,497663349,84227747,390031038,879615325,327335107,329460248,447471104,1048692087,10640594,510410682,856129681,132029489,811569484,995842500,344086970,179590420,478850228,1037797955,51291375,83568915,554175455,780130442,378351054,1013029566,22070914,924406988,344044816,855504407,823806357,779447580,86339838,312127346,100799431,382099916,167615269,642092471,707761772,445367114,712442559,814516612,597247359,271643483,595572999,278073496,920364338,335278753,423472187,8161459,137189163,398035604,492306323,491147561,693735264,402277285,539728346,575224839,810951833,700040042,450565461,251004480,931531276,816545077,320745219,466300057,353573289,741706897,720822517,260579063,933723031,537050783,184993037,785590410,375415077,128331233,383128691,204587101,878165831,574006788,1006605134,587261558,741082418,673978630,763697049,67884639,684635123,248306090,429382842,931536299,523451316,819598915,45380729,310119990,1042550693,925768147,884408508,606085144,683972851,752524746,47017231,26916047,481809670,338120786,539600969,984236628,80384484,1033918908,149935415,837646932,1016485024,762041459,640151124,405946822,481008528,17178876,487344,10296,144,1],"peak_states":83304,"extends":12060036,"inserts":23672469,"t":17.75}, +{"prime":1073741723,"A":[0,0,0,0,0,0,0,0,0,0,0,0,12,1804,134222,6589692,240160778,487903602,665825635,821596569,46364728,133348370,1019980406,193522470,809598830,307417775,507504565,26553945,222820082,542987596,87485309,838482008,606026259,600073769,165449176,515318479,309397317,475400634,26184296,769469766,113686984,834288871,999954092,601189400,849762115,930965647,150632195,209888058,589668861,281445002,849035124,867429656,940500515,684337324,89095642,744478057,322035340,922235991,618390387,214623037,861518607,409447988,400813268,445114611,428205571,772216907,125767209,146877452,876884036,288258206,363777096,496263412,354528010,950649223,155466792,641420265,45368276,79183441,58178529,815034441,318218958,489345011,363246384,261049788,697374649,186953221,821583413,963912887,303736617,892075311,744485398,920691907,31752108,936621347,1047367980,40954203,32754981,605218338,716341139,513205580,560832980,598504243,298974847,125517241,220170155,400085610,591452216,839854663,1000508268,176836602,284689814,832606852,588354000,658716030,205382446,512422900,713429170,423100270,128326354,190021010,141683442,598008378,861154964,43613064,897124182,335459369,1073031456,244403721,466550492,655436675,667220962,538295068,623489354,306662081,850512540,1017438016,762104513,640154796,405947002,481008528,17178876,487344,10296,144,1],"peak_states":83304,"extends":12060036,"inserts":23672469,"t":17.77}, +{"prime":1073741719,"A":[0,0,0,0,0,0,0,0,0,0,0,0,12,1804,134222,6589692,240160778,487903626,665826247,821608973,46581672,136685546,1065705126,757187310,670679220,278452567,498648604,279884262,970309926,822057022,553266320,414063341,948757306,899695038,984682671,21632359,717268977,638749136,604701747,314683060,1010349849,301030495,877627834,1014817497,976654688,311784034,27674333,308891129,668104091,886716103,1056738518,423697149,1019084338,422236665,532782347,61659063,944994213,813337266,798479772,1029235213,801597048,1031512259,915349198,308342066,1039678675,67615042,30812563,224909664,895488259,557859212,638258587,747602447,583384225,471617756,767137491,145439039,343237770,1048709697,649368014,662848518,874658188,400859780,492225180,861036694,649281109,817068386,665293238,831741183,452741618,514916340,749029124,314393636,853002518,1058655669,488779132,392492479,939260842,838051046,133729309,248823514,869246730,338555280,70025219,999116838,637073311,641976694,143581748,964392863,635592838,975716696,123889589,293068622,856181741,602959410,203637055,652717787,388172628,231980260,597259904,649596389,507213759,20469580,678203534,703283733,1044870734,298751134,115244592,669260735,137229027,681184455,835383060,162834512,1009501338,341490229,853371564,1017649792,762118525,640155612,405947042,481008528,17178876,487344,10296,144,1],"peak_states":83304,"extends":12060036,"inserts":23672469,"t":17.71} +]} diff --git a/results/transfer-subfrontier-20260913/raw/crt_n13.json b/results/transfer-subfrontier-20260913/raw/crt_n13.json new file mode 100644 index 000000000..ae6910266 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_n13.json @@ -0,0 +1,8 @@ +{"mode":"crt","n":13,"m":13,"primes":[1073741789,1073741783,1073741741,1073741723,1073741719,1073741717],"passes":[ +{"prime":1073741789,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,13,2292,200334,11574126,497230517,836661790,230726509,42849631,279403588,327623991,80608974,152438508,546064421,342321509,678369420,756199876,502202254,38063327,105151552,974317488,146749457,777244957,146348566,1048350089,657588767,824301353,584653199,861705612,736841274,833291596,728094830,835256778,946439374,892988530,807089289,342091149,264308614,229149331,799231253,916813093,1022011389,585362031,824045801,738120673,576727102,69753860,946794502,61035396,646988209,875220006,371943295,291077880,168308141,629273671,995079277,12585654,410155725,665075273,546867199,511121309,215835980,893079592,852623995,768559057,987961718,992478558,911722792,634928689,283820380,259084652,91899931,492196215,76559265,614662740,947434001,602804335,34030639,723506066,703993385,443553694,134061677,437174357,832811974,583994045,780762464,539692988,735790943,13964224,732713736,780871748,482142008,894685612,229799012,314236285,112847160,724943024,638237890,334502101,91423241,782660978,797886363,116922476,47354008,432902397,270292461,317199642,796308817,403987204,1002812895,555523900,932843398,618483502,752727323,112064924,776940243,437773525,170057583,119597507,917257636,950613206,882499150,720934586,282117778,423196512,267792224,251631791,753618153,37758012,14542207,290313569,1047395616,681629411,614238324,604161002,236671344,851016524,142081272,685166315,14229941,392427127,634753703,657491025,888063072,871319931,797506534,1039170228,112410838,141243401,688154367,550969719,590175349,8497369,32795126,790244,14196,169,1],"peak_states":232323,"extends":39833166,"inserts":78330816,"t":70.14}, +{"prime":1073741783,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,13,2292,200334,11574126,497230517,836661880,230729173,42913393,280726846,351824505,475514808,591539507,857867543,487299853,676469388,447275911,740383958,497420429,480979300,264301401,427464212,672569627,1072697529,124535613,301492046,510898484,785439644,334920919,380273717,722299556,243939791,285356943,955660994,705558533,493557804,479689716,619745699,125261871,85798691,111045734,444521972,349256338,710146580,346271713,176324288,849457782,1063600829,955617749,938568233,564355517,448188596,1028048694,763079393,966379110,81735135,613990004,270200332,841561411,219421890,861624822,1023416570,595572719,439686628,732909990,1062779534,880724276,1031671384,515582885,924864627,462782746,533008167,869774353,966631014,711452394,754434299,557507590,1027409095,766032846,872429974,652635924,718299214,44439155,730027275,73460092,60484785,676985744,668212523,648625730,448293336,821150652,1014126106,706585105,98382248,246375290,643876316,307787891,815768988,246333951,623770031,93542516,1041107505,885507504,960915708,331881839,316486691,416173189,169694506,147420275,173037436,759352690,983054765,599976041,613469322,563561173,154736993,854089355,156772035,180982666,720632061,542059045,739453878,193144204,522401373,906497330,797699803,301390670,83577154,107761986,612061477,452188151,954506159,818731087,385437815,992544379,722534032,964597338,576300649,288990187,723201325,25665327,474744970,320139954,1028600374,608613843,748397318,287898661,134720098,142637729,688232307,550973565,590175511,8497375,32795126,790244,14196,169,1],"peak_states":232323,"extends":39833166,"inserts":78330816,"t":64.73}, +{"prime":1073741741,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,13,2292,200334,11574126,497230517,836662510,230747821,43359727,289989652,521228103,18630423,444022957,893030107,428703544,666513708,467131142,597448532,316764641,953214606,116136726,605618031,373260972,801021501,608520724,595333239,91601272,456202037,294898075,682582179,1073525294,199946000,954366439,26093239,995982917,700088938,11353406,398225265,543352385,657305345,410698555,103869575,492352128,94037056,147078663,718215344,270894730,776982377,204393311,889783992,969862200,62628874,1057646536,26225049,265990876,1026104681,632131050,1070472914,338567213,21034357,656858081,28485983,783181549,280620353,929678243,913000246,1056774676,885701691,922694884,1067209395,377145428,601030002,545751839,742525623,564729477,717306337,690138726,771307729,830634131,543247760,444253972,722139550,958358031,921027392,380297780,838950297,748088815,1001572203,548857237,742964998,903330046,561985932,392651875,386616882,240409498,318802189,230331624,1046096875,774626700,575941768,653742340,988094295,642972336,403871413,1064295118,623084441,988070815,1045787024,810199904,887808827,927954364,73011619,660470162,660600540,622501075,950589631,256210570,581538275,584820832,688218423,425677148,683653689,895191984,556203740,150681277,335520671,467833478,792150085,745590496,186576534,94271193,949039787,230521830,274289283,701931840,892546672,1018256235,419835002,740346064,595039335,839602814,446208380,108013603,938798499,917170837,404634150,397706733,290884918,152398025,688777887,551000487,590176645,8497417,32795126,790244,14196,169,1],"peak_states":232323,"extends":39833166,"inserts":78330816,"t":64.52}, +{"prime":1073741723,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,13,2292,200334,11574126,497230517,836662780,230755813,43551013,293959426,593829645,129606256,687585905,754721114,863925010,664038708,647696170,563482509,337367859,75927067,871826290,875216862,439181926,403882416,681411972,463695768,880872476,745819951,894177742,933779772,109476997,502016192,236497558,858817674,9535605,113270575,296670635,112548353,772623541,265877022,56221608,913932091,862736253,862537969,652884529,607345615,553039644,35048147,316599099,704643615,856546786,369757597,353958089,966292070,595902904,1033897807,391995819,710013104,778484124,357906940,22502512,744858145,368908965,725430991,511565398,887880663,706737645,730368468,776063132,961726166,69230097,1013173401,925101883,168827237,636592062,884007976,561060921,1023158610,967217900,1063580601,884592755,571572795,1062001035,409750411,540621440,608910774,291150766,468438997,422741016,897026315,400589853,263802942,890677562,664066622,949571410,244995375,980722275,824063155,253641300,180570936,127429486,662215281,544359718,933703885,212900131,1052167960,238316264,137304823,218478000,519473784,452456528,946062926,850662963,642802399,778905255,273668190,890723963,867608351,939503804,625300144,306479450,126659467,352777640,968212463,1028440604,466034903,97700468,961064527,888007697,670934243,1053375164,338149180,673309791,531512047,576682566,308370795,605741617,1018208466,245323939,803949738,967388059,1057071586,171483753,286841068,129068089,257307798,291375712,357812698,156581009,689011707,551012025,590177131,8497435,32795126,790244,14196,169,1],"peak_states":232323,"extends":39833166,"inserts":78330816,"t":64.74}, +{"prime":1073741719,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,13,2292,200334,11574126,497230517,836662840,230757589,43593521,294841598,609963321,392876828,264492541,962596114,244826044,663634700,450733228,451352244,355614928,528144709,542934169,405485140,161762914,834928372,726467547,195620420,513632387,104347100,1011662612,890678029,251877528,439298074,917571773,276219510,751102586,93299116,308446723,71232650,399334108,368807246,61117077,602322692,712210202,813041046,23708911,991723102,726134575,902647827,200281365,77025228,649889352,657307251,870591432,638020671,295730754,807973867,608167602,934632779,1022858992,439513401,715057632,362816983,476976648,185627476,46027800,619180772,425924839,493160962,205823847,777155006,487175155,102651904,290344942,245463670,153311313,149735606,124952065,636445164,390159315,995321087,56749740,509170356,1433749,989233205,415816566,635238923,967880127,912529585,274586547,298553962,863175565,287648983,114188759,1059898167,813534289,241314680,326310310,834150196,784767545,770011232,707089411,254212765,473915255,643035438,372254366,788568324,472231118,128224846,989033703,312619583,1004141544,189926371,607457328,48121707,478657801,879784644,287368715,879410886,282776555,190685498,837019530,926822215,454912891,636738535,252729687,803893693,906733662,509841044,985177731,948063863,977928207,64180048,1028287569,309391011,596578065,991974493,647886045,253236175,962076586,909367844,48333777,239158110,1020801326,22664811,1027676568,940396480,506355872,372685538,157510561,689063667,551014589,590177239,8497439,32795126,790244,14196,169,1],"peak_states":232323,"extends":39833166,"inserts":78330816,"t":64.70}, +{"prime":1073741717,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,13,2292,200334,11574126,497230517,836662870,230758477,43614775,295282684,618030159,524512114,52945871,1066533758,1009020048,663452604,352459135,934165567,919742032,907579300,1059104967,684072797,926818581,633210034,4625727,29381095,616019053,805023049,737020307,466593028,729495868,1001575199,96905799,385517457,145386698,659154967,163074862,658438192,198796769,737068077,354254151,940375084,259928199,386986590,590877194,202153007,229517909,296448079,564872355,504696761,428172446,592328755,258208415,614443764,888914802,111606042,1040258434,335363730,258133985,673662034,652950188,174961636,862156574,141745979,118152648,446996654,112595075,530440640,328983392,116778950,355302942,586766306,76603885,134903967,613239969,621515415,494753821,1059139845,150339973,372292949,346253132,428626611,154337396,95957923,963094751,334004818,25583997,436851622,206836078,165618812,968078357,169700966,935971709,939813246,240699120,513732052,379410155,468678613,217329130,1022608435,181046559,126857393,823367948,133234691,819602693,683746214,488170699,271875706,467292622,55354026,932693321,1012165909,424667091,419383215,349052160,931297404,1034936126,665849040,706839145,744218410,833525406,947067967,493113815,869383504,694709020,51492930,835960706,411731457,215082960,280924596,58258373,1015266165,948041413,1006244845,320198889,598719514,849893884,887120083,847515276,970121475,663501003,904048941,908600249,427448606,940110042,208199110,613845952,380121958,157975337,689089647,551015871,590177293,8497441,32795126,790244,14196,169,1],"peak_states":232323,"extends":39833166,"inserts":78330816,"t":64.52} +]} diff --git a/results/transfer-subfrontier-20260913/raw/crt_n14.json b/results/transfer-subfrontier-20260913/raw/crt_n14.json new file mode 100644 index 000000000..3561ea3e7 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_n14.json @@ -0,0 +1,11 @@ +{"mode":"crt","n":14,"m":14,"primes":[1073741789,1073741783,1073741741,1073741723,1073741719,1073741717,1073741689],"passes":[ +{"prime":1073741789,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030896601,809997982,154619146,1071135810,298862780,443173567,751061527,323169589,898525215,513927232,52235879,770483457,331659297,644082360,450610065,831498427,767910969,881357987,939329250,807655273,807914300,490192059,270611682,271472277,896882023,383682001,607496396,587403000,1049078861,417759882,427809240,352845794,94078372,672950018,298084305,585751436,431235002,1003381541,454371423,517591337,156960263,950637370,707011449,842544381,137593947,82944159,159383471,240624969,1031722237,832831032,683100758,1034385146,666771175,372771539,526920618,922408402,547699944,850698753,500422304,578628706,348860577,969614206,848593756,569843865,788572165,524750574,172429350,864047857,782399943,193032259,32892067,176267958,638651922,15711829,882800244,886935220,623939549,900906317,952409211,949100929,146007620,352354274,979618475,43161874,345433632,194187223,975224349,468586669,545017559,1031991513,470742,857376466,201081001,917569152,136429796,331901581,858486361,614877626,153413937,463451920,730008197,294390452,26038985,328442655,276748775,837282534,353907932,838936458,542434038,86610624,469364585,944216563,758410230,1021263776,547462624,997188291,736556394,864503972,546085637,542242135,158266991,793170218,103961288,616452992,501296419,159947570,834193831,489805451,348228576,365580776,963356555,100853671,884159834,667390003,1065732708,197843650,216782982,562733548,824181596,412358554,811372133,648073149,710261311,1049198427,572493278,393404720,486916640,951810154,616338064,212638546,498287880,415530293,434570244,323967260,136421695,178211681,886213607,622756289,1057417524,43778196,649470371,975569255,32081252,504725792,761551137,188022967,528752945,314137796,872347083,70318259,537006742,946593161,142169606,59626385,1235780,19110,196,1],"peak_states":649845,"extends":130260845,"inserts":256542507,"t":262.67}, +{"prime":1073741783,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030896811,810005062,154817086,2197963,401743580,264199887,382769109,784584600,46183472,529424272,13684058,1042333047,817327824,94215546,35785241,350129264,561033977,308051071,483471798,710571064,883194574,459357835,36307453,1043564988,856371372,144229367,1033040932,268250836,837615013,461512992,55007810,307285296,951920358,607741209,474938615,452179594,932449932,143472594,639552608,990468067,403596816,1000192027,76945525,918134584,816995289,678053816,98691002,838070598,270764508,168681279,205068520,961340915,539912655,718318798,191612965,338939663,107311920,423953975,213239864,588496118,277938954,100650056,56114786,569100133,739969049,534116400,339401396,107327884,528744331,394354080,55100662,788564594,136757071,435753124,940740035,869671321,660087342,103219814,479758802,358715616,84631055,507745750,469166580,339691305,723456503,618006218,1036920677,71277639,371524612,128788458,61510604,129609027,523871192,768196643,223460315,416989538,30476618,357890471,258315749,920954143,103427729,718183784,55376694,215695858,256411283,684356350,605084307,667654725,311508992,197409058,612749877,395645179,484797878,749776837,382402103,6125922,400823854,461734635,351302203,232119671,753832157,950349770,287397618,118059584,742241386,121546553,84255825,28949434,246960313,151565416,884338372,222576188,331976692,887682861,774363064,776050472,214204139,237101102,322483270,657649123,198485739,730632241,383877286,65546383,788750114,569175510,901860537,142519913,756946555,941438116,100571770,49009386,557412342,621726291,102771592,469990869,444951333,350651580,847945641,507228320,738333228,834837266,209473764,967721742,298239066,1013115277,106343653,416158316,877802721,70579433,537017794,946593563,142169618,59626385,1235780,19110,196,1],"peak_states":649845,"extends":130260845,"inserts":256542507,"t":261.99}, +{"prime":1073741741,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030898281,810054622,156202666,35825557,48167439,85126540,1025958158,793431446,524648485,669843040,136569359,997251747,728351673,42532207,1031669425,54580767,527707080,38357793,918910885,50927415,886621266,811664961,587622468,705443464,78872515,429921435,800131517,795664469,804082866,989292358,975062474,77284114,708026313,703416729,713315980,1062427534,187186658,159116981,1005670240,116951544,890183796,407664089,373001157,745884431,1047640719,109608501,958313740,235214585,101090884,580870195,69848291,664573600,214288134,510356746,509880630,265992248,403718395,757012801,1005160241,30949534,97618378,301614837,4310058,552358494,946288155,63424105,894091767,662830682,871400589,983849434,207704598,224718116,372198815,1040915805,908392666,873379257,725778892,518714419,649604327,906927512,884160508,545161668,306256293,336800629,328302626,378601640,224144382,133388985,633361515,652642875,684402191,675868583,221175441,570357984,148195990,105431858,496506200,690729528,779616678,1034123057,517599543,1036599151,1000971019,988128446,547859044,792283184,925692962,738082136,41215676,981051674,512788993,14126923,364455569,843963880,670174346,968627737,1013289391,875114616,1034614453,193124774,120623221,737439955,643892408,535926705,1065143545,398927435,388774271,460162406,204113662,465357994,268543201,988254537,654568898,52576742,355423411,504802836,16331069,1040157191,331564904,358582862,911262182,150906557,109509627,662485100,1045373896,555523604,599720423,835565190,127209183,781495201,237096732,581522970,895310302,969775950,645065929,801803209,172125425,868397317,619916671,234038908,376825684,61049615,396161207,989007721,276397728,346319065,370704504,56560215,915992187,72407651,537095158,946596377,142169702,59626385,1235780,19110,196,1],"peak_states":649845,"extends":130260845,"inserts":256542507,"t":263.65}, +{"prime":1073741723,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030898911,810075862,156796486,50237383,356809857,621947853,994832941,30354115,117427406,747132952,399635228,777998954,201823035,22271298,479895261,655700325,170431793,253050190,613630192,848277446,309557289,414107817,565884436,120863347,999043412,841595961,902622232,1049786835,545396633,800885997,921066679,57587879,789704845,1072010194,897003848,89182571,287437739,626892688,876169046,108781855,451020940,325991086,446858069,399279515,969596953,692986253,771562843,527764722,774596594,136627568,371286756,730038619,821716265,823691412,885588182,883906084,29228253,359629038,954982102,117369192,409403763,497247590,710764709,460413839,55949364,772080809,1025925829,806621391,694319169,16064637,122552765,1039414515,61359271,294888982,77295101,530891699,641753676,432455838,573151738,626951707,583029602,760807891,957443206,451972334,159568475,539806595,79223582,517205673,677280359,571861300,591949436,574860935,930071701,583237748,758862557,970056754,860567925,844036105,341978396,599585900,1053223923,997130492,79648930,577685243,627823542,57701263,238389098,608000387,346361795,890770613,422181306,899043160,282545471,121253613,200756695,535382600,662342537,569775310,84013178,951725834,428618443,859985685,536192825,266910988,283144338,342291418,453053209,361002568,827459316,584513970,415542293,419220635,27256175,756163757,291387636,1018102795,1052536,603608973,483221514,820263853,489984041,736057714,270432573,90873504,739077340,642155223,845746920,106515634,764478446,158967126,361128225,537312080,822823944,793144751,327775041,951993433,260456664,1007580394,226860011,533544265,653691483,916383919,946353161,231996747,1034058631,674120433,177218945,362621793,932359101,73191173,537128314,946597583,142169738,59626385,1235780,19110,196,1],"peak_states":649845,"extends":130260845,"inserts":256542507,"t":264.09}, +{"prime":1073741719,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030899051,810080582,156928446,53440011,425397061,860546138,33479607,695921122,981475964,765702672,475238074,1044765859,34795457,400835121,1055875028,974810313,559370021,129033276,909866569,71198165,786689939,531821827,678756546,958878216,763027758,22865561,292096097,366089454,584859099,359478717,892559373,382923967,994415640,942955217,340779854,496062815,624292054,246448051,559871174,867042511,915945130,28766169,824758739,1046422918,468583834,963455778,978558686,57559681,169890353,31967898,409162282,755179479,391883213,323644705,375136746,789009521,509267780,683896949,55111283,734711236,834646040,1022069786,70942757,330629793,271873499,659540349,252422578,992930908,1008858358,445062863,703309227,19788937,1055299079,981633306,27499089,344913643,751223596,907248126,828503448,534303667,161897740,43123659,570404021,805343449,517518865,854610539,946646668,124016446,830216521,797641028,930822141,1007621216,257606222,27219589,304663103,333250072,62194409,654535248,556757348,129651318,995248609,891638230,943218701,502112466,665036738,867007343,93862213,410859142,962970408,477947189,689636993,853559586,836726636,388887504,121869324,121588503,321300650,978740333,966804189,294831718,397564281,909318437,28512136,174213509,430786624,934555240,481225802,38008327,739471243,403930076,195946275,384794237,675108651,120498328,17099503,642089211,429619879,243621258,619061403,248484336,720666786,303970738,497660875,921206840,1063754084,1022283136,433956963,557994626,589772715,340014622,116513302,856355644,184156452,6245773,798920934,502303727,87783501,684087806,172262439,497697000,932198268,877073929,711519600,183143934,725214317,150442366,253526814,430635477,935996193,73365289,537135682,946597851,142169746,59626385,1235780,19110,196,1],"peak_states":649845,"extends":130260845,"inserts":256542507,"t":275.72}, +{"prime":1073741717,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030899121,810082942,156994426,55041325,459690663,442974425,626544723,491834760,339772848,775177648,515377283,668030968,237299250,772503913,983601849,769218395,947898300,206654750,719893347,971153956,460497974,125408227,609419524,50296919,295171478,672661424,81688027,376605336,357198412,165029480,158344413,476830520,297461726,687875661,985001228,58950207,193656963,186805628,642846497,294694075,464418735,352587188,758156939,1039784877,231273053,863605077,14387559,608410941,941189439,1063007093,760473230,792159662,455818645,274814684,36257456,336620393,482647982,247532016,542611057,156560636,1012947408,213837941,169832926,331468605,424939360,909351302,1045359766,1042534931,417590910,650266000,588925415,196081942,1018937396,448614197,964506515,178128505,154383177,492040385,337472371,717808784,727816730,692569825,362970043,582441965,42535769,826091257,642367997,823177309,970483248,199150765,867300665,652306342,751554120,228269939,945080263,1039373701,527914796,297610993,640090322,269500208,43064867,1053463436,181792169,931541736,623248740,273303999,525615657,466962405,45784664,817591751,950885301,742163373,138693759,77141761,790597208,684079067,328590647,270923745,86601032,189559896,589257113,892472813,913226802,955953903,1051339109,885426774,737958201,634806411,513306436,560132917,862588450,485690270,842263953,51132609,150420657,514006023,698514185,277991619,616778999,797213663,64649376,88863099,312062530,152945262,722830010,910291786,689983669,148226963,889279277,869819658,211335006,59898978,501895700,618016076,848178699,113989814,235526955,766850114,312117504,75357654,547900313,858676888,57343162,695597551,570792862,425474242,828551610,464642319,937814739,73452347,537139366,946597985,142169750,59626385,1235780,19110,196,1],"peak_states":649845,"extends":130260845,"inserts":256542507,"t":317.11}, +{"prime":1073741689,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030900101,810115982,157918146,77459721,939801091,1039420997,339527035,855920479,1020607385,921135432,167229540,487643821,545007623,489345873,523224194,248464737,648557374,365636086,432742130,472764043,747356825,141693492,251774031,148543649,687615768,582229241,796327458,550459288,508567777,952455604,55353999,704119989,638369391,857077288,315245310,570112654,835308054,489778093,706484321,535162423,130616386,917582909,789751391,188280420,155273744,853858909,491323214,436384414,171240060,955317380,840016501,6387445,540931281,986731410,51235564,235018849,898139250,414951156,228617566,1019741220,419804887,656211917,564920795,839164122,486780900,143709354,706134264,307691143,298398632,643495275,750844144,85591474,323999689,292573934,942155865,865532587,651165370,432367088,992398046,6804167,320098861,29870143,880100703,522997679,926125171,1020697060,591288607,730065648,532539713,880824343,6463223,276365728,369031137,839299848,19571897,57347194,874093383,980698770,98294134,338399808,467357742,55603162,45870469,810995207,308882788,875806561,320917041,469779912,1045684572,888399772,610817541,882221826,408794004,321601119,295564448,1039981258,749568921,213086530,894055679,431394648,194984242,846302876,478824811,363189466,1001532247,790578795,746838828,1023367624,110265667,824197621,367750938,352296845,940692256,1063077719,755926972,924875515,343606577,726485731,256308627,374844214,183880784,730590211,40999056,1039855176,123205930,431405262,732635495,793247144,1051701470,86522160,74511946,83540835,762083898,179793932,319160513,416251016,436132573,787539653,12218407,213242103,395061679,689175094,570332511,354397706,556425010,1054698799,288965242,940738107,963274383,74671159,537190942,946599861,142169806,59626385,1235780,19110,196,1],"peak_states":649845,"extends":130260845,"inserts":256542507,"t":329.82} +]} +507,"t":281.01} +]} diff --git a/results/transfer-subfrontier-20260913/raw/crt_n14.rows b/results/transfer-subfrontier-20260913/raw/crt_n14.rows new file mode 100644 index 000000000..91024dfb8 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_n14.rows @@ -0,0 +1,91 @@ +{"pass":0,"row":2,"states":259423,"t":1.31,"extends":1217027,"inserts":2417671} +{"pass":0,"row":3,"states":535419,"t":10.54,"extends":7545332,"inserts":14916813} +{"pass":0,"row":4,"states":632184,"t":27.01,"extends":17525538,"inserts":34582698} +{"pass":0,"row":5,"states":648560,"t":46.37,"extends":28631346,"inserts":56451215} +{"pass":0,"row":6,"states":649815,"t":66.26,"extends":39911462,"inserts":78660054} +{"pass":0,"row":7,"states":649845,"t":87.45,"extends":51204868,"inserts":100894840} +{"pass":0,"row":8,"states":649845,"t":111.37,"extends":62498579,"inserts":123130221} +{"pass":0,"row":9,"states":649845,"t":134.02,"extends":73792290,"inserts":145365602} +{"pass":0,"row":10,"states":649845,"t":157.30,"extends":85086001,"inserts":167600983} +{"pass":0,"row":11,"states":649845,"t":182.35,"extends":96379712,"inserts":189836364} +{"pass":0,"row":12,"states":649845,"t":208.37,"extends":107673423,"inserts":212071745} +{"pass":0,"row":13,"states":649845,"t":235.09,"extends":118967134,"inserts":234307126} +{"pass":0,"row":14,"states":649845,"t":262.36,"extends":130260845,"inserts":256542507} +{"pass":1,"row":2,"states":259423,"t":1.30,"extends":1217027,"inserts":2417671} +{"pass":1,"row":3,"states":535419,"t":10.25,"extends":7545332,"inserts":14916813} +{"pass":1,"row":4,"states":632184,"t":25.82,"extends":17525538,"inserts":34582698} +{"pass":1,"row":5,"states":648560,"t":44.19,"extends":28631346,"inserts":56451215} +{"pass":1,"row":6,"states":649815,"t":64.17,"extends":39911462,"inserts":78660054} +{"pass":1,"row":7,"states":649845,"t":85.55,"extends":51204868,"inserts":100894840} +{"pass":1,"row":8,"states":649845,"t":109.36,"extends":62498579,"inserts":123130221} +{"pass":1,"row":9,"states":649845,"t":132.25,"extends":73792290,"inserts":145365602} +{"pass":1,"row":10,"states":649845,"t":155.68,"extends":85086001,"inserts":167600983} +{"pass":1,"row":11,"states":649845,"t":180.76,"extends":96379712,"inserts":189836364} +{"pass":1,"row":12,"states":649845,"t":206.76,"extends":107673423,"inserts":212071745} +{"pass":1,"row":13,"states":649845,"t":233.85,"extends":118967134,"inserts":234307126} +{"pass":1,"row":14,"states":649845,"t":261.67,"extends":130260845,"inserts":256542507} +{"pass":2,"row":2,"states":259423,"t":1.39,"extends":1217027,"inserts":2417671} +{"pass":2,"row":3,"states":535419,"t":10.72,"extends":7545332,"inserts":14916813} +{"pass":2,"row":4,"states":632184,"t":26.90,"extends":17525538,"inserts":34582698} +{"pass":2,"row":5,"states":648560,"t":46.32,"extends":28631346,"inserts":56451215} +{"pass":2,"row":6,"states":649815,"t":66.31,"extends":39911462,"inserts":78660054} +{"pass":2,"row":7,"states":649845,"t":87.61,"extends":51204868,"inserts":100894840} +{"pass":2,"row":8,"states":649845,"t":111.66,"extends":62498579,"inserts":123130221} +{"pass":2,"row":9,"states":649845,"t":134.46,"extends":73792290,"inserts":145365602} +{"pass":2,"row":10,"states":649845,"t":157.88,"extends":85086001,"inserts":167600983} +{"pass":2,"row":11,"states":649845,"t":183.01,"extends":96379712,"inserts":189836364} +{"pass":2,"row":12,"states":649845,"t":209.17,"extends":107673423,"inserts":212071745} +{"pass":2,"row":13,"states":649845,"t":236.03,"extends":118967134,"inserts":234307126} +{"pass":2,"row":14,"states":649845,"t":263.34,"extends":130260845,"inserts":256542507} +{"pass":3,"row":2,"states":259423,"t":1.29,"extends":1217027,"inserts":2417671} +{"pass":3,"row":3,"states":535419,"t":10.25,"extends":7545332,"inserts":14916813} +{"pass":3,"row":4,"states":632184,"t":25.87,"extends":17525538,"inserts":34582698} +{"pass":3,"row":5,"states":648560,"t":44.42,"extends":28631346,"inserts":56451215} +{"pass":3,"row":6,"states":649815,"t":64.47,"extends":39911462,"inserts":78660054} +{"pass":3,"row":7,"states":649845,"t":86.57,"extends":51204868,"inserts":100894840} +{"pass":3,"row":8,"states":649845,"t":111.30,"extends":62498579,"inserts":123130221} +{"pass":3,"row":9,"states":649845,"t":135.00,"extends":73792290,"inserts":145365602} +{"pass":3,"row":10,"states":649845,"t":158.72,"extends":85086001,"inserts":167600983} +{"pass":3,"row":11,"states":649845,"t":183.80,"extends":96379712,"inserts":189836364} +{"pass":3,"row":12,"states":649845,"t":209.88,"extends":107673423,"inserts":212071745} +{"pass":3,"row":13,"states":649845,"t":236.56,"extends":118967134,"inserts":234307126} +{"pass":3,"row":14,"states":649845,"t":263.78,"extends":130260845,"inserts":256542507} +{"pass":4,"row":2,"states":259423,"t":1.34,"extends":1217027,"inserts":2417671} +{"pass":4,"row":3,"states":535419,"t":10.28,"extends":7545332,"inserts":14916813} +{"pass":4,"row":4,"states":632184,"t":25.91,"extends":17525538,"inserts":34582698} +{"pass":4,"row":5,"states":648560,"t":44.28,"extends":28631346,"inserts":56451215} +{"pass":4,"row":6,"states":649815,"t":64.28,"extends":39911462,"inserts":78660054} +{"pass":4,"row":7,"states":649845,"t":86.28,"extends":51204868,"inserts":100894840} +{"pass":4,"row":8,"states":649845,"t":111.40,"extends":62498579,"inserts":123130221} +{"pass":4,"row":9,"states":649845,"t":135.22,"extends":73792290,"inserts":145365602} +{"pass":4,"row":10,"states":649845,"t":159.83,"extends":85086001,"inserts":167600983} +{"pass":4,"row":11,"states":649845,"t":187.37,"extends":96379712,"inserts":189836364} +{"pass":4,"row":12,"states":649845,"t":216.12,"extends":107673423,"inserts":212071745} +{"pass":4,"row":13,"states":649845,"t":245.43,"extends":118967134,"inserts":234307126} +{"pass":4,"row":14,"states":649845,"t":275.37,"extends":130260845,"inserts":256542507} +{"pass":5,"row":2,"states":259423,"t":1.54,"extends":1217027,"inserts":2417671} +{"pass":5,"row":3,"states":535419,"t":11.70,"extends":7545332,"inserts":14916813} +{"pass":5,"row":4,"states":632184,"t":28.87,"extends":17525538,"inserts":34582698} +{"pass":5,"row":5,"states":648560,"t":48.91,"extends":28631346,"inserts":56451215} +{"pass":5,"row":6,"states":649815,"t":70.53,"extends":39911462,"inserts":78660054} +{"pass":5,"row":7,"states":649845,"t":93.82,"extends":51204868,"inserts":100894840} +{"pass":5,"row":8,"states":649845,"t":123.79,"extends":62498579,"inserts":123130221} +{"pass":5,"row":9,"states":649845,"t":153.25,"extends":73792290,"inserts":145365602} +{"pass":5,"row":10,"states":649845,"t":183.46,"extends":85086001,"inserts":167600983} +{"pass":5,"row":11,"states":649845,"t":215.69,"extends":96379712,"inserts":189836364} +{"pass":5,"row":12,"states":649845,"t":248.71,"extends":107673423,"inserts":212071745} +{"pass":5,"row":13,"states":649845,"t":282.32,"extends":118967134,"inserts":234307126} +{"pass":5,"row":14,"states":649845,"t":316.64,"extends":130260845,"inserts":256542507} +{"pass":6,"row":2,"states":259423,"t":1.87,"extends":1217027,"inserts":2417671} +{"pass":6,"row":3,"states":535419,"t":13.03,"extends":7545332,"inserts":14916813} +{"pass":6,"row":4,"states":632184,"t":32.65,"extends":17525538,"inserts":34582698} +{"pass":6,"row":5,"states":648560,"t":55.83,"extends":28631346,"inserts":56451215} +{"pass":6,"row":6,"states":649815,"t":80.98,"extends":39911462,"inserts":78660054} +{"pass":6,"row":7,"states":649845,"t":107.77,"extends":51204868,"inserts":100894840} +{"pass":6,"row":8,"states":649845,"t":137.21,"extends":62498579,"inserts":123130221} +{"pass":6,"row":9,"states":649845,"t":166.11,"extends":73792290,"inserts":145365602} +{"pass":6,"row":10,"states":649845,"t":195.86,"extends":85086001,"inserts":167600983} +{"pass":6,"row":11,"states":649845,"t":228.06,"extends":96379712,"inserts":189836364} +{"pass":6,"row":12,"states":649845,"t":261.09,"extends":107673423,"inserts":212071745} +{"pass":6,"row":13,"states":649845,"t":294.86,"extends":118967134,"inserts":234307126} +{"pass":6,"row":14,"states":649845,"t":329.33,"extends":130260845,"inserts":256542507} diff --git a/results/transfer-subfrontier-20260913/raw/crt_n14_parsed.json b/results/transfer-subfrontier-20260913/raw/crt_n14_parsed.json new file mode 100644 index 000000000..90cf88418 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_n14_parsed.json @@ -0,0 +1,1451 @@ +{ + "schema": "matching-one/p11-crt-root/v1", + "n": 14, + "m": 14, + "passes": [ + { + "prime": 1073741789, + "A": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 2860, + 290030, + 19466392, + 972830862, + 1030896601, + 809997982, + 154619146, + 1071135810, + 298862780, + 443173567, + 751061527, + 323169589, + 898525215, + 513927232, + 52235879, + 770483457, + 331659297, + 644082360, + 450610065, + 831498427, + 767910969, + 881357987, + 939329250, + 807655273, + 807914300, + 490192059, + 270611682, + 271472277, + 896882023, + 383682001, + 607496396, + 587403000, + 1049078861, + 417759882, + 427809240, + 352845794, + 94078372, + 672950018, + 298084305, + 585751436, + 431235002, + 1003381541, + 454371423, + 517591337, + 156960263, + 950637370, + 707011449, + 842544381, + 137593947, + 82944159, + 159383471, + 240624969, + 1031722237, + 832831032, + 683100758, + 1034385146, + 666771175, + 372771539, + 526920618, + 922408402, + 547699944, + 850698753, + 500422304, + 578628706, + 348860577, + 969614206, + 848593756, + 569843865, + 788572165, + 524750574, + 172429350, + 864047857, + 782399943, + 193032259, + 32892067, + 176267958, + 638651922, + 15711829, + 882800244, + 886935220, + 623939549, + 900906317, + 952409211, + 949100929, + 146007620, + 352354274, + 979618475, + 43161874, + 345433632, + 194187223, + 975224349, + 468586669, + 545017559, + 1031991513, + 470742, + 857376466, + 201081001, + 917569152, + 136429796, + 331901581, + 858486361, + 614877626, + 153413937, + 463451920, + 730008197, + 294390452, + 26038985, + 328442655, + 276748775, + 837282534, + 353907932, + 838936458, + 542434038, + 86610624, + 469364585, + 944216563, + 758410230, + 1021263776, + 547462624, + 997188291, + 736556394, + 864503972, + 546085637, + 542242135, + 158266991, + 793170218, + 103961288, + 616452992, + 501296419, + 159947570, + 834193831, + 489805451, + 348228576, + 365580776, + 963356555, + 100853671, + 884159834, + 667390003, + 1065732708, + 197843650, + 216782982, + 562733548, + 824181596, + 412358554, + 811372133, + 648073149, + 710261311, + 1049198427, + 572493278, + 393404720, + 486916640, + 951810154, + 616338064, + 212638546, + 498287880, + 415530293, + 434570244, + 323967260, + 136421695, + 178211681, + 886213607, + 622756289, + 1057417524, + 43778196, + 649470371, + 975569255, + 32081252, + 504725792, + 761551137, + 188022967, + 528752945, + 314137796, + 872347083, + 70318259, + 537006742, + 946593161, + 142169606, + 59626385, + 1235780, + 19110, + 196, + 1 + ], + "peak_states": 649845, + "extends": 130260845, + "inserts": 256542507, + "t": 262.67 + }, + { + "prime": 1073741783, + "A": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 2860, + 290030, + 19466392, + 972830862, + 1030896811, + 810005062, + 154817086, + 2197963, + 401743580, + 264199887, + 382769109, + 784584600, + 46183472, + 529424272, + 13684058, + 1042333047, + 817327824, + 94215546, + 35785241, + 350129264, + 561033977, + 308051071, + 483471798, + 710571064, + 883194574, + 459357835, + 36307453, + 1043564988, + 856371372, + 144229367, + 1033040932, + 268250836, + 837615013, + 461512992, + 55007810, + 307285296, + 951920358, + 607741209, + 474938615, + 452179594, + 932449932, + 143472594, + 639552608, + 990468067, + 403596816, + 1000192027, + 76945525, + 918134584, + 816995289, + 678053816, + 98691002, + 838070598, + 270764508, + 168681279, + 205068520, + 961340915, + 539912655, + 718318798, + 191612965, + 338939663, + 107311920, + 423953975, + 213239864, + 588496118, + 277938954, + 100650056, + 56114786, + 569100133, + 739969049, + 534116400, + 339401396, + 107327884, + 528744331, + 394354080, + 55100662, + 788564594, + 136757071, + 435753124, + 940740035, + 869671321, + 660087342, + 103219814, + 479758802, + 358715616, + 84631055, + 507745750, + 469166580, + 339691305, + 723456503, + 618006218, + 1036920677, + 71277639, + 371524612, + 128788458, + 61510604, + 129609027, + 523871192, + 768196643, + 223460315, + 416989538, + 30476618, + 357890471, + 258315749, + 920954143, + 103427729, + 718183784, + 55376694, + 215695858, + 256411283, + 684356350, + 605084307, + 667654725, + 311508992, + 197409058, + 612749877, + 395645179, + 484797878, + 749776837, + 382402103, + 6125922, + 400823854, + 461734635, + 351302203, + 232119671, + 753832157, + 950349770, + 287397618, + 118059584, + 742241386, + 121546553, + 84255825, + 28949434, + 246960313, + 151565416, + 884338372, + 222576188, + 331976692, + 887682861, + 774363064, + 776050472, + 214204139, + 237101102, + 322483270, + 657649123, + 198485739, + 730632241, + 383877286, + 65546383, + 788750114, + 569175510, + 901860537, + 142519913, + 756946555, + 941438116, + 100571770, + 49009386, + 557412342, + 621726291, + 102771592, + 469990869, + 444951333, + 350651580, + 847945641, + 507228320, + 738333228, + 834837266, + 209473764, + 967721742, + 298239066, + 1013115277, + 106343653, + 416158316, + 877802721, + 70579433, + 537017794, + 946593563, + 142169618, + 59626385, + 1235780, + 19110, + 196, + 1 + ], + "peak_states": 649845, + "extends": 130260845, + "inserts": 256542507, + "t": 261.99 + }, + { + "prime": 1073741741, + "A": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 2860, + 290030, + 19466392, + 972830862, + 1030898281, + 810054622, + 156202666, + 35825557, + 48167439, + 85126540, + 1025958158, + 793431446, + 524648485, + 669843040, + 136569359, + 997251747, + 728351673, + 42532207, + 1031669425, + 54580767, + 527707080, + 38357793, + 918910885, + 50927415, + 886621266, + 811664961, + 587622468, + 705443464, + 78872515, + 429921435, + 800131517, + 795664469, + 804082866, + 989292358, + 975062474, + 77284114, + 708026313, + 703416729, + 713315980, + 1062427534, + 187186658, + 159116981, + 1005670240, + 116951544, + 890183796, + 407664089, + 373001157, + 745884431, + 1047640719, + 109608501, + 958313740, + 235214585, + 101090884, + 580870195, + 69848291, + 664573600, + 214288134, + 510356746, + 509880630, + 265992248, + 403718395, + 757012801, + 1005160241, + 30949534, + 97618378, + 301614837, + 4310058, + 552358494, + 946288155, + 63424105, + 894091767, + 662830682, + 871400589, + 983849434, + 207704598, + 224718116, + 372198815, + 1040915805, + 908392666, + 873379257, + 725778892, + 518714419, + 649604327, + 906927512, + 884160508, + 545161668, + 306256293, + 336800629, + 328302626, + 378601640, + 224144382, + 133388985, + 633361515, + 652642875, + 684402191, + 675868583, + 221175441, + 570357984, + 148195990, + 105431858, + 496506200, + 690729528, + 779616678, + 1034123057, + 517599543, + 1036599151, + 1000971019, + 988128446, + 547859044, + 792283184, + 925692962, + 738082136, + 41215676, + 981051674, + 512788993, + 14126923, + 364455569, + 843963880, + 670174346, + 968627737, + 1013289391, + 875114616, + 1034614453, + 193124774, + 120623221, + 737439955, + 643892408, + 535926705, + 1065143545, + 398927435, + 388774271, + 460162406, + 204113662, + 465357994, + 268543201, + 988254537, + 654568898, + 52576742, + 355423411, + 504802836, + 16331069, + 1040157191, + 331564904, + 358582862, + 911262182, + 150906557, + 109509627, + 662485100, + 1045373896, + 555523604, + 599720423, + 835565190, + 127209183, + 781495201, + 237096732, + 581522970, + 895310302, + 969775950, + 645065929, + 801803209, + 172125425, + 868397317, + 619916671, + 234038908, + 376825684, + 61049615, + 396161207, + 989007721, + 276397728, + 346319065, + 370704504, + 56560215, + 915992187, + 72407651, + 537095158, + 946596377, + 142169702, + 59626385, + 1235780, + 19110, + 196, + 1 + ], + "peak_states": 649845, + "extends": 130260845, + "inserts": 256542507, + "t": 263.65 + }, + { + "prime": 1073741723, + "A": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 2860, + 290030, + 19466392, + 972830862, + 1030898911, + 810075862, + 156796486, + 50237383, + 356809857, + 621947853, + 994832941, + 30354115, + 117427406, + 747132952, + 399635228, + 777998954, + 201823035, + 22271298, + 479895261, + 655700325, + 170431793, + 253050190, + 613630192, + 848277446, + 309557289, + 414107817, + 565884436, + 120863347, + 999043412, + 841595961, + 902622232, + 1049786835, + 545396633, + 800885997, + 921066679, + 57587879, + 789704845, + 1072010194, + 897003848, + 89182571, + 287437739, + 626892688, + 876169046, + 108781855, + 451020940, + 325991086, + 446858069, + 399279515, + 969596953, + 692986253, + 771562843, + 527764722, + 774596594, + 136627568, + 371286756, + 730038619, + 821716265, + 823691412, + 885588182, + 883906084, + 29228253, + 359629038, + 954982102, + 117369192, + 409403763, + 497247590, + 710764709, + 460413839, + 55949364, + 772080809, + 1025925829, + 806621391, + 694319169, + 16064637, + 122552765, + 1039414515, + 61359271, + 294888982, + 77295101, + 530891699, + 641753676, + 432455838, + 573151738, + 626951707, + 583029602, + 760807891, + 957443206, + 451972334, + 159568475, + 539806595, + 79223582, + 517205673, + 677280359, + 571861300, + 591949436, + 574860935, + 930071701, + 583237748, + 758862557, + 970056754, + 860567925, + 844036105, + 341978396, + 599585900, + 1053223923, + 997130492, + 79648930, + 577685243, + 627823542, + 57701263, + 238389098, + 608000387, + 346361795, + 890770613, + 422181306, + 899043160, + 282545471, + 121253613, + 200756695, + 535382600, + 662342537, + 569775310, + 84013178, + 951725834, + 428618443, + 859985685, + 536192825, + 266910988, + 283144338, + 342291418, + 453053209, + 361002568, + 827459316, + 584513970, + 415542293, + 419220635, + 27256175, + 756163757, + 291387636, + 1018102795, + 1052536, + 603608973, + 483221514, + 820263853, + 489984041, + 736057714, + 270432573, + 90873504, + 739077340, + 642155223, + 845746920, + 106515634, + 764478446, + 158967126, + 361128225, + 537312080, + 822823944, + 793144751, + 327775041, + 951993433, + 260456664, + 1007580394, + 226860011, + 533544265, + 653691483, + 916383919, + 946353161, + 231996747, + 1034058631, + 674120433, + 177218945, + 362621793, + 932359101, + 73191173, + 537128314, + 946597583, + 142169738, + 59626385, + 1235780, + 19110, + 196, + 1 + ], + "peak_states": 649845, + "extends": 130260845, + "inserts": 256542507, + "t": 264.09 + }, + { + "prime": 1073741719, + "A": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 2860, + 290030, + 19466392, + 972830862, + 1030899051, + 810080582, + 156928446, + 53440011, + 425397061, + 860546138, + 33479607, + 695921122, + 981475964, + 765702672, + 475238074, + 1044765859, + 34795457, + 400835121, + 1055875028, + 974810313, + 559370021, + 129033276, + 909866569, + 71198165, + 786689939, + 531821827, + 678756546, + 958878216, + 763027758, + 22865561, + 292096097, + 366089454, + 584859099, + 359478717, + 892559373, + 382923967, + 994415640, + 942955217, + 340779854, + 496062815, + 624292054, + 246448051, + 559871174, + 867042511, + 915945130, + 28766169, + 824758739, + 1046422918, + 468583834, + 963455778, + 978558686, + 57559681, + 169890353, + 31967898, + 409162282, + 755179479, + 391883213, + 323644705, + 375136746, + 789009521, + 509267780, + 683896949, + 55111283, + 734711236, + 834646040, + 1022069786, + 70942757, + 330629793, + 271873499, + 659540349, + 252422578, + 992930908, + 1008858358, + 445062863, + 703309227, + 19788937, + 1055299079, + 981633306, + 27499089, + 344913643, + 751223596, + 907248126, + 828503448, + 534303667, + 161897740, + 43123659, + 570404021, + 805343449, + 517518865, + 854610539, + 946646668, + 124016446, + 830216521, + 797641028, + 930822141, + 1007621216, + 257606222, + 27219589, + 304663103, + 333250072, + 62194409, + 654535248, + 556757348, + 129651318, + 995248609, + 891638230, + 943218701, + 502112466, + 665036738, + 867007343, + 93862213, + 410859142, + 962970408, + 477947189, + 689636993, + 853559586, + 836726636, + 388887504, + 121869324, + 121588503, + 321300650, + 978740333, + 966804189, + 294831718, + 397564281, + 909318437, + 28512136, + 174213509, + 430786624, + 934555240, + 481225802, + 38008327, + 739471243, + 403930076, + 195946275, + 384794237, + 675108651, + 120498328, + 17099503, + 642089211, + 429619879, + 243621258, + 619061403, + 248484336, + 720666786, + 303970738, + 497660875, + 921206840, + 1063754084, + 1022283136, + 433956963, + 557994626, + 589772715, + 340014622, + 116513302, + 856355644, + 184156452, + 6245773, + 798920934, + 502303727, + 87783501, + 684087806, + 172262439, + 497697000, + 932198268, + 877073929, + 711519600, + 183143934, + 725214317, + 150442366, + 253526814, + 430635477, + 935996193, + 73365289, + 537135682, + 946597851, + 142169746, + 59626385, + 1235780, + 19110, + 196, + 1 + ], + "peak_states": 649845, + "extends": 130260845, + "inserts": 256542507, + "t": 275.72 + }, + { + "prime": 1073741717, + "A": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 2860, + 290030, + 19466392, + 972830862, + 1030899121, + 810082942, + 156994426, + 55041325, + 459690663, + 442974425, + 626544723, + 491834760, + 339772848, + 775177648, + 515377283, + 668030968, + 237299250, + 772503913, + 983601849, + 769218395, + 947898300, + 206654750, + 719893347, + 971153956, + 460497974, + 125408227, + 609419524, + 50296919, + 295171478, + 672661424, + 81688027, + 376605336, + 357198412, + 165029480, + 158344413, + 476830520, + 297461726, + 687875661, + 985001228, + 58950207, + 193656963, + 186805628, + 642846497, + 294694075, + 464418735, + 352587188, + 758156939, + 1039784877, + 231273053, + 863605077, + 14387559, + 608410941, + 941189439, + 1063007093, + 760473230, + 792159662, + 455818645, + 274814684, + 36257456, + 336620393, + 482647982, + 247532016, + 542611057, + 156560636, + 1012947408, + 213837941, + 169832926, + 331468605, + 424939360, + 909351302, + 1045359766, + 1042534931, + 417590910, + 650266000, + 588925415, + 196081942, + 1018937396, + 448614197, + 964506515, + 178128505, + 154383177, + 492040385, + 337472371, + 717808784, + 727816730, + 692569825, + 362970043, + 582441965, + 42535769, + 826091257, + 642367997, + 823177309, + 970483248, + 199150765, + 867300665, + 652306342, + 751554120, + 228269939, + 945080263, + 1039373701, + 527914796, + 297610993, + 640090322, + 269500208, + 43064867, + 1053463436, + 181792169, + 931541736, + 623248740, + 273303999, + 525615657, + 466962405, + 45784664, + 817591751, + 950885301, + 742163373, + 138693759, + 77141761, + 790597208, + 684079067, + 328590647, + 270923745, + 86601032, + 189559896, + 589257113, + 892472813, + 913226802, + 955953903, + 1051339109, + 885426774, + 737958201, + 634806411, + 513306436, + 560132917, + 862588450, + 485690270, + 842263953, + 51132609, + 150420657, + 514006023, + 698514185, + 277991619, + 616778999, + 797213663, + 64649376, + 88863099, + 312062530, + 152945262, + 722830010, + 910291786, + 689983669, + 148226963, + 889279277, + 869819658, + 211335006, + 59898978, + 501895700, + 618016076, + 848178699, + 113989814, + 235526955, + 766850114, + 312117504, + 75357654, + 547900313, + 858676888, + 57343162, + 695597551, + 570792862, + 425474242, + 828551610, + 464642319, + 937814739, + 73452347, + 537139366, + 946597985, + 142169750, + 59626385, + 1235780, + 19110, + 196, + 1 + ], + "peak_states": 649845, + "extends": 130260845, + "inserts": 256542507, + "t": 317.11 + }, + { + "prime": 1073741689, + "A": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 2860, + 290030, + 19466392, + 972830862, + 1030900101, + 810115982, + 157918146, + 77459721, + 939801091, + 1039420997, + 339527035, + 855920479, + 1020607385, + 921135432, + 167229540, + 487643821, + 545007623, + 489345873, + 523224194, + 248464737, + 648557374, + 365636086, + 432742130, + 472764043, + 747356825, + 141693492, + 251774031, + 148543649, + 687615768, + 582229241, + 796327458, + 550459288, + 508567777, + 952455604, + 55353999, + 704119989, + 638369391, + 857077288, + 315245310, + 570112654, + 835308054, + 489778093, + 706484321, + 535162423, + 130616386, + 917582909, + 789751391, + 188280420, + 155273744, + 853858909, + 491323214, + 436384414, + 171240060, + 955317380, + 840016501, + 6387445, + 540931281, + 986731410, + 51235564, + 235018849, + 898139250, + 414951156, + 228617566, + 1019741220, + 419804887, + 656211917, + 564920795, + 839164122, + 486780900, + 143709354, + 706134264, + 307691143, + 298398632, + 643495275, + 750844144, + 85591474, + 323999689, + 292573934, + 942155865, + 865532587, + 651165370, + 432367088, + 992398046, + 6804167, + 320098861, + 29870143, + 880100703, + 522997679, + 926125171, + 1020697060, + 591288607, + 730065648, + 532539713, + 880824343, + 6463223, + 276365728, + 369031137, + 839299848, + 19571897, + 57347194, + 874093383, + 980698770, + 98294134, + 338399808, + 467357742, + 55603162, + 45870469, + 810995207, + 308882788, + 875806561, + 320917041, + 469779912, + 1045684572, + 888399772, + 610817541, + 882221826, + 408794004, + 321601119, + 295564448, + 1039981258, + 749568921, + 213086530, + 894055679, + 431394648, + 194984242, + 846302876, + 478824811, + 363189466, + 1001532247, + 790578795, + 746838828, + 1023367624, + 110265667, + 824197621, + 367750938, + 352296845, + 940692256, + 1063077719, + 755926972, + 924875515, + 343606577, + 726485731, + 256308627, + 374844214, + 183880784, + 730590211, + 40999056, + 1039855176, + 123205930, + 431405262, + 732635495, + 793247144, + 1051701470, + 86522160, + 74511946, + 83540835, + 762083898, + 179793932, + 319160513, + 416251016, + 436132573, + 787539653, + 12218407, + 213242103, + 395061679, + 689175094, + 570332511, + 354397706, + 556425010, + 1054698799, + 288965242, + 940738107, + 963274383, + 74671159, + 537190942, + 946599861, + 142169806, + 59626385, + 1235780, + 19110, + 196, + 1 + ], + "peak_states": 649845, + "extends": 130260845, + "inserts": 256542507, + "t": 329.82 + } + ], + "restart_prime0_identical": true, + "checkpoint_sha256": "8ec26ebf6c42fe07334025ddb5e77e1cfc79164930b7332df6571630806cc4f3" +} \ No newline at end of file diff --git a/results/transfer-subfrontier-20260913/raw/crt_n14_restart.json b/results/transfer-subfrontier-20260913/raw/crt_n14_restart.json new file mode 100644 index 000000000..9863253fd --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_n14_restart.json @@ -0,0 +1,3 @@ +{"mode":"crt","n":14,"m":14,"primes":[1073741789],"passes":[ +{"prime":1073741789,"A":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,14,2860,290030,19466392,972830862,1030896601,809997982,154619146,1071135810,298862780,443173567,751061527,323169589,898525215,513927232,52235879,770483457,331659297,644082360,450610065,831498427,767910969,881357987,939329250,807655273,807914300,490192059,270611682,271472277,896882023,383682001,607496396,587403000,1049078861,417759882,427809240,352845794,94078372,672950018,298084305,585751436,431235002,1003381541,454371423,517591337,156960263,950637370,707011449,842544381,137593947,82944159,159383471,240624969,1031722237,832831032,683100758,1034385146,666771175,372771539,526920618,922408402,547699944,850698753,500422304,578628706,348860577,969614206,848593756,569843865,788572165,524750574,172429350,864047857,782399943,193032259,32892067,176267958,638651922,15711829,882800244,886935220,623939549,900906317,952409211,949100929,146007620,352354274,979618475,43161874,345433632,194187223,975224349,468586669,545017559,1031991513,470742,857376466,201081001,917569152,136429796,331901581,858486361,614877626,153413937,463451920,730008197,294390452,26038985,328442655,276748775,837282534,353907932,838936458,542434038,86610624,469364585,944216563,758410230,1021263776,547462624,997188291,736556394,864503972,546085637,542242135,158266991,793170218,103961288,616452992,501296419,159947570,834193831,489805451,348228576,365580776,963356555,100853671,884159834,667390003,1065732708,197843650,216782982,562733548,824181596,412358554,811372133,648073149,710261311,1049198427,572493278,393404720,486916640,951810154,616338064,212638546,498287880,415530293,434570244,323967260,136421695,178211681,886213607,622756289,1057417524,43778196,649470371,975569255,32081252,504725792,761551137,188022967,528752945,314137796,872347083,70318259,537006742,946593161,142169606,59626385,1235780,19110,196,1],"peak_states":649845,"extends":79055977,"inserts":155647667,"t":183.86} +]} diff --git a/results/transfer-subfrontier-20260913/raw/crt_rows_n11.rows b/results/transfer-subfrontier-20260913/raw/crt_rows_n11.rows new file mode 100644 index 000000000..b8faf3405 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_rows_n11.rows @@ -0,0 +1,50 @@ +{"pass":0,"row":2,"states":17553,"t":0.05,"extends":80307,"inserts":158567} +{"pass":0,"row":3,"states":27756,"t":0.29,"extends":372359,"inserts":731701} +{"pass":0,"row":4,"states":29811,"t":0.65,"extends":760213,"inserts":1491291} +{"pass":0,"row":5,"states":29962,"t":1.06,"extends":1165887,"inserts":2285478} +{"pass":0,"row":6,"states":29964,"t":1.50,"extends":1572772,"inserts":3082011} +{"pass":0,"row":7,"states":29964,"t":1.98,"extends":1979674,"inserts":3878577} +{"pass":0,"row":8,"states":29964,"t":2.48,"extends":2386576,"inserts":4675143} +{"pass":0,"row":9,"states":29964,"t":2.99,"extends":2793478,"inserts":5471709} +{"pass":0,"row":10,"states":29964,"t":3.50,"extends":3200380,"inserts":6268275} +{"pass":0,"row":11,"states":29964,"t":4.02,"extends":3607282,"inserts":7064841} +{"pass":1,"row":2,"states":17553,"t":0.04,"extends":80307,"inserts":158567} +{"pass":1,"row":3,"states":27756,"t":0.28,"extends":372359,"inserts":731701} +{"pass":1,"row":4,"states":29811,"t":0.63,"extends":760213,"inserts":1491291} +{"pass":1,"row":5,"states":29962,"t":1.04,"extends":1165887,"inserts":2285478} +{"pass":1,"row":6,"states":29964,"t":1.47,"extends":1572772,"inserts":3082011} +{"pass":1,"row":7,"states":29964,"t":1.92,"extends":1979674,"inserts":3878577} +{"pass":1,"row":8,"states":29964,"t":2.39,"extends":2386576,"inserts":4675143} +{"pass":1,"row":9,"states":29964,"t":2.89,"extends":2793478,"inserts":5471709} +{"pass":1,"row":10,"states":29964,"t":3.40,"extends":3200380,"inserts":6268275} +{"pass":1,"row":11,"states":29964,"t":3.93,"extends":3607282,"inserts":7064841} +{"pass":2,"row":2,"states":17553,"t":0.04,"extends":80307,"inserts":158567} +{"pass":2,"row":3,"states":27756,"t":0.27,"extends":372359,"inserts":731701} +{"pass":2,"row":4,"states":29811,"t":0.61,"extends":760213,"inserts":1491291} +{"pass":2,"row":5,"states":29962,"t":1.00,"extends":1165887,"inserts":2285478} +{"pass":2,"row":6,"states":29964,"t":1.40,"extends":1572772,"inserts":3082011} +{"pass":2,"row":7,"states":29964,"t":1.85,"extends":1979674,"inserts":3878577} +{"pass":2,"row":8,"states":29964,"t":2.34,"extends":2386576,"inserts":4675143} +{"pass":2,"row":9,"states":29964,"t":2.84,"extends":2793478,"inserts":5471709} +{"pass":2,"row":10,"states":29964,"t":3.34,"extends":3200380,"inserts":6268275} +{"pass":2,"row":11,"states":29964,"t":3.88,"extends":3607282,"inserts":7064841} +{"pass":3,"row":2,"states":17553,"t":0.04,"extends":80307,"inserts":158567} +{"pass":3,"row":3,"states":27756,"t":0.27,"extends":372359,"inserts":731701} +{"pass":3,"row":4,"states":29811,"t":0.61,"extends":760213,"inserts":1491291} +{"pass":3,"row":5,"states":29962,"t":1.00,"extends":1165887,"inserts":2285478} +{"pass":3,"row":6,"states":29964,"t":1.44,"extends":1572772,"inserts":3082011} +{"pass":3,"row":7,"states":29964,"t":1.90,"extends":1979674,"inserts":3878577} +{"pass":3,"row":8,"states":29964,"t":2.40,"extends":2386576,"inserts":4675143} +{"pass":3,"row":9,"states":29964,"t":2.92,"extends":2793478,"inserts":5471709} +{"pass":3,"row":10,"states":29964,"t":3.44,"extends":3200380,"inserts":6268275} +{"pass":3,"row":11,"states":29964,"t":3.97,"extends":3607282,"inserts":7064841} +{"pass":4,"row":2,"states":17553,"t":0.04,"extends":80307,"inserts":158567} +{"pass":4,"row":3,"states":27756,"t":0.27,"extends":372359,"inserts":731701} +{"pass":4,"row":4,"states":29811,"t":0.62,"extends":760213,"inserts":1491291} +{"pass":4,"row":5,"states":29962,"t":1.02,"extends":1165887,"inserts":2285478} +{"pass":4,"row":6,"states":29964,"t":1.44,"extends":1572772,"inserts":3082011} +{"pass":4,"row":7,"states":29964,"t":1.88,"extends":1979674,"inserts":3878577} +{"pass":4,"row":8,"states":29964,"t":2.36,"extends":2386576,"inserts":4675143} +{"pass":4,"row":9,"states":29964,"t":2.87,"extends":2793478,"inserts":5471709} +{"pass":4,"row":10,"states":29964,"t":3.40,"extends":3200380,"inserts":6268275} +{"pass":4,"row":11,"states":29964,"t":3.94,"extends":3607282,"inserts":7064841} diff --git a/results/transfer-subfrontier-20260913/raw/crt_rows_n12.rows b/results/transfer-subfrontier-20260913/raw/crt_rows_n12.rows new file mode 100644 index 000000000..a0593e496 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_rows_n12.rows @@ -0,0 +1,55 @@ +{"pass":0,"row":2,"states":43225,"t":0.15,"extends":199815,"inserts":395535} +{"pass":0,"row":3,"states":74620,"t":1.08,"extends":1021008,"inserts":2011225} +{"pass":0,"row":4,"states":82459,"t":2.56,"extends":2174787,"inserts":4276331} +{"pass":0,"row":5,"states":83278,"t":4.24,"extends":3403919,"inserts":6688172} +{"pass":0,"row":6,"states":83304,"t":5.98,"extends":4640304,"inserts":9114105} +{"pass":0,"row":7,"states":83304,"t":7.82,"extends":5876926,"inserts":11540499} +{"pass":0,"row":8,"states":83304,"t":9.73,"extends":7113548,"inserts":13966893} +{"pass":0,"row":9,"states":83304,"t":11.65,"extends":8350170,"inserts":16393287} +{"pass":0,"row":10,"states":83304,"t":13.61,"extends":9586792,"inserts":18819681} +{"pass":0,"row":11,"states":83304,"t":15.61,"extends":10823414,"inserts":21246075} +{"pass":0,"row":12,"states":83304,"t":17.69,"extends":12060036,"inserts":23672469} +{"pass":1,"row":2,"states":43225,"t":0.15,"extends":199815,"inserts":395535} +{"pass":1,"row":3,"states":74620,"t":1.07,"extends":1021008,"inserts":2011225} +{"pass":1,"row":4,"states":82459,"t":2.55,"extends":2174787,"inserts":4276331} +{"pass":1,"row":5,"states":83278,"t":4.22,"extends":3403919,"inserts":6688172} +{"pass":1,"row":6,"states":83304,"t":5.96,"extends":4640304,"inserts":9114105} +{"pass":1,"row":7,"states":83304,"t":7.80,"extends":5876926,"inserts":11540499} +{"pass":1,"row":8,"states":83304,"t":9.71,"extends":7113548,"inserts":13966893} +{"pass":1,"row":9,"states":83304,"t":11.66,"extends":8350170,"inserts":16393287} +{"pass":1,"row":10,"states":83304,"t":13.62,"extends":9586792,"inserts":18819681} +{"pass":1,"row":11,"states":83304,"t":15.61,"extends":10823414,"inserts":21246075} +{"pass":1,"row":12,"states":83304,"t":17.68,"extends":12060036,"inserts":23672469} +{"pass":2,"row":2,"states":43225,"t":0.15,"extends":199815,"inserts":395535} +{"pass":2,"row":3,"states":74620,"t":1.07,"extends":1021008,"inserts":2011225} +{"pass":2,"row":4,"states":82459,"t":2.55,"extends":2174787,"inserts":4276331} +{"pass":2,"row":5,"states":83278,"t":4.24,"extends":3403919,"inserts":6688172} +{"pass":2,"row":6,"states":83304,"t":5.99,"extends":4640304,"inserts":9114105} +{"pass":2,"row":7,"states":83304,"t":7.84,"extends":5876926,"inserts":11540499} +{"pass":2,"row":8,"states":83304,"t":9.73,"extends":7113548,"inserts":13966893} +{"pass":2,"row":9,"states":83304,"t":11.65,"extends":8350170,"inserts":16393287} +{"pass":2,"row":10,"states":83304,"t":13.64,"extends":9586792,"inserts":18819681} +{"pass":2,"row":11,"states":83304,"t":15.64,"extends":10823414,"inserts":21246075} +{"pass":2,"row":12,"states":83304,"t":17.73,"extends":12060036,"inserts":23672469} +{"pass":3,"row":2,"states":43225,"t":0.15,"extends":199815,"inserts":395535} +{"pass":3,"row":3,"states":74620,"t":1.07,"extends":1021008,"inserts":2011225} +{"pass":3,"row":4,"states":82459,"t":2.54,"extends":2174787,"inserts":4276331} +{"pass":3,"row":5,"states":83278,"t":4.26,"extends":3403919,"inserts":6688172} +{"pass":3,"row":6,"states":83304,"t":6.02,"extends":4640304,"inserts":9114105} +{"pass":3,"row":7,"states":83304,"t":7.87,"extends":5876926,"inserts":11540499} +{"pass":3,"row":8,"states":83304,"t":9.78,"extends":7113548,"inserts":13966893} +{"pass":3,"row":9,"states":83304,"t":11.70,"extends":8350170,"inserts":16393287} +{"pass":3,"row":10,"states":83304,"t":13.66,"extends":9586792,"inserts":18819681} +{"pass":3,"row":11,"states":83304,"t":15.66,"extends":10823414,"inserts":21246075} +{"pass":3,"row":12,"states":83304,"t":17.74,"extends":12060036,"inserts":23672469} +{"pass":4,"row":2,"states":43225,"t":0.15,"extends":199815,"inserts":395535} +{"pass":4,"row":3,"states":74620,"t":1.06,"extends":1021008,"inserts":2011225} +{"pass":4,"row":4,"states":82459,"t":2.53,"extends":2174787,"inserts":4276331} +{"pass":4,"row":5,"states":83278,"t":4.22,"extends":3403919,"inserts":6688172} +{"pass":4,"row":6,"states":83304,"t":5.98,"extends":4640304,"inserts":9114105} +{"pass":4,"row":7,"states":83304,"t":7.82,"extends":5876926,"inserts":11540499} +{"pass":4,"row":8,"states":83304,"t":9.72,"extends":7113548,"inserts":13966893} +{"pass":4,"row":9,"states":83304,"t":11.64,"extends":8350170,"inserts":16393287} +{"pass":4,"row":10,"states":83304,"t":13.59,"extends":9586792,"inserts":18819681} +{"pass":4,"row":11,"states":83304,"t":15.58,"extends":10823414,"inserts":21246075} +{"pass":4,"row":12,"states":83304,"t":17.68,"extends":12060036,"inserts":23672469} diff --git a/results/transfer-subfrontier-20260913/raw/crt_rows_n13.rows b/results/transfer-subfrontier-20260913/raw/crt_rows_n13.rows new file mode 100644 index 000000000..13319b537 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/crt_rows_n13.rows @@ -0,0 +1,72 @@ +{"pass":0,"row":2,"states":106051,"t":0.47,"extends":494271,"inserts":980351} +{"pass":0,"row":3,"states":200109,"t":3.46,"extends":2782541,"inserts":5492017} +{"pass":0,"row":4,"states":228270,"t":8.59,"extends":6187580,"inserts":12190270} +{"pass":0,"row":5,"states":232116,"t":14.81,"extends":9891130,"inserts":19471335} +{"pass":0,"row":6,"states":232321,"t":20.93,"extends":13632108,"inserts":26825308} +{"pass":0,"row":7,"states":232323,"t":28.14,"extends":17375100,"inserts":34183206} +{"pass":0,"row":8,"states":232323,"t":35.48,"extends":21118111,"inserts":41541141} +{"pass":0,"row":9,"states":232323,"t":42.01,"extends":24861122,"inserts":48899076} +{"pass":0,"row":10,"states":232323,"t":48.67,"extends":28604133,"inserts":56257011} +{"pass":0,"row":11,"states":232323,"t":55.53,"extends":32347144,"inserts":63614946} +{"pass":0,"row":12,"states":232323,"t":62.82,"extends":36090155,"inserts":70972881} +{"pass":0,"row":13,"states":232323,"t":70.05,"extends":39833166,"inserts":78330816} +{"pass":1,"row":2,"states":106051,"t":0.40,"extends":494271,"inserts":980351} +{"pass":1,"row":3,"states":200109,"t":3.08,"extends":2782541,"inserts":5492017} +{"pass":1,"row":4,"states":228270,"t":7.73,"extends":6187580,"inserts":12190270} +{"pass":1,"row":5,"states":232116,"t":13.17,"extends":9891130,"inserts":19471335} +{"pass":1,"row":6,"states":232321,"t":18.93,"extends":13632108,"inserts":26825308} +{"pass":1,"row":7,"states":232323,"t":24.86,"extends":17375100,"inserts":34183206} +{"pass":1,"row":8,"states":232323,"t":30.95,"extends":21118111,"inserts":41541141} +{"pass":1,"row":9,"states":232323,"t":37.19,"extends":24861122,"inserts":48899076} +{"pass":1,"row":10,"states":232323,"t":43.56,"extends":28604133,"inserts":56257011} +{"pass":1,"row":11,"states":232323,"t":50.21,"extends":32347144,"inserts":63614946} +{"pass":1,"row":12,"states":232323,"t":57.35,"extends":36090155,"inserts":70972881} +{"pass":1,"row":13,"states":232323,"t":64.64,"extends":39833166,"inserts":78330816} +{"pass":2,"row":2,"states":106051,"t":0.41,"extends":494271,"inserts":980351} +{"pass":2,"row":3,"states":200109,"t":3.11,"extends":2782541,"inserts":5492017} +{"pass":2,"row":4,"states":228270,"t":7.77,"extends":6187580,"inserts":12190270} +{"pass":2,"row":5,"states":232116,"t":13.21,"extends":9891130,"inserts":19471335} +{"pass":2,"row":6,"states":232321,"t":18.86,"extends":13632108,"inserts":26825308} +{"pass":2,"row":7,"states":232323,"t":24.76,"extends":17375100,"inserts":34183206} +{"pass":2,"row":8,"states":232323,"t":30.85,"extends":21118111,"inserts":41541141} +{"pass":2,"row":9,"states":232323,"t":37.08,"extends":24861122,"inserts":48899076} +{"pass":2,"row":10,"states":232323,"t":43.41,"extends":28604133,"inserts":56257011} +{"pass":2,"row":11,"states":232323,"t":50.07,"extends":32347144,"inserts":63614946} +{"pass":2,"row":12,"states":232323,"t":57.12,"extends":36090155,"inserts":70972881} +{"pass":2,"row":13,"states":232323,"t":64.43,"extends":39833166,"inserts":78330816} +{"pass":3,"row":2,"states":106051,"t":0.42,"extends":494271,"inserts":980351} +{"pass":3,"row":3,"states":200109,"t":3.11,"extends":2782541,"inserts":5492017} +{"pass":3,"row":4,"states":228270,"t":7.76,"extends":6187580,"inserts":12190270} +{"pass":3,"row":5,"states":232116,"t":13.23,"extends":9891130,"inserts":19471335} +{"pass":3,"row":6,"states":232321,"t":18.88,"extends":13632108,"inserts":26825308} +{"pass":3,"row":7,"states":232323,"t":24.86,"extends":17375100,"inserts":34183206} +{"pass":3,"row":8,"states":232323,"t":30.98,"extends":21118111,"inserts":41541141} +{"pass":3,"row":9,"states":232323,"t":37.24,"extends":24861122,"inserts":48899076} +{"pass":3,"row":10,"states":232323,"t":43.65,"extends":28604133,"inserts":56257011} +{"pass":3,"row":11,"states":232323,"t":50.34,"extends":32347144,"inserts":63614946} +{"pass":3,"row":12,"states":232323,"t":57.41,"extends":36090155,"inserts":70972881} +{"pass":3,"row":13,"states":232323,"t":64.65,"extends":39833166,"inserts":78330816} +{"pass":4,"row":2,"states":106051,"t":0.40,"extends":494271,"inserts":980351} +{"pass":4,"row":3,"states":200109,"t":3.08,"extends":2782541,"inserts":5492017} +{"pass":4,"row":4,"states":228270,"t":7.79,"extends":6187580,"inserts":12190270} +{"pass":4,"row":5,"states":232116,"t":13.18,"extends":9891130,"inserts":19471335} +{"pass":4,"row":6,"states":232321,"t":18.84,"extends":13632108,"inserts":26825308} +{"pass":4,"row":7,"states":232323,"t":24.80,"extends":17375100,"inserts":34183206} +{"pass":4,"row":8,"states":232323,"t":30.89,"extends":21118111,"inserts":41541141} +{"pass":4,"row":9,"states":232323,"t":37.09,"extends":24861122,"inserts":48899076} +{"pass":4,"row":10,"states":232323,"t":43.54,"extends":28604133,"inserts":56257011} +{"pass":4,"row":11,"states":232323,"t":50.16,"extends":32347144,"inserts":63614946} +{"pass":4,"row":12,"states":232323,"t":57.29,"extends":36090155,"inserts":70972881} +{"pass":4,"row":13,"states":232323,"t":64.61,"extends":39833166,"inserts":78330816} +{"pass":5,"row":2,"states":106051,"t":0.43,"extends":494271,"inserts":980351} +{"pass":5,"row":3,"states":200109,"t":3.19,"extends":2782541,"inserts":5492017} +{"pass":5,"row":4,"states":228270,"t":7.90,"extends":6187580,"inserts":12190270} +{"pass":5,"row":5,"states":232116,"t":13.29,"extends":9891130,"inserts":19471335} +{"pass":5,"row":6,"states":232321,"t":18.93,"extends":13632108,"inserts":26825308} +{"pass":5,"row":7,"states":232323,"t":24.84,"extends":17375100,"inserts":34183206} +{"pass":5,"row":8,"states":232323,"t":30.92,"extends":21118111,"inserts":41541141} +{"pass":5,"row":9,"states":232323,"t":37.13,"extends":24861122,"inserts":48899076} +{"pass":5,"row":10,"states":232323,"t":43.58,"extends":28604133,"inserts":56257011} +{"pass":5,"row":11,"states":232323,"t":50.13,"extends":32347144,"inserts":63614946} +{"pass":5,"row":12,"states":232323,"t":57.17,"extends":36090155,"inserts":70972881} +{"pass":5,"row":13,"states":232323,"t":64.43,"extends":39833166,"inserts":78330816} diff --git a/results/transfer-subfrontier-20260913/raw/dpA_n10.json b/results/transfer-subfrontier-20260913/raw/dpA_n10.json new file mode 100644 index 000000000..178c0ec0f --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/dpA_n10.json @@ -0,0 +1 @@ +{"n": 10, "m": 10, "A": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 1044, 53658, 1810168, 45091226, 884650000, 14238839294, 193384713828, 2262307214204, 23156890924128, 209978976876675, 1703609403590764, 12468896671487152, 82895543401823020, 503507162655178970, 2808118106498840396, 14442121429509743162, 68751486479225084540, 303946657495514607498, 1251515216975158613480, 4811863014582453036718, 17314869288317326238536, 58430063656278233645798, 185247417641757774470708, 552675481347508825518136, 1553886175284830082329772, 4122499759139986329641423, 10332252627250566785003676, 24488782507877475784652958, 54937746056961133288857904, 116748731754355355231212449, 235186914267675500418760956, 449380450578089073209150166, 814847581958500199707561856, 1402761106913293409539239969, 2293426276315266107310601092, 3562005821482877856244016160, 5256498141309030114445424952, 7371296857623178877359776515, 9823417014020643821681108368, 12440941101916903575921241878, 14972503104514787389132963704, 17121666688155993226284646133, 18601735741150408214161446188, 19197827682046486087649034094, 18817951126545252737975889536, 17516407294464876201246123645, 15481276039326268836157507388, 12989873137381298969347293764, 10346709040445106853816147140, 7823124856863721007110662719, 5614891963588786357572020032, 3825686729130520025586219284, 2474730254774732080826281344, 1520046413999384735734317802, 886681256426615274995911048, 491286890076268462571774066, 258601310748604518422443864, 129333588458812239781757319, 61462523728707305878898868, 27754117899200354862325278, 11907436429233105111196132, 4852726761075694325792052, 1877897143571413646067172, 689682519661196513782132, 240223865983645050119788, 79284834819754081055499, 24768697547952842540464, 7314709041962165060026, 2039004739574781266224, 535564646000098194887, 132286186760350521988, 30658009387963555020, 6649465775268026096, 1345801181132299782, 253334003305539912, 44186666419543496, 7110529006753560, 1050420562925820, 141629793011052, 17310309319494, 1902231808400, 186087894300, 16007560800, 1192052400, 75287520, 3921225, 161700, 4950, 100, 1], "peak_states": 10813, "F_minus1": "-1", "p_med_40": "0.586710034053406359804690473124405917182084"} \ No newline at end of file diff --git a/results/transfer-subfrontier-20260913/raw/dpA_n10.stdout b/results/transfer-subfrontier-20260913/raw/dpA_n10.stdout new file mode 100644 index 000000000..06f803045 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/dpA_n10.stdout @@ -0,0 +1,8 @@ +{ + "n": 10, + "m": 10, + "peak_states": 10813, + "F_minus1": "-1", + "p_med_40": "0.586710034053406359804690473124405917182084" +} +A(k): [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 1044, 53658, 1810168, 45091226, 884650000, 14238839294, 193384713828, 2262307214204, 23156890924128, 209978976876675, 1703609403590764, 12468896671487152, 82895543401823020, 503507162655178970, 2808118106498840396, 14442121429509743162, 68751486479225084540, 303946657495514607498, 1251515216975158613480, 4811863014582453036718, 17314869288317326238536, 58430063656278233645798, 185247417641757774470708, 552675481347508825518136, 1553886175284830082329772, 4122499759139986329641423, 10332252627250566785003676, 24488782507877475784652958, 54937746056961133288857904, 116748731754355355231212449, 235186914267675500418760956, 449380450578089073209150166, 814847581958500199707561856, 1402761106913293409539239969, 2293426276315266107310601092, 3562005821482877856244016160, 5256498141309030114445424952, 7371296857623178877359776515, 9823417014020643821681108368, 12440941101916903575921241878, 14972503104514787389132963704, 17121666688155993226284646133, 18601735741150408214161446188, 19197827682046486087649034094, 18817951126545252737975889536, 17516407294464876201246123645, 15481276039326268836157507388, 12989873137381298969347293764, 10346709040445106853816147140, 7823124856863721007110662719, 5614891963588786357572020032, 3825686729130520025586219284, 2474730254774732080826281344, 1520046413999384735734317802, 886681256426615274995911048, 491286890076268462571774066, 258601310748604518422443864, 129333588458812239781757319, 61462523728707305878898868, 27754117899200354862325278, 11907436429233105111196132, 4852726761075694325792052, 1877897143571413646067172, 689682519661196513782132, 240223865983645050119788, 79284834819754081055499, 24768697547952842540464, 7314709041962165060026, 2039004739574781266224, 535564646000098194887, 132286186760350521988, 30658009387963555020, 6649465775268026096, 1345801181132299782, 253334003305539912, 44186666419543496, 7110529006753560, 1050420562925820, 141629793011052, 17310309319494, 1902231808400, 186087894300, 16007560800, 1192052400, 75287520, 3921225, 161700, 4950, 100, 1] diff --git a/results/transfer-subfrontier-20260913/raw/dpA_n10.time b/results/transfer-subfrontier-20260913/raw/dpA_n10.time new file mode 100644 index 000000000..dd9099ac5 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/dpA_n10.time @@ -0,0 +1,12 @@ + row 2: states=7095 t=8.0s + row 3: states=10296 t=62.5s + row 4: states=10791 t=104.1s + row 5: states=10813 t=136.8s + row 6: states=10813 t=164.0s + row 7: states=10813 t=195.3s + row 8: states=10813 t=229.6s + row 9: states=10813 t=269.2s + row 10: states=10813 t=312.9s +real 313.43 +user 311.69 +sys 0.91 diff --git a/results/transfer-subfrontier-20260913/raw/dpA_n9.json b/results/transfer-subfrontier-20260913/raw/dpA_n9.json new file mode 100644 index 000000000..387929274 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/dpA_n9.json @@ -0,0 +1 @@ +{"n": 9, "m": 9, "A": [0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 760, 31460, 851122, 16929642, 264081073, 3364850969, 36019395602, 330645262103, 2643809176491, 18641040736294, 117049684898222, 659849565700380, 3362159701086517, 15572294720261871, 65878061557996853, 255608685509068651, 912853759661415222, 3009907879970680997, 9187335546133853622, 26020469905107950852, 68517403824336078760, 168034957258724268513, 384377871447418416280, 821161367446614530615, 1640114210120948806508, 3065340416852544065187, 5364772996347031041575, 8796939582480319200263, 13520560078858750197809, 19483027437203363677900, 26325644966224984110104, 33356249945976125023171, 39630180031261347521440, 44143779316604668432434, 46092548630660422487760, 45104822385034317482234, 41358178894515158440498, 35528295018593898672268, 28589962040279932994515, 21550728233568794727715, 15217312627687722697845, 10066900664142182043293, 6240516942752221781122, 3625925643590614098508, 1975171196984253109433, 1008978282034412762775, 483418542434847741778, 217245244882434994326, 91560868754609787320, 36178819897612832339, 13394344574646958938, 4642122595351480855, 1504170850179270351, 454943854104513539, 128178821286934102, 33558168894810660, 8139901751703548, 1822890408960201, 375351412309449, 70722356547462, 12124078878256, 1878389682087, 260887793847, 32164253550, 3477216600, 324540216, 25621596, 1663740, 85320, 3240, 81, 1], "peak_states": 3915, "F_minus1": "-1", "p_med_40": "0.58564155686139651141699566635464267616998"} \ No newline at end of file diff --git a/results/transfer-subfrontier-20260913/raw/dpA_n9.stdout b/results/transfer-subfrontier-20260913/raw/dpA_n9.stdout new file mode 100644 index 000000000..f4dfe28da --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/dpA_n9.stdout @@ -0,0 +1,8 @@ +{ + "n": 9, + "m": 9, + "peak_states": 3915, + "F_minus1": "-1", + "p_med_40": "0.58564155686139651141699566635464267616998" +} +A(k): [0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 760, 31460, 851122, 16929642, 264081073, 3364850969, 36019395602, 330645262103, 2643809176491, 18641040736294, 117049684898222, 659849565700380, 3362159701086517, 15572294720261871, 65878061557996853, 255608685509068651, 912853759661415222, 3009907879970680997, 9187335546133853622, 26020469905107950852, 68517403824336078760, 168034957258724268513, 384377871447418416280, 821161367446614530615, 1640114210120948806508, 3065340416852544065187, 5364772996347031041575, 8796939582480319200263, 13520560078858750197809, 19483027437203363677900, 26325644966224984110104, 33356249945976125023171, 39630180031261347521440, 44143779316604668432434, 46092548630660422487760, 45104822385034317482234, 41358178894515158440498, 35528295018593898672268, 28589962040279932994515, 21550728233568794727715, 15217312627687722697845, 10066900664142182043293, 6240516942752221781122, 3625925643590614098508, 1975171196984253109433, 1008978282034412762775, 483418542434847741778, 217245244882434994326, 91560868754609787320, 36178819897612832339, 13394344574646958938, 4642122595351480855, 1504170850179270351, 454943854104513539, 128178821286934102, 33558168894810660, 8139901751703548, 1822890408960201, 375351412309449, 70722356547462, 12124078878256, 1878389682087, 260887793847, 32164253550, 3477216600, 324540216, 25621596, 1663740, 85320, 3240, 81, 1] diff --git a/results/transfer-subfrontier-20260913/raw/dpA_n9.time b/results/transfer-subfrontier-20260913/raw/dpA_n9.time new file mode 100644 index 000000000..c6efd4498 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/dpA_n9.time @@ -0,0 +1,11 @@ + row 2: states=2851 t=2.2s + row 3: states=3808 t=13.3s + row 4: states=3913 t=19.4s + row 5: states=3915 t=23.6s + row 6: states=3915 t=28.5s + row 7: states=3915 t=34.1s + row 8: states=3915 t=40.3s + row 9: states=3915 t=47.3s +real 47.61 +user 47.31 +sys 0.14 diff --git a/results/transfer-subfrontier-20260913/raw/f128audit_med_n10.json b/results/transfer-subfrontier-20260913/raw/f128audit_med_n10.json new file mode 100644 index 000000000..cd1f68955 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/f128audit_med_n10.json @@ -0,0 +1 @@ +{"mode":"f128","kind":"med","n":10,"p_root":0.586710034053406359804690473124405622246496064,"f_left":-4.53131506460883625962179979562165681958109306e-25,"f_right":4.53131502512727239968346480797410899659008303e-25,"bracket_d":9.99999999999999999999999999999999973538368112e-26,"bracket_ok":true} diff --git a/results/transfer-subfrontier-20260913/raw/f128audit_med_n5.json b/results/transfer-subfrontier-20260913/raw/f128audit_med_n5.json new file mode 100644 index 000000000..f727a0ff8 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/f128audit_med_n5.json @@ -0,0 +1 @@ +{"mode":"f128","kind":"med","n":5,"p_root":0.575810073211627653605032974314577674183437354,"f_left":-2.80132458116125960098434295546459417818535177e-25,"f_right":2.80132458356867203146838777178456660641651092e-25,"bracket_d":9.99999999999999999999999999999999973538368112e-26,"bracket_ok":true} diff --git a/results/transfer-subfrontier-20260913/raw/f128audit_med_n6.json b/results/transfer-subfrontier-20260913/raw/f128audit_med_n6.json new file mode 100644 index 000000000..74b0ca161 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/f128audit_med_n6.json @@ -0,0 +1 @@ +{"mode":"f128","kind":"med","n":6,"p_root":0.579702757132443521419439978330558427858368796,"f_left":-3.17400579820670453777106885391703952478396114e-25,"f_right":3.17400579820670453777106885391703952478396114e-25,"bracket_d":9.99999999999999999999999999999999973538368112e-26,"bracket_ok":true} diff --git a/results/transfer-subfrontier-20260913/raw/f128audit_med_n7.json b/results/transfer-subfrontier-20260913/raw/f128audit_med_n7.json new file mode 100644 index 000000000..d3ab9fd29 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/f128audit_med_n7.json @@ -0,0 +1 @@ +{"mode":"f128","kind":"med","n":7,"p_root":0.582351295080082980073474691830408397705678191,"f_left":-3.5307932798305412689708771841902862156250303e-25,"f_right":3.53079326538606668606660828627045164623807542e-25,"bracket_d":9.99999999999999999999999999999999973538368112e-26,"bracket_ok":true} diff --git a/results/transfer-subfrontier-20260913/raw/f128audit_med_n8.json b/results/transfer-subfrontier-20260913/raw/f128audit_med_n8.json new file mode 100644 index 000000000..4bc73e163 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/f128audit_med_n8.json @@ -0,0 +1 @@ +{"mode":"f128","kind":"med","n":8,"p_root":0.584241466489847673860351132398167166591482905,"f_left":-3.87463316392064021188418540623861563654235985e-25,"f_right":3.87463317643918485040121845110247226334438742e-25,"bracket_d":9.99999999999999999999999999999999973538368112e-26,"bracket_ok":true} diff --git a/results/transfer-subfrontier-20260913/raw/f128audit_med_n9.json b/results/transfer-subfrontier-20260913/raw/f128audit_med_n9.json new file mode 100644 index 000000000..a3c9ba64a --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/f128audit_med_n9.json @@ -0,0 +1 @@ +{"mode":"f128","kind":"med","n":9,"p_root":0.585641556861396511416995666354642547608008587,"f_left":-4.2076209527752020653192035176945234899501032e-25,"f_right":4.20762093255293764925322706060675509280836635e-25,"bracket_d":9.99999999999999999999999999999999973538368112e-26,"bracket_ok":true} diff --git a/results/transfer-subfrontier-20260913/raw/probe_crt_n11.json b/results/transfer-subfrontier-20260913/raw/probe_crt_n11.json new file mode 100644 index 000000000..0c1f2ecc1 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_crt_n11.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q crt --n 11 > crt_n11.json 2> crt_n11.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 16, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "crt_n11", + "memory": { + "peak_rss_kib": 62992, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T10:53:05.103574Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T10:52:45.250091Z", + "wall_seconds": 19.85323387799872 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_crt_n12.json b/results/transfer-subfrontier-20260913/raw/probe_crt_n12.json new file mode 100644 index 000000000..2c64c5075 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_crt_n12.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q crt --n 12 > crt_n12.json 2> crt_n12.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 16, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "crt_n12", + "memory": { + "peak_rss_kib": 194920, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T10:54:15.830040Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T10:52:46.868180Z", + "wall_seconds": 88.96162524000101 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_crt_n13.json b/results/transfer-subfrontier-20260913/raw/probe_crt_n13.json new file mode 100644 index 000000000..84b5f294b --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_crt_n13.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q crt --n 13 > crt_n13.json 2> crt_n13.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 16, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "crt_n13", + "memory": { + "peak_rss_kib": 609484, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T10:59:22.882534Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T10:52:48.453930Z", + "wall_seconds": 394.4283577179958 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_crt_n14.json b/results/transfer-subfrontier-20260913/raw/probe_crt_n14.json new file mode 100644 index 000000000..dcc84bbf4 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_crt_n14.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q crt --n 14 --dump-row 7 --map-out ck_n14 > crt_n14.json 2> crt_n14.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 16, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "crt_n14", + "memory": { + "peak_rss_kib": 1953088, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:25:50.331092Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T10:52:50.032589Z", + "wall_seconds": 1980.2982590729953 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128_med_n10.json b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n10.json new file mode 100644 index 000000000..15d960591 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n10.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 10 --p0 0.59 --iters 0 --bracket 1e-9 > f128_med_n10.json 2>/dev/null" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128_med_n10", + "memory": { + "peak_rss_kib": 15788, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 2 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:06:02.857559Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:06:01.820081Z", + "wall_seconds": 1.0372585909999543 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128_med_n18_partial.json b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n18_partial.json new file mode 100644 index 000000000..900f0b0a9 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n18_partial.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 18 --p0 0.590385533260670478 --iters 10 --bracket 1e-30 > f128_med_n18.json 2> f128_med_n18.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128_med_n18", + "memory": { + "peak_rss_kib": 7750460, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": -9 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T10:57:30.168766Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T10:47:13.401466Z", + "wall_seconds": 616.7659161629999 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128_med_n5.json b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n5.json new file mode 100644 index 000000000..2c46e9312 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n5.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 5 --p0 0.59 --iters 0 --bracket 1e-9 > f128_med_n5.json 2>/dev/null" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128_med_n5", + "memory": { + "peak_rss_kib": 15800, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 2 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:06:01.170968Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:06:01.159068Z", + "wall_seconds": 0.011739025999304431 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128_med_n6.json b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n6.json new file mode 100644 index 000000000..8833835dc --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n6.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 6 --p0 0.59 --iters 0 --bracket 1e-9 > f128_med_n6.json 2>/dev/null" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128_med_n6", + "memory": { + "peak_rss_kib": 15576, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 2 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:06:01.239047Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:06:01.227818Z", + "wall_seconds": 0.011054803999286378 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128_med_n7.json b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n7.json new file mode 100644 index 000000000..987b14b6f --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n7.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 7 --p0 0.59 --iters 0 --bracket 1e-9 > f128_med_n7.json 2>/dev/null" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128_med_n7", + "memory": { + "peak_rss_kib": 15820, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 2 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:06:01.317005Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:06:01.295704Z", + "wall_seconds": 0.021126053999978467 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128_med_n8.json b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n8.json new file mode 100644 index 000000000..1ea598323 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n8.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 8 --p0 0.59 --iters 0 --bracket 1e-9 > f128_med_n8.json 2>/dev/null" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128_med_n8", + "memory": { + "peak_rss_kib": 15664, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 2 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:06:01.445182Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:06:01.373552Z", + "wall_seconds": 0.07145427299928997 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128_med_n9.json b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n9.json new file mode 100644 index 000000000..4a7938be7 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128_med_n9.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 9 --p0 0.59 --iters 0 --bracket 1e-9 > f128_med_n9.json 2>/dev/null" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128_med_n9", + "memory": { + "peak_rss_kib": 15544, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 2 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:06:01.763721Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:06:01.501009Z", + "wall_seconds": 0.2625303949998852 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n10.json b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n10.json new file mode 100644 index 000000000..91c1aa8fb --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n10.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 10 --p0 0.586710034053406359804690473124 --iters 10 --bracket 1e-25 > f128audit_med_n10.json 2> f128audit_med_n10.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128audit_med_n10", + "memory": { + "peak_rss_kib": 15792, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:12:24.905479Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:12:22.861850Z", + "wall_seconds": 2.043413714000053 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n5.json b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n5.json new file mode 100644 index 000000000..04d229f42 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n5.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 5 --p0 0.575810073211627653605032974314 --iters 10 --bracket 1e-25 > f128audit_med_n5.json 2> f128audit_med_n5.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128audit_med_n5", + "memory": { + "peak_rss_kib": 15588, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:12:20.470368Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:12:20.459032Z", + "wall_seconds": 0.011051114000110829 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n6.json b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n6.json new file mode 100644 index 000000000..d4b58375f --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n6.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 6 --p0 0.579702757132443521419439978330 --iters 10 --bracket 1e-25 > f128audit_med_n6.json 2> f128audit_med_n6.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128audit_med_n6", + "memory": { + "peak_rss_kib": 15756, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:12:20.558476Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:12:20.527099Z", + "wall_seconds": 0.031183924000288243 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n7.json b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n7.json new file mode 100644 index 000000000..b41968e91 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n7.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 7 --p0 0.582351295080082980073474691830 --iters 10 --bracket 1e-25 > f128audit_med_n7.json 2> f128audit_med_n7.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128audit_med_n7", + "memory": { + "peak_rss_kib": 15676, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:12:20.726523Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:12:20.614744Z", + "wall_seconds": 0.1116064739999274 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n8.json b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n8.json new file mode 100644 index 000000000..abf71085e --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n8.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 8 --p0 0.584241466489847673860351132398 --iters 10 --bracket 1e-25 > f128audit_med_n8.json 2> f128audit_med_n8.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128audit_med_n8", + "memory": { + "peak_rss_kib": 15756, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:12:21.197625Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:12:20.782176Z", + "wall_seconds": 0.41432600200005254 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n9.json b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n9.json new file mode 100644 index 000000000..762190e6a --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/probe_f128audit_med_n9.json @@ -0,0 +1,61 @@ +{ + "claim_boundary": { + "excluded": "pipeline phases, descendant-process attribution, state counts, branching, extrapolation, or hardware decisions", + "included": "single-command wall time, direct-process RSS, exit and provenance telemetry", + "parent_issue": "remain open" + }, + "command": { + "argv": [ + "/bin/sh", + "-c", + "exec /workspace/p11/p11dp_q f128 --kind med --n 9 --p0 0.585641556861396511416995666354 --iters 10 --bracket 1e-25 > f128audit_med_n9.json 2> f128audit_med_n9.rows" + ], + "cwd": "/workspace/p11", + "executable": "/usr/bin/bash", + "executable_sha256": "ad31a5d34b338d78bf394d260247300fe82e3475d7e021470851c1e8b1cd1b8d", + "shell": false + }, + "environment": { + "allowlisted": {}, + "policy": "only fixed non-secret parallel-runtime variables are retained" + }, + "host": { + "logical_cpu_count": 8, + "machine": "aarch64", + "platform": "Linux-5.10.0-182.0.0.95.r3582_286.hce2.aarch64-aarch64-with-glibc2.34", + "python": "3.9.9" + }, + "label": "f128audit_med_n9", + "memory": { + "peak_rss_kib": 15764, + "rusage_observations": 1, + "scope": "specific waited command process; descendant aggregation follows host wait4 semantics", + "source": "os.wait4(pid) rusage.ru_maxrss" + }, + "process": { + "exit_code": 0 + }, + "repository": { + "commit": null, + "root": "/workspace", + "tracked_files_dirty": null + }, + "schema": "matching-one/transfer-resource-telemetry/v1", + "stderr": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "stdout": { + "bytes": 0, + "content_retained": false, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "timing": { + "clock": "time.monotonic", + "ended_utc": "2026-09-13T11:12:22.804788Z", + "poll_interval_ms": 10, + "started_utc": "2026-09-13T11:12:21.253926Z", + "wall_seconds": 1.550642419999349 + } +} diff --git a/results/transfer-subfrontier-20260913/raw/resource_model.json b/results/transfer-subfrontier-20260913/raw/resource_model.json new file mode 100644 index 000000000..7f245a998 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/resource_model.json @@ -0,0 +1,125 @@ +{ + "schema": "matching-one/p11-resource-model/v1", + "fits": { + "crt_wall_seconds_all_primes": { + "points": { + "11": 19.85323387799872, + "12": 88.96162524000101, + "13": 394.4283577179958, + "14": 1980.2982590729953 + }, + "a": 9.563213388619873e-07, + "b": 4.6168561835928115, + "max_rel_resid": 0.049876507614623276 + }, + "crt_peak_rss_kib": { + "points": { + "11": 62992, + "12": 194920, + "13": 609484, + "14": 1953088 + }, + "a": 0.21351950003848938, + "b": 3.1400857997901697, + "max_rel_resid": 0.010915670132412987 + }, + "crt_peak_states": { + "points": { + "11": 29964, + "12": 83304, + "13": 232323, + "14": 649845 + }, + "a": 0.3771129909062468, + "b": 2.7887246351484554, + "max_rel_resid": 0.0015513857773890329 + }, + "crt_wall_seconds_per_pass": { + "points": { + "11": 3.970646775599744, + "12": 17.7923250480002, + "13": 65.73805961966598, + "14": 282.8997512961422 + }, + "a": 7.451834708248045e-07, + "b": 4.098168501905217, + "max_rel_resid": 0.060042447735186286 + }, + "f128_eval_wall_seconds": { + "points": { + "10": 1.0372585909999543, + "5": 0.011739025999304431, + "6": 0.011054803999286378, + "7": 0.021126053999978467, + "8": 0.07145427299928997, + "9": 0.2625303949998852 + }, + "a": 5.068056644341449e-05, + "b": 2.5767229396358844, + "max_rel_resid": 0.8092440023112855 + }, + "f128_peak_rss_kib": { + "points": { + "10": 15788, + "5": 15800, + "6": 15576, + "7": 15820, + "8": 15664, + "9": 15544 + }, + "a": 15765.290032928226, + "b": 0.9994322053793451, + "max_rel_resid": 0.0090652175669026 + } + }, + "extrapolation_25_28": { + "crt_wall_seconds_all_primes": { + "25": 38838505107.611336, + "26": 179311792467.5764, + "27": 827856757845.0409, + "28": 3822095591585.9736, + "_growth_base": 4.6168561835928115, + "_max_rel_resid": 0.049876507614623276 + }, + "crt_peak_rss_kib": { + "25": 566207237772.986, + "26": 1777939307069.3696, + "27": 5582881971017.302, + "28": 17530728399095.982, + "_growth_base": 3.1400857997901697, + "_max_rel_resid": 0.010915670132412987 + }, + "crt_peak_states": { + "25": 51476892611.887856, + "26": 143554878567.66318, + "27": 400335026357.3873, + "28": 1116424150315.652, + "_growth_base": 2.7887246351484554, + "_max_rel_resid": 0.0015513857773890329 + }, + "crt_wall_seconds_per_pass": { + "25": 1538184707.9933765, + "26": 6303740120.410729, + "27": 25833789205.663452, + "28": 105871221207.50897, + "_growth_base": 4.098168501905217, + "_max_rel_resid": 0.060042447735186286 + }, + "f128_eval_wall_seconds": { + "25": 958372.9700339914, + "26": 2469461.6166135594, + "27": 6363118.396078475, + "28": 16395993.1387945, + "_growth_base": 2.5767229396358844, + "_max_rel_resid": 0.8092440023112855 + }, + "f128_peak_rss_kib": { + "25": 15543.022019291404, + "26": 15534.19677500013, + "27": 15525.37654163509, + "28": 15516.561316351108, + "_growth_base": 0.9994322053793451, + "_max_rel_resid": 0.0090652175669026 + } + } +} diff --git a/results/transfer-subfrontier-20260913/raw/roots_n11.json b/results/transfer-subfrontier-20260913/raw/roots_n11.json new file mode 100644 index 000000000..85250d206 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/roots_n11.json @@ -0,0 +1 @@ +{"n": 11, "m": 11, "A_exact": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "11", "1390", "86735", "3563290", "108423937", "2606370707", "51559124726", "863297038925", "12489547512698", "158596671474916", "1789718895150451", "18128779435234350", "166200110344564090", "1388603741406012054", "10635617560147377637", "75054775033039408298", "490149778345168716638", "2973580992381860162084", "16815084926858325412975", "88897251301098914193084", "440563051066064172043011", "2051624087510825380571181", "8996889882492244112124437", "37225085851454043792150124", "145576581025740105841199100", "538955593702575362531126997", "1891692049337849858999401063", "6303155148685937247988670862", "19961777051471620986324090424", "60152242961973906750158084544", "172644207912908346776137484948", "472386867048610426247243294894", "1233253243816538889092880241896", "3074298449743853737664871566918", "7322842131093544286939261743152", "16677297737065227015189379578292", "36335417734660888074826690481109", "75772969070507251245427454437613", "151312821696487897531080451833474", "289460666394881064877445508048106", "530651515618460567319175672463041", "932541711331900994789439510004063", "1571372858876241278205051586197772", "2539430452661697088459708898329874", "3936543044203030683672449698019644", "5854273899793136200386930943036221", "8353166512495323434748711039066079", "11435991138286853568204538739550157", "15022778858789765675191000745046326", "18935447230660260247221950451369739", "22899807166441357526232453457168096", "26569892645010050753239671588034477", "29574037104674059447883524129088892", "31575320991104220537148117146437192", "32333255119187555128633326959192605", "31751250137105402496033906655874278", "29896954634154771480564695517510560", "26989522114199525468381177537538446", "23357052435525469033458421144825840", "19375617046562951702956041900061834", "15405563144881395678693955371204671", "11739931770844998900792134611444858", "8574596751627169570284053148593621", "6002461583796214899936665079649203", "4027476014265256595594089417640218", "2590338512509819764877690880693503", "1597136009166335340566422341288605", "944143086489328819605813095521390", "535175572948032621497206799558587", "290916526325670210711506897265692", "151669988028784832474950699472970", "75844659135285826955322059559655", "36380088618568318341770297358852", "16738423520835667826870279680285", "7386702598342373605522190402416", "3126189279269675964262394488507", "1268580365291909114882599473861", "493436055373184514951367024757", "183901706071460523956252799733", "65640460648613070643351653138", "22425006423412147592173328260", "7327672324695152721520544282", "2288342671394624974807490715", "682333339393692292585176934", "194061577775610313809340394", "52582646110495748804191362", "13556270044789653344066847", "3320522476847968698665365", "771521655334770124924617", "169745943336887492263313", "35295010473667979553869", "6920726059441804411251", "1276651413171725903469", "220959930720513295499", "35774538038938596386", "5399934656429190609", "757000402671246264", "98129690344150094", "11703541298188851", "1276749964568741", "126524771308936", "11296854581155", "899749479915", "63140314380", "3843323484", "198792594", "8495410", "287980", "7260", "121", "1"], "F_minus1": "-1", "p_med": "0.587545601376707076865096376747781238324764", "published_p_med": "0.587545601376707076865096376747", "p_med_digit_match": 32} \ No newline at end of file diff --git a/results/transfer-subfrontier-20260913/raw/roots_n12.json b/results/transfer-subfrontier-20260913/raw/roots_n12.json new file mode 100644 index 000000000..d51177666 --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/roots_n12.json @@ -0,0 +1 @@ +{"n": 12, "m": 12, "A_exact": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "12", "1804", "134222", "6589692", "240160778", "6930353940", "164948309254", "3330494679592", "58235502453356", "895816410396932", "12274135929103546", "151307614317552300", "1692090980583689578", "17286043963461801984", "162271293387609652922", "1406920198921217534592", "11316123049486928840540", "84763424129511224330004", "593318493515935838670952", "3892754724501889889583056", "24004767472866511601547472", "139466962644954562091983060", "765134120577371590683833044", "3971601202951417546515368260", "19540992610159326743698554930", "91285671324089417243457187940", "405503478763757129099436127478", "1715256536447732482395023356824", "6917735496507980076782939751470", "26632579389458914903650643688840", "97983145699882717610105645420312", "344839453286066040608486825851940", "1162025802112936309811363450068330", "3752526323274994692499047275656564", "11622225120930315193907005660764710", "34548996869632802038594671497508244", "98641991726597682767362107762254105", "270673837356337310764057862600385080", "714243506795697936348544109797792058", "1813428392373986837523766794316295492", "4432301374909592110461629166306148010", "10433662144885094944189880231754272720", "23665234736200033691537171780435520236", "51739742505459287168841158064979598876", "109077595157050186775580748381858612062", "221814213307006011586510263137293668640", "435228356635849488512653163068773479174", "824209736883326235208963669064414054056", "1506806574373398672344920914440283678442", "2659935107439516514739666541907520918292", "4534833554482347125691062428509495594866", "7467929333049163309163589111708335461684", "11880874340213485336980296863290977522558", "18262326896757536859933822742435343773356", "27124585068045106986703338999111090198872", "38931314785349804947228250356898240322140", "53998781529689403488349150155635853600774", "72381626440994211071202990965004907427924", "93763502447409303627661863363968147352718", "117379860057781113037415453705800615119756", "142001509679206945921781891849916474151780", "166000776635605907920510005262601980616324", "187506746763053423863598575823869830658606", "204634911910485920097568329439648254657412", "215754911172847482907509262312803525032242", "219744841431599580620318192479102674919660", "216177623185871581923356130054156190580220", "205396636163686862440928119477785715999092", "188462022956540782918653333541017948302105", "166979071698851714063289661636891302204300", "142847094445605608127950402563181210153040", "117983304677084626494302278725724318094056", "94077197844364455418532822115358712188622", "72417752807271042577619762442137932487620", "53813690456513497953864392969130496878642", "38603459333625131524704500706943428720816", "26733299127060378109189827981023580232900", "17872575407677703907392829637287445271132", "11535934709068318080297745967649245950378", "7189168483335130290476107521419052232932", "4326121411488765229846399839647795568226", "2513910302115276830921306853299109825616", "1410813055217819927334663313636756898280", "764704513662986417409831764585348814208", "400362952236574094172909397251132850165", "202476530481164680735997338882028462240", "98916984611433211734023062878600189360", "46681501347177236962608438743979220616", "21280606527378888194081370458273311032", "9370410916842617627128553284170729032", "3984919496439146179318899145517259388", "1636425963638745228917924355330413880", "648777646765478808131917929343738108", "248256603557813866834927856645641204", "91657644117058430811722196906830260", "32638562605814878670426516863192876", "11204502526596362094814793506827384", "3706216417526664359866420691708712", "1180579137160209993097705700404066", "361914922983234065571934728653668", "106698064863262314538553232309186", "30227804021874802031173059414348", "8222170976125229564347881043780", "2145324808882468880465391952528", "536399073777092531146235646824", "128379496995854367348583730044", "29376479869050969480305247686", "6418592452186722980255496656", "1337231710845774062003372540", "265238878027842293998708084", "50004345634376018623471578", "8943894543088603326197536", "1514694186757004998020012", "242351249678282805561024", "36545041737793362649014", "5179612912422372605224", "687917374329677020673", "85323086589857688848", "9844971574916030290", "1052134367874842408", "103619293823191462", "9349109217266832", "767464189477128", "56849199220528", "3762079360182", "219683466288", "11143364232", "481008528", "17178876", "487344", "10296", "144", "1"], "F_minus1": "1", "p_med": "0.588212470606443263171973079741831708330245", "published_p_med": "0.588212470606443263171973079741", "p_med_digit_match": 32, "p_cell": "0.598724257102302868949743766602534710805687", "published_p_cell": "0.598724257102302868949743766602", "p_cell_digit_match": 32} \ No newline at end of file diff --git a/results/transfer-subfrontier-20260913/raw/roots_n13.json b/results/transfer-subfrontier-20260913/raw/roots_n13.json new file mode 100644 index 000000000..b0327ed4e --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/roots_n13.json @@ -0,0 +1 @@ +{"n": 13, "m": 13, "A_exact": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "13", "2292", "200334", "11574126", "497230517", "16942788625", "476972080825", "11410696841334", "236806514775015", "4330850860470582", "70671149528225145", "1039348034690821199", "13890856416914379408", "169889701207115006363", "1912696300737815939845", "19924156287522797145019", "192883412385447523415501", "1742132374725841780493673", "14731045415487308016466316", "116972291680622597476378180", "874624076233483766916253077", "6173367594092194236674737208", "41224568748020444398117847472", "260979013056769277597110274608", "1569188610207660912523821913228", "8976379667652371358860894209706", "48928271241456487574572417038209", "254491686916940809438815835083291", "1264785857517141080806243011947088", "6013422474870882649272516321920640", "27382978774740978907783628248703962", "119550626239105476142647135956863760", "500911914733917512476232460107817246", "2016073656834428923683951299419134778", "7801132579292023673703929215980794345", "29044343736083685809622254558974117556", "104121924621381141838153490317592160140", "359668956199661800525912936885796179380", "1197921106332012134078950340443577789693", "3849325175734734844724566834851489366428", "11940492394013883126812068958415601188971", "35774688719778939365844445530651109818781", "103577593039736737791038038367905143636079", "289933838500245907710318660410597830762318", "784999240009249767637629461471633364297606", "2056643012480809129480699884788335258212590", "5216013468536402013617349521348837781008446", "12810574773379214349098726048865930925536937", "30478840072623792773938296907645347975762889", "70269716713815459135039977274218734344691607", "157039406229911465512086143030860662013297398", "340284024473352968248238491700398939238522440", "715122057489665994482706832739048081637364789", "1457905735002543159351008742637958336461231593", "2883940857802210111187095651100216926777121372", "5536561612777656479708766354654363202369628121", "10317454145023639195658679494002403984766806063", "18666290305030310475924021688286933539480239292", "32791694008775316902913044672654048603261476222", "55943599236298484291334102619867260282889769200", "92698177986788516099051692439162195534426527663", "149201462325700921632760015386583607102839058705", "233290115174747109798204587203315316684846445320", "354384587626576508616560672891042588069489469835", "523041427124927679697605547076948048475449542983", "750069463802669516595499228645094191778933317064", "1045168554115074947625162948069012921697147654362", "1415142154471272427517567437314932420011189999828", "1861857376396228757555681479359712809368571949893", "2380255555465724308516322328936655888024783577220", "2956817897397133981331736309070773252942508084572", "3568924812790439201645873572669811992567960635095", "4185481668287464449268614513556303512212877807735", "4769006168275825190428685477885403604469983581170", "5279102775508264698665753936673934353573236719287", "5676939782573966356948632532340496218870360478997", "5930070647593229794087822222525138202379335133956", "6016782307333032837853913419799392827256760756169", "5929167151913189888654915275512927223239322047745", "5674316895034206903882893587235316195788217917383", "5273387888702178741178078341679399887670817715469", "4758705726915205182453070543136542170861316456585", "4169457787375907760051576411891873618915547683301", "3546771011313319864034632293109691302473220306200", "2929032501375887935397105804902953102639241606687", "2348180239387244499901145914639242216430438543856", "1827419617339728565373472233454384660868297946908", "1380490244373012023415860710132401118148309370190", "1012303420063791379263203555972265883824406436649", "720559988181568533661088119871415527125966688960", "497871296477698335822835530130207592989084334151", "333935365854199550733348304072274427357021045996", "217431277244807979424818493564831591006726503290", "137440958833097602439057310672522564036499725552", "84346825553851172017227794122422751425715205928", "50258105631057915287719893780600983866367244699", "29077433219323472380957229107172285147509340902", "16336026489790554137580148382079025188180025258", "8912584567109861368409322396319237532000782947", "4722276033131069654413954923915718736911636906", "2430013834791197657715520881294929931457868504", "1214476347298754509047231659613717805656785730", "589519466491068418674708640703419976082359252", "277928439926540266905859644250828617560741077", "127256612708962637181585522069384659599961860", "56586864602105591193143047198225549919534799", "24434400693966165844301734875082346328832287", "10244434961994865930382033521802856931293622", "4169748431442943198288955562872744206868756", "1647356726351925167139353833217796004679440", "631577267863379081999729335100981626858427", "234917681709197315991328401933093201753660", "84747833319510058582475264036033001545347", "29643003725470191129682588510215489069424", "10049329185671371997778194766027144224107", "3300631807340826181394892668574183952601", "1049806439467225747943731774225274757399", "323194060644586684371243460522610214561", "96256890034603302961038258320706045643", "27718450182701687593155780340341612344", "7712771843253675151519456588054402024", "2072396499398634664912695877963798944", "537343664492679303306626605004390821", "134345445620859657380255575225451148", "32362125313993944407456872015655914", "7504497057220984596937863872186338", "1673698841844860812003371669747083", "358654360713056807676423857136359", "73766375309941351451967911632300", "14545551744426403079591711319499", "2746370553257702882503571316636", "495873240495996060193040437701", "85495459615288137557707052743", "14054054474842035614429704299", "2198934188828517770599310192", "326868630699116127207666104", "46068735402684243815794219", "6142498177395686731832828", "772897127656326747659713", "91527291680459917420925", "10169699084057715825976", "1056592112858671616474", "102250849636118836399", "9176358300739359655", "759825846558448488", "57708292143679632", "3992397569688528", "249524848105533", "13948593993477", "688819456468", "29581203652", "1082239158", "32795126", "790244", "14196", "169", "1"], "F_minus1": "-1", "p_med": "0.588753953651382767097855532073340370474632", "published_p_med": "0.588753953651382767097855532073", "p_med_digit_match": 32, "p_cell": "0.59802106388297966577943835943963309465498", "published_p_cell": "0.598021063882979665779438359439", "p_cell_digit_match": 32} \ No newline at end of file diff --git a/results/transfer-subfrontier-20260913/raw/roots_n14.json b/results/transfer-subfrontier-20260913/raw/roots_n14.json new file mode 100644 index 000000000..b3d7a88be --- /dev/null +++ b/results/transfer-subfrontier-20260913/raw/roots_n14.json @@ -0,0 +1 @@ +{"n": 14, "m": 14, "A_exact": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "14", "2860", "290030", "19466392", "972830862", "38611859216", "1267825309002", "35422896238256", "859698876949394", "18411236006487980", "352278554886144576", "6083005763467824424", "95582897968924849392", "1376243493004019006224", "18265736877931885063433", "224606956583820830067216", "2570295398976932371932454", "27479646431746629206728656", "275427242801350711483847622", "2596008904100464059419634436", "23073125193409165285282824952", "193859365891321080580856389712", "1543208385984863148178659222731", "11662958293411804087867921787924", "83839949581284378552337786538440", "574242611722428304982276874429236", "3753410261548315186715866254760300", "23446270797654244082683989159253488", "140159354114773335233483300988714416", "802808376690853330748344928791389036", "4411089385456907102011807903715422152", "23275127380618910500501949380623085204", "118055784466336862160751104503866747638", "576155507097294087071106217347781556920", "2707893838173245531131778507028116203289", "12266521901725817537223764567376045806680", "53597642737341431791619741824644278876050", "226058491060805775453527382099780356254816", "920968362094613437442295605950420349874541", "3626586473894349431854322366397379057456484", "13811649744114197539009484065292766912889576", "50902276872564214851618240253588725959034364", "181639013879589876043634451742984138126251072", "627891480811847994042255456367885532993612592", "2103656233969737305348090034549307422278676838", "6834072320152474015964015314787504626643377404", "21537151166402631128465647900380737388051242343", "65868852778844746954152581483070859738002346272", "195580223054915588065141343998758813031036481314", "564005957437744366821724993985055727739252342192", "1580188302533535268893307395622690778351026413649", "4302737600529794030223621794827494434105479355104", "11390128040988166417465382486039560910009851340212", "29321736184749372824226641169535311279549402494600", "73426153129917855478841735415633719975902072924200", "178907257435931755507485065549064376855559941267700", "424258901417722662414076824890269374525755442367278", "979407534423842397809148565185373445410659080990812", "2201522819158192290723270643363767880556400342437826", "4819504366025091101660346936814053172252223722465252", "10277505553678817247757235424873431351377157269631986", "21353087042643619319794833949775647229281331851594704", "43231228362459564602066975189297864222087782387984178", "85304083759638163205351727078368081030752721294149348", "164075588265301059688811522869924361585442873576874840", "307667673679494756278581328788160921623981673590284272", "562523622249999449115095592449495393218074637846766055", "1002936426142947208027072758316627431093727663753023536", "1743926253450867985382474452895374538584870591043746458", "2957664338375753149269075653067316715180418307873278960", "4893002444284017277560389534284986509724208206275419861", "7896657025748353030973716375152974731509426818824298316", "12433224835041644487592199804713585167115517666590524020", "19099599163679613157820586035757709513610531424284211492", "28627796815849148317056899431149918928780391124205843541", "41869144025895993309158824208831411292632562479137949904", "59752774507954200077924917571833127091436942255750490292", "83213042603709625285903240676790826124744692166903667976", "113084157055498608440884168454637789920999749840424667451", "149966120765216681451468254150122661851890411354672673488", "194073371203666968893983766693666620727095481011354918836", "245085150469636158652217397211769466952394023143453619812", "302022828352060566712752091489119348726711256849203334389", "363182146760257002832196093254864635529916767956976243508", "426145904948343040688286322399370024565606876054564851834", "487894075438659576673630701310848259024494170410592151536", "545014203248529515729466530695185463012743872813937111455", "593997241946866536823618566621375375215937966372265343664", "631586118216824406564006780221704193634453405994249591850", "655130362167432192556435249819395179025758849591404624596", "662893820907672407730864044897920940313260721978538380294", "654266096564636344120422264417161807638464064985711296716", "629842007005133628963532772073644546795864232519778288236", "591354694822601638283570886671441619137681139953378419936", "541472653056539597908879269151210591306973759766820352664", "483493613871173232324734475001515123584043216973704069512", "420984120081756646041912417774973192788170856904666293554", "357419528614791057090631995904439687047134989169063771204", "295874499508801086186882828329288968440266366244554037492", "238800530543213523533688374955204959440926295861836766676", "187908489934000650302151805206815007948425043170688043112", "144154814263320449538635654684761483207101581049849390648", "107814072817698449969513825827974394773792527905248021291", "78610588969269106103318275007794624230341150538766671148", "55878609591671041577705252928708134372449536409794112862", "38723322022222297940386405619317144652480964298356229440", "26161906698540488787724897585779824578236274999895915914", "17232439560175846293029871816758533157141973324099863952", "11066714916244527650853471205916263877024791483267834750", "6929501576723775075439497963894520163556144322159705248", "4230731805838666015979113716747555527602546167548665671", "2518718587254111380256853705783742392510048293944290596", "1462229970305933193640685637220440713588949362118621140", "827836977974596219028469674442948316543182179093282892", "457074966249300259897904754886367479778154815930813884", "246128635445555006041586833977340319815512957526819712", "129266178844482468487353525231058513871272532701322916", "66216792382336029935150548951661106939478869817996300", "33084134364278020323296051967258344449373318222424356", "16122873928478423973673446798827907458716493993897564", "7663597791165683428533456619184396331584365887911166", "3552876946016722448705063849055084894045209729307500", "1606449064860572997801096231364102975187837136810620", "708381266148405276529240335551024465149906605781948", "304611169097848153596214637909863005531493437219398", "127720170691068213887949580840127159303663477082244", "52210146076929338839081675772975854115265274283313", "20805072099854743842534674000548723806567121127052", "8080341050155145637838191925788852947351813613330", "3058112899465634924246710945322817987373126337796", "1127581018289354453464612205292245674259295504192", "404957329712094572461658008524595552090972429920", "141620009603026262550397029392261370126743999744", "48213658900075860228734294438779089914634614104", "15973922635808527641377026878477831385754534537", "5148782233468325930210104581210254877229608392", "1613963884388065195928053854166090107786159170", "491828386806759310228153193378335927353934488", "145642141822478881526081764105995486538854663", "41891524353447000716301295971032848507766852", "11698529021465862933067673440140602214631278", "3170228902230041224453886829191028953573132", "833258852226921105022916905525093349060258", "212305688011732537490650691521125591118864", "52406375029027506152684278446978663396704", "12525092454554320889980615627317133124416", "2896474620356607639915163380385517392664", "647665962459179667401018091076211937348", "139928833590435883092380664719646967858", "29187744690686355455307559112080587260", "5873161009299249591923091059619036245", "1139039365598156863122493544142145348", "212712406333091121297828460772048850", "38211834582660183618221286395123784", "6596092985760726865071842507450373", "1092844039165986276386784046488560", "173569367231284006106911787143400", "26390665595775933242125166523640", "3835852671861601213358705495176", "532141418699832563055208518120", "70340532810267398872822956970", "8842809863282389885166149472", "1055107996199325299468411710", "119221242555663928772125740", "12725862971082150915884980", "1279695717810596687329264", "120860151127668775707518", "10683770265448450454780", "880530516383332945556", "67362990324409227840", "4759341707702825880", "308714056715858976", "18257282924056176", "976325290056480", "46738976651640", "1978369382080", "72887293024", "2289653184", "59626385", "1235780", "19110", "196", "1"], "F_minus1": "-1", "p_med": "0.589200171193723644344640059478678608017814", "published_p_med": "0.589200171193723644344640059478", "p_med_digit_match": 32, "p_cell": "0.597439041437080848283968950089603109720644", "published_p_cell": "0.597439041437080848283968950089", "p_cell_digit_match": 32} \ No newline at end of file diff --git a/scripts/p11_bruteforce.cpp b/scripts/p11_bruteforce.cpp new file mode 100644 index 000000000..352e92631 --- /dev/null +++ b/scripts/p11_bruteforce.cpp @@ -0,0 +1,52 @@ +// Path B (fast): brute-force enumeration of all 2^(nm) occupancy patterns on +// the free-boundary n x m grid; union-find spanning check, counts by k. +// Independent of any transfer matrix. Usage: ./p11_bruteforce n [m] +#include +#include +#include +using namespace std; + +int main(int argc, char** argv) { + int n = atoi(argv[1]); + int m = argc > 2 ? atoi(argv[2]) : n; + int nm = n * m; + vector A(nm + 1, 0); + vector par(nm + 1), stk; + for (unsigned long long mask = 0; mask < (1ull << nm); ++mask) { + int k = __builtin_popcountll(mask & ((1ull << nm) - 1)); + if (nm > 63) { fprintf(stderr, "nm too large\n"); return 1; } + // union-find with path halving over occupied sites only + for (int i = 0; i < nm; ++i) par[i] = i; + auto find = [&](int x) { + while (par[x] != x) { par[x] = par[par[x]]; x = par[x]; } + return x; + }; + for (int i = 0; i < m; ++i) + for (int j = 0; j < n; ++j) { + int v = i * n + j; + if (!((mask >> v) & 1ull)) continue; + if (j + 1 < n && ((mask >> (v + 1)) & 1ull)) { + int a = find(v), b = find(v + 1); + if (a != b) par[a] = b; + } + if (i + 1 < m && ((mask >> (v + n)) & 1ull)) { + int a = find(v), b = find(v + n); + if (a != b) par[a] = b; + } + } + bool spans = false; + for (int j = 0; j < n && !spans; ++j) { + if (!((mask >> j) & 1ull)) continue; // top row + for (int j2 = (m - 1) * n; j2 < m * n; ++j2) { // bottom row + if (!((mask >> j2) & 1ull)) continue; + if (find(j) == find(j2)) { spans = true; break; } + } + } + if (spans) ++A[k]; + } + printf("{\"path\":\"brute_force_cpp\",\"n\":%d,\"m\":%d,\"A\":[", n, m); + for (int k = 0; k <= nm; ++k) + printf("%s%llu", k ? "," : "", A[k]); + printf("]}\n"); + return 0; +} diff --git a/scripts/p11_bruteforce.py b/scripts/p11_bruteforce.py new file mode 100644 index 000000000..965b0d042 --- /dev/null +++ b/scripts/p11_bruteforce.py @@ -0,0 +1,77 @@ +#!/usr/bin/env python3 +"""Path B: brute-force enumeration of all 2^(nm) occupancy patterns. + +Completely independent of the transfer matrix in p11_square_dp.py: each +configuration is materialised as a grid, clusters are found with BFS on the +4-neighbour graph, and spanning (a cluster touching rows 1 and m) is decided +directly. Counts A_{n,m}(k) are tallied by number of occupied sites. + +Used to validate the transfer-matrix state canonicalization on small widths +(acceptance requirement of Issue 11). Feasible for nm <= 16 or so in pure +Python (2^16 = 65536 configurations). +""" + +from __future__ import annotations + +import argparse +import json +import sys + + +def brute_force_A(n, m): + nm = n * m + A = [0] * (nm + 1) + for mask in range(1 << nm): + k = bin(mask).count("1") + occ = [(mask >> (i * n + j)) & 1 for i in range(m) for j in range(n)] + # BFS over occupied sites; row index i in 0..m-1 corresponds to + # paper rows 1..m; spanning touches i=0 and i=m-1. + seen = [False] * nm + spans = False + for start in range(nm): + if not occ[start] or seen[start]: + continue + stack = [start] + seen[start] = True + touch_top = touch_bottom = False + while stack: + v = stack.pop() + i, j = divmod(v, n) + if i == 0: + touch_top = True + if i == m - 1: + touch_bottom = True + for di, dj in ((1, 0), (-1, 0), (0, 1), (0, -1)): + ii, jj = i + di, j + dj + if 0 <= ii < m and 0 <= jj < n: + w = ii * n + jj + if occ[w] and not seen[w]: + seen[w] = True + stack.append(w) + if touch_top and touch_bottom: + spans = True + break + if spans: + A[k] += 1 + return A + + +def main(): + ap = argparse.ArgumentParser() + ap.add_argument("--n", type=int, required=True) + ap.add_argument("--m", type=int, default=None) + args = ap.parse_args() + m = args.m or args.n + A = brute_force_A(args.n, m) + assert A[m] == args.n, f"A[{m}] = {A[m]} != n={args.n}" + parity = sum(c * (-1) ** k for k, c in enumerate(A) if c) + print(json.dumps({ + "path": "brute_force", + "n": args.n, "m": m, + "A": A, + "F_minus1": str(parity), + })) + + +if __name__ == "__main__": + main() diff --git a/scripts/p11_crt_roots.py b/scripts/p11_crt_roots.py new file mode 100644 index 000000000..2f85b20ea --- /dev/null +++ b/scripts/p11_crt_roots.py @@ -0,0 +1,198 @@ +#!/usr/bin/env python3 +"""Combine CRT passes from p11_exact_dp.cpp into exact A(k), run sanity +checks, compute p_med / p_cell roots with mpmath, and compare digit-by-digit +with the published Mertens 2022 table (data/mertens_2022_square_site_estimators.csv). + +Exactness contract: A(k) are reconstructed as exact integers (Chinese +remainder over 30-bit primes); no float enters the integer path. Roots are +computed at 60 significant digits; the reported digit match counts the common +prefix with the published string (30 decimals "exact as printed" per the +source). + +Usage: + p11_crt_roots.py --crt file1.json [file2.json ...] --n N [--cell-crt f2 ...] + --out out.json + p11_crt_roots.py --f128-audit --n N --exact file.json --digits-file root.json +""" + +from __future__ import annotations + +import argparse +import json +import sys +from fractions import Fraction +from pathlib import Path + +from mpmath import mp, mpf + +ROOT = Path(__file__).resolve().parents[1] + + +def crt_pair(r1, m1, r2, m2): + g = pow(m1, -1, m2) + k = ((r2 - r1) * g) % m2 + return (r1 + m1 * k) % (m1 * m2), m1 * m2 + + +def combine(passes): + from math import gcd + rs, ms = [], [] + for p in passes: + rs.append(int(p["prime"])) + ms.append(p["A"]) + for i in range(len(rs)): + for j in range(i + 1, len(rs)): + assert gcd(rs[i], rs[j]) == 1, \ + f"moduli {rs[i]},{rs[j]} not coprime" + nm = len(ms[0]) - 1 + A = [0] * (nm + 1) + for k in range(nm + 1): + r, m = ms[0][k], rs[0] + for j in range(1, len(rs)): + r, m = crt_pair(r, m, ms[j][k], rs[j]) + A[k] = r + return A + + +def sanity(n, m, A): + assert A[m] == n, f"A[{m}]={A[m]} != {n}" + from math import comb + for k, a in enumerate(A): + assert 0 <= a <= comb(n * m, k), f"A[{k}] out of range" + parity = sum(c * (-1) ** k for k, c in enumerate(A) if c) + return parity + + +def R_of_poly(A, p, nm): + total = mpf(0) + q = 1 - p + pk = mpf(1) + for k, c in enumerate(A): + if c: + total += c * pk * q ** (nm - k) + pk *= p + else: + pk *= p + return total + + +def bisect_root(f, lo, hi, iters=170): + flo = f(lo) + assert flo < 0, "f(lo) must be negative" + for _ in range(iters): + mid = (lo + hi) / 2 + fm = f(mid) + if (fm < 0) == (flo < 0): + lo = mid + else: + hi = mid + return (lo + hi) / 2 + + +def p_med_root(A): + mp.dps = 60 + nm = len(A) - 1 + f = lambda p: R_of_poly(A, p, nm) - mpf(1) / 2 + return bisect_root(f, mpf("0.4"), mpf("0.75")) + + +def p_cell_root(A_n, A_nm1): + mp.dps = 60 + f = lambda p: (R_of_poly(A_n, p, len(A_n) - 1) + - R_of_poly(A_nm1, p, len(A_nm1) - 1)) + return bisect_root(f, mpf("0.4"), mpf("0.75")) + + +def published(): + path = ROOT / "data" / "mertens_2022_square_site_estimators.csv" + rows = {} + lines = path.read_text().strip().splitlines() + hdr = lines[0].split(",") + for ln in lines[1:]: + parts = ln.split(",") + d = dict(zip(hdr, parts)) + n = int(d["n"]) + rows[n] = (d["p_med"], d["p_cell"]) + return rows + + +def match_digits(mine_str, pub_str): + if not pub_str: + return None + a, b = mine_str, pub_str + common = 0 + for x, y in zip(a, b): + if x == y: + common += 1 + else: + break + return common + + +def main(): + ap = argparse.ArgumentParser() + ap.add_argument("--crt", nargs="+", required=True, + help="CRT json file(s) for width n (n-1 files may be " + "given via --cell-crt or inferred)") + ap.add_argument("--cell-crt", nargs="*", default=None, + help="CRT json file(s) for width n-1 (for p_cell)") + ap.add_argument("--n", type=int, required=True) + ap.add_argument("--m", type=int, default=None) + ap.add_argument("--out", type=str, default=None) + args = ap.parse_args() + m = args.m or args.n + + def load_and_combine(files): + passes = [] + for fp in files: + d = json.loads(Path(fp).read_text()) + passes.extend(d["passes"]) + return combine(passes) + + A = load_and_combine(args.crt) + parity = sanity(args.n, m, A) + mp.dps = 60 + med = p_med_root(A) + + A_prev = None + if args.cell_crt: + A_prev = load_and_combine(args.cell_crt) + elif args.n > 1: + # try sibling file convention: same dir, name with n-1 + cands = [] + for fp in args.crt: + p = Path(fp) + s = str(p) + for tag in (f"n{args.n}", f"_{args.n}.", f"-{args.n}."): + if tag in s: + cands.append(Path(s.replace(tag, tag.replace( + str(args.n), str(args.n - 1))))) + for c in cands: + if c.exists(): + A_prev = load_and_combine([str(c)]) + break + + out = { + "n": args.n, "m": m, + "A_exact": [str(x) for x in A], + "F_minus1": str(parity), + "p_med": mp.nstr(med, 42), + } + pub = published() + pub_med, pub_cell = pub[args.n] + out["published_p_med"] = pub_med + out["p_med_digit_match"] = match_digits(out["p_med"], pub_med) + if A_prev is not None: + sanity(args.n - 1, args.n - 1, A_prev) + cell = p_cell_root(A, A_prev) + out["p_cell"] = mp.nstr(cell, 42) + if pub_cell: + out["published_p_cell"] = pub_cell + out["p_cell_digit_match"] = match_digits(out["p_cell"], pub_cell) + print(json.dumps(out, indent=2)) + if args.out: + Path(args.out).write_text(json.dumps(out)) + + +if __name__ == "__main__": + main() diff --git a/scripts/p11_cylinder_sectors.py b/scripts/p11_cylinder_sectors.py new file mode 100644 index 000000000..670ad2732 --- /dev/null +++ b/scripts/p11_cylinder_sectors.py @@ -0,0 +1,108 @@ +#!/usr/bin/env python3 +"""Cylinder sector transfer matrices for the Jacobsen 2015 eigenvalue identity +-- independent reconstruction attempt, and its documented NEGATIVE result. + +Issue 11 (T07) sub-goal: reproduce data/jacobsen_2015_square_site_cylinder.csv +(p_c(n), n x infinity periodic cylinder, criterion Lambda_open = Lambda_closed, +arXiv:1507.03027 Eq. 13). + +What this script implements (strip-sector formulation): + * geometry: n-leg square-lattice cylinder (periodic transverse direction, + transfer along the infinite axis); for n=2 the two transverse bonds of a + column are PARALLEL edges (the square lattice wraps twice), which makes a + fully-occupied column contain the noncontractible 2-cycle. + * closed sector: configurations in which no cluster ever wraps the + transverse direction; transitions creating a wrap are killed. + * open sector: configurations in which a wrap has occurred AND the wrapped + cluster keeps frontier presence forever (a cluster that dies cannot wrap + the longitudinal direction of the torus-ised base, so it cannot contribute + to Z_2D ~ Lambda_open^m); transitions severing the last wrapped class are + killed. + * p_c(n) := unique root of Lambda_open(p) = Lambda_closed(p). + +Results: + n=1: p_c = 1/2 exactly (matches Jacobsen Table 2 row n=1). + n=2: p_c = 0.5200209062507977903451182342807883098159254... + published = 0.5651977173836393964375280132470308160984 + MISMATCH. Conclusion: the open/closed sectors of arXiv:1507.03027 live on + the s=0 reduced-state space of the PERIODIC Temperley-Lieb algebra (both + directions glued; states are annular link patterns, not strip connectivity + states), which is a different state space from the naive strip-sector + decomposition implemented here. Faithful reproduction requires + reimplementing that machinery; it is out of scope for this ticket and the + mismatch is reported rather than absorbed. + +The full 3x3 matrices for n=2 are printed below so the negative result is +auditable. +""" + +from __future__ import annotations + +from mpmath import mp, mpf + + +def lam_open_n2(p): + """Dominant eigenvalue of the n=2 open-sector TM (basis X=W0=W1, Y=W01, + Z=W0+plain1; rows = from-state, entries are column-configuration weights; + killed transitions are omitted).""" + p = mpf(p) + q = 1 - p + M = [[p * q, p * p, p * q], + [2 * p * q, p * p, 0], + [p * q, p * p, 0]] + v = [mpf(1), mpf(1), mpf(1)] + for _ in range(20000): + w = [sum(M[i][j] * v[i] for i in range(3)) for j in range(3)] + n = max(abs(x) for x in w) + v = [x / n for x in w] + w = [sum(M[i][j] * v[i] for i in range(3)) for j in range(3)] + return w[0] / v[0] + + +def lam_closed_n2(p): + """n=2 closed sector: rank-1 TM (allowed column configs {}, {0}, {1}); + Lambda = sum of column weights = 1 - p^2.""" + return 1 - mpf(p) ** 2 + + +def lam_open_n1(p): + """n=1: wrapped state is absorbing-with-persistence only via occupation: + Lambda_open = p (the ring survives only while every following site is + occupied -- a single empty site severs the 1-site ring).""" + return mpf(p) + + +def lam_closed_n1(p): + """n=1: any occupied column site wraps immediately (self-bond), so the + closed sector only allows empty columns: Lambda_closed = 1-p.""" + return 1 - mpf(p) + + +def crossing(lam_open, lam_closed, lo="0.3", hi="0.9", digits=45): + mp.dps = 60 + f = lambda p: lam_open(p) - lam_closed(p) + lo, hi = mpf(lo), mpf(hi) + flo = f(lo) + assert flo < 0 < f(hi) + for _ in range(160): + mid = (lo + hi) / 2 + if (f(mid) < 0) == (flo < 0): + lo = mid + else: + hi = mid + return (lo + hi) / 2 + + +def main(): + mp.dps = 60 + p1 = crossing(lam_open_n1, lam_closed_n1) + print("n=1 p_c =", mp.nstr(p1, 20), "(published 0.5) ->", + "MATCH" if p1 == mpf("0.5") else "MISMATCH") + p2 = crossing(lam_open_n2, lam_closed_n2) + print("n=2 p_c =", mp.nstr(p2, 45)) + print("published 0.5651977173836393964375280132470308160984") + print("n=2 -> MISMATCH (see module docstring)") + + +if __name__ == "__main__": + main() diff --git a/scripts/p11_exact_dp.cpp b/scripts/p11_exact_dp.cpp new file mode 100644 index 000000000..dfd1721e6 --- /dev/null +++ b/scripts/p11_exact_dp.cpp @@ -0,0 +1,513 @@ +// P11 engine: exact / high-precision transfer-matrix DP for square-lattice +// site percolation spanning counts A_{n,m}(k) (Mertens 2022 definitions, +// arXiv:2109.12102; spanning = one occupied 4-neighbour cluster touching the +// virtual all-occupied row 0 and row m of the free-boundary n x m grid). +// +// Sweep design: the state map is advanced ONE CELL at a time (extend(sigma,c) +// semantics, paper Sec. 3.5), so per-row work is O(n * S) not O(2^n * S). +// State = unsigned __int128, 5 bits per cell: 0 empty, 1 top-connected, +// >=2 non-top cluster label (canonical by first occurrence; partial states +// are canonicalized at every occupied-cell step because they are map keys). +// +// Drop rules (exactly two): +// * the top cluster loses its last cell with no new-row presence -> drop +// (no future cluster can reach the virtual row 0 any more); +// * a non-top cluster losing all cells simply vanishes (a finished +// non-spanning cluster) -- the configuration stays valid. +// +// Modes: +// crt exact A(k) modulo primes (Chinese remainder outside); per-row +// telemetry on stderr; optional map dump/load for checkpoints. +// f128 __float128 evaluation of R(p), R'(p); Newton root finding for +// p_med / p_cell with final bracket verification. +// +// All arithmetic in crt mode is exact modular integer arithmetic. In f128 +// mode all rounding is IEEE quad precision; the achieved digit count is +// audited against the crt/exact route at widths where both run. + +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#ifdef HAVE_QUADMATH +#include +#endif + +typedef unsigned __int128 u128; +#if defined(HAVE_QUADMATH) +typedef __float128 f128; +#elif defined(HAVE_LDBL128) +// aarch64 Linux: long double is IEEE binary128 (113-bit mantissa) +typedef long double f128; +#else +typedef double f128; // placeholder only; f128/res modes refuse to run +#endif + +static const int BITS = 5, CELLMAX = 32; +static const uint64_t EMPTY = 0, TOP = 1; + +static inline uint64_t cell_of(u128 s, int i) { + return (uint64_t)((s >> (BITS * i)) & (CELLMAX - 1)); +} +static inline void set_cell(u128& s, int i, uint64_t v) { + s &= ~(((u128)(uint64_t)(CELLMAX - 1)) << (BITS * i)); + s |= ((u128)v) << (BITS * i); +} + +struct StateHash { + size_t operator()(u128 s) const { + uint64_t lo = (uint64_t)s, hi = (uint64_t)(s >> 64); + lo ^= lo >> 33; lo *= 0xff51afd7ed558ccdULL; + hi ^= hi >> 33; hi *= 0xc4ceb9fe1a85ec53ULL; + uint64_t x = lo ^ hi; + x ^= x >> 33; x *= 0xff51afd7ed558ccdULL; x ^= x >> 33; + return (size_t)x; + } +}; + +static int canonical_relabel(u128& s, int n) { + int mapv[CELLMAX]; + for (int i = 0; i < CELLMAX; ++i) mapv[i] = -1; + int next = 0; + u128 out = 0; + for (int i = 0; i < n; ++i) { + uint64_t c = cell_of(s, i); + int v; + if (c == EMPTY) v = 0; + else if (c == TOP) v = 1; + else { + if (mapv[c] < 0) mapv[c] = 2 + (next++); + v = mapv[c]; + } + out |= ((u128)v) << (BITS * i); + } + s = out; + return 2 + next; +} + +static inline bool occurs(u128 s, int a, int b, uint64_t L) { + for (int i = a; i < b; ++i) + if (cell_of(s, i) == L) return true; + return false; +} + +// --------------------------------------------------------------------------- +// value policies +// --------------------------------------------------------------------------- + +struct CrtVal { + std::vector c; // coefficients mod p, compact + void add(const CrtVal& o, uint64_t mod) { + if (o.c.size() > c.size()) c.resize(o.c.size(), 0); + for (size_t i = 0; i < o.c.size(); ++i) { + c[i] += o.c[i]; + if (c[i] >= mod) c[i] -= mod; + } + } + void shift1() { c.insert(c.begin(), 0); } + void trim() { while (!c.empty() && c.back() == 0) c.pop_back(); } +}; + +struct F128Val { + f128 v = 0, dv = 0; + void add(const F128Val& o, uint64_t) { v += o.v; dv += o.dv; } + void shift1() {} + void trim() {} +}; + +// --------------------------------------------------------------------------- + +template +struct Sweeper { + int n = 0, m = 0; + uint64_t pmod = 0; // prime (crt) or 0 (f128) + f128 p = 0, qp = 0; // f128 branch weights + long long extends_cnt = 0, insert_cnt = 0; + + typedef std::unordered_map Map; + + // advance every partial state across cell c + void cell_step(Map& cur, Map& next, int c) { + next.clear(); + next.reserve(cur.size() * 2 + 16); + for (auto& kv : cur) { + const u128 s = kv.first; + const Val& src = kv.second; + const uint64_t oldc = cell_of(s, c); + const uint64_t left = (c > 0) ? cell_of(s, c - 1) : EMPTY; + ++extends_cnt; + + // ---- branch b=0 evaluated first (it takes src's coefficient + // vector by move in crt mode); b=1 then reuses tmp0's data. + Val tmp0; + bool b0_insert = false; + { + bool drop = false; + if (oldc != EMPTY && !occurs(s, c + 1, n, oldc) && + !occurs(s, 0, c, oldc)) { + if (oldc == TOP) drop = true; + // non-top: the finished cluster just vanishes + } + if (!drop) { + u128 s2 = s; + set_cell(s2, c, EMPTY); + // emptying a cell can remove a label's last occurrence and + // leave a gap in the label numbering; re-canonicalize so + // equivalent states share one map key + canonical_relabel(s2, n); + if constexpr (std::is_same_v) { + tmp0.v = src.v * qp; + tmp0.dv = src.dv * qp - src.v; + } else { + tmp0.c = std::move(const_cast(src).c); + } + next[s2].add(tmp0, pmod); + b0_insert = true; + ++insert_cnt; + } + } + // ---- branch b=1 : new cell c occupied + { + u128 s2 = s; + uint64_t lab; + if (oldc == EMPTY && left == EMPTY) { + int mx = 1; + for (int i = 0; i < n; ++i) + mx = std::max(mx, (int)cell_of(s, i)); + lab = (uint64_t)(mx + 1); + } else if (oldc != EMPTY && left != EMPTY) { + if (oldc == TOP || left == TOP) { + lab = TOP; + uint64_t other = (oldc == TOP) ? left : oldc; + if (other != TOP) + for (int i = 0; i < n; ++i) + if (cell_of(s2, i) == other) + set_cell(s2, i, TOP); + } else { + lab = left; + // relabel oldc across the WHOLE row: the class may + // also own new-row cells merged earlier in this sweep + for (int i = 0; i < n; ++i) + if (cell_of(s2, i) == oldc) set_cell(s2, i, lab); + } + } else { + lab = (oldc != EMPTY) ? oldc : left; + } + set_cell(s2, c, lab); + canonical_relabel(s2, n); + Val tmp; + if constexpr (std::is_same_v) { + tmp.v = src.v * p; + tmp.dv = src.dv * p + src.v; // d/dp (v_old * p) + } else { + tmp.c = b0_insert ? tmp0.c + : std::move(const_cast(src).c); + tmp.shift1(); + } + tmp.trim(); + next[s2].add(tmp, pmod); + ++insert_cnt; + } + } + } + + void row_step(Map& cur, Map& scratch) { + for (int c = 0; c < n; ++c) { + cell_step(cur, scratch, c); + std::swap(cur, scratch); + } + } +}; + +// --------------------------------------------------------------------------- +// initial row-1 map: 2^n - 1 configurations, occupied sites top-connected +// --------------------------------------------------------------------------- + +template +static void init_row1(typename Sweeper::Map& map0, int n, + uint64_t mod, f128 p, f128 q) { + for (uint64_t mask = 1; mask < (1ull << n); ++mask) { + u128 s = 0; + int k = 0; + for (int j = 0; j < n; ++j) + if ((mask >> j) & 1) { set_cell(s, j, TOP); ++k; } + Val v; + if constexpr (std::is_same_v) { + v.c.assign(k + 1, 0); + v.c[k] = 1 % mod; + } else { + f128 base = 1; + for (int i = 0; i < k; ++i) base *= p; + for (int i = 0; i < n - k; ++i) base *= q; + f128 d = 0; + if (k > 0) d += ((f128)k / p) * base; + if (n - k > 0) d -= ((f128)(n - k) / q) * base; + v.v = base; v.dv = d; + } + map0[s] = std::move(v); + } +} + +// --------------------------------------------------------------------------- +// checkpoint dump/load (crt): deterministic byte layout (sorted keys), so the +// file's SHA-256 (computed outside) is a deterministic state-enumeration hash +// --------------------------------------------------------------------------- + +static void map_dump(const Sweeper::Map& mp, const char* path, + int n, int row, uint64_t mod) { + FILE* f = fopen(path, "wb"); + if (!f) { perror("fopen"); exit(1); } + uint32_t hdr[4] = {(uint32_t)n, (uint32_t)row, (uint32_t)mod, + (uint32_t)mp.size()}; + fwrite(hdr, sizeof(uint32_t), 4, f); + std::vector keys; + keys.reserve(mp.size()); + for (auto& kv : mp) keys.push_back(kv.first); + std::sort(keys.begin(), keys.end()); + for (u128 k : keys) { + fwrite(&k, sizeof(u128), 1, f); + const std::vector& c = mp.at(k).c; + uint32_t len = (uint32_t)c.size(); + fwrite(&len, sizeof(uint32_t), 1, f); + if (len) fwrite(c.data(), sizeof(uint64_t), len, f); + } + fclose(f); +} + +static void map_load(Sweeper::Map& mp, const char* path, + int& n, int& row, uint64_t& mod) { + FILE* f = fopen(path, "rb"); + if (!f) { perror("fopen"); exit(1); } + uint32_t hdr[4]; + if (fread(hdr, sizeof(uint32_t), 4, f) != 4) { fprintf(stderr, "bad hdr\n"); exit(1); } + n = hdr[0]; row = hdr[1]; mod = hdr[2]; + mp.clear(); + for (uint32_t i = 0; i < hdr[3]; ++i) { + u128 k; + if (fread(&k, sizeof(u128), 1, f) != 1) { fprintf(stderr, "bad key\n"); exit(1); } + uint32_t len; + if (fread(&len, sizeof(uint32_t), 1, f) != 1) { fprintf(stderr, "bad len\n"); exit(1); } + CrtVal v; v.c.resize(len); + if (len && fread(v.c.data(), sizeof(uint64_t), len, f) != len) { + fprintf(stderr, "bad coeff\n"); exit(1); + } + mp[k] = std::move(v); + } + fclose(f); +} + +static double now_s() { + static auto t0 = std::chrono::steady_clock::now(); + return std::chrono::duration( + std::chrono::steady_clock::now() - t0).count(); +} + +// --------------------------------------------------------------------------- +// crt mode +// --------------------------------------------------------------------------- + +int mode_crt(int n, int m, const char* map_in, const char* map_out, + int dump_row) { + // verified primes (sympy.isprime), pairwise coprime + uint64_t primes[] = {1073741789ULL, 1073741783ULL, 1073741741ULL, + 1073741723ULL, 1073741719ULL, 1073741717ULL, + 1073741689ULL, 1073741671ULL, 1073741663ULL, + 1073741651ULL}; + const int np = 10; + int need = (n * m + 29) / 30; // prod(p_i) > 2^(nm) >= max A(k) + if (map_in) need = 1; // restart: single pass with the checkpoint modulus + if (need > np) { fprintf(stderr, "not enough primes\n"); return 1; } + printf("{\"mode\":\"crt\",\"n\":%d,\"m\":%d,\"primes\":[", n, m); + for (int i = 0; i < need; ++i) + printf("%s%llu", i ? "," : "", (unsigned long long)primes[i]); + printf("],\"passes\":[\n"); + for (int ip = 0; ip < need; ++ip) { + uint64_t mod = primes[ip]; + Sweeper sw; sw.n = n; sw.m = m; sw.pmod = mod; + Sweeper::Map cur, scratch; + int start_row = 1; + if (map_in) map_load(cur, map_in, n, start_row, mod); + else init_row1(cur, n, mod, 0, 0); + double t0 = now_s(); + sw.extends_cnt = sw.insert_cnt = 0; + for (int r = start_row + 1; r <= m; ++r) { + sw.row_step(cur, scratch); + fprintf(stderr, + "{\"pass\":%d,\"row\":%d,\"states\":%zu,\"t\":%.2f," + "\"extends\":%lld,\"inserts\":%lld}\n", + ip, r, cur.size(), now_s() - t0, sw.extends_cnt, + sw.insert_cnt); + if (map_out && r == dump_row) { + std::string path = std::string(map_out) + ".p" + + std::to_string(ip); + map_dump(cur, path.c_str(), n, r, mod); + } + } + std::vector A(n * m + 1, 0); + for (auto& kv : cur) { + const std::vector& c = kv.second.c; + for (size_t k = 0; k < c.size(); ++k) { + A[k] += c[k]; + if (A[k] >= mod) A[k] -= mod; + } + } + printf("{\"prime\":%llu,\"A\":[", (unsigned long long)mod); + for (int k = 0; k <= n * m; ++k) + printf("%s%llu", k ? "," : "", (unsigned long long)A[k]); + printf("],\"peak_states\":%zu,\"extends\":%lld,\"inserts\":%lld," + "\"t\":%.2f}%s\n", + cur.size(), sw.extends_cnt, sw.insert_cnt, now_s() - t0, + ip + 1 < need ? "," : ""); + if (map_out && !dump_row) { + std::string path = std::string(map_out) + ".p" + std::to_string(ip); + map_dump(cur, path.c_str(), n, m, mod); + } + } + printf("]}\n"); + return 0; +} + +// --------------------------------------------------------------------------- +// f128 mode: Newton root finding with bracket verification +// --------------------------------------------------------------------------- + +static std::string f128_str(f128 x, int digits) { + (void)digits; + char buf[512]; +#if defined(HAVE_QUADMATH) + quadmath_snprintf(buf, sizeof buf, "%.45Qg", x); +#elif defined(HAVE_LDBL128) + snprintf(buf, sizeof buf, "%.45Lg", x); +#else + snprintf(buf, sizeof buf, "%.17g", (double)x); +#endif + return buf; +} + +static f128 f128_from_str(const char* s) { +#if defined(HAVE_QUADMATH) + return strtoflt128(s, nullptr); +#else + return strtold(s, nullptr); +#endif +} + +int mode_f128(int n, int kind, f128 p0, int iters, f128 bracket_d) { +#ifndef HAVE_QUADMATH + if (sizeof(f128) < 16) { + fprintf(stderr, "f128 mode needs binary128 long double or quadmath\n"); + return 1; + } +#endif + auto eval = [&](f128 p, f128& f, f128& df) { + f = 0; df = 0; + for (int w = 0; w < (kind == 1 ? 2 : 1); ++w) { + int nn = (w == 0) ? n : n - 1; + if (nn < 1) continue; + Sweeper sw; sw.n = nn; sw.m = nn; sw.pmod = 0; + sw.p = p; sw.qp = 1 - p; + Sweeper::Map cur, scratch; + init_row1(cur, nn, 0, p, 1 - p); + for (int r = 2; r <= nn; ++r) sw.row_step(cur, scratch); + f128 R = 0, dR = 0; + for (auto& kv : cur) { R += kv.second.v; dR += kv.second.dv; } + if (w == 0) { f += R; df += dR; } + else { f -= R; df -= dR; } + } + if (kind == 0) f -= (f128)0.5; + }; + f128 p = p0, f = 0, df = 0; + for (int it = 0; it < iters; ++it) { + eval(p, f, df); + f128 step = f / df; + p -= step; + fprintf(stderr, "{\"it\":%d,\"p\":%s,\"f\":%s,\"step\":%s}\n", it, + f128_str(p, 45).c_str(), f128_str(f, 12).c_str(), + f128_str(step, 12).c_str()); + if (fabsl((long double)step) < 1e-36L) break; + } + f128 fl, fr; + eval(p - bracket_d, fl, df); + eval(p + bracket_d, fr, df); + bool ok = (fl < 0 && fr > 0) || (fl > 0 && fr < 0); + printf("{\"mode\":\"f128\",\"kind\":\"%s\",\"n\":%d," + "\"p_root\":%s,\"f_left\":%s,\"f_right\":%s," + "\"bracket_d\":%s,\"bracket_ok\":%s}\n", + kind == 0 ? "med" : "cell", n, + f128_str(p, 45).c_str(), f128_str(fl, 12).c_str(), + f128_str(fr, 12).c_str(), f128_str(bracket_d, 6).c_str(), + ok ? "true" : "false"); + return ok ? 0 : 2; +} + +// --------------------------------------------------------------------------- +// resource telemetry mode: one evaluation at fixed p with per-row stats +// --------------------------------------------------------------------------- + +int mode_res(int n, f128 p) { + Sweeper sw; sw.n = n; sw.m = n; sw.pmod = 0; + sw.p = p; sw.qp = 1 - p; + Sweeper::Map cur, scratch; + init_row1(cur, n, 0, p, 1 - p); + printf("{\"mode\":\"res\",\"n\":%d,\"rows\":[\n", n); + fprintf(stderr, "{\"row\":1,\"states\":%zu,\"t\":%.3f}\n", cur.size(), + now_s()); + for (int r = 2; r <= n; ++r) { + double t0 = now_s(); + sw.row_step(cur, scratch); + printf("{\"row\":%d,\"states\":%zu,\"row_t\":%.3f," + "\"extends\":%lld,\"inserts\":%lld}%s\n", + r, cur.size(), now_s() - t0, sw.extends_cnt, sw.insert_cnt, + r < n ? "," : ""); + } + printf("]}\n"); + return 0; +} + +int main(int argc, char** argv) { + if (argc < 2) { fprintf(stderr, "usage: ...\n"); return 1; } + std::string mode = argv[1]; + std::vector a(argv + 2, argv + argc); + auto get = [&](const char* k, std::string def = "") -> std::string { + for (size_t i = 0; i + 1 < a.size(); ++i) + if (a[i] == k) return a[i + 1]; + return def; + }; + int n = atoi(get("--n", "0").c_str()); + int m = atoi(get("--m", "0").c_str()); if (!m) m = n; + if (mode == "crt") { + std::string mi = get("--map-in", ""), mo = get("--map-out", ""); + int dump_row = atoi(get("--dump-row", "0").c_str()); + return mode_crt(n, m, mi.empty() ? nullptr : mi.c_str(), + mo.empty() ? nullptr : mo.c_str(), dump_row); + } else if (mode == "f128" || mode == "res") { +#if !defined(HAVE_QUADMATH) && !defined(HAVE_LDBL128) + fprintf(stderr, "f128/res modes need binary128 (build with " + "-DHAVE_LDBL128 on aarch64 or quadmath)\n"); + return 1; +#else + if (sizeof(f128) < 16) { + fprintf(stderr, "long double is not binary128 here; refusing\n"); + return 1; + } + if (mode == "f128") { + int kind = get("--kind", "med") == "cell" ? 1 : 0; + f128 p0 = f128_from_str(get("--p0", "0.5927").c_str()); + int iters = atoi(get("--iters", "12").c_str()); + f128 bd = f128_from_str(get("--bracket", "1e-30").c_str()); + return mode_f128(n, kind, p0, iters, bd); + } + f128 p = f128_from_str(get("--p", "0.592746050792").c_str()); + return mode_res(n, p); +#endif + } + fprintf(stderr, "unknown mode\n"); + return 1; +} diff --git a/scripts/p11_resource_model.py b/scripts/p11_resource_model.py new file mode 100644 index 000000000..194ea5406 --- /dev/null +++ b/scripts/p11_resource_model.py @@ -0,0 +1,178 @@ +#!/usr/bin/env python3 +"""Resource model for the transfer-matrix DP: fit measured state counts, +peak RSS and per-evaluation wall time versus width n, and extrapolate the +memory/runtime needed for widths 25-28. + +Inputs (results/transfer-subfrontier-20260913/raw/): + - statecount Python DP: dpA_n*.json (peak_states) [exact path A] + - container CRT telemetry: crt_rows_n*.rows (per-row states, per-pass time) + - container probe JSONs: probe_*.json (peak RSS, wall seconds) + +Models (log-log and log-linear least squares over the measured range): + states(n) ~ a_s * b_s^n (uncondensed partial-row map size) + rss(n) ~ a_m * b_m^n + time(n) ~ a_t * b_t^n (one full CRT pass / one f128 evaluation) + +The extrapolation is honest in the sense that only measured widths enter the +fit, the fit interval and residuals are reported, and widths whose model +residual is large are flagged as not credible. +""" + +from __future__ import annotations + +import json +import math +import re +import sys +from pathlib import Path + +RAW = Path(__file__).resolve().parents[1] / "results" / \ + "transfer-subfrontier-20260913" / "raw" + + +def loglin_fit(xs, ys): + """Fit y = a*b^x by least squares on (log y); returns a, b, max rel resid.""" + lxs = xs + lys = [math.log(y) for y in ys] + n = len(lxs) + mx = sum(lxs) / n + my = sum(lys) / n + sxx = sum((x - mx) ** 2 for x in lxs) + sxy = sum((x - mx) * (y - my) for x, y in zip(lxs, lys)) + slope = sxy / sxx + intercept = my - slope * mx + a = math.exp(intercept) + b = math.exp(slope) + resids = [] + for x, y in zip(lxs, ys): + pred = a * b ** x + resids.append(abs(pred - y) / y) + return a, b, max(resids), resids + + +def peak_states_from_rows(path): + best = 0 + for line in path.read_text().splitlines(): + m = re.search(r'"states":(\d+)', line) + if m: + best = max(best, int(m.group(1))) + return best + + +def probe_stats(path): + d = json.loads(path.read_text()) + return d["timing"]["wall_seconds"], d["memory"]["peak_rss_kib"] + + +def main(): + out = {"schema": "matching-one/p11-resource-model/v1", "fits": {}} + + # ---- exact path A (local python DP): peak states + time vs n ---------- + ns, states, times = [], [], [] + for j in sorted(RAW.glob("dpA_n*.json")): + n = int(re.search(r"n(\d+)", j.stem).group(1)) + d = json.loads(j.read_text()) + ns.append(n) + states.append(d["peak_states"]) + t = RAW / f"dpA_n{n}.time" + if t.exists(): + for line in t.read_text().splitlines(): + if line.startswith("real"): + times.append(float(line.split()[1])) + if len(ns) >= 3: + a, b, rmax, _ = loglin_fit(ns, states) + out["fits"]["pathA_peak_states"] = { + "points": dict(zip(map(str, ns), states)), + "a": a, "b": b, "max_rel_resid": rmax} + if len(times) == len(ns): + a, b, rmax, _ = loglin_fit(ns, times) + out["fits"]["pathA_wall_seconds"] = { + "points": dict(zip(map(str, ns), times)), + "a": a, "b": b, "max_rel_resid": rmax} + + # ---- container CRT telemetry ----------------------------------------- + # Note: widths used different numbers of CRT primes (n=11..13: 10 primes, + # n=14: 7 primes), so we also fit per-pass wall time, which is the + # width-scalable quantity. Prime counts are read from the parsed CRT JSON. + ns, states, walls, rss, per_pass = [], [], [], [], [] + for j in sorted(RAW.glob("probe_crt_n*.json")): + n = re.search(r"n(\d+)", j.stem).group(1) + w, r = probe_stats(j) + rows = RAW / f"crt_rows_n{n}.rows" + if not rows.exists(): + rows = RAW / f"crt_n{n}.rows" + s = peak_states_from_rows(rows) if rows.exists() else None + npass = None + parsed = RAW / f"crt_n{n}_parsed.json" + raw = RAW / f"crt_n{n}.json" + try: + npass = len(json.loads(parsed.read_text())["passes"]) + except Exception: + try: + npass = len(json.loads(raw.read_text())["passes"]) + except Exception: + pass + ns.append(int(n)) + walls.append(w) + rss.append(r) + per_pass.append(w / npass if npass else None) + if s: + states.append(s) + pp = [(n, t) for n, t in zip(ns, per_pass) if t] + if len(ns) >= 3: + a, b, rmax, _ = loglin_fit(ns, walls) + out["fits"]["crt_wall_seconds_all_primes"] = { + "points": dict(zip(map(str, ns), walls)), + "a": a, "b": b, "max_rel_resid": rmax} + a, b, rmax, _ = loglin_fit(ns, rss) + out["fits"]["crt_peak_rss_kib"] = { + "points": dict(zip(map(str, ns), rss)), + "a": a, "b": b, "max_rel_resid": rmax} + if len(states) == len(ns): + a, b, rmax, _ = loglin_fit(ns, states) + out["fits"]["crt_peak_states"] = { + "points": dict(zip(map(str, ns), states)), + "a": a, "b": b, "max_rel_resid": rmax} + if len(pp) >= 3: + pxs, pys = zip(*pp) + a, b, rmax, _ = loglin_fit(list(pxs), list(pys)) + out["fits"]["crt_wall_seconds_per_pass"] = { + "points": {str(n): t for n, t in pp}, + "a": a, "b": b, "max_rel_resid": rmax} + + # ---- f128 evaluations -------------------------------------------------- + # The in-flight n=18 partial probe is excluded from the fits (reported as + # a bounded observation instead). + ns, walls, rss = [], [], [] + for j in sorted(RAW.glob("probe_f128_med_n*.json")): + if "partial" in j.stem: + continue + n = int(re.search(r"n(\d+)", j.stem).group(1)) + w, r = probe_stats(j) + ns.append(n) + walls.append(w) + rss.append(r) + if len(ns) >= 3: + a, b, rmax, _ = loglin_fit(ns, walls) + out["fits"]["f128_eval_wall_seconds"] = { + "points": dict(zip(map(str, ns), walls)), + "a": a, "b": b, "max_rel_resid": rmax} + a, b, rmax, _ = loglin_fit(ns, rss) + out["fits"]["f128_peak_rss_kib"] = { + "points": dict(zip(map(str, ns), rss)), + "a": a, "b": b, "max_rel_resid": rmax} + + # ---- extrapolation to n=25..28 ---------------------------------------- + extrap = {} + for key, fit in out["fits"].items(): + a, b = fit["a"], fit["b"] + extrap[key] = {str(n): a * b ** n for n in (25, 26, 27, 28)} + extrap[key]["_growth_base"] = b + extrap[key]["_max_rel_resid"] = fit["max_rel_resid"] + out["extrapolation_25_28"] = extrap + + print(json.dumps(out, indent=2)) + + +if __name__ == "__main__": + main() diff --git a/scripts/p11_square_dp.py b/scripts/p11_square_dp.py new file mode 100644 index 000000000..5986e506e --- /dev/null +++ b/scripts/p11_square_dp.py @@ -0,0 +1,291 @@ +#!/usr/bin/env python3 +"""Path A: exact integer-polynomial transfer-matrix DP for site percolation +spanning counts A_{n,m}(k) on the free-boundary n x m square grid. + +Independent re-implementation for Issue 11 (T07), using a label-based +connectivity-state encoding (NOT the parenthesis signature scheme of +Mertens 2022, arXiv:2109.12102, and NOT scripts/noncrossing_connectivity_codec.py): + + * a state is a tuple of n cells; each cell is + 0 empty site, + 1 occupied and connected to the top (virtual all-occupied row 0), + label >= 2 occupied, member of a not-yet-top-connected cluster, + with labels canonicalized by first occurrence; + * noncrossing of the cluster structure is asserted on every canonical state. + +Physics/algorithm contract being reproduced (Mertens 2022, arXiv:2109.12102): + spanning = one occupied 4-neighbour cluster touching rows 1 and m of the + n x m grid with free boundaries; the virtual all-occupied "row 0" seeds + top connectivity (paper Sec. 3.2/3.5); + F_{n,m}(z) = sum_k A_{n,m}(k) z^k; R_{n,m}(p) = (1-p)^{nm} F(p/(1-p)); + p_med: R_{n,n}(p_med) = 1/2; p_cell: R_{n,n}(p_cell) = R_{n-1,n-1}(p_cell). + +Exactness: all A(k) are Python integers; no floating point enters the DP. +Roots are refined with mpmath at 60 significant digits. + +Built-in checks (each exists to stop one specific wrong belief): + * A_{n,m}(m) = n -- stops a DP that leaks non-spanning configs + (paper Eq. 3a) + * F_{n,m}(-1) parity pinned -- stops coefficient drift (paper Eq. 6) + * brute-force A(k) agreement -- scripts/p11_bruteforce.py (independent path B) +""" + +from __future__ import annotations + +import argparse +import functools +import json +import sys +import time +from pathlib import Path + +from mpmath import mp, mpf + +ROOT = Path(__file__).resolve().parents[1] +EMPTY, TOP = 0, 1 + + +# --------------------------------------------------------------------------- +# state utilities (path-A codec) +# --------------------------------------------------------------------------- + +def _relabel(state): + mapping = {} + out = [] + for c in state: + if c >= 2: + if c not in mapping: + mapping[c] = 2 + len(mapping) + out.append(mapping[c]) + else: + out.append(c) + return tuple(out) + + +def _is_noncrossing(state): + positions = {} + for i, c in enumerate(state): + if c >= 2: + positions.setdefault(c, []).append(i) + labels = list(positions) + for ii in range(len(labels)): + for jj in range(ii + 1, len(labels)): + pa, pb = positions[labels[ii]], positions[labels[jj]] + if len(pa) > 1 and len(pb) > 1: + a1, a2 = pa[0], pa[-1] + b1, b2 = pb[0], pb[-1] + if a1 < b1 < a2 < b2 or b1 < a1 < b2 < a2: + return False + return True + + +def canonical(state): + state = _relabel(state) + assert _is_noncrossing(state), f"crossing produced: {state}" + return state + + +# --------------------------------------------------------------------------- +# one full-row update (transparent O(2^n) per state) +# --------------------------------------------------------------------------- + +def _single_pattern_successor(state, n, mask): + """Successor state for one occupancy pattern of the new row, or None if + the pattern's partial configurations can never span (dropped).""" + old = state + parent = list(range(2 * n)) + + def find(x): + while parent[x] != x: + parent[x] = parent[parent[x]] + x = parent[x] + return x + + def union(a, b): + ra, rb = find(a), find(b) + if ra != rb: + parent[ra] = rb + + for j in range(n): + if (mask >> j) & 1: + if old[j] != EMPTY: + union(j, n + j) # vertical bond to the old row + if j > 0 and (mask >> (j - 1)) & 1: + union(n + j, n + j - 1) # horizontal bond inside the new row + tops = [j for j in range(n) if old[j] == TOP] + for j in tops[1:]: + union(tops[0], j) # all | sites share the virtual row 0 + # old-row sites carrying the same cluster label are one class: encode the + # old row's internal connectivity into the union-find before reading it + label_roots = {} + for j, c in enumerate(old): + if c != EMPTY: + if c in label_roots: + union(label_roots[c], j) + else: + label_roots[c] = j + top_root = find(tops[0]) if tops else None + + newstate = [] + rootmap = {} + for j in range(n): + if not (mask >> j) & 1: + newstate.append(EMPTY) + continue + r = find(n + j) + if top_root is not None and r == top_root: + newstate.append(TOP) + continue + if r not in rootmap: + rootmap[r] = 2 + len(rootmap) + newstate.append(rootmap[r]) + newstate = tuple(newstate) + + if not any(c == TOP for c in newstate): + return None # top cluster severed: no future cluster can reach row 0 + # NOTE: a non-top old class whose old sites all end here is simply a + # finished cluster that never reached the top -- the configuration stays + # valid because the spanning cluster is tracked separately by the | mark. + return canonical(newstate) + + +def row_branches(state, n): + """Successor state -> list of occupied-count shifts (one per pattern).""" + branches = {} + for mask in range(1 << n): + occ = bin(mask).count("1") + sub = _single_pattern_successor(state, n, mask) + if sub is not None: + branches.setdefault(sub, []).append(occ) + return branches + + +@functools.lru_cache(maxsize=None) +def _row_branches_cached(state, n): + """Transition function depends only on the state -- cache it. The state + sets stabilise across rows, so this amortises the O(2^n) expansion.""" + return tuple((k, tuple(v)) for k, v in + row_branches(state, n).items()) + + +# --------------------------------------------------------------------------- +# exact DP with integer polynomials +# --------------------------------------------------------------------------- + +def spanning_counts(n, m, verbose=False): + """Return (A_{n,m}(k) for k=0..nm as exact integers, peak state count).""" + t0 = time.time() + # row 1: the 2^n - 1 configurations, every occupied site top-connected + row = {} + for mask in range(1, 1 << n): + st = canonical(tuple(TOP if (mask >> j) & 1 else EMPTY + for j in range(n))) + k = bin(mask).count("1") + poly = [0] * (k + 1) + poly[k] = 1 + prev = row.get(st) + if prev is None: + row[st] = poly + else: + row[st] = [a + b for a, b in zip(prev, poly)] + peak_states = len(row) + deg_cap = n * m + for r in range(2, m + 1): + newrow = {} + for st, poly in row.items(): + for nst, shifts in _row_branches_cached(st, n): + acc = newrow.get(nst) + if acc is None: + acc = [0] * (deg_cap + 1) + newrow[nst] = acc + for s in shifts: + for kk in range(len(poly)): + idx = kk + s + if poly[kk] and idx <= deg_cap: + acc[idx] += poly[kk] + row = newrow + peak_states = max(peak_states, len(row)) + if verbose: + print(f" row {r}: states={len(row)} t={time.time()-t0:.1f}s", + file=sys.stderr) + total = [0] * (deg_cap + 1) + for st, poly in row.items(): + for k, c in enumerate(poly): + if c: + total[k] += c + return total, peak_states + + +# --------------------------------------------------------------------------- +# roots +# --------------------------------------------------------------------------- + +def R_of_poly(A, p, nm): + total = mpf(0) + q = 1 - p + pk = mpf(1) + for k, c in enumerate(A): + if c: + total += c * pk * q ** (nm - k) + pk *= p + return total + + +def bisect_root(f, lo, hi, iters=150): + mp.dps = 60 + flo = f(lo) + for _ in range(iters): + mid = (lo + hi) / 2 + fm = f(mid) + if (fm < 0) == (flo < 0): + lo, flo = mid, fm + else: + hi = mid + return (lo + hi) / 2 + + +def p_med(n, A): + mp.dps = 60 + nm = n * n + f = lambda p: R_of_poly(A, p, nm) - mpf(1) / 2 + return bisect_root(f, mpf("0.4"), mpf("0.75")) + + +def p_cell(n, A_n, A_nm1): + """Root of R_{n,n}(p) - R_{n-1,n-1}(p) = 0 (needs n >= 2).""" + mp.dps = 60 + f = lambda p: (R_of_poly(A_n, p, n * n) + - R_of_poly(A_nm1, p, (n - 1) * (n - 1))) + # R_{n,n} - R_{n-1,n-1} is negative at small p and positive at large p + return bisect_root(f, mpf("0.4"), mpf("0.75")) + + +# --------------------------------------------------------------------------- + +def main(): + ap = argparse.ArgumentParser() + ap.add_argument("--n", type=int, required=True) + ap.add_argument("--m", type=int, default=None) + ap.add_argument("--json-out", type=str, default=None) + args = ap.parse_args() + m = args.m or args.n + A, peak = spanning_counts(args.n, m, verbose=True) + parity = sum(c * (-1) ** k for k, c in enumerate(A) if c) + assert A[m] == args.n, f"A[{m}] = {A[m]} != n={args.n}" + mp.dps = 60 + med = p_med(args.n, A) + out = { + "n": args.n, "m": m, + "A": A, + "peak_states": peak, + "F_minus1": str(parity), + "p_med_40": mp.nstr(med, 42), + } + print(json.dumps({k: v for k, v in out.items() if k != "A"}, indent=2)) + print("A(k):", A) + if args.json_out: + Path(args.json_out).write_text(json.dumps(out)) + + +if __name__ == "__main__": + main()