Struct InferencePolicy 

pub struct InferencePolicy {
    pub min_score: u16,
    pub min_margin: u16,
}

Acceptance thresholds for heuristic type inference.

Fields

min_score: u16

Minimum raw score the winning candidate must reach.

min_margin: u16

Minimum lead the winner must have over the runner-up.

Implementations

impl InferencePolicy

pub const PRELIMINARY: Self

Preliminary thresholds: reject a lone weak signal and near ties.

min_score = 30 corresponds to exactly one weak signal (for example the 8-byte pointer heuristic), min_margin = 10 rejects candidates that are less than one signal apart.

Measured behaviour

On the deterministic four-sample fixture in this module’s tests (policy::tests::calibration_fixture) this pair answers 2-3 samples with precision 1.00 (recall 0.50-0.75): printable text and a NUL-terminated C string are always answered, while a high-entropy buffer and a control-character block abstain when their candidates are only a few points apart. The exact count is platform-dependent because is_valid_ptr consults the live process map, so the test locks the quality contract instead of an exact count. A grid search over min_score ∈ [0, 80] and min_margin ∈ [0, 30] with min_precision = 0.85 finds a more permissive pair, but on four samples that is over-fitting, so the shipped pair stays deliberately conservative.

This is a smoke-level measurement, not a validated calibration: plan §11.2 requires thresholds selected on a validation set of real programs, including layout-based samples built with a controlled allocator, before any accuracy percentage is published.

pub const fn new(min_score: u16, min_margin: u16) -> Self

Build a policy with explicit thresholds.

Trait Implementations

impl Clone for InferencePolicy

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for InferencePolicy

impl Debug for InferencePolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for InferencePolicy

fn default() -> Self

Returns the “default value” for a type.

impl Eq for InferencePolicy

impl PartialEq for InferencePolicy

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for InferencePolicy