Struct CheckRecord 

pub struct CheckRecord {
    pub ts: u64,
    pub entity: String,
    pub verdict: String,
    pub method: Option<String>,
    pub entity_hash: String,
    pub actor: String,
    pub client: Option<String>,
    pub role: String,
    pub identity: Option<String>,
    pub kind: Option<String>,
    pub schema_ref: Option<String>,
}

One recorded check — the full ledger line.

Fields

ts: u64

Unix epoch seconds at record time.

entity: String

Full entity id (mem--slug).

verdict: String

ok | failed.

method: Option<String>

Optional free-text method note (“diffed against source spec”, “re-ran the derivation”).

entity_hash: String

The entity’s content_hash at check time — the staleness baseline.

actor: String

Recorded actor identity (plan-13 provenance).

client: Option<String>

Recorded client identity (name@version), when known.

role: String

The caller-declared role, or "unspecified" — recorded honestly; downstream gates treat unspecified as cannot-confirm, never as any real role.

identity: Option<String>

The caller-declared identity (agent-trust plan 15): an opaque caller-chosen string, the ONLY comparator the independence gate uses. Absent on ledger lines written before identities existed and on identity-less callers — both downgrade every comparison to unconfirmable, never to a guessed category.

kind: Option<String>

The check kind, from CHECK_KINDS. Absent on ledger lines written before kinds existed AND on freshly recorded verification checks — both read as verification, so an existing ledger upgrades with no migration and a kind-omitted caller’s lines stay byte-identical to before.

schema_ref: Option<String>

For conformance records: the mem’s schema pin (name@x.y.z) as stamped by the engine at record time — never caller-supplied, so a verdict cannot claim a prose version the caller never read. Absent on verification records.

Implementations

impl CheckRecord

pub fn resolved_kind(&self) -> CheckKind

The record’s kind, legacy lines included: an absent or unrecognised kind reads as verification, which is exactly what every pre-kind line was.

Trait Implementations

impl Clone for CheckRecord

fn clone(&self) -> CheckRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckRecord

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CheckRecord

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

where __S: Serializer,

Serialize this value into the given Serde serializer.