pub struct ChainReport {
pub ok: bool,
pub root_id: String,
pub n_memories: usize,
pub chain_depth: usize,
pub edges_verified: usize,
pub edges_failed: usize,
pub edges: Vec<EdgeResult>,
pub max_reflection_depth_per_namespace: HashMap<String, i32>,
pub bounded_status: String,
pub signed_events: Vec<SignedEventSummary>,
pub generated_at: String,
}Expand description
Full chain-integrity report — the AgenticMem Attest tier evidence
packet.
Fields§
§ok: boolv0.7.0 G-PHASE-E-4 (#709) — top-line PASS/FAIL flag for the
chain. true when every edge verified AND no namespace
exceeded its governance cap. Surfaced as the first field on
the JSON wire shape so external auditors / CI scripts can
jq '.ok' instead of recomputing the predicate from edges_failed
bounded_status. The shell exit code mirrors this field:0whenok = true,2whenok = false(matching theverify-forensic-bundleexit convention, also raised to2in #709).
root_id: StringRoot memory id supplied on the command line.
n_memories: usizeTotal number of distinct memories visited (root + ancestors).
chain_depth: usizeLongest path from root to a depth-0 memory.
edges_verified: usizeNumber of reflects_on edges that passed Ed25519 verification
(or were unsigned but presence-confirmed).
edges_failed: usizeNumber of edges that failed verification, with reasons.
edges: Vec<EdgeResult>Per-edge detail.
max_reflection_depth_per_namespace: HashMap<String, i32>Maximum reflection_depth column value per namespace.
bounded_status: String"within_cap" when no namespace exceeded its governance cap,
"exceeded_cap" when at least one did, or
"no_cap_configured" when no governance policy rows exist.
signed_events: Vec<SignedEventSummary>Optional signed_events entries when --include-signed-events.
generated_at: StringRFC3339 timestamp of report generation.
Trait Implementations§
Source§impl Debug for ChainReport
impl Debug for ChainReport
Auto Trait Implementations§
impl Freeze for ChainReport
impl RefUnwindSafe for ChainReport
impl Send for ChainReport
impl Sync for ChainReport
impl Unpin for ChainReport
impl UnsafeUnpin for ChainReport
impl UnwindSafe for ChainReport
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<T> ErasedDestructor for Twhere
T: 'static,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more