Skip to main content Module reconstructor Copy item path Source utils π DeferredAcks π Deferred acknowledgements for one cycle, drained in one shot when its part builders install. RegisteredCommitment π A commitment registration paired with the Session retirement state that governs it. RegisteredCycle π A published cycle paired with the same retirement state as its commitment registration. RetirementFrontier π Compact retirement state for one Session. SsaCommitmentGuard Ownership of an Exit SSA commitment, released when dropped. SsaReconstructor Allows server-side reconstruction of SSAs. SsaReconstructorConfig Configuration for the SSA reconstructor. SsaRetirementScope Owns one Sessionβs retirement-frontier registration in an SsaReconstructor . Deferral π What became of an acknowledgement handed to defer_ack . ProcessedAckResult π Result of processing a single verified acknowledgement in the SSA reconstructor. AWAITING_ACK_ENTRY_BYTES Live heap one entry in the awaiting-acknowledgement buffer costs, in bytes. MAX_DEFERRED_ACKS_PER_CYCLE Cap on deferred acknowledgements held across all polynomials of one cycle. MAX_DEFERRED_ACKS_PER_POLYNOMIAL Cap on deferred acknowledgements held for a single polynomial. PART_BUILDER_OVERHEAD_BYTES Per-polynomial live heap a cycle holds that size_of cannot account for, in bytes. peak_cycle_bytes Worst-case live heap one Exit-side SSA cycle can hold, in bytes. peak_share_buffer_bytes The per-polynomial share buffer peak_cycle_bytes models, in bytes. push_unique π Appends a resolution unless an equal one is already present. record_fault π Merges a fault observation into the batchβs pending set, keeping the highest total per SSA. record_progress π Merges a snapshot into the batchβs pending set, keeping the furthest-along one per SSA. validate_early_recovery_threshold π Rejects an early-recovery fraction that is not a finite value in 0.0..=1.0. DeferredAck π An acknowledgement that arrived before its polynomialβs verifier was installed. DeferredAckBucket π EncryptedShareCache π FaultObservation π One SSAβs fault observation, with the relayer that carried the offending share. GuardedExitCommitment π A registered Exit commitment, paired with ownership of its lifetime. OwnedCommitment π What an SsaCommitmentGuard needs to release its SSA: where it is registered, which one, and
the Session frontier that must outlive a concurrent commitment worker. ReadyResolutionNotifier π RegisteredExitCommitment π SharedRetirementFrontier π