Module refinement 

Concrete protocol-machine refinement slices.

These snapshots expose the smallest runtime state surface that we compare exactly across Rust, Lean, and threaded execution: coroutine identity/status, per-session local-type and buffer occupancy counts, and scheduler-ready / blocked state.

Structs

ClaimedRuntimeCoreBundle

Canonical machine-side bundle for the currently claimed runtime refinement core.

CoroutineRefinementSlice

One coroutine-level concrete-state snapshot.

ProtocolMachineRefinementSlice

Concrete cooperative runtime slice used for exact refinement comparison.

RuntimeObservationBundle

Broader machine-side observation bundle used by operational assurance suites.

SchedulerRefinementSlice

Scheduler-visible concrete-state snapshot.

SessionRefinementSlice

One session-level concrete-state snapshot.

TransitionRefinementSummary

Concrete summary of the most recent scheduler-dispatched transition.

Enums

RefinementSliceError

Checked-conversion failures while exporting a refinement slice.