A track record judged by the MIZAN gate inside a zero-knowledge proof: returns after costs, the out-of-sample split and the overfitting corrections recomputed in-circuit, the strategy never revealed. Anyone can verify this credential offline. Every verdict on the registry is published, including this one.
Strategy-archetype sweep, one control asset: long/short SMA 50/200 (short-capable golden cross) on the S&P — refused. Sharpe 0 against the 1.20 bar. Twelve archetypes exercising every DSL feature — indicators, long/short, regime gates, vol targeting, ensembles, crash brakes, leverage — twelve refusals. The gate does not care how the strategy is shaped.
Download the bundle, run the verifier with the network off. The verdict recomputes on your machine in about 81 ms.
SPY · daily OHLC · 1997-12-31→2026-07-24 (7,184 bars) · published for offline verification2026-08-09T00:00:00ZFAIL — published anywayhonest_failv11 · both-schools validation-completelive5a7dae3776c737ca5a7dae3776c737ca957a4af562deb218cda6904d4c457fa9c92401f39860b959Aug 10 08:54:58 2026 GMTpending confirmationd05c76d2fb0724d3977ece83c8473b68926d5b2fad835f426a3c243eff8c87133c92014009e2b976aefc51fa6d8c6f4176e47e80fb5fdd9dc78a266163728fc717f878bf4d24bda7d7e90d09c9345418b9c77ec4ac866df57ac76eff8ee44c5f26220 KBMIZANWhat a verdict means: what a PASS asserts · what we refuse to certify · reading a verdict · the VTR-1 standard.