{"as_of":"2026-08-11T20:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:994d63b525e7ca731e4c84b608b18bf9698bc870bb7f1697570e82fbca2559fb","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:41:22.514203Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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-07-03T14:11:08.611671Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"cited_work":{"arxiv_id":"2507.10482","doi":"10.48550/arxiv.2507.10482","metadata_source":"arxiv_reference","pith_arxiv_id":"2507.10482","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Orthologic","venue":"ArXiv.org","work_id":"c9df3210-fc5e-4bd3-9011-59d874215933","year":null},"citing_paper":{"arxiv_id":"2607.01734","last_updated":"2026-07-02T05:44:10Z","snapshot_observed_at":"2026-07-07T00:07:13.555571Z","submitted_at":"2026-07-02T05:44:10Z","title":"Reformalization of the Jordan Curve Theorem","version":1},"reference_index":224,"source":"arxiv_source","source_observed_at":"2026-07-03T14:11:08.611671Z"},"links":{"cited_paper":"/paper/2507.10482","citing_paper":"/paper/2607.01734"},"observation_digest":"sha256:9b1764d2bb5461ff5858860064293ef1e09b7f0d9b9e2153e680249eb3dec9a5","observation_id":"9a39376b-b664-4c97-9fb1-c070ff411e50","resolution":{"observed_at":"2026-07-03T14:18:22.354865Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.10482/citation-record","integrity":"/paper/2507.10482/integrity","json":"/paper/2507.10482/citation-record.json","paper":"/paper/2507.10482"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4675.17784","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:23.745680Z","title":"Wimmers, and T","venue":null,"work_id":"f30b7a14-4f68-4f67-979f-36d103e4522e","year":1994},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:19.705977Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:a5c9767fe19127dc216533f872a2aeeea04db99432084a8308bcdcdfd73179c9","observation_id":"ae40a5c8-4b99-4846-8c6e-ee3b88d1d4f1","resolution":{"observed_at":"2026-08-06T17:41:23.752927Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:19.780415Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:19.780415Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:6707099c46645f3e8a3ec87b5fd683ffd67cac91973877d6a19800aa5acd9005","observation_id":"b3c10f74-8f0e-40fe-8461-1767a2cd329a","resolution":{"observed_at":"2026-08-06T17:41:19.780415Z","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-06T17:41:19.862781Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:19.862781Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:a49cbdab9adbec3dd3a3319873e3484cb26b3bf674caa71f136dee97eea1812a","observation_id":"e132600f-8f6f-489c-8e31-b910bb0eb56a","resolution":{"observed_at":"2026-08-06T17:41:19.862781Z","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-06T17:41:23.992828Z","title":"Sankappanavar","venue":null,"work_id":"35915648-4c0f-41f8-b4aa-84ce20908672","year":1981},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:19.943490Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:6abcd0660011c34eb7ebb978036f7045a741b6348049a87615d59aaf54fef3bb","observation_id":"45d2772b-94d8-4c43-bdce-9b3f1c8b219b","resolution":{"observed_at":"2026-08-06T17:41:23.997662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:20.034955Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.034955Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:5957c98bd3d0c16126786cc2e3c4d8342e5b6e52cda88866f6e72dfeadd16223","observation_id":"d8b3d8b4-6b5e-4bd8-8209-d3329057915b","resolution":{"observed_at":"2026-08-06T17:41:20.034955Z","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-06T17:41:20.122498Z","title":null,"venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.122498Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:b8b98b24bebf2345470cd1fb7d080bdff8ea0cb2b1500d7cd57f4194e61f04f2","observation_id":"849aa33a-dff5-41a0-bfba-8b39427be77d","resolution":{"observed_at":"2026-08-06T17:41:20.122498Z","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-06T17:41:20.210377Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.210377Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:e5308e63721a2e41506fd1d254308971f18833e88aa51c7dca93a47a01286307","observation_id":"8ac228cb-25cd-4858-8109-c24ce3149610","resolution":{"observed_at":"2026-08-06T17:41:20.210377Z","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-06T17:41:20.291416Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.291416Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:2fdc62e90c46e952d39da10132844dc5fba4b48a4ff3bdea1cf6c9c70f160309","observation_id":"64e9454a-46d2-4a02-9c60-dbb6238d47b2","resolution":{"observed_at":"2026-08-06T17:41:20.291416Z","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":"7839.21785","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:23.404085Z","title":null,"venue":null,"work_id":"a5af16b0-f9fc-4c09-b82b-0b663b9e4aa0","year":1995},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.381090Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:eb1c5756e3ac8fe761fbd4e106b1129ee3c5dd7621bc85ba29462eb64d97bd03","observation_id":"7d5d9aaf-7181-4fd9-9789-facaa59474a1","resolution":{"observed_at":"2026-08-06T17:41:23.411391Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:23.978311Z","title":"Informatica Universita di Torino","venue":null,"work_id":"e221eafc-f810-466b-9e60-b20a5c701ac6","year":2014},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.464028Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:5d5e3e3c4bb308f36d70aa243062832d3259f1c9468dd600c5ba9d8e5adf23cb","observation_id":"41b01331-979b-41be-ad4c-ec4ac3396650","resolution":{"observed_at":"2026-08-06T17:41:23.982785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:23.959850Z","title":null,"venue":null,"work_id":"6040864f-2db4-462d-bd9c-bf4649da07b8","year":2017},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.520927Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:53547a8fe525fa55f5014aef386acf7ae2ee3d3fbf4f4d6734b7a0325d40fe2f","observation_id":"402082a5-473b-4adb-8288-622db65800b0","resolution":{"observed_at":"2026-08-06T17:41:23.964660Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:20.601125Z","title":"Dowling and Jean H","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.601125Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:7297c2da82499accb91cab8fcb34aaad2d19d89669d6e2dea4a96147a2382b38","observation_id":"0c1b83f6-a40f-4b2b-b047-dea0b70d4fbb","resolution":{"observed_at":"2026-08-06T17:41:20.601125Z","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-06T17:41:20.684557Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.684557Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:445eda4073f1627436335cd3590a114476a65c2f87bf3c08c50f16ebb0cc588c","observation_id":"a18c975c-e1df-4247-a7e0-099ded5d43bc","resolution":{"observed_at":"2026-08-06T17:41:20.684557Z","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-06T17:41:20.768069Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.768069Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:6242cc30add1c21f61f36b22b158cfa16ca144a2894fc8f9d5be24aa492d6b07","observation_id":"856fb310-25b7-48bd-bfcf-f8a7c60fa1f2","resolution":{"observed_at":"2026-08-06T17:41:20.768069Z","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-06T17:41:20.855447Z","title":"Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.855447Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:faad7c366cfe102fcbfd7ab3ac452b4feaea108e805811d4edcabdff65c48712","observation_id":"324eb558-7b50-4f74-a472-301a6f5322ed","resolution":{"observed_at":"2026-08-06T17:41:20.855447Z","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-06T17:41:23.945141Z","title":null,"venue":null,"work_id":"ac5f8d4a-7046-49d4-aece-06fe90a9706a","year":2023},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:20.938915Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:e6389890d5c9421a2cc97fb32a26337cf1165424de8ed653de637f3a55e709c3","observation_id":"f9efefd4-62e3-4fb7-a734-d4c74c366cf9","resolution":{"observed_at":"2026-08-06T17:41:23.949701Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:23.929364Z","title":null,"venue":null,"work_id":"9d35af0b-7ca7-4bbf-8a2e-27644ff1e644","year":2024},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.032537Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:b4466d0aea4eff50f0726e4f335da2222ec3879f791cbe58d73bd211b32e61c4","observation_id":"528afea6-6cef-4d52-b01c-86479fa3e513","resolution":{"observed_at":"2026-08-06T17:41:23.933823Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:23.914778Z","title":null,"venue":null,"work_id":"a54771fe-211c-4d67-9aca-1da8a5860930","year":2023},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.041443Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:3f34ff92348c4734e6d1ae942eb6dd8e19380097a109ef6808cf05d246b57a27","observation_id":"5914157d-02c9-4182-9fec-e440d0a1fd2f","resolution":{"observed_at":"2026-08-06T17:41:23.919384Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:21.118647Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.118647Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:f8ac9d5b37d1688436fabdfc02db503bca8dd856a64a1b04265e8826dd15a781","observation_id":"e6bcbb58-c246-430e-ab55-9a3aa9198715","resolution":{"observed_at":"2026-08-06T17:41:21.118647Z","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-06T17:41:21.213207Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.213207Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:1f957051fd690173bb71de99f201b5053777e917ad85b72743d95bef5887f71a","observation_id":"882ba653-00a5-4f25-8388-657f60282013","resolution":{"observed_at":"2026-08-06T17:41:21.213207Z","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-06T17:41:21.316541Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.316541Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:e7d479f4f17202a693820f23ae431ae383c85bb6ea610ad0b1ac6a3081339978","observation_id":"eb669f46-7968-4405-bbfd-8e16c019edd8","resolution":{"observed_at":"2026-08-06T17:41:21.316541Z","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-06T17:41:23.899675Z","title":null,"venue":null,"work_id":"5d691770-afe1-4114-bf0a-7cccc0db28e3","year":2025},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.459659Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:705ed21200d68e034e6cd617a23e48d426471c988ba75f4cbcbd0e0a33af1794","observation_id":"2c3fed62-5732-4827-94ad-f5f7ba677ecc","resolution":{"observed_at":"2026-08-06T17:41:23.903876Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:21.626177Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.626177Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:044cd42256b96a143160968e6a8d9a38b5cc2c16f65a0fed24c56f2a4513d882","observation_id":"420cca35-fed4-48d5-83fd-f8c2dfcde524","resolution":{"observed_at":"2026-08-06T17:41:21.626177Z","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/bfb0055089","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":null,"venue":"Lecture notes in computer science","work_id":"ecc7bbc7-2738-4ece-b2e6-37ac6afc57b2","year":1998},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.748331Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:1afe056cdbef2f3dc323823749b4feab56c04f68262ca2d8c47db1199e8ce374","observation_id":"d37206f6-eea7-454d-9df3-55bffdd1ce43","resolution":{"observed_at":"2026-08-06T17:41:22.676558Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:23.883873Z","title":null,"venue":null,"work_id":"b40b730b-8550-4788-9f58-d0d4ee1b5e14","year":1998},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.850807Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:0d09d49d1cadb66224ca8618009f6acdfbffd438a61fbc0a0a44c5c4055b29b7","observation_id":"1e9a4c4e-dd55-4fc6-8b7e-8510f4c4b24f","resolution":{"observed_at":"2026-08-06T17:41:23.888926Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:21.977073Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:21.977073Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:9ed0fda526d66ca7a47926c4baf2f48e791bcadd3ae9047c79bfc664e8253098","observation_id":"275b5f51-1ced-43f9-b252-c838f4557d47","resolution":{"observed_at":"2026-08-06T17:41:21.977073Z","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-06T17:41:22.076911Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.076911Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:447a219ca711959f4f2485ee5b60dbb92c73eff5daf0e53161645339d143cda7","observation_id":"840adc92-a981-426a-8cd6-f34b8fa9b94d","resolution":{"observed_at":"2026-08-06T17:41:22.076911Z","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-06T17:41:22.252160Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.252160Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:c0609ca7fca611df09e68cea256e5f5cd566e2663cf1d64f4bf2d8830e64d811","observation_id":"914cfb7b-5baf-441f-aa3d-8ec67608331b","resolution":{"observed_at":"2026-08-06T17:41:22.252160Z","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-06T17:41:22.398630Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.398630Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:8f7433357412170cbeb32a08b7058a2e9dcf7781367cd4225cd3a7cf75af3767","observation_id":"c4d5d6e1-9593-4526-b49e-21745fe78b3d","resolution":{"observed_at":"2026-08-06T17:41:22.398630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12100","last_updated":"2020-03-26T18:33:27Z","snapshot_observed_at":"2026-07-06T09:07:40.397451Z","submitted_at":"2020-03-26T18:33:27Z","title":"Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12100","snapshot_observed_at":"2026-08-06T17:41:22.428851Z","title":"Kuncak and M","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.428851Z"},"links":{"cited_paper":"/paper/2003.12100","citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:3a61e884e75a9fb230711219ab7c54ae0abad612b1e3614d2dc75365174739ff","observation_id":"9a5fcf98-5636-4801-9f5b-2f89a4b8f807","resolution":{"observed_at":"2026-08-06T17:41:22.428851Z","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-06T17:41:22.434104Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.434104Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:2fd5499945c3e0eebd6f499882299283b98f373b79a705ccb3c03b0a42f814b3","observation_id":"57f10908-176d-4af4-b743-9cd67598c725","resolution":{"observed_at":"2026-08-06T17:41:22.434104Z","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-06T17:41:23.865192Z","title":null,"venue":null,"work_id":"2140b480-e367-4ecb-b0a3-a0c5351f90ff","year":2025},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.439081Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:50d13d6bed6647f8f3d31bbe11f5810b659f90654501f442a47f95fc221294a9","observation_id":"2357c3b5-c8c6-400b-8b8c-2258534c1de7","resolution":{"observed_at":"2026-08-06T17:41:23.872719Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0019-9958(86)80019-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"MacQueen, Gordon D","venue":"Information and Control","work_id":"b4096088-5ea5-4de8-ac58-8ae5cc3ff44f","year":1986},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.443224Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:c73795c10f9fba7c5e6b56ac759d13afb7468cdefd885c8d100752baa57163cf","observation_id":"7ee00162-d360-4033-9499-434bc0cb5560","resolution":{"observed_at":"2026-08-06T17:41:22.608454Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:22.448030Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.448030Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:98ade9713f940965260be6aa1523f3fd11595b14225c429eaa044464bb6353e5","observation_id":"50da88bc-eaa2-4059-a794-b6a5e5abd5cd","resolution":{"observed_at":"2026-08-06T17:41:22.448030Z","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-06T17:41:23.848033Z","title":null,"venue":null,"work_id":"8737b4c4-ad05-4ae7-ae3e-2caf8cfdc28b","year":1999},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.452696Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:2cc252f0133ae6550b38be2eb132f764a37d17da986283ae2c846c5e79024b0e","observation_id":"0ca54800-1bdb-482a-a3f7-9d5191a9c3cc","resolution":{"observed_at":"2026-08-06T17:41:23.852128Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:22.457169Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.457169Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:3c0827bee5a16f6fa5ebcf1185c96e71004de999bc80b78f0eb59e6cb28cbeb9","observation_id":"80f4308f-953e-4338-9da5-e6a67657139f","resolution":{"observed_at":"2026-08-06T17:41:22.457169Z","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-06T17:41:23.831113Z","title":null,"venue":null,"work_id":"803cac28-0ef5-4a53-9fc5-6ff66c95c7ac","year":2025},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.461231Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:4f3be19969a3be4c8a196872910fbbea482f5bfb67f3b86e0ad735976d9f63ac","observation_id":"057ef311-7d40-4f2a-b3ad-e65cf35fbfa0","resolution":{"observed_at":"2026-08-06T17:41:23.836005Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2627.23264","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:23.205363Z","title":null,"venue":null,"work_id":"5fe728f2-68b6-4d2d-a02c-7e2ea8881633","year":1996},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.465401Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:cfdc9e88452301eb36b6560d595868c14aaed0e4cc63ac7ab321fb95f219fd46","observation_id":"af941a89-3916-42b9-be17-3570d2e5d1e1","resolution":{"observed_at":"2026-08-06T17:41:23.212219Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2001.2963","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:23.119069Z","title":null,"venue":null,"work_id":"b9a543b4-2c2d-4aa6-9411-ef41e6c96f95","year":2001},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.469565Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:c6fe7994ea1557e4c9c07838ab505be0548647b482f17a4a1a3d8ccc513ee55f","observation_id":"2bd23d79-0251-49cf-8dc6-14f4c685b21e","resolution":{"observed_at":"2026-08-06T17:41:23.126373Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:22.473737Z","title":"Bierman, and Panagiotis Vekris","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.473737Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:e61d10696bc6ed2b545e04fe6c97308d9801fb257d86d0e4e2305f1dc74442a6","observation_id":"defe1336-731d-4075-951c-a62c3a4fa889","resolution":{"observed_at":"2026-08-06T17:41:22.473737Z","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-06T17:41:23.814800Z","title":null,"venue":null,"work_id":"0841e8cb-c6a7-4ab8-9272-8afe96fc56db","year":2004},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.478455Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:befbf98f49949ab1d06f853112388a2bd45bb47ae4767b850490abb21af51ade","observation_id":"9b73cd7d-9e80-43dc-8406-ef0a07db0c6d","resolution":{"observed_at":"2026-08-06T17:41:23.820037Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:22.482835Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.482835Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:2b6053abd19f28ba8b8b630cd01dd2e3ab6f73817dc3152c0966a7d4db41b1f8","observation_id":"0c178eb3-0924-46fb-819b-2c5a35d1aae8","resolution":{"observed_at":"2026-08-06T17:41:22.482835Z","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":"3272.50329","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:22.951350Z","title":null,"venue":null,"work_id":"3de398b8-fcf0-4256-a573-2302c962bb28","year":2002},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.488331Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:304664ea454a865be54c3164ac3395482a2fab9c05280019324f8ee62d1e4e26","observation_id":"dbce579e-565f-4b84-8117-55275bfcc462","resolution":{"observed_at":"2026-08-06T17:41:22.958602Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:23.799388Z","title":null,"venue":null,"work_id":"9061d00c-a68e-4473-8b0d-0aa2b2a132d2","year":2021},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.493043Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:e3a1f92735cd9a8687f51c5e64dcdd927d7533095583f3d464978d490bb5ede9","observation_id":"00fdb6cb-8624-4c7d-938d-7b6f822f77ed","resolution":{"observed_at":"2026-08-06T17:41:23.803988Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1992.18554","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:22.858425Z","title":null,"venue":null,"work_id":"24b8bb4f-2fbd-4149-91a5-5f6a17a4dcf8","year":1992},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.497544Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:976145400d613b1cc46612a0ac1b259ad6fb8eb66fd2fcd606ef34b5b46e854d","observation_id":"7a7a1d85-c256-4bf5-b763-b5d8b1183584","resolution":{"observed_at":"2026-08-06T17:41:22.866706Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:22.501951Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.501951Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:e6c7e9f8b4115975df8a93ae863f15f8b8b046169a0978697aa3eafdc8707d62","observation_id":"b6649694-9d4a-45d4-8205-9f219f34ad7a","resolution":{"observed_at":"2026-08-06T17:41:22.501951Z","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-06T17:41:23.782934Z","title":null,"venue":null,"work_id":"b3220482-f963-4e11-bf58-3e3f2499d31e","year":2020},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.506180Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:7dc42c05cba51ef7b31416bdb31f033a059a6928c43bdbe1150796e018d619c8","observation_id":"f395e3d6-e882-4d0b-be5c-8573ba49db06","resolution":{"observed_at":"2026-08-06T17:41:23.787638Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/1969001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Annals of Mathematics","work_id":"9d11a7f6-d5d3-4a08-8aac-c75af702b257","year":1941},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.510064Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:b51f8e8d57f85d29c28b622d121ffc4d8d4a773acc640d3d49b19b6dbad81cac","observation_id":"8907c537-e38b-48cb-bd59-5a002fbe217f","resolution":{"observed_at":"2026-08-06T17:41:22.550308Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06T17:41:23.763961Z","title":"2015-2025","venue":null,"work_id":"594481c4-b9fc-4bce-a23d-bc8e9470d92b","year":2015},"citing_paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:22.514203Z"},"links":{"citing_paper":"/paper/2507.10482"},"observation_digest":"sha256:ea5124818e5e6ec9b1d4d591e8508e0c8f24e2a9efeff571a1d12efcba6561df","observation_id":"25111c63-5b9f-4a02-863e-d9a6acc19765","resolution":{"observed_at":"2026-08-06T17:41:23.769318Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.10482","last_updated":"2025-07-14T17:01:18Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T17:27:20.092752Z","submitted_at":"2025-07-14T17:01:18Z","title":"Orthologic Type Systems"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":0,"metadata_mismatch":5,"parse_uncertain":0,"unresolved":37,"verified_exact":4,"verified_fuzzy":3},"total_outbound_references":49},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 1 inbound Pith citation observation for arXiv:2507.10482."}