Enum PromotionMode 

pub enum PromotionMode {
    Off,
    Shadow,
    PromoteExact,
}

How the PIR-A lexical reference promotion path is activated.

The live provider passes the mode from config. Modes:

• Off — Do not evaluate; return LegacyFallback { reason: FeatureDisabled } immediately without examining the receipt.

• Shadow — Evaluate the candidate and emit the comparison receipt but return LegacyFallback (the “always-run-then-fallback” pattern, now named honestly). Used for scorecard aggregation without changing live provider results.

• PromoteExact — Return Exact when all gates pass; refuse to fallback otherwise.

Flip criterion for PromoteExact: ops may set this only after a human sign-off confirming that the PR2 shadow scorecard on issue #2635 shows extra_in_compiler == 0 across the full set1 fixture set for at least one complete CI green run post-PR2 merge (the corpus-soak precondition from the PR3 plan-reviewed spec). No individual agent may flip this mode without that explicit human sign-off.

Variants

Off

Feature is off. Return LegacyFallback { reason: FeatureDisabled } immediately.

Shadow

Evaluate candidate + emit comparison receipt, but return LegacyFallback. Used for scorecard aggregation without cutover.

PromoteExact

Return Exact when all gates pass; refuse and fallback otherwise.

Trait Implementations

impl Clone for PromotionMode

fn clone(&self) -> PromotionMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PromotionMode

impl Debug for PromotionMode

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

Formats the value using the given formatter.

impl Eq for PromotionMode

impl PartialEq for PromotionMode

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for PromotionMode