Enum Evidence 

pub enum Evidence {
    Tool {
        name: String,
    },
    Module {
        name: String,
    },
    Config {
        key: String,
    },
    Runtime {
        capability: String,
    },
    Code {
        path: String,
        symbol: Option<String>,
    },
    CliVerb {
        harness: String,
        verb: String,
    },
    Store {
        harness: String,
        path: String,
    },
}

A mechanically checkable citation. Every variant is resolved by check_evidence against the applicable preset(s) or the source tree.

Variants

Tool

A tool registered under the applicable preset’s resolved config.

Fields

name: String

Registered tool name (e.g. read_file).

Module

A capability module enabled in the applicable preset(s).

Fields

name: String

Capability module name (a MODULE_NAMES entry).

Config

A dotted key that the applicable preset TOML sets explicitly.

Fields

key: String

Dotted TOML key path (e.g. core.tools.edit_file.require_read_before_edit).

Runtime

A live-runtime capability flag on the harness’s own backend.

Fields

capability: String

RuntimeCapabilities flag name (e.g. steer).

Code

A source file (workspace-relative) that must exist and, when symbol is given, contain that text. The weakest kind; for loop mechanics that no config key or tool name expresses.

Fields

path: String

Workspace-relative source path.

symbol: Option<String>

Text the file must contain.

CliVerb

A subcommand the PINNED harness CLI advertises. Resolved against the committed capture parity/fixtures/<harness>-help.txt: the verb’s leaf must appear as a subcommand entry inside the $ <harness> <parents> --help section. Backs a harness column, never a supercode status — that a harness has a verb says nothing about whether supercode calls it.

Fields

harness: String

One of ORCHESTRATION_PRESETS.

verb: String

Space-separated verb path (cron list, agents bindings, acp).

Store

A harness store (file path, table, or column) that a loader in THIS workspace actually opens. Resolved by a symbol search over [STORE_SEARCH_ROOTS]: every non-placeholder segment of path must appear in a [STORE_OPEN_CALLS] form on a non-comment line. <...> segments are placeholders and are skipped.

Fields

harness: String

The store’s owner, one of ORCHESTRATION_PRESETS.

path: String

/-separated store path, e.g. state.db/sessions/session_key.

Trait Implementations

impl Clone for Evidence

fn clone(&self) -> Evidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Evidence

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Evidence

fn deserialize<__D>( __deserializer: __D, ) -> Result<Evidence, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Evidence

impl PartialEq for Evidence

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Evidence

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Evidence