{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OA5EKGEE32QQI562L3772JHOGB","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"898995da8a77ae1a668fe373e8208e49ab0568a10c195c998c4fc2dfc553a420","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-14T13:38:35Z","title_canon_sha256":"2bb95c1b8fb07a56a21a688a24f06653511a71a416ba6e4556ce71d5c816f6df"},"schema_version":"1.0","source":{"id":"2606.15817","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.15817","created_at":"2026-06-19T16:10:01Z"},{"alias_kind":"arxiv_version","alias_value":"2606.15817v2","created_at":"2026-06-19T16:10:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.15817","created_at":"2026-06-19T16:10:01Z"},{"alias_kind":"pith_short_12","alias_value":"OA5EKGEE32QQ","created_at":"2026-06-19T16:10:01Z"},{"alias_kind":"pith_short_16","alias_value":"OA5EKGEE32QQI562","created_at":"2026-06-19T16:10:01Z"},{"alias_kind":"pith_short_8","alias_value":"OA5EKGEE","created_at":"2026-06-19T16:10:01Z"}],"graph_snapshots":[{"event_id":"sha256:ecedc0646aaefc19df394d6263100951ed8da37cc7d613b8bee4926c31bcc0f6","target":"graph","created_at":"2026-06-19T16:10:01Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.15817/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Two Scratch programs can be syntactically far apart-renamed variables, split scripts, extracted custom blocks, or reordered initialization-and still behave identically; a one-block edit, such as replacing a blocking broadcast with an asynchronous one, can create divergences visible only under specific schedules. Deciding behavioral equivalence is central to automated feedback, grading support, and repair validation, yet tree differencing is too strict and single-run dynamic comparison is unsound for concurrent, random, and timing-dependent behavior.\n  We observe that equivalence for block-base","authors_text":"Jialu Zhang, Yuan Si","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-14T13:38:35Z","title":"ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.15817","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:733a7d256543634f757149ecc105726eac8bbabb9d9f19e051066ff53105772b","target":"record","created_at":"2026-06-19T16:10:01Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"898995da8a77ae1a668fe373e8208e49ab0568a10c195c998c4fc2dfc553a420","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-14T13:38:35Z","title_canon_sha256":"2bb95c1b8fb07a56a21a688a24f06653511a71a416ba6e4556ce71d5c816f6df"},"schema_version":"1.0","source":{"id":"2606.15817","kind":"arxiv","version":2}},"canonical_sha256":"703a451884dea10477da5efffd24ee30644380ec8fecefd742ee3ef6548ec9a4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"703a451884dea10477da5efffd24ee30644380ec8fecefd742ee3ef6548ec9a4","first_computed_at":"2026-06-19T16:10:01.504491Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:10:01.504491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NyDRgn4spZf5Ns72Y2SS+Kpy33HZ2hdSxFEHT1JxsesaEdRRLBRXbl6ChJhqCl/pDLtRVOj8QnXqykoFglFXDQ==","signature_status":"signed_v1","signed_at":"2026-06-19T16:10:01.504946Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.15817","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:733a7d256543634f757149ecc105726eac8bbabb9d9f19e051066ff53105772b","sha256:ecedc0646aaefc19df394d6263100951ed8da37cc7d613b8bee4926c31bcc0f6"],"state_sha256":"158dba3a9d6c4d5c3c62b6a2f1a957bd24daed7aa09b05bcec3d98f575b09f89"}