Прочитал тут про RChain.
1)В документации написано:
Block confirmation time
Variable. Target is sub-second for 1 block. TBD for de-facto finality.
http://rchain-architecture.readthedocs.io/en/latest/introduction/comparison-of-blockchains.html

	Скрытый текст
	Отдельное фи за текст в картинке. Такая таблица без проблем верстается на HTML.

Данное описание говорит о том, что при создании блока система пришла к консенсусу с некоторой вероятностью.
Генерация новых блоков увеличивает вероятность консенсуса. de-facto finality означает что вероятность консенсуса возросла настолько что можно считать, что система пришла к консенсусу.

В рекламе написано:
Byzantine fault-tolerant
Это означает что в системе консенсус либо есть и его ничто не может изменить. Либо его нет.
Никаких вероятностей.

В каком месте врут?

Единственный известный мне блокчейн с BFT это hashgraph

Автор: WolfHound
Дата: 23.12.17

.
У всех остальных консенсус вероятностный.

2)Документация алгебраичная. Начал понимать, что к чему только после того как этот кусок кода увидел.

contract Cell( get, set, state ) = {
  select {
    case rtn <- get; v <- state => {
      rtn!( *v ) | state!( *v ) | Cell( get, set, state )
    }

    case newValue <- set; v <- state => {
      state!( *newValue ) | Cell( get, set, state )
    }
  }
}