Module finalization 

Durable, study-wide ownership for terminal finalization.

Finalization callbacks restore and mutate the sampler and scheduler seams. A phase cursor alone cannot fence those shared scopes, so built-in storage backends persist one small claim per study. This module contains only the backend-neutral value types and semantic planners. Backends must call the planners while holding the same lock or transaction used to read and write the corresponding StateBlob.

Structs

FinalizationAcquireRequest

Input to a study-wide finalization claim acquisition.

FinalizationObservation

A read-only snapshot of one study’s finalization claim.

FinalizationToken

Opaque capability proving ownership of one study’s finalization seam.

Constants

FINALIZATION_BLOB_KIND

The kind tag used by the core-owned finalization claim state.

FINALIZATION_BLOB_VERSION

The schema version used by the core-owned finalization claim state.

FINALIZATION_SCOPE_NAME

The reserved name of the study-scoped finalization claim slot.

Functions

finalization_scope

Alias used by backends that name all state-slot helpers with a scope suffix.

reserved_finalization_scope

Returns the reserved study-scoped state slot for finalization ownership.