public close() as Void:
Permanently marks the owning manager as closed.
This operation is idempotent.
state.close()