tl;dr only today
tl;dr
We’ve finished the local-constant size case of buffer out-of-bounds prevention, having added caller verification of bounds. Our attention now turns to the final special case we identified, that involving local-constant indexes. We will spend the next two weeks working on this and hope to have some interesting progress by then.
See you on Oct 5.