Remove address check for state thread token output

agora/Agora/Effect/GovernorMutation.hs

@@ -27,7 +27,7 @@ import Agora.Governor (
  )
 import Agora.Proposal (PProposalId)
 import Agora.SafeMoney (AuthorityTokenTag, GovernorSTTag)
-import Agora.Utils (pfindInputWithStateThreadToken, pfindOutputWithStateThreadTokenAndAddress)
+import Agora.Utils (pfindInputWithStateThreadToken, pfindOutputWithStateThreadToken)
 import Generics.SOP qualified as SOP
 import Plutarch.Api.V1 (PCurrencySymbol)
 import Plutarch.Api.V2 (
@@ -204,8 +204,6 @@ mutateGovernorValidator =
 
         governorRef = pfield @"outRef" # governorInput
 
-        governorInputAddress = pfield @"address" #$ pfield @"resolved" # governorInput
-
         governorInputDatum =
           ptrace "Resolve governor input datum" $
             pfromData $
@@ -256,9 +254,8 @@ mutateGovernorValidator =
         governorOutput =
           passertPJust
             # "No governor output found"
-            #$ pfindOutputWithStateThreadTokenAndAddress
+            #$ pfindOutputWithStateThreadToken
             # pfromData gstSymbol
-            # governorInputAddress
             # pfromData txInfoF.outputs
 
         governorOutputDatum =

agora/Agora/Utils.hs

@@ -21,7 +21,7 @@ module Agora.Utils (
   puncurryTuple,
   psubtractSortedValue,
   pfindInputWithStateThreadToken,
-  pfindOutputWithStateThreadTokenAndAddress,
+  pfindOutputWithStateThreadToken,
   pisSubValueOf,
 ) where
 
@@ -31,7 +31,6 @@ import Plutarch.Api.V1.AssocMap qualified as AssocMap
 import Plutarch.Api.V1.Scripts (PDatumHash (PDatumHash))
 import Plutarch.Api.V2 (
   AmountGuarantees (NoGuarantees),
-  PAddress,
   PCurrencySymbol,
   PMaybeData (PDNothing),
   PTuple,
@@ -203,19 +202,17 @@ pfindInputWithStateThreadToken = plam $ \tokenSymbol inputs ->
     # inputs
 
 {- | Find an output containing exactly one token with the given currency symbol,
-    and with a PAddress that matches the given one.
 
      @since 1.0.0
 -}
-pfindOutputWithStateThreadTokenAndAddress ::
+pfindOutputWithStateThreadToken ::
   forall tag.
   ClosedTerm
     ( PTagged tag PCurrencySymbol
-        :--> PAddress
         :--> PBuiltinList PTxOut
         :--> PMaybe PTxOut
     )
-pfindOutputWithStateThreadTokenAndAddress = plam $ \tokenSymbol address outputs ->
+pfindOutputWithStateThreadToken = plam $ \tokenSymbol outputs ->
   pfind
     # ( plam $ \output ->
           ( ptaggedSymbolValueOf
@@ -223,7 +220,6 @@ pfindOutputWithStateThreadTokenAndAddress = plam $ \tokenSymbol address outputs
               # (pfield @"value" # output)
               #== 1
           )
-            #&& (address #== (pfield @"address" # output))
       )
     # outputs