ci: remove temporary gate proof workflows

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

.github/workflows/tmp-gate-proof.yml

@@ -1,25 +0,0 @@
-name: tmp-gate-proof
-on:
-  push:
-    branches: [ "test/ci-test-suite" ]
-permissions:
-  contents: read
-jobs:
-  tests-red:
-    if: github.event_name != 'pull_request'
-    uses: ./.github/workflows/tmp-proof-fail.yml
-  publish-red:
-    needs: tests-red
-    if: ${{ !cancelled() && (github.event_name == 'pull_request' || needs.tests-red.result == 'success') }}
-    runs-on: ubuntu-latest
-    steps:
-      - run: echo PUBLISH-RED-RAN
-  tests-green:
-    if: github.event_name != 'pull_request'
-    uses: ./.github/workflows/tmp-proof-ok.yml
-  publish-green:
-    needs: tests-green
-    if: ${{ !cancelled() && (github.event_name == 'pull_request' || needs.tests-green.result == 'success') }}
-    runs-on: ubuntu-latest
-    steps:
-      - run: echo PUBLISH-GREEN-RAN

.github/workflows/tmp-proof-fail.yml

@@ -1,10 +0,0 @@
-name: tmp-proof-fail
-on:
-  workflow_call:
-permissions:
-  contents: read
-jobs:
-  t:
-    runs-on: ubuntu-latest
-    steps:
-      - run: exit 1

.github/workflows/tmp-proof-ok.yml

@@ -1,10 +0,0 @@
-name: tmp-proof-ok
-on:
-  workflow_call:
-permissions:
-  contents: read
-jobs:
-  t:
-    runs-on: ubuntu-latest
-    steps:
-      - run: true