Struct OperatorSet 

pub struct OperatorSet { /* private fields */ }

A set of deduction operators that compose via propagate-forward semantics.

An OperatorSet applies each operator in sequence to a hypothesis and evidence. If an operator abstains, the abstention is recorded but does not prevent subsequent operators from running on the best-known hypothesis so far.

Invariant: The result of apply_set is always ⊑ the input hypothesis (INV-PS-03). Invariant: Operators and metadata are kept in lockstep registration order.

Implementations

impl OperatorSet

pub fn new() -> Self

Creates a new empty operator set.

pub fn register(self, op: Box<dyn Operator>, meta: OperatorMetadata) -> Self

Registers an operator with the set and returns self for chaining.

Panics if an operator with the same name is already registered. Operator names must be unique to ensure the audit trail in SetOutcome.abstentions unambiguously identifies each operator that abstains.

pub fn len(&self) -> usize

Returns the number of operators in the set.

pub fn is_empty(&self) -> bool

Returns true if the operator set is empty.

pub fn operator_names(&self) -> Vec<&str>

Returns the names of all registered operators in registration order.

pub fn iter_operators(&self) -> impl Iterator<Item = &dyn Operator>

Returns an iterator over references to the registered operators.

This allows proposers (e.g., lattice search) to invoke each operator individually and collect refinements, rather than using the propagate-forward semantics of apply_set.

pub fn apply_set(&self, h: &Hyp, e: &Evidence) -> SetOutcome

Applies all operators in sequence, propagating refinements forward.

Algorithm:

1. Start with current_h = h.clone().
2. For each operator (in registration order):
   • Call operator.apply(&current_h, e).
   • If Refined(h'): assert h' ⊑ current_h, then set current_h = h'.
   • If Abstain(r): record (operator_name, r) and leave current_h unchanged.
3. Return SetOutcome { result: current_h, abstentions }.

Semantics: Abstention from one operator does not silence the next; each operator sees the best-known hypothesis so far. Final result ⊑ input always (OBL-PS-03).

Safety

The refinement invariant (INV-PS-03) is checked via debug_assert! and only fires in debug builds. In release builds, this invariant is unchecked; correctness depends on each registered operator satisfying INV-PS-03 in its own implementation. For clinical use, register only operators whose unit tests verify monotonicity.

Trait Implementations

impl Default for OperatorSet

fn default() -> Self

Returns the “default value” for a type.