Enum ContractKind 

pub enum ContractKind {
    Kernel,
    Registry,
    ModelFamily,
    ModelFamilyVariant,
    Tokenizer,
    TrainingLoop,
    PretrainingCorpus,
    TrainingPreconditionGate,
    CorpusAssembly,
    Pattern,
    Schema,
}

The kind of contract artifact. Determines which validation rules apply.

• Kernel (default): a mathematical kernel contract — the provability invariant applies (must have proof_obligations, falsification_tests, kani_harnesses).
• Registry: a data registry (lookup tables, enum definitions, config bounds) — exempt from provability, validated for metadata + entries.
• ModelFamily: architecture metadata (HuggingFace family descriptors, size variants, vendor) — exempt from provability, validated for metadata fields. Custom top-level fields are preserved but not enforced by the kernel schema.
• ModelFamilyVariant: a concrete size variant of a model family (e.g. Llama 370M sovereign). Freezes hyperparameters (vocab, hidden dim, layer count) and delta-dispatches invariants from the parent family. Exempt from provability.
• Tokenizer: a concrete tokenizer contract — vocab bounds, required special tokens, round-trip gate, normalization form. Exempt from provability (gates are byte-exact tests, not Kani harnesses).
• TrainingLoop: a training-loop contract — loss schedule, optimizer config, gradient-clipping policy, checkpoint cadence. Exempt from provability; validated for metadata + schedule fields.
• PretrainingCorpus: a pretraining-corpus contract — dataset source, license, total-bytes bound, shard layout. Exempt from provability.
• TrainingPreconditionGate: a hard precondition gate that must be satisfied before training starts (e.g. Chinchilla compute-optimal token/parameter ratio, GPU memory floor, dataset checksum). Exempt from provability; validated for metadata + gate-formula fields.
• CorpusAssembly: a multi-source corpus assembly pipeline contract — declares input shards, dedup strategy, license-merge policy, and output manifest. Exempt from provability.
• Pattern: a cross-cutting verification pattern (threading safety, async safety, compute parity) that applies across multiple kernels. Exempt from the kernel provability invariant but still validated for metadata and any proof/falsification data present.
• Schema: a generic reference/schema document — exempt from provability, validated only for metadata.id, metadata.version, metadata.description, and metadata.references.

Variants

Kernel

Registry

ModelFamily

ModelFamilyVariant

Tokenizer

TrainingLoop

PretrainingCorpus

TrainingPreconditionGate

CorpusAssembly

Pattern

Schema

Trait Implementations

impl Clone for ContractKind

fn clone(&self) -> ContractKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractKind

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

Formats the value using the given formatter.

impl Default for ContractKind

fn default() -> ContractKind

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ContractKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ContractKind

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

Formats the value using the given formatter.

impl Hash for ContractKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for ContractKind

fn cmp(&self, other: &ContractKind) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ContractKind

fn eq(&self, other: &ContractKind) -> 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 PartialOrd for ContractKind

fn partial_cmp(&self, other: &ContractKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for ContractKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ContractKind

impl Eq for ContractKind

impl StructuralPartialEq for ContractKind