{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HPCAIGY4B3M6E5V4ABKL53GRTU","short_pith_number":"pith:HPCAIGY4","canonical_record":{"source":{"id":"2506.13323","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-16T10:11:43Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SE"],"title_canon_sha256":"7db8759026d08127f3a35dca8b9bd26fc0ef852192ce507b59eb2b3cc2193409","abstract_canon_sha256":"07c08c8c0dbdbbc42dde9f36b9b63545c0d450f1a257527a856b22a5f9035721"},"schema_version":"1.0"},"canonical_sha256":"3bc4041b1c0ed9e276bc0054beecd19d1f63e9613b799feaa89e236dbf97d689","source":{"kind":"arxiv","id":"2506.13323","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13323","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13323v1","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13323","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"HPCAIGY4B3M6","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"HPCAIGY4B3M6E5V4","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"HPCAIGY4","created_at":"2026-07-05T11:22:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HPCAIGY4B3M6E5V4ABKL53GRTU","target":"record","payload":{"canonical_record":{"source":{"id":"2506.13323","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-16T10:11:43Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SE"],"title_canon_sha256":"7db8759026d08127f3a35dca8b9bd26fc0ef852192ce507b59eb2b3cc2193409","abstract_canon_sha256":"07c08c8c0dbdbbc42dde9f36b9b63545c0d450f1a257527a856b22a5f9035721"},"schema_version":"1.0"},"canonical_sha256":"3bc4041b1c0ed9e276bc0054beecd19d1f63e9613b799feaa89e236dbf97d689","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:22:08.776914Z","signature_b64":"AS0A53XFSYc2mA6oFq6Cbr8JG0r84IMC4zxes+8iShjYHK3xjHH4+KjnMJIdC/a8qhaOjWHZ7SnvTpC3B8hoAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3bc4041b1c0ed9e276bc0054beecd19d1f63e9613b799feaa89e236dbf97d689","last_reissued_at":"2026-07-05T11:22:08.776442Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:22:08.776442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.13323","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-05T11:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eTperXjQg4lpXjgiOyix1mJ1w0J4qGXJmd9h7EHokMGzl3C+Smmg4p76y5s8XNhxlYqCeCImB2nuEeRyxZLcDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T15:36:08.937990Z"},"content_sha256":"da0d4b5b6160ae37c7494a5157b151128352d6d0c1d2b697ba871b6c6f825cc1","schema_version":"1.0","event_id":"sha256:da0d4b5b6160ae37c7494a5157b151128352d6d0c1d2b697ba871b6c6f825cc1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HPCAIGY4B3M6E5V4ABKL53GRTU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tady: A Neural Disassembler without Structural Constraint Violations","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SE"],"primary_cat":"cs.CR","authors_text":"Bolun Zhang, Chao Zhang, Fengrui Yang, Hao Wang, Kai Chen, Siliang Qin, Zeyu Gao","submitted_at":"2025-06-16T10:11:43Z","abstract_excerpt":"Disassembly is a crucial yet challenging step in binary analysis. While emerging neural disassemblers show promise for efficiency and accuracy, they frequently generate outputs violating fundamental structural constraints, which significantly compromise their practical usability. To address this critical problem, we regularize the disassembly solution space by formalizing and applying key structural constraints based on post-dominance relations. This approach systematically detects widespread errors in existing neural disassemblers' outputs. These errors often originate from models' limited co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13323","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/2506.13323/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:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+rEom+ZpV90Z5msIpli0EA1Gn+P/q+64d4yRpTUSa8ZBLVmTh6SXQSbFFGsGZ7Uc8ERGyZ9V1TaVTudjfVJ+CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T15:36:08.938911Z"},"content_sha256":"b07927bf6395c3047e63558cbd2d90a5a5dfe1afc5b3552e205d54285c41565d","schema_version":"1.0","event_id":"sha256:b07927bf6395c3047e63558cbd2d90a5a5dfe1afc5b3552e205d54285c41565d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HPCAIGY4B3M6E5V4ABKL53GRTU/bundle.json","state_url":"https://pith.science/pith/HPCAIGY4B3M6E5V4ABKL53GRTU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HPCAIGY4B3M6E5V4ABKL53GRTU/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-05T15:36:08Z","links":{"resolver":"https://pith.science/pith/HPCAIGY4B3M6E5V4ABKL53GRTU","bundle":"https://pith.science/pith/HPCAIGY4B3M6E5V4ABKL53GRTU/bundle.json","state":"https://pith.science/pith/HPCAIGY4B3M6E5V4ABKL53GRTU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HPCAIGY4B3M6E5V4ABKL53GRTU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HPCAIGY4B3M6E5V4ABKL53GRTU","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":"07c08c8c0dbdbbc42dde9f36b9b63545c0d450f1a257527a856b22a5f9035721","cross_cats_sorted":["cs.AI","cs.LG","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-16T10:11:43Z","title_canon_sha256":"7db8759026d08127f3a35dca8b9bd26fc0ef852192ce507b59eb2b3cc2193409"},"schema_version":"1.0","source":{"id":"2506.13323","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13323","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13323v1","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13323","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"HPCAIGY4B3M6","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"HPCAIGY4B3M6E5V4","created_at":"2026-07-05T11:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"HPCAIGY4","created_at":"2026-07-05T11:22:08Z"}],"graph_snapshots":[{"event_id":"sha256:b07927bf6395c3047e63558cbd2d90a5a5dfe1afc5b3552e205d54285c41565d","target":"graph","created_at":"2026-07-05T11:22:08Z","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/2506.13323/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Disassembly is a crucial yet challenging step in binary analysis. While emerging neural disassemblers show promise for efficiency and accuracy, they frequently generate outputs violating fundamental structural constraints, which significantly compromise their practical usability. To address this critical problem, we regularize the disassembly solution space by formalizing and applying key structural constraints based on post-dominance relations. This approach systematically detects widespread errors in existing neural disassemblers' outputs. These errors often originate from models' limited co","authors_text":"Bolun Zhang, Chao Zhang, Fengrui Yang, Hao Wang, Kai Chen, Siliang Qin, Zeyu Gao","cross_cats":["cs.AI","cs.LG","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-16T10:11:43Z","title":"Tady: A Neural Disassembler without Structural Constraint Violations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13323","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:da0d4b5b6160ae37c7494a5157b151128352d6d0c1d2b697ba871b6c6f825cc1","target":"record","created_at":"2026-07-05T11:22:08Z","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":"07c08c8c0dbdbbc42dde9f36b9b63545c0d450f1a257527a856b22a5f9035721","cross_cats_sorted":["cs.AI","cs.LG","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-16T10:11:43Z","title_canon_sha256":"7db8759026d08127f3a35dca8b9bd26fc0ef852192ce507b59eb2b3cc2193409"},"schema_version":"1.0","source":{"id":"2506.13323","kind":"arxiv","version":1}},"canonical_sha256":"3bc4041b1c0ed9e276bc0054beecd19d1f63e9613b799feaa89e236dbf97d689","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3bc4041b1c0ed9e276bc0054beecd19d1f63e9613b799feaa89e236dbf97d689","first_computed_at":"2026-07-05T11:22:08.776442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:22:08.776442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AS0A53XFSYc2mA6oFq6Cbr8JG0r84IMC4zxes+8iShjYHK3xjHH4+KjnMJIdC/a8qhaOjWHZ7SnvTpC3B8hoAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:22:08.776914Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.13323","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da0d4b5b6160ae37c7494a5157b151128352d6d0c1d2b697ba871b6c6f825cc1","sha256:b07927bf6395c3047e63558cbd2d90a5a5dfe1afc5b3552e205d54285c41565d"],"state_sha256":"26e0386c6b420d59be259d3e11050dec99a40e8eb697dc7930ad92fe1a3ed0a2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XWN++Uz8Zu67sGdaqvH0mf+YdRNF8f4cI/DOwr80HVVA32SwG7+onBiYgT6SVKezXYk7Stgrlgf1kAIy1uW+DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T15:36:08.949337Z","bundle_sha256":"aa1a69d1e584a016f5a7b27d8d9b12d44920dbf7e5b7bdebd1bde39038aa80e8"}}