Module slice_boundary 

Slice-boundary observation/reset API. Authenticated startup activates it for a typed recording or replay. Actual callback observations stay separate from expectations; reset adds no scheduler request.

Modules

grant

Typed grant transport; the legacy logical-nanosecond scalar cannot carry a guest-RCB target. The live owner authenticates every lookahead. Typed transport over an existing scheduler grant. Lookahead authenticates the live owner; the mailbox creates no new resource or turn.

Structs

ClosedSlice

One actual reset, with the completed identity captured before it. The caller must trace/validate this record immediately before its existing resource request, and only then install a replay budget. This object does not grant a turn or introduce a TraceReplay resource.

Observations

Counters owned by one live logical thread/address-space generation. Creation and exec must install a freshly authenticated owner; replay hints cannot initialize or advance this state.