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.