Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines arxiv.org
Paper formalizes look-ahead bias as temporal non-interference for backtests and trading, with a decidable fragment, naturally.