F412 sealed environment
date_utc=2026-08-16
kernel=Linux 7.0.0-28-generic x86_64
python=3.12.3
pytest=9.1.1
llvm18=18.1.3
llvm17=17.0.6
z3=4.8.12
cvc5=1.1.2
bitwuzla=0.9.1
cc=Ubuntu GCC 13.3.0
induction_seed=0
induction_step_min=1
induction_step_max=64
writer_scale=positive constant affine scale
writer_bytes_min=1
writer_bytes_max=8
writer_overlap=fail closed when writer_bytes > step*scale
alias_limit=256 in certificate, configured lowering alias limit still applies
witness_limit=2048
loop_shape=single preheader/header/body/latch/exit
memory_shape=one MemoryPhi backedge writer and no other loop memory access
bound_shape=argument or one strict zext with capacity and no-wrap proof
runtime_authority=path-local byte initialization bitmap
claim_boundary=mechanism semantics and Python reference validation only
public_coverage_claim=absent
solver_throughput_claim=absent
bug_yield_claim=absent
end_to_end_speedup_claim=absent