Enum NoChangeKind 

pub enum NoChangeKind {
    PremiseWrong,
    DeliberateBehavior,
    NonCodeDecision,
}

Why a session concluded no code should change.

The runtime can only independently verify the first of these, and only in a narrow operational sense — see NoChangeVerification::RuntimeBaselineGreen. The other two rest on judgement a green test run cannot supply, so they always reach a human.

Variants

PremiseWrong

The reported problem does not exist — the code already handles the case.

DeliberateBehavior

The behaviour is intentional. Passing tests establish what the code does now, never that maintainers intended it or still want it, so this is not runtime-verifiable at all.

NonCodeDecision

The fix is real but is not a code change — a migration, an operator decision, a rollout. No diff substitutes for it.

Implementations

impl NoChangeKind

pub fn as_str(&self) -> &'static str

pub fn parse(s: &str) -> Option<Self>

Trait Implementations

impl Clone for NoChangeKind

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 NoChangeKind

impl Debug for NoChangeKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for NoChangeKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for NoChangeKind

impl PartialEq for NoChangeKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for NoChangeKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for NoChangeKind