Struct BindingRegistry 

pub struct BindingRegistry {
    pub version: String,
    pub target_crate: String,
    pub critical_path: Vec<String>,
    pub bindings: Vec<KernelBinding>,
}

Top-level binding registry parsed from YAML.

Fields

version: String

target_crate: String

critical_path: Vec<String>

Developer-declared critical path functions (Section 28). CD2 completeness = critical_path entries with bindings / len.

bindings: Vec<KernelBinding>

Implementations

impl BindingRegistry

pub fn bindings_for(&self, contract_id: &str) -> Vec<&KernelBinding>

Find all bindings matching a contract (normalizes both sides).

pub fn find_binding( &self, contract_id: &str, equation: &str, ) -> Option<&KernelBinding>

Find a specific binding by contract + equation (normalizes contract).

pub fn verified(&self, source_root: &Path) -> BindingRegistry

L5 verification: return a copy of this registry in which every binding marked implemented whose function is NOT actually defined in the source tree under source_root is downgraded to not_implemented.

This turns the L5 predicate “all bindings verified as implemented” (see crate::proof_status) into a fact instead of a self-declared YAML flag: a binding only survives as implemented if a real fn <function> exists in source. Rename or delete the function and the binding is downgraded, dropping the contract below L5 — the check is falsifiable.

The source tree is scanned once (all .rs files, skipping build/vcs dirs) and the resulting function-name set is reused for every binding.

Trait Implementations

impl Clone for BindingRegistry

fn clone(&self) -> BindingRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BindingRegistry

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BindingRegistry

fn deserialize<__D>( __deserializer: __D, ) -> Result<BindingRegistry, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for BindingRegistry

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

where __S: Serializer,

Serialize this value into the given Serde serializer.