We have section of our specification spec/core describing the core types adopted in CometBFT. While some minor changes have been made recently, the documentation itself appears to need a thorough review, for the sake of accuracy and possibly also completeness.

In particular, some validity predicates appear to be imprecise, for instance the restrictions regarding round numbers (tendermint/tendermint#10041), that probably also apply to other int fields (e.g., validator index) that are mistakenly restricted to be >0 when the 0 value is valid.

I also wonder whether there is a better way to keep this documentation consistent with the implementation (namely, the referenced data types) without manually editing Markdown tables.