Module read_then_write 

Coordinator-side support machinery for (frontend) read-then write.

Functions

enqueue 🔒

Adds id to the worklist the first time it is seen, enforcing the dependency bound.

validate_read_then_write_dependencies 🔒

Validates that all dependencies are valid for read-then-write operations.