Enum Assertion 

pub enum Assertion {
    DidNotHappen,
    Landed(Value),
}

What a person asserts about an effect the runtime could not decide.

The same two answers a Reconciliation probe can reach, minus the third. Inconclusive is missing on purpose: a probe records it because having asked is a fact about the run, and the doubt stands either way. A person who cannot tell has already left the doubt standing, and their finding belongs in the reason on the decision that closes the run — where somebody will read it — rather than in a record that changes nothing.

Variants

DidNotHappen

The call never took. Nothing changed outside, and the effect is safe to perform again — which is what a reopened run will do.

Landed(Value)

The call took, and this is the result the run reads back.

The label this value carries

Untrusted and Internal, always, and it is not a caller’s choice. Every other output in this runtime is labelled by the effect that produced it — trust() and output_sensitivity(), declared in code or in operator configuration — and there is no effect here: an offline verb has no instance in hand, and the person typing the value is not the provider that returned it.

So it takes the conservative point of the lattice, the same one an inbound event’s payload gets, and the consequence is stated rather than hidden: a reopened run reaches its sinks with a value the gates judge on its merits, and a run that needed this output to be trusted will be refused there and unwind. That is the honest ending. The alternative — letting the resolution declare its own trust — makes the 3 a.m. verb the one place in this design where a person can declassify by typing.

Implementations

impl Assertion

pub const fn disposition(&self) -> Disposition

The assertion in the vocabulary a failure and a probe both use.

Trait Implementations

impl Clone for Assertion

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 Assertion

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

Formats the value using the given formatter.

impl PartialEq for Assertion

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Assertion