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.

ImpossibleRoll proves no outcome can reach quorum.

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