🔥 Add mint governor

Author: lukacan

.github/workflows/trident-fuzz.yaml

@@ -65,6 +65,8 @@ jobs:
             target: "fuzz_launchpad"
           - name: "fuzz_pbpp"
             target: "fuzz_pbpp"
+          - name: "fuzz_mint_governor"
+            target: "fuzz_mint_governor"
 
     steps:
       - uses: actions/checkout@v4

trident-tests/Cargo.toml

@@ -43,3 +43,7 @@ path = "fuzz_launchpad/test_fuzz.rs"
 [[bin]]
 name = "fuzz_pbpp"
 path = "fuzz_pbpp/test_fuzz.rs"
+
+[[bin]]
+name = "fuzz_mint_governor"
+path = "fuzz_mint_governor/test_fuzz.rs"

trident-tests/README.md

@@ -59,3 +59,8 @@ The invariants focus on whether each instruction preserves the expected launch s
 Exercises the full performance package flow: `initialize_performance_package`, `start_unlock`, `complete_unlock`, authority changes, and proposal/execution of package updates. The suite is focused on the package state machine around oracle-driven unlocking as well as the authority and recipient control paths that can mutate package configuration.
 
 The invariants focus on ensuring unlock only progresses when time and oracle conditions are satisfied, token release goes to the configured recipient path, administrative changes respect the expected authority/recipient permissions, and state transitions remain coherent as the package moves from locked to unlocking to completed or through approved configuration changes.
+
+### fuzz_mint_governor - Mint Authorization And Limits
+Exercises a simplified `mint_governor` flow centered on adding, updating, removing, and using a single mint authority. The suite is focused on two things only: unauthorized access should fail, and minting should respect the configured `max_total` limit for the authorized minter.
+
+The invariants focus on keeping the tracked governor configuration stable after initialization and ensuring the tracked mint-authority PDA either does not exist when removed or matches the expected authorized minter, configured mint cap, and cumulative minted amount when active.

trident-tests/Trident.toml

@@ -11,10 +11,6 @@ program = "../target/deploy/bid_wall.so"
 address = "VLTX1ishMBbcX3rdBWGssxawAo1Q2X2qxYFYqiGodVg"
 program = "../target/deploy/conditional_vault.so"
 
-# [[fuzz.programs]]
-# address = "cpamdpZCGKUy5JxQXB4dcpGPiikHawvSWAd6mEn1sGG"
-# program = "./programs/mainnet/meteora/damm_v2.so"
-
 [[fuzz.programs]]
 address = "FUTARELBfJfQ8RDGhg1wdhddq1odMAJUePHFuBYfUxKq"
 program = "../target/deploy/futarchy.so"
@@ -27,6 +23,10 @@ program = "../target/deploy/launchpad_v7.so"
 address = "pbPPQH7jyKoSLu8QYs3rSY3YkDRXEBojKbTgnUg7NDS"
 program = "../target/deploy/price_based_performance_package.so"
 
+[[fuzz.programs]]
+address = "gvnr27cVeyW3AVf3acL7VCJ5WjGAphytnsgcK1feHyH"
+program = "../target/deploy/mint_governor.so"
+
 
 # ==============================
 # External Programs
@@ -52,10 +52,3 @@ cluster = "m"
 address = "FaA6RM9enPh1tU9Y8LiGCq715JubLc49WGcYTdNvDfsc"
 cluster = "m"
 
-# ==============================
-# External Accounts
-# ==============================
-
-# [[fuzz.accounts]]
-# address = "FaA6RM9enPh1tU9Y8LiGCq715JubLc49WGcYTdNvDfsc"
-# filename = "./accounts/mainnet/meteora/damm-config.json"