more hardening, tests, CI setup

Author: andsav

.github/workflows/ci.yml

@@ -0,0 +1,24 @@
+name: Test
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  contract-tests:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Install Poetry
+        run: python -m pip install poetry
+
+      - name: Install dependencies
+        run: poetry install --no-interaction --no-root
+
+      - name: Run local contract launch gate
+        run: bash ./scripts/contracts-launch-gate.sh

scripts/contracts-launch-gate.sh

@@ -21,7 +21,9 @@ poetry run pytest -q \
   tests/test_c4_payment_verification.py \
   tests/test_c6_launch_adversarial.py \
   tests/test_c6_redteam_extended.py \
+  tests/test_mbr_topup_and_delete_on_zero.py \
   tests/contracts/test_protocol_config_factory.py \
   tests/contracts/test_market_factory_integration.py \
   tests/test_market_app_contract_runtime.py \
+  tests/test_market_app_contract_v4_runtime.py \
   tests/contracts/test_v4_artifact_surface.py