Expand description
Conformance checks for the handle-store protocol.
Run these from a handle store’s test suite to certify it follows the
outstanding/{id} rules — whether it’s built on crate::HandleStore
or hand-rolled. Each check panics with a descriptive message on
violation.
Functions§
- check_
handle_ conventions - Run every handle-protocol check against a fresh store.
- check_
mint_ returns_ handle_ path - A root write mints a handle at
outstanding/{id}. - check_
overwrite_ conflicts - A non-Null write directly to a handle is a conflict.
- check_
release_ and_ absence - A Null write releases the handle; released handles read as absent.
- check_
release_ idempotent - Releasing twice, or releasing an unknown handle, is a no-op.