Actually Smart Contractsalpha
Evidence

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.