Enum RiskSignalKind 

pub enum RiskSignalKind {
    Novelty,
    TestReachability,
    PatternDeviation,
    InvariantAdjacency,
    SelfFlaggedUncertainty,
}

Why a signal fired. Variants are wire-stable; new variants are appended.

Variants

Novelty

New control-flow shape that doesn’t appear elsewhere in the repo.

TestReachability

No test in the repo statically reaches the changed symbol. Reasoning text must clarify this is static reachability via tree-sitter, not runtime coverage.

PatternDeviation

New code structurally diverges from local exemplars (sibling functions or the prior version of the same symbol).

InvariantAdjacency

An invariant or enforces-tagged annotation lives on the changed symbol.

SelfFlaggedUncertainty

Agent flagged uncertainty about its own output. Passthrough from the captured state’s provenance.

Implementations

impl RiskSignalKind

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

pub fn priority_rank(&self) -> u8

Render-time priority. Lower numbers surface first when budgeting. See state_review::budget for the full algorithm.

The order is load-bearing: changing it changes which signals reviewers see first when many fire on the same state. If you bump these numbers, update the budgeting test goldens too.

Trait Implementations

impl Clone for RiskSignalKind

fn clone(&self) -> RiskSignalKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RiskSignalKind

impl Debug for RiskSignalKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RiskSignalKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RiskSignalKind

impl Hash for RiskSignalKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for RiskSignalKind

fn eq(&self, other: &RiskSignalKind) -> 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 Serialize for RiskSignalKind

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 RiskSignalKind