Module gate_contract 

Open GateContract inventory consumed by [crate::validate_runtime_complete].

Each gate-insertion pass declares a GateContract impl + emits inventory::submit! { GateContractRegistration { ... } }; the validator iterates the inventory and runs every registered contract’s assert_inserted against the post-insertion graph. Adding a new gate is “ship the inserting pass + register its contract” — no edit to the validator.

Structs

GateContractRegistration

Inventory-collected pointer to a GateContract implementation shipped by a gate-insertion pass. Library makers introducing a new gate emit one inventory submission alongside their pass.

Traits

GateContract

A single insertion contract a gate-inserting pass owns.

Functions

contracts

Iterate every GateContract the binary links in.