build LLVM 18 SymCC: PASS
build LLVM 17 SymCC: PASS
py_compile: PASS
ruff check: PASS
git diff --check: PASS
technology index: PASS
diagram render and visual inspection: PASS
22 RUN commands: PASS
public coverage/solver/bug-yield/end-to-end speedup claim: intentionally absent