rustev_contract/
lib.rs

1//! Rustev's versioned wire contract (spec 002).
2//!
3//! Every document Rustev reads or writes is defined here, with its schema
4//! string, its parse limits, its canonical form and, where it is identified,
5//! its identity. An outside project reads Rustev's records and reports by
6//! depending on this crate alone (spec 001, 3.4.5).
7//!
8//! Parsing supplied bytes is two-staged ([`bounded`]): a scan checks every
9//! resource bound before typed deserialization builds anything. Reading the
10//! bytes from a transport, and bounding that buffer, is the caller's job.
11#![forbid(unsafe_code)]
12
13pub mod acquisition;
14pub mod acquisition_record;
15pub mod acquisition_step;
16pub mod actionability;
17pub mod bounded;
18pub mod cache_entry;
19pub mod calibration;
20pub mod canonical;
21pub mod decimal;
22pub mod definition;
23pub mod descriptor;
24pub mod document;
25pub mod dynamic;
26pub mod eval_report;
27pub mod evidence;
28pub mod execution;
29pub mod explanation;
30pub mod extraction;
31pub mod extraction_documents;
32pub mod extraction_results;
33pub mod generation;
34pub mod generation_result;
35pub mod grade;
36pub mod ids;
37pub mod judgment;
38pub mod limits;
39pub mod live;
40pub mod optimization;
41pub mod output;
42pub mod parameter;
43pub mod plan;
44pub mod plan_diff;
45pub mod profile;
46pub mod ranking;
47pub mod ranking_result;
48pub mod reason;
49pub mod redaction;
50pub mod remote;
51pub mod replay;
52pub mod request;
53pub mod retention;
54pub mod run;
55pub mod schema_emit;
56pub mod scope;
57pub mod screening;
58pub mod snapshot;
59pub mod source;
60pub mod time;
61pub mod trace;
62pub mod trace_fields;
63pub mod version;
64
65pub use decimal::Decimal;
66pub use document::{Document, DocumentError, Identified};
67pub use time::{DurationMs, Timestamp};
68
69/// Schema strings of every document (spec 002, 3.2.1, as amended by spec 003,
70/// 3.2: plans are at version 2; execution policies and run records are new;
71/// by spec 004, 5.1: replay, request and runtime-reason documents; and by
72/// spec 009, 3.10: the remote protocol documents; by spec 032, 3.1.1:
73/// the #76 track versions and source descriptors; and by spec 019: the
74/// dynamic question documents).
75pub mod schema {
76    pub const EXTRACT_RULES: &str = "rustev.extract-rules/1";
77    pub const EXTRACT_REQUEST: &str = "rustev.extract-request/1";
78    pub const GENERATE_REQUEST: &str = "rustev.generate-request/1";
79    pub const TEXT_RESULT: &str = "rustev.text-result/1";
80    pub const PROMPT_TEMPLATE: &str = "rustev.prompt-template/1";
81    /// Decision explanation record canonical document (spec 040, 3.3).
82    pub const EXPLANATION: &str = "rustev.explanation/1";
83    /// Profile document (spec 034, 3.5).
84    pub const PROFILE: &str = "rustev.profile/1";
85    /// Plan comparison (spec 034, 3.12).
86    pub const PLAN_DIFF: &str = "rustev.plan-diff/1";
87    pub const DEFINITION: &str = "rustev.definition/1";
88    pub const PLAN: &str = "rustev.plan/2";
89    pub const BACKEND: &str = "rustev.backend/1";
90    pub const CALIBRATION: &str = "rustev.calibration/1";
91    pub const SNAPSHOT: &str = "rustev.snapshot/1";
92    pub const BACKEND_OUTPUT: &str = "rustev.backend-output/1";
93    pub const JUDGMENT: &str = "rustev.judgment/1";
94    pub const EVIDENCE: &str = "rustev.evidence/1";
95    pub const EVAL_REPORT: &str = "rustev.eval-report/1";
96    pub const EXECUTION: &str = "rustev.execution/1";
97    pub const RUN: &str = "rustev.run/1";
98    /// `rustev.run/1` plus a bounded `remote_evidence` list (spec 020,
99    /// 3.2); emitted only for a sink that selects it.
100    pub const RUN_V2: &str = "rustev.run/2";
101    /// The exact-operator registry version a plan was compiled against.
102    pub const EXACT_REGISTRY: &str = "rustev.exact/1";
103    /// Replay bundles, request identities and retained runtime reasons
104    /// (spec 004, 3.2 and 3.4).
105    pub const REPLAY: &str = "rustev.replay/1";
106    pub const REPLAY_V2: &str = "rustev.replay/2";
107    pub const REQUEST: &str = "rustev.request/1";
108    pub const RUNTIME_REASON: &str = "rustev.runtime-reason/1";
109    /// The `rustev.remote/1` protocol documents and the exchange record
110    /// (spec 009, 3.9 and 3.10).
111    pub const REMOTE_DESCRIBE: &str = "rustev.remote-describe/1";
112    pub const REMOTE_INFER: &str = "rustev.remote-infer/1";
113    pub const REMOTE_CANCEL: &str = "rustev.remote-cancel/1";
114    pub const REMOTE_EXCHANGE: &str = "rustev.remote-exchange/1";
115    /// The #76 track versions (spec 032, 3.1.1). Each is a superset of its
116    /// predecessor; later #76 specs add optional members to these versions
117    /// instead of defining further ones (3.1.2).
118    pub const DEFINITION_V2: &str = "rustev.definition/2";
119    pub const PLAN_V3: &str = "rustev.plan/3";
120    pub const SNAPSHOT_V2: &str = "rustev.snapshot/2";
121    pub const EVIDENCE_V2: &str = "rustev.evidence/2";
122    pub const RUN_V3: &str = "rustev.run/3";
123    pub const EXACT_REGISTRY_V2: &str = "rustev.exact/2";
124    /// Judgments of plans with `actionability` (spec 033, 3.1.3).
125    pub const JUDGMENT_V2: &str = "rustev.judgment/2";
126    /// Acquisition request identity document (spec 036, 3.3.1).
127    pub const ACQUISITION_REQUEST: &str = "rustev.acquisition-request/1";
128    /// Acquisition response page (spec 036, 3.3.3).
129    pub const ACQUISITION_PAGE: &str = "rustev.acquisition-page/1";
130    /// Context source descriptors (spec 032, 3.3.1).
131    pub const SOURCE: &str = "rustev.source/1";
132    /// Live re-execution evidence (spec 026, 3.6).
133    pub const LIVE_REEXECUTION: &str = "rustev.live-reexecution/1";
134    /// Dynamic questions (spec 019, 3.2 to 3.6): the request, a backend's
135    /// opt-in capability, and the outcome. None is a plan document.
136    pub const DYNAMIC_QUESTION: &str = "rustev.dynamic-question/1";
137    pub const DYNAMIC_CAPABILITY: &str = "rustev.dynamic-capability/1";
138    pub const DYNAMIC_OUTCOME: &str = "rustev.dynamic-outcome/1";
139    /// A persistent-tier entry (spec 044, 3.4.3).
140    pub const CACHE_ENTRY: &str = "rustev.cache-entry/1";
141}
142
143pub mod plan_bundle;
144pub mod remote_context;
145pub mod remote_sink;
146pub mod serve;
rustev_contract/lib.rs

rustev_contract/
lib.rs
