Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines

前瞻偏差（Look-ahead bias）是回测和机器学习评估中最常见的陷阱：它使用了决策时刻之后的信息来优化该时刻的决策，导致系统在部署时表现远不如回测。当前业界主要通过特定构造的经验规则和经验性检测器来管理这一问题，但这些方法仅在单一通

历史摘要 · 未重新核验 · arXiv cs.CR