Nix to export

agora/Agora/Bootstrap.hs

@@ -56,17 +56,18 @@ agoraScripts conf =
 agoraScripts' :: Config -> Either Text [TypedScriptEnvelope]
 agoraScripts' conf =
   sequenceA
-    [ envelope "agora:governorPolicy" governorPolicy
-    , envelope "agora:governorValidator" governorValidator
-    , envelope "agora:stakePolicy" stakePolicy
-    , envelope "agora:stakeValidator" stakeValidator
-    , envelope "agora:proposalPolicy" proposalPolicy
-    , envelope "agora:proposalValidator" proposalValidator
-    , envelope "agora:treasuryValidator" treasuryValidator
-    , envelope "agora:authorityTokenPolicy" authorityTokenPolicy
-    , envelope "agora:noOpValidator" noOpValidator
-    , envelope "agora:treasuryWithdrawalValidator" treasuryWithdrawalValidator
-    , envelope "agora:mutateGovernorValidator" mutateGovernorValidator
+    [ envelope "Governor Policy" governorPolicy
+    , envelope "Governor Validator" governorValidator
+    , envelope "Stake Policy" stakePolicy
+    , envelope "Stake Validator" stakeValidator
+    , envelope "Proposal Policy" proposalPolicy
+    , envelope "Proposal Validator" proposalValidator
+    , envelope "Treasury Validator" treasuryValidator
+    , envelope "Authority Token Policy" authorityTokenPolicy
+    , envelope "NoOp Validator" noOpValidator
+    , envelope "Treasury Withdrawal Validator" treasuryWithdrawalValidator
+    , envelope "Mutate Governor Validator" mutateGovernorValidator
+    , envelope "Always Succeeds Policy" $ ((plam $ \_ _ -> popaque $ pcon PUnit) :: Term s PMintingPolicy)
     ]
   where
     envelope ::

agora/Agora/Linker.hs

@@ -178,6 +178,7 @@ linker = do
             , ("agora:proposalValidator", toRoledScript propVal')
             , ("agora:treasuryValidator", toRoledScript treaVal')
             , ("agora:authorityTokenPolicy", toRoledScript atPol')
+
             , ("agora:noOpValidator", toRoledScript noOpVal')
             , ("agora:treasuryWithdrawalValidator", toRoledScript treaWithdrawalVal')
             , ("agora:mutateGovernorValidator", toRoledScript mutateGovVal')

flake.nix

@@ -53,6 +53,25 @@
             ];
           };
           ci.required = [ "all_onchain" ];
+          packages.export =
+            pkgs.stdenv.mkDerivation {
+              name = "export";
+              src = ./.;
+              buildInput = [
+                self'.packages."agora:exe:agora-scripts"
+              ];
+              buildPhase = ''
+                export PATH=$PATH:${self'.packages."agora:exe:agora-scripts"}/bin
+                agora-scripts file --builder raw
+                agora-scripts file --builder rawDebug
+              '';
+              installPhase = ''
+                NAME=${if self ? rev then self.shortRev else "dirty"}
+                mkdir $out
+                cp raw.json $out/agora-"$NAME".json
+                cp rawDebug.json $out/agora-debug-"$NAME".json
+              '';
+            };
         };
 
       flake.hydraJobs.x86_64-linux = (