proxima-lib 0.1.0

A sans-IO core where everything is a Pipe — one async In -> Result<Out, Err> trait worn four ways (transform, source, sink, observe), composed into proxies, gateways, caches, codecs and telemetry pipelines. Config-driven, runtime-agnostic: the same pipe runs on the from-scratch Prime per-core runtime, on tokio, or on no_std bare metal.
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

//! `proxima verify` — static spec-graph and replay-with-policy
//! verification. Two CLI subcommands shell over the library API
//! here; both walkers return a [`Report`] the caller emits as text
//! or JSON.
//!
//! - [`verify_static`] — graph
//!   invariants over a parsed spec ([`serde_json::Value`]). v1 ships
//!   `no_cycles` and `all_upstreams_have_timeouts` plus the
//!   custom-predicate runner.
//! - Replay verification is in progress; see `replay_walker.rs`
//!   (W4.b).
//!
//! Discovery rules for zero-arg invocation live in [`discover`].

#[cfg(feature = "recording")]
pub mod byte_drift;
pub mod discover;
pub mod policy;
#[cfg(feature = "recording")]
pub mod repair;
#[cfg(feature = "recording")]
pub mod replay_walker;
pub mod report;
pub mod static_walker;

#[cfg(feature = "recording")]
pub use byte_drift::{skip_byte_drift_without_spec, verify_byte_drift};
pub use policy::Policy;
#[cfg(feature = "recording")]
pub use repair::{
    RecordingRepairOutcome, RepairItem, RepairOutcome, Weight, project_max_coherent,
    repair_from_recording, repair_from_recording_file, repair_kind_claims, repair_spec_cycles,
    repair_static,
};
#[cfg(feature = "recording")]
pub use replay_walker::{verify_replay, verify_replay_with_spec};
pub use report::{Level, Report, ReportEntry};
pub use static_walker::verify_static;