asupersync 0.3.6

Spec-first, cancel-correct, capability-secure async runtime for Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

//! Channel bonding — fetch one object from N donors at once (multi-donor fountain).
//!
//! Each donor sprays a residue-disjoint slice of the *same* RaptorQ fountain for a
//! byte-identical object, so loss on one donor is repaired by symbols from another
//! and aggregate goodput scales with the number of donors. Correctness rests on a
//! single invariant: every donor and the receiver agree on the exact same object,
//! so a `(sbn, esi)` pair means the same bytes everywhere.
//!
//! Phase A (`z01bbr.1`) locks that invariant with types before any data-path code:
//!
//! * A1 ([`descriptor`]) — the shared [`BondTransferDescriptor`] + the donor
//!   byte-match (merkle) proof.
//! * A2 ([`esi`]) — ESI partition function + disjointness/coverage.
//! * A3 ([`assignment`]) — [`DonorAssignment`] + security model + key distribution.
//! * A4 — bonded handshake version + capability negotiation (`z01bbr.1.4`).

pub mod assignment;
pub mod descriptor;
pub mod esi;
pub mod handshake;
pub mod receiver;

pub use assignment::{
    BONDING_ASSIGNMENT_VERSION, BondAuthKeyRef, BondScheduleError, BondedBlockRepairSchedule,
    BondedBlockSourceFirstCoverage, BondedBlockSpraySchedule, BondedDonorControlEvent,
    BondedDonorControlLoop, BondedDonorControlOutcome, BondedDonorControlTrace,
    BondedDonorControlTraceEvent, BondedDonorRepairWindow, BondedDonorRepairWindowAssignment,
    BondedDonorSourceFirstCoverage, BondedDonorSpraySchedule, BondedDonorSymbolEmission,
    BondedDonorSymbolKind, BondedDonorWindowWeight, BondedRepairWindowPlan,
    BondedSourceFirstCoverage, BondedSymbolAuthVerdict, BondedSymbolRejectReason, DonorAssignment,
    DonorAssignmentError, EsiWindow, MAX_BONDING_DONORS, allocate_bonded_repair_windows,
    reallocate_failed_bonded_repair_windows, schedule_bonded_donor_spray,
    schedule_bonded_repair_continuation, schedule_bonded_repair_window_assignments,
    schedule_bonded_source_first_coverage, verify_bonded_symbol_tag,
};
pub use descriptor::{
    BondEntry, BondEntryBlockGeometry, BondProofError, BondTransferDescriptor,
    BondedDonorHoldingProof, bonded_entry_object_id,
};
pub use esi::{
    DonorEsiStream, EsiPartition, EsiPartitionError, donor_esi_stream, esi_for_donor, owns_esi,
};
pub use handshake::{
    BONDING_HANDSHAKE_VERSION, BondTransport, BondingAgreement, BondingAssignmentMode,
    BondingControlRegistry, BondingDonorEnrollment, BondingHandshake, BondingHandshakeError,
    BondingReceiverControlPlane,
};
pub use receiver::{
    ATP_BOND_TRACE_ENV, BONDING_RECEIVER_OUTCOMES_TRACE_EVENT,
    BONDING_RECEIVER_PROGRESS_TRACE_EVENT, BondedBlockCompletionPath,
    BondedBlockCoverage, BondedBlockProgressMetrics, BondedBlockSourceHoles,
    BondedDonorIngressStats, BondedDonorProgressMetrics, BondedReceiverFeedbackAction,
    BondedReceiverFeedbackPlan, BondedReceiverIngressStats, BondedReceiverLiveProgressMetrics,
    BondedReceiverProgressSnapshot, BondedReceiverRetentionPolicy,
    BondedReceiverRetentionRejectReason, BondedReceiverSymbolSet, BondedSymbolDisposition,
    BondedSymbolKey,
};