{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:RT2AOLV3PR2TJ7Y7QI3T7Z6DTS","short_pith_number":"pith:RT2AOLV3","canonical_record":{"source":{"id":"2404.00786","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-03-31T20:20:48Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"f175600ce8417dcdd69ea07a75bb8335e5633866529f84c747cffcdf1398cedc","abstract_canon_sha256":"7ef6158edc355e186a6c7d174345e0df6fe18df28d5066a0dc2727057dd41bc3"},"schema_version":"1.0"},"canonical_sha256":"8cf4072ebb7c7534ff1f82373fe7c39ca9775f6bda36bb130abec630f0a82993","source":{"kind":"arxiv","id":"2404.00786","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.00786","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"arxiv_version","alias_value":"2404.00786v1","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.00786","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_12","alias_value":"RT2AOLV3PR2T","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_16","alias_value":"RT2AOLV3PR2TJ7Y7","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_8","alias_value":"RT2AOLV3","created_at":"2026-07-05T08:02:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:RT2AOLV3PR2TJ7Y7QI3T7Z6DTS","target":"record","payload":{"canonical_record":{"source":{"id":"2404.00786","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-03-31T20:20:48Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"f175600ce8417dcdd69ea07a75bb8335e5633866529f84c747cffcdf1398cedc","abstract_canon_sha256":"7ef6158edc355e186a6c7d174345e0df6fe18df28d5066a0dc2727057dd41bc3"},"schema_version":"1.0"},"canonical_sha256":"8cf4072ebb7c7534ff1f82373fe7c39ca9775f6bda36bb130abec630f0a82993","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:02:56.540707Z","signature_b64":"MfrIB844T+qpB+sNvt7+IyH3KuDnM+lE36ubfE2avrK6Ia3gZcDX4+FSgifWfaVxVfko+FZhO6E1JdVHo/6nBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8cf4072ebb7c7534ff1f82373fe7c39ca9775f6bda36bb130abec630f0a82993","last_reissued_at":"2026-07-05T08:02:56.540208Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:02:56.540208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.00786","source_version":1,"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-05T08:02:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"St+9W3cTlxQ7FrGzIX2scyjiQiaVdqXmBMDv5A6rW027WqRN1qP5eWnDdNEDw+LUhFY98lC4KT2LW6L8YVjWCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T02:39:46.987972Z"},"content_sha256":"ff648a941a92dcc743150095b2045e1e809345b371b89eee7a93eea91415666c","schema_version":"1.0","event_id":"sha256:ff648a941a92dcc743150095b2045e1e809345b371b89eee7a93eea91415666c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:RT2AOLV3PR2TJ7Y7QI3T7Z6DTS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"There and Back Again: A Netlist's Tale with Much Egraphin'","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Andrew Cheung, Chandrakana Nandi, Gus Henry Smith, Jingtao Xia, Jonathan Balkind, Thanawat Techaumnuaiwit, Vishal Canumalla, Zachary D. Sisco, Zachary Tatlock","submitted_at":"2024-03-31T20:20:48Z","abstract_excerpt":"EDA toolchains are notoriously unpredictable, incomplete, and error-prone; the generally-accepted remedy has been to re-imagine EDA tasks as compilation problems. However, any compiler framework we apply must be prepared to handle the wide range of EDA tasks, including not only compilation tasks like technology mapping and optimization (the \"there\"} in our title), but also decompilation tasks like loop rerolling (the \"back again\"). In this paper, we advocate for equality saturation -- a term rewriting framework -- as the framework of choice when building hardware toolchains. Through a series o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.00786","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/2404.00786/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-05T08:02:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vwEqbEndl2cFmLfNf7Em0kMtl5EEVpUATsybcEwoUyma14ZZrQ8D/WciiLwmPRBwOXlz+jWXw/uHQGcbETm1DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T02:39:46.988346Z"},"content_sha256":"8b2294149dc964791e30476b495d826cf8712f8ce8b1b1cb07a6bf5109e7130f","schema_version":"1.0","event_id":"sha256:8b2294149dc964791e30476b495d826cf8712f8ce8b1b1cb07a6bf5109e7130f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RT2AOLV3PR2TJ7Y7QI3T7Z6DTS/bundle.json","state_url":"https://pith.science/pith/RT2AOLV3PR2TJ7Y7QI3T7Z6DTS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RT2AOLV3PR2TJ7Y7QI3T7Z6DTS/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-07-17T02:39:46Z","links":{"resolver":"https://pith.science/pith/RT2AOLV3PR2TJ7Y7QI3T7Z6DTS","bundle":"https://pith.science/pith/RT2AOLV3PR2TJ7Y7QI3T7Z6DTS/bundle.json","state":"https://pith.science/pith/RT2AOLV3PR2TJ7Y7QI3T7Z6DTS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RT2AOLV3PR2TJ7Y7QI3T7Z6DTS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:RT2AOLV3PR2TJ7Y7QI3T7Z6DTS","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":"7ef6158edc355e186a6c7d174345e0df6fe18df28d5066a0dc2727057dd41bc3","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-03-31T20:20:48Z","title_canon_sha256":"f175600ce8417dcdd69ea07a75bb8335e5633866529f84c747cffcdf1398cedc"},"schema_version":"1.0","source":{"id":"2404.00786","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.00786","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"arxiv_version","alias_value":"2404.00786v1","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.00786","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_12","alias_value":"RT2AOLV3PR2T","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_16","alias_value":"RT2AOLV3PR2TJ7Y7","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_8","alias_value":"RT2AOLV3","created_at":"2026-07-05T08:02:56Z"}],"graph_snapshots":[{"event_id":"sha256:8b2294149dc964791e30476b495d826cf8712f8ce8b1b1cb07a6bf5109e7130f","target":"graph","created_at":"2026-07-05T08:02:56Z","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/2404.00786/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"EDA toolchains are notoriously unpredictable, incomplete, and error-prone; the generally-accepted remedy has been to re-imagine EDA tasks as compilation problems. However, any compiler framework we apply must be prepared to handle the wide range of EDA tasks, including not only compilation tasks like technology mapping and optimization (the \"there\"} in our title), but also decompilation tasks like loop rerolling (the \"back again\"). In this paper, we advocate for equality saturation -- a term rewriting framework -- as the framework of choice when building hardware toolchains. Through a series o","authors_text":"Andrew Cheung, Chandrakana Nandi, Gus Henry Smith, Jingtao Xia, Jonathan Balkind, Thanawat Techaumnuaiwit, Vishal Canumalla, Zachary D. Sisco, Zachary Tatlock","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-03-31T20:20:48Z","title":"There and Back Again: A Netlist's Tale with Much Egraphin'"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.00786","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:ff648a941a92dcc743150095b2045e1e809345b371b89eee7a93eea91415666c","target":"record","created_at":"2026-07-05T08:02:56Z","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":"7ef6158edc355e186a6c7d174345e0df6fe18df28d5066a0dc2727057dd41bc3","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-03-31T20:20:48Z","title_canon_sha256":"f175600ce8417dcdd69ea07a75bb8335e5633866529f84c747cffcdf1398cedc"},"schema_version":"1.0","source":{"id":"2404.00786","kind":"arxiv","version":1}},"canonical_sha256":"8cf4072ebb7c7534ff1f82373fe7c39ca9775f6bda36bb130abec630f0a82993","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8cf4072ebb7c7534ff1f82373fe7c39ca9775f6bda36bb130abec630f0a82993","first_computed_at":"2026-07-05T08:02:56.540208Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:02:56.540208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MfrIB844T+qpB+sNvt7+IyH3KuDnM+lE36ubfE2avrK6Ia3gZcDX4+FSgifWfaVxVfko+FZhO6E1JdVHo/6nBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:02:56.540707Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.00786","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff648a941a92dcc743150095b2045e1e809345b371b89eee7a93eea91415666c","sha256:8b2294149dc964791e30476b495d826cf8712f8ce8b1b1cb07a6bf5109e7130f"],"state_sha256":"5be9d099eedcd540e08ed6b7f0b005900f6988405e81cd7eea1fde5b7928ea0c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ndpu6FAQZ8eQ04X6T3vE9zF+xggnCoYCxsK1kGwA1N28utFtOEjsV9vzv4AoLQ3/s6Nq/gnpF65dPpnfBlcICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-17T02:39:46.990815Z","bundle_sha256":"1b5add957bef140f5807f871eff9a92eb6b455ca987837d6f4f4118de784c1bb"}}