polyc-state-connect 2026.8.3

State plane transport adapter: capability-specific Connect clients and server-trait glue mapping the generated wire types onto the polyc-state kernel — typed outcomes, per-call admission, and the conformance surface the authenticated shell proves itself against (docs/proposals/separated-planes.md).
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

//! The partition journal on the wire.
//!
//! [`wire`] maps the journal contract's vocabulary onto its encoding and back,
//! [`client`] dials the surface in the kernel's vocabulary, and [`service`]
//! serves it by delegating to a [`PartitionJournal`] module. Nothing here
//! decides anything: the module owns every State decision, and the admission
//! functions own everything the transport boundary decides.
//!
//! [`verify`] adds the one operation that is not a port operation: a verified
//! replay reads the storage host's own durable floor, which no adapter-neutral
//! contract could expose, so its semantics live at the service instead.
//!
//! [`PartitionJournal`]: polyc_state::journal::PartitionJournal

pub mod client;
pub mod service;
pub mod verify;
pub mod wire;

pub use client::JournalClient;
pub use service::JournalSvc;
pub use verify::{
    JournalAuthority, PartitionVerification, VerifiedReplay, VerifyPartitionReplay,
    ViolationCategory,
};