Struct Metadata 

pub struct Metadata {
    pub version: String,
    pub created: Option<String>,
    pub author: Option<String>,
    pub description: String,
    pub references: Vec<String>,
    pub depends_on: Vec<String>,
    pub registry: bool,
    pub enforcement_level: Option<EnforcementLevel>,
    pub locked_level: Option<String>,
}

Contract metadata block.

Fields

version: String

created: Option<String>

author: Option<String>

description: String

references: Vec<String>

depends_on: Vec<String>

Contract dependencies — other contracts this one composes. Values are contract stems (e.g. “silu-kernel-v1”).

registry: bool

Data registry contracts (lookup tables, enum definitions, config bounds) are exempt from the provability invariant. All other contracts MUST have proof_obligations, falsification_tests, and kani_harnesses.

enforcement_level: Option<EnforcementLevel>

Per-contract enforcement level (Section 17, Gap 1). basic → schema valid; standard → + falsification + kani; strict → + all bindings implemented; proven → + Lean 4 proved.

locked_level: Option<String>

Once set, the contract cannot drop below this verification level without an explicit pv unlock (Section 17, Gap 5).

Trait Implementations

impl Clone for Metadata

fn clone(&self) -> Metadata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Metadata

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Metadata

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Metadata

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

where __S: Serializer,

Serialize this value into the given Serde serializer.