{"as_of":"2026-08-10T03:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9f9cc6aac1a1fb971eeb5f501d6b051d78836921d532a26345c6710a61b24db1","coverage":[{"denominator":53,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:40:14.727897Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.14137/citation-record","integrity":"/paper/2607.14137/integrity","json":"/paper/2607.14137/citation-record.json","paper":"/paper/2607.14137"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:40:08.486999Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:08.486999Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:134f45b98beacbeb9ddd7b5cacba134ec0c794c3e710f733f16497561c66d586","observation_id":"23a9f2ed-7536-4f65-93cb-73923c08c4e7","resolution":{"observed_at":"2026-08-02T07:40:08.486999Z","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-02T07:40:08.606723Z","title":"Gray, Robert M","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:08.606723Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:abbd9e7ea6d980d3c15b80b0afb3d755efc0f39142cd404d53129b3290efda8d","observation_id":"2e6f47a4-f958-4a24-b441-462d52c621c0","resolution":{"observed_at":"2026-08-02T07:40:08.606723Z","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-02T07:40:08.772598Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:08.772598Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:3176e8a9e2122599e208cc40070a55a930396f17e19787d81f8ae58c52cb68ac","observation_id":"df6903d2-e16e-4b13-bf1b-44bf597cab55","resolution":{"observed_at":"2026-08-02T07:40:08.772598Z","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-02T07:40:08.841646Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:08.841646Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:34b58dc786315e9b4e860ba11769d44c35809bc1a6cd57f5855bfaa451fd1c83","observation_id":"11c70c0d-da65-47e9-a9e6-aa0678bda51f","resolution":{"observed_at":"2026-08-02T07:40:08.841646Z","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-02T07:40:08.944964Z","title":"Paul- son","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:08.944964Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:b3cb533a1f33aaaa8bfd82ed18f4d52576a9d0ff4f54d3b2b34e189a1a6a4064","observation_id":"bc174767-a372-4161-9de6-d0fa5edf4758","resolution":{"observed_at":"2026-08-02T07:40:08.944964Z","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-02T07:40:09.045740Z","title":"Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:09.045740Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:0e8e1c66fe66eff34dc3478b1e84872be777dda01af43fe9eb5671b69831f57b","observation_id":"70da0d3a-e520-42dd-90fb-b82e1d5ece8c","resolution":{"observed_at":"2026-08-02T07:40:09.045740Z","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-02T07:40:09.109874Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:09.109874Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:9c0f81791fc7e78c3f1b635be7a4b528334bf7733b5e6d7b929114b15197e1ec","observation_id":"b3dfe603-4cb5-4def-9331-328dbbe5e546","resolution":{"observed_at":"2026-08-02T07:40:09.109874Z","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-02T07:40:09.255917Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:09.255917Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:17e4923d33e89ff9574493fce585bfa2c44d469ef36e84a23d9e3f19f15f5bf9","observation_id":"c492cd39-5254-46f3-ada3-82be0a6addf8","resolution":{"observed_at":"2026-08-02T07:40:09.255917Z","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-02T07:40:09.363376Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:09.363376Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:f672a7aadb26cab6a8929e7106c2893c0a14a8397e9d11b008cfab85bc05a7ff","observation_id":"d9f6cab6-d992-4be6-a3ec-13002b0ce9b7","resolution":{"observed_at":"2026-08-02T07:40:09.363376Z","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-02T07:40:09.483587Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:09.483587Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:d3e261b9535d349eb60534c02f1f8e8856e7c0838ed770f42403faf54f414939","observation_id":"229eee40-4913-4036-a762-45a283882f76","resolution":{"observed_at":"2026-08-02T07:40:09.483587Z","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-02T07:40:09.667786Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:09.667786Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:b562fb38bfa256e66c35f85dc222771910d8ee5538d1627352397969a5067729","observation_id":"17181642-c282-4ba5-90b4-5179c152f765","resolution":{"observed_at":"2026-08-02T07:40:09.667786Z","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-02T07:40:09.848973Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:09.848973Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:3c89fe10968eb0ef4a57a42e633ff5b9817eb396679632c5c11337fd27d3065e","observation_id":"18b61a86-f57d-4401-a728-e2e3906b94c8","resolution":{"observed_at":"2026-08-02T07:40:09.848973Z","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-02T07:40:10.001174Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:10.001174Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:b9d7997c6980a7a2915658348d663819608278d8a387001f93068e060fcfa798","observation_id":"cbadad86-693c-44ac-9605-3aa8e92f10b3","resolution":{"observed_at":"2026-08-02T07:40:10.001174Z","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-02T07:40:10.140483Z","title":"Knight and Nancy G","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:10.140483Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:c3ed3b703d1daa4c5714ecedaa4ccdb2c8f5794f7bd5d3679121ceebf6b495af","observation_id":"66cc82f9-6589-4179-9c28-a72dfb407697","resolution":{"observed_at":"2026-08-02T07:40:10.140483Z","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-02T07:40:10.297653Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:10.297653Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:836094ca8134df1f103332115fe91da6c1ba7afe7d685fd6428d5dc7d8f4140e","observation_id":"40de6354-df8e-4ced-a73d-3636e3a664af","resolution":{"observed_at":"2026-08-02T07:40:10.297653Z","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-02T07:40:10.445214Z","title":"Myreen, Michael Norrish, and Scott Owens","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:10.445214Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:1a4617bc1827f5463999be69f472abc1ca5780ae4b7d3c582326d22d7b333815","observation_id":"bd68ce12-62f7-492a-828b-3e36c04f35c8","resolution":{"observed_at":"2026-08-02T07:40:10.445214Z","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-02T07:40:10.740825Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:10.740825Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:b8410be070f75cd5eae45f565f1a48bc21cdcd17ef5f9b90c5680f823ee92aa9","observation_id":"d790ac11-b8d1-4e56-a127-49ac6cce3ff4","resolution":{"observed_at":"2026-08-02T07:40:10.740825Z","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-02T07:40:10.883595Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:10.883595Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:00725eef0ee30db6ed5516e89a02517de80b334ffa92bbef14cd523fc0fdade9","observation_id":"13ebaa47-6c31-474b-b986-8cabfd5a46f4","resolution":{"observed_at":"2026-08-02T07:40:10.883595Z","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-02T07:40:11.005345Z","title":"Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.005345Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:7211cdf3e757466f52bea6eadebb0bcaccd204fb94643288bf4b9f19d6f6437e","observation_id":"8de5714e-0f79-40ba-a1de-fff90cbe188e","resolution":{"observed_at":"2026-08-02T07:40:11.005345Z","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-02T07:40:11.115753Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.115753Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:77b18c5628789bbdec1714f7ce0b01cb89545c7d317868540a20e153ba5c9595","observation_id":"ce1dc321-023a-4da0-8348-9b4f015fbf83","resolution":{"observed_at":"2026-08-02T07:40:11.115753Z","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-02T07:40:11.223678Z","title":"McConnell, Kurt Mehlhorn, Stefan Näher, and Pascal Schweitzer","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.223678Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:52f1ae6bfed93936f30569c63730f5849a688801938ee7438bf038a86f4f9c15","observation_id":"478c6dc4-7cb8-46de-a374-616bd77b8338","resolution":{"observed_at":"2026-08-02T07:40:11.223678Z","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-02T07:40:11.274853Z","title":"McKeeman","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.274853Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:28ee75f9490ea199aba382cee9e0f7da4aca7cc7b789050e7e64aa5edd438aac","observation_id":"2c2478d4-d4db-45fa-adbb-d8aee44581a7","resolution":{"observed_at":"2026-08-02T07:40:11.274853Z","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-02T07:40:11.405536Z","title":"Myreen, Michael J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.405536Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:a24d68554c716f918395fdf20aa30e817547dda0a608479155f77b0d50a7be65","observation_id":"6a036a6c-9c6a-494a-8b77-f85f23213af0","resolution":{"observed_at":"2026-08-02T07:40:11.405536Z","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-02T07:40:11.564920Z","title":"Namjoshi","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.564920Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:7654e8d4d728fda8fcc85995c24026a94a10d89f94789d2cf1fe2ba18fce17bc","observation_id":"d3f6da84-ed69-4004-9c1f-7c88d4d4c4c7","resolution":{"observed_at":"2026-08-02T07:40:11.564920Z","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-02T07:40:11.672502Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.672502Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:b20b07ad3cc227a0d56332272e5729c576e59c1b1bda385eb4aa74d11b52b4ae","observation_id":"ebc05cee-afb5-4216-b0ee-e98dce32e414","resolution":{"observed_at":"2026-08-02T07:40:11.672502Z","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-02T07:40:11.795824Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.795824Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:37853f00bc8f9e46dfbf825553a1890666a2e86d0186276d763730b214d9deaa","observation_id":"9f46f372-49dc-4ee7-a126-bb87d2d6c0bc","resolution":{"observed_at":"2026-08-02T07:40:11.795824Z","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-02T07:40:11.917165Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:11.917165Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:0eb61682fb12f278e8bac5d9a7773e0daccdfa1c6fb55f3329bf4d34f0f71efb","observation_id":"49f5bf96-1a9b-406b-8f99-7475c3703557","resolution":{"observed_at":"2026-08-02T07:40:11.917165Z","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-02T07:40:12.044287Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.044287Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:905facf0337013a53bcbd6b93a3ddff886534e4d557960feed3b9f8508d60763","observation_id":"85209196-3abd-4c75-b6f4-9e53e915c8db","resolution":{"observed_at":"2026-08-02T07:40:12.044287Z","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-02T07:40:12.105539Z","title":"Perconti and Amal Ahmed","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.105539Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:baa53a21d6ae0fa38dd5b213c3aaa65ece4776255b6ad052fffb4ef2f5b36a54","observation_id":"40151615-ace6-4a99-a631-ab3ac35b0ea3","resolution":{"observed_at":"2026-08-02T07:40:12.105539Z","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-02T07:40:12.141172Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.141172Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:ed92de8d3887fdb1bc0bf02eaafd08d13f974c85042f037de347a12eb44a8210","observation_id":"76e1b4a3-78ae-44c5-aab5-bec91163dc5a","resolution":{"observed_at":"2026-08-02T07:40:12.141172Z","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-02T07:40:12.201720Z","title":null,"venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.201720Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:75a66de35c5e69c5f6a7a3edbb3b2827ee8c631f78713bef77a749d2b07607ac","observation_id":"e54507e3-35c5-4684-b5a4-5e4db86d8d5b","resolution":{"observed_at":"2026-08-02T07:40:12.201720Z","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-02T07:40:12.316213Z","title":"1999.Credible Compilation","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.316213Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:e1b918337a8c973e398448098b18d1a1842adc0de79d0ca31e2e5801b3752238","observation_id":"ecb9c8f0-5307-4567-827f-3be81865c709","resolution":{"observed_at":"2026-08-02T07:40:12.316213Z","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-02T07:40:12.441371Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.441371Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:3eb61f17f904be5d85cbca7b1c816c5fce7a3d09f1b4b6977e9da67bc66d39be","observation_id":"cfc1087c-a4cf-4c80-a1a6-8b63c116f00c","resolution":{"observed_at":"2026-08-02T07:40:12.441371Z","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-02T07:40:12.600213Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.600213Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:592b0aca6fe9d36adf8a34f1411746d3e9a5d7655cfb6d7bfd41c17f7d6f9305","observation_id":"a912bc0f-58be-40ad-916f-05659614ca57","resolution":{"observed_at":"2026-08-02T07:40:12.600213Z","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-02T07:40:12.731061Z","title":"Saltzer, David P","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.731061Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:ef8591573022d9395736778267e5dae74807234ecda459368a10f6b369989fa5","observation_id":"31535fd2-238c-4795-b61e-8332a16ab016","resolution":{"observed_at":"2026-08-02T07:40:12.731061Z","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-02T07:40:12.823028Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.823028Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:3bec4d00179aa796268d112d8b87077a532c85b6c859e7ad956de4b327b3d356","observation_id":"35deac18-bfb9-457b-80d0-518878855f2c","resolution":{"observed_at":"2026-08-02T07:40:12.823028Z","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-02T07:40:12.986033Z","title":"Schlichting and Fred B","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:12.986033Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:d717fe706926b0665627f4cc8a042faf5a8b04c1f9e4ae67fbea350e84d81a86","observation_id":"fbe3dab5-8961-436e-ac63-c3ef6515e2c8","resolution":{"observed_at":"2026-08-02T07:40:12.986033Z","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-02T07:40:13.110044Z","title":"Myreen, and Gerwin Klein","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.110044Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:defe70c35900075db8498e45183bd1aaa03d2b2ab8b9d1ac28146fecd497bccc","observation_id":"b1f7575b-edc6-4b69-864e-5d40cfb54dbb","resolution":{"observed_at":"2026-08-02T07:40:13.110044Z","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-02T07:40:13.317011Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.317011Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:4bd11541366ff6cd332b4f5dba0695a17be2391cc70d79908943d99b86c5b316","observation_id":"e0d1e73e-7509-4a2d-bd86-fdb7f4644d01","resolution":{"observed_at":"2026-08-02T07:40:13.317011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.17807","last_updated":"2024-11-16T21:57:49Z","snapshot_observed_at":"2026-07-06T16:39:16.652626Z","submitted_at":"2023-10-26T22:58:19Z","title":"Clover: Closed-Loop Verifiable Code Generation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.17807","snapshot_observed_at":"2026-08-02T07:40:13.413247Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.413247Z"},"links":{"cited_paper":"/paper/2310.17807","citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:7e934cb5249fe1d20e8af9a6c72dcd2d24df601c25db7c095f780167cef6eba5","observation_id":"6489aab5-d3ff-42ed-9166-1d6787c63f1b","resolution":{"observed_at":"2026-08-02T07:40:13.413247Z","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-02T07:40:13.505533Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.505533Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:f42b463bc5f96d7d9e4de4a4acd14bb1637ce08b27cb258029bd022aa73e8dcd","observation_id":"9b066eca-e561-4530-a67c-b55441e688ba","resolution":{"observed_at":"2026-08-02T07:40:13.505533Z","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-02T07:40:13.567771Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.567771Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:b9885ab2e631515d22f85d2f8ec792c8b94896935db4dff75d840a9481a73a76","observation_id":"53091346-5506-406e-ad86-354be71c5e7c","resolution":{"observed_at":"2026-08-02T07:40:13.567771Z","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-02T07:40:13.735198Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.735198Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:de6850ce5d828f4c5f0f82576b5cd5de5a26a3c9e2a2c411ba88127a0e442376","observation_id":"16f0a651-f23c-454e-b467-353d17adc5a1","resolution":{"observed_at":"2026-08-02T07:40:13.735198Z","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-02T07:40:13.862140Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.862140Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:dcf19db056568469b6494a8b3ccf01d8bf628803c0b05fbdfddb06e2f4f67a39","observation_id":"82e263dc-c973-4140-8768-61cefa9cbb3f","resolution":{"observed_at":"2026-08-02T07:40:13.862140Z","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-02T07:40:13.987179Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.987179Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:a93a9c97eb1b3378206bd93dc6acb149e8d3f9fc7221a81c54b327ec24c73000","observation_id":"e1dc2c91-aa5f-4f12-962f-ae9a06a267c4","resolution":{"observed_at":"2026-08-02T07:40:13.987179Z","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-02T07:40:14.136760Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:14.136760Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:18083f57b6a83692074f84968203048a2e912abb8b1b6dbce87d057d6b9ba2e7","observation_id":"5c3e1c15-2572-4aeb-b7ec-e3b9ab7dc418","resolution":{"observed_at":"2026-08-02T07:40:14.136760Z","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-02T07:40:14.314745Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:14.314745Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:3570f708ad5f0c9ce633e9e19bbb5ceccbf42beaf255b29837c9f689eec84d0f","observation_id":"a6eb6a10-472a-4e47-a37b-7b648b491ef7","resolution":{"observed_at":"2026-08-02T07:40:14.314745Z","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-02T07:40:14.437205Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:14.437205Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:9aba708f8161b8a87f768db4d3c2c4ab5972423dbee43ca3bdf429e1ea0686b0","observation_id":"e8fa5a12-1793-4411-a414-b35e56abe4fe","resolution":{"observed_at":"2026-08-02T07:40:14.437205Z","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-02T07:40:14.558116Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:14.558116Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:a7addd1f7c0a57d9939ac702f080c46853b0ab3029c964ba22804d51750dd74c","observation_id":"b5368805-54ea-45a5-911a-6d7196a2a9d5","resolution":{"observed_at":"2026-08-02T07:40:14.558116Z","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-02T07:40:14.626548Z","title":"By (𝜋2⇒𝜋) -support applied to step (2):𝜋(Λ 1(𝐼𝐵(𝑞)))= 𝜋(Λ 1(Λ2(𝐼𝐶(𝑟))))","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:14.626548Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:5a33565d25c5c57d55aa013e9f62c5c47781faa6664707b1ea8e2bf85ce97e59","observation_id":"4fea5582-85c9-4639-b84f-0e687d9d035a","resolution":{"observed_at":"2026-08-02T07:40:14.626548Z","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-02T07:40:14.727897Z","title":"This form is machine-checked (lax_pasting; telescoped, DRoute","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:14.727897Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:664df785a1e19b5bf8274370ed4558103884e2d7cfef3b4c2429aae271e05400","observation_id":"a4077b4a-cb42-40b4-8bd8-6cbf3db824f0","resolution":{"observed_at":"2026-08-02T07:40:14.727897Z","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-02T07:40:13.213924Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:13.213924Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:a205aa630e25bcdcad02a77a79b4b00b77208ead290d2be0b119b4a7363dcc7e","observation_id":"55a16d4d-f701-4b18-8721-ac6e46429c25","resolution":{"observed_at":"2026-08-02T07:40:13.213924Z","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-02T07:40:10.587441Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations","version":2},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-02T07:40:10.587441Z"},"links":{"citing_paper":"/paper/2607.14137"},"observation_digest":"sha256:5f5df6ef08c7949922d5684ecfd11f42eed08cfd5cdc176b5432624189614036","observation_id":"035aa34e-2836-41e6-a96b-fc455ab08922","resolution":{"observed_at":"2026-08-02T07:40:10.587441Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.14137","last_updated":"2026-07-17T14:29:07Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-02T07:40:06.654743Z","submitted_at":"2026-07-10T14:41:38Z","title":"Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":53,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":53},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2607.14137."}