Struct ReasoningRecord 

pub struct ReasoningRecord {
    pub reasoning_uuid: Uuid,
    pub assertion_uuid: Uuid,
    pub kind: ReasoningKind,
    pub content_format: ReasoningContentFormat,
    pub content: Vec<u8>,
    pub supersedes_reasoning_uuid: Option<Uuid>,
    pub provenance_uuid: Uuid,
    pub recorded_at_micros: i64,
    pub contract_version: u32,
}

One immutable reasoning record or explicit amendment.

Fields

reasoning_uuid: Uuid

Caller-supplied UUIDv7 identity/idempotency key.

assertion_uuid: Uuid

Existing immutable M20 assertion.

kind: ReasoningKind

Closed reasoning purpose.

content_format: ReasoningContentFormat

Closed exact-content encoding.

content: Vec<u8>

Exact accepted bytes.

supersedes_reasoning_uuid: Option<Uuid>

Prior reasoning record amended by this record.

provenance_uuid: Uuid

Producing provenance event.

recorded_at_micros: i64

Mandatory transaction time.

contract_version: u32

Frozen record contract.

Implementations

impl ReasoningRecord

pub fn new( reasoning_uuid: Uuid, assertion_uuid: Uuid, kind: ReasoningKind, content_format: ReasoningContentFormat, content: Vec<u8>, supersedes_reasoning_uuid: Option<Uuid>, provenance_uuid: Uuid, recorded_at_micros: i64, ) -> Result<Self, KnowledgeError>

Validate and construct one immutable record.

Trait Implementations

impl Clone for ReasoningRecord

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReasoningRecord

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

Formats the value using the given formatter.

impl Eq for ReasoningRecord

impl PartialEq for ReasoningRecord

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ReasoningRecord