TY - RPRT TI - Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines AU - Xavier Fonseca PY - 2026 UR - https://arxiv.org/abs/2607.04958 ID - 2607.04958 ER -