{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:AEK2KBIT6IQRQXG7YV7TWUQL5K","short_pith_number":"pith:AEK2KBIT","schema_version":"1.0","canonical_sha256":"0115a50513f221185cdfc57f3b520bea93f46efa91391162c5f3c1eb8e115aed","source":{"kind":"arxiv","id":"2606.22616","version":1},"attestation_state":"computed","paper":{"title":"Compositional Generator Equivalence (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik","submitted_at":"2026-06-21T17:47:06Z","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"},"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.22616","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-21T17:47:06Z","cross_cats_sorted":[],"title_canon_sha256":"79b58c6ff50e1d455436826f842097c33fec5c89d50c1ddf9a1e2428c1f705b6","abstract_canon_sha256":"d8fa4cf8a492aa07ce37b0079252230b8cf8b092e43c8c18e32706bc2dfd819f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T02:13:43.133298Z","signature_b64":"wVH8h/5Ik3PwsuhhVxeW43KTvZ7oOFtobHKE9yWHB57uT0QvKLOwPnI4W9wN5P9jmq3+HJbiXhjJFpUgWe67Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0115a50513f221185cdfc57f3b520bea93f46efa91391162c5f3c1eb8e115aed","last_reissued_at":"2026-06-23T02:13:43.132888Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T02:13:43.132888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compositional Generator Equivalence (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik","submitted_at":"2026-06-21T17:47:06Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.22616","kind":"arxiv","version":1},"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.22616/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.22616","created_at":"2026-06-23T02:13:43.132953+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.22616v1","created_at":"2026-06-23T02:13:43.132953+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.22616","created_at":"2026-06-23T02:13:43.132953+00:00"},{"alias_kind":"pith_short_12","alias_value":"AEK2KBIT6IQR","created_at":"2026-06-23T02:13:43.132953+00:00"},{"alias_kind":"pith_short_16","alias_value":"AEK2KBIT6IQRQXG7","created_at":"2026-06-23T02:13:43.132953+00:00"},{"alias_kind":"pith_short_8","alias_value":"AEK2KBIT","created_at":"2026-06-23T02:13:43.132953+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K","json":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K.json","graph_json":"https://pith.science/api/pith-number/AEK2KBIT6IQRQXG7YV7TWUQL5K/graph.json","events_json":"https://pith.science/api/pith-number/AEK2KBIT6IQRQXG7YV7TWUQL5K/events.json","paper":"https://pith.science/paper/AEK2KBIT"},"agent_actions":{"view_html":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K","download_json":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K.json","view_paper":"https://pith.science/paper/AEK2KBIT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.22616&json=true","fetch_graph":"https://pith.science/api/pith-number/AEK2KBIT6IQRQXG7YV7TWUQL5K/graph.json","fetch_events":"https://pith.science/api/pith-number/AEK2KBIT6IQRQXG7YV7TWUQL5K/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K/action/storage_attestation","attest_author":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K/action/author_attestation","sign_citation":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K/action/citation_signature","submit_replication":"https://pith.science/pith/AEK2KBIT6IQRQXG7YV7TWUQL5K/action/replication_record"}},"created_at":"2026-06-23T02:13:43.132953+00:00","updated_at":"2026-06-23T02:13:43.132953+00:00"}