{"as_of":"2026-08-07T20:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4bd1ae99952e9e478e39f1557ae42269c50a502d0b384dacb9f85b5d79e85472","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T01:35:36.630685Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"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/2608.00639/citation-record","integrity":"/paper/2608.00639/integrity","json":"/paper/2608.00639/citation-record.json","paper":"/paper/2608.00639"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T01:35:31.385312Z","title":"https://github.com/es-meta/esmeta","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.385312Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:60ab65c92c8d0d136786b510b65c9d81ddb2318945104cad2196bbab0564d314","observation_id":"237b0580-ad15-4bd7-9f33-6dbaaa8acbd0","resolution":{"observed_at":"2026-08-04T01:35:31.385312Z","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-04T01:35:31.437959Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.437959Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:fa64af0558217bb05608fe5848503265a73e9e8f1ff3d2951e5d7329bdd752d8","observation_id":"1a14b2ef-9e78-417f-851b-9fcd3d88aad7","resolution":{"observed_at":"2026-08-04T01:35:31.437959Z","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.1145/3649819","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"693886c5-8164-4112-998a-9cb850d692a9","year":2024},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.496914Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:a3763b161e1bc146abde8ac72710123fcd0ed7c013d25a802026ee97d37aa24e","observation_id":"81201dc8-4515-4d4c-88a9-2437e89e8030","resolution":{"observed_at":"2026-08-04T01:38:27.897062Z","resolver_source":"doi","status":"verified_exact"},"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-04T01:38:07.807207+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:38:07.807207+00:00","source":"openalex_status_cache"},{"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T01:35:31.586954Z","title":"2024.P4-SpecTec – Mechanized Language Definition for P4","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.586954Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:c6e86494966635d665947051edf3a085d8008c799409516fc0fa1d54fbcb50ba","observation_id":"19c2db98-12a8-4c4b-97ab-454d8f862de5","resolution":{"observed_at":"2026-08-04T01:35:31.586954Z","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-04T01:35:31.639839Z","title":"Gray, Robert M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.639839Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:1d1b25e9aa85e0b36a0a8b6a28846060d7381bc12248c7f06d0950e6e4ed2a5b","observation_id":"0ec02c70-e9cb-41c2-93a6-50a492714ac5","resolution":{"observed_at":"2026-08-04T01:35:31.639839Z","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-04T01:35:31.747041Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.747041Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:aece4bdfa4c2df4ea620a722785b45a345ed49c29cf997439706f6f894dbbf76","observation_id":"a9af45e8-a2c1-4a1f-949d-808e251235b2","resolution":{"observed_at":"2026-08-04T01:35:31.747041Z","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-04T01:35:31.829492Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.829492Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:11761884c764c38912059f462a1d3681da4262a296449d540be0bd746f48383b","observation_id":"aefd49d9-1d54-4889-a09d-678cc357b902","resolution":{"observed_at":"2026-08-04T01:35:31.829492Z","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-04T01:35:31.882473Z","title":"Borras, D","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.882473Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:09699d8fb0e055cd1199702d33b5713368219e6108f489192986290f7c102b20","observation_id":"efb1e4f9-9283-42bb-979e-5ae510f43734","resolution":{"observed_at":"2026-08-04T01:35:31.882473Z","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-04T01:35:31.965447Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.965447Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:36ba480a5874d2e6dad5c2e4c81de16357e75c9b2e3354b1e0c4bf4667988972","observation_id":"749cb861-a113-4ab1-b890-11f55141747d","resolution":{"observed_at":"2026-08-04T01:35:31.965447Z","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.24963/ijcai.2023/736","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cerna and Temur Kutsia","venue":null,"work_id":"49ad96a9-657b-4a89-80ac-3b26b08688fc","year":2023},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.021583Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:9c30c06ca219f54185a57af6f8bc0967e036eb2f2a40ff5ccc8566b65c9588c1","observation_id":"ed9900ea-6c40-4e81-84da-7d714994c4c0","resolution":{"observed_at":"2026-08-04T01:38:27.743412Z","resolver_source":"doi","status":"verified_exact"},"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-04T01:38:08.189881+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:38:08.189881+00:00","source":"openalex_status_cache"},{"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T01:35:32.092002Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.092002Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:eaa377a7bcbd3e8a4c09393e1c0c7474f06dafaa06bb003e3aca8426ac983b33","observation_id":"039e1ebe-a62c-4e8c-8c42-f384eff09a53","resolution":{"observed_at":"2026-08-04T01:35:32.092002Z","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.1145/3434322","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"428eda01-58c9-4e7a-ad91-074a2f09ec64","year":2021},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.184395Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:dcff84110034a35aabd466b23924a29276edf0cd4bd4288386216618a3e851eb","observation_id":"b44f92d1-23d9-41ca-b247-51ec93622e7c","resolution":{"observed_at":"2026-08-04T01:38:27.562627Z","resolver_source":"doi","status":"verified_exact"},"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-04T01:38:08.39172+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:38:08.39172+00:00","source":"openalex_status_cache"},{"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T01:35:32.319599Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.319599Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:5fda7e87e1e431cf804886758acfe4dee40bbc1d80b76437830242708bb2b49c","observation_id":"77c4151f-b6f0-42bd-9061-583b7a930b29","resolution":{"observed_at":"2026-08-04T01:35:32.319599Z","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-04T01:35:32.441748Z","title":"2025.ECMA-262, 16th edition, ECMAScript®2025 Language Specification","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.441748Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:dad77c371aacd865af1f7c87a925b20376e3b2fd15af21cd4bc74fc2f7d2e7bd","observation_id":"50e999f2-7699-488b-8cf9-97d57442d443","resolution":{"observed_at":"2026-08-04T01:35:32.441748Z","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-04T01:35:32.547857Z","title":"2026.WebAssembly Specification (Release 3.0)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.547857Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:cc205fff12eb56d576fea9ed36b487c6c8f0f7d3e48fea2e3f8eb80c6b0fa635","observation_id":"663e73ee-323b-4323-9e62-16757c203c3f","resolution":{"observed_at":"2026-08-04T01:35:32.547857Z","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-04T01:35:32.661040Z","title":"2009.Semantics Engineering with PLT Redex(1st ed.)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.661040Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:9206b718afcd80eca6fd90f0931b04c37cb02f24b0f5f66fc297cf38d158fe02","observation_id":"dcec3908-deb4-41a4-8e20-d01157630ad5","resolution":{"observed_at":"2026-08-04T01:35:32.661040Z","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-04T01:35:32.734079Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.734079Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:0955f9103d93c46717a4381102ad4007dcee602410c2bd5bafff75bedff5f7ca","observation_id":"7089d4f8-c592-4aad-81a8-fc8d2e6b3877","resolution":{"observed_at":"2026-08-04T01:35:32.734079Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.01468","last_updated":"2018-04-04T15:29:31Z","snapshot_observed_at":"2026-07-06T06:31:45.401940Z","submitted_at":"2018-04-04T15:29:31Z","title":"P4K: A Formal Semantics of P4 and Applications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.01468","snapshot_observed_at":"2026-08-04T01:35:32.852345Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.852345Z"},"links":{"cited_paper":"/paper/1804.01468","citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:ea83c525e93f471c20c99bd2a521505c8733437301242616fa91c6c1e3238651","observation_id":"4701c58f-443e-4918-9974-017d8932a5e9","resolution":{"observed_at":"2026-08-04T01:35:32.852345Z","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-04T01:35:32.954437Z","title":"2026.P4 formalization using Ott and HOL4","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:32.954437Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:f951f9fec979f548e678259cbe993a59af8b207c60c8a4f2c5794dec2804119b","observation_id":"6cbd10dd-5b0f-4bf8-b86e-ce88a2aa7aa8","resolution":{"observed_at":"2026-08-04T01:35:32.954437Z","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-04T01:35:33.049780Z","title":"1997.The Definition of Standard ML (Revised)","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.049780Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:c77dd1fdf859e3e3532e9bd7d83c6f1a34fe65aa1fd09cf3630f724b5afb7f2d","observation_id":"471bcfe5-35e7-49e5-bc14-b7f999167d89","resolution":{"observed_at":"2026-08-04T01:35:33.049780Z","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-04T01:35:33.158820Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.158820Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:1c39a9cc2cd942e13013c0b1adbc2f163c32178ccacf73c86ce33ee56102d0d4","observation_id":"54a293d7-7bb7-48d4-b3fb-2407c49d011a","resolution":{"observed_at":"2026-08-04T01:35:33.158820Z","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-04T01:35:33.227078Z","title":"2026.DOCA Documentation v2.10.0","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.227078Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:b43b85ab5c7be89213f4b9c9e2de74d35867d06af276398ba6b2d5b6d6475d82","observation_id":"8d70381a-e406-475e-9018-a5dbc7ef5c5b","resolution":{"observed_at":"2026-08-04T01:35:33.227078Z","resolver_source":null,"status":"malformed_identifier"},"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-04T01:35:33.343372Z","title":"2024.P4 Language Specification, Version 1.2.5","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.343372Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:070234a0248f59ff4a70cb2678f22830743cc7f15150b4d0079728c9ee12f79c","observation_id":"d9d0275a-4e6b-4985-921f-951c2dbef64f","resolution":{"observed_at":"2026-08-04T01:35:33.343372Z","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-04T01:35:33.481641Z","title":"2026.P4 Governance","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.481641Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:8c6891d9523aa7e5faa533fc41d2055a05e7db558eaaa749f06dd2de76f634d4","observation_id":"b33ad5d0-4e71-4527-a3bb-7b2367840b67","resolution":{"observed_at":"2026-08-04T01:35:33.481641Z","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-04T01:35:33.627847Z","title":"2026.P4 Working Groups","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.627847Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:c55c9dfa0b8cbc5e41494ec3154342919aaabdd1c63226a568708fdb467955d3","observation_id":"bc4edf52-f560-48ed-bd4a-94a6ede98b13","resolution":{"observed_at":"2026-08-04T01:35:33.627847Z","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-04T01:35:33.748090Z","title":"2026.P4_16 reference compiler","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.748090Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:739027838f9a8ebc389c3d7018837abb85d6c7d0ef4ff2cc86e419126f9d93b4","observation_id":"2d4abfd8-5397-4817-94b9-14f4aef1d278","resolution":{"observed_at":"2026-08-04T01:35:33.748090Z","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-04T01:35:33.830065Z","title":"2026.P4 Language Design Working Group Notes","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.830065Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:dc5f5fa743e668360d9a3217743d89aebf9e9fbd2bdc1eb75968b9b2f5fb1a82","observation_id":"563650c8-e8b5-44fa-9e01-dce1f2b4f862","resolution":{"observed_at":"2026-08-04T01:35:33.830065Z","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-04T01:35:33.890378Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:33.890378Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:ce60d6e88ae78eb2ff67c66c273962d2e373c03be6330eaaf0ea6d905e897c71","observation_id":"3c8eb53b-1e4d-43bc-ae7e-179ed2fa4c41","resolution":{"observed_at":"2026-08-04T01:35:33.890378Z","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-04T01:35:34.051342Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:34.051342Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:1865d8e24e5c65a55b5153cf016cc40df185db6a4b64c9debd37d32fa83da269","observation_id":"a7bb199c-483b-48a4-bb3a-cac17eb66d9a","resolution":{"observed_at":"2026-08-04T01:35:34.051342Z","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-04T01:35:34.251175Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:34.251175Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:cc3466eaaecd07464da50b57c7d4966f27a5df98040051afae39e0384c91490f","observation_id":"101bcaba-e86f-4e9a-947e-18d9930be7fb","resolution":{"observed_at":"2026-08-04T01:35:34.251175Z","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-04T01:35:34.406473Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:34.406473Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:c499cd8485679cbbabbf649bc186982c01da3befcdff4fc5b13342b11f1a31bd","observation_id":"742b8ed4-12bf-45a6-8b5c-c24547f6b0c0","resolution":{"observed_at":"2026-08-04T01:35:34.406473Z","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-04T01:35:34.589851Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:34.589851Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:06ec783eb487cfb04413e3f09fbeadacbc3a333593c472e819fb467d334e0960","observation_id":"c279eef8-6cb0-49c0-b8b0-a193faaaf75a","resolution":{"observed_at":"2026-08-04T01:35:34.589851Z","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-04T01:35:34.756353Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:34.756353Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:e9a8f54c644c7b44d5ee852aa1aa824129efb126749d3ffeca6f4f4d5e011262","observation_id":"8dfef44d-fcf6-491f-bb77-8057735e5af8","resolution":{"observed_at":"2026-08-04T01:35:34.756353Z","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-04T01:35:34.944862Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:34.944862Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:131355aa11702cedaed32b1d9acac24f00349a2d1039e97bc5eba6e218c41b25","observation_id":"c81d709a-ef73-4423-a531-30771d58c24b","resolution":{"observed_at":"2026-08-04T01:35:34.944862Z","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-04T01:35:35.064738Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:35.064738Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:d2da7a2749ceb44f87d2b277254b75c9c9701526d7264b1be6e4effd6e460e72","observation_id":"b9d199f8-d195-4c9d-9e24-08e4bc656df9","resolution":{"observed_at":"2026-08-04T01:35:35.064738Z","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-04T01:35:35.185573Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:35.185573Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:afe4c496fada53746f3d323b09c6486ad5e4d5c91aac5c8098bb8c60ae2d6fe1","observation_id":"f1316b49-c1dc-461a-ab2d-ee8a8cc1278a","resolution":{"observed_at":"2026-08-04T01:35:35.185573Z","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-04T01:35:35.314265Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:35.314265Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:2749e8907633c3211fcac1f8611eec0f79de9bca3a79ce7027511ff82abb1af6","observation_id":"7e847552-6b13-402f-90ed-d50345e0f721","resolution":{"observed_at":"2026-08-04T01:35:35.314265Z","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.1145/3624723","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Communications of the ACM","work_id":"75317cde-a577-4f75-95af-0174f7ff3190","year":2024},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:35.413161Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:8cf2ca0d36bd5e2dc3b73a8d8dcfa79891b1a15c9dfe6a274c208aaee3e41a1e","observation_id":"9af534d4-6c9a-4994-b084-09e7656a5ffd","resolution":{"observed_at":"2026-08-04T01:38:27.373432Z","resolver_source":"doi","status":"verified_exact"},"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-04T01:38:09.104401+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-04T01:38:09.104401+00:00","source":"openalex_status_cache"},{"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T01:35:35.538607Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:35.538607Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:5edc1b6281e1623f1f11999d92369d2aef82366179d1ae6614157f202a777eb2","observation_id":"d564303a-51d1-44a9-8413-254cfc257389","resolution":{"observed_at":"2026-08-04T01:35:35.538607Z","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-04T01:35:35.848291Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:35.848291Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:66b9a504150f407e620ac946264afa45f7017a4a06e60add404afffc564063f6","observation_id":"cf2ae109-4b61-4d22-b264-06c8f4084e53","resolution":{"observed_at":"2026-08-04T01:35:35.848291Z","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-04T01:35:36.031334Z","title":"2026.Petr4: Formal Semantics for P4","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:36.031334Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:9318e2b5695796f366aedf5a2ed7255b7a4cffa6fb0a3391b10fd42a89830150","observation_id":"586b64b3-14c7-420a-9581-7e56c64389d8","resolution":{"observed_at":"2026-08-04T01:35:36.031334Z","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-04T01:35:36.193774Z","title":"2025.frontend: Fix SpecializeGenericTypes","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:36.193774Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:d16bb52b19ca540f2838d1bce65f906bcdc2b6d7d32db852252719a6b8125f63","observation_id":"8ab3a3fa-6a7e-401e-b545-33cd65226b18","resolution":{"observed_at":"2026-08-04T01:35:36.193774Z","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-04T01:35:36.319062Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:36.319062Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:5b2387b5ef7fd75aaa3ca0fba646d5164627d85420499f72791b1203703da429","observation_id":"5b8ce3ed-582e-4919-8e9e-6bd544641ddb","resolution":{"observed_at":"2026-08-04T01:35:36.319062Z","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-04T01:35:36.505730Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:36.505730Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:0c7e68281c70e2ea5c3a357b9e3ab7f6474b7e777dc7ec50c09aac942b10be89","observation_id":"3d10a49e-9f29-42f5-b8ed-4aba820c1299","resolution":{"observed_at":"2026-08-04T01:35:36.505730Z","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-04T01:35:36.630685Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:36.630685Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:a9a2a8087c0a447ee6cde5e19de08dd5929eb36282f7f110147b77e294ced58b","observation_id":"58e06f24-8155-4eda-88de-0a16491f07ca","resolution":{"observed_at":"2026-08-04T01:35:36.630685Z","resolver_source":null,"status":"malformed_identifier"},"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-04T01:35:35.674042Z","title":"InProceedings of the 12th ACM SIGPLAN International Conference on Functional Programming(Freiburg, Germany)(ICFP ’07)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:35.674042Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:18c30d7908994dda6d3b4d3076b8ceb9bbc88894e9fa05f02d01afcfdd3bf633","observation_id":"6ea1d044-123b-49a0-b8d5-1b4e9204beb6","resolution":{"observed_at":"2026-08-04T01:35:35.674042Z","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-04T01:35:31.694081Z","title":"ACM Program","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-04T01:35:31.694081Z"},"links":{"citing_paper":"/paper/2608.00639"},"observation_digest":"sha256:0fd8018d8e0e0b800b3ab73619d25b289c0cb53d4c0db16301a643ba57d182a5","observation_id":"ede372cb-4329-4867-a8f8-a41ce5d0a23b","resolution":{"observed_at":"2026-08-04T01:35:31.694081Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.00639","last_updated":"2026-08-01T12:51:58Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T23:17:33.796795Z","submitted_at":"2026-08-01T12:51:58Z","title":"P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":41,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":47},"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 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2608.00639."}