{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ICLWTYEUDZVU7DKDZX3XJWWUGJ","short_pith_number":"pith:ICLWTYEU","canonical_record":{"source":{"id":"1801.03160","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-09T22:23:21Z","cross_cats_sorted":[],"title_canon_sha256":"fdcebf3337b0e64fdc86a97b68865b5eb80d182eac2c727a48387be45325ce76","abstract_canon_sha256":"68ba3f4d3b9cb0943bf7e6ab40c2f968a7d6325d26d2989aca950005c9d29d16"},"schema_version":"1.0"},"canonical_sha256":"409769e0941e6b4f8d43cdf774dad4327cfad2fea264cf36fbca70aabe93fd98","source":{"kind":"arxiv","id":"1801.03160","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.03160","created_at":"2026-05-17T23:40:56Z"},{"alias_kind":"arxiv_version","alias_value":"1801.03160v3","created_at":"2026-05-17T23:40:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.03160","created_at":"2026-05-17T23:40:56Z"},{"alias_kind":"pith_short_12","alias_value":"ICLWTYEUDZVU","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"ICLWTYEUDZVU7DKD","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"ICLWTYEU","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ICLWTYEUDZVU7DKDZX3XJWWUGJ","target":"record","payload":{"canonical_record":{"source":{"id":"1801.03160","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-09T22:23:21Z","cross_cats_sorted":[],"title_canon_sha256":"fdcebf3337b0e64fdc86a97b68865b5eb80d182eac2c727a48387be45325ce76","abstract_canon_sha256":"68ba3f4d3b9cb0943bf7e6ab40c2f968a7d6325d26d2989aca950005c9d29d16"},"schema_version":"1.0"},"canonical_sha256":"409769e0941e6b4f8d43cdf774dad4327cfad2fea264cf36fbca70aabe93fd98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:56.175027Z","signature_b64":"/JTa79bCwPG4wgFWraM2FOno8C+FaAjyFeGMFuTl55jyhZrWW5Oto2Flop5zdn0ecN0H8OYNiXPR6FugxxcpCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"409769e0941e6b4f8d43cdf774dad4327cfad2fea264cf36fbca70aabe93fd98","last_reissued_at":"2026-05-17T23:40:56.174346Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:56.174346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.03160","source_version":3,"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-17T23:40:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qyDHazp1v1XAP8YuSkq4Chy5yb7IhzGGUff1AERS8lKj39Q2JI32v+e3vCXtNYREsNCBCMjaiRxBtFkcqzeZBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:57:05.010489Z"},"content_sha256":"2656e1d3d41f66f5bed5ea63b4b8d9a8dd24a88f86b771b9523d2a009caa0d4b","schema_version":"1.0","event_id":"sha256:2656e1d3d41f66f5bed5ea63b4b8d9a8dd24a88f86b771b9523d2a009caa0d4b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ICLWTYEUDZVU7DKDZX3XJWWUGJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Formalization of Kant's Second Formulation of the Categorical Imperative","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Felix Lindner, Martin Mose Bentzen","submitted_at":"2018-01-09T22:23:21Z","abstract_excerpt":"We present a formalization and computational implementation of the second formulation of Kant's categorical imperative. This ethical principle requires an agent to never treat someone merely as a means but always also as an end. Here we interpret this principle in terms of how persons are causally affected by actions. We introduce Kantian causal agency models in which moral patients, actions, goals, and causal influence are represented, and we show how to formalize several readings of Kant's categorical imperative that correspond to Kant's concept of strict and wide duties towards oneself and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.03160","kind":"arxiv","version":3},"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-17T23:40:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pBl4MGpHKl3Hs9gU7vdcDnhTemHrDjMK7flH/AoWvlespJ9ElCxh/ot1K/oHZCAQ0SsphA/NxyOdRAwojzVABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:57:05.011147Z"},"content_sha256":"ff6de3ef1af3cab82599c3b0abfbebfb0c8bf531f2a3f81cfbcf650e9a6a1586","schema_version":"1.0","event_id":"sha256:ff6de3ef1af3cab82599c3b0abfbebfb0c8bf531f2a3f81cfbcf650e9a6a1586"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ICLWTYEUDZVU7DKDZX3XJWWUGJ/bundle.json","state_url":"https://pith.science/pith/ICLWTYEUDZVU7DKDZX3XJWWUGJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ICLWTYEUDZVU7DKDZX3XJWWUGJ/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-05-25T18:57:05Z","links":{"resolver":"https://pith.science/pith/ICLWTYEUDZVU7DKDZX3XJWWUGJ","bundle":"https://pith.science/pith/ICLWTYEUDZVU7DKDZX3XJWWUGJ/bundle.json","state":"https://pith.science/pith/ICLWTYEUDZVU7DKDZX3XJWWUGJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ICLWTYEUDZVU7DKDZX3XJWWUGJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ICLWTYEUDZVU7DKDZX3XJWWUGJ","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":"68ba3f4d3b9cb0943bf7e6ab40c2f968a7d6325d26d2989aca950005c9d29d16","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-09T22:23:21Z","title_canon_sha256":"fdcebf3337b0e64fdc86a97b68865b5eb80d182eac2c727a48387be45325ce76"},"schema_version":"1.0","source":{"id":"1801.03160","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.03160","created_at":"2026-05-17T23:40:56Z"},{"alias_kind":"arxiv_version","alias_value":"1801.03160v3","created_at":"2026-05-17T23:40:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.03160","created_at":"2026-05-17T23:40:56Z"},{"alias_kind":"pith_short_12","alias_value":"ICLWTYEUDZVU","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"ICLWTYEUDZVU7DKD","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"ICLWTYEU","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:ff6de3ef1af3cab82599c3b0abfbebfb0c8bf531f2a3f81cfbcf650e9a6a1586","target":"graph","created_at":"2026-05-17T23:40: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"},"paper":{"abstract_excerpt":"We present a formalization and computational implementation of the second formulation of Kant's categorical imperative. This ethical principle requires an agent to never treat someone merely as a means but always also as an end. Here we interpret this principle in terms of how persons are causally affected by actions. We introduce Kantian causal agency models in which moral patients, actions, goals, and causal influence are represented, and we show how to formalize several readings of Kant's categorical imperative that correspond to Kant's concept of strict and wide duties towards oneself and ","authors_text":"Felix Lindner, Martin Mose Bentzen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-09T22:23:21Z","title":"A Formalization of Kant's Second Formulation of the Categorical Imperative"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.03160","kind":"arxiv","version":3},"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:2656e1d3d41f66f5bed5ea63b4b8d9a8dd24a88f86b771b9523d2a009caa0d4b","target":"record","created_at":"2026-05-17T23:40: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":"68ba3f4d3b9cb0943bf7e6ab40c2f968a7d6325d26d2989aca950005c9d29d16","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-09T22:23:21Z","title_canon_sha256":"fdcebf3337b0e64fdc86a97b68865b5eb80d182eac2c727a48387be45325ce76"},"schema_version":"1.0","source":{"id":"1801.03160","kind":"arxiv","version":3}},"canonical_sha256":"409769e0941e6b4f8d43cdf774dad4327cfad2fea264cf36fbca70aabe93fd98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"409769e0941e6b4f8d43cdf774dad4327cfad2fea264cf36fbca70aabe93fd98","first_computed_at":"2026-05-17T23:40:56.174346Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:56.174346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/JTa79bCwPG4wgFWraM2FOno8C+FaAjyFeGMFuTl55jyhZrWW5Oto2Flop5zdn0ecN0H8OYNiXPR6FugxxcpCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:56.175027Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.03160","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2656e1d3d41f66f5bed5ea63b4b8d9a8dd24a88f86b771b9523d2a009caa0d4b","sha256:ff6de3ef1af3cab82599c3b0abfbebfb0c8bf531f2a3f81cfbcf650e9a6a1586"],"state_sha256":"a0c2edf9670f07c649b396bc317cdd21ae9c871058a6a44c4c4c537fa3e86121"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7u6rYmjSz2ld6a4g72qaB+kcm0YpEBu2So+ABf5zA9L8aL3yUSxK2OKrMfZZBgz9WruXu6cCnMEMEZI56Hp8Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T18:57:05.017167Z","bundle_sha256":"02106726fcf97563b8f8605ed4340e5cef6505ba91a0c2e2b0f7f5be6fa6284d"}}