Incentives: Suspend "absentee" accounts that don't propose.

agreement/abstractions.go

@@ -59,7 +59,7 @@ type ValidatedBlock interface {
 	//
 	// Calls to Seed() or to Digest() on the copy's Block must
 	// reflect the value of the new seed.
-	WithSeed(committee.Seed) ValidatedBlock
+	WithSeed(committee.Seed, basics.Address) ValidatedBlock
 
 	// Block returns the underlying block that has been validated.
 	Block() bookkeeping.Block

agreement/agreementtest/simulate_test.go

@@ -79,8 +79,9 @@ func (b testValidatedBlock) Block() bookkeeping.Block {
 	return b.Inside
 }
 
-func (b testValidatedBlock) WithSeed(s committee.Seed) agreement.ValidatedBlock {
+func (b testValidatedBlock) WithSeed(s committee.Seed, proposer basics.Address) agreement.ValidatedBlock {
 	b.Inside.BlockHeader.Seed = s
+	b.Inside.BlockHeader.Proposer = proposer
 	return b
 }
 

agreement/common_test.go

@@ -165,8 +165,9 @@ func (b testValidatedBlock) Block() bookkeeping.Block {
 	return b.Inside
 }
 
-func (b testValidatedBlock) WithSeed(s committee.Seed) ValidatedBlock {
+func (b testValidatedBlock) WithSeed(s committee.Seed, proposer basics.Address) ValidatedBlock {
 	b.Inside.BlockHeader.Seed = s
+	b.Inside.BlockHeader.Proposer = proposer
 	return b
 }
 

agreement/fuzzer/ledger_test.go

@@ -93,8 +93,9 @@ func (b testValidatedBlock) Block() bookkeeping.Block {
 	return b.Inside
 }
 
-func (b testValidatedBlock) WithSeed(s committee.Seed) agreement.ValidatedBlock {
+func (b testValidatedBlock) WithSeed(s committee.Seed, proposer basics.Address) agreement.ValidatedBlock {
 	b.Inside.BlockHeader.Seed = s
+	b.Inside.BlockHeader.Proposer = proposer
 	return b
 }