One proof-first demo for Alpaca AI Trading Agents judges

Canonical portal: https://13forge-proof-portal.vercel.app/demo-portal/

Repository: https://github.com/deveraux-dev/AlpacaCOMP

Selected Option

Use the proof portal as the judge-facing product surface, with the pitch video and technical demo as supporting links. The portal is direct, static, receipt-backed, and focused on the feature that matters: an AI-proposed options trade cannot reach Alpaca until deterministic Rust gates allow it.

What judges see firstA replayable unsafe-trade refusal, not a landing page.

Current backend receipt159/159 tests: 110 forge-gate + 36 forge-daemon + 13 example tests

Demo Flow

IntroAI suggests the trade; Rust decides whether execution is allowed.

Replay7 deterministic gates, with GovernorVent checked before every other refusal path.

VerdictThe max-loss gate refuses before the Alpaca submission step is reached.

ReceiptsShow the risk equation, typed refusal, price-sign test, and claim map.

Proof Receipt

Result: refused before Alpaca

DispatchRefusal::MaxLossVeto

$2,525 maximum loss is above the $2,000 account ceiling, so the broker process is not reached.

Print Checklist

Print this packet and the live portal in light mode.
Use the README link as the public source of truth.
Introduce yourself as a collaborator on the UI/UX, demo portal, README, and printable proof materials.
Bring `docs/CLAIM_PROOF_MAP.md` when judges ask for exact receipt mapping.
Do not present alternate prototypes as separate demos.
Do not describe win rate, profit factor, or latency as verified without fresh receipts.