{"as_of":"2026-08-05T02:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a20a26946363f0ef8b5a061f6d4446248e37b5d24cc39f6b0ed5b215d259f49f","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-09T23:03:29.327461Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+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-08-03T09:41:23.520392Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-03T12:16:14.848390Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"cited_work":{"arxiv_id":"2604.20410","doi":"10.48550/arxiv.2604.20410","metadata_source":"pith","pith_arxiv_id":"2604.20410","snapshot_observed_at":"2026-08-03T12:16:14.848390Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","venue":"cs.DC","work_id":"aae60e7a-a8f0-48fc-80b9-469fa92ade37","year":2026},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-05T01:13:03.698440Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.520392Z"},"links":{"cited_paper":"/paper/2604.20410","citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:6a17336e1318323f5e476c3aea313a0c26175a20568735188cea63032e2745fe","observation_id":"34909d88-f138-441d-9f4c-e4dd594b8700","resolution":{"observed_at":"2026-08-03T09:43:28.951132Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2604.20410/citation-record","integrity":"/paper/2604.20410/integrity","json":"/paper/2604.20410/citation-record.json","paper":"/paper/2604.20410"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"llvm.org/docs/Directives.html","venue":null,"work_id":"e53c6367-fb81-401e-a820-81dc67326865","year":null},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:3de6c294a7c6f90a80b8270b3b675aad03208fa5cf144f2c0fd6e826c58991c0","observation_id":"935c1b60-1a3c-427f-865f-89ed4920da38","resolution":{"observed_at":"2026-05-23T13:43:01.868360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"81fcceab-0fa4-452a-aa49-f7be61cf9e8e","year":null},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:ea949f69f7d4a52e5084ab014d2bc75a1ef678a59ca7491be8ba414b810950d7","observation_id":"858d38d6-cf8a-4dd7-a6a5-f014badd3225","resolution":{"observed_at":"2026-05-23T13:43:01.850360Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-73370-3_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Recent Advances in the Message Passing Interface","venue":null,"work_id":"4509776a-8b93-49cd-ad82-c011d51d553d","year":2025},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:16f7cf57892ce3c750af4146fd49dee2e8cb63304657c7736194f56ba9b7da6a","observation_id":"49714068-55c9-43e0-a56c-08f9da836af3","resolution":{"observed_at":"2026-05-09T23:04:17.039264Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3157.283315","doi":"10.1145/2833157.2833159","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Droste, M","venue":null,"work_id":"15cff816-42a1-459b-8c57-17d80e68fb66","year":2015},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:f7ec79732cb1a80f6a2e321f1fa5e8b373bcc4c01d377cec473c10b6e64d1e31","observation_id":"e951b2f1-70dd-4d8c-9db8-df5eb6353070","resolution":{"observed_at":"2026-05-09T23:04:17.044286Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: Tools for High Per- formance Computing 2009","venue":null,"work_id":"dd9181f2-27b5-4b37-a34e-579e7b701877","year":2009},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:f9bd22ff01d1e8bd93cbb7bcb544254d92af871af906e2b73bce103ee7b7b855","observation_id":"a97eced4-8793-4af7-920e-b30367f14022","resolution":{"observed_at":"2026-05-23T13:43:01.864424Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-73370-3_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"23fba193-3edb-42b8-a499-75c05ba031d0","year":2025},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:e6d4f333b70a8de3d164f1ab071c649fdb4c6a3a7f14aaba4c9cd96c60d5700e","observation_id":"3f2cb7e3-0a35-432d-9c73-d78858de05d4","resolution":{"observed_at":"2026-05-09T23:04:17.045936Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5500.335617","doi":"10.1145/3295500.3356175","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Legate numpy: Accelerated and distributed array computing","venue":null,"work_id":"088f291e-8ea7-454b-bf4d-bfe08e1746d4","year":2019},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:de2cbefd7159b6ecaea21daba49da736a55351be03208d9dd6c789f0c42096ae","observation_id":"7cd59e02-0c11-42b8-b688-ef350b609c15","resolution":{"observed_at":"2026-05-09T23:04:17.037048Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"21955a17-36cd-4404-90e5-47a90cc88db2","year":null},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:a2f4e65c01c466ae193b758caf4c51074e8965258c4a64cfa2e9a002c4dc1e6d","observation_id":"4b17f3db-23cd-4383-a988-f575155ec8bb","resolution":{"observed_at":"2026-05-23T13:43:01.853827Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/cpe.705","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Concurrency and Computation: Practice and Experience15(2), 93–100 (2003).https://doi.org/10.1002/cpe.705","venue":null,"work_id":"31a33621-b7b3-4cc7-9228-40043bac9c43","year":2003},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:c7ccb923a25d78c96f7304bc0b0e739ee8b4b08a20adfae4d45f110b1b13837c","observation_id":"2c2d6f36-b2f5-4b3d-8e48-1c014c01d39a","resolution":{"observed_at":"2026-05-09T23:04:17.041423Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"cbdabe57-5f3c-4ba9-b7ef-6fda7bb2bdad","year":2025},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:5c837b8fd547498c2c877d5d89d4bb46649dc0f8f88e978e51e3356eb506c6d1","observation_id":"3d0b0b3e-75ba-4d86-9254-0638ca6ce0c2","resolution":{"observed_at":"2026-05-23T13:43:01.860872Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.11578/dc.20201001.88","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"miniweather","venue":null,"work_id":"f8b109d2-9ec9-47e6-9ed4-4c4014486d44","year":2020},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:aa1b63e368f1f901907e792b6467a837fa5b34826111f67832a4afeb2f0208f4","observation_id":"6a50fdb3-ed35-41d9-974a-ba121ea59f38","resolution":{"observed_at":"2026-05-09T23:04:17.047931Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6131776e-9f0b-4f4d-b7d0-61c2032a11a6","year":2025},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:9ab68ce0c4026ae7e191b0432d1c0ffaf3a3cf3960c0a1551e3465ded6ea13da","observation_id":"31fc5c0b-a6a0-4cbd-b434-3f8c0f8c9e54","resolution":{"observed_at":"2026-05-23T13:43:01.846422Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"23bf5e71-1067-457a-9527-de60d0e8cd93","year":2020},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:095349995a218541993c2d7bccebf0fe92f401e1bd9ab3ac88ac1a656566b933","observation_id":"b98a269f-5873-4a0e-8cc4-fc03ef6b0f2c","resolution":{"observed_at":"2026-05-23T13:43:01.842638Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.18679755","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0749a74c-18a7-485e-8712-c38e2bb45dc6","year":null},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:ce38e5a7dcbcf805154f7cd8ef4839fc76d4647f6471208d9418037c4884a96a","observation_id":"2277172b-9c49-4c8d-bfea-c8fdf3e76efe","resolution":{"observed_at":"2026-05-09T23:04:17.053131Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6ee9e115-073f-4063-8212-05f0fffbd8ae","year":2026},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:73af1c4b1481ed0baff1cd34757bed01da1df072b95222ee2965677b3ae8d4c4","observation_id":"94988dd5-ee1c-47b0-9b84-cd7ea7889ea6","resolution":{"observed_at":"2026-05-23T13:43:01.839148Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1599.376736","doi":"10.1145/3731599.3767366","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"63669383-551c-4497-84ab-f140249202b6","year":2025},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:9674a7849f19aca652239c5ff7558c587e0fcb90865f8ed1591dff2a36698781","observation_id":"cb2b23dd-1aa2-45a7-9c31-0684784e2826","resolution":{"observed_at":"2026-05-09T23:04:17.050970Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.03023","doi":"10.48550/arxiv.2603.03023","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":null,"venue":null,"work_id":"531064a5-8df3-40c7-9597-d0a115a06d87","year":2026},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:38b0f74a03d67015ce8994bc7a85b7547b89409876c4a52693e9a7f5b12e1dd5","observation_id":"cbc39586-7833-4efb-8315-17bbe2d9d21d","resolution":{"observed_at":"2026-05-09T23:04:17.056169Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1599.37673","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Pro- ceedings of the SC ’25 Workshops of the International Conference for High Perfor- mance Computing, Networking, Storage and Analysis","venue":null,"work_id":"8bc7d402-2233-4f2e-bf7d-bbe1c78fc589","year":2025},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:8a735da90ec39a7037e7aebce16ec36e846afef588e32fd6864038843d9c4c72","observation_id":"3588c276-5c31-4bf5-8f16-51c621b28d1a","resolution":{"observed_at":"2026-05-09T23:04:17.530628Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"In: Recent Advances in the Message Passing Interface","venue":null,"work_id":"5a7603fa-c3ef-47a4-b7e6-45a0ff820e09","year":2026},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:714b6a5131ad78bfc310741944e12483cbed6fb3a3a80e015a81e1f42b92c6c1","observation_id":"42884046-3e61-44ea-b2cb-4d6e6e08bf83","resolution":{"observed_at":"2026-05-23T13:43:01.857355Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1177/1094342014552204","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The International Jour- nal of High Performance Computing Applications28(4), 425–434 (Nov 2014)","venue":null,"work_id":"9b12c134-18ee-4ced-834d-aa7c85e5d43b","year":2014},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:cd7c5c92055265af15618284918047e8cc6774a0ba2ebfa6b86e50ed7f47a226","observation_id":"bb24804b-2e13-4154-bb5c-0a0581781e27","resolution":{"observed_at":"2026-05-09T23:04:17.058726Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3038.367310","doi":"10.1145/3673038.3673108","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Jigsaw: Accelerating spmm with vector sparsity on sparse tensor core","venue":null,"work_id":"96d700d8-d500-45b9-8e9f-e136964e10a4","year":2024},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:7afa11a07c709b87202c0b3c3b343d2587e7a7e61fea06e9b8863a29ce4a01d6","observation_id":"78ffaa6c-8779-4897-adbd-f6e767ebaf22","resolution":{"observed_at":"2026-05-09T23:04:17.068059Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2208.289223","doi":"10.1145/2892208.2892235","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Available: http://doi.acm.org/10.1145/2892208.2892235","venue":null,"work_id":"8cf501a0-4462-4843-a6b7-e3f1af600fd4","year":2016},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:855c87a1444915d5bf24d198ad5302162262882aa8eaabb3a7303a3b3842a5f2","observation_id":"ab7ebd67-e990-4545-a8c9-37ef2ef37591","resolution":{"observed_at":"2026-05-09T23:04:17.062068Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:50:04.916053+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:50:04.916053+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.704097","doi":"10.1109/hpec.2014.7040972","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: 2014 IEEE High Performance Extreme Computing Conference (HPEC)","venue":null,"work_id":"c47d184a-48f1-470b-baed-f7d7d0b7bc31","year":2014},"citing_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-09T23:03:29.327461Z"},"links":{"citing_paper":"/paper/2604.20410"},"observation_digest":"sha256:c66e2f5bf91e4fa16eb2eac82cf96ca4832c7e5ed9fc3e276df551c88cf84b7e","observation_id":"7ff89e5f-03b8-442e-9634-681a76fd0cf3","resolution":{"observed_at":"2026-05-09T23:04:17.065248Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","latest_version":1,"primary_category":"cs.DC","snapshot_observed_at":"2026-07-06T23:06:49.210284Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":3,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":6,"verified_exact":9,"verified_fuzzy":1},"total_outbound_references":23},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 1 inbound Pith citation observation for arXiv:2604.20410."}