Struct Contract 

pub struct Contract {

    pub schema_version: SchemaVersion,
    pub id: String,
    pub title: String,
    pub description: String,
    pub status: ContractStatus,
    pub stability: Stability,
    pub scope: String,
    pub capabilities: Vec<String>,
    pub invariants: Vec<Invariant>,
    pub required_semantics: Vec<Semantic>,
    pub forbidden_semantics: Vec<Semantic>,
    pub edge_cases: Vec<EdgeCase>,
    pub examples: Vec<Example>,
    pub non_goals: Vec<String>,
    pub implementation_notes: Vec<String>,
    pub test_expectations: Vec<String>,
    pub expected_api: Vec<String>,
    pub history: Vec<HistoryEntry>,
    pub created_at: DateTime<Utc>,
    pub updated_at: DateTime<Utc>,
}

A contract defines the stable behavioral specification for a component.

Contracts are the primary artifact in lexicon. They declare what a component must do, what it must not do, and what is explicitly out of scope.

Stored at specs/contracts/<id>.toml.

Fields

schema_version: SchemaVersion

id: String

Unique slug identifier, e.g. “key-value-store”.

title: String

description: String

A longer description of the contract’s purpose and context.

status: ContractStatus

stability: Stability

scope: String

High-level scope description.

capabilities: Vec<String>

What the component provides.

invariants: Vec<Invariant>

Invariants that must always hold.

required_semantics: Vec<Semantic>

Behavior that is required.

forbidden_semantics: Vec<Semantic>

Behavior that is explicitly forbidden.

edge_cases: Vec<EdgeCase>

Edge cases with expected behavior.

examples: Vec<Example>

Usage examples.

non_goals: Vec<String>

What this component explicitly does not do.

implementation_notes: Vec<String>

Implementation-level notes (not part of the contract).

test_expectations: Vec<String>

What tests are expected for this contract.

expected_api: Vec<String>

Expected public API items (traits, methods, types) this contract covers.

history: Vec<HistoryEntry>

Version history of contract changes.

created_at: DateTime<Utc>

updated_at: DateTime<Utc>

Implementations

impl Contract

pub fn new_draft(id: String, title: String, scope: String) -> Self

Create a new draft contract with the given id and title.

Trait Implementations

impl Clone for Contract

fn clone(&self) -> Contract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Contract

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Contract

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Contract

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

where __S: Serializer,

Serialize this value into the given Serde serializer.