Struct SpecSchema 

pub struct SpecSchema {
    pub spec: String,
    pub facts: IndexMap<String, (LemmaType, Option<LiteralValue>)>,
    pub rules: IndexMap<String, LemmaType>,
    pub meta: HashMap<String, MetaValue>,
}

A spec’s public interface: its facts (inputs) and rules (outputs) with full structured type information.

Built from an ExecutionPlan via ExecutionPlan::schema (all facts and rules) or ExecutionPlan::schema_for_rules (scoped to specific rules and only the facts they need).

Shared by the HTTP server, the CLI, the MCP server, WASM, and any other consumer. Carries the real LemmaType and LiteralValue so consumers can work at whatever fidelity they need — structured types for input forms, or Display for plain text.

Fields

spec: String

Spec name

facts: IndexMap<String, (LemmaType, Option<LiteralValue>)>

Facts (inputs) keyed by name: (type, optional default value)

rules: IndexMap<String, LemmaType>

Rules (outputs) keyed by name, with their computed result types

meta: HashMap<String, MetaValue>

Spec metadata

Trait Implementations

impl Clone for SpecSchema

fn clone(&self) -> SpecSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpecSchema

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

Formats the value using the given formatter.

impl Display for SpecSchema

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

Formats the value using the given formatter.

impl Serialize for SpecSchema

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

where __S: Serializer,

Serialize this value into the given Serde serializer.