F414 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=ddabe1a48648891f1b23c12e69a77d908cc622f2e4ea83a0c5600e2f7f3496c9
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
decision_blocks=1..3
latches=2..4
memory_phi=one header node with preheader plus latch incoming edges
transfer_semantics=mutually exclusive writer or carry backedge
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