Consensus

Char reduces signed operator attestations into domain outcomes.

For each ballot:

• a leader is selected from active stake,
• operators publish attestations,
• stake weights the endorsed outcomes,
• the reducer emits a roll when the result is provable.

Rolls

DecisionRoll proves an outcome reached quorum.

BallotSkipCertificate authorizes advancing past a ballot without selecting an application value. Its blocking threshold reserves the full Byzantine weight budget below one third, so disagreement alone is not sufficient: a 50/50 split can remain unresolved even after everyone votes.

Both guarantees require the same authenticated electorate and ballot context, unique counted anchors, and honest single-signing. They do not by themselves establish finality across Bitcoin reorgs.

Consumers should treat both as evidence to verify, not as trusted server responses.