Module binding 

Binding registry — maps contract equations to implementations.

A BindingRegistry connects kernel contract equations (defined in YAML) to the actual Rust functions that implement them in a target crate (e.g. aprender). This enables:

• Audit: pv audit --binding reports which obligations have implementations and which are gaps.
• Wired tests: pv probar --binding generates property tests that call real functions instead of unimplemented!().

Structs

BindingRegistry

Top-level binding registry parsed from YAML.

KernelBinding

A single binding: one contract equation mapped to one implementation.

Enums

ImplStatus

Implementation status of a binding.

Functions

collect_fn_names

Collect every Rust function name (fn <name>) defined in .rs files under root, skipping target/, .git/, .lake/, and node_modules/. Used by BindingRegistry::verified to check bindings point to real code.

normalize_contract_id

Normalize a contract identifier by stripping .yaml/.yml extension.

parse_binding

Parse a binding registry YAML file.

parse_binding_str

Parse a binding registry from a YAML string.