Expand description
Assertions: the “questions” of the IR (02 §5.3, §9.1).
An assertion is a pure predicate over observations / action outputs. It
yields pass | fail | unknown at runtime — the answer (Verdict) is a
runtime artifact and deliberately absent from the IR (principle 3).
Structs§
- AssertionIR
- A single assertion with its explicit verify-chain.
Enums§
- PredicateIR
- The four predicate types (closed, spine A.4), internally tagged
type.