[BUG] - Script context validity interval inequality failure

[CarlosLopezDeLara]

Unable to test for inequality between validity intervals

[Jimbo4350]

Checking for inequality between a POSIXTimeRange in my custom redeemer and the txInfoValidRange fails unexpectedly. We know that the POSIXTimeRange created in my redeemer is a little behind the txInfoValidRange in the ScriptContext so we expect these two values are not equivalent. We further provide evidence for this because asserting their equality causes script execution to fail. Therefore asserting inequality (/=) should result in the plutus script successfully executing however this is not the case, it also fails.

To narrow down where the problem is coming from, I asked @james-iohk to create plutus scripts that check the following conditions (separately): txInfoValidRange txInfo == txInfoValidRange txInfo, txInfoValidRange txInfo /= txInfoValidRange txInfo, txInfoValidRange txInfo /= (txInfoValidRange txInfo + moreTime)

They appear to all work as expected

It appears to be working as I expect. I've tried these txInfoValidRange txInfo == txInfoValidRange txInfo,
V1 ✅
V2 ✅
txInfoValidRange txInfo /= txInfoValidRange txInfo
V1 ✅ correctly fails validation
V2 ✅ correctly fails validation
txInfoValidRange txInfo /= always
V1 ✅
V2 ✅

And for the case of txInfoValidRange txInfo /= (txInfoValidRange txInfo + moreTime)

this validator can be used to prove inequivalence is working by extending the timerange by whatever integer is passed as redeemer. It correctly fails validation when redeemer is 0 and passes when redeemer is greater or less than 0.

Therefore this points to the conversion of POSIXTimeRange to/from Data
via my functions:

customRedeemerToScriptData :: AnyCustomRedeemer -> ScriptData
customRedeemerToScriptData (AnyPV1CustomRedeemer cRedeem) =
  fromPlutusData $ V1.toData cRedeem
customRedeemerToScriptData (AnyPV2CustomRedeemer cRedeem) =
  fromPlutusData $ V2.toData cRedeem

and in transaction construction:

toAlonzoData :: ScriptData -> Alonzo.Data ledgerera
toAlonzoData = Alonzo.Data . toPlutusData

It is strange that all of the other fields in my redeemer behave normally with the exception of POSIXTimeRange. I am unable to diagnose this problem any further without involving ledger and/or plutus

[Jimbo4350]

I'm good to close this because I've asked @james-iohk to try out some more scenarios and we can't reproduce it. My main concern was not being able to pass POSIXTimeRanges via a redeemer but this has been shown to be possible.