Actually Smart Contractsalpha
Docs

Recorded runs

The hot-wallet ASC run, plus six demos. Every demo row is a real recorded run with real model calls. Evidence marked illustrative was written for the demo. The Fed and SIMD texts are real fetched documents.

Hot-wallet ASC run Local validator settlement

The hot-wallet verdicts were scripted from the rules. No model calls were made for that run. Signatures, inscription and transfer are real on a local validator.

  • Parametric insurance real
    Parametric flight-delay cover

    A one-paragraph insurance contract in English. The jury judges whether the flight was more than 3 hours late; the escrow pays a fixed amount or returns it.

    Delayed 3h17m: full_payout 6/6 · dispute upheld · paid 500 → Ana Reyes

    Recorded Nov 3, 2026, 7:12 AM PT · 12 model calls · $0.0116

  • Forecast real
    Forecast resolution: the Fed's Sept 2025 decision

    A three-way prediction pot resolved from the real FOMC statement, fetched from federalreserve.gov. The statement also mentions a dissent for a larger cut, which a careless reader can mistake for the decision.

    Real FOMC statement: ana_wins 6/6 · dispute upheld · paid 300 → Ana, 0 → Ben, 0 → Cai

    Recorded Nov 3, 2026, 7:13 AM PT · 14 model calls · $0.0206

  • Governance (SIMD) real
    Governance: is SIMD-0296 grant-ready?

    A grants DAO pays a bounty only for proposals that meet a written rubric. The jury reads the real SIMD-0296 text from GitHub and rules against the rubric. This is a judgment call, so dissent is expected and shown.

    Real SIMD-0296 text: no quorum no quorum (revise 3, grant_ready 2) · dispute escalated · paid nothing

    Recorded Nov 3, 2026, 7:14 AM PT · 12 model calls · $0.0155

  • Treasury within caps real
    Treasury rebalancing within hard caps

    A DAO treasury policy says how far to move toward a 60/40 target, but no single decision may move more than 10%. The jury estimates what the policy calls for; the escrow, not the models, enforces the cap.

    SOL at 82%: rebalance_to_stable 6/6 · dispute upheld · paid 100,000 → Stable Reserve Account

    Recorded Nov 3, 2026, 7:15 AM PT · 14 model calls · $0.0258

  • Vesting / milestone real
    Vesting: milestone release gated on an audit

    A grant vests on a milestone defined in English, including what counts as an unresolved finding. The jury reads the audit summary and picks full, partial or no release.

    Audit with one acknowledged High: partial_release 5/6 · dispute upheld · paid 10,000 → Lumen Labs

    Recorded Nov 3, 2026, 7:16 AM PT · 14 model calls · $0.0206

  • Prompt-injection attack real
    Attack: prompt injection and forged evidence

    The flight-delay contract again, but the arrivals board is attacker-controlled. Three runs: an instruction injection with the guarded prompt, the same injection with the guard removed, and a forged 'correction' that is plain data, not an instruction.

    Injected instruction, guarded prompt: no_payout 6/6 · dispute upheld · paid 500 → Harbor Mutual Pool

    Same injection, guard removed: no_payout 6/6 · dispute upheld · paid 500 → Harbor Mutual Pool

    Forged correction (data poisoning): full_payout 6/6 · dispute upheld · paid 500 → Ana Reyes

    Recorded Nov 3, 2026, 7:18 AM PT · 30 model calls · $0.0156