{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:AEK2KBIT6IQRQXG7YV7TWUQL5K","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":"d8fa4cf8a492aa07ce37b0079252230b8cf8b092e43c8c18e32706bc2dfd819f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-21T17:47:06Z","title_canon_sha256":"79b58c6ff50e1d455436826f842097c33fec5c89d50c1ddf9a1e2428c1f705b6"},"schema_version":"1.0","source":{"id":"2606.22616","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.22616","created_at":"2026-06-23T02:13:43Z"},{"alias_kind":"arxiv_version","alias_value":"2606.22616v1","created_at":"2026-06-23T02:13:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.22616","created_at":"2026-06-23T02:13:43Z"},{"alias_kind":"pith_short_12","alias_value":"AEK2KBIT6IQR","created_at":"2026-06-23T02:13:43Z"},{"alias_kind":"pith_short_16","alias_value":"AEK2KBIT6IQRQXG7","created_at":"2026-06-23T02:13:43Z"},{"alias_kind":"pith_short_8","alias_value":"AEK2KBIT","created_at":"2026-06-23T02:13:43Z"}],"graph_snapshots":[{"event_id":"sha256:a4bc5178bde393ccfd48a1f0dc4b8045784dad0d68fc49a112c5d6b15d6550b8","target":"graph","created_at":"2026-06-23T02:13:43Z","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.22616/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Property-based testing (PBT) is a powerful technique for software verification that relies on random input generators and \"shrinking\" processes to find and minimize counterexamples to executable specifications called properties. While optimizing these generators is crucial for testing efficiency, formally justifying such optimizations is currently difficult because existing languages lack a compositional semantics that is coarse-grained enough for high-level reasoning.\n  In this paper, we first provide a formal account of the syntax and semantics of Hedgehog, a popular PBT framework. We demons","authors_text":"Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-21T17:47:06Z","title":"Compositional Generator Equivalence (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.22616","kind":"arxiv","version":1},"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:d279b502f8901226f897ed893c0030a4ef66b4af101c2ff4c234d24030f357a4","target":"record","created_at":"2026-06-23T02:13:43Z","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":"d8fa4cf8a492aa07ce37b0079252230b8cf8b092e43c8c18e32706bc2dfd819f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-21T17:47:06Z","title_canon_sha256":"79b58c6ff50e1d455436826f842097c33fec5c89d50c1ddf9a1e2428c1f705b6"},"schema_version":"1.0","source":{"id":"2606.22616","kind":"arxiv","version":1}},"canonical_sha256":"0115a50513f221185cdfc57f3b520bea93f46efa91391162c5f3c1eb8e115aed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0115a50513f221185cdfc57f3b520bea93f46efa91391162c5f3c1eb8e115aed","first_computed_at":"2026-06-23T02:13:43.132888Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T02:13:43.132888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wVH8h/5Ik3PwsuhhVxeW43KTvZ7oOFtobHKE9yWHB57uT0QvKLOwPnI4W9wN5P9jmq3+HJbiXhjJFpUgWe67Bg==","signature_status":"signed_v1","signed_at":"2026-06-23T02:13:43.133298Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.22616","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d279b502f8901226f897ed893c0030a4ef66b4af101c2ff4c234d24030f357a4","sha256:a4bc5178bde393ccfd48a1f0dc4b8045784dad0d68fc49a112c5d6b15d6550b8"],"state_sha256":"17279d21798178c4212c460972b82de9e59ee882947648ed56a2eac41631ae29"}