Details not fully explained by tractus-level judgment.
Summary
Types
@type reason() :: :coverage_changed | :new_block | :removed_block | :ambiguous_block
@type t() :: %Certitudo.Forma.Residuatum{ blocks: [Certitudo.Forma.Tractus.t()] | nil, details: map() | nil, entries: [Certitudo.Forma.LineaDifferentia.t()] | nil, reason: reason() }