{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:AGOOZHDNDUCF36IW2GZOCSDYNW","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":"24e57bf916b3c47fb5991e897125aa7d484be1b6d52fc2804bb8ed836e2e4a91","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2017-03-20T02:47:57Z","title_canon_sha256":"4b267c294d339b8a522dfea9f8d8cce5d6ab4ff66676828059cde2370e93b51b"},"schema_version":"1.0","source":{"id":"1703.06571","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06571","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06571v1","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06571","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"pith_short_12","alias_value":"AGOOZHDNDUCF","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"AGOOZHDNDUCF36IW","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"AGOOZHDN","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:1e585d5b06122c674e2e0052af8b390fa0c4a44a052d0a0593991e579b9b559a","target":"graph","created_at":"2026-05-18T00:48:22Z","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 hardware/software boundary in modern heterogeneous multicore computers is increasingly complex, and diverse across different platforms. A single memory access by a core or DMA engine traverses multiple hardware translation and caching steps, and the destination memory cell or register often appears at different physical addresses for different cores. Interrupts pass through a complex topology of interrupt controllers and remappers before delivery to one or more cores, each with specific constraints on their configurations. System software must not only correctly understand the specific har","authors_text":"David Cock (Systems Group, Department of Computer Science, ETH Zurich), Lukas Humbel (Systems Group, Reto Achermann (Systems Group, Timothy Roscoe (Systems Group","cross_cats":["cs.AR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2017-03-20T02:47:57Z","title":"Formalizing Memory Accesses and Interrupts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06571","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:ca06009a163c884dbb193f0aa7bff85b0b205daa0b9cfed25ea7c741c735f4da","target":"record","created_at":"2026-05-18T00:48:22Z","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":"24e57bf916b3c47fb5991e897125aa7d484be1b6d52fc2804bb8ed836e2e4a91","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2017-03-20T02:47:57Z","title_canon_sha256":"4b267c294d339b8a522dfea9f8d8cce5d6ab4ff66676828059cde2370e93b51b"},"schema_version":"1.0","source":{"id":"1703.06571","kind":"arxiv","version":1}},"canonical_sha256":"019cec9c6d1d045df916d1b2e148786d99b95760570012f8300b610ae8fe6342","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"019cec9c6d1d045df916d1b2e148786d99b95760570012f8300b610ae8fe6342","first_computed_at":"2026-05-18T00:48:22.435526Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:22.435526Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TriRVgeMYRp4iXG9/+xjND1KWx/wlPxyMS889EVWCziUYJ0MF+rDq2JTnzZCvSeYN8fDzNIdsVjAGMKhucU4AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:22.436169Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.06571","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca06009a163c884dbb193f0aa7bff85b0b205daa0b9cfed25ea7c741c735f4da","sha256:1e585d5b06122c674e2e0052af8b390fa0c4a44a052d0a0593991e579b9b559a"],"state_sha256":"94ffae7dd2666d101be06f856c0f423e42d894636ef8010d3627b426925dd14e"}