Expand description
Inference-method registry per docs/concepts/librarian-pipeline.md § 5.
Fourteen named methods, each with:
- A parent-count rule (exactly 1, exactly 2, N ≥ 2, N ≥ 1, etc.).
- A deterministic confidence formula computed over parent confidences.
- A staleness predicate — the condition under which the method’s output must be flagged stale if a parent is superseded.
All arithmetic is integer fixed-point at the u16 confidence
resolution (per ir-canonical-form.md § 3.1) so output is
bit-identical across architectures. Intermediate products use u128
to accommodate up to eight 16-bit parents without overflow; methods
accepting more than eight parents cap their input at eight and
return InferenceMethodError::TooManyParents otherwise (this
bounded-determinism caveat is flagged in CHANGELOG pending a
follow-up log-table implementation for unbounded N).
Enums§
- Inference
Method - One of the 14 registered inference methods. Every Inferential memory’s
methodfield resolves to a symbol whose canonical name maps to one of these variants. - Inference
Method Error - Errors from
InferenceMethod::compute. - Parent
Count Rule - Parent-count constraint for a method.
- Staleness
Rule - Staleness predicate — when the method’s output is flagged stale.