Skip to content
voiage

Binding Dispositions API

Classes

Section titled “Classes”
  • LanguageBindingDisposition — Status (implemented, internal, contract_only, adapter, unsupported, upstream_blocked), exported symbol, data interchange format, and rationales. internal means a type exists inside an implementation component but is not a public language-binding surface.
  • ContractBindingParity — Container mapping language targets to dispositions.

Functions

Section titled “Functions”
  • load_industry_decision_binding_dispositions(manifest_path=None) -> dict[str, ContractBindingParity]
  • get_binding_disposition(contract_id: str, language: str, manifest_path=None) -> LanguageBindingDisposition
  • validate_binding_dispositions_manifest(manifest_path=None, *, resolve_symbols=False) -> bool

When resolve_symbols=True, implemented Python symbols and contract-only file references are resolved. Rust-internal types remain the responsibility of Rust tests. In particular, DecisionProblem is public in Python and internal in the Rust domain crate; it is not exposed by the C ABI, R, or Julia bindings.