{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:GJUGAIMQWSAVMH5GKKHZFKHYZU","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":"ff69501d349f331dd3804a96773ea002fbe0b02a18e2b916e641c115fdc4b331","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2011-12-19T20:07:54Z","title_canon_sha256":"4f6027072006de17d2c8e592a7bb362f1012419bc51a6d9fcc358519a0f948ae"},"schema_version":"1.0","source":{"id":"1112.4451","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.4451","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1112.4451v2","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.4451","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"GJUGAIMQWSAV","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"GJUGAIMQWSAVMH5G","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"GJUGAIMQ","created_at":"2026-05-18T12:26:30Z"}],"graph_snapshots":[{"event_id":"sha256:62fdc748d41c2d4be3085485ea919b97054ced9e56d9e0f472113e805f1a84b6","target":"graph","created_at":"2026-05-18T04:02:03Z","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":"While the engineering of operating systems is well understood, their formal structure and properties are not. The latter needs a clear definition of the purpose of an OS and an identification of the core. In this paper I offer definitions of the OS, processes and files, and present a few useful principles. The principles allow us to identify work like closure and continuation algorithms, in programming languages that is useful for the OS problem. The definitions and principles should yield a symbolic, albeit semiquantitative, framework that encompasses practice. Towards that end I specialise t","authors_text":"Abhijat Vichare","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2011-12-19T20:07:54Z","title":"What is an OS?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.4451","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:66668d74a9e0de73e17f433cbbf9713734e0a028f96de11d863cf9f4a18030b7","target":"record","created_at":"2026-05-18T04:02:03Z","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":"ff69501d349f331dd3804a96773ea002fbe0b02a18e2b916e641c115fdc4b331","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2011-12-19T20:07:54Z","title_canon_sha256":"4f6027072006de17d2c8e592a7bb362f1012419bc51a6d9fcc358519a0f948ae"},"schema_version":"1.0","source":{"id":"1112.4451","kind":"arxiv","version":2}},"canonical_sha256":"3268602190b481561fa6528f92a8f8cd220332c72cfcb256d8a49f8798851569","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3268602190b481561fa6528f92a8f8cd220332c72cfcb256d8a49f8798851569","first_computed_at":"2026-05-18T04:02:03.675369Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:03.675369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JdHWRku1hhtFdShYfbvzhjANYOKI/5Mzqt17OdrxOaiu0JJOSp6HPtwlDJN3xlvs/8tCs7N9XvxycyFmz3iJAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:03.676121Z","signed_message":"canonical_sha256_bytes"},"source_id":"1112.4451","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66668d74a9e0de73e17f433cbbf9713734e0a028f96de11d863cf9f4a18030b7","sha256:62fdc748d41c2d4be3085485ea919b97054ced9e56d9e0f472113e805f1a84b6"],"state_sha256":"5cea9e312c5767452799f4e8ee49cd304ecc13b7f27e341b45d82567ea580788"}