{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:TKRMABTJ3LWGBR6ZNQ2BSKFFL6","short_pith_number":"pith:TKRMABTJ","canonical_record":{"source":{"id":"2303.01839","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-03T10:46:19Z","cross_cats_sorted":[],"title_canon_sha256":"7b8b22b0bb5382c95ca83439cbd1d632d595bfc97944a75ec2c10d2ee2c3d224","abstract_canon_sha256":"3129695f9c112c4ca921149fba8bc214c1bd6325595fbfc5e64daa1998380c14"},"schema_version":"1.0"},"canonical_sha256":"9aa2c00669daec60c7d96c341928a55fa9e86643ff9772ba1ee93669dcbc4d82","source":{"kind":"arxiv","id":"2303.01839","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.01839","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"arxiv_version","alias_value":"2303.01839v1","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.01839","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"pith_short_12","alias_value":"TKRMABTJ3LWG","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"pith_short_16","alias_value":"TKRMABTJ3LWGBR6Z","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"pith_short_8","alias_value":"TKRMABTJ","created_at":"2026-07-05T05:47:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:TKRMABTJ3LWGBR6ZNQ2BSKFFL6","target":"record","payload":{"canonical_record":{"source":{"id":"2303.01839","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-03T10:46:19Z","cross_cats_sorted":[],"title_canon_sha256":"7b8b22b0bb5382c95ca83439cbd1d632d595bfc97944a75ec2c10d2ee2c3d224","abstract_canon_sha256":"3129695f9c112c4ca921149fba8bc214c1bd6325595fbfc5e64daa1998380c14"},"schema_version":"1.0"},"canonical_sha256":"9aa2c00669daec60c7d96c341928a55fa9e86643ff9772ba1ee93669dcbc4d82","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:47:49.764880Z","signature_b64":"HYZ8nIK/Veq598Ja6EP1cSCLLtlJAyf4iLRxvKm0qUv5AsuxKQm/WgIWZl/rz1EpkjUsL5DCQZ/QZeGCG9JHBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9aa2c00669daec60c7d96c341928a55fa9e86643ff9772ba1ee93669dcbc4d82","last_reissued_at":"2026-07-05T05:47:49.764494Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:47:49.764494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.01839","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-05T05:47:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VpzsUpKjitZC6dn/+F6iGp4k/+zftUENOyWViGsiF2zAAkdMvTeuaCYQ31y90S2Rs9F+arMeRhthPirI92bkBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T09:40:32.630506Z"},"content_sha256":"effdb9fdd61399744dd131ae0b427a643da1616617a5d8341563ee5eca768227","schema_version":"1.0","event_id":"sha256:effdb9fdd61399744dd131ae0b427a643da1616617a5d8341563ee5eca768227"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:TKRMABTJ3LWGBR6ZNQ2BSKFFL6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automating Constraint-Aware Datapath Optimization using E-Graphs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"George A. Constantinides, Samuel Coward, Theo Drane","submitted_at":"2023-03-03T10:46:19Z","abstract_excerpt":"Numerical hardware design requires aggressive optimization, where designers exploit branch constraints, creating optimization opportunities that are valid only on a sub-domain of input space. We developed an RTL optimization tool that automatically learns the consequences of conditional branches and exploits that knowledge to enable deep optimization. The tool deploys custom built program analysis based on abstract interpretation theory, which when combined with a data-structure known as an e-graph simplifies complex reasoning about program properties. Our tool fully-automatically discovers kn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.01839","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/2303.01839/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-05T05:47:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bk7mx4FUQmmNQLNs/c1HHNNYOSe94+RuSAYXuxEMWsvMkUl00uhTdFYl6oT8VeiiwDT0P6nSD6OE14QFz+6qBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T09:40:32.631003Z"},"content_sha256":"bb8c1efd41a054e5c57e4615e2ef34b79489a2a808794ffbd376f46f6a48950d","schema_version":"1.0","event_id":"sha256:bb8c1efd41a054e5c57e4615e2ef34b79489a2a808794ffbd376f46f6a48950d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TKRMABTJ3LWGBR6ZNQ2BSKFFL6/bundle.json","state_url":"https://pith.science/pith/TKRMABTJ3LWGBR6ZNQ2BSKFFL6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TKRMABTJ3LWGBR6ZNQ2BSKFFL6/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-22T09:40:32Z","links":{"resolver":"https://pith.science/pith/TKRMABTJ3LWGBR6ZNQ2BSKFFL6","bundle":"https://pith.science/pith/TKRMABTJ3LWGBR6ZNQ2BSKFFL6/bundle.json","state":"https://pith.science/pith/TKRMABTJ3LWGBR6ZNQ2BSKFFL6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TKRMABTJ3LWGBR6ZNQ2BSKFFL6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:TKRMABTJ3LWGBR6ZNQ2BSKFFL6","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":"3129695f9c112c4ca921149fba8bc214c1bd6325595fbfc5e64daa1998380c14","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-03T10:46:19Z","title_canon_sha256":"7b8b22b0bb5382c95ca83439cbd1d632d595bfc97944a75ec2c10d2ee2c3d224"},"schema_version":"1.0","source":{"id":"2303.01839","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.01839","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"arxiv_version","alias_value":"2303.01839v1","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.01839","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"pith_short_12","alias_value":"TKRMABTJ3LWG","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"pith_short_16","alias_value":"TKRMABTJ3LWGBR6Z","created_at":"2026-07-05T05:47:49Z"},{"alias_kind":"pith_short_8","alias_value":"TKRMABTJ","created_at":"2026-07-05T05:47:49Z"}],"graph_snapshots":[{"event_id":"sha256:bb8c1efd41a054e5c57e4615e2ef34b79489a2a808794ffbd376f46f6a48950d","target":"graph","created_at":"2026-07-05T05:47:49Z","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/2303.01839/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Numerical hardware design requires aggressive optimization, where designers exploit branch constraints, creating optimization opportunities that are valid only on a sub-domain of input space. We developed an RTL optimization tool that automatically learns the consequences of conditional branches and exploits that knowledge to enable deep optimization. The tool deploys custom built program analysis based on abstract interpretation theory, which when combined with a data-structure known as an e-graph simplifies complex reasoning about program properties. Our tool fully-automatically discovers kn","authors_text":"George A. Constantinides, Samuel Coward, Theo Drane","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-03T10:46:19Z","title":"Automating Constraint-Aware Datapath Optimization using E-Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.01839","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:effdb9fdd61399744dd131ae0b427a643da1616617a5d8341563ee5eca768227","target":"record","created_at":"2026-07-05T05:47:49Z","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":"3129695f9c112c4ca921149fba8bc214c1bd6325595fbfc5e64daa1998380c14","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-03T10:46:19Z","title_canon_sha256":"7b8b22b0bb5382c95ca83439cbd1d632d595bfc97944a75ec2c10d2ee2c3d224"},"schema_version":"1.0","source":{"id":"2303.01839","kind":"arxiv","version":1}},"canonical_sha256":"9aa2c00669daec60c7d96c341928a55fa9e86643ff9772ba1ee93669dcbc4d82","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9aa2c00669daec60c7d96c341928a55fa9e86643ff9772ba1ee93669dcbc4d82","first_computed_at":"2026-07-05T05:47:49.764494Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:47:49.764494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HYZ8nIK/Veq598Ja6EP1cSCLLtlJAyf4iLRxvKm0qUv5AsuxKQm/WgIWZl/rz1EpkjUsL5DCQZ/QZeGCG9JHBA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:47:49.764880Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.01839","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:effdb9fdd61399744dd131ae0b427a643da1616617a5d8341563ee5eca768227","sha256:bb8c1efd41a054e5c57e4615e2ef34b79489a2a808794ffbd376f46f6a48950d"],"state_sha256":"adc89697fd289e6d69c9251703a4a37d91a4ebf737fdcb084e293f1ac960d540"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fo9bzhcciCNOcOZ1P9QK9Qwx+0Gz+k0Gs+aYhV9waWK3pOjqky4wbQMKU/rcB5bLujVyg2ukJHr6msOrwPKBDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T09:40:32.635537Z","bundle_sha256":"78227984328bf18ba3241435ca5d927969fb67970b284caaeb25a22f58e9c8e1"}}