Crate vernier_partial 

Shared partial wire format and merge policy for vernier’s distributed evaluation surface (ADR-0031, generalized in ADR-0032).

vernier-partial is a leaf crate. The three paradigm crates (vernier-core, vernier-semantic, vernier-panoptic) each depend on this one and supply their own paradigm-specific wire body type plus merge accumulator that embeds merge::BaseMergeAccumulator. vernier-partial does not depend on any of them — keeping the dep DAG flat is what makes the cross-paradigm refactor possible without circular dependencies.

What lives here

• The wire envelope (envelope::WireEnvelopeHeader), magic + version constants (envelope::MAGIC, envelope::FORMAT_VERSION), framing helpers (envelope::encode, envelope::with_validated_envelope).
• The five typed errors mapped 1:1 to Python exceptions (error::PartialError).
• The traits::Partial, traits::ParadigmKind, and traits::PartialExpectation surface paradigm crates implement against.
• The paradigm-agnostic merge policy (merge::BaseMergeAccumulator).

What does not live here

• Paradigm-specific body types (instance per-image cells, semantic confusion matrix, panoptic per-category PqStats). Each paradigm owns its body archive and decode.
• Dataset / params hashing. Each paradigm hashes against its own canonical form. The 32-byte hashes carried in the envelope header are opaque to this crate.
• The streaming evaluator types themselves. vernier-partial knows nothing about evaluator state; it only validates the envelope and accumulates partition / rank-collision policy.

Re-exports

pub use envelope::encode;

pub use envelope::with_validated_envelope;

pub use envelope::WireEnvelopeHeader;

pub use envelope::FORMAT_VERSION;

pub use envelope::MAGIC;

pub use error::PartialError;

pub use error::PartialFormatErrorKind;

pub use merge::RankId;

Modules

envelope

Wire envelope: magic, version, header, CRC framing.

error

Typed errors for the partial wire format and merge surface (ADR-0031, generalized in ADR-0032).

merge

Paradigm-agnostic merge policy: image-id partition disjointness and strict-mode rank-collision detection.

traits

Trait surface for paradigm-specific partial bodies.