{"as_of":"2026-08-08T06:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:81a8051b7e7297f342b8bc04e3b16ab1d23d2669b8e1570ac8c355b9732cf995","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:19:13.473333Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.08396/citation-record","integrity":"/paper/2506.08396/integrity","json":"/paper/2506.08396/citation-record.json","paper":"/paper/2506.08396"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:19:16.695521Z","title":"AppleScript Language Guide","venue":null,"work_id":"a75c4982-1735-4cb2-82b9-3b15bd3c5f93","year":2010},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:12.414827Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:65dd5df3c7b4f7ad2603ccf7e64b9904eed8dead808e03ce8588b9c88ff4f127","observation_id":"a9ba550b-9ee8-49c6-8be3-cafc67c1401f","resolution":{"observed_at":"2026-08-07T05:19:16.813561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:16.544403Z","title":"Biermann, Bruce W","venue":null,"work_id":"04381630-dc44-4c0e-b6d3-7c31781114ca","year":1983},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:12.501708Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:a6aee2d6648d3dd63dafd6db3c036dc22ca9bb969185f8e9037fd33c6bebf0a7","observation_id":"73865ba6-9528-4934-aa86-ca7a5d897114","resolution":{"observed_at":"2026-08-07T05:19:16.613860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T04:13:14.044604Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-07T05:19:12.607675Z","title":"Evaluating large language models trained on code","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:12.607675Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:80fb8e21c6ca10413593675348c645e387706b1645ec8d24f36fb825bd8b7ab6","observation_id":"1115e104-658c-415f-b0c3-0a1c52378e4c","resolution":{"observed_at":"2026-08-07T05:19:12.607675Z","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-07T05:19:16.326177Z","title":"COBOL - Initial Specifications for a COmmon Business Oriented Language","venue":null,"work_id":"8cb8356f-bd38-4dc4-aba7-03d98938e9ea","year":1960},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:12.705117Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:b94be54c6d0dcb9f65a17e38d7c03b7fe9da8bd389044b6e82c4797a4301b2d9","observation_id":"7c9b1c3c-f26c-4941-af45-9a0ba93023a2","resolution":{"observed_at":"2026-08-07T05:19:16.416405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:16.150724Z","title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints","venue":null,"work_id":"db8a3115-7684-4284-87d0-84f9d57aadd3","year":1977},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:12.809264Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:56da65007e3f1b6f20312e95303547e5d6b8b97d64cecbe5e9405711e8f33eec","observation_id":"7a83e6d2-f404-445d-9805-e4f0b5292be6","resolution":{"observed_at":"2026-08-07T05:19:16.247575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:15.957548Z","title":"A theory of type polymorphism in programming","venue":null,"work_id":"997db2d5-0ba4-4c3e-98bd-9e0b969a8bd5","year":1978},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:12.901875Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:1f8d2a6c992102906c1416eb01dd68ba678285389c9239a4b1b84b0fa8e16d38","observation_id":"80c37589-1091-4419-9d12-09c18c265c7c","resolution":{"observed_at":"2026-08-07T05:19:16.056723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:15.685664Z","title":"Natural language, semantic analysis, and interactive fiction","venue":null,"work_id":"42a3f5eb-f243-4c7e-bf90-40ff71be3986","year":2005},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:13.004070Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:0a0bec177cd4cecde5468ab3e2104f93fe02aeb2b846b2f0fddfba2e555531ab","observation_id":"720a0ef2-014f-45b2-8a0c-37517cf20a39","resolution":{"observed_at":"2026-08-07T05:19:15.880899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:14.792290Z","title":"Naturaljava: a natu- ral language interface for programming in java","venue":null,"work_id":"f55d51c2-3516-4ace-8d6c-548797e2e439","year":2000},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:13.077816Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:864e0cf897e191a6fd5ce8e03e2b6412ec8cd88262ba7683147514890b1adf6f","observation_id":"6f169ee5-d4d8-4ca1-9b58-bd33247df160","resolution":{"observed_at":"2026-08-07T05:19:15.439725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:14.081209Z","title":"Proebsting and Benjamin G","venue":null,"work_id":"42658e41-91f2-47ed-a4ac-5be9aca2059d","year":null},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:13.180455Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:7676486e93998703a09e545ef9b1f940cc99dcfb65308355bef40101a80e8bbd","observation_id":"50998b98-9ba3-471d-a3cb-13bc6624f16b","resolution":{"observed_at":"2026-08-07T05:19:14.275623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:13.735475Z","title":null,"venue":null,"work_id":"0f677c98-f018-40fa-ae71-22c9f677d337","year":1969},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:13.379974Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:50a7576c7ec12e61a9436ab1259b1bc98597d02f50245ec0c904ca1c4e0cf13d","observation_id":"92cb432f-99c1-4bec-adcd-5dd615b14e5f","resolution":{"observed_at":"2026-08-07T05:19:13.808435Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:13.569021Z","title":"Learn AppleScript: The Comprehensive Guide to Scripting and Automation on Mac OS X","venue":null,"work_id":"adc5cfaa-2f98-41b4-a6b4-7b6e2862d5c6","year":2010},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:13.473333Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:7a0371f1027012ce29c3728dcde7d641bae1c292cb4e4094814c9c364da9d4a7","observation_id":"fbd29926-1a95-4c62-8786-52025d71c443","resolution":{"observed_at":"2026-08-07T05:19:13.630832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T05:19:13.909386Z","title":null,"venue":null,"work_id":"0a31a5c1-102f-439f-9074-bf40bfe82c1e","year":null},"citing_paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-07T05:19:13.277431Z"},"links":{"citing_paper":"/paper/2506.08396"},"observation_digest":"sha256:fb41d9fbae57e9a89c109c4166cc5100f3859a1442d1b351d1f4e3de7fbf5987","observation_id":"e499b4e9-371c-4b2d-94ea-a0586248a619","resolution":{"observed_at":"2026-08-07T05:19:14.001681Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08396","last_updated":"2025-06-10T03:08:51Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T05:09:50.030738Z","submitted_at":"2025-06-10T03:08:51Z","title":"Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":2,"verified_exact":0,"verified_fuzzy":9},"total_outbound_references":12},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2506.08396."}