Feature/sc 005 verification aggregation engine

.github/workflows/ci.yml

@@ -48,6 +48,8 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          submodules: recursive
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:
@@ -68,7 +70,7 @@ jobs:
       - name: Build contracts (forge build)
         run: forge build
       - name: Run Foundry tests (forge test)
-        run: forge test --no-match-path test/invariant --no-match-path test/fuzz
+        run: forge test --no-match-path "test/{invariant,fuzz}/**"
       - name: Run Hardhat tests
         run: npx hardhat test
 
@@ -79,6 +81,8 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          submodules: recursive
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:
@@ -97,7 +101,7 @@ jobs:
         with:
           version: latest
       - name: Run Foundry fuzz tests
-        run: forge test --match-path test/fuzz
+        run: forge test --match-path "fuzz"
 
   invariant-tests:
     name: Invariant Tests
@@ -106,6 +110,8 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          submodules: recursive
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:
@@ -124,7 +130,7 @@ jobs:
         with:
           version: latest
       - name: Run Foundry invariant tests
-        run: forge test --match-path test/invariant
+        run: forge test --match-path "Invariant"
 
   gas-check:
     name: Gas Check
@@ -133,6 +139,8 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          submodules: recursive
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:

.github/workflows/fuzz-tests.yml

@@ -15,6 +15,8 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+      with:
+        submodules: recursive
 
     - name: Install Foundry
       uses: foundry-rs/foundry-toolchain@v1
@@ -40,7 +42,7 @@ jobs:
         forge test --match-contract StakingFuzzTest --fuzz-runs 1000 -vv
 
     - name: Generate coverage report
-      run: forge coverage --report lcov
+      run: forge coverage --ir-minimum --report lcov
 
     - name: Upload coverage to Codecov
       uses: codecov/codecov-action@v3
@@ -54,6 +56,8 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+      with:
+        submodules: recursive
 
     - name: Install Foundry
       uses: foundry-rs/foundry-toolchain@v1
@@ -66,7 +70,7 @@ jobs:
     - name: Run property-based tests
       run: |
         echo "Running property-based tests with model checker..."
-        forge test --match-contract WeightedStakingFuzzTest --no-match-test testFuzz_ -vv
+        forge test --match-contract WeightedStakingFuzzTest -vv
 
     - name: Run invariant tests
       run: |

.github/workflows/gas-check.yml

@@ -36,7 +36,9 @@ jobs:
 
       - name: Compare gas snapshots
         run: |
-          if git diff --quiet .gas-snapshots.json; then
+          if [ ! -f .gas-snapshots.json ]; then
+            echo "No gas snapshot file found. Skipping."
+          elif git diff --quiet .gas-snapshots.json; then
             echo "✓ No gas regression detected"
           else
             echo "⚠ Gas changes detected:"

.gitignore

@@ -17,6 +17,11 @@ node_modules
 # Gas reporter files
 .gas-reports.json
 
+# Foundry files
+/out
+/foundry.lock
+lcov.info
+
 # Hide CI workflow and automation scripts from contributors
 .github/workflows/ci.yml
 create_issues_contract.sh

.gitmodules

@@ -4,3 +4,6 @@
 [submodule "lib/forge-std"]
 	path = lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+[submodule "lib/openzeppelin-contracts-upgradeable"]
+	path = lib/openzeppelin-contracts-upgradeable
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts-upgradeable