test(ci): execute cardano database v2 command verify on a invalid database to check for missing and tampered immutable files

Author: Clément Turmel

.github/workflows/test-client.yml

@@ -273,6 +273,25 @@ jobs:
         shell: bash
         run: .github/workflows/scripts/verify-cardano-db-restoration.sh ./bin/cdb-v2-download-output.txt "${{ matrix.extra_args }}"
 
+      - name: Cardano Database V2 Snapshot / verify tampered and missing immutables from a specific range
+        if: steps.aggregator_capability_unix.outputs.cardano_database_v2_enabled == 'true' || steps.aggregator_capability_windows.outputs.cardano_database_v2_enabled == 'true'
+        shell: bash
+        working-directory: ./bin
+        run: |
+          rm -f v2/db/immutable/00007.chunk 
+          rm -f v2/db/immutable/00007.primary
+          rm -f v2/db/immutable/00007.secondary
+          rm -f v2/db/immutable/00011.chunk
+          echo "tampered chunk 5" > v2/db/immutable/00005.chunk
+          echo "tampered primary 9" > v2/db/immutable/00009.primary
+          echo "tampered outside verification range" > v2/db/immutable/00012.chunk
+          ./mithril-client ${{ steps.prepare.outputs.debug_level }} --origin-tag CI cardano-db verify --end 10 --backend v2 --db-dir v2/db $CARDANO_DATABASE_V2_SNAPSHOT_HASH
+          # Check missing files in immutables_verification_error-*.json
+          jq -r '.["missing-files"] | sort | @csv' immutables_verification_error-*.json | grep -qx '"00007.chunk","00007.primary","00007.secondary"'
+          # Check tampered files in immutables_verification_error-*.json
+          jq -r '.["tampered-files"] | sort | @csv' immutables_verification_error-*.json | grep -qx '"00005.chunk","00009.primary"'
+
+
   test-docker:
     strategy:
       fail-fast: false