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 symbolic-length region effect and finite dynamic-index byte-lane cover
producer_bounds=one region effect; static writer base; capacity 64 bytes; 256 aliases; 2048 lanes; 64 skipped scalar definitions
test_tmpdir=default executable temporary directory; /dev/shm is noexec on this host
claim_boundary=mechanism only; no loop-carried MemoryPhi induction, multiple region composition, complete MInt, public coverage, solver throughput, bug yield, or end-to-end speedup claim