{"as_of":"2026-08-09T20:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c9a752cc21439e168d01361f8f01dd87a27e1997b0692c11358b635ee7ba8916","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:36:30.559106Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"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.09637/citation-record","integrity":"/paper/2607.09637/integrity","json":"/paper/2607.09637/citation-record.json","paper":"/paper/2607.09637"},"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:36:29.277433Z","title":"InProceedings of the ACM SIGCOMM 2011 Conference(Toronto, Ontario, Canada) (SIGCOMM ’11)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:29.277433Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:92f50e96e1778bbb47624613674b81bfa110acd12016e42d7eb8c09af7e18376","observation_id":"7b9b0b40-e8b1-4f65-900d-63a92e76b41a","resolution":{"observed_at":"2026-08-02T07:36:29.277433Z","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:36:29.446321Z","title":"2015), 328–341","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:29.446321Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:3b0cb78774fd8939e32e72ca62eef4f5a4303ed3f28b3b898160c872149932e7","observation_id":"054394b4-5542-466d-8793-e13146663951","resolution":{"observed_at":"2026-08-02T07:36:29.446321Z","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:36:30.232448Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:30.232448Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:c81a6688886d19a5800161528da199f8bdb0db0c4e04633a69d657d7772f93c6","observation_id":"9facf954-cc12-44a2-9e1e-9781a63db1f7","resolution":{"observed_at":"2026-08-02T07:36:30.232448Z","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:36:30.559106Z","title":"The leaf value of𝑅is the semiring weight of the corresponding matrix entry","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:30.559106Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:8bb6a3ac343392b3728c68ef5a6a3723da53144cb4c37adcc7f4212ed6b4a478","observation_id":"20449a69-97cb-4e15-b607-32e25976f349","resolution":{"observed_at":"2026-08-02T07:36:30.559106Z","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:36:28.333223Z","title":"Electron","venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":1963,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.333223Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:aaa30bfe27314b7bb5265782a1b3ca4110b348c4e6634f817c235e7f15a4caf8","observation_id":"b43538fa-411c-405d-bd6b-2141647b0bb7","resolution":{"observed_at":"2026-08-02T07:36:28.333223Z","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:36:28.184294Z","title":"Computers35, 8 (1986), 677–691","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":1986,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.184294Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:92620abd46e69f518abc0de4f03b2833ff85ab067036627f7feef534e5f7c443","observation_id":"6febc1d0-27e8-4a46-a849-8a2aa20d6794","resolution":{"observed_at":"2026-08-02T07:36:28.184294Z","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:36:28.421619Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.421619Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:3982cbb9e07124a81b42e529ff42678e6c782efd547efab30fbf61956318cfa2","observation_id":"667b0c0e-8668-4cb7-8234-0a9a68f54c18","resolution":{"observed_at":"2026-08-02T07:36:28.421619Z","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:36:27.931401Z","title":"InProceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design(Santa Clara, California, USA)(ICCAD ’93)","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:27.931401Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:3534ce849b3c2c31f0adcb848f901c78fe0133eede281c6962e5fbf3c633c758","observation_id":"4dc94422-3a3f-471e-9bb2-6d856bf8dd33","resolution":{"observed_at":"2026-08-02T07:36:27.931401Z","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:36:27.822575Z","title":"doi:10.1016/0304-3975(95)00182-4 Alia Atlas and Alex D","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:27.822575Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:e592fb7447f7af2d9040c904e8802ec51d97af919043f3f8e0ec3e87f4cd4462","observation_id":"26a355fc-30db-481e-b2f6-8adf710e6084","resolution":{"observed_at":"2026-08-02T07:36:27.822575Z","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:36:29.165472Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:29.165472Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:51524613b0939c0740d62444ac42280c3f3c35f5eba350fde91bbe9046d6a896","observation_id":"75adc4bd-ed12-4577-8bde-57e425c8172e","resolution":{"observed_at":"2026-08-02T07:36:29.165472Z","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-02T07:36:28.537597Z","title":"InTheoretical Aspects of Computing - ICTAC 2004, Zhiming Liu and Keijiro Araki (Eds.)","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.537597Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:248e4ea07b0280427f542635632f00157fa519b95f945f3d7c0002300c5b43c0","observation_id":"77962de4-027c-444f-9234-24a9ed20e5c6","resolution":{"observed_at":"2026-08-02T07:36:28.537597Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.11100","last_updated":"2021-06-09T04:04:19Z","snapshot_observed_at":"2026-08-07T05:08:28.720719Z","submitted_at":"2020-11-22T20:39:55Z","title":"Coulomb Correlation and Information Entropies in Confined Helium-Like Atoms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.11100","snapshot_observed_at":"2026-08-02T07:36:29.026953Z","title":"IEEE Journal on Selected Areas in Communications29, 9 (2011), 1765–1775","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:29.026953Z"},"links":{"cited_paper":"/paper/2011.11100","citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:0a22ea2fd9bee6a92eff758542535548b93985b5884dd1b82cf62db974c3ab09","observation_id":"775ce21e-7705-4c7c-9ef4-9ff4b939a547","resolution":{"observed_at":"2026-08-02T07:36:29.026953Z","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:36:28.664803Z","title":"2015), 343–355","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.664803Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:8b8d161d96b532f953128c4103e952af00feaf9287b7c9c26dfbf79b53f537dd","observation_id":"6ad5237a-6a37-4bb1-a701-a351d28cda4d","resolution":{"observed_at":"2026-08-02T07:36:28.664803Z","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:36:30.360318Z","title":"Netw.24, 2 (April 2016), 887–900","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:30.360318Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:a346a66762ff2af971414d2eca649919c94dd1190bb900ccdaa4c4610876b9b5","observation_id":"97f3f77a-372e-4bfd-ab5d-000ed299d1f6","resolution":{"observed_at":"2026-08-02T07:36:30.360318Z","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:36:28.077071Z","title":"InProceedings of the Conference of the ACM Special Interest Group on Data Communication(Los Angeles, CA, USA)(SIGCOMM ’17)","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.077071Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:b1940ee80ad68bec269a9e9471816f5bf2890d3d53b5383b58638ce88130e0ce","observation_id":"8632bbf2-0169-4ede-b4c6-7121d66b4285","resolution":{"observed_at":"2026-08-02T07:36:28.077071Z","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:36:30.475823Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:30.475823Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:cc3707bf411c334f9817ad24c7aa570e8a31633f7616b72ac4657a23796e658f","observation_id":"919274c1-7f74-4003-abf1-e2a510b77fa9","resolution":{"observed_at":"2026-08-02T07:36:30.475823Z","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:36:28.803780Z","title":"InProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation(London, UK)(PLDI 2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.803780Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:723623ab9194b6c3946a2764770beca77695c2ae35d6f114f26ea2ff57fdf919","observation_id":"0c23cc85-23d3-4d08-bcba-ceea0312d076","resolution":{"observed_at":"2026-08-02T07:36:28.803780Z","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:36:29.760793Z","title":"InProceedings of the 2021 ACM SIGCOMM 2021 Conference(Virtual Event, USA)(SIGCOMM ’21)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:29.760793Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:ef93ac99c5d053f971ab25df0d8ded86c2a65ac8389a198207fee2a678b63108","observation_id":"6c8c4258-fd2c-4dc8-850a-a016bcb839ff","resolution":{"observed_at":"2026-08-02T07:36:29.760793Z","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:36:30.074063Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:30.074063Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:2f59309cffa666b842f2284c95e7684fe5b429012f317de160803b7a651ad150","observation_id":"a7c51c69-c189-4746-becb-67dbd9678677","resolution":{"observed_at":"2026-08-02T07:36:30.074063Z","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:36:29.330466Z","title":"ACM Program","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:29.330466Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:372a109780413b28e3fb2a0cbea4cfebb8f6eef8b4031d1ef2e85e96765f1001","observation_id":"10880aea-5d0b-432d-b756-e797c6129853","resolution":{"observed_at":"2026-08-02T07:36:29.330466Z","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:36:29.588739Z","title":"ACM Program","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:29.588739Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:ae55b2cee5f39c22c03cdb491e74e0e1143659a7062f92720b4ea6cbe5d91cc8","observation_id":"523fb44c-377b-479f-8e44-b3d495d72983","resolution":{"observed_at":"2026-08-02T07:36:29.588739Z","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:36:28.893717Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT","version":2},"reference_index":2992,"source":"pdf_text","source_observed_at":"2026-08-02T07:36:28.893717Z"},"links":{"citing_paper":"/paper/2607.09637"},"observation_digest":"sha256:a656be514bd698fdd5636faa3e72ea7988978ef0e8e0d60c8a355396d1888f03","observation_id":"e06d5a70-7d26-4df6-b2ed-6c8e9344353a","resolution":{"observed_at":"2026-08-02T07:36:28.893717Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.09637","last_updated":"2026-07-20T11:26:36Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-05T01:37:00.995490Z","submitted_at":"2026-07-10T17:35:06Z","title":"Network Analysis with Parametric NetKAT"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":22},"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 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2607.09637."}