Struct Plan 

pub struct Plan {

    pub schema: String,
    pub compiler: String,
    pub registry: String,
    pub definition_id: DefinitionId,
    pub definition: Definition,
    pub order: Vec<String>,
    pub steps: Vec<PlanStep>,
    pub notices: Vec<Notice>,
    pub execution: PlanExecution,
    pub sources: Option<Vec<BoundSource>>,
    pub grades: Option<Vec<StaticGrade>>,
    pub actionability: Option<PlanActionability>,
    pub instantiation: Option<Instantiation>,
    pub screening: Option<PlanScreening>,
    pub acquisitions: Option<Vec<PlanAcquisition>>,
}

Fields

schema: String

compiler: String

rustev-core/<crate version>.

registry: String

rustev.exact/1, or for a plan 3 the lowest registry version containing every operator, predicate and reference form it uses.

definition_id: DefinitionId

definition: Definition

order: Vec<String>

Step ids in topological order, ties by declaration order.

steps: Vec<PlanStep>

One entry per step, in declaration order.

notices: Vec<Notice>

execution: PlanExecution

The runtime execution policy (spec 003, 3.2.1); none means one attempt per request on the bound backend, nothing else.

sources: Option<Vec<BoundSource>>

Plan 3: every bound source, in name order (spec 032, 3.3.4).

grades: Option<Vec<StaticGrade>>

Plan 3: the static grade table (spec 032, 3.9.3).

actionability: Option<PlanActionability>

Plan 3: present exactly when the definition has actionability (spec 033, 3.1.2).

instantiation: Option<Instantiation>

Instantiation evidence (spec 034, 3.10.1). Present only in a rustev.plan/3 document; absent from every earlier plan.

screening: Option<PlanScreening>

Optional screening contract (spec 035); omitted when unused.

acquisitions: Option<Vec<PlanAcquisition>>

Spec 036: omitted when the plan has no acquisition step.

Trait Implementations

impl Clone for Plan

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Plan

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Plan

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Document for Plan

const SCHEMA: &'static str = schema::PLAN

The schema string this document carries (spec 002, 3.2.1).

const LIMITS: ParseLimits = PLAN_V1

The limit set its bytes are scanned against (spec 002, 3.2.5).

fn schema(&self) -> &str

The value of the document’s own schema field.

fn parse(bytes: &[u8]) -> Result<Self, DocumentError>

Scan, deserialize and check the schema string.

fn record_digest(&self) -> Result<ContentDigest, CanonicalError>

sha256(SCHEMA || 0x00 || record canonical bytes) (spec 004, 3.1.6). Equal to the identity of an identified document.

fn canonical(&self) -> Result<Vec<u8>, CanonicalError>

The canonical bytes (spec 002, 3.3.1).

fn record_canonical(&self) -> Result<Vec<u8>, CanonicalError>

where Self: PartialEq,

The record canonical bytes (spec 004, 5.6): the canonical bytes, with finite fractional numbers written in shortest round-trip form.

impl Identified for Plan

type Id = PlanId

fn id(&self) -> Result<PlanId, CanonicalError>

sha256(SCHEMA || 0x00 || canonical bytes) (spec 002, 3.3.2).

impl JsonSchema for Plan

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for Plan

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Plan

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Plan