Structs§
- Conflict
Repair - Intra
Distance Adapter - List
Variable Slot - Provider
Normalization State - Deduplication state for one explicit provider result stream.
- Provider
Reason Arena - Per-run reason interning. This is deliberately separate from compiled
schema/config: host labels are run data, while static Rust labels remain
borrowed
&'static str. One compiled-selector execution owns this arena and lends a mutable reference to provider cursors only while they normalize a pull, keeping shared ownership out of the move hot path. - Provider
Reason Id - Compact identity for one callback/provider reason within a single solve.
- RawProvider
Candidate - One raw callback candidate. The reason is owned and participates in per-provider deduplication, but never in tabu identity.
- RawProvider
Edit - One raw callback edit. It deliberately has names, not descriptor indexes or pre-bound slots: the core resolver binds it after callback return.
- Repair
Candidate - Repair
Limits - Resolved
Provider Candidate - Resolved
Provider Edit - Runtime
Candidate Metric Binding - Runtime
Candidate Metric Registry - Runtime
Conflict Repair Provider Binding - One host-language conflict-repair declaration in immutable schema order. A multi-constraint declaration retains one index and one pull.
- Runtime
Model - Runtime
Provider Registry - Frozen schema-order registry. It does not contain a mutable host lookup; plans store immutable declaration indexes and cursor dispatch rebuilds no schema state at solve time.
- Runtime
Provider Slot Resolver - Canonical first-match resolver for raw callback names.
- Runtime
Scalar Edit - A neutral scalar edit used by the shared provider/scalar kernels before it is lowered to the outer move payload. The kind/reason policy lives above this type; apply/undo ownership never needs a second typed/dynamic edit implementation.
- Runtime
Scalar Group Provider Binding - One host-language callback group declaration in immutable schema order.
- Runtime
Scalar Slot Id - Immutable scalar slot identity used by compiler errors, provider normalization, candidate ownership, and trace provenance.
- Scalar
Assignment Binding - The semantic metadata for one assignment-backed scalar group.
- Scalar
Candidate - Scalar
Edit - Scalar
Group Binding - Scalar
Group Limits - Scalar
Group Member Binding - One scalar variable participating in a scalar group.
- Scalar
Variable Slot - Static
Conflict Repair Provider Binding - One immutable function-pointer binding for a typed Rust repair provider.
- Static
Scalar Group Provider Binding - One immutable function-pointer binding for a typed Rust candidate group.
Enums§
- Provider
Resolution Error - Structured core normalization failure. A host-provided error boundary converts it to its native exception type at pull time; core never formats or otherwise replaces callback failures.
- Runtime
Provider Handle - Immutable source handle consumed by the one runtime-provider cursor.
- Runtime
Provider Limits - The immutable callback request supplied by the one shared provider kernel.
- Runtime
Scalar Slot - Physical payload carrier. This is the only typed/dynamic distinction retained by the shared scalar/provider kernels.
- Scalar
Access Capability - Structural scalar capability. It answers whether an immutable binding supplies a source, not whether a particular row produces a candidate.
- Scalar
Group Binding Kind - Value
Source - Variable
Slot
Traits§
- Runtime
Candidate Metric - Host-owned numeric metadata for one already-generated move.
- Runtime
Host Compound Provider - Object-safe lazy pull boundary for host-language callbacks only.
- Runtime
Host Provider Error Boundary - Host exception boundary for core normalization errors. Python bindings
implement this by calling their existing
panic_with_py_err(py_err(...)).
Functions§
- bind_
scalar_ groups - usize_
element_ source_ key - Canonical source key for the built-in
usizeplanning-list representation. Generated list models and dynamic bridge lists use their logical element ID as the stable key; the per-run runtime binder maps it to source order.