v0.1 rc

Author: andsav

.gitignore

@@ -178,3 +178,4 @@ node_modules
 debug_traces/
 .algokit/static-analysis/ # Replace with .algokit/static-analysis/tealer/ to enable snapshot checks in CI
 .algokit/sources
+.hermes

README.md

@@ -48,6 +48,23 @@ tests/               # 30+ test files: lifecycle, adversarial, LMSR, disputes
 tla/                 # TLA+ formal specifications and model checker configs
 ```
 
+## Launch gate
+
+The canonical contracts launch gate lives in [scripts/contracts-launch-gate.sh](scripts/contracts-launch-gate.sh).
+
+It rebuilds the three shipped contracts and runs the launch-critical suites, including:
+
+- LMSR math and no-free-money/property coverage
+- protocol/factory and market runtime regressions
+- adversarial launch/payment coverage
+- artifact surface checks
+
+Run it from the repo root with:
+
+```bash
+bash ./scripts/contracts-launch-gate.sh
+```
+
 ## LMSR pricing
 
 The protocol uses a Logarithmic Market Scoring Rule for automated market making. Two implementations exist:

scripts/contracts-launch-gate.sh

@@ -0,0 +1,27 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
+
+cd "${ROOT_DIR}"
+
+echo "==> Building contracts"
+poetry run python -m smart_contracts build protocol_config
+poetry run python -m smart_contracts build market_app
+poetry run python -m smart_contracts build market_factory
+
+echo "==> Running contracts launch gate"
+poetry run pytest -q \
+  tests/test_hyp_lmsr_math.py \
+  tests/test_hyp_bond_settlement.py \
+  tests/test_hyp_market_lifecycle.py \
+  tests/test_c4_property_invariants.py \
+  tests/test_lmsr_math.py \
+  tests/test_lmsr_properties.py \
+  tests/test_c4_payment_verification.py \
+  tests/test_c6_launch_adversarial.py \
+  tests/test_c6_redteam_extended.py \
+  tests/contracts/test_protocol_config_factory.py \
+  tests/contracts/test_market_factory_integration.py \
+  tests/test_market_app_contract_runtime.py \
+  tests/contracts/test_v4_artifact_surface.py