Add duplicate publisher determinism proof

.forgejo/workflows/ci-gates.yml

@@ -109,6 +109,35 @@ jobs:
           fi
           cargo test -p ec-core -p ec-crypto -p ec-moq -p ec-iroh -p ec-linux-iptv
 
+      - name: Duplicate publisher proof gates
+        shell: bash
+        run: |
+          set -euo pipefail
+          cd .repo
+          if [[ -f "$HOME/.cargo/env" ]]; then
+            . "$HOME/.cargo/env"
+          fi
+          cargo test -p ec-node publisher_proof
+          cargo test -p ec-node archive_convergence
+
+      - name: Distributed simulation gates
+        shell: bash
+        run: |
+          set -euo pipefail
+          cd .repo
+          if [[ -f "$HOME/.cargo/env" ]]; then
+            . "$HOME/.cargo/env"
+          fi
+          cargo test -p ec-node sim_system_
+          cargo run -p ec-node -- sim-system \
+            --fault-profile foundationdb \
+            --seed 1 \
+            --iterations 1024 \
+            --max-system-complete-ms 6000 \
+            --failure-artifact /tmp/ec-sim-system-foundationdb-failure.json \
+            --pretty \
+            > /tmp/ec-sim-system-foundationdb.json
+
       - name: Build web (apps/web)
         shell: bash
         run: |