schrodingers-toctou

cat-states Minimal proofs-of-concept for compiler-invented loads — situations where a single C-level read of memory compiles to two or more architectural reads of the same address. We call these cat-states – if the pattern is used across a check/use boundary, the compiler may emit a time-of-check...