Module lifecycle 

Memory candidate acceptance rules.

The store layer owns durable writes; this module owns the memory-domain gate before those writes are attempted.

Structs

AcceptCandidateRequest

Request to accept a candidate already materialized by the caller.

Enums

LifecycleError

Errors raised by memory lifecycle domain logic.

Constants

LIFECYCLE_ACCEPT_PROOF_CLOSURE_INVARIANT

Stable invariant key surfaced when the lifecycle layer refuses an accept because the supplied ProofClosureReport is not fully verified.

Functions

accept

Accept a previously persisted candidate by id after validating stored lineage and composing the ADR 0026 acceptance policy.

accept_candidate

Accept a candidate after validating lineage before any store write.

validate_candidate_lineage

Validate the minimum lineage invariant for a memory candidate.

Type Aliases

LifecycleResult

Result type for memory lifecycle operations.