Refactor such that each example from an era is build on top of the example of the previous era. Allows: * reduced duplication * each example of each era has most fields set with values
Replace these partials with more type-safe (Shelley)EraForecast, clearly separating TPraos forecasts from Praos ones, and also distinguising current and future forecasts in their respective types. Also change PredicateFailure TICKN to be Void, and remove empty datatype TicknPredicateFailure.
Reject protocol versions that exceed one major version beyond the decoder version, preventing acceptance of far-future protocol versions. Changes made with the help of an LLM
instead of computing it
instead of computing it
