F415 evidence environment
date_utc=2026-08-16
workspace=/home/ubuntu/code/symcc
kernel=Linux 7.0.0-28-generic x86_64
llvm18=18.1.3
llvm17=17.0.6
python=3.12.3
pytest=9.1.1
llvm18_build=build
llvm17_build=build-llvm17
python_gate_manifest=test/pytest-nodeids.json
python_gate_manifest_sha256=29d15f5e3d20b62728b732d549592b708449a0a3dec92ae08371b331ff5c17f4
maximum_object_bytes=64
maximum_aliases_per_writer=256
maximum_load_lanes=2048
maximum_witness_alternatives=8192
maximum_induction_step=64
maximum_writer_bytes=8
writer_count_per_transfer=1..4
writer_count_per_loop=1..16
latches=2..4
transfer_semantics=mutually exclusive backedges with ordered writer sequences
runtime_authority=path-local byte initialization bitmap
claim_boundary=mechanism evidence only; no public coverage, solver throughput, defect yield, or end-to-end speedup claim