feat(isolation): refine shared storage to private byte memories

feat(model): formalise writable frame exclusivity