{"as_of":"2026-08-23T13:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fca13d72fc66bb7d049ca087e0b2c341c4e369acf61c2ec72fffac8ca77823df","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T10:55:52.903974Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.04958/citation-record","integrity":"/paper/2607.04958/integrity","json":"/paper/2607.04958/citation-record.json","paper":"/paper/2607.04958"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Fernández-Moctezuma, Reuven Lax, Sam McVeety, Daniel Mills, Frances Perry, Eric Schmidt, and Sam Whittle","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:7978692cdc2a519a70e624ccaa0adbc318a21cfb5ced4ee41c024a2e609da0b4","observation_id":"a5e283d2-b4cc-4a87-8eaf-284a1715bbaf","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:313f9455659a9df947e6329ae6c556bcc4eb65a29535da0fdd2983831b72101e","observation_id":"9b43618a-4354-4bbb-a095-fab6ee65d782","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3502851","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Software Engineering and Methodology","work_id":"babdb2a5-a913-4fe0-8b81-182aecba1a9d","year":2022},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:ad11a55d49b39b8ef4c42ab02864e40b8250c6d423b9d186c3a83eb6207c36be","observation_id":"d824664c-1588-4e09-9bc9-cd84bbaecb06","resolution":{"observed_at":"2026-07-11T10:57:58.095111Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:18.596448+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:18.596448+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Bailey, Jonathan M","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:62438ed1285baff5e187d640558393fe3c689ed4ecf34f6fed7bf11325a322d1","observation_id":"4de0fb23-9652-4fe1-8ba0-5eef1ca01500","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Bailey, Jonathan M","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:76a932b9f57ce328d65cb2ea1c50f27312efdce6cad5764fa2e1388f2ddfa1d5","observation_id":"626371d0-347a-4b8b-958f-b8f8e6a08cef","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Bailey and Marcos López de Prado","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:73139f3d00927aaaf901e8156b6e5a758d264f93acb2d56f03779253940fc8df","observation_id":"49ced79f-900a-4490-be54-e18357c48873","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:13f438c4ec6d6f92f383d95292f7b91c6d53440ffeaea41b7d3e3f3cb5f3b4a1","observation_id":"92972f8c-7cc3-481a-9b9a-29b21ba8b381","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Brown, William Goetzmann, Roger G","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:dbffd2761b03ed587e1f16a1a242c71c51851dc463995eeed53fcd8ec7283718","observation_id":"7a64bf10-938c-4d1c-9c98-42f2e2c12394","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:e5ea9d58075f3c180c4edfc21874f491823cb961c5e239d334ede199fe508f87","observation_id":"99a63f58-7491-4f66-95e6-454fa9da6bf9","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:49c09641f45245574b824e00130f7f5a77432933f0b9e2626684422b0e6ea458","observation_id":"710a8a4d-96b7-4440-bda1-8b8f87d9fa9e","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Denning and Peter J","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:b9f57aafeefb6a6f0b618de899d50048a2f746262e67b77fea512005aca27cf8","observation_id":"b9017aff-f84b-4b6b-81f0-3060a8239568","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.05594","doi":"10.48550/arxiv.2602.05594","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Open MIND","work_id":"69fa0f2d-98b7-4a90-8ac1-211745f62d3a","year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:dd69b65ab5e031d78ec4650d7a46f04e555fb6ab44c8677301c83f29edad994f","observation_id":"378268b5-f3b4-4fd7-8657-de77a47f5fff","resolution":{"observed_at":"2026-07-11T10:57:58.110858Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:20.471102+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:20.471102+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.27462","last_updated":"2026-06-25T18:35:30Z","snapshot_observed_at":"2026-08-12T16:49:44.624726Z","submitted_at":"2026-06-25T18:35:30Z","title":"The Decision Geometry of Covariance Estimation for the Global Minimum-Variance Portfolio under Heavy Tails","version":1},"cited_work":{"arxiv_id":"2606.27462","doi":"10.48550/arxiv.2606.27462","metadata_source":"pith","pith_arxiv_id":"2606.27462","snapshot_observed_at":"2026-07-11T12:15:01.025339Z","title":"The Decision Geometry of Covariance Estimation for the Global Minimum-Variance Portfolio under Heavy Tails","venue":"stat.ML","work_id":"0fbdd65a-4355-4546-9781-18ee8fd64c6b","year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"cited_paper":"/paper/2606.27462","citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:8fb19a51bd7cb2a3c3a18b04e5b4bfed0c3c0c6a311c07ac104461dcdbc609fa","observation_id":"2a1a07e0-1c71-42d2-992b-7cd5d2b1557f","resolution":{"observed_at":"2026-07-11T10:57:58.132064Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:20.697301+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:20.697301+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:c044ae74db351e01903828bb8eab849a2d4816c156c0476ab2c28312c623a2ca","observation_id":"89aafe09-6e1b-4b1c-b26c-d35a330dacf7","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2005.05.046","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Electronic Notes in Theoretical Computer Science","work_id":"464d0cfc-f9ce-4170-bd20-3237bea87dbb","year":2007},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:c1056e7a74697d1e1cd6ff9b7f5a75d8d62425504918ae211b00c6466c359466","observation_id":"bf0e6ad7-1a8c-4225-b707-f62a08808fb4","resolution":{"observed_at":"2026-07-11T10:57:58.121595Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:21.200977+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:21.200977+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Gifford and John M","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:d83cb0ea4bb441865aac5039f87cc8c72da7db1d605e27970646ad6eae5da26e","observation_id":"bdfb12f5-2dff-49c0-bcce-94e20d506e38","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Goguen and José Meseguer","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:0c4ddbd44f7d52edaae1eb3397d2eae41c127421924e541224874019fbfd0882","observation_id":"3f0e0750-e87e-4e38-b8c8-5571c86ec48b","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:a5dd6f0474e40ed1ef8447f58ab0ba3a43c57176f60f53a7b02a3863389531d3","observation_id":"d411f9bc-8d96-4fd8-947e-fc0bc1898dde","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:1c6a599ffb64eb39ea381549c18cd61f2c0fd33009d65cda2816b947d7afac03","observation_id":"112dd4bd-ab89-406b-b6b7-972972bd4f4f","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19364","last_updated":"2025-07-29T21:15:27Z","snapshot_observed_at":"2026-08-19T22:58:10.555214Z","submitted_at":"2024-10-25T08:04:01Z","title":"The Impact of Train-Test Leakage on Machine Learning-based Android Malware Detection","version":2},"cited_work":{"arxiv_id":"2410.19364","doi":"10.48550/arxiv.2410.19364","metadata_source":"pith","pith_arxiv_id":"2410.19364","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"The Impact of Train-Test Leakage on Machine Learning-based Android Malware Detection","venue":"cs.CR","work_id":"7f2c88a7-1791-41d6-86f4-0eddc5616abf","year":2024},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"cited_paper":"/paper/2410.19364","citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:8090711ac22b8e0edcea5e7ddf4ddd520a0f6561dc242ede506502b7cf31bc21","observation_id":"3a4dea39-31eb-494a-87f5-5101f1c09c68","resolution":{"observed_at":"2026-07-11T10:57:58.103993Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:22.156528+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:22.156528+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Lucassen and David K","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:6da40d72679014749adece5750cc66ff676af27af49b3e59adfc68d65ea30f2b","observation_id":"3016fa60-8f55-467f-a5d0-79fe71e70555","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.27539","doi":"10.48550/arxiv.2603.27539","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"9e5a2845-5dc2-4b43-ba18-74addfb26d75","year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:1295ef52e4b5fe9f01e7f5343138ce2207334775dd92a5a6e497e6e1c306a9d7","observation_id":"7b81d0ae-851d-48d9-b3be-b04800438baa","resolution":{"observed_at":"2026-07-11T10:57:58.046831Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:22.422096+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:22.422096+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-03811-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"1999.Principles of Program Analysis","venue":null,"work_id":"5ffd5c35-5b33-438f-b6ce-0b394b208ba7","year":1999},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:2e6d543c5cd9df00fc0b0262554915d44d763fa125a5fc08631c2a4b99de5b00","observation_id":"d0daea16-0473-4ac6-95ba-74d696767582","resolution":{"observed_at":"2026-07-11T10:57:57.995014Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:22.687256+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:22.687256+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"1992.Noninterference, Transitivity, and Channel-Control Security Policies","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:b4574326e04dc95c0a38448024268cd7a8c861e64519ea61cae335ef53637f20","observation_id":"d2b745d3-8a51-4319-a5fe-d26c9706ecb8","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:ce075ab3aabd73455579e87e021aabd8f940b9f79d30c5ed93697ea65d66bf58","observation_id":"8664fec9-1a08-4dfa-9f70-2d46badf91f4","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:20af118498531ba15a89f412bbbad7323028800c0a7c2acb47ac73236a233b3e","observation_id":"a767df1c-4341-4b07-99bf-57e5db0e5fce","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.23977","doi":"10.48550/arxiv.2512.23977","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"3c5667c7-d4a6-4e73-851d-a18347af4017","year":2025},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:131b15f4ea3610fbc2db6757b317246d819a014f17263a3ed727ac53c2591649","observation_id":"188c4225-27a6-4d8c-8feb-2b0c27aea990","resolution":{"observed_at":"2026-07-11T10:57:58.017674Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:23.473455+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:23.473455+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":"Sarkar and Keyon Vafa","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:a3d947a528cb3d053177fd888e96e0e8618fae7e4ba7f29452ae273833f329db","observation_id":"54af8a5d-d3ee-477d-af53-b377182bc39b","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:2de9b34fb6312c756dc369ea8d9c4a66b61ba84a138ba2f84bc33594b836dcce","observation_id":"09262496-3a25-4f86-882e-a5111229cc81","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8244.150825","doi":"10.1145/1508244.1508258","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InProceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’09)","venue":null,"work_id":"469d4130-b19e-466f-8dc4-19866824bafc","year":null},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:9a54ad0a487d356527207e440e9f692e17261ec609202ff89cff0cec64b71372","observation_id":"9b03b58e-d2f9-4418-8086-b57a4d661bc6","resolution":{"observed_at":"2026-07-11T10:57:58.065051Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:23.724291+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:23.724291+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:1d300af85e07be2907c424f76418b257565d34b03bfe8571833765e628533105","observation_id":"97ff642a-8dc1-4f3e-8f07-052dce29835a","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.19337","last_updated":"2026-05-19T04:20:07Z","snapshot_observed_at":"2026-08-15T12:44:10.936419Z","submitted_at":"2026-05-19T04:20:07Z","title":"Agentic Trading: When LLM Agents Meet Financial Markets","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.19337","snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"cited_paper":"/paper/2605.19337","citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:b9703b4bd1102ccce77fe784578562033244b51973b9268487adfb0c886daa4f","observation_id":"17eedafd-7314-489f-8e08-cd52d278d0d1","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.08285","last_updated":"2026-06-06T18:14:29Z","snapshot_observed_at":"2026-08-15T15:29:17.807473Z","submitted_at":"2026-06-06T18:14:29Z","title":"Beyond Agent Architecture: Execution Assumptions and Reproducibility in LLM-Based Trading Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.08285","snapshot_observed_at":"2026-07-11T10:55:52.903974Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"cited_paper":"/paper/2606.08285","citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:4b26bb696e696e3693c0cf78a49880e8d06039d367c8fbaf9a517a7eee80958f","observation_id":"f49d4b55-6aec-41b0-9486-ce6b11b5ca3f","resolution":{"observed_at":"2026-07-11T10:55:52.903974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.16895","last_updated":"2026-05-16T09:14:35Z","snapshot_observed_at":"2026-08-20T07:33:50.526994Z","submitted_at":"2026-05-16T09:14:35Z","title":"The Alpha Illusion: Reported Alpha from LLM Trading Agents Should Not Be Treated as Deployment Evidence","version":1},"cited_work":{"arxiv_id":"2605.16895","doi":"10.48550/arxiv.2605.16895","metadata_source":"pith","pith_arxiv_id":"2605.16895","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"The Alpha Illusion: Reported Alpha from LLM Trading Agents Should Not Be Treated as Deployment Evidence","venue":"cs.CE","work_id":"dab53d60-4ee5-4ff5-8294-2f6f98343717","year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"cited_paper":"/paper/2605.16895","citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:06ce41a0344d2ad154fb42d5cf6f8f83a0ed8b19d0c76bfe3d332943d9faf0cc","observation_id":"07895e0b-7659-4153-acda-a4b1baf29f0b","resolution":{"observed_at":"2026-07-11T10:57:58.077245Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:24.747779+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:24.747779+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.23959","last_updated":"2026-05-12T01:28:10Z","snapshot_observed_at":"2026-08-15T04:40:14.399523Z","submitted_at":"2026-05-12T01:28:10Z","title":"When Alpha Disappears: A One-Switch Benchmark for Decision-Time Leakage in Financial Backtests","version":1},"cited_work":{"arxiv_id":"2605.23959","doi":"10.48550/arxiv.2605.23959","metadata_source":"pith","pith_arxiv_id":"2605.23959","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"When Alpha Disappears: A One-Switch Benchmark for Decision-Time Leakage in Financial Backtests","venue":"q-fin.RM","work_id":"f7d16ad4-1a8a-4c17-ab06-99919472a06e","year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"cited_paper":"/paper/2605.23959","citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:3f5759938d5af50ada0253e63136cb42ae61645fe23bdde9ab6edea1b6a45c03","observation_id":"9537a1ea-bf5b-4ad7-b06c-2700d8e235df","resolution":{"observed_at":"2026-07-11T10:57:58.089320Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:24.975912+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:24.975912+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.17234","last_updated":"2026-05-25T04:53:29Z","snapshot_observed_at":"2026-08-19T15:15:17.350031Z","submitted_at":"2026-02-19T10:28:00Z","title":"All Leaks Count, Some Count More: Interpretable Temporal Contamination Detection and Mitigation in LLM Backtesting","version":2},"cited_work":{"arxiv_id":"2602.17234","doi":"10.48550/arxiv.2602.17234","metadata_source":"pith","pith_arxiv_id":"2602.17234","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"All Leaks Count, Some Count More: Interpretable Temporal Contamination Detection and Mitigation in LLM Backtesting","venue":"cs.AI","work_id":"25c4a1bf-223f-430b-a38a-08b7f3a63549","year":2026},"citing_paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-11T10:55:52.903974Z"},"links":{"cited_paper":"/paper/2602.17234","citing_paper":"/paper/2607.04958"},"observation_digest":"sha256:fb2ba9660b65d6d214d1f86848cbf8e71efa71f3d66ef3adb762b5507390ec91","observation_id":"3d5d87ef-a53b-41ec-a971-30f652a7a4bb","resolution":{"observed_at":"2026-07-11T10:57:58.139549Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:25.244023+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:25.244023+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.04958","last_updated":"2026-07-06T11:42:26Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-20T20:24:33.679821Z","submitted_at":"2026-07-06T11:42:26Z","title":"Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":12,"verified_fuzzy":0},"total_outbound_references":36},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2607.04958."}