Observable-Read Isolation