persistant-core 0.8.22

PersistAnt's capability vocabulary, boolean capability sets, matrix row schema and conformance verdicts. No I/O.
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

// SPDX-License-Identifier: MIT OR Apache-2.0
//! PersistAnt's vocabulary and verification model. No I/O, no third-party dependencies.
//!
//! A **capability** is a boolean for one `(backend, version, config)`; it is off until an automated
//! test passed (`docs/DESIGN-KINDS.md` §2.1). This crate holds the pieces every kind shares:
//!
//! - [`CapabilityId`]: a validated string id, owned here, never changing meaning;
//! - [`Config`]: the `k=v;k=v` facts a gate can read at open;
//! - [`Row`] and [`Matrix`]: the recorded fact (§2.4) and the lookup the gate performs;
//! - [`Verdict`]: the four test outcomes, and the rule that an `on` row needs both controls;
//! - [`vocabulary::SEED`]: the seed ids with their written contracts (all off until tested).

pub mod bench;
pub mod choose;
mod config;
mod id;
mod matrix;
mod row;
mod verdict;
pub mod vocabulary;

pub use config::{Config, ConfigError};
pub use id::{CapabilityId, IdError};
pub use matrix::{Lookup, Matrix};
pub use row::{ParseError, Reason, Row};
pub use verdict::{Controls, ControlsNotRun, Verdict};

/// The crate version, as declared in the workspace manifest.
pub const VERSION: &str = env!("CARGO_PKG_VERSION");