Skip to main content

project_initial_enrollment_closure

Function project_initial_enrollment_closure 

Source
pub fn project_initial_enrollment_closure(
    input: InitialEnrollmentClosureInput,
) -> Result<InitialEnrollmentClosureProjection, InitialEnrollmentClosureError>
Expand description

Projects the complete initial-enrollment closure transition.

The frozen Case 25 state has no prior rows, members, marker owners, or candidates. Consequently cursor zero is not overtaken at F'=1, the marker fixed point is empty, and no anchored DCR branch exists. Positive debt stores ObserverProjection { through_seq: 1 }, retains full K, and owns no RS/RT/RO/RA quartet.

ยงErrors

Returns InitialEnrollmentClosureError instead of normalizing any malformed durable ordering, accounting, configuration, or initial ledger.