What does calling revoke() on a revocable proxy guarantee?

What does calling revoke() on a revocable proxy guarantee?

1. Later fundamental operations through that proxy throw TypeError
2. The target is erased and all its aliases become unusable
3. Resources held by the target are closed automatically
4. Only writes fail while reads continue to work