Collector
The read side of the collector trace: look up what a run decided, or explain why one proposition was collapsed. Callers that only need to inspect trace data (e.g. an admin API) should depend on this instead of the concrete storage implementation.
Inheritors
Functions
The decision where propositionId shows up on either side of a merge: as the survivor, or as one of the retired members. Useful for a caller that just wants "what happened to this proposition" without caring which side it was on. A caller that specifically wants a retirement, undoing a single collapse say, should use findDecisionRetiring: this method can answer a decision where the id survived, which is the wrong one to undo against.
The most recent decision that retired propositionId. Never one where it merely survived.
The undo-record for one retired member of a collapse: its prior status and exactly the grounding/provenance/source ids a merging sweep folded onto its survivor from it. Looks up the CollectorDecision that retired retiredId via findDecisionRetiring and picks out its entry.