Module api 

JSON API types for Engine boundary documents.

Types reachable from crate::Engine carry no JSON-shaping serde attributes and no custom serde except exact scalar codecs (rationals, date/time strings, decimal strings). JSON shape for show / run / SDK documents lives only in lemma::api.

Structs

CalendarResult

LemmaType

LiteralValue

MeasureUnit

NamedBound

Unit-scoped bound { value, unit } (decimal string + unit name).

RangeResult

RatioUnit

RationalFactor

Exact rational factor as reduced numer/denom integer strings.

Response

RuleResult

Rule result JSON: flattened value fields, no rule/veto_detail.

RuleResultValue

Show

ShowData

ShowVersion

Enums

MeasureTrait

TypeDefiningSpec

TypeExtends

TypeSpecification

ValueKind

Externally tagged value payload matching today’s ValueKind Serialize shape.