feat: FIP-0076: implement migration to populate ProviderSectors

builtin/v10/migration/init.go

@@ -68,3 +68,7 @@ func (m initActorMigrator) MigrateState(ctx context.Context, store cbor.IpldStor
 		NewHead:    outHead,
 	}, nil
 }
+
+func (m initActorMigrator) Deferred() bool {
+	return false
+}

builtin/v10/migration/system.go

@@ -34,3 +34,7 @@ func (m systemActorMigrator) MigrateState(ctx context.Context, store cbor.IpldSt
 		NewHead:    stateHead,
 	}, nil
 }
+
+func (m systemActorMigrator) Deferred() bool {
+	return false
+}

builtin/v11/migration/miner.go

@@ -87,3 +87,7 @@ func (m minerMigrator) MigrateState(ctx context.Context, store cbor.IpldStore, i
 		NewHead:    newHead,
 	}, nil
 }
+
+func (m minerMigrator) Deferred() bool {
+	return false
+}

builtin/v11/migration/power.go

@@ -112,3 +112,7 @@ func (m powerMigrator) MigrateState(ctx context.Context, store cbor.IpldStore, i
 		NewHead:    newHead,
 	}, nil
 }
+
+func (m powerMigrator) Deferred() bool {
+	return false
+}

builtin/v11/migration/system.go

@@ -34,3 +34,7 @@ func (m systemActorMigrator) MigrateState(ctx context.Context, store cbor.IpldSt
 		NewHead:    stateHead,
 	}, nil
 }
+
+func (m systemActorMigrator) Deferred() bool {
+	return false
+}

builtin/v12/migration/miner.go

@@ -79,6 +79,10 @@ func (m minerMigrator) MigratedCodeCID() cid.Cid {
 	return m.OutCodeCID
 }
 
+func (m minerMigrator) Deferred() bool {
+	return false
+}
+
 func (m minerMigrator) MigrateState(ctx context.Context, store cbor.IpldStore, in migration.ActorMigrationInput) (*migration.ActorMigrationResult, error) {
 	var inState miner11.State
 	if err := store.Get(ctx, in.Head, &inState); err != nil {

builtin/v12/migration/system.go

@@ -33,3 +33,7 @@ func (m systemActorMigrator) MigrateState(ctx context.Context, store cbor.IpldSt
 		NewHead:    stateHead,
 	}, nil
 }
+
+func (m systemActorMigrator) Deferred() bool {
+	return false
+}

builtin/v13/market/invariants.go

@@ -265,7 +265,6 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount, c
 	//
 	// Provider Sectors
 	// Provider->sector->deal mapping
-	// Each entry corresponds to non-terminated deal state.
 	// A deal may have expired but remain in the mapping until settlement.
 
 	providerSectors := make(map[abi.SectorID][]abi.DealID)
@@ -301,7 +300,9 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount, c
 				// check against proposalStats
 				for _, dealID := range dealIDsCopy {
 					st, found := proposalStats[dealID]
-					acc.Require(found, "deal id %d in provider sectors not found in proposals", dealID)
+					if !found {
+						continue
+					}
 					acc.Require(st.SectorNumber == abi.SectorNumber(sectorNumber), "deal id %d sector number %d does not match sector id %d", dealID, st.SectorNumber, sectorNumber)
 
 					_, ok := expectedProviderSectors[dealID]