{"as_of":"2026-08-14T22:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a7bb5fe98996f0a73ee96994df567d78c5365c824063b18b04cb4f0e35f56493","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T13:00:06.264459Z","state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2507.21317/citation-record","integrity":"/paper/2507.21317/integrity","json":"/paper/2507.21317/citation-record.json","paper":"/paper/2507.21317"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11417170","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T13:00:06.333512Z","title":null,"venue":null,"work_id":"6d3797a5-e2e3-40b4-b339-aa68dcb8c1c0","year":2007},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.235914Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:567dfc7896b6657de509e559883f36f3f8b8b7b20afad4b957ba2df184f49fe9","observation_id":"71b810f6-00c5-4ec3-91ae-33786d08552c","resolution":{"observed_at":"2026-08-06T13:00:06.336366Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T13:00:06.651810Z","title":null,"venue":null,"work_id":"aeda7335-8c3c-4259-b39a-7867227697b5","year":2004},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.239381Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:4f54e2b4bbd79647105c3d7420c6aa363fe15b5cd82dc507a4471f6498510827","observation_id":"b422f520-2d73-41a1-8ff9-b1dba0f2d94b","resolution":{"observed_at":"2026-08-06T13:00:06.654585Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T13:00:06.242078Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.242078Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:e57d61eecf9ccfc0db0fd2d5092ebf162d410d5f1457d7d9d015474401daec6d","observation_id":"808f0dfc-c4c3-4ac0-b1c3-4be4e08cb0c1","resolution":{"observed_at":"2026-08-06T13:00:06.242078Z","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.17760/d20316239","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":null,"work_id":"87efba8a-9a5a-42a8-8e0c-2e43cc088f73","year":2018},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.244982Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:18a34c1d8aedf0087e2b4bd278e28f6496a0e3c59eb8de88f256519f338b94f7","observation_id":"4d23e105-6007-4743-9503-f2fd20c12348","resolution":{"observed_at":"2026-08-06T13:00:06.326956Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1702.04908","last_updated":"2017-04-19T13:26:43Z","snapshot_observed_at":"2026-08-14T21:16:13.847794Z","submitted_at":"2017-02-16T10:12:00Z","title":"A monad for full ground reference cells","version":2},"cited_work":{"arxiv_id":"1702.04908","doi":"10.48550/arxiv.1702.04908","metadata_source":"pith","pith_arxiv_id":"1702.04908","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"A monad for full ground reference cells","venue":"cs.PL","work_id":"60156320-b0d5-4e40-a4a4-450cc146b21a","year":2017},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.247782Z"},"links":{"cited_paper":"/paper/1702.04908","citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:c9f0e16a352fd0ceb3f7dcf4bc96377070de785f0595e50058eeb04bd6f9b8a7","observation_id":"d1cd1c74-0c2c-4c14-aab1-81a9c5811806","resolution":{"observed_at":"2026-08-06T13:00:06.317504Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T13:00:06.251146Z","title":"Krishnaswami, Pierre Pradic, and Nick Benton","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.251146Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:bc070190fb89f0dd79c81f08eddb923eb2eba5099074c02c6d676d032b498a5e","observation_id":"0dc86e6e-1030-48ee-8fbf-e01743a9f2c1","resolution":{"observed_at":"2026-08-06T13:00:06.251146Z","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-06T13:00:06.254011Z","title":null,"venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.254011Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:bf0c5de149d2f281b301dd405c4ebd2b000053bf758c91b0b3fbe4a9e9ac6e0f","observation_id":"c765d723-b9d2-4cf4-89a1-ed3f955f34c2","resolution":{"observed_at":"2026-08-06T13:00:06.254011Z","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/3-540-45793-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":null,"work_id":"9f41bfc4-dfbb-4d1d-94e0-a915c0d70a4c","year":2002},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.256466Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:fe0068fc06e3544f9e6cc73636c899e349e25e85364f46bffa9b9dcc131581c2","observation_id":"01152101-32bb-461d-a5ef-12f31bc97ac4","resolution":{"observed_at":"2026-08-06T13:00:06.298890Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T13:00:06.642848Z","title":null,"venue":null,"work_id":"1ea3a5cf-b137-4cdd-98e1-9b0bcad6e492","year":2016},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.259264Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:89628f535dc9c2a8a4b703f10fe060a2c0c440c1eb7098bfba00f83c1ea50d59","observation_id":"6fee0899-cec7-48a1-bb84-169e7b39ecf8","resolution":{"observed_at":"2026-08-06T13:00:06.645757Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7721.23779","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T13:00:06.415011Z","title":null,"venue":null,"work_id":"8adcf50d-8b7a-42d1-9161-6f317533faa0","year":1996},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.262102Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:fb06bcd156244b7bdaa13e250374093d324558d94ef83141f3a5636964ae78ca","observation_id":"d2647d33-64a7-4e4a-994a-1aba94732c15","resolution":{"observed_at":"2026-08-06T13:00:06.419618Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10703-017-0292-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":"Murawski and Nikos Tzevelekos","venue":"Formal Methods in System Design","work_id":"ba764aac-73fb-4722-8cf6-75f2c3f799d5","year":2018},"citing_paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:06.264459Z"},"links":{"citing_paper":"/paper/2507.21317"},"observation_digest":"sha256:020daea2ac95fe6b7931c076e62b2036f1d61c5e24c0b9c2350c1a9ead90fe4d","observation_id":"f9681e23-0581-490d-8fa0-86cc65eaf885","resolution":{"observed_at":"2026-08-06T13:00:06.290291Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.21317","last_updated":"2025-07-28T20:19:06Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T13:00:05.559229Z","submitted_at":"2025-07-28T20:19:06Z","title":"One Weird Trick to Untie Landin's Knot"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":5,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":11},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2507.21317."}