{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:SIXU3CABDABSMFUB6CX4PU56AF","short_pith_number":"pith:SIXU3CAB","canonical_record":{"source":{"id":"1603.01082","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","cross_cats_sorted":[],"title_canon_sha256":"7c8300d01312da2ee616ca5206a5341358b7bd7e2b8640ab47481c2d5bc9cc9b","abstract_canon_sha256":"ce6afb7de92ca64b61509616a9d0ce15c30099a70036382f93fc4ccba2f42250"},"schema_version":"1.0"},"canonical_sha256":"922f4d88011803261681f0afc7d3be0147bb60b69713f409ef0e4c6f0e091624","source":{"kind":"arxiv","id":"1603.01082","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.01082","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"arxiv_version","alias_value":"1603.01082v2","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.01082","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"pith_short_12","alias_value":"SIXU3CABDABS","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SIXU3CABDABSMFUB","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SIXU3CAB","created_at":"2026-05-18T12:30:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:SIXU3CABDABSMFUB6CX4PU56AF","target":"record","payload":{"canonical_record":{"source":{"id":"1603.01082","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","cross_cats_sorted":[],"title_canon_sha256":"7c8300d01312da2ee616ca5206a5341358b7bd7e2b8640ab47481c2d5bc9cc9b","abstract_canon_sha256":"ce6afb7de92ca64b61509616a9d0ce15c30099a70036382f93fc4ccba2f42250"},"schema_version":"1.0"},"canonical_sha256":"922f4d88011803261681f0afc7d3be0147bb60b69713f409ef0e4c6f0e091624","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:39.842368Z","signature_b64":"8zcCygvTODvfQaupLnAvlLkAQaOueA8G9v9FmvimGStIU38BXMVsLLQhNcRDgQKq6n+Emeyx2YhWLa2d9N2XAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"922f4d88011803261681f0afc7d3be0147bb60b69713f409ef0e4c6f0e091624","last_reissued_at":"2026-05-18T01:10:39.841831Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:39.841831Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.01082","source_version":2,"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-18T01:10:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aj9+tHOmk558rZGFclWrutxqkPNQ9JtT385GABm4iyqE5Q5g7Fs9Coxc0eA3vOWtxf0/gllecRXQXLqg3j2dCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T07:57:40.453627Z"},"content_sha256":"7f73b65a3aee281dc618c4882bb8cf2494754b718b016055b84a29a9637b5fb9","schema_version":"1.0","event_id":"sha256:7f73b65a3aee281dc618c4882bb8cf2494754b718b016055b84a29a9637b5fb9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:SIXU3CABDABSMFUB6CX4PU56AF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Specification and Analysis of Autonomous Systems under Partial Compliance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Arthur Richards, Dejanira Araiza-Illan, Jeremy Morse, Jonathan Lawry, Kerstin Eder","submitted_at":"2016-03-03T13:01:34Z","abstract_excerpt":"The widespread adoption of autonomous systems depends on providing guarantees of safety and functional correctness, at both design time and runtime. Information about the extent to which functional requirements can be met in combination with non-functional requirements (NFRs) -- i.e. requirements that can be partially complied with -- , under dynamic and uncertain environments, provides opportunities to enhance the safety and functional correctness of systems at design time. We present a technique to formally define system attributes that can change or be changed to deal with dynamic and uncer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.01082","kind":"arxiv","version":2},"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-18T01:10:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0iBRr8Oig/NSvm2B68DcqutPkKSRIVmL3rX5VNIV5E62yyJajJp3yhZsy0hc3stXn+4pgEuICBXrlPxqz8E+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T07:57:40.453968Z"},"content_sha256":"5fb19a5e935b25f728e069c314664f70a952facc4a09ab7f29c65bb94d7633a9","schema_version":"1.0","event_id":"sha256:5fb19a5e935b25f728e069c314664f70a952facc4a09ab7f29c65bb94d7633a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SIXU3CABDABSMFUB6CX4PU56AF/bundle.json","state_url":"https://pith.science/pith/SIXU3CABDABSMFUB6CX4PU56AF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SIXU3CABDABSMFUB6CX4PU56AF/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-07-10T07:57:40Z","links":{"resolver":"https://pith.science/pith/SIXU3CABDABSMFUB6CX4PU56AF","bundle":"https://pith.science/pith/SIXU3CABDABSMFUB6CX4PU56AF/bundle.json","state":"https://pith.science/pith/SIXU3CABDABSMFUB6CX4PU56AF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SIXU3CABDABSMFUB6CX4PU56AF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:SIXU3CABDABSMFUB6CX4PU56AF","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":"ce6afb7de92ca64b61509616a9d0ce15c30099a70036382f93fc4ccba2f42250","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","title_canon_sha256":"7c8300d01312da2ee616ca5206a5341358b7bd7e2b8640ab47481c2d5bc9cc9b"},"schema_version":"1.0","source":{"id":"1603.01082","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.01082","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"arxiv_version","alias_value":"1603.01082v2","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.01082","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"pith_short_12","alias_value":"SIXU3CABDABS","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SIXU3CABDABSMFUB","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SIXU3CAB","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:5fb19a5e935b25f728e069c314664f70a952facc4a09ab7f29c65bb94d7633a9","target":"graph","created_at":"2026-05-18T01:10:39Z","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":"The widespread adoption of autonomous systems depends on providing guarantees of safety and functional correctness, at both design time and runtime. Information about the extent to which functional requirements can be met in combination with non-functional requirements (NFRs) -- i.e. requirements that can be partially complied with -- , under dynamic and uncertain environments, provides opportunities to enhance the safety and functional correctness of systems at design time. We present a technique to formally define system attributes that can change or be changed to deal with dynamic and uncer","authors_text":"Arthur Richards, Dejanira Araiza-Illan, Jeremy Morse, Jonathan Lawry, Kerstin Eder","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","title":"Formal Specification and Analysis of Autonomous Systems under Partial Compliance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.01082","kind":"arxiv","version":2},"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:7f73b65a3aee281dc618c4882bb8cf2494754b718b016055b84a29a9637b5fb9","target":"record","created_at":"2026-05-18T01:10:39Z","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":"ce6afb7de92ca64b61509616a9d0ce15c30099a70036382f93fc4ccba2f42250","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","title_canon_sha256":"7c8300d01312da2ee616ca5206a5341358b7bd7e2b8640ab47481c2d5bc9cc9b"},"schema_version":"1.0","source":{"id":"1603.01082","kind":"arxiv","version":2}},"canonical_sha256":"922f4d88011803261681f0afc7d3be0147bb60b69713f409ef0e4c6f0e091624","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"922f4d88011803261681f0afc7d3be0147bb60b69713f409ef0e4c6f0e091624","first_computed_at":"2026-05-18T01:10:39.841831Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:39.841831Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8zcCygvTODvfQaupLnAvlLkAQaOueA8G9v9FmvimGStIU38BXMVsLLQhNcRDgQKq6n+Emeyx2YhWLa2d9N2XAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:39.842368Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.01082","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7f73b65a3aee281dc618c4882bb8cf2494754b718b016055b84a29a9637b5fb9","sha256:5fb19a5e935b25f728e069c314664f70a952facc4a09ab7f29c65bb94d7633a9"],"state_sha256":"36935435ec49fb4f7157bdea8acd5878de1baa19c7911c0ca65146a457859895"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+ZyKinnDTmAYqD1dyrL1RLJIJkIAJyH4P+uJ2TRcEODXw04vBDfzLyfqOqy3s9TR5Wp+LvZ0kNeO+73Vo2qEBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T07:57:40.455781Z","bundle_sha256":"cc5fa29fa022505c3eaa4b5f5b962fd2af1eb0b002ca57b9839e3f3f843e81d3"}}