Struct ExperienceStore 

pub struct ExperienceStore { /* private fields */ }

Replayable, target-scoped outcome experience.

Observation order is represented by a monotonic integer rather than wall clock time. Recording an identical outcome is idempotent. Passive inconclusive results do not count as completed attempts; a later active result for the same case replaces them during assessment.

This store is action-outcome learning history. It does not receive or preserve crate::VerificationCase transition authorization, so an ExperienceDisposition::ConfirmedPositive is not evidence that a hypothesis state changed. The KnowledgeBase and complete VerificationReport remain authoritative for hypothesis state and transition audit.

Example

use termivar_scanner::{ExperiencePolicy, ExperienceStore};

let store = ExperienceStore::new();
assert_eq!(store.len(), 0);
assert_eq!(ExperiencePolicy::default().consecutive_failure_limit(), 10);

Implementations

impl ExperienceStore

pub fn new() -> Self

Creates an empty store.

pub fn observe( &mut self, outcome: Outcome, ) -> Result<ExperienceWrite, ExperienceStoreError>

Records one immutable outcome in deterministic call order.

pub fn observe_with_disposition( &mut self, outcome: Outcome, disposition: ExperienceDisposition, ) -> Result<ExperienceWrite, ExperienceStoreError>

Records an outcome with an explicit, status-compatible disposition.

Callers should use this only when structured policy or an audited verifier can distinguish the conservative classification produced by Self::observe. Operational failures should not be converted into a synthetic successful or negative verifier result.

pub fn len(&self) -> usize

Returns the number of unique stage outcomes.

pub fn is_empty(&self) -> bool

Returns whether no outcomes have been observed.

pub fn records(&self) -> &[ExperienceRecord]

Returns all records in stable global observation order.

pub fn history<'a>( &'a self, subject: &'a EntityId, action_id: &'a str, ) -> impl Iterator<Item = &'a ExperienceRecord> + 'a

Returns records for one subject and action in observation order.

pub fn assess( &self, subject: &EntityId, action_id: &str, policy: ExperiencePolicy, ) -> ExperienceAssessment

Assesses the latest completed result for each distinct verification case.

pub fn suppressed_actions( &self, subject: &EntityId, policy: ExperiencePolicy, ) -> BTreeSet<String>

Returns policy-suppressed action IDs for one subject in stable order.

Trait Implementations

impl Clone for ExperienceStore

fn clone(&self) -> ExperienceStore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExperienceStore

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

Formats the value using the given formatter.

impl Default for ExperienceStore

fn default() -> ExperienceStore

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ExperienceStore

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExperienceStore

impl PartialEq for ExperienceStore

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExperienceStore

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 ExperienceStore