Public dynamic bridge contracts for host-language SolverForge bindings.
The bridge crate is intentionally separate from the macro path. Rust models keep using monomorphized descriptors, slots, and constraint sets. Binding crates use this crate to describe logical model identity and Rust-owned dynamic state without pretending that one host-language entity class maps to one concrete Rust entity type.