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

By Xavier Fonseca

Published 2026-07-06

Everscope rating

1818.9

Relevance to quantitative trading

10 / 10

Implementation complexity

7 / 10

Reproducibility

4 / 5

About this paper

Methodology: Type-and-Effect System for Temporal Non-Interference. Problem types: Software Verification, Formal Methods / Static Analysis, Information Flow Control, Decidability Theory, Type System Design, Program Semantics.

arXiv:2607.04958 · Paper rankings

Open the interactive Everscope explorer for full analysis, charts, and paper battles.