Manuscript Documentation
v0.1.0

Closing a resource#

Files, sockets, stream bodies, transactions, and owned resources need explicit release. Their object memory is garbage collected, but their external handles or activity are released through close() or a with block. These resource objects implement Closeable.

ObjectAutomatic close behavior
File, socket, stream bodyRelease the external handle
Scheduler serviceStop admission, cancel as configured, and join work

Cleanup is not successful completion. Explicit commit, finish, or flush operations expose expected errors with Result. Unexpected release failures become cleanup faults. A plain let, function call, aggregate, or closure does not add implicit close behavior.

Factories close newly acquired native resources when cancellation or an error prevents delivery. A with initializer registers successful acquisition before cancellation can unwind it. See completion and acquisition , sharing , and Closeable .