{"as_of":"2026-08-22T12:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9b9f11c540669720b7ee57941e36a21aa8ae24552cb87fb4bac9f24d0977a3d1","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T20:12:27.348782Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2506.13383/citation-record","integrity":"/paper/2506.13383/integrity","json":"/paper/2506.13383/citation-record.json","paper":"/paper/2506.13383"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:27.174792Z","title":"Madhusudan","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.174792Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:c25a40bbf097ab04840288f007ae33081580fd3aac1acd43888702aad4094a06","observation_id":"9111715a-5ad9-47de-a5d8-217fcefcda2b","resolution":{"observed_at":"2026-08-15T20:12:27.174792Z","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-15T20:12:27.179439Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.179439Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:e8d39be169b1b1ba5f9e9854af5b0ddcd716f2bae6c08619b06b96025de29aa5","observation_id":"ece61069-f20b-41cf-8351-449ba75f161f","resolution":{"observed_at":"2026-08-15T20:12:27.179439Z","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-15T20:12:27.183222Z","title":"Antimirov","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.183222Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:195a18f2c98f8430cb08b97bcae1acdb71882e09441b033173ed22f7ef83b080","observation_id":"8729d2c9-c066-48f8-97af-585ba060bedd","resolution":{"observed_at":"2026-08-15T20:12:27.183222Z","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-15T20:12:28.498954Z","title":null,"venue":null,"work_id":"7a2e9970-313d-4a38-94b1-bd2686a636d7","year":2022},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.187791Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:cd7179ed34f1957b62f249fcc6e08df936afa78db262f0dd68fa53218373a9ae","observation_id":"6e0c251b-4885-4676-970f-ec3d3b7850a5","resolution":{"observed_at":"2026-08-15T20:12:28.502354Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.191856Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.191856Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:c7ab534e6205d13986262a7923db8fbbeb7e9b7d560615452dc4d90819761bbb","observation_id":"337e7048-a5ed-4b8e-b33a-515ef1fe8980","resolution":{"observed_at":"2026-08-15T20:12:27.191856Z","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-15T20:12:27.196111Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.196111Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:54da631a08f457987fa7eceb7e073a19989f7b70f411b39ab3369299353a1d1d","observation_id":"6845c05c-6f91-460b-b643-69131a3dd145","resolution":{"observed_at":"2026-08-15T20:12:27.196111Z","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-15T20:12:27.199999Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.199999Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:e83e51b91b2f75ed74a5a4676d574a54413633e9723acf44ab0abf98bc596679","observation_id":"0d655239-ff63-41f6-80cb-5ad277c8429f","resolution":{"observed_at":"2026-08-15T20:12:27.199999Z","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-15T20:12:27.203850Z","title":"Brzozowski","venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.203850Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:3fcf419b1a8bc4908ec3435be55776d7c819e7f19a26fc7569aa314967c0e5e9","observation_id":"24275da0-d8c2-48ef-ad0c-f1a51fb32008","resolution":{"observed_at":"2026-08-15T20:12:27.203850Z","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-15T20:12:27.207148Z","title":"Buckheister and Georg Zetzsche","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.207148Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:560ab424c2aba9ab6255f63905909056559ccbd647268fb92ba45672e768551e","observation_id":"a6967fcd-219f-4194-9b2a-f928971b21cf","resolution":{"observed_at":"2026-08-15T20:12:27.207148Z","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-15T20:12:27.210708Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.210708Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:78d8b8f3c605af8af704f68fce09f6ad1b739366f6179e6b751fd138f105c0e2","observation_id":"c82a92b5-7901-46e5-b200-21adc0c13a71","resolution":{"observed_at":"2026-08-15T20:12:27.210708Z","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/s1571-0661(05)80426-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:27.539893Z","title":null,"venue":null,"work_id":"1b087f78-583e-4a05-9980-723c81f7c83d","year":1997},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.215467Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:c0c2aefa76dc0881411ffc7f65453796bde9f7b6062330de02d00a935d4d6eca","observation_id":"4f9fa56e-d8ad-4024-82b2-90d4851d32e9","resolution":{"observed_at":"2026-08-15T20:12:27.543759Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.220312Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.220312Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:65cdab7429bfdf90fc7dc57ace175137769e1bdd5f5118da34cd57c5126fc7ca","observation_id":"9ca2c216-c421-4de6-baf6-d4dd5da2cc11","resolution":{"observed_at":"2026-08-15T20:12:27.220312Z","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-15T20:12:28.487801Z","title":"Hopcroft, Rajeev Motwani, and Jeffrey D","venue":null,"work_id":"b93451a2-d744-4f3f-be0a-9ba3594389d5","year":2006},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.224238Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:60565bd02248fa3ae5345c7463c47f04d11bf5db6151aca0c1c08e7eadfd81df","observation_id":"917ab77a-198a-4123-8014-f24d82dd73da","resolution":{"observed_at":"2026-08-15T20:12:28.491791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2124.22214","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:28.096888Z","title":"Reps, and Shmuel Sagiv","venue":null,"work_id":"b787ec0d-7da1-4cf8-95e1-32287d7bf1d8","year":1995},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.228015Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:1a6ea9b97db265a9504bec939dbe106a424835e7ab756f636ed17f33612cdfbd","observation_id":"703a0e92-3ac9-4866-8aa7-6aec613283e1","resolution":{"observed_at":"2026-08-15T20:12:28.101956Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:28.476710Z","title":null,"venue":null,"work_id":"e9c3baa3-9d03-4314-85f0-cb99f515c6fb","year":null},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.232786Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:d689458d83600868099d4bdc9321deaf598a67dd9e2aa1b22e5473c8791ec2c0","observation_id":"6c8e9aaa-6c7c-42bf-9ea6-cca478b3acc7","resolution":{"observed_at":"2026-08-15T20:12:28.480561Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:28.464151Z","title":null,"venue":null,"work_id":"e5e5a4c3-999e-49ad-9023-65a6baf95cde","year":null},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.240771Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:3119f61f153a9ba1de68a6c4751c0413945feb4610b886205c1138c697592f65","observation_id":"57d5a68f-e1be-4af8-9e1a-84f366378064","resolution":{"observed_at":"2026-08-15T20:12:28.469066Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-88885-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:27.523190Z","title":null,"venue":null,"work_id":"c093a9f5-1e27-488f-9a77-f6a5cf1bf718","year":2021},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.249357Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:6db78bfa34c6452e0b35988ea90fa2398903f5ca6fe81df675e268c128e45f9d","observation_id":"30799c9b-5988-4e65-ac3a-65f0027d9d32","resolution":{"observed_at":"2026-08-15T20:12:27.526863Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3498673","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:27.511755Z","title":null,"venue":null,"work_id":"2b4a63da-0f6e-430a-b820-c99547d8022f","year":2022},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.253882Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:f6f2dae79e97621cf932bb1cf841bea4e6d4631aa007a2a0b17696bf3de8f754","observation_id":"d95446de-ab20-4026-81bc-4e54828baf61","resolution":{"observed_at":"2026-08-15T20:12:27.515722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.258082Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.258082Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:fe58cd541df13227dc53cc6ef6e239800aee229ab00bb38002af68b7db9c78bb","observation_id":"93284cd4-1e4b-48a0-bfad-64dd41f2494c","resolution":{"observed_at":"2026-08-15T20:12:27.258082Z","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-15T20:12:27.262209Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.262209Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:885e9e2ca934e163a302a708a2be9b5f43b4eaaf307cbe07325bcd685aea565a","observation_id":"f271a2ea-795f-4e1a-b234-a31e9e491304","resolution":{"observed_at":"2026-08-15T20:12:27.262209Z","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.1007/11734673_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"2c3d757b-50fe-417f-b4f9-2b903cb948b7","year":2005},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.267698Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:a2a3d99792ce918fd6ab2d7cccc09893d0def1fbeb677f35bbfa90b14c0fe900","observation_id":"a29d0853-e012-4c48-88bb-6f7ef88e70fc","resolution":{"observed_at":"2026-08-15T20:12:27.497728Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1406.32141","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:27.901032Z","title":null,"venue":null,"work_id":"3b3365e6-4e2d-44bb-9b7d-6957bb7ba025","year":1967},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.271803Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:5852d574aed88e18f92907d8ea4823a15fda97a92ef62212a6c5628b733846d8","observation_id":"8692e02f-7eac-4a55-84d2-2b103bbec364","resolution":{"observed_at":"2026-08-15T20:12:27.906802Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.278218Z","title":"Meyer and Larry J","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.278218Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:18dc1339bb370f4fc577a6d9682cb7e4c79ffb015c65b033994b248463978841","observation_id":"8bea77be-7e49-481a-83be-b694651616c3","resolution":{"observed_at":"2026-08-15T20:12:27.278218Z","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-15T20:12:27.282418Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.282418Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:7ac7357a8978dec2df2804cc11e57bb2749d542cbeb4c56c9eebc5c148fea820","observation_id":"e3e48c01-8f44-4329-bd6c-5004b029d58b","resolution":{"observed_at":"2026-08-15T20:12:27.282418Z","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.46298/lmcs-20(2:8)2024","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:27.466989Z","title":null,"venue":null,"work_id":"1a72ce43-8cc6-449b-b23c-fa80140d378a","year":2024},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.287105Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:709a1c1357f2de855d7ef8a3e942d6b97dd518cba10d18e72fe6a7d31522c202","observation_id":"27583df1-cb8f-45b5-92fd-680350c27393","resolution":{"observed_at":"2026-08-15T20:12:27.471502Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.292045Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.292045Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:466a929c85ce86ed59f2b69f18e0cbd169174c969091add1bf3543da8b243c21","observation_id":"6390a9b1-225b-4b70-afb4-45ef3cc85e45","resolution":{"observed_at":"2026-08-15T20:12:27.292045Z","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-15T20:12:27.295835Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.295835Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:db1274e18afa81e061af89f995918b2c9ef40da8aa5b932e644b0c08c57e4c4d","observation_id":"a41e4867-0be0-4253-99d5-1c4f65d80c2f","resolution":{"observed_at":"2026-08-15T20:12:27.295835Z","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-15T20:12:27.299561Z","title":"Reps, Susan Horwitz, and Shmuel Sagiv","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.299561Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:30e5f2aee678012123af90411e41a4544a0868dc654417ce19ae3b991cb29a78","observation_id":"d1629b9f-89a4-4cd5-a94e-b04afd9b72c4","resolution":{"observed_at":"2026-08-15T20:12:27.299561Z","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-15T20:12:27.303412Z","title":"Reps, Susan Horwitz, Shmuel Sagiv, and Genevieve Rosay","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.303412Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:7d1e19a28e6f6ed473b718dad397c44e9677ae7b3f508c2e55c4b5683310899a","observation_id":"5e323961-8297-4ac7-ab6c-c2bb15685c81","resolution":{"observed_at":"2026-08-15T20:12:27.303412Z","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.1007/3-540-44898-5_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Reps, Stefan Schwoon, and Somesh Jha","venue":"Lecture notes in computer science","work_id":"d9ffc572-9d45-4a12-9756-1ba5626c41de","year":2003},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.308533Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:18ea4a481a9883f506feaf78c06de8e514add94d6f97dd7adae2bcf1c66938c6","observation_id":"ddd166eb-a460-4d2f-8324-25928197c302","resolution":{"observed_at":"2026-08-15T20:12:27.450861Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.313197Z","title":"Reps, Stefan Schwoon, Somesh Jha, and David Melski","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.313197Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:81094e3013b330b6309964a3607314bc3da003968a280dd50d93603d9a04052f","observation_id":"1afa79ba-dce3-46bf-bdd0-69825e4aea0d","resolution":{"observed_at":"2026-08-15T20:12:27.313197Z","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-15T20:12:27.317863Z","title":"Reps, and Susan Horwitz","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.317863Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:c94d2e3e1390a7d588074916c768a0c3609a47e5b2bac2d6f7ccd51ecaa8c126","observation_id":"02624404-a2bd-49e3-9a4f-1a9ff5bae5da","resolution":{"observed_at":"2026-08-15T20:12:27.317863Z","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.1007/3-540-63165-8_221","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"79b47eda-445b-4f95-8dfe-d3f417ae8973","year":1997},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.321855Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:19b15b99095a224be6cdfed35aa4699fbb841cbea49a67a6e15ca368aa3cf402","observation_id":"ee200590-f307-4f0f-8595-069f9b170fd0","resolution":{"observed_at":"2026-08-15T20:12:27.421926Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.325547Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.325547Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:e0031172d3b1930bbd32194d9fca8ef3175fbb251c37fcc66e27dd99f685f3f4","observation_id":"b0ed4617-20d8-40dd-bdf0-eacbb70c4692","resolution":{"observed_at":"2026-08-15T20:12:27.325547Z","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-15T20:12:27.329895Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.329895Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:3ef4e87c1216a02926046a1918b35de8a5480020a1642a7a09f02b69e7ecdfbb","observation_id":"96145e24-8eae-4cc9-9c63-24967c0f45a1","resolution":{"observed_at":"2026-08-15T20:12:27.329895Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:28.452585Z","title":"2010.Kleene Coalgebra","venue":null,"work_id":"6da9dd61-facc-457f-ac57-3d098912afbe","year":2010},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.333944Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:98e4d982400b2346007aa2960223aafe6195098e6f5465cfadf5e118ead77fe9","observation_id":"6a1bd138-81b3-436e-9fe0-5491c30ef780","resolution":{"observed_at":"2026-08-15T20:12:28.456727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.337810Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.337810Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:6facfdde21217e1a8d893ebd234b047cc40abfac97dffbddc8618f49c4c061d4","observation_id":"b0064d23-1490-48cb-bdd8-b99c729c8df4","resolution":{"observed_at":"2026-08-15T20:12:27.337810Z","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/1024853","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:12:27.389907Z","title":"Sunshine","venue":null,"work_id":"e51ff59b-e618-4235-9505-80f3dc793933","year":1977},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.341384Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:6ab67296f50530f203258389a74c243dedc2349fd86e376c88c655c45869f771","observation_id":"e37e49ab-ed41-42cb-832d-79a3b30264b4","resolution":{"observed_at":"2026-08-15T20:12:27.394736Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.345104Z","title":"Valiant and Michael S","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.345104Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:53bce44f52a5518bf8663526d6414e6694b34d84e7ade72d2fbbd474765016ac","observation_id":"be3ce1ca-9adf-46f4-adf3-8951eae9ddd3","resolution":{"observed_at":"2026-08-15T20:12:27.345104Z","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-15T20:12:28.441237Z","title":null,"venue":null,"work_id":"634fcd44-d79f-47ce-bcff-a979ad9d3125","year":2020},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.348782Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:2ed69eb8cfcf1ab6ee8d4fdbe6c152740b2be9bee5f391603837cc1f0ca28bcc","observation_id":"6f51a4cd-94aa-44d6-a6f6-55329f47181c","resolution":{"observed_at":"2026-08-15T20:12:28.444885Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-15T20:12:27.236660Z","title":"InCoNEXT","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.236660Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:4e858439a1787fcea4fa24164bef6b6814c4f68862481885187bcef7a5f3538b","observation_id":"c8877152-de71-4460-9e59-144a2cd8ce45","resolution":{"observed_at":"2026-08-15T20:12:27.236660Z","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-15T20:12:27.244413Z","title":"InCoNEXT","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-15T20:12:27.244413Z"},"links":{"citing_paper":"/paper/2506.13383"},"observation_digest":"sha256:936b779fac878516865de35e63489b143b04d45fc1b8b7a53c1bdab170006f1d","observation_id":"f9657a69-2a33-4f2d-9b8c-6538a4a5bd97","resolution":{"observed_at":"2026-08-15T20:12:27.244413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.13383","last_updated":"2025-06-16T11:47:27Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-15T20:00:54.983604Z","submitted_at":"2025-06-16T11:47:27Z","title":"StacKAT: Infinite State Network Verification"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":4,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":27,"verified_exact":7,"verified_fuzzy":2},"total_outbound_references":42},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2506.13383."}