{"as_of":"2026-08-21T13:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:398b84edc9d5823e7d986aea5b5fc2585eb1df57a1b4e56e21e05f743335ae0b","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:06:31.761128Z","state":"measured"},{"denominator":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-17T04:31:39.927726Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-17T04:34:02.180068Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"cited_work":{"arxiv_id":"2507.11897","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.11897","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hellerstein","venue":null,"work_id":"ef9bac69-034c-4aa9-b61c-63e772be5cd6","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"cited_paper":"/paper/2507.11897","citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:c5501508146513638cb023154325475398279c50bf91a653c34cc61f16d09c71","observation_id":"c0ca1ba0-5a48-4b2a-9138-7e445232ea71","resolution":{"observed_at":"2026-05-17T04:34:02.181963Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.11897/citation-record","integrity":"/paper/2507.11897/integrity","json":"/paper/2507.11897/citation-record.json","paper":"/paper/2507.11897"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2306.10585","last_updated":"2023-06-18T15:41:20Z","snapshot_observed_at":"2026-08-16T15:23:01.547274Z","submitted_at":"2023-06-18T15:41:20Z","title":"Optimizing Stateful Dataflow with Local Rewrites","version":1},"cited_work":{"arxiv_id":"2306.10585","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.10585","snapshot_observed_at":"2026-08-06T17:06:32.062884Z","title":"Optimizing Stateful Dataflow with Local Rewrites","venue":"cs.PL","work_id":"405ece21-5040-402d-897a-6322d4bd135d","year":2023},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.488903Z"},"links":{"cited_paper":"/paper/2306.10585","citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:4732d8f2534d9485f915eebee7cc620b26372608f2203f1ef770f800e95646bc","observation_id":"2f000735-49f6-4db1-81ae-2bf4efd196dc","resolution":{"observed_at":"2026-08-06T17:06:32.158700Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.19203","last_updated":"2023-05-30T16:49:10Z","snapshot_observed_at":"2026-08-18T14:01:51.388699Z","submitted_at":"2023-05-30T16:49:10Z","title":"Colored E-Graph: Equality Reasoning with Conditions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.19203","snapshot_observed_at":"2026-08-06T17:06:31.544976Z","title":"arXiv:2305.19203 [cs.PL] Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.544976Z"},"links":{"cited_paper":"/paper/2305.19203","citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:4af2464b05b0a76b2cf63477eedb11a744f1800ae385d09295c724b040ff7c77","observation_id":"fc5e44c6-8f7b-4a79-8111-ee1ddddebf0d","resolution":{"observed_at":"2026-08-06T17:06:31.544976Z","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-08-06T17:06:31.761128Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.761128Z"},"links":{"citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:af2641ebfef7053730b23db52f2bfaf52c4e87761e07a6204663c99dfdb33087","observation_id":"cd51dedc-f44b-4738-a620-2875a67cc310","resolution":{"observed_at":"2026-08-06T17:06:31.761128Z","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":"1993.34406","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:06:32.505167Z","title":"InProceedings of IEEE 9th International Conference on Data Engineering","venue":null,"work_id":"7343992b-e0ed-42b4-90e1-46f312b3f110","year":1993},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.365015Z"},"links":{"citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:91639c676c2af7c64d98bca60c96de5a20bcf83459b3944a78cd9ab243b28cf8","observation_id":"3335a7d7-f671-4c1b-9a3b-f63f5d783c27","resolution":{"observed_at":"2026-08-06T17:06:32.533410Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:06:32.773541Z","title":"IEEE Data Eng","venue":null,"work_id":"0eba9da6-fbfa-4cef-85b6-8a902e3bed2c","year":1995},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.288630Z"},"links":{"citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:67ac0da7853cdedbbf3b041c0b7cec77f3392c1fccc073055ab4dd4c056adae6","observation_id":"548c0d3b-378b-4eba-ae1f-978a4dcd41b8","resolution":{"observed_at":"2026-08-06T17:06:32.850883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"cs/0701155","last_updated":"2007-01-25T22:39:37Z","snapshot_observed_at":"2026-08-15T10:49:37.436206Z","submitted_at":"2007-01-25T22:39:37Z","title":"Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals","version":1},"cited_work":{"arxiv_id":"cs/0701155","doi":null,"metadata_source":"pith","pith_arxiv_id":"cs/0701155","snapshot_observed_at":"2026-08-06T17:06:32.280708Z","title":"Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals","venue":"cs.DB","work_id":"9d139f9b-7120-46d4-add4-811925029c71","year":2007},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.443503Z"},"links":{"cited_paper":"/paper/cs/0701155","citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:f502f4ddbf27f4a425b3e77f1850f7533f5a0fba876d7002a2a6851762531184","observation_id":"8974231f-9f9b-4ee7-8598-c35150c37b95","resolution":{"observed_at":"2026-08-06T17:06:32.336042Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08-06T17:06:31.601337Z","title":"In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Savannah, GA, USA) (POPL ’09)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.601337Z"},"links":{"citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:355ab038578e8d4750e2bc9542206dca2f4965b9bf5b00e35a596a17019ab302","observation_id":"60003585-8c64-4bb4-9afa-8458446446c4","resolution":{"observed_at":"2026-08-06T17:06:31.601337Z","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-08-06T17:06:31.680865Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.680865Z"},"links":{"citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:1624ba168e8a6c5b8db962065ee17350fd1ba712aec8f241fa62376bc7ffcec8","observation_id":"8ca6dacb-6ff3-482d-a686-915e5198292e","resolution":{"observed_at":"2026-08-06T17:06:31.680865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.01839","last_updated":"2023-03-03T10:46:19Z","snapshot_observed_at":"2026-08-16T15:51:05.792279Z","submitted_at":"2023-03-03T10:46:19Z","title":"Automating Constraint-Aware Datapath Optimization using E-Graphs","version":1},"cited_work":{"arxiv_id":"2303.01839","doi":null,"metadata_source":"pith","pith_arxiv_id":"2303.01839","snapshot_observed_at":"2026-08-06T17:06:32.662785Z","title":"Automating Constraint-Aware Datapath Optimization using E-Graphs","venue":"cs.AR","work_id":"9711b188-8f99-47b3-a301-b9f24b5465ae","year":2023},"citing_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T17:06:31.244703Z"},"links":{"cited_paper":"/paper/2303.01839","citing_paper":"/paper/2507.11897"},"observation_digest":"sha256:cd3df0e65660e3f26d5edc4822fe363adf5de8739691d6140018f9de80123d84","observation_id":"076df223-8823-4f44-bf82-87aedeefee82","resolution":{"observed_at":"2026-08-06T17:06:32.716934Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-20T10:24:26.865978Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":1,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":9},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 1 inbound Pith citation observation for arXiv:2507.11897."}