{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:C7DTVQ4VBTHDBAGAUYOQWGPOWL","short_pith_number":"pith:C7DTVQ4V","canonical_record":{"source":{"id":"1308.1199","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2013-08-06T07:54:19Z","cross_cats_sorted":[],"title_canon_sha256":"7e356f26ee3094b6d8733c656b8ad094d77aa36f550c3960462f65f2d0abcf00","abstract_canon_sha256":"baf8eb4fec6470dec994a8ecc66a685c1fd228e1f6f366d5c2e1d7995b83c84d"},"schema_version":"1.0"},"canonical_sha256":"17c73ac3950cce3080c0a61d0b19eeb2edb432818fef30d09c6fb76da986d4ed","source":{"kind":"arxiv","id":"1308.1199","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.1199","created_at":"2026-05-18T03:16:39Z"},{"alias_kind":"arxiv_version","alias_value":"1308.1199v1","created_at":"2026-05-18T03:16:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.1199","created_at":"2026-05-18T03:16:39Z"},{"alias_kind":"pith_short_12","alias_value":"C7DTVQ4VBTHD","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"C7DTVQ4VBTHDBAGA","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"C7DTVQ4V","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:C7DTVQ4VBTHDBAGAUYOQWGPOWL","target":"record","payload":{"canonical_record":{"source":{"id":"1308.1199","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2013-08-06T07:54:19Z","cross_cats_sorted":[],"title_canon_sha256":"7e356f26ee3094b6d8733c656b8ad094d77aa36f550c3960462f65f2d0abcf00","abstract_canon_sha256":"baf8eb4fec6470dec994a8ecc66a685c1fd228e1f6f366d5c2e1d7995b83c84d"},"schema_version":"1.0"},"canonical_sha256":"17c73ac3950cce3080c0a61d0b19eeb2edb432818fef30d09c6fb76da986d4ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:39.538368Z","signature_b64":"aNQRYLe34Pp4ABiYjOQzWArbWw+9spqS8Jph2tZ54w8ctDMroxEcL6xn4mMV/EYwTmCsDQWdDtjRriG4xfArAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"17c73ac3950cce3080c0a61d0b19eeb2edb432818fef30d09c6fb76da986d4ed","last_reissued_at":"2026-05-18T03:16:39.537768Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:39.537768Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.1199","source_version":1,"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-18T03:16:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+8BzxzQy5hzprppHDdqtlzVG1o51AsCkDh5/yXfJDJiZa+giLhneJar0JvI3+N2wOnUGvfZrgHMvee6PuDMJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T17:14:45.989780Z"},"content_sha256":"4434350fecf5486921d59a2798f29dcea18634459501cbd50d27c890ae7ad8a9","schema_version":"1.0","event_id":"sha256:4434350fecf5486921d59a2798f29dcea18634459501cbd50d27c890ae7ad8a9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:C7DTVQ4VBTHDBAGAUYOQWGPOWL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intensional view of General Single Processor Operating Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Abhijat Vichare","submitted_at":"2013-08-06T07:54:19Z","abstract_excerpt":"Operating systems are currently viewed ostensively. As a result they mean different things to different people. The ostensive character makes it is hard to understand OSes formally. An intensional view can enable better formal work, and also offer constructive support for some important problems, e.g. OS architecture. This work argues for an intensional view of operating systems. It proposes to overcome the current ostensive view by defining an OS based on formal models of computation, and also introduces some principles. Together these are used to develop a framework of algorithms of single p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.1199","kind":"arxiv","version":1},"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-18T03:16:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GdCYosUsSQrPUSPhY2jm8iNjhPEuFhXtU0u/kKwgH/tIRQXXcd4gEJoc65idC1ZPVdIRaEDDBHJoUu4orsnwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T17:14:45.990134Z"},"content_sha256":"720e7e27d60e91960eb0e44ae5671083355586d3b32cb721bfc53361fbe44274","schema_version":"1.0","event_id":"sha256:720e7e27d60e91960eb0e44ae5671083355586d3b32cb721bfc53361fbe44274"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C7DTVQ4VBTHDBAGAUYOQWGPOWL/bundle.json","state_url":"https://pith.science/pith/C7DTVQ4VBTHDBAGAUYOQWGPOWL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C7DTVQ4VBTHDBAGAUYOQWGPOWL/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-24T17:14:45Z","links":{"resolver":"https://pith.science/pith/C7DTVQ4VBTHDBAGAUYOQWGPOWL","bundle":"https://pith.science/pith/C7DTVQ4VBTHDBAGAUYOQWGPOWL/bundle.json","state":"https://pith.science/pith/C7DTVQ4VBTHDBAGAUYOQWGPOWL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C7DTVQ4VBTHDBAGAUYOQWGPOWL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:C7DTVQ4VBTHDBAGAUYOQWGPOWL","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":"baf8eb4fec6470dec994a8ecc66a685c1fd228e1f6f366d5c2e1d7995b83c84d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2013-08-06T07:54:19Z","title_canon_sha256":"7e356f26ee3094b6d8733c656b8ad094d77aa36f550c3960462f65f2d0abcf00"},"schema_version":"1.0","source":{"id":"1308.1199","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.1199","created_at":"2026-05-18T03:16:39Z"},{"alias_kind":"arxiv_version","alias_value":"1308.1199v1","created_at":"2026-05-18T03:16:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.1199","created_at":"2026-05-18T03:16:39Z"},{"alias_kind":"pith_short_12","alias_value":"C7DTVQ4VBTHD","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"C7DTVQ4VBTHDBAGA","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"C7DTVQ4V","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:720e7e27d60e91960eb0e44ae5671083355586d3b32cb721bfc53361fbe44274","target":"graph","created_at":"2026-05-18T03:16: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":"Operating systems are currently viewed ostensively. As a result they mean different things to different people. The ostensive character makes it is hard to understand OSes formally. An intensional view can enable better formal work, and also offer constructive support for some important problems, e.g. OS architecture. This work argues for an intensional view of operating systems. It proposes to overcome the current ostensive view by defining an OS based on formal models of computation, and also introduces some principles. Together these are used to develop a framework of algorithms of single p","authors_text":"Abhijat Vichare","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2013-08-06T07:54:19Z","title":"Intensional view of General Single Processor Operating Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.1199","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:4434350fecf5486921d59a2798f29dcea18634459501cbd50d27c890ae7ad8a9","target":"record","created_at":"2026-05-18T03:16: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":"baf8eb4fec6470dec994a8ecc66a685c1fd228e1f6f366d5c2e1d7995b83c84d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2013-08-06T07:54:19Z","title_canon_sha256":"7e356f26ee3094b6d8733c656b8ad094d77aa36f550c3960462f65f2d0abcf00"},"schema_version":"1.0","source":{"id":"1308.1199","kind":"arxiv","version":1}},"canonical_sha256":"17c73ac3950cce3080c0a61d0b19eeb2edb432818fef30d09c6fb76da986d4ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"17c73ac3950cce3080c0a61d0b19eeb2edb432818fef30d09c6fb76da986d4ed","first_computed_at":"2026-05-18T03:16:39.537768Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:39.537768Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aNQRYLe34Pp4ABiYjOQzWArbWw+9spqS8Jph2tZ54w8ctDMroxEcL6xn4mMV/EYwTmCsDQWdDtjRriG4xfArAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:39.538368Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.1199","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4434350fecf5486921d59a2798f29dcea18634459501cbd50d27c890ae7ad8a9","sha256:720e7e27d60e91960eb0e44ae5671083355586d3b32cb721bfc53361fbe44274"],"state_sha256":"105f6b7ac876944eb2b4815edc312c261fd419138bd47db3a2ddefbf6b214e10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Su5fkTTJK7NlL2LrK0Nna77eA7KbNqxA5NXtNTzGlsz26wrW6MZtGb0TmrMazsyX2j4Z8esSicjqXnsPjfiCCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T17:14:45.992179Z","bundle_sha256":"36b3406c7313b979bda4eaba00f802c0bc2f173132602bc6cffb225289019951"}}