{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:CNJKCR4Y5U7TUNGCG3UXXWOCGA","short_pith_number":"pith:CNJKCR4Y","canonical_record":{"source":{"id":"2608.03274","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-04T07:51:03Z","cross_cats_sorted":["cs.CR","cs.FL"],"title_canon_sha256":"9c76a2a93a259a09cd8cf957dfed59718edc0d50e694e848ff85ddde4610685d","abstract_canon_sha256":"f00d60b9bc7155accd24c0e47f1408747e09227fc879618d2e81e6fd85377236"},"schema_version":"1.0"},"canonical_sha256":"1352a14798ed3f3a34c236e97bd9c23026603250ca121dc67e5041f7d1d2180a","source":{"kind":"arxiv","id":"2608.03274","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.03274","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"arxiv_version","alias_value":"2608.03274v1","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.03274","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"pith_short_12","alias_value":"CNJKCR4Y5U7T","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"pith_short_16","alias_value":"CNJKCR4Y5U7TUNGC","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"pith_short_8","alias_value":"CNJKCR4Y","created_at":"2026-08-05T00:46:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:CNJKCR4Y5U7TUNGCG3UXXWOCGA","target":"record","payload":{"canonical_record":{"source":{"id":"2608.03274","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-04T07:51:03Z","cross_cats_sorted":["cs.CR","cs.FL"],"title_canon_sha256":"9c76a2a93a259a09cd8cf957dfed59718edc0d50e694e848ff85ddde4610685d","abstract_canon_sha256":"f00d60b9bc7155accd24c0e47f1408747e09227fc879618d2e81e6fd85377236"},"schema_version":"1.0"},"canonical_sha256":"1352a14798ed3f3a34c236e97bd9c23026603250ca121dc67e5041f7d1d2180a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-05T00:46:37.114386Z","signature_b64":"Uh3LpMVVDj6HWOLyjowLFAmB1JlZ+2IcWa0hMggrnuxVyKHjUkCSsOTaatR5sYOB2JaiK3RF1YKDPdaRqz/6Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1352a14798ed3f3a34c236e97bd9c23026603250ca121dc67e5041f7d1d2180a","last_reissued_at":"2026-08-05T00:46:37.111976Z","signature_status":"signed_v1","first_computed_at":"2026-08-05T00:46:37.111976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.03274","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-08-05T00:46:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fNLV7xW5A45VyrMHn18vgOr1UQyXpai0ddQ2uSIDp/3vnlSDT935xL61r2x2RtEM/O2ZMdHXGr0kN3OBO8HzBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:13:32.393748Z"},"content_sha256":"552cedbdb94f395c69afba61cd76ef63292116a6d85df58b513036846372a2af","schema_version":"1.0","event_id":"sha256:552cedbdb94f395c69afba61cd76ef63292116a6d85df58b513036846372a2af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:CNJKCR4Y5U7TUNGCG3UXXWOCGA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR","cs.FL"],"primary_cat":"cs.LO","authors_text":"Alwen Tiu, Raja Oktovin O. P. Damanik","submitted_at":"2026-08-04T07:51:03Z","abstract_excerpt":"The intruder deduction problem is central to symbolic security-protocol analysis: it asks whether an attacker can derive a target message from observed messages using (cryptographic) operators available to the attacker. Although convergent rewrite systems provide canonical normal forms, deduction modulo convergent theories remains undecidable in general, and existing decidable fragments are often shaped by practical cryptographic examples. In this paper, we study deduction from a minimal structural perspective. When all function symbols are unary, terms collapse to words and deduction becomes "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.03274","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/2608.03274/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-08-05T00:46:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zS24dTLZaiRqi7gt8XkpSuDdusbUi+IjbE+zdtRkAaYVH4PeTt14J3apTicDgLS0qf6T4mbBy5HaAUnb0npgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:13:32.394500Z"},"content_sha256":"6c86d5088553198ddb165b07206b6ac0b8ec6afcb5b00d26c3e99b93ebbdf377","schema_version":"1.0","event_id":"sha256:6c86d5088553198ddb165b07206b6ac0b8ec6afcb5b00d26c3e99b93ebbdf377"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CNJKCR4Y5U7TUNGCG3UXXWOCGA/bundle.json","state_url":"https://pith.science/pith/CNJKCR4Y5U7TUNGCG3UXXWOCGA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CNJKCR4Y5U7TUNGCG3UXXWOCGA/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-11T21:13:32Z","links":{"resolver":"https://pith.science/pith/CNJKCR4Y5U7TUNGCG3UXXWOCGA","bundle":"https://pith.science/pith/CNJKCR4Y5U7TUNGCG3UXXWOCGA/bundle.json","state":"https://pith.science/pith/CNJKCR4Y5U7TUNGCG3UXXWOCGA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CNJKCR4Y5U7TUNGCG3UXXWOCGA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:CNJKCR4Y5U7TUNGCG3UXXWOCGA","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":"f00d60b9bc7155accd24c0e47f1408747e09227fc879618d2e81e6fd85377236","cross_cats_sorted":["cs.CR","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-04T07:51:03Z","title_canon_sha256":"9c76a2a93a259a09cd8cf957dfed59718edc0d50e694e848ff85ddde4610685d"},"schema_version":"1.0","source":{"id":"2608.03274","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.03274","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"arxiv_version","alias_value":"2608.03274v1","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.03274","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"pith_short_12","alias_value":"CNJKCR4Y5U7T","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"pith_short_16","alias_value":"CNJKCR4Y5U7TUNGC","created_at":"2026-08-05T00:46:37Z"},{"alias_kind":"pith_short_8","alias_value":"CNJKCR4Y","created_at":"2026-08-05T00:46:37Z"}],"graph_snapshots":[{"event_id":"sha256:6c86d5088553198ddb165b07206b6ac0b8ec6afcb5b00d26c3e99b93ebbdf377","target":"graph","created_at":"2026-08-05T00:46:37Z","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/2608.03274/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The intruder deduction problem is central to symbolic security-protocol analysis: it asks whether an attacker can derive a target message from observed messages using (cryptographic) operators available to the attacker. Although convergent rewrite systems provide canonical normal forms, deduction modulo convergent theories remains undecidable in general, and existing decidable fragments are often shaped by practical cryptographic examples. In this paper, we study deduction from a minimal structural perspective. When all function symbols are unary, terms collapse to words and deduction becomes ","authors_text":"Alwen Tiu, Raja Oktovin O. P. Damanik","cross_cats":["cs.CR","cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.03274","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:552cedbdb94f395c69afba61cd76ef63292116a6d85df58b513036846372a2af","target":"record","created_at":"2026-08-05T00:46:37Z","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":"f00d60b9bc7155accd24c0e47f1408747e09227fc879618d2e81e6fd85377236","cross_cats_sorted":["cs.CR","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-04T07:51:03Z","title_canon_sha256":"9c76a2a93a259a09cd8cf957dfed59718edc0d50e694e848ff85ddde4610685d"},"schema_version":"1.0","source":{"id":"2608.03274","kind":"arxiv","version":1}},"canonical_sha256":"1352a14798ed3f3a34c236e97bd9c23026603250ca121dc67e5041f7d1d2180a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1352a14798ed3f3a34c236e97bd9c23026603250ca121dc67e5041f7d1d2180a","first_computed_at":"2026-08-05T00:46:37.111976Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-05T00:46:37.111976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Uh3LpMVVDj6HWOLyjowLFAmB1JlZ+2IcWa0hMggrnuxVyKHjUkCSsOTaatR5sYOB2JaiK3RF1YKDPdaRqz/6Bw==","signature_status":"signed_v1","signed_at":"2026-08-05T00:46:37.114386Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.03274","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:552cedbdb94f395c69afba61cd76ef63292116a6d85df58b513036846372a2af","sha256:6c86d5088553198ddb165b07206b6ac0b8ec6afcb5b00d26c3e99b93ebbdf377"],"state_sha256":"7cad7fee93f87550f7c5d79ada7f8eef743e5f2387afde02f6e550c1e3826615"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4fTZ5t+V/z2VWeKUjuBrKwEhS1ecT22L7StV3SjwMGKMvs+Zmu3bUNKYWiQ1LGJaGMY3SOpN2iMktSIBg+hNDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T21:13:32.405391Z","bundle_sha256":"55cb2ea8dba032380b34a202903aba1c4d84a637d6ef21ae844f18a698c55187"}}