OVERFLOW_WRITE_FENCE_PROMOTION_CONTRACT.md

overflow_guarded_write_protocol.ts

overflow_guarded_write_protocol_selftest.ts

overflow_write_fence.ts

overflow_write_fence_adversarial_selftest.ts

overflow_write_fence_generation_selftest.ts

overflow_write_fence_selftest.ts