{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:OGELJ6D7WYAH4UY3QRJM2QCCYF","short_pith_number":"pith:OGELJ6D7","canonical_record":{"source":{"id":"2401.05673","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-11T05:32:31Z","cross_cats_sorted":[],"title_canon_sha256":"c4396f9750245ab4047adef3a40de8482a278b3304fe4bc07cc59fc1cd30fcc3","abstract_canon_sha256":"dae3f7095bf83abc381ae059ccca126c95a60306d777e38712157b26fc691e07"},"schema_version":"1.0"},"canonical_sha256":"7188b4f87fb6007e531b8452cd4042c15423e58f9d622b8892e403e3bf79cf37","source":{"kind":"arxiv","id":"2401.05673","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05673","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05673v1","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05673","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"pith_short_12","alias_value":"OGELJ6D7WYAH","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"OGELJ6D7WYAH4UY3","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"OGELJ6D7","created_at":"2026-07-05T07:32:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:OGELJ6D7WYAH4UY3QRJM2QCCYF","target":"record","payload":{"canonical_record":{"source":{"id":"2401.05673","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-11T05:32:31Z","cross_cats_sorted":[],"title_canon_sha256":"c4396f9750245ab4047adef3a40de8482a278b3304fe4bc07cc59fc1cd30fcc3","abstract_canon_sha256":"dae3f7095bf83abc381ae059ccca126c95a60306d777e38712157b26fc691e07"},"schema_version":"1.0"},"canonical_sha256":"7188b4f87fb6007e531b8452cd4042c15423e58f9d622b8892e403e3bf79cf37","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:32:33.655399Z","signature_b64":"TRjy8XSwFPo45ehDw9uwmHaVY8FaAzsIx9ARvTDHmRo+cGGBlDT2bjJfVfrPz2xf3ar/tvvcWkR3qtglzmS1BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7188b4f87fb6007e531b8452cd4042c15423e58f9d622b8892e403e3bf79cf37","last_reissued_at":"2026-07-05T07:32:33.654824Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:32:33.654824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.05673","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-05T07:32:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XXQ9mrVr8n3/1XwV/Id8qz2AOVc3rvpd9212JeTWVC2xzOdz8v/h5jTsfq2vLoyG64n18szE1NIk/VC1PgzcBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T21:04:49.849829Z"},"content_sha256":"a0aed7798e1789d2a605223303fcd126cac457d20baf1763b1728bcad312d20c","schema_version":"1.0","event_id":"sha256:a0aed7798e1789d2a605223303fcd126cac457d20baf1763b1728bcad312d20c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:OGELJ6D7WYAH4UY3QRJM2QCCYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Analyzing and Debugging Normative Requirements via Satisfiability Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ana Cavalcanti, Beverley Townsend, Calum Imrie, Gena\\'ina Nunes Rodrigues, Ioannis Stefanakos, Isobel Standen, Lina Marsso, Marsha Chechik, Nick Feng, Radu Calinescu, Reem Ayad, Sinem Getir Yaman, Vict\\'oria Oldemburgo de Mello, Yesugen Baatartogtokh","submitted_at":"2024-01-11T05:32:31Z","abstract_excerpt":"As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, and cultural (SLEEC) norms and values of their stakeholders. Normative non-functional requirements (N-NFRs) are used to capture these concerns by setting SLEEC-relevant boundaries for system behavior. Since N-NFRs need to be specified by multiple stakeholders with widely different, non-technical expertise (ethicists, lawyers, regulators, end users, etc.), N-NFR elicitation is very challenging. To address this "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05673","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/2401.05673/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-05T07:32:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hCMSHLfg07YgZ2UFCv/ohQDcNxW7+H+7NxglsbGr7vZaHqF4r8Y2WnjUc+1aFuse3crlsh2c2SiFxslG0Q5xDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T21:04:49.850273Z"},"content_sha256":"2b9c89cdfa6671e1a5f10f6127adbe73037df944e810374225d277dc81284a21","schema_version":"1.0","event_id":"sha256:2b9c89cdfa6671e1a5f10f6127adbe73037df944e810374225d277dc81284a21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OGELJ6D7WYAH4UY3QRJM2QCCYF/bundle.json","state_url":"https://pith.science/pith/OGELJ6D7WYAH4UY3QRJM2QCCYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OGELJ6D7WYAH4UY3QRJM2QCCYF/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-04T21:04:49Z","links":{"resolver":"https://pith.science/pith/OGELJ6D7WYAH4UY3QRJM2QCCYF","bundle":"https://pith.science/pith/OGELJ6D7WYAH4UY3QRJM2QCCYF/bundle.json","state":"https://pith.science/pith/OGELJ6D7WYAH4UY3QRJM2QCCYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OGELJ6D7WYAH4UY3QRJM2QCCYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OGELJ6D7WYAH4UY3QRJM2QCCYF","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":"dae3f7095bf83abc381ae059ccca126c95a60306d777e38712157b26fc691e07","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-11T05:32:31Z","title_canon_sha256":"c4396f9750245ab4047adef3a40de8482a278b3304fe4bc07cc59fc1cd30fcc3"},"schema_version":"1.0","source":{"id":"2401.05673","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05673","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05673v1","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05673","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"pith_short_12","alias_value":"OGELJ6D7WYAH","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"OGELJ6D7WYAH4UY3","created_at":"2026-07-05T07:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"OGELJ6D7","created_at":"2026-07-05T07:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:2b9c89cdfa6671e1a5f10f6127adbe73037df944e810374225d277dc81284a21","target":"graph","created_at":"2026-07-05T07:32:33Z","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/2401.05673/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, and cultural (SLEEC) norms and values of their stakeholders. Normative non-functional requirements (N-NFRs) are used to capture these concerns by setting SLEEC-relevant boundaries for system behavior. Since N-NFRs need to be specified by multiple stakeholders with widely different, non-technical expertise (ethicists, lawyers, regulators, end users, etc.), N-NFR elicitation is very challenging. To address this ","authors_text":"Ana Cavalcanti, Beverley Townsend, Calum Imrie, Gena\\'ina Nunes Rodrigues, Ioannis Stefanakos, Isobel Standen, Lina Marsso, Marsha Chechik, Nick Feng, Radu Calinescu, Reem Ayad, Sinem Getir Yaman, Vict\\'oria Oldemburgo de Mello, Yesugen Baatartogtokh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-11T05:32:31Z","title":"Analyzing and Debugging Normative Requirements via Satisfiability Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05673","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:a0aed7798e1789d2a605223303fcd126cac457d20baf1763b1728bcad312d20c","target":"record","created_at":"2026-07-05T07:32:33Z","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":"dae3f7095bf83abc381ae059ccca126c95a60306d777e38712157b26fc691e07","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-11T05:32:31Z","title_canon_sha256":"c4396f9750245ab4047adef3a40de8482a278b3304fe4bc07cc59fc1cd30fcc3"},"schema_version":"1.0","source":{"id":"2401.05673","kind":"arxiv","version":1}},"canonical_sha256":"7188b4f87fb6007e531b8452cd4042c15423e58f9d622b8892e403e3bf79cf37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7188b4f87fb6007e531b8452cd4042c15423e58f9d622b8892e403e3bf79cf37","first_computed_at":"2026-07-05T07:32:33.654824Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:32:33.654824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TRjy8XSwFPo45ehDw9uwmHaVY8FaAzsIx9ARvTDHmRo+cGGBlDT2bjJfVfrPz2xf3ar/tvvcWkR3qtglzmS1BA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:32:33.655399Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.05673","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a0aed7798e1789d2a605223303fcd126cac457d20baf1763b1728bcad312d20c","sha256:2b9c89cdfa6671e1a5f10f6127adbe73037df944e810374225d277dc81284a21"],"state_sha256":"61371cd554a39091b05f2042b7be5c55b6ca78f33d32c8ac67b35d1ab3301b3b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rxdtLZYFNI43tKLaZ2NzO6kehz6USDRT2hx7V8HSvrtvkcQ248QwlyHnV1PnuabfRYJVUcyXA2tEK9RI3POXDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T21:04:49.853692Z","bundle_sha256":"798ae409d181fae5e1abf8902b2de7d5770ba0a1a3fbf58d4eb0a107ad39db1b"}}