disable consumer initiated slashing + fix slash acks bug

tests/difference/core/model/src/model.ts

@@ -422,6 +422,13 @@ class CCVProvider {
   };
 
   onReceive = (data: PacketData) => {
+
+    // Drop slash packets for double-sign infraction
+    if ('isDowntime' in data && ! data.isDowntime) {
+      this.m.events.push(Event.RECEIVE_DOWNTIME_SLASH_REQUEST);
+      return;
+    }
+
     /*
     TODO: tidy up before merging to main
     This is some quick prototyping to get the tests passing
@@ -458,36 +465,25 @@ class CCVProvider {
   };
 
   onReceiveSlash = (data: Slash) => {
-    let infractionHeight = undefined;
-
-    if (data.vscID === 0) {
-      infractionHeight = this.initialHeight;
-    } else {
-      infractionHeight = this.vscIDtoH[data.vscID];
-    }
 
+    // Check validator status
     if (this.m.staking.status[data.val] === Status.UNBONDED) {
       this.m.events.push(Event.RECEIVE_SLASH_REQUEST_UNBONDED);
       return;
     }
 
-    if (data.isDowntime) {
-      this.m.events.push(Event.RECEIVE_DOWNTIME_SLASH_REQUEST);
-    } else {
-      this.m.events.push(Event.RECEIVE_DOUBLE_SIGN_SLASH_REQUEST);
-    }
+    this.m.events.push(Event.RECEIVE_DOWNTIME_SLASH_REQUEST);
+
 
     if (this.tombstoned[data.val]) {
       return;
     }
 
-    this.m.staking.slash(data.val, infractionHeight);
+    // jail validator
     this.m.staking.jailUntil(data.val, this.m.t[P] + JAIL_SECONDS);
-    if (data.isDowntime) {
-      this.downtimeSlashAcks.push(data.val);
-    } else {
-      this.tombstoned[data.val] = true;
-    }
+    // update slash acks
+    this.downtimeSlashAcks.push(data.val);
+
   };
 
   afterUnbondingInitiated = (opID: number) => {

tests/e2e/common.go

@@ -611,38 +611,3 @@ func (s *CCVTestSuite) setupValidatorPowers() {
 	}
 	s.Require().Equal(int64(4000), stakingKeeper.GetLastTotalPower(s.providerCtx()).Int64())
 }
-
-// getHeightOfVSCPacketRecv returns the height of when the consumer received a VSCPacket.
-// If expectedMaturityTimesLen > 0, then it's expected to find expectedMaturityTimesLen
-// maturity times (i.e., VSCPakcets not yet matured). The vscID of the VSCPacket is retrieved
-// from the maturity time with maturityTimesIndex.
-func (s *CCVTestSuite) getHeightOfVSCPacketRecv(
-	bundle icstestingutils.ConsumerBundle,
-	expectedMaturityTimesLen int,
-	maturityTimesIndex int,
-	msgAndArgs ...interface{},
-) (height uint64) {
-	maturityTimes := bundle.GetKeeper().GetAllPacketMaturityTimes(bundle.GetCtx())
-	if expectedMaturityTimesLen > 0 {
-		s.Require().Len(
-			maturityTimes,
-			expectedMaturityTimesLen,
-			fmt.Sprintf("unexpected number of maturity times; %s", msgAndArgs...),
-		)
-	}
-	vscID := maturityTimes[maturityTimesIndex].VscId
-	hToVSCids := bundle.GetKeeper().GetAllHeightToValsetUpdateIDs(bundle.GetCtx())
-	found := false
-	for _, hToVSCid := range hToVSCids {
-		if hToVSCid.ValsetUpdateId == vscID {
-			height = hToVSCid.Height
-			found = true
-			break
-		}
-	}
-	s.Require().True(
-		found,
-		fmt.Sprintf("cannot find height mapped to vscID; %s", msgAndArgs...),
-	)
-	return
-}