{"as_of":"2026-08-08T10:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f606bc21140b036725d37a01a148228e0e7af0abcaee60428ef87ec926e60015","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T06:07:09.871016Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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.06078/citation-record","integrity":"/paper/2506.06078/integrity","json":"/paper/2506.06078/citation-record.json","paper":"/paper/2506.06078"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:07:12.118085Z","title":"IfS1 !a − →S′ 1 then S1 starts with outputs","venue":null,"work_id":"77b31558-cf20-4f06-80a8-ff0f5e2d8c3e","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:08.751241Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:1033f10fab7edb67470b832a3e93c5dc9efba40c8ca17e32c582454ae3613146","observation_id":"c88957f3-6b00-4529-aef6-aa125b160c0b","resolution":{"observed_at":"2026-08-07T06:07:12.220371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:10.367852Z","title":"Now considerR′ such thatR′ ⋊ ⋉T′","venue":null,"work_id":"cbb21c9e-de2f-4638-82c1-4d9d3cba2d46","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.803804Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:56da0ff3cd76084144165c110ccdc38158e1b43ce1828d23b0bb884a170bd6c6","observation_id":"a6dd670c-a4c9-4a50-b3c5-1e28423b9bd9","resolution":{"observed_at":"2026-08-07T06:07:10.425053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:11.898876Z","title":"S1) after the initial output !a","venue":null,"work_id":"640370c6-be6b-40e9-b013-e0d5ddaf3fff","year":2016},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:08.770909Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:fa5e63dd0e8d1c7273c095fb4cc5246486b20b68c8d2b0e44fa074c185524961","observation_id":"8f780945-354d-49db-8af1-543940350705","resolution":{"observed_at":"2026-08-07T06:07:12.001615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:11.757998Z","title":null,"venue":null,"work_id":"a6b4c2a8-7d38-4fbc-89c0-21bfa3203fb9","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:08.788644Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:3d6a42eac61dc8980e0197e7b4331286f9295d511a9594bf7bafd716bdea6bb2","observation_id":"201986b9-835c-4a65-8b35-4af147791bff","resolution":{"observed_at":"2026-08-07T06:07:11.846723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:11.561344Z","title":"S1) after the output! a","venue":null,"work_id":"159c19c9-6950-425f-8e8d-8a71149b02c2","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:08.818719Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:15b10aee4619b3b21b17fee3ef0efe860de9c6ce1e647860eb6969e160d02af1","observation_id":"f5f464bf-831d-40ba-a7a8-6703f238169d","resolution":{"observed_at":"2026-08-07T06:07:11.656081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:11.467229Z","title":null,"venue":null,"work_id":"164758ab-b5ac-4392-bb9c-535b840dfbe6","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:08.841994Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:05ec60340e99bf0d25da3c174ad53db23860a1cb5d9b69aad391106b77123761","observation_id":"89b3f783-1ec7-4366-88e4-6b312a72e48f","resolution":{"observed_at":"2026-08-07T06:07:11.494648Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:11.331454Z","title":"Consider the transition sequence [S,ϵ ]|[T,ϵ ]→∗ [S′,ωS′]|[T′,ωT ′]and two types S1 and T1 s.t","venue":null,"work_id":"d0ba1f30-b52f-47e7-9243-c641f407aa1a","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.010568Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:4afe06b2bce98812822cdcc3d19965dd2b0d6ca42923206db348af00e67551ab","observation_id":"5f78cef9-a4fe-4373-80b1-026393b76f59","resolution":{"observed_at":"2026-08-07T06:07:11.394680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:11.224095Z","title":null,"venue":null,"work_id":"c1e78cb2-6669-4a9f-911c-9d04244577e5","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.126707Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:4a360f425f9360edf8a139416102c7efa67d8d5982f36d99cf38d0dcf1d10f89","observation_id":"af852e11-f668-43a1-a1b7-410c5fe2f224","resolution":{"observed_at":"2026-08-07T06:07:11.262242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:11.072178Z","title":"S1) after the output!a","venue":null,"work_id":"c1c45656-76ab-460f-8485-e0ba67753fb3","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.293197Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:fa0d552ddf3ec1d6169592335bd887cdde983d7722069875424d1ed0d9ea4225","observation_id":"cec68e71-16b9-4034-9433-9146079f6557","resolution":{"observed_at":"2026-08-07T06:07:11.157543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:10.875938Z","title":null,"venue":null,"work_id":"1f73f13a-d3dd-41de-920d-5742f70e6286","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.450470Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:bcff561290fc14b8c35577c335dbe72d535fe4e43cc5a866e763173c740aaac0","observation_id":"88adf903-a6fb-4512-a8b7-0c593a23fd0f","resolution":{"observed_at":"2026-08-07T06:07:10.962702Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:10.685247Z","title":"Assume this does not hold","venue":null,"work_id":"161d00dd-25e6-47d2-8bd6-84d451230638","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.607710Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:356754d250735f080d08c8682c8e1c4b65ff79a103ecd5067614336e1a9a9ec0","observation_id":"3e7801b5-e056-42b1-b036-6914dde265ec","resolution":{"observed_at":"2026-08-07T06:07:10.765466Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:10.523009Z","title":"R⋊ ⋉Timplies R = end","venue":null,"work_id":"27bbb5a3-844c-4909-a069-c1f85dc3e119","year":null},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.707885Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:fd351d787dd1d0c7707f7b997a3d72422cd66acff23b31146ace0762d95b3a02","observation_id":"03748bcb-46a7-4c14-9588-e29b9853f883","resolution":{"observed_at":"2026-08-07T06:07:10.585257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T06:07:10.164178Z","title":"discriminator","venue":null,"work_id":"e010fc23-df40-4cf9-929a-e9d3c1d3c60c","year":2016},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:09.871016Z"},"links":{"citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:28719be98ba6d7244a12e24802ca1cbd03e5974c3c4df6058b78dd30b0d79b82","observation_id":"ce67a20e-5d90-4369-b8f9-95c55f3b29cb","resolution":{"observed_at":"2026-08-07T06:07:10.259307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.07273","last_updated":"2025-03-14T13:33:00Z","snapshot_observed_at":"2026-08-07T17:16:58.124408Z","submitted_at":"2025-03-10T12:53:57Z","title":"Fair Termination of Asynchronous Binary Sessions","version":2},"cited_work":{"arxiv_id":"2503.07273","doi":null,"metadata_source":"pith","pith_arxiv_id":"2503.07273","snapshot_observed_at":"2026-08-07T06:07:09.998243Z","title":"Fair Termination of Asynchronous Binary Sessions","venue":"cs.PL","work_id":"251e8d5a-7530-488b-9ac3-97b3e508ab63","year":2025},"citing_paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T06:07:08.735662Z"},"links":{"cited_paper":"/paper/2503.07273","citing_paper":"/paper/2506.06078"},"observation_digest":"sha256:cd3cf7177149ae787f0ca10250a0cf42c9edcc10d6aa50108677658bb4904038","observation_id":"68d6d63f-90f7-41ed-a406-f5338dbf7b18","resolution":{"observed_at":"2026-08-07T06:07:10.061729Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.06078","last_updated":"2025-06-06T13:34:23Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T05:58:21.730093Z","submitted_at":"2025-06-06T13:34:23Z","title":"A Sound and Complete Characterization of Fair Asynchronous Session Subtyping"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":4,"verified_exact":0,"verified_fuzzy":8},"total_outbound_references":14},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2506.06078."}