Verifiable Strategy — Research Slice
What the published bytecode can and cannot establish.
Research Version 1’s cross-down exit rule is compiled to Vyper on Arbitrum Sepolia with a pinned runtime codehash, so a recorded exit can be recomputed.
Status
Research The committed research artifact records the runtime codehash for reproducible verification.
Verification method
Research A read-only chain call checks a single version 1 cross-down exit and its state; it does not execute trades. Open the calculator
What this proves
Research Matching bytecode and supplied inputs can reproduce that one calculation, but cannot authenticate source prices, historic state or investment returns.