structure definition def or abbrev

`RecognitionTracker`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 182structure RecognitionTracker where
 183  events : List LedgerForcing.RecognitionEvent
 184

From the project-wide theorem graph. These declarations reference this one in their body.

ledger_is_minimal_recognition_tracker in IndisputableMonolith.Foundation.RecognitionForcing decl_use
PreservesJSymmetry in IndisputableMonolith.Foundation.RecognitionForcing decl_use

Lean names referenced from this declaration's body.

RecognitionEvent in IndisputableMonolith.Foundation.LedgerForcing decl_use
RecognitionEvent in IndisputableMonolith.Foundation.ObserverForcing decl_use
RecognitionEvent in IndisputableMonolith.Information.InformationIsLedger decl_use