{"as_of":"2026-08-10T18:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:860f4ad9dd50bd787fb3ea3ced853077af4d8adb9710dfa475794dadb241d8fe","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T16:26:33.370850Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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.18049/citation-record","integrity":"/paper/2607.18049/integrity","json":"/paper/2607.18049/citation-record.json","paper":"/paper/2607.18049"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T16:26:30.169748Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.169748Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:3566c5a99f1ac1c2f610c6c9634c29ecbf59e539a60bb419ebf2e8d7f345a4a3","observation_id":"240a49ad-4a40-4eb8-8d51-7d42b167ca82","resolution":{"observed_at":"2026-08-01T16:26:30.169748Z","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-01T16:26:30.282077Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.282077Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:fa8da6792c091b8cdb8eb1ec95762c68c8e7d150d24f3ef96cd2db938df0b57c","observation_id":"e7f40991-6c04-404b-a1a9-76db2d811030","resolution":{"observed_at":"2026-08-01T16:26:30.282077Z","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-01T16:26:30.376509Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.376509Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:03131c00707d38fdee9470f06c4fc831e65395592c3b8f16ae2b5ca2b42de04f","observation_id":"8967e682-6801-46dd-97dd-b3401e08807f","resolution":{"observed_at":"2026-08-01T16:26:30.376509Z","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/978-3-031-55608-1_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Computer science foundations and applied logic","work_id":"a9aa8cee-f051-480e-8a3d-91f3667f3543","year":2024},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.452596Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:15e674daaf8ebee308a766439f34863d197e4cc5d6788ab8938df6875ce93557","observation_id":"3277a307-9ee2-47ff-908d-2802171c3569","resolution":{"observed_at":"2026-08-01T16:28:27.855035Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-01T16:26:30.529530Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.529530Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:7e5ff84ab5f9bfee64094d0db7c36ea2ddfc2ac79052ca8bb4948af7817b61b6","observation_id":"7adcaab1-8d40-425b-acb2-df86664fee96","resolution":{"observed_at":"2026-08-01T16:26:30.529530Z","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-01T16:26:30.616868Z","title":"Retrieved April 8, 2026 from https://dafny.org","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.616868Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:30002dc7786f99f8895cadb5cc3582507fc3b0b45969fb6e0fe522e6a808d589","observation_id":"d07d4eeb-833b-464f-929f-08daa55cdc76","resolution":{"observed_at":"2026-08-01T16:26:30.616868Z","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-01T16:26:30.785597Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.785597Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:fc7f93af8b2e3ac1cdbee01baa571e6147b8eb40a24a9e7585e279dd16d48837","observation_id":"63dcb1b1-6331-4b23-959f-46c32d18ab0f","resolution":{"observed_at":"2026-08-01T16:26:30.785597Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12011","last_updated":"2020-03-24T10:26:51Z","snapshot_observed_at":"2026-08-10T14:32:32.411266Z","submitted_at":"2020-03-24T10:26:51Z","title":"Adaptive machine learning strategies for network calibration of IoT smart air quality monitoring devices","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12011","snapshot_observed_at":"2026-08-01T16:26:30.998098Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:30.998098Z"},"links":{"cited_paper":"/paper/2003.12011","citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:fa3461edbf948643cebaebc228dda3fd3259743586ff309d4856beba9f8909e7","observation_id":"ad741ed9-49ef-4fd7-9891-19243abc51d0","resolution":{"observed_at":"2026-08-01T16:26:30.998098Z","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/3776705","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"433aa0e2-d25d-4365-9a77-263106331272","year":2026},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:31.112299Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:7f4732798dd88ed506faff28ba89b4af2469c637dfd2b9d149ee26ea5cf71eaf","observation_id":"c1db4116-fbb1-4fd5-951a-bc823db4e605","resolution":{"observed_at":"2026-08-01T16:28:27.701082Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-95582-7_28","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"dee2bddd-32ea-4770-a690-467ed0c3043b","year":2018},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:31.268786Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:5d0863e0271d8560c891513d0d6afa909e2b63781ce33c8d6f1f8f46500690d7","observation_id":"7c9314c4-959c-41bb-958b-e46c4629d2aa","resolution":{"observed_at":"2026-08-01T16:28:27.492487Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-01T16:26:31.453631Z","title":"2024.Guide to Software Verification with Frama-C","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:31.453631Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:df85aeee6101206b796b7bb2ccebddd23ad10efc6cc4ab4e1ebfeea52921b1ce","observation_id":"d796dba0-eb68-4e69-a6bf-ae39391136ed","resolution":{"observed_at":"2026-08-01T16:26:31.453631Z","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-01T16:26:31.566267Z","title":"Rustan M","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:31.566267Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:cfa7e3bc763736738d137dfe84aae8d14eb134533da39974024669d211ce6a23","observation_id":"c61f3dba-44ca-4ea3-92b0-221ecfeee2da","resolution":{"observed_at":"2026-08-01T16:26:31.566267Z","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-01T16:26:31.789551Z","title":"Rustan M","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:31.789551Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:1dcee8ff5fea75eae4a6c13ac522909e25c60b44c79832d60e453efeefca833c","observation_id":"8c24ed45-1706-48e5-84d4-6968f78eea54","resolution":{"observed_at":"2026-08-01T16:26:31.789551Z","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-01T16:26:31.901026Z","title":"López, Eduardo R","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:31.901026Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:d72d8f7a1bfd301148ad6704570e0f32ae4b6b9f6d3ae97cfc2c2266475be285","observation_id":"e2fda241-2871-4394-a6e5-efdf7f9e6ef6","resolution":{"observed_at":"2026-08-01T16:26:31.901026Z","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/978-3-031-65630-9_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"7eeb2c59-99cb-4e7a-9e29-50e5e3e7ede8","year":2024},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:32.104576Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:7ddd8365475fca0add73498db233bf5b054d1e007a799e8e4a5dae437f35cd74","observation_id":"80e5a7d7-59c0-4e89-a29a-049146f080c8","resolution":{"observed_at":"2026-08-01T16:28:27.286749Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-01T16:26:32.212927Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:32.212927Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:d4aa691bae4ca63f54bd8ada7e90f4776937596f5b83c313939ad15357f5dc4d","observation_id":"c99a15ea-6319-47cc-82da-c6e81dbc1e75","resolution":{"observed_at":"2026-08-01T16:26:32.212927Z","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-01T16:26:32.300904Z","title":"2026.Correctness for Scientific Computing Sys- tems ( CS2)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:32.300904Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:40b5d9715bf496ad9626def9ff775f079918144696ed2353d440288d8d83ab76","observation_id":"2514068c-4046-4e6a-8f83-e4a16751ec34","resolution":{"observed_at":"2026-08-01T16:26:32.300904Z","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-01T16:26:32.400282Z","title":"2026.Alt-Ergo: An SMT Solver For Software Verification","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:32.400282Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:dadbb08816b6a919bfa352d4007dec9c40fe003aaa1a38d2eaaced5784eef49e","observation_id":"329f5d41-b824-4784-81e8-b754e113fd7e","resolution":{"observed_at":"2026-08-01T16:26:32.400282Z","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/978-3-540-69738-1_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"7b77aaa1-9d80-468b-b856-9af767a86e9f","year":2007},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:32.615723Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:2393f0dfc66fa7dede1b11f5e766f990d1754e0dec3968bd964d46ab07502ba6","observation_id":"a8014422-41ad-464c-8874-94ea228c0a21","resolution":{"observed_at":"2026-08-01T16:28:27.053645Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.21433793","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T16:28:26.705533Z","title":null,"venue":null,"work_id":"8f212d9f-7f70-4955-adf0-43f0495edd2a","year":2026},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:32.802050Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:c1b1abbe7e0f73904833c0d29424b980d47f7f8b7b265ec84fe12d14ffe5d22c","observation_id":"64f8af64-8c6b-42ba-aac5-acb1a252ffd8","resolution":{"observed_at":"2026-08-01T16:28:26.820700Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-01T16:26:32.937698Z","title":"Siegel and George S","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:32.937698Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:390db09a502608aad4a1e2b7b65d26bb0d3bba6f4b99374582726e489aebf37b","observation_id":"77625d4b-a065-432f-ae72-8b018e186670","resolution":{"observed_at":"2026-08-01T16:26:32.937698Z","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-01T16:26:33.001829Z","title":"Siegel and George S","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:33.001829Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:68102b5458706e7a664388eaf9ce93f59f2329193e40853ece42adee485bc9f3","observation_id":"1ef251be-2383-4584-83bf-418cceff7f6c","resolution":{"observed_at":"2026-08-01T16:26:33.001829Z","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-01T16:26:33.128612Z","title":"Siegel, Manchun Zheng, Ziqing Luo, Timothy K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:33.128612Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:cc6529c2e9fd19599e448289fa66e7a3815caeb011657e7f66d6bed808e04dc6","observation_id":"db5a95b5-05bf-4a6b-a676-10ff6b7c1de2","resolution":{"observed_at":"2026-08-01T16:26:33.128612Z","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-01T16:26:33.289979Z","title":"Vasconcelos, Francisco Martins, Hugo-Andrés López, and Nobuko Yoshida","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:33.289979Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:a4a6bb6396fbd304a900ab7c735da742318edc7b1ab07be255a23a2bd0ca7cd5","observation_id":"243b4763-c1c8-4ecc-adb2-3bbf85c5dd23","resolution":{"observed_at":"2026-08-01T16:26:33.289979Z","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-01T16:26:33.370850Z","title":"ghost state","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:33.370850Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:58773e72bfc92529a368f14894f2f1254539cb20e61eb340297b45784b03f510","observation_id":"d459a0eb-12ab-4fd5-97cc-15604f40ada9","resolution":{"observed_at":"2026-08-01T16:26:33.370850Z","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-01T16:26:33.240524Z","title":"InSC15: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-01T16:26:33.240524Z"},"links":{"citing_paper":"/paper/2607.18049"},"observation_digest":"sha256:b236a46268fbfa85421ef5c6072f844c64e11fc17722804aca49a2ebec3d879e","observation_id":"550392c6-309a-463c-9adc-e6bff74298ca","resolution":{"observed_at":"2026-08-01T16:26:33.240524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.18049","last_updated":"2026-07-20T15:19:00Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T01:45:47.641170Z","submitted_at":"2026-07-20T15:19:00Z","title":"Parameterized Verification of Deterministic MPI Programs"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":6,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":26},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2607.18049."}