{"as_of":"2026-08-19T01:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d3394fc297d513670367239632d0bdf44029ff0942d0accfedf3bb8244288b7f","coverage":[{"denominator":172,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:21:42.598889Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2509.06324/citation-record","integrity":"/paper/2509.06324/integrity","json":"/paper/2509.06324/citation-record.json","paper":"/paper/2509.06324"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:21:42.191149Z","title":"PACMPL 3(POPL) (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.191149Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:8a8502fdf3d8b25d0f4fbbb5721a79efe15fb4b3c5bfe0775308d29ff3ac715e","observation_id":"347c5f39-dbea-42fa-ae5d-df2436399799","resolution":{"observed_at":"2026-08-15T16:21:42.191149Z","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-15T16:21:42.196219Z","title":"In: SEFM (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.196219Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:c610e87bafe6dc2234d57d53a04b7ba218d150ad928d8b4eac3d992f40f81b53","observation_id":"16e852b3-178e-4265-abd5-95615b7df3dc","resolution":{"observed_at":"2026-08-15T16:21:42.196219Z","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-15T16:21:42.200493Z","title":"In: OOPSLA (2005)","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.200493Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:c73dcab61c48dd4a229641553b66b825efea134a19ddc3f2a42e5767c5576948","observation_id":"f8a08ac3-5486-49c6-998e-173d35eac1f0","resolution":{"observed_at":"2026-08-15T16:21:42.200493Z","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-15T16:21:42.204729Z","title":"JSS167(2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.204729Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:fa72afd5cef79969dd3737d2ccce4ee2a2ea1d95a11775a1fd0faf2684fb74f0","observation_id":"3383c8d5-5aee-4d19-9e48-ba85a6d41fc5","resolution":{"observed_at":"2026-08-15T16:21:42.204729Z","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-15T16:21:42.208744Z","title":"In: OOPSLA (2008)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.208744Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:704130530032abefc4dfcaa0e542f0b3ca2301c0446daa740d29489cb9e59517","observation_id":"0435dd71-2409-4101-9478-b9b1c6ddba66","resolution":{"observed_at":"2026-08-15T16:21:42.208744Z","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-15T16:21:42.212908Z","title":"io/prj/artcat","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.212908Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:ecdb45397ae9b971f470942ee30e3a2c74918bacedbc20a87e9b7f6fd0d31b6c","observation_id":"3f2f6403-dd7f-47e3-a81c-1e932512ea91","resolution":{"observed_at":"2026-08-15T16:21:42.212908Z","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-15T16:21:42.216965Z","title":"In: OOP- SLA (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.216965Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:6dc69d66cc237d421c83e4569a4f21f6b06a44f70134f3dcaa71eb10dfb73a33","observation_id":"c1ab4dc0-e412-4f81-ae09-11f6718cea5f","resolution":{"observed_at":"2026-08-15T16:21:42.216965Z","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-15T16:21:42.221344Z","title":"In: VMCAI (2004)","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.221344Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:71f11c1107bcf3ebfd66f69e3388fb445def3a9923d55f3ea1eefded60b5fe52","observation_id":"6d3bce27-f6e9-4387-ad82-ce2dff9fdf43","resolution":{"observed_at":"2026-08-15T16:21:42.221344Z","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-15T16:21:42.225271Z","title":"Journal of Aerospace Computing, Information, and Communication7(11) (2010)","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.225271Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:c1920f3619087e1749f9d617b87db191bd307a9c99eab6d70c25151e6991dfcf","observation_id":"fb39e27a-3b7c-4b39-a0ed-35f58fae4c26","resolution":{"observed_at":"2026-08-15T16:21:42.225271Z","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-15T16:21:42.229227Z","title":"Journal of Logic and Computation20(3) (2010)","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.229227Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:c3c17f9deb592eb67d4b9ea988c0614f0941482142868e0a39c5b7008d15fe5b","observation_id":"bb520c4d-cd3f-45fe-b59a-60210e46ca83","resolution":{"observed_at":"2026-08-15T16:21:42.229227Z","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-15T16:21:42.233830Z","title":"IJSTTT21(1) (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.233830Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:b434dbdbf236a05bf40978bc4f9d48e5e57df80495f3ede1cff990259f9ef7b8","observation_id":"0699e542-9e1c-4335-9f6c-1b8e86fb4e6e","resolution":{"observed_at":"2026-08-15T16:21:42.233830Z","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-15T16:21:42.237928Z","title":"In: Lectures on Runtime Verification (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.237928Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:820506d9835955174ec28257737098c665b1e4af0d0d7842620a6a41e83509a5","observation_id":"e0536e68-3bff-4c37-b096-b4e1970df871","resolution":{"observed_at":"2026-08-15T16:21:42.237928Z","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-15T16:21:42.242992Z","title":"In: TACAS (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.242992Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:7e10f6ad94ec4c91a2c7753b1ec9663489f63e9de933e1af438892f1e914aa1a","observation_id":"9aa36775-ded8-4730-82da-f2e7a2c4a594","resolution":{"observed_at":"2026-08-15T16:21:42.242992Z","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-15T16:21:42.247084Z","title":"In: FSTTCS (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.247084Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:e3b37c7ad2a1735ccbb9e20d081cd0d5739ff9310012b444a66ef87ee8bf827b","observation_id":"6caff4ff-fac3-4294-8bcf-455edd9dad0b","resolution":{"observed_at":"2026-08-15T16:21:42.247084Z","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-15T16:21:42.251255Z","title":"In: CAV (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.251255Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:3e76d03f8fef888172429a680c94fd2f68c13a8cdbf64ba82e358f82019588c8","observation_id":"214eda26-c23f-4b25-bb8c-60ef0114ae7c","resolution":{"observed_at":"2026-08-15T16:21:42.251255Z","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-15T16:21:42.255139Z","title":"TECS18(5s) (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.255139Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:967be8e228622168340a0a9f7e21d5537079f42d562319f123df6dc2a7a7f4f1","observation_id":"8664b3b2-d641-4d27-9ba5-af5603c38454","resolution":{"observed_at":"2026-08-15T16:21:42.255139Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1006.3638","last_updated":"2010-06-18T08:48:58Z","snapshot_observed_at":"2026-08-15T05:16:08.675276Z","submitted_at":"2010-06-18T08:48:58Z","title":"Monitorability of $\\omega$-regular languages","version":1},"cited_work":{"arxiv_id":"1006.3638","doi":null,"metadata_source":"pith","pith_arxiv_id":"1006.3638","snapshot_observed_at":"2026-08-15T16:21:42.970798Z","title":"Monitorability of $\\omega$-regular languages","venue":"cs.FL","work_id":"0d2e885c-9a25-4327-a6d7-2cc096e35e7c","year":2010},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.259397Z"},"links":{"cited_paper":"/paper/1006.3638","citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:e02180c23f62269fe5e09d4842d3548838858663bae53954f82661965a6389f9","observation_id":"fc70b316-28ac-4967-96f9-06e8a85606ae","resolution":{"observed_at":"2026-08-15T16:21:42.976853Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:21:42.263461Z","title":"In: FM (2012)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.263461Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:0fc9101271857dd37e6e8ec26ffdccda39be0fb15d643ffc56449de02b247834","observation_id":"42ff4dad-aa00-4506-ab6e-a92a2893217a","resolution":{"observed_at":"2026-08-15T16:21:42.263461Z","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-15T16:21:42.267546Z","title":"Computer Security: Art and Science (2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.267546Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:8fb704eac349d44ef28c76d8eee5d5a6241cbee7863f3c9128c7adab63d8a110","observation_id":"93f7794e-aa33-4193-9410-0d7ee979055d","resolution":{"observed_at":"2026-08-15T16:21:42.267546Z","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-15T16:21:42.271352Z","title":"In: OOPSLA (2006)","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.271352Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:46c46a36b934b592573b1b82bfc931a5bc3c7e1b97c7fe1e59c4d09038539cc4","observation_id":"d4cbb73c-fb75-4685-8927-ac04128475b2","resolution":{"observed_at":"2026-08-15T16:21:42.271352Z","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-15T16:21:42.275668Z","title":"In: RV Demo (2011) 17","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.275668Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:9ac47f8a55d7b986cf4e2f2d018f8fa24a9347a38320abed6e51617a0e2e66ab","observation_id":"36b19d5f-0208-44c8-b877-0b933ef3be39","resolution":{"observed_at":"2026-08-15T16:21:42.275668Z","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-15T16:21:42.280031Z","title":"In: ECOOP (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.280031Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:0cc7af2aa1cbf6e188b2c061bb4e96be1c0ffbc5b473c6ca165b5ebbceaacdf2","observation_id":"2bd4c439-8c5b-4917-b91a-4d4aeee51fa2","resolution":{"observed_at":"2026-08-15T16:21:42.280031Z","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-15T16:21:42.284097Z","title":"In: FSE (2008)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.284097Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:aac5b3d139046708f9123b21dbd2ee86a16db045ac4d4806ef99bd1835df9b3b","observation_id":"98f3d700-5a67-48fe-a23d-bb59b4d0348c","resolution":{"observed_at":"2026-08-15T16:21:42.284097Z","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-15T16:21:42.287801Z","title":"In: FMSD","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.287801Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:6b83206fd85078a0a37e21d05ad8f1a8c85a62bd8e0ae05a72445f838e6260f3","observation_id":"7f12ff61-c382-468f-8f86-01c77f7ad66a","resolution":{"observed_at":"2026-08-15T16:21:42.287801Z","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-15T16:21:42.291833Z","title":"In: ICCPS (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.291833Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:0d7b2aa47fdf28540e4cc9c95aa21727d742ce98acba5b7788b5bf9b68ef30c3","observation_id":"a74343f0-509c-4a38-b3be-d1a8e4f3fc2b","resolution":{"observed_at":"2026-08-15T16:21:42.291833Z","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-15T16:21:42.295795Z","title":"In: LICS (2001)","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.295795Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:566a498626072d315db85b25ce804bd89108b0740717bf729977771c077c507a","observation_id":"fbe9bafd-395d-4c24-8007-c5ecb698fc60","resolution":{"observed_at":"2026-08-15T16:21:42.295795Z","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-15T16:21:42.299963Z","title":"In: ICFEM","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.299963Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:56969db78bd82bc90967003eb6768312d4265fb80e88c575aaa7d5b02cb941dd","observation_id":"171e0eac-d583-46e2-b884-97079a23eef3","resolution":{"observed_at":"2026-08-15T16:21:42.299963Z","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-15T16:21:42.303962Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.303962Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:215a92f62e9e38d9c75d2f0ae1a97443c212bfdae6fb807ebb78328fac03d114","observation_id":"f12cd771-eda6-4e60-9683-fddb7ee576c4","resolution":{"observed_at":"2026-08-15T16:21:42.303962Z","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-15T16:21:42.307812Z","title":"In: ASE (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.307812Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:1099903e660b5f4986c417a494f0d83b59f4c3e624ff1ead59737b66d26b7639","observation_id":"02dddc37-84b8-4e4c-9f95-8aa820c15838","resolution":{"observed_at":"2026-08-15T16:21:42.307812Z","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-15T16:21:42.313020Z","title":"In: OOPSLA (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.313020Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:e4e2c19a7ce926ff4c7099214d52516d7f9e96120780dd7f9261a54798fb0ee8","observation_id":"f5f06e69-f2b7-4c27-b90c-4ca30c4c7b5f","resolution":{"observed_at":"2026-08-15T16:21:42.313020Z","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-15T16:21:42.316749Z","title":"In: RV (2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.316749Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:feb6a47f3fefcfeb2637b320a3ebfec7e2be2e288300e5430f3711008f97c67a","observation_id":"1fa8ffe3-4a2f-4264-bd1e-a722785f55c9","resolution":{"observed_at":"2026-08-15T16:21:42.316749Z","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-15T16:21:42.320493Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.320493Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:bda6a1f1dc4f8e3d386a1dfa0f8841f25eff39be96e061332ee2b7082ec3d13d","observation_id":"1b01445d-9cc9-4a67-b43a-2844abb03d9a","resolution":{"observed_at":"2026-08-15T16:21:42.320493Z","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-15T16:21:42.324368Z","title":"In: TACAS (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.324368Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:554bb8392196085e7e113a99f2bdd396f15747977798a3c937ac7cee96eb7e1c","observation_id":"f0e6fc3f-9202-4e50-a4a5-5452be83910d","resolution":{"observed_at":"2026-08-15T16:21:42.324368Z","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-15T16:21:42.328154Z","title":"In: RV (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.328154Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:72c3778b7596e81c835f795e9aa72a47ab9598c7dc8230c9240e8f626d796509","observation_id":"4d81b04a-fb6c-4d37-9b70-13ddf99d638a","resolution":{"observed_at":"2026-08-15T16:21:42.328154Z","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-15T16:21:42.332308Z","title":"https://github.com/ clarete/forbiddenfruit","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.332308Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:f308ff248ba78e9b6c9bcb66d6bf45365e76d6d59b069d8c45144530fbe0dde5","observation_id":"2a1b154e-5629-4acd-8644-51146b6c8ccb","resolution":{"observed_at":"2026-08-15T16:21:42.332308Z","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-15T16:21:42.336232Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.336232Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:91cfcfc6a4f676b228fda5241d5c5b9a5b7612f362295c7ed93c6628a5e5b6d0","observation_id":"49ef0eb1-49d7-40bc-ac96-41fad18e99c0","resolution":{"observed_at":"2026-08-15T16:21:42.336232Z","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-15T16:21:42.340151Z","title":"Wiley (1971), https://books","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.340151Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:f87548389317b98c23fbf5e14d143bda374ba4de10ff35e2c2256581e22ae0d2","observation_id":"a236aa9f-8ad4-4480-985e-dfe974339373","resolution":{"observed_at":"2026-08-15T16:21:42.340151Z","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-15T16:21:42.344016Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.344016Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:e32c8d725aeb41f51594208e480fd4cad8f50186c606fe7c55e4bc23bff8c26a","observation_id":"5febce56-51bc-416e-b8a7-5f49ab3947de","resolution":{"observed_at":"2026-08-15T16:21:42.344016Z","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-15T16:21:42.347766Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.347766Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:9a5b2a26c3c2a96edb4ee48238f7efa23f682bf91d37f6ec6b47203e76e1ded8","observation_id":"33cc1d57-6a40-43c8-83f8-c39e77b2fa67","resolution":{"observed_at":"2026-08-15T16:21:42.347766Z","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-15T16:21:42.351829Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.351829Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:7af63e06b94c21390804d35ae626e72a2c8d46447c4cd4e59b2eb6f109663b40","observation_id":"deb5027b-8b95-4ac2-b3e2-3db932628f5b","resolution":{"observed_at":"2026-08-15T16:21:42.351829Z","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-15T16:21:42.355808Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.355808Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:9b0c770c9c80f76f62cf0c21cc7f2f39d22b57206d19294c5ff8a33d7d60f006","observation_id":"0334c594-8e8b-4166-88c6-550561558a18","resolution":{"observed_at":"2026-08-15T16:21:42.355808Z","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-15T16:21:42.360008Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.360008Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:9a8073cbdd20f15f8022ad558f1db237d8c9ab974a072af4b370db4521a8d546","observation_id":"632e6cd2-d76f-4a4f-ba83-c4b4255b4bd3","resolution":{"observed_at":"2026-08-15T16:21:42.360008Z","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-15T16:21:42.364651Z","title":"In: WODA (2005)","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.364651Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:bb03e802f145bab15634505d8ecdf6066d087fcdfb516749959e8b5ed940a4f9","observation_id":"006a59fd-4fb6-4618-9be1-567a42b359cd","resolution":{"observed_at":"2026-08-15T16:21:42.364651Z","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-15T16:21:42.368752Z","title":"In: RV (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.368752Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:68dc598e8be76f5a45ddda4c023dc2d96cc85f79a9a6a8d604ad7531f6373d01","observation_id":"3153f859-0320-4df9-8d54-009a121c3950","resolution":{"observed_at":"2026-08-15T16:21:42.368752Z","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-15T16:21:42.372659Z","title":"In: Temporal Representation and Reasoning (2005)","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.372659Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:d1ba75b16fc29aac4b9e1ba767d444be4bd51163206ddcb392f161a1e3de771f","observation_id":"cff8d1ed-5b48-453c-9845-08780a28aa49","resolution":{"observed_at":"2026-08-15T16:21:42.372659Z","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-15T16:21:42.376570Z","title":"In: RV (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.376570Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:df91d305b0f123249c0eda564ad2f991df2070118a3578de902dd5caec626772","observation_id":"c0c15505-e144-4479-8a8f-7973458b4008","resolution":{"observed_at":"2026-08-15T16:21:42.376570Z","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-15T16:21:42.380753Z","title":"In: SAC (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.380753Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:316fffe96563afbdfe0b144b1ac680739ae06d2689c87c65dadf4c6ee4c5cd09","observation_id":"31e24b23-4dfe-407f-9c81-97cb94b4c5e5","resolution":{"observed_at":"2026-08-15T16:21:42.380753Z","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-15T16:21:42.384717Z","title":"In: TACAS (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.384717Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:10073124df7c68a18910fe928ebd7febe2825f7e0b0765a686884545d3e31a82","observation_id":"7195c5b0-142d-4f49-916e-4fdde9ba8e61","resolution":{"observed_at":"2026-08-15T16:21:42.384717Z","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-15T16:21:42.388518Z","title":"In: TACAS (2016) 18","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.388518Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:b04087b3e0de0e11d8e4f10ed6808b43b0a7d5c7807ddbc870ffcf254a90d380","observation_id":"94bf6c93-e81a-450f-bdbb-d461fbf781c7","resolution":{"observed_at":"2026-08-15T16:21:42.388518Z","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-15T16:21:42.392551Z","title":"In: FM (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.392551Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:d2941302f451f0b1d9cc2097e81e3e20183155c54e8912451ccc572777b935aa","observation_id":"b4ce12ad-8b34-44d4-8839-3dea2ce3d86f","resolution":{"observed_at":"2026-08-15T16:21:42.392551Z","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-15T16:21:42.396955Z","title":"In: RV (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.396955Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:838b6be2e9bf447761dea8abe4d3beccb62e8482c7d5c16cf1cd7753474441dd","observation_id":"78087bed-b9f0-4093-8de9-dbc199ec53c1","resolution":{"observed_at":"2026-08-15T16:21:42.396955Z","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-15T16:21:42.400414Z","title":"TCS537(2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.400414Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:dba9f27d5dd2783be7c2dc88b024ebedf1939ddd18602aec487188cc17ecf8dc","observation_id":"8058b621-9b1b-4bc9-95d7-c0867dbb7b6e","resolution":{"observed_at":"2026-08-15T16:21:42.400414Z","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-15T16:21:42.404268Z","title":"Journal of Robotics Applications and Technologies3(1) (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.404268Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:367766518d902d81e57d24d84104da92711f5fe8f3e3d78d36512fa41461de34","observation_id":"4a0cce8c-5cdb-4b73-8fc5-52a01c14992b","resolution":{"observed_at":"2026-08-15T16:21:42.404268Z","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-15T16:21:42.408223Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.408223Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:d236322714f12b6c2dca9c67112e266669bd60a79097660baec6fc6c94c4b411","observation_id":"31098c5c-a925-4d75-a518-035ceb920d27","resolution":{"observed_at":"2026-08-15T16:21:42.408223Z","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-15T16:21:42.412275Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.412275Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:9aaf678b3612fcda96198f310e70e5508b0b0351e52e668b9e1766843162d134","observation_id":"39b2e947-582f-42df-8df4-92772a0e9ebc","resolution":{"observed_at":"2026-08-15T16:21:42.412275Z","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-15T16:21:42.416219Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.416219Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:a81b59384d4bc4d16d69c534171649371d20dbb50814cda1d78e5dd5c4e7e00a","observation_id":"350a116a-2640-48d6-ae9d-b4df55ad2a38","resolution":{"observed_at":"2026-08-15T16:21:42.416219Z","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-15T16:21:42.420364Z","title":"E-mail, e-mail reply to the authors about instrumenting third-party libraries using DynaPyt, June 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.420364Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:e7bc81d53732382ed8270c013ebd5ffd1ff121e238cd05b3ad16812d656af6df","observation_id":"4519108c-f3ae-437a-9940-71f45d4eba20","resolution":{"observed_at":"2026-08-15T16:21:42.420364Z","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-15T16:21:42.424346Z","title":"In: FSE (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.424346Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:88af4ef0c93a31f616705815f47471734c90f38634d295dbde2c0576dd7ad28c","observation_id":"cef40c66-19ba-4e19-8164-89afe3eb74b8","resolution":{"observed_at":"2026-08-15T16:21:42.424346Z","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-15T16:21:42.428567Z","title":"In: FSE (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.428567Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:f84eb298d3de92d4ba18ef70f1114d3d30d14a255d28a802eb948cf309876997","observation_id":"94b9346d-8bd8-4b58-9a8c-a3b5a96df433","resolution":{"observed_at":"2026-08-15T16:21:42.428567Z","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-15T16:21:42.433684Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.433684Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:1cd2d1941edaec7dc634f4437b81f94707158a279b774b7a6773d2522ec54199","observation_id":"08fa1f24-587d-414e-89f7-d7372331a2a3","resolution":{"observed_at":"2026-08-15T16:21:42.433684Z","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-15T16:21:42.437577Z","title":"In: IEEE S&P (2000)","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.437577Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:60476e1c208031df0c7ead8706428281dbd62b0ccea3c8817eda9f25b2717e72","observation_id":"022425ea-5343-431f-bcfb-5d0ec22db1a4","resolution":{"observed_at":"2026-08-15T16:21:42.437577Z","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-15T16:21:42.441322Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.441322Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:6b1d622aa2fc6af27e95ff130fb118ac89ea81f8d5f89d116e469ae14d6747f8","observation_id":"97a9b996-9c05-468f-93ba-130bf50d587e","resolution":{"observed_at":"2026-08-15T16:21:42.441322Z","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-15T16:21:42.445252Z","title":"In: En- gineering Dependable Software Systems (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.445252Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:9bf5f27f81d4f8e81edaf8275c696eea4e471911d34308cfd1fc685f0dc04df7","observation_id":"345bb24a-f2bd-48b0-9ee3-722286bf51a2","resolution":{"observed_at":"2026-08-15T16:21:42.445252Z","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-15T16:21:42.448888Z","title":"In: RV (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.448888Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:a21d5f5ad24b420e29338da19a0a6990bf357fb2c9f6ca211c5c3fa7b3d18617","observation_id":"840f85ae-bddc-4dfb-aa0d-eb153b4c47ab","resolution":{"observed_at":"2026-08-15T16:21:42.448888Z","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-15T16:21:42.452685Z","title":"In: RV (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.452685Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:79542c4f082d82d2b620348e936cff7670c79eb84579f4b498866e9a9caf4005","observation_id":"f4548320-2006-4464-8a8f-6a9b870717d2","resolution":{"observed_at":"2026-08-15T16:21:42.452685Z","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-15T16:21:42.456537Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.456537Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:3ba6725536f2d880eeefc184bf0f291c09c7588f9c1aedaca4eed7eb655ba4a2","observation_id":"d8c0c725-32bf-4864-a7a0-a1577993782b","resolution":{"observed_at":"2026-08-15T16:21:42.456537Z","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-15T16:21:42.460963Z","title":"In: RV (2012)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.460963Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:58b49fc7f24fbc728fca00f069c88ea7ee6289342e857997162c43357522fcdd","observation_id":"543c8f93-8094-4951-b037-d4fd4a290ff0","resolution":{"observed_at":"2026-08-15T16:21:42.460963Z","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-15T16:21:42.465040Z","title":"In: RV (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.465040Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:04ed079a58ca8ad5b802acd8742fabd46e198ec771848d0e12ac5441c9426c40","observation_id":"f3f2ab5c-03fa-4344-8d63-2465591d017b","resolution":{"observed_at":"2026-08-15T16:21:42.465040Z","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-15T16:21:42.469091Z","title":"Lectures on Runtime Verification (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.469091Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:e4f412bab814f91cccdc8f970e734903cc4fbe86e565b577fafaa3633a7e9195","observation_id":"d6f0d72a-47ae-4851-b13a-6ef0b42c131b","resolution":{"observed_at":"2026-08-15T16:21:42.469091Z","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-15T16:21:42.473065Z","title":"In: OPODIS (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.473065Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:e28cdc6bac425a656787ddde78adc5545f81a3fdcc27fcc4217ad865fcc88a11","observation_id":"9fa5e996-39f3-40ae-b0fe-20075bc8e485","resolution":{"observed_at":"2026-08-15T16:21:42.473065Z","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-15T16:21:42.477407Z","title":"In: ICDCS (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.477407Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:173190780e6f32af37cda07ca8541d78d4e1894a5f8788ba613c5d07b960eb1f","observation_id":"57fc8357-71c8-439e-91b9-5e7ec6f9d9b7","resolution":{"observed_at":"2026-08-15T16:21:42.477407Z","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-15T16:21:42.481435Z","title":"Journal of Parallel and Distributed Computing185(2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.481435Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:6e0be505084a64bcab0195caa8a14b7476e094e00d871286a5ff1b1ca21dc106","observation_id":"e30dcd50-f41e-4e0c-aeed-5ce173f4d4c4","resolution":{"observed_at":"2026-08-15T16:21:42.481435Z","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-15T16:21:42.485375Z","title":"In: RV (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.485375Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:0be30bfa614e8cf30a3aa32096b3e5dd184dc700095f524ad957f60f5417bc3f","observation_id":"e1c0fb2d-652a-454f-944a-97ec56fd531e","resolution":{"observed_at":"2026-08-15T16:21:42.485375Z","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-15T16:21:42.490298Z","title":"In: 2020 23rd Euromicro Conference on Digital System Design (DSD) (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.490298Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:7ec2abf83aff6155d6d81882f17143e77371a77f324918fd07bcd7846e122ea5","observation_id":"f98a1d39-8b57-432c-8ca4-d3cd82cfbb8d","resolution":{"observed_at":"2026-08-15T16:21:42.490298Z","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-15T16:21:42.494441Z","title":"In: ISSTA (2024) 19","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.494441Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:41fcccd1d61a93fb4918d95850152b76dfab2c310857c816ee1524346be2c120","observation_id":"4448e67f-051f-48d2-96da-615ceb9d2684","resolution":{"observed_at":"2026-08-15T16:21:42.494441Z","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-15T16:21:42.498157Z","title":"In: ICSE (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.498157Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:09f02a2770420ca58ad211a181fb6dc6c0a83cafbee28c15fd0e89f64d2cba05","observation_id":"4215a1a4-2a47-428e-a19e-6aee0df41f4c","resolution":{"observed_at":"2026-08-15T16:21:42.498157Z","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-15T16:21:42.502331Z","title":"In: FSE Demo (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.502331Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:4c881fd07787dec09898e046e96d6d22bcfc55b6189805b0b378e107028f758d","observation_id":"129da73e-5413-4459-b2d6-af2dbadd23f7","resolution":{"observed_at":"2026-08-15T16:21:42.502331Z","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-15T16:21:42.506426Z","title":"In: RV (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.506426Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:1647cd4ceb3563bc502f53f63bfdfeee3212bfe98be54ceae306d6119bb3031c","observation_id":"fcfcd13e-103c-4956-be85-442b4089d911","resolution":{"observed_at":"2026-08-15T16:21:42.506426Z","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-15T16:21:42.510384Z","title":"In: FMCAD (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.510384Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:a51cee31408907deca138320895205ab6559b52ac866e4b28f9dae398edf5b92","observation_id":"b23dc62e-4762-4cbb-9cf7-452aa9cc8b64","resolution":{"observed_at":"2026-08-15T16:21:42.510384Z","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-15T16:21:42.514485Z","title":"In: RV (2001)","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.514485Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:8f8cdf429fade1cb9d8f4ac0c6ef21814d8ebc6d0accfc602e72883dc289ef75","observation_id":"029acd0b-9161-4a5f-ae3b-5061f5a0b68a","resolution":{"observed_at":"2026-08-15T16:21:42.514485Z","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-15T16:21:42.518436Z","title":"In: ASE (2001)","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.518436Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:6876219dfabc30c9ba573f4ff2ce1e41ec11320c46f4e6215eba6d7cf78119d0","observation_id":"d9ed277c-9856-4042-98e4-3e090bdbd92c","resolution":{"observed_at":"2026-08-15T16:21:42.518436Z","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-15T16:21:42.522499Z","title":"In: TACAS (2002)","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.522499Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:780841c90789e287662cf83db3be9fd6345cfd1cf18f39278f96e23c00a48647","observation_id":"44b8b9fa-9e86-4f00-bbd4-aad56239fb2d","resolution":{"observed_at":"2026-08-15T16:21:42.522499Z","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-15T16:21:42.527014Z","title":"In: RV (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.527014Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:c2b4ede6b752ba44f319a58908c49d1bf5bf92d313834b61e73ef98b4d3b8357","observation_id":"2c50d8b3-7eaf-49bf-8c0d-a8d5d9fd1c8b","resolution":{"observed_at":"2026-08-15T16:21:42.527014Z","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-15T16:21:42.530854Z","title":"HOWARD-6042(2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.530854Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:12206aae0b6e5387dcb567d823867e1533a81f99e4951e1048534bfb31bd2ac9","observation_id":"7b6f709c-e957-466c-a674-c92051364f43","resolution":{"observed_at":"2026-08-15T16:21:42.530854Z","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-15T16:21:42.534863Z","title":"In: RV (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.534863Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:24e354dd914bcd3d5b1d342f24332cd8926df8835d08ebb5040a31435ff29c77","observation_id":"ccdfc578-5783-4297-b345-65f9aeb9b25c","resolution":{"observed_at":"2026-08-15T16:21:42.534863Z","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-15T16:21:42.538926Z","title":"John Wiley & Sons (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.538926Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:eba40856353edd321d67b91d78e8409d40d16e56e8be9446e855c87be8990a8f","observation_id":"f788dcd4-2378-4053-8b82-b5a6d0774965","resolution":{"observed_at":"2026-08-15T16:21:42.538926Z","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-15T16:21:42.542909Z","title":"IJSTTT24(3) (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.542909Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:befb858ab08128301f4f6d4b7d3f391afcccb313f337d348931ef2163c60a050","observation_id":"f49e262d-d22f-4471-81ec-89236553ce1e","resolution":{"observed_at":"2026-08-15T16:21:42.542909Z","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-15T16:21:42.546751Z","title":"In: A Beginners Guide to Python 3 Programming","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.546751Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:98eddf790719a0c5ab34de092bd080e9fc155f46b685ea3cbca8a523ef891718","observation_id":"fcb970aa-939a-4cca-b46b-1418a1efd0e2","resolution":{"observed_at":"2026-08-15T16:21:42.546751Z","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-15T16:21:42.550679Z","title":"In: PLAS (2012)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.550679Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:d327fd7d32cc0bc4cf2af6208c80069e0d9afd69e2cc300c4f37cbd3ff8b6cea","observation_id":"87e4b859-d8d0-452e-940e-7b3f57b4e102","resolution":{"observed_at":"2026-08-15T16:21:42.550679Z","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-15T16:21:42.554690Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.554690Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:43c2244ae1d0733eee5e75560aaff458d4fb66a7ee4dd08a8f997dda3e9dfc15","observation_id":"651c9ebe-369a-44b6-b9bd-f240f662f002","resolution":{"observed_at":"2026-08-15T16:21:42.554690Z","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-15T16:21:42.559362Z","title":"In: APSEC (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.559362Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:860cea7e132bc63d52b655132cca0f1bdc14fba7654a3779b192c296123de9c2","observation_id":"fdfe5852-96ae-49e1-a5a4-18ee8fa2ad3f","resolution":{"observed_at":"2026-08-15T16:21:42.559362Z","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-15T16:21:42.563851Z","title":"In: ASE Demo (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.563851Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:c98aa5affd4f61930bc122636fc20f02db4efc5eca76ed54edffc815629c35c8","observation_id":"c9816051-8ea0-44ae-b7d9-572eeed265b7","resolution":{"observed_at":"2026-08-15T16:21:42.563851Z","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-15T16:21:42.569672Z","title":"In: PLDI (2011)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.569672Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:9a0f2ca4142ea702a769843104bc9da8fb998623c9ccc361ee8dc68720d4acef","observation_id":"b8fdf1f3-d7f7-4f73-b9ac-2a0f9582bff5","resolution":{"observed_at":"2026-08-15T16:21:42.569672Z","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-15T16:21:43.749388Z","title":"In: ICSE Demo (2012)","venue":null,"work_id":"814de3b5-b4fe-45d6-92b4-bfde65e9c339","year":2012},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.573816Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:65458b296e8c530cea4470705342ccdb2f79008148c157092cb17b701111cbeb","observation_id":"5451b9e1-86fc-4277-a50f-7bc087fc1e57","resolution":{"observed_at":"2026-08-15T16:21:43.753678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:21:43.740282Z","title":null,"venue":null,"work_id":"ae959b94-f288-4d5d-b086-c5061b1d249c","year":2012},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.578061Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:b3ca31435892df701bbec9d6e16afb556ad21e439fff35a68bfbd32ac4d62a60","observation_id":"7223cf60-f827-47d7-8d06-4675d5da5066","resolution":{"observed_at":"2026-08-15T16:21:43.743674Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:21:43.730092Z","title":"In: RV (2004)","venue":null,"work_id":"71deb462-5999-45e8-9637-b244da08777d","year":2004},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.582244Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:25aa288b219fe7f129b8b9f3c7cc6e8e43427de0938dd26aeca0e53b616ed9d8","observation_id":"7bdb15ef-1246-492a-a617-7bd84d6abd2c","resolution":{"observed_at":"2026-08-15T16:21:43.733140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:21:43.719685Z","title":"Comprehensive Psychology3, 11–IT (2014)","venue":null,"work_id":"e9f5d723-cce8-499a-aee3-a1a349e28324","year":2014},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.586401Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:27537488a8cb78ba798d54f9f7d6835f1b0a6754b089b50f74e7f71ac3a58631","observation_id":"2c918f98-0478-442c-913e-3344a253a673","resolution":{"observed_at":"2026-08-15T16:21:43.723893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:21:43.710587Z","title":"In: ECOOP (2001)","venue":null,"work_id":"ba473e64-2255-47ec-b1e7-a87f568804d7","year":2001},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.590588Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:a72c9b0d8ef2412cb7bb89290608f6fc58fae7856867bad0864a8cd3199069bc","observation_id":"007bd010-ae73-4fd7-98b8-dd7170770727","resolution":{"observed_at":"2026-08-15T16:21:43.713843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:21:43.701610Z","title":"In: ECRTS (1999)","venue":null,"work_id":"a84e5e8b-6b45-4106-b428-cf40b6650e6d","year":1999},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.594487Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:8cd59337af871ffa7b85321c4da349a4609fb68b5f9d72373bea952fd468fd5c","observation_id":"7c2f95c1-2432-498f-a01c-edc32553f014","resolution":{"observed_at":"2026-08-15T16:21:43.704858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:21:43.691556Z","title":null,"venue":null,"work_id":"ea6cb733-22f1-4ee2-b39f-623219365545","year":2012},"citing_paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-15T16:21:42.598889Z"},"links":{"citing_paper":"/paper/2509.06324"},"observation_digest":"sha256:4f2284ec0e20eb103663fce5edb04b8f218992550764e21d92d0af7649d9e956","observation_id":"d4c75ab1-3ede-4d39-835d-9aa4a3c237a0","resolution":{"observed_at":"2026-08-15T16:21:43.695511Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.06324","last_updated":"2025-09-08T04:11:28Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-15T16:15:46.329424Z","submitted_at":"2025-09-08T04:11:28Z","title":"A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":94,"verified_exact":0,"verified_fuzzy":5},"total_outbound_references":172},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 100 of 172 outbound references and 0 inbound Pith citation observations for arXiv:2509.06324."}