rustev-core 0.2.0

Rustev's pure core: validation, value kinds, exact operators, compiler, calibration binding and selection policy.
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

//! Rustev's pure core (spec 002).
//!
//! A decision definition compiles into an identified plan, or is refused
//! with a typed reason ([`compile`]); a plan evaluates deterministically over
//! a supplied snapshot, a supplied evaluation time and supplied semantic
//! outputs ([`evaluate`]). The result is a proposal, an escalation or an
//! unresolved outcome, never a grant (spec 001, 3.2).
//!
//! No I/O, no clock, no environment, no randomness, no async executor, no
//! `unsafe`.
#![forbid(unsafe_code)]

mod acquisition;
mod actionable;
pub mod builder;
pub mod calibrate;
pub mod compile;
pub mod dynamic;
pub mod evaluate;
pub(crate) mod execution;
pub mod expr;
mod extraction_compile;
pub mod extraction_fallback;
pub mod extraction_validate;
mod generation;
pub mod generation_eval;
pub(crate) mod grading;
#[cfg(feature = "parameterized")]
pub mod instantiate;
pub mod kinds;
pub mod math;
pub mod ops;
pub(crate) mod policy;
pub(crate) mod quality;
pub mod ranking;
pub mod seams;
pub mod sem;
pub mod template;
pub mod unparameterized;
pub mod value;

/// The computed party of causes (spec 033, 3.5.2) and whether retrying an
/// unresolved request unchanged can succeed (3.6.4).
pub use actionable::{computed_party, transient};
pub use compile::{
    Category, Compiled, LoadError, Refusal, compile, compile_bytes, compile_with,
    compile_with_sources, compile_with_templates,
};
pub use evaluate::{
    Evaluation, FailureContext, PendingAcquisition, RequestIdentityError, SemanticRequest, Supplied,
};

#[cfg(feature = "parameterized")]
pub use instantiate::{ProfiledRefusal, compile_profiled, compile_profiled_with, instantiate};

// Spec 034 3.12 and 3.13; compiled only with `parameterized` (spec 050).
#[cfg(feature = "parameterized")]
pub mod plan_diff;
#[cfg(feature = "parameterized")]
pub mod profile_check;
#[cfg(feature = "parameterized")]
pub use plan_diff::plan_diff;
#[cfg(feature = "parameterized")]
pub use profile_check::{ProfileReport, profile_check};