date_utc=2026-08-16
kernel=Linux 7.0.0-28-generic x86_64
python=3.12.3
cpu=AMD Ryzen Threadripper PRO 9995WX 96-Cores
logical_cpus=192
llvm17=17.0.6
llvm18=18.1.3
pytest=pytest 9.1.1
z3=4.8.12
implementation_scope=bounded callsite-instantiated direct-callee ordinary-heap effect summary
producer_bounds=single-block callee; unique return/effect; 64 skipped definitions; 256 returned alternatives; generated 64-callsite conformance boundary
test_tmpdir=/dev/shm only for focused F409 lit; complete gates use the default executable temporary directory because this host mounts /dev/shm noexec
claim_boundary=mechanism only; no recursion, indirect calls, conditional or multiple writers, dynamic intervals, exceptional postconditions, complete POSE, public coverage, solver throughput, bug yield, or end-to-end speedup claim