{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GEL5SMO223RUR5O7CAPOVAL6DA","short_pith_number":"pith:GEL5SMO2","canonical_record":{"source":{"id":"2505.09363","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-14T13:12:39Z","cross_cats_sorted":[],"title_canon_sha256":"e77f9f9b25a1855738f39d194dccf8fbfbd38346214d23a3b9d06935df53cd51","abstract_canon_sha256":"3d8531b71df12a76dd697607bd64e781909bf8b4c0f88b62b69f250acf33463e"},"schema_version":"1.0"},"canonical_sha256":"3117d931dad6e348f5df101eea817e1811a51bcb32769847df7639665cf0ef6b","source":{"kind":"arxiv","id":"2505.09363","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.09363","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"2505.09363v2","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.09363","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"GEL5SMO223RU","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_16","alias_value":"GEL5SMO223RUR5O7","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_8","alias_value":"GEL5SMO2","created_at":"2026-07-05T11:03:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GEL5SMO223RUR5O7CAPOVAL6DA","target":"record","payload":{"canonical_record":{"source":{"id":"2505.09363","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-14T13:12:39Z","cross_cats_sorted":[],"title_canon_sha256":"e77f9f9b25a1855738f39d194dccf8fbfbd38346214d23a3b9d06935df53cd51","abstract_canon_sha256":"3d8531b71df12a76dd697607bd64e781909bf8b4c0f88b62b69f250acf33463e"},"schema_version":"1.0"},"canonical_sha256":"3117d931dad6e348f5df101eea817e1811a51bcb32769847df7639665cf0ef6b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:03:25.387492Z","signature_b64":"Y1G5g8jsvtcuuaAutcX5A0wSPqcUtCZLReaqBBiKne6wB1zj9fxSgtKa17WJLleSSVcQRu5tbP7ooABw5QPPBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3117d931dad6e348f5df101eea817e1811a51bcb32769847df7639665cf0ef6b","last_reissued_at":"2026-07-05T11:03:25.386991Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:03:25.386991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.09363","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wrh5FihVCLgqFrjGxigVB/oCRIPZohsXzVf6X/ngVhhB0eq3SJ147kTYrPtLv63X/7JfFop/k48WTt0MaID5AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:51:49.972189Z"},"content_sha256":"d600853417200c3a282dcbda70b86df4dec46b3b29be6d3762c8086a62eb0449","schema_version":"1.0","event_id":"sha256:d600853417200c3a282dcbda70b86df4dec46b3b29be6d3762c8086a62eb0449"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GEL5SMO223RUR5O7CAPOVAL6DA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alexandre Lopoukhine, Bjorn De Sutter, Jianyi Cheng, Jules Merckx, Samuel Coward, Tobias Grosser","submitted_at":"2025-05-14T13:12:39Z","abstract_excerpt":"With recent algorithmic improvements and easy-to-use libraries, equality saturation is being picked up for hardware design, program synthesis, theorem proving, program optimization, and more. Existing work on using equality saturation for program optimization makes use of external equality saturation libraries such as egg, typically generating a single optimized expression. In the context of a compiler, such an approach uses equality saturation to replace a small number of passes. In this work, we propose an alternative approach that represents equality saturation natively in the compiler's in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.09363","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/2505.09363/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gsQzljODMRSEa+4GHFS0Qqm530/NGqRgcAPZ2ZrlUBKDRaHQam9un+7u6LkOUCFY0707W0E2E6mIRoRuFSa6AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:51:49.972566Z"},"content_sha256":"1006df6bf9e0805b083f6fc907d08ef86b20f583fa196961e954b201879521b9","schema_version":"1.0","event_id":"sha256:1006df6bf9e0805b083f6fc907d08ef86b20f583fa196961e954b201879521b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GEL5SMO223RUR5O7CAPOVAL6DA/bundle.json","state_url":"https://pith.science/pith/GEL5SMO223RUR5O7CAPOVAL6DA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GEL5SMO223RUR5O7CAPOVAL6DA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T19:51:49Z","links":{"resolver":"https://pith.science/pith/GEL5SMO223RUR5O7CAPOVAL6DA","bundle":"https://pith.science/pith/GEL5SMO223RUR5O7CAPOVAL6DA/bundle.json","state":"https://pith.science/pith/GEL5SMO223RUR5O7CAPOVAL6DA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GEL5SMO223RUR5O7CAPOVAL6DA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GEL5SMO223RUR5O7CAPOVAL6DA","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":"3d8531b71df12a76dd697607bd64e781909bf8b4c0f88b62b69f250acf33463e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-14T13:12:39Z","title_canon_sha256":"e77f9f9b25a1855738f39d194dccf8fbfbd38346214d23a3b9d06935df53cd51"},"schema_version":"1.0","source":{"id":"2505.09363","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.09363","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"2505.09363v2","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.09363","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"GEL5SMO223RU","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_16","alias_value":"GEL5SMO223RUR5O7","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_8","alias_value":"GEL5SMO2","created_at":"2026-07-05T11:03:25Z"}],"graph_snapshots":[{"event_id":"sha256:1006df6bf9e0805b083f6fc907d08ef86b20f583fa196961e954b201879521b9","target":"graph","created_at":"2026-07-05T11:03:25Z","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/2505.09363/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With recent algorithmic improvements and easy-to-use libraries, equality saturation is being picked up for hardware design, program synthesis, theorem proving, program optimization, and more. Existing work on using equality saturation for program optimization makes use of external equality saturation libraries such as egg, typically generating a single optimized expression. In the context of a compiler, such an approach uses equality saturation to replace a small number of passes. In this work, we propose an alternative approach that represents equality saturation natively in the compiler's in","authors_text":"Alexandre Lopoukhine, Bjorn De Sutter, Jianyi Cheng, Jules Merckx, Samuel Coward, Tobias Grosser","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.09363","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:d600853417200c3a282dcbda70b86df4dec46b3b29be6d3762c8086a62eb0449","target":"record","created_at":"2026-07-05T11:03:25Z","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":"3d8531b71df12a76dd697607bd64e781909bf8b4c0f88b62b69f250acf33463e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-14T13:12:39Z","title_canon_sha256":"e77f9f9b25a1855738f39d194dccf8fbfbd38346214d23a3b9d06935df53cd51"},"schema_version":"1.0","source":{"id":"2505.09363","kind":"arxiv","version":2}},"canonical_sha256":"3117d931dad6e348f5df101eea817e1811a51bcb32769847df7639665cf0ef6b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3117d931dad6e348f5df101eea817e1811a51bcb32769847df7639665cf0ef6b","first_computed_at":"2026-07-05T11:03:25.386991Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:03:25.386991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y1G5g8jsvtcuuaAutcX5A0wSPqcUtCZLReaqBBiKne6wB1zj9fxSgtKa17WJLleSSVcQRu5tbP7ooABw5QPPBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:03:25.387492Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.09363","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d600853417200c3a282dcbda70b86df4dec46b3b29be6d3762c8086a62eb0449","sha256:1006df6bf9e0805b083f6fc907d08ef86b20f583fa196961e954b201879521b9"],"state_sha256":"3d9ca1fe2c893b01b96805e6b9fa68819366036ddb30f23c72ca6df6ad8a088b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kwWiqWt8dZ19nDWBkjoXJRcBEy6gQOQGcrzYqa+fIrnkRp5iyUwB8JeTQEoUL6evmbhr5sINBNXDgCBh8gHpBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T19:51:49.974963Z","bundle_sha256":"84add504524c4045efb49459f74ef4fe8b4590b1c272b13beb18df582568b1e3"}}