pub fn validate<'a>(
request: &ConsistencyRequest<'_>,
observation: &'a ConsistencyObservation,
) -> Result<ConsistencyView<'a>, ConsistencyError>Expand description
Match original guarantee, current context/inventory/selection/stopped state and exact fence.
Integrations qualify evidence authenticity, actual freshness/drain and continuous fence custody. Policy cannot prove these through hashes, echoed labels or matching before/after observations. It performs no IO/serialization/provider calls, plan or journal changes, dispatch, restart or fence release. Restore safety remains separate.
ยงErrors
Rejects changed request/context/inventory/selection/lane, non-stopped targets, excess calls, changed retained fence identity or unbound membership revision.