{"as_of":"2026-08-21T12:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1274bee230e92250ff3ace3ad3d064ee1bbc1fbb57a4285e63e4ea710a051a3e","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-02T02:20:48.735715Z","state":"measured"},{"denominator":62,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":62,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T00:34:05.404187Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.00563","snapshot_observed_at":"2026-07-12T00:34:05.404187Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.03700","last_updated":"2026-07-04T04:26:23Z","snapshot_observed_at":"2026-08-14T10:59:02.113719Z","submitted_at":"2026-07-04T04:26:23Z","title":"Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-12T00:34:05.404187Z"},"links":{"cited_paper":"/paper/2607.00563","citing_paper":"/paper/2607.03700"},"observation_digest":"sha256:3719ed0884ec34ae02d08e37026348cdf5049216e4ce033148e55d6ea7d98913","observation_id":"c56e27eb-6d10-4985-b928-523edae033b3","resolution":{"observed_at":"2026-07-12T00:34:05.404187Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.00563/citation-record","integrity":"/paper/2607.00563/integrity","json":"/paper/2607.00563/citation-record.json","paper":"/paper/2607.00563"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-06T09:12:10.151384Z","title":"Understanding recurring quality prob- lems and their impact on code sharing in block-based software,","venue":null,"work_id":"069f6ecb-5ff4-4154-b66d-dd52d105a06d","year":2017},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:bb94e61bc36a3b78d647e9a765be1dad52ca123b34f740e5877679b6ca42d082","observation_id":"989d3959-9468-4379-b0b3-bfa52a60e84b","resolution":{"observed_at":"2026-07-06T09:12:10.152744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.162152Z","title":"Software clones in Scratch projects: On the presence of copy-and-paste in compu- tational thinking learning,","venue":null,"work_id":"263de090-ff61-4ade-9b51-1af89c7f2b20","year":2017},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:934fadadb7e302ef8edab61187c15cb6b54dc805e3a2591fba49d771701e2e07","observation_id":"e0a8686d-ddb0-4efe-8787-56d15ffbddd5","resolution":{"observed_at":"2026-07-06T09:12:10.164321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.141123Z","title":"Formal verification of a realistic compiler,","venue":null,"work_id":"d2a5e8eb-04ac-45f5-8612-9484cf480c7a","year":2009},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:8371092c39d5841be283deae3fa4916a4792b4f802153add5ebcad1c7da2fdd8","observation_id":"c4f41d58-6826-489e-967d-e3a70bdfd195","resolution":{"observed_at":"2026-07-06T09:12:10.142287Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.120386Z","title":"A formally verified compiler back-end,","venue":null,"work_id":"9c0d411e-894b-46c0-8ab4-0a4eea8be0c0","year":2009},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:90fb4d0711e58fda505634a05091a68602cb124111dceb3752ae3a1156b7a474","observation_id":"2b034c81-86fb-4c6e-b175-9c39ad1e1d45","resolution":{"observed_at":"2026-07-06T09:12:10.121608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.134092Z","title":"Translation validation,","venue":null,"work_id":"54017035-0e83-4121-88c9-359f0024bb78","year":1998},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:685f51535060fb893c9b076d85a87ca52ebdaa859dcb16bef2fa411f7c457a36","observation_id":"9b19abee-a191-4b8d-a6db-7e400802c406","resolution":{"observed_at":"2026-07-06T09:12:10.135197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.137476Z","title":"Translation validation for an optimizing compiler,","venue":null,"work_id":"7910e81c-f6b1-48b3-8514-44ba8d924626","year":2000},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:5fb0894aae88b029b27527790a7854c5f07c8237b707430c6c5998dfef901bed","observation_id":"c7b57cca-b388-4ab5-949b-236a020ecdba","resolution":{"observed_at":"2026-07-06T09:12:10.138646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.100506Z","title":"Alive2: Bounded translation validation for LLVM,","venue":null,"work_id":"ab497611-8693-46c4-bb81-abaeb8abb5be","year":2021},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:f0e2eeb0d93b0d807e83789c3c002900952772e54ab53262a71e80e5649c8d16","observation_id":"4d9e890e-f3d7-4de1-9d25-3b9ac6fb4252","resolution":{"observed_at":"2026-07-06T09:12:10.101790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.144769Z","title":"Code quality improvement for all: Automated refactoring for Scratch,","venue":null,"work_id":"f00be5b2-299f-4a5a-b756-f95bc6ddbfee","year":2019},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:7bdffd70ef98a0ee2471ed69189ae28414b543b3440b6c0e4d3c95e325c975e6","observation_id":"c2aac99d-cbb2-46af-980d-69d46c45c4cb","resolution":{"observed_at":"2026-07-06T09:12:10.146019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.075927Z","title":"Improving readability of Scratch programs with search-based refactoring,","venue":null,"work_id":"dc3a0ffe-e15d-4ba7-8cc8-92a9b5718521","year":2021},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:a8296b422183ce36b10d9a877f592261268e14fe4981fdc6a63cbf16d9810c7c","observation_id":"d60b6335-f024-46b8-b8bc-bf15bf1e4382","resolution":{"observed_at":"2026-07-06T09:12:10.077199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.088180Z","title":"The Scratch programming language and environment,","venue":null,"work_id":"db23050e-fd5c-4bba-aa59-e920d6cb275c","year":2010},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:9bb09baafb35eb470c1c1097ea129c621a12d6b537c7e9abd8dfc6d544076142","observation_id":"2bb6f23c-fc8a-4565-9014-5fdea7df4b11","resolution":{"observed_at":"2026-07-06T09:12:10.089399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.146644Z","title":"Scratch: Programming for all,","venue":null,"work_id":"8e264a52-19b2-4766-8758-39a38036ef6f","year":2009},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:713d7360ed209d20e7d1d3322baf1cac79758a94ba0d5c67073f935e288bc9ba","observation_id":"d81b89ce-2320-4e03-82a3-8b7d599c1ea2","resolution":{"observed_at":"2026-07-06T09:12:10.147826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.113382Z","title":"The Lean 4 theorem prover and program- ming language,","venue":null,"work_id":"d53c4d53-611d-4dce-b2a1-33e64dace66d","year":2021},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:a207e1f68a1a7f0b60f257ef58dad256433affc406c5da5b6fe63d5c360bebd3","observation_id":"955be5a4-a1bf-4b06-a546-8151a8808944","resolution":{"observed_at":"2026-07-06T09:12:10.114508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.109670Z","title":"Equality saturation: A new approach to optimization,","venue":null,"work_id":"762b0c96-6215-4577-91ab-018e8ed7b18a","year":2009},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:fa4e72821f51513c8fd312cff6873cdc8ee0b52073cd70d9f97b6c152b7631a5","observation_id":"6e1e71fb-80fc-4679-b78d-1b6d9fce38eb","resolution":{"observed_at":"2026-07-06T09:12:10.110813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.089233Z","title":"egg: Fast and extensible equality saturation,","venue":null,"work_id":"4163329e-1d23-48d1-aa6a-60e1b895f4af","year":2021},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:32d8e9c98ce8740522fa98504e18207e00c97bbba9742179b465c68ea07a4ca3","observation_id":"60a0e039-1f90-4fee-9091-835d0a035575","resolution":{"observed_at":"2026-07-06T09:12:10.090378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.111767Z","title":"Ehrig, K","venue":null,"work_id":"bee70e62-5609-4c72-97ad-1d4092d583c5","year":2006},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:bb00f510a3582f2a5e06d5850e0a2c5dc4cbefbc770c609acfee20105b99a459","observation_id":"6ba464f0-05ff-48a3-9a7d-1e7266ae569b","resolution":{"observed_at":"2026-07-06T09:12:10.112798Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.15817","last_updated":"2026-06-16T02:56:17Z","snapshot_observed_at":"2026-08-12T07:11:11.940932Z","submitted_at":"2026-06-14T13:38:35Z","title":"ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs","version":2},"cited_work":{"arxiv_id":"2606.15817","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.15817","snapshot_observed_at":"2026-07-03T21:48:59.054979Z","title":"ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs","venue":"cs.PL","work_id":"e3f5be12-1643-4b0c-9356-fd949f5cfffe","year":2026},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"cited_paper":"/paper/2606.15817","citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:9e0f20a7b0fd0790dca9098c59e6e2b0429a701b7f470985e623c5c5aa6e8ec0","observation_id":"75a419df-d349-4be4-98c3-3219fb614af8","resolution":{"observed_at":"2026-07-02T02:26:25.929776Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.123795Z","title":"CakeML: A verified implementation of ML,","venue":null,"work_id":"9315f92e-adae-45d5-97b1-4d21fbcde395","year":2014},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:177e831e8eded23fcb75cff66341722ab9150c476bd7c175f2641c541a4d02ca","observation_id":"a0ffc1d4-0803-482b-a71f-d4ba0d7939cd","resolution":{"observed_at":"2026-07-06T09:12:10.124848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.142482Z","title":"Compositional CompCert,","venue":null,"work_id":"d6c438ac-2cd4-4503-a6f9-a16b56b5819c","year":2015},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:58b0463349c4e8db5b5097e57a206a385598864a24819c30cda5d3fa052f5a4d","observation_id":"5bfd5054-c779-40b4-b4a1-aa59e09de311","resolution":{"observed_at":"2026-07-06T09:12:10.143953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.115079Z","title":"Verified software toolchain,","venue":null,"work_id":"be183aea-3180-4bb8-a1fd-73ef61572171","year":2011},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:1487369e029c05cab006bb920150bbe2081aef26895b7722a34bd445c4e26935","observation_id":"d2509cea-80f2-4048-875c-64d7bcf5d23f","resolution":{"observed_at":"2026-07-06T09:12:10.116151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.149192Z","title":"VOC: A methodology for the translation validation of optimizing compilers,","venue":null,"work_id":"f868ebb8-b607-4919-beef-76f0871377c1","year":2003},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:4ae5cb50a0cd4c4449cbc37ae733343d56749f19bf83c59633b4e1a1ffd3c95d","observation_id":"84910233-827a-453c-9618-4ec39257e1de","resolution":{"observed_at":"2026-07-06T09:12:10.150529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.070813Z","title":"TVOC: A translation validator for optimizing compilers,","venue":null,"work_id":"75ae773c-d6d9-4d27-b308-869113e51415","year":2005},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:c4cd9866cdb022fe1e1b19ca53bc348d02790534ada6bcd3bb7b988ea56b580a","observation_id":"19cfbf5d-7170-4858-90ee-f94565d934ca","resolution":{"observed_at":"2026-07-06T09:12:10.071908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.106058Z","title":"Formal verification of translation valida- tors: A case study on instruction scheduling optimizations,","venue":null,"work_id":"b8fc779f-994b-4164-aea4-37b7ff3ce971","year":2008},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:969868ff227fcd9f7fe84bff1d53ba406f48c0cabdf028fc0d0664b4c96765c9","observation_id":"f56390dd-e8cb-49b6-a3e1-7e500da33fde","resolution":{"observed_at":"2026-07-06T09:12:10.107507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.128613Z","title":"Verified validation of lazy code motion,","venue":null,"work_id":"f97d7230-d9a5-489e-b66b-5e6836b680c1","year":2009},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:79c1542e708f180532efdb73a9816b2eed254930e4e3879998cfaef3d48c3583","observation_id":"cc8141d2-60eb-4797-a765-e0001cc977c5","resolution":{"observed_at":"2026-07-06T09:12:10.129824Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.116438Z","title":"Verified peephole optimizations for CompCert,","venue":null,"work_id":"cecabe61-fda3-4c3c-820f-574f967ecf35","year":2016},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:7a98a8c6b658602f393a55ed143ed5e01a9de232559f2388520d978390e41b03","observation_id":"11aebb71-3f3b-4802-a6f7-e5ad5c941970","resolution":{"observed_at":"2026-07-06T09:12:10.117619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.137736Z","title":"Provably correct peephole optimizations with Alive,","venue":null,"work_id":"61e38530-5040-448f-a291-ae97d1675b7a","year":2015},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:03486a0288004984c831626440643b186eac4e22b9cf6c1434d92d89c66726fb","observation_id":"0a9eddf3-fa27-4379-bc3b-3e77b9ddbd03","resolution":{"observed_at":"2026-07-06T09:12:10.139400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.093446Z","title":"Automatically proving the correctness of compiler optimizations,","venue":null,"work_id":"f5b542cb-dd8c-460e-8895-0c1e40c7f978","year":2003},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:129171a9badc2496e4b9b6ec72799ae11d9b87c3b496467785be0caa0b922a00","observation_id":"73d3b7e2-a2db-47db-81d3-8f6d3af1326e","resolution":{"observed_at":"2026-07-06T09:12:10.094633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.151358Z","title":"Credible compilation,","venue":null,"work_id":"f9e07149-50fc-44a8-81ec-6f13cdc309b5","year":1999},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:229ae78e78e03c356f9f539f33a04c108e6e2c131c0384cc8330556fe479849d","observation_id":"fc85a0b3-0a1e-45da-a371-734a9c696411","resolution":{"observed_at":"2026-07-06T09:12:10.153275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.123101Z","title":"Witnessing program transformations,","venue":null,"work_id":"79d35cb9-569f-411d-9ca2-67eccef554cc","year":2013},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:f8926b21bd1f97f34a41fdb0d7f7a8e4dda4d1acf33886ba4972eb5e2244a494","observation_id":"580d8dc6-23b0-491e-accd-b74f47a8a680","resolution":{"observed_at":"2026-07-06T09:12:10.124349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.114823Z","title":"Crellvm: Verified credible compilation for LLVM,","venue":null,"work_id":"bec70c84-09fc-4ea3-8356-a54b0f53a4bb","year":2018},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:d5220783e6c3b4f94380fac5dad54f3776712c82c6fac65ff3ef510c31770ae4","observation_id":"d25a7afc-8d03-459b-9ed6-7db92bc87ec1","resolution":{"observed_at":"2026-07-06T09:12:10.115973Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.153402Z","title":"Equality-based translation validator for LLVM,","venue":null,"work_id":"6bf1751b-936a-4442-9665-a7d72ec0aab0","year":2011},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:d764de0d1d8daadb2477bf953938c03caaa2788e4acf9938d02f99a9522e6e9f","observation_id":"0745db86-96de-4786-b2d2-aa7f1e35997a","resolution":{"observed_at":"2026-07-06T09:12:10.154676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.146910Z","title":"CompCertTSO: A verified compiler for relaxed-memory concurrency,","venue":null,"work_id":"43594e12-0bba-4be4-8ad7-f8883c3774a2","year":2013},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:724f865c7053f89f241f8cdcf795c183d5f2bfe81e4adadd96c83cbc257e4d89","observation_id":"49fe51f6-bf0d-4cd6-9ff1-b01dc4fd3686","resolution":{"observed_at":"2026-07-06T09:12:10.148538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.157241Z","title":"Proof-carrying code,","venue":null,"work_id":"536ac6fd-61f7-480d-aab4-fb4f0ac75c85","year":1997},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:5b4b88b1e595a250ef05ba681877e22994e49871d5981b83f83072fb21bf9fa5","observation_id":"07cbb389-412b-483a-8a27-7e9c93989779","resolution":{"observed_at":"2026-07-06T09:12:10.158984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.125368Z","title":"seL4: Formal verification of an OS kernel,","venue":null,"work_id":"1a9c9294-dc11-45a7-b893-f805587fa660","year":2009},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:6badb83df23dbbeb3bfb53cf9c2dfcff10a6bc9b721ec14ccc34f440fabc0403","observation_id":"66f3694f-33c8-4a11-9022-55699dc285b8","resolution":{"observed_at":"2026-07-06T09:12:10.126429Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.142836Z","title":"The Esterel synchronous programming language: Design, semantics, implementation,","venue":null,"work_id":"87b87c54-738c-4994-a881-e58e7ab6a9ca","year":1992},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:4ab3cdf3616f2780e01daa4a1193c906ce968134fe62b8353db681a8dddd9b4f","observation_id":"437e82a6-7b49-4204-b6f4-e1a7f11078a6","resolution":{"observed_at":"2026-07-06T09:12:10.144135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.130406Z","title":"The synchronous data flow programming language LUSTRE,","venue":null,"work_id":"6efd68a3-f690-461b-b50d-d88bbbbd046a","year":1991},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:9d7e82af09ddd9e008378c5dc494305740cab48559cf938d5b80ee96d6424273","observation_id":"f403ce05-b66f-42ac-962f-a71c9f73d02f","resolution":{"observed_at":"2026-07-06T09:12:10.131733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.127023Z","title":"A formally verified compiler for Lustre,","venue":null,"work_id":"d47a9035-8ea2-422b-b587-acffa4dba69f","year":2017},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:fa55d2dd8267b5f860a2a0e443f7f486eac1bae7d7ffac8cf785c34e24e32a26","observation_id":"a9b91784-2954-451d-9829-448b40d42279","resolution":{"observed_at":"2026-07-06T09:12:10.128203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.132124Z","title":"A dataset of Scratch programs: Scraped, shaped and scored,","venue":null,"work_id":"f89499bd-013d-4017-a9dc-92eed2c1c214","year":2017},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:0dfe5ab00e560fdd79ea415615e5b6559c17cff2719d61cd156dbfa2a083de7b","observation_id":"f1532fa2-7dce-45ec-9632-2fb6c9821d2e","resolution":{"observed_at":"2026-07-06T09:12:10.136787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.107916Z","title":"How kids code and how we know: An exploratory study on the Scratch repository,","venue":null,"work_id":"3a9f1dde-39f8-4489-94ec-59f030b7107e","year":2016},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:2c4ae990f866e6c82d78fa678cf1240cb2c3fedfcbade04155996bb6f4b58f85","observation_id":"95122543-7ebf-471d-8883-759f6219986f","resolution":{"observed_at":"2026-07-06T09:12:10.109140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.081338Z","title":"Hairball: Lint-inspired static analysis of Scratch projects,","venue":null,"work_id":"e51320aa-0d92-42f1-ab03-26d59cd11358","year":2013},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:b95a722acf60fe927cedc387a2f2daf3eceb9864a6f569d8ecb45de3bb9d2a9e","observation_id":"869df317-2956-40ef-92f0-f8f123c0108c","resolution":{"observed_at":"2026-07-06T09:12:10.082425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.132418Z","title":"Common bugs in Scratch programs,","venue":null,"work_id":"e3c81c7c-a90d-4c8c-b7c9-5504624709e0","year":2020},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:f1af621228d25a749bfdfb95b8a8f3bc402a77ed46c1687f7d11b71867f20e94","observation_id":"07664ea2-8726-4fc1-a0c1-f011503cbc19","resolution":{"observed_at":"2026-07-06T09:12:10.133528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.122121Z","title":"Testing scratch programs automatically,","venue":null,"work_id":"c13bcd7f-166d-439d-b485-0f21f193c95d","year":2019},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:9c6abe14d6b940ebd01b8dc6613a971e722dcaa1393c81008d285cf9edfee533","observation_id":"e853e8c9-7d62-43d7-87fb-10b4b4da4cd8","resolution":{"observed_at":"2026-07-06T09:12:10.123291Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2509.11065","last_updated":"2025-09-14T03:12:44Z","snapshot_observed_at":"2026-08-14T08:00:55.867926Z","submitted_at":"2025-09-14T03:12:44Z","title":"ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch","version":1},"cited_work":{"arxiv_id":"2509.11065","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2509.11065","snapshot_observed_at":"2026-07-04T08:19:43.891396Z","title":"arXiv preprint arXiv:2509.11065","venue":null,"work_id":"4c2fe8f7-1a26-4522-87dc-7f4103c3f062","year":2015},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"cited_paper":"/paper/2509.11065","citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:379f06c8e4103fea239e2fd2b739e0cf9d4e6be16d2a630397bb4c70b7ffefea","observation_id":"b09e14a3-6b3c-4b90-82a6-084433d75111","resolution":{"observed_at":"2026-07-02T02:26:25.922764Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.26634","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.032896Z","title":"Stitch: Step-by-step LLM guided tutoring for Scratch,","venue":null,"work_id":"e01344b7-fe1a-4029-abaa-fdc2da7a696b","year":2025},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:3b74b9a7e66212fd5c2234f3a3ff54d4a6ab49737230efa99ce717214cb32cab","observation_id":"16594873-c47d-4500-8960-8445fd0ed0ab","resolution":{"observed_at":"2026-07-02T02:26:25.932884Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.00757","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.021070Z","title":"ScratchEval: A multi- modal evaluation framework for LLMs in block-based programming,","venue":null,"work_id":"4db9b3c6-6e24-40a7-aa75-1c0d005a9026","year":2026},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:9a72742670bd808ba0a04d6150117d9d0e420ff045ecfcdb63cd96f61b3fb4dd","observation_id":"8a2d529e-5f8e-47d7-8cce-a79b554f68cd","resolution":{"observed_at":"2026-07-02T02:26:25.935884Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.29624","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.041336Z","title":"EcoScratch: Cost- effective multimodal repair for Scratch using execution feedback,","venue":null,"work_id":"8efdc490-1ef3-43bc-9c07-518e52d0b231","year":2026},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:866e7e328997615dc3cb9979ced3327ca298379053ec9f85d47b0a48906c97bf","observation_id":"14e2a603-bb80-4db4-a0ab-854eaf1dfedd","resolution":{"observed_at":"2026-07-02T02:26:25.918644Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.17820","last_updated":"2026-04-20T05:19:38Z","snapshot_observed_at":"2026-08-13T00:18:44.289139Z","submitted_at":"2026-04-20T05:19:38Z","title":"Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation","version":1},"cited_work":{"arxiv_id":"2604.17820","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.17820","snapshot_observed_at":"2026-07-03T21:48:59.027016Z","title":"Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation","venue":"cs.SE","work_id":"fa6381fc-f5f3-4e67-b99e-f7cc9b005af9","year":2026},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"cited_paper":"/paper/2604.17820","citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:8086c99263f1513b9fe077f7dc8c2a4febcdacc8a9d3be30de96ff5aab2029cd","observation_id":"90a98e0a-a8de-4645-b771-860e5d7aea8d","resolution":{"observed_at":"2026-07-02T02:26:25.911928Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.31689","last_updated":"2026-06-30T14:02:25Z","snapshot_observed_at":"2026-08-01T16:15:18.464315Z","submitted_at":"2026-06-30T14:02:25Z","title":"ScratchWorld: Evaluating If World Models Compute Executable Consequences","version":1},"cited_work":{"arxiv_id":"2606.31689","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.31689","snapshot_observed_at":"2026-07-03T21:48:59.024170Z","title":"ScratchWorld: Evaluating If World Models Compute Executable Consequences","venue":"cs.SE","work_id":"fe03e0c1-1c08-4940-9ca2-8d881406b75a","year":2026},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"cited_paper":"/paper/2606.31689","citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:01fdbc58fdec0a3d87183a9c54372be041e75c0b2f44453372170f03a507ff91","observation_id":"fac2358d-9379-4bfa-a305-8466771f232e","resolution":{"observed_at":"2026-07-02T02:26:25.914977Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.125037Z","title":"Automated feedback generation for competition-level code,","venue":null,"work_id":"28583211-e3e8-4e87-abc7-c61358bba880","year":2022},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:ee180bcde6221b75b0afc2afefc75d156d34bd7355fe81b8b2cf439ce0f16e65","observation_id":"e84d8cbb-30f2-4dc2-8c7e-5def0b636d4b","resolution":{"observed_at":"2026-07-06T09:12:10.126298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.116719Z","title":"PyDex: Repairing bugs in introductory python assignments using LLMs,","venue":null,"work_id":"052c7f42-7faf-4027-97bd-e039fb01ec7e","year":2024},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:08581fd7c1ce8d3dc88117598de367f4b5aca0574b3d455f369886f29ea51761","observation_id":"cb742e3a-956b-47bb-8144-9f1ddd21e3f0","resolution":{"observed_at":"2026-07-06T09:12:10.118281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.14339","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T21:48:59.046810Z","title":"A systematic study of time limit exceeded errors in online programming assignments,","venue":null,"work_id":"b387e809-46ea-4a1b-98dc-fb0019087e56","year":2025},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:2bba96ab35243876b75936beb1db153c1c97019b7a16630908d9cf20ddaf5eb4","observation_id":"7242f241-64c3-4796-b545-7db17150f888","resolution":{"observed_at":"2026-07-02T02:26:25.926160Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.096625Z","title":"Using pre-trained language models to resolve textual and semantic merge conflicts,","venue":null,"work_id":"c4341e5c-91b0-4f60-ac9a-d5e73ede8720","year":2022},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:64921b8a90dfa511f72defa61f5586e573000e6ca155e585e29d1a454a62263a","observation_id":"a1a549ff-94c3-4b5f-9694-0358c928f970","resolution":{"observed_at":"2026-07-06T09:12:10.097930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.083729Z","title":"Learning CI configuration correctness for early build feedback,","venue":null,"work_id":"4610cd34-a082-4513-8c2c-f3f91443527b","year":2022},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:b357fcdf4bfeff707511542335585391c8667478a55bfdb4575284501e0b9de6","observation_id":"ffa6f1f1-fc83-4a41-8847-6f5756fdf3cb","resolution":{"observed_at":"2026-07-06T09:12:10.084961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.090930Z","title":"Static detection of silent misconfigurations with deep interaction analysis","venue":null,"work_id":"55988908-8fb2-4a1a-909b-9c2e4651b6df","year":2021},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:b5cbf11b3a3915d5fc474fd962607dd1939d0e83c4256dc84972f28691c4bbc2","observation_id":"45c70b2e-865d-47dc-abf4-df1b844f70bf","resolution":{"observed_at":"2026-07-06T09:12:10.092136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.113130Z","title":"The state of the art in end-user software engineering,","venue":null,"work_id":"c63cabe8-96a9-490c-93a6-988a27caed8b","year":2011},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:e4de7e969a829dac825c1d32527d190a9cb376abc2f5153ba151623f09baba27","observation_id":"6474a854-d068-42e8-88ed-7d712a56acf1","resolution":{"observed_at":"2026-07-06T09:12:10.114276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.135797Z","title":"Denali: A goal-directed superop- timizer,","venue":null,"work_id":"831e15f6-cc1e-460d-b2f1-43c787fa4f03","year":2002},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:f95b480308ef4f32ad2c06c0f1260ff444245f4bacf1121bbc67eb9bbad72776","observation_id":"a8418bb5-964f-4b9d-bd93-08f1dc3bf820","resolution":{"observed_at":"2026-07-06T09:12:10.136974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.154021Z","title":"Automatic generation of peephole superop- timizers,","venue":null,"work_id":"84d49fc2-5c31-416a-8039-282bbf553a42","year":2006},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:2d6623dc36d09f1e9dab1d267bd5484f6090abc77a21bcdb26b471ca87ae2720","observation_id":"ec314c12-cee1-4be1-b844-7cf6c10f363b","resolution":{"observed_at":"2026-07-06T09:12:10.156506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.148363Z","title":"Stochastic superoptimization,","venue":null,"work_id":"aafbb7b7-5695-4e06-9f4d-505f7f588176","year":2013},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:ffd9f187c61c70cac730ca9d246d4b452a3b8421e27b34c040e142a3fb51fef1","observation_id":"e133d172-5e64-4312-91c8-cd805a3ccac9","resolution":{"observed_at":"2026-07-06T09:12:10.149448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.126870Z","title":"Rewrite rule inference using equality saturation,","venue":null,"work_id":"e298d08f-f892-42b2-b36d-36531cd4b187","year":2021},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:8dcb93edb92fd00af942011ea3d369e56ab9ed742a203a5dc1fa3f049264be1f","observation_id":"22d417dc-220a-46de-bd9c-e2ada407e4ec","resolution":{"observed_at":"2026-07-06T09:12:10.128056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.159721Z","title":"Separation logic: A logic for shared mutable data structures,","venue":null,"work_id":"146701f1-c5fe-46eb-877a-1c12e96b06b4","year":2002},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:ab0dfba01fdc9547cf0a9e1c6b2a6f4c244afbf624c87e4b6987187b0de49b93","observation_id":"dc247615-234a-4e32-a631-b1c81a53b1c1","resolution":{"observed_at":"2026-07-06T09:12:10.161466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.144569Z","title":"Resources, concurrency, and local reasoning,","venue":null,"work_id":"cb3c173f-4e49-4eb0-be15-603451f55a1f","year":2007},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:0f59c22e91c93f781e77d5442d7894dfff7389303e672a6512fd8e5606eb359f","observation_id":"5bdf1840-c6ef-42e1-8fca-5e0a9f8c9ac9","resolution":{"observed_at":"2026-07-06T09:12:10.146270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-07-06T09:12:10.082083Z","title":"A logical view of composition,","venue":null,"work_id":"fb513b4c-4a05-45d8-bdba-a6dfc1e190a8","year":1993},"citing_paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-07-02T02:20:48.735715Z"},"links":{"citing_paper":"/paper/2607.00563"},"observation_digest":"sha256:76ce55a0961bd849d95fa13ec5a0f4bac9944459a1676b8223c59f31aed49208","observation_id":"c2a23547-6538-44bd-acf9-aeda2df543af","resolution":{"observed_at":"2026-07-06T09:12:10.083172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.00563","last_updated":"2026-07-01T07:51:27Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-20T18:21:45.417754Z","submitted_at":"2026-07-01T07:51:27Z","title":"Certificate-Carrying Transformation of Event-Driven Block Programs"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":7,"verified_fuzzy":53},"total_outbound_references":61},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 1 inbound Pith citation observation for arXiv:2607.00563."}