{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:OA5EKGEE32QQI562L3772JHOGB","short_pith_number":"pith:OA5EKGEE","schema_version":"1.0","canonical_sha256":"703a451884dea10477da5efffd24ee30644380ec8fecefd742ee3ef6548ec9a4","source":{"kind":"arxiv","id":"2606.15817","version":2},"attestation_state":"computed","paper":{"title":"ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Jialu Zhang, Yuan Si","submitted_at":"2026-06-14T13:38:35Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.15817","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-14T13:38:35Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"2bb95c1b8fb07a56a21a688a24f06653511a71a416ba6e4556ce71d5c816f6df","abstract_canon_sha256":"898995da8a77ae1a668fe373e8208e49ab0568a10c195c998c4fc2dfc553a420"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:10:01.504946Z","signature_b64":"NyDRgn4spZf5Ns72Y2SS+Kpy33HZ2hdSxFEHT1JxsesaEdRRLBRXbl6ChJhqCl/pDLtRVOj8QnXqykoFglFXDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"703a451884dea10477da5efffd24ee30644380ec8fecefd742ee3ef6548ec9a4","last_reissued_at":"2026-06-19T16:10:01.504491Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:10:01.504491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Jialu Zhang, Yuan Si","submitted_at":"2026-06-14T13:38:35Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.15817","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.15817/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.15817","created_at":"2026-06-19T16:10:01.504556+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.15817v2","created_at":"2026-06-19T16:10:01.504556+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.15817","created_at":"2026-06-19T16:10:01.504556+00:00"},{"alias_kind":"pith_short_12","alias_value":"OA5EKGEE32QQ","created_at":"2026-06-19T16:10:01.504556+00:00"},{"alias_kind":"pith_short_16","alias_value":"OA5EKGEE32QQI562","created_at":"2026-06-19T16:10:01.504556+00:00"},{"alias_kind":"pith_short_8","alias_value":"OA5EKGEE","created_at":"2026-06-19T16:10:01.504556+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":5,"internal_anchor_count":5,"sample":[{"citing_arxiv_id":"2607.01280","citing_title":"Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery","ref_index":6,"is_internal_anchor":true},{"citing_arxiv_id":"2607.00623","citing_title":"SchedCheck: Schedule-Robustness Analysis for Event-Driven Block Programs","ref_index":5,"is_internal_anchor":true},{"citing_arxiv_id":"2607.00635","citing_title":"Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators","ref_index":1,"is_internal_anchor":true},{"citing_arxiv_id":"2607.00563","citing_title":"Certificate-Carrying Transformation of Event-Driven Block Programs","ref_index":16,"is_internal_anchor":true},{"citing_arxiv_id":"2606.31689","citing_title":"ScratchWorld: Evaluating If World Models Compute Executable Consequences","ref_index":10,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB","json":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB.json","graph_json":"https://pith.science/api/pith-number/OA5EKGEE32QQI562L3772JHOGB/graph.json","events_json":"https://pith.science/api/pith-number/OA5EKGEE32QQI562L3772JHOGB/events.json","paper":"https://pith.science/paper/OA5EKGEE"},"agent_actions":{"view_html":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB","download_json":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB.json","view_paper":"https://pith.science/paper/OA5EKGEE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.15817&json=true","fetch_graph":"https://pith.science/api/pith-number/OA5EKGEE32QQI562L3772JHOGB/graph.json","fetch_events":"https://pith.science/api/pith-number/OA5EKGEE32QQI562L3772JHOGB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB/action/storage_attestation","attest_author":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB/action/author_attestation","sign_citation":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB/action/citation_signature","submit_replication":"https://pith.science/pith/OA5EKGEE32QQI562L3772JHOGB/action/replication_record"}},"created_at":"2026-06-19T16:10:01.504556+00:00","updated_at":"2026-06-19T16:10:01.504556+00:00"}