Struct FunctionalSpec 

pub struct FunctionalSpec {
    pub spec_version: String,
    pub target: SpecTarget,
    pub entities: Vec<Entity>,
    pub operations: Vec<Operation>,
    pub ui_states: Vec<IrState>,
    pub navigation: Vec<IrTransition>,
    pub auth: Option<AuthModel>,
    pub assumptions: Vec<AssumptionEntry>,
}

The v0 Functional Spec. Five sections, each node confidence- and provenance-tagged. Serializes as an A2A DataPart inside a worker’s completion_reports.artifacts; it is the durable, fully re-derivable hand-off artifact between conductor ticks (orchestration handoff contract §6).

Fields

spec_version: String

Schema version. Currently always "0". Additive-only until "1".

target: SpecTarget

What was observed and when.

entities: Vec<Entity>

Section (1) DOMAIN — entities + relationships inferred from rendered data shapes.

operations: Vec<Operation>

Section (2) CAPABILITIES — operations the frontend exposes. Existence is high-confidence; server-side effect is low-confidence by construction.

ui_states: Vec<IrState>

Section (3a) UI STATES — a literal superset of the UI Bridge IR. These are the exact crate::ir::IrState values IrPageSpec.states carries.

navigation: Vec<IrTransition>

Section (3b) NAVIGATION — the exact crate::ir::IrTransition values IrPageSpec.transitions carries. Reused (not re-declared) so app-gen’s emitted IR re-parses to the identical spec subset.

auth: Option<AuthModel>

Section (4) AUTH / PERMISSION MODEL — from login flows + gated routes.

assumptions: Vec<AssumptionEntry>

Section (5) ASSUMPTIONS LEDGER — every node with provenance Assumed, collated so the operator can review/override the generator’s best-practice fills. For v0 the override surface is a direct edit of this ledger (overridable).

Trait Implementations

impl Clone for FunctionalSpec

fn clone(&self) -> FunctionalSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionalSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FunctionalSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for FunctionalSpec

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 FunctionalSpec

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FunctionalSpec

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 FunctionalSpec