{"as_of":"2026-08-08T02:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f6689a00c27f1a04287eea173abe1a06f7876b60b937965b23a2a7d74708dfd0","coverage":[{"denominator":4,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:32:27.453757Z","state":"measured"},{"denominator":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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-10T03:14:33.417934Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"cited_work":{"arxiv_id":"2508.14725","doi":"10.48550/arxiv.2508.14725","metadata_source":"arxiv_reference","pith_arxiv_id":"2508.14725","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume =","venue":"ArXiv.org","work_id":"5acaa862-8f91-4d49-a148-e7ef5e7219d2","year":2025},"citing_paper":{"arxiv_id":"2604.18532","last_updated":"2026-04-20T17:27:28Z","snapshot_observed_at":"2026-08-03T14:04:20.611770Z","submitted_at":"2026-04-20T17:27:28Z","title":"Symbolic Synthesis for LTLf+ Obligations","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-10T03:14:33.417934Z"},"links":{"cited_paper":"/paper/2508.14725","citing_paper":"/paper/2604.18532"},"observation_digest":"sha256:dc8555e2d10f527ee5fd3e14c954afa517fae4d0dc2ea9ffd3c00aa58379922e","observation_id":"f2862af1-d252-4612-8a2f-4d15a7b51509","resolution":{"observed_at":"2026-05-10T03:24:14.802334Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.14725/citation-record","integrity":"/paper/2508.14725/integrity","json":"/paper/2508.14725/citation-record.json","paper":"/paper/2508.14725"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:32:27.665028Z","title":null,"venue":null,"work_id":"35507dd5-e21d-4c7c-9696-c1851520c6cd","year":2021},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.315476Z"},"links":{"citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:0d98861aac4d5f9c91aa316c755ec639499a7aa73412681a8073aaa116b2b7aa","observation_id":"08fe54b8-0d80-49f5-bffb-57f934131e7e","resolution":{"observed_at":"2026-08-05T18:32:27.729062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10546","last_updated":"2025-07-29T12:45:59Z","snapshot_observed_at":"2026-08-05T07:01:00.392387Z","submitted_at":"2023-05-17T20:06:14Z","title":"Games on Graphs: From Logic and Automata to Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10546","snapshot_observed_at":"2026-08-05T18:32:27.453757Z","title":"Preliminaries","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.453757Z"},"links":{"cited_paper":"/paper/2305.10546","citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:afb95c3293cb86c2b905d2774d0519a08bd11a459144a09aeee329c04d50eabd","observation_id":"6c595047-8395-4473-82b1-cdd5852bec31","resolution":{"observed_at":"2026-08-05T18:32:27.453757Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:32:27.571194Z","title":"In IJCAI","venue":null,"work_id":"3f80f735-e18e-4f1a-8ba7-94d9b7bf5e82","year":2022},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.375864Z"},"links":{"citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:98c1156778ac92c8566c82fc6e3af33be22c0f4faf01d4e05764be1ea6d20de3","observation_id":"daa3e5e4-908f-4d2b-b7ee-70549faa2ad5","resolution":{"observed_at":"2026-08-05T18:32:27.615837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T18:32:27.809990Z","title":null,"venue":null,"work_id":"3c0bc55b-4cbb-4430-ae57-af434ee06ec9","year":1992},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.253816Z"},"links":{"citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:07f17f53caf0436cf944caeb237ea1aa8ca927936e3a52e99bd98af4482eb320","observation_id":"a0f528e6-552c-493a-9693-9f0d1316b3d6","resolution":{"observed_at":"2026-08-05T18:32:27.887054Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis"},"reference_resolution":{"displayed":4,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":4},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 4 of 4 outbound references and 1 inbound Pith citation observation for arXiv:2508.14725."}