This directory served as location for English and TLA+ specifications of the Tendermint protocols "fast sync" and "light client". The corresponding specification work is not happening in this directory anymore but in the spec directory of the CometBFT repository. The most recent versions of the specifications can be found there.