ArboraDeck sits between the chain and the person reading it. Everything below is a real pipeline stage — drag any node to trace how a claim on a card is derived from the event that produced it.
The summariser can only emit a clause if it can attach a resolvable reference: a block, a print, an attestation or a filing. Unsupported clauses are dropped before rendering rather than hedged in language.