{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:AHTFDFRZIYJ6HGVIBOAWAE3EGJ","short_pith_number":"pith:AHTFDFRZ","canonical_record":{"source":{"id":"1904.01518","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-04-02T15:56:24Z","cross_cats_sorted":[],"title_canon_sha256":"f3b8ba082ca095a5dbf1f5e3cea660ee9ea85c46438c076f0c75dcb8f085bb1b","abstract_canon_sha256":"2c5c45578c63d1ed84d4726aa84a0cef79c565200850d0f995b479c82a9bb6c3"},"schema_version":"1.0"},"canonical_sha256":"01e65196394613e39aa80b81601364327bdaa2535aed40ce5cbd7a37486d313a","source":{"kind":"arxiv","id":"1904.01518","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01518","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01518v2","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01518","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"AHTFDFRZIYJ6","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AHTFDFRZIYJ6HGVI","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AHTFDFRZ","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:AHTFDFRZIYJ6HGVIBOAWAE3EGJ","target":"record","payload":{"canonical_record":{"source":{"id":"1904.01518","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-04-02T15:56:24Z","cross_cats_sorted":[],"title_canon_sha256":"f3b8ba082ca095a5dbf1f5e3cea660ee9ea85c46438c076f0c75dcb8f085bb1b","abstract_canon_sha256":"2c5c45578c63d1ed84d4726aa84a0cef79c565200850d0f995b479c82a9bb6c3"},"schema_version":"1.0"},"canonical_sha256":"01e65196394613e39aa80b81601364327bdaa2535aed40ce5cbd7a37486d313a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:32.550817Z","signature_b64":"A1oFuWTLStW0yWyziAjs1Ie8jyfsiD1DtbBIa6FnSQZph463HV4B+wEB4OOxjtHfaNj+7ZtEm9jsazAllBvnAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01e65196394613e39aa80b81601364327bdaa2535aed40ce5cbd7a37486d313a","last_reissued_at":"2026-05-17T23:49:32.550235Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:32.550235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.01518","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-17T23:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mhrPQ3YT8r8liW2A2zZxOA9HKcCy0t2ollZw+jrbmNRGFx2lTt79K7sSFj20goERQP7xJY1Qs17ZH4F/y9geDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T23:47:19.230710Z"},"content_sha256":"82b2a9733ee8a646b5829093091db13d0453223b790a2b915dab42feacaee445","schema_version":"1.0","event_id":"sha256:82b2a9733ee8a646b5829093091db13d0453223b790a2b915dab42feacaee445"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:AHTFDFRZIYJ6HGVIBOAWAE3EGJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ada Diaconescu, Simos Gerasimou, Thomas Vogel","submitted_at":"2019-04-02T15:56:24Z","abstract_excerpt":"Software systems are increasingly used in application domains characterised by uncertain environments, evolving requirements and unexpected failures; sudden system malfunctioning raises serious issues of security, safety, loss of comfort or revenue. During operation, these systems will likely need to deal with several unpredictable situations including variations in system performance, sudden changes in system workload and component failures. These situations can cause deviation from the desired system behaviour and require dynamic adaptation of the system behaviour, parameters or architecture"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01518","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-17T23:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uvYeBAQXlWkeSKkszQ1Zzj662CHgJBzrNd9KgFIzw/0RWMSP2rmjdbYWjdH5WrjXC+cGv8ynWpSdH6/R62uuBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T23:47:19.231430Z"},"content_sha256":"400267ba2dbe40b464d21a87738db57dd2760fffcb02d93ffcb98edf8c74a4ba","schema_version":"1.0","event_id":"sha256:400267ba2dbe40b464d21a87738db57dd2760fffcb02d93ffcb98edf8c74a4ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AHTFDFRZIYJ6HGVIBOAWAE3EGJ/bundle.json","state_url":"https://pith.science/pith/AHTFDFRZIYJ6HGVIBOAWAE3EGJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AHTFDFRZIYJ6HGVIBOAWAE3EGJ/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-09T23:47:19Z","links":{"resolver":"https://pith.science/pith/AHTFDFRZIYJ6HGVIBOAWAE3EGJ","bundle":"https://pith.science/pith/AHTFDFRZIYJ6HGVIBOAWAE3EGJ/bundle.json","state":"https://pith.science/pith/AHTFDFRZIYJ6HGVIBOAWAE3EGJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AHTFDFRZIYJ6HGVIBOAWAE3EGJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AHTFDFRZIYJ6HGVIBOAWAE3EGJ","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":"2c5c45578c63d1ed84d4726aa84a0cef79c565200850d0f995b479c82a9bb6c3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-04-02T15:56:24Z","title_canon_sha256":"f3b8ba082ca095a5dbf1f5e3cea660ee9ea85c46438c076f0c75dcb8f085bb1b"},"schema_version":"1.0","source":{"id":"1904.01518","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01518","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01518v2","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01518","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"AHTFDFRZIYJ6","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AHTFDFRZIYJ6HGVI","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AHTFDFRZ","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:400267ba2dbe40b464d21a87738db57dd2760fffcb02d93ffcb98edf8c74a4ba","target":"graph","created_at":"2026-05-17T23:49:32Z","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":"Software systems are increasingly used in application domains characterised by uncertain environments, evolving requirements and unexpected failures; sudden system malfunctioning raises serious issues of security, safety, loss of comfort or revenue. During operation, these systems will likely need to deal with several unpredictable situations including variations in system performance, sudden changes in system workload and component failures. These situations can cause deviation from the desired system behaviour and require dynamic adaptation of the system behaviour, parameters or architecture","authors_text":"Ada Diaconescu, Simos Gerasimou, Thomas Vogel","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-04-02T15:56:24Z","title":"Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01518","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:82b2a9733ee8a646b5829093091db13d0453223b790a2b915dab42feacaee445","target":"record","created_at":"2026-05-17T23:49:32Z","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":"2c5c45578c63d1ed84d4726aa84a0cef79c565200850d0f995b479c82a9bb6c3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-04-02T15:56:24Z","title_canon_sha256":"f3b8ba082ca095a5dbf1f5e3cea660ee9ea85c46438c076f0c75dcb8f085bb1b"},"schema_version":"1.0","source":{"id":"1904.01518","kind":"arxiv","version":2}},"canonical_sha256":"01e65196394613e39aa80b81601364327bdaa2535aed40ce5cbd7a37486d313a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"01e65196394613e39aa80b81601364327bdaa2535aed40ce5cbd7a37486d313a","first_computed_at":"2026-05-17T23:49:32.550235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:32.550235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A1oFuWTLStW0yWyziAjs1Ie8jyfsiD1DtbBIa6FnSQZph463HV4B+wEB4OOxjtHfaNj+7ZtEm9jsazAllBvnAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:32.550817Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.01518","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82b2a9733ee8a646b5829093091db13d0453223b790a2b915dab42feacaee445","sha256:400267ba2dbe40b464d21a87738db57dd2760fffcb02d93ffcb98edf8c74a4ba"],"state_sha256":"afa7d17eb8f757cfe083973586f29324f0f047860c6155b9258bec4c12fee959"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dnl2W+ikHmGwW9J/I9T+xxfPFcoAEavEhUKFw2FcyvongzPnLDE9fyR/iosrtPv3Vp4lBlrL6QnTWZaje4XYCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T23:47:19.235586Z","bundle_sha256":"18c7284ae9354f64e48f870e3e0d8c13643b16363f25e50a7df314d70eaa243c"}}