Fail-closed evidence
Missing quotes remain missing. Every proxy is labelled, timestamped, and retained for audit.
no silent substitutionA transparent laboratory for testing permanent, deep-out-of-the-money S&P 500 put protection—measured where it matters: the complete portfolio.
Not the Universa algorithm. Public, inspectable strategy proxies only.
196 tests passing
27 strictly typed modules
2013—26 OPRA coverage
0 silent substitutions
The same transparent long-put proxy monetizes three times as the synthetic shock deepens, preserving capital while retaining protection.
Configure a research proxy. These controls set the mandate—not a performance forecast.
The research system preserves unfavourable results, blocks future information, and refuses to invent a quote when the historical record is incomplete.
Missing quotes remain missing. Every proxy is labelled, timestamped, and retained for audit.
no silent substitutionDefinitions, quotes, underlying observations, and rates must all exist at or before the decision.
timestamp ≤ 15:45 ETBuy at the historical ask. Mark and sell at the bid. Charge commission on every contract.
cash ≥ 0 · leverage = falseAcross 985 identical untouched-test dates, all five option-ranking selectors underperformed fixed strike/DTE controls. The permanent hedge stayed in place.
OPRA.PILLAR · definition + cbbo-1m · SPX / SPXW / XSP
Four point-in-time roll dates · raw DBN + normalized Parquet
Broad surface once · exact raw symbols · no repeated full chains
Fixed controls · chronological models · failed selectors retained
$100k portfolio · finite $10k sleeve · whole-contract SPX puts