{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VYXVWMLTO7HE2UH3HQG3M34GA5","short_pith_number":"pith:VYXVWMLT","canonical_record":{"source":{"id":"1606.00111","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2016-06-01T04:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"c233afbe197c4179a00468e72694a93444ed18b6893658b48c0e2d0026562649","abstract_canon_sha256":"2e52dae42ad02255862edb14e385e94d24a8eb42b82cb9c96d6862cae8036139"},"schema_version":"1.0"},"canonical_sha256":"ae2f5b317377ce4d50fb3c0db66f860742e7e9e4a9254e5b1af24e9e4b55530b","source":{"kind":"arxiv","id":"1606.00111","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.00111","created_at":"2026-05-18T01:13:04Z"},{"alias_kind":"arxiv_version","alias_value":"1606.00111v2","created_at":"2026-05-18T01:13:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00111","created_at":"2026-05-18T01:13:04Z"},{"alias_kind":"pith_short_12","alias_value":"VYXVWMLTO7HE","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VYXVWMLTO7HE2UH3","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VYXVWMLT","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VYXVWMLTO7HE2UH3HQG3M34GA5","target":"record","payload":{"canonical_record":{"source":{"id":"1606.00111","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2016-06-01T04:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"c233afbe197c4179a00468e72694a93444ed18b6893658b48c0e2d0026562649","abstract_canon_sha256":"2e52dae42ad02255862edb14e385e94d24a8eb42b82cb9c96d6862cae8036139"},"schema_version":"1.0"},"canonical_sha256":"ae2f5b317377ce4d50fb3c0db66f860742e7e9e4a9254e5b1af24e9e4b55530b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:04.406212Z","signature_b64":"XGseDTaCjXagcrKJ8Qj+ZxV0+WThrNTGXCPf1HITCUf4ksF26L/LVsx2/TqyYbXNp2A0nLfy3/BGFsEAw+K6Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ae2f5b317377ce4d50fb3c0db66f860742e7e9e4a9254e5b1af24e9e4b55530b","last_reissued_at":"2026-05-18T01:13:04.405716Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:04.405716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.00111","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:13:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yv+l5nmgsgqu5japQolfsBqDtNC3f9ky8HFYkazrtfgp6Yu/6hSj1qkh3ww/JvAWPIN/wJs1ap/K7GxoRxRHCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T17:45:06.246335Z"},"content_sha256":"a501b621a4a11c9496e4d4281d871425cb063f24b6a7a3a444a23817321ddb85","schema_version":"1.0","event_id":"sha256:a501b621a4a11c9496e4d4281d871425cb063f24b6a7a3a444a23817321ddb85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VYXVWMLTO7HE2UH3HQG3M34GA5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Anna Lyons, Gernot Heiser","submitted_at":"2016-06-01T04:29:58Z","abstract_excerpt":"Mixed-criticality systems combine real-time components of different levels of criticality, i.e. severity of failure, on the same processor, in order to obtain good resource utilisation. They must guarantee deadlines of highly-critical tasks at the expense of lower-criticality ones in the case of overload. Present operating systems provide inadequate support for this kind of system, which is of growing importance in avionics and other verticals. We present an approach that provides the required asymmetric integrity and its implementation in the high-assurance seL4 microkernel."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00111","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:13:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3i3NKHV/qGdjMTgwhB9b7TGipFVmNl5dpXrOjvnmf7KgdEpuXESiOkWyspbG4GvlYZmg2+A1P53R2HG5jymZCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T17:45:06.246696Z"},"content_sha256":"d1abacb6e2668bfb4e25ba1781798dbf0c3199995941160811e4f5875c19f292","schema_version":"1.0","event_id":"sha256:d1abacb6e2668bfb4e25ba1781798dbf0c3199995941160811e4f5875c19f292"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VYXVWMLTO7HE2UH3HQG3M34GA5/bundle.json","state_url":"https://pith.science/pith/VYXVWMLTO7HE2UH3HQG3M34GA5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VYXVWMLTO7HE2UH3HQG3M34GA5/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-04T17:45:06Z","links":{"resolver":"https://pith.science/pith/VYXVWMLTO7HE2UH3HQG3M34GA5","bundle":"https://pith.science/pith/VYXVWMLTO7HE2UH3HQG3M34GA5/bundle.json","state":"https://pith.science/pith/VYXVWMLTO7HE2UH3HQG3M34GA5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VYXVWMLTO7HE2UH3HQG3M34GA5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VYXVWMLTO7HE2UH3HQG3M34GA5","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":"2e52dae42ad02255862edb14e385e94d24a8eb42b82cb9c96d6862cae8036139","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2016-06-01T04:29:58Z","title_canon_sha256":"c233afbe197c4179a00468e72694a93444ed18b6893658b48c0e2d0026562649"},"schema_version":"1.0","source":{"id":"1606.00111","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.00111","created_at":"2026-05-18T01:13:04Z"},{"alias_kind":"arxiv_version","alias_value":"1606.00111v2","created_at":"2026-05-18T01:13:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00111","created_at":"2026-05-18T01:13:04Z"},{"alias_kind":"pith_short_12","alias_value":"VYXVWMLTO7HE","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VYXVWMLTO7HE2UH3","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VYXVWMLT","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:d1abacb6e2668bfb4e25ba1781798dbf0c3199995941160811e4f5875c19f292","target":"graph","created_at":"2026-05-18T01:13:04Z","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":"Mixed-criticality systems combine real-time components of different levels of criticality, i.e. severity of failure, on the same processor, in order to obtain good resource utilisation. They must guarantee deadlines of highly-critical tasks at the expense of lower-criticality ones in the case of overload. Present operating systems provide inadequate support for this kind of system, which is of growing importance in avionics and other verticals. We present an approach that provides the required asymmetric integrity and its implementation in the high-assurance seL4 microkernel.","authors_text":"Anna Lyons, Gernot Heiser","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2016-06-01T04:29:58Z","title":"It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00111","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:a501b621a4a11c9496e4d4281d871425cb063f24b6a7a3a444a23817321ddb85","target":"record","created_at":"2026-05-18T01:13:04Z","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":"2e52dae42ad02255862edb14e385e94d24a8eb42b82cb9c96d6862cae8036139","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2016-06-01T04:29:58Z","title_canon_sha256":"c233afbe197c4179a00468e72694a93444ed18b6893658b48c0e2d0026562649"},"schema_version":"1.0","source":{"id":"1606.00111","kind":"arxiv","version":2}},"canonical_sha256":"ae2f5b317377ce4d50fb3c0db66f860742e7e9e4a9254e5b1af24e9e4b55530b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ae2f5b317377ce4d50fb3c0db66f860742e7e9e4a9254e5b1af24e9e4b55530b","first_computed_at":"2026-05-18T01:13:04.405716Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:04.405716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XGseDTaCjXagcrKJ8Qj+ZxV0+WThrNTGXCPf1HITCUf4ksF26L/LVsx2/TqyYbXNp2A0nLfy3/BGFsEAw+K6Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:04.406212Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.00111","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a501b621a4a11c9496e4d4281d871425cb063f24b6a7a3a444a23817321ddb85","sha256:d1abacb6e2668bfb4e25ba1781798dbf0c3199995941160811e4f5875c19f292"],"state_sha256":"3b03bce313c2e8e2a0a9b512c9ddfeecb4e95553ace3f00624e4f8ee57435310"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6gz2GBLvV0LT5/nHh1EOKtlEpen8Mv1hMRqkPdHzhQuRCaMvqdNtywe0mgKJTgpWpqRxGZpmSKUNNtM0Mh+7Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T17:45:06.248618Z","bundle_sha256":"745bfb5b59fccc1e129a4e50268a9bc49de41e584639b7e261c1799767091754"}}