Package-level declarations

A federated-averaging (FedAvg) CRDT: each peer trains locally on some number of examples and contributes a weight vector (see contribution), and the merged read is the count-weighted mean across all peers.

Marshals the FedAvg training kernel's linear-memory ABI payloads (see the wire layout in the F2 plan/spec). All integers and IEEE-754 f64 values are little-endian, so the bytes are bit-deterministic across platforms — matching FedAvg's reproducibility requirement.

The local training step in pure Kotlin: one gradient-descent step of linear regression (y ≈ w·x + b) over a batch, mean-squared-error loss. This is the oracle the wasm kernel (fedavg_train.wasm) is proven bit-for-bit equal to (see FedAvgKernelEquivalenceTest).

One peer's decoded training result: how many examples it trained on and the updated weight vector. Bridges a kernel run (or ReferenceTrainer.step) to FedAvg.