{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:5PSRWIO3FRJGZD2AMHEIKYX5RJ","short_pith_number":"pith:5PSRWIO3","canonical_record":{"source":{"id":"1502.01072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-02-04T00:56:25Z","cross_cats_sorted":[],"title_canon_sha256":"db32dec6874614abd26431adae15fedb467d56e7743ecedb19bf0695497becf9","abstract_canon_sha256":"0887ecb9f8d1c477ea782d4ff4ed7810edb89293795291811a4b5d244ae5fa2d"},"schema_version":"1.0"},"canonical_sha256":"ebe51b21db2c526c8f4061c88562fd8a5893cc841d61a8d815281de0858ea198","source":{"kind":"arxiv","id":"1502.01072","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.01072","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"arxiv_version","alias_value":"1502.01072v1","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.01072","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"pith_short_12","alias_value":"5PSRWIO3FRJG","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5PSRWIO3FRJGZD2A","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5PSRWIO3","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:5PSRWIO3FRJGZD2AMHEIKYX5RJ","target":"record","payload":{"canonical_record":{"source":{"id":"1502.01072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-02-04T00:56:25Z","cross_cats_sorted":[],"title_canon_sha256":"db32dec6874614abd26431adae15fedb467d56e7743ecedb19bf0695497becf9","abstract_canon_sha256":"0887ecb9f8d1c477ea782d4ff4ed7810edb89293795291811a4b5d244ae5fa2d"},"schema_version":"1.0"},"canonical_sha256":"ebe51b21db2c526c8f4061c88562fd8a5893cc841d61a8d815281de0858ea198","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:58.076297Z","signature_b64":"YMCN3wbsDeMWAoOtALxO2LQuD2CLh1qT88pUy0+UMCBDmM6l3COuRQKBGk9QoEVZncOPs4DBaNmQGY/ahllmCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebe51b21db2c526c8f4061c88562fd8a5893cc841d61a8d815281de0858ea198","last_reissued_at":"2026-05-18T02:27:58.075814Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:58.075814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.01072","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-05-18T02:27:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NvRDOBp3Y7C6zJ7wvN1ewVxuc8/1Vosj/cn0vWo4Is9rLmWzu+1Pgoj4VkiY1tGVpS7FYZrkDEl6J7A6zI9pBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:49:27.268516Z"},"content_sha256":"1bb1d0a0261db83d87106567642e41dbe35cb56526dde0d00347a5fdbc987bd9","schema_version":"1.0","event_id":"sha256:1bb1d0a0261db83d87106567642e41dbe35cb56526dde0d00347a5fdbc987bd9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:5PSRWIO3FRJGZD2AMHEIKYX5RJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Absorption and directed J\\'{o}nsson terms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Alexandr Kazda, Marcin Kozik, Matthew Moore, Ralph McKenzie","submitted_at":"2015-02-04T00:56:25Z","abstract_excerpt":"We prove that every congruence distributive variety has directed J\\'{o}nsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original J\\'{o}nsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in CD and CM varieties, respectively. For finite algebras, these absorption theorems have already seen significant applications, but until now, it was not clear if the theorems hold for general algebras as well. Our method also yields a novel proof"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.01072","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":""},"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-05-18T02:27:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Nr665cJAwuAHCrZKhQnNee2CHZB82aL7kwYIsfdB/kQgkbqtyLLSXsFC0RhncjgXdUxhNxX/Cr4mC/QcJkYAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:49:27.268860Z"},"content_sha256":"add466057520554201e7cf2b183a7435856f8e2029a545eab0e4190b0df14457","schema_version":"1.0","event_id":"sha256:add466057520554201e7cf2b183a7435856f8e2029a545eab0e4190b0df14457"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5PSRWIO3FRJGZD2AMHEIKYX5RJ/bundle.json","state_url":"https://pith.science/pith/5PSRWIO3FRJGZD2AMHEIKYX5RJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5PSRWIO3FRJGZD2AMHEIKYX5RJ/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-06-26T21:49:27Z","links":{"resolver":"https://pith.science/pith/5PSRWIO3FRJGZD2AMHEIKYX5RJ","bundle":"https://pith.science/pith/5PSRWIO3FRJGZD2AMHEIKYX5RJ/bundle.json","state":"https://pith.science/pith/5PSRWIO3FRJGZD2AMHEIKYX5RJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5PSRWIO3FRJGZD2AMHEIKYX5RJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:5PSRWIO3FRJGZD2AMHEIKYX5RJ","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":"0887ecb9f8d1c477ea782d4ff4ed7810edb89293795291811a4b5d244ae5fa2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-02-04T00:56:25Z","title_canon_sha256":"db32dec6874614abd26431adae15fedb467d56e7743ecedb19bf0695497becf9"},"schema_version":"1.0","source":{"id":"1502.01072","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.01072","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"arxiv_version","alias_value":"1502.01072v1","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.01072","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"pith_short_12","alias_value":"5PSRWIO3FRJG","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5PSRWIO3FRJGZD2A","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5PSRWIO3","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:add466057520554201e7cf2b183a7435856f8e2029a545eab0e4190b0df14457","target":"graph","created_at":"2026-05-18T02:27:58Z","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"},"paper":{"abstract_excerpt":"We prove that every congruence distributive variety has directed J\\'{o}nsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original J\\'{o}nsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in CD and CM varieties, respectively. For finite algebras, these absorption theorems have already seen significant applications, but until now, it was not clear if the theorems hold for general algebras as well. Our method also yields a novel proof","authors_text":"Alexandr Kazda, Marcin Kozik, Matthew Moore, Ralph McKenzie","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-02-04T00:56:25Z","title":"Absorption and directed J\\'{o}nsson terms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.01072","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:1bb1d0a0261db83d87106567642e41dbe35cb56526dde0d00347a5fdbc987bd9","target":"record","created_at":"2026-05-18T02:27:58Z","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":"0887ecb9f8d1c477ea782d4ff4ed7810edb89293795291811a4b5d244ae5fa2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-02-04T00:56:25Z","title_canon_sha256":"db32dec6874614abd26431adae15fedb467d56e7743ecedb19bf0695497becf9"},"schema_version":"1.0","source":{"id":"1502.01072","kind":"arxiv","version":1}},"canonical_sha256":"ebe51b21db2c526c8f4061c88562fd8a5893cc841d61a8d815281de0858ea198","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ebe51b21db2c526c8f4061c88562fd8a5893cc841d61a8d815281de0858ea198","first_computed_at":"2026-05-18T02:27:58.075814Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:58.075814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YMCN3wbsDeMWAoOtALxO2LQuD2CLh1qT88pUy0+UMCBDmM6l3COuRQKBGk9QoEVZncOPs4DBaNmQGY/ahllmCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:58.076297Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.01072","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1bb1d0a0261db83d87106567642e41dbe35cb56526dde0d00347a5fdbc987bd9","sha256:add466057520554201e7cf2b183a7435856f8e2029a545eab0e4190b0df14457"],"state_sha256":"be8bce6fa932ce078ba0fdaed8fe55733528d69b5833d4d30e31965daa83d8a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pvkeXZWTRJllLy2CRX6vjLwci00VMYLK1mmwAKmXxNOGtjc8ooS5vPtbfB//3PQXM0GHklJlp8gm/27TnkVDAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T21:49:27.270712Z","bundle_sha256":"cead6d2856ffbed9edfdace14b9ee07979d21f92a63dd0c1135559ecec6438ab"}}