{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:JLDGG6X7AUXHXKEIVBRBRUTNVQ","short_pith_number":"pith:JLDGG6X7","canonical_record":{"source":{"id":"1907.03356","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2019-07-07T22:26:02Z","cross_cats_sorted":[],"title_canon_sha256":"93ae30004fb251dbcc2ebc5e26c71148971c10fc07e2b1d793bccaf85e8c2e7c","abstract_canon_sha256":"febd1cfd9335e609a10479a8a9bee3aeff753c6b29f3325db20e94e8872498b1"},"schema_version":"1.0"},"canonical_sha256":"4ac6637aff052e7ba888a86218d26dac0726247c0038e4b5d0146d660b86e37d","source":{"kind":"arxiv","id":"1907.03356","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.03356","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"arxiv_version","alias_value":"1907.03356v1","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.03356","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"pith_short_12","alias_value":"JLDGG6X7AUXH","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JLDGG6X7AUXHXKEI","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JLDGG6X7","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:JLDGG6X7AUXHXKEIVBRBRUTNVQ","target":"record","payload":{"canonical_record":{"source":{"id":"1907.03356","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2019-07-07T22:26:02Z","cross_cats_sorted":[],"title_canon_sha256":"93ae30004fb251dbcc2ebc5e26c71148971c10fc07e2b1d793bccaf85e8c2e7c","abstract_canon_sha256":"febd1cfd9335e609a10479a8a9bee3aeff753c6b29f3325db20e94e8872498b1"},"schema_version":"1.0"},"canonical_sha256":"4ac6637aff052e7ba888a86218d26dac0726247c0038e4b5d0146d660b86e37d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:16.460963Z","signature_b64":"vZK0qeQP2ea7GkVPOfnp98Mf2A67n/Dnkv347yqByY0EzH6n/XxKILO6lxSrtv4+XzwsC+6nTDGX1kPt3e2xAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ac6637aff052e7ba888a86218d26dac0726247c0038e4b5d0146d660b86e37d","last_reissued_at":"2026-05-17T23:41:16.460302Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:16.460302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.03356","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-17T23:41:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ga3KH6WXruUSzkjjDJEvoHRKdkEug96x5y7XfJJ2hWaXDItErywVKKHkNa/DiWawbFrXyyAjt1lUEBm4YP9OBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T12:54:33.576788Z"},"content_sha256":"297741150a3e05b7cdec2eeab804b31e12cef20a28bcb7d6cba264a97b893c30","schema_version":"1.0","event_id":"sha256:297741150a3e05b7cdec2eeab804b31e12cef20a28bcb7d6cba264a97b893c30"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:JLDGG6X7AUXHXKEIVBRBRUTNVQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reproducible Execution of POSIX Programs with DiOS","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Jan Mr\\'azek, Ji\\v{r}\\'i Barnat, Katar\\'ina Kejstov\\'a, Petr Ro\\v{c}kai, Zuzana Baranov\\'a","submitted_at":"2019-07-07T22:26:02Z","abstract_excerpt":"In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result in two exactly identical instruction traces, even if the program uses threads for parallelism.\n  DiOS is implemented almost entirely in portable C and C++: although its primary platform is DiVM, a verification-oriented virtual machine, it can be configured to also run in KLEE, a symbolic executor. Finally, it can be compiled into machine code to serve as a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.03356","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-17T23:41:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O7Iu7sSBcKg3eCux6jv6sKS4dnug6FNmlcAPrYxy2ChUAw0Lqi1/oz5UlH2J7CrSUG33wR50DGi1B4GHzYIZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T12:54:33.577122Z"},"content_sha256":"3da2e1e9162ba03b0f34ac754b662ad28767344ad95ff1a721c694ef7a7b00c0","schema_version":"1.0","event_id":"sha256:3da2e1e9162ba03b0f34ac754b662ad28767344ad95ff1a721c694ef7a7b00c0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JLDGG6X7AUXHXKEIVBRBRUTNVQ/bundle.json","state_url":"https://pith.science/pith/JLDGG6X7AUXHXKEIVBRBRUTNVQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JLDGG6X7AUXHXKEIVBRBRUTNVQ/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-09T12:54:33Z","links":{"resolver":"https://pith.science/pith/JLDGG6X7AUXHXKEIVBRBRUTNVQ","bundle":"https://pith.science/pith/JLDGG6X7AUXHXKEIVBRBRUTNVQ/bundle.json","state":"https://pith.science/pith/JLDGG6X7AUXHXKEIVBRBRUTNVQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JLDGG6X7AUXHXKEIVBRBRUTNVQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JLDGG6X7AUXHXKEIVBRBRUTNVQ","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":"febd1cfd9335e609a10479a8a9bee3aeff753c6b29f3325db20e94e8872498b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2019-07-07T22:26:02Z","title_canon_sha256":"93ae30004fb251dbcc2ebc5e26c71148971c10fc07e2b1d793bccaf85e8c2e7c"},"schema_version":"1.0","source":{"id":"1907.03356","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.03356","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"arxiv_version","alias_value":"1907.03356v1","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.03356","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"pith_short_12","alias_value":"JLDGG6X7AUXH","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JLDGG6X7AUXHXKEI","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JLDGG6X7","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:3da2e1e9162ba03b0f34ac754b662ad28767344ad95ff1a721c694ef7a7b00c0","target":"graph","created_at":"2026-05-17T23:41:16Z","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":"In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result in two exactly identical instruction traces, even if the program uses threads for parallelism.\n  DiOS is implemented almost entirely in portable C and C++: although its primary platform is DiVM, a verification-oriented virtual machine, it can be configured to also run in KLEE, a symbolic executor. Finally, it can be compiled into machine code to serve as a ","authors_text":"Jan Mr\\'azek, Ji\\v{r}\\'i Barnat, Katar\\'ina Kejstov\\'a, Petr Ro\\v{c}kai, Zuzana Baranov\\'a","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2019-07-07T22:26:02Z","title":"Reproducible Execution of POSIX Programs with DiOS"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.03356","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:297741150a3e05b7cdec2eeab804b31e12cef20a28bcb7d6cba264a97b893c30","target":"record","created_at":"2026-05-17T23:41:16Z","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":"febd1cfd9335e609a10479a8a9bee3aeff753c6b29f3325db20e94e8872498b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2019-07-07T22:26:02Z","title_canon_sha256":"93ae30004fb251dbcc2ebc5e26c71148971c10fc07e2b1d793bccaf85e8c2e7c"},"schema_version":"1.0","source":{"id":"1907.03356","kind":"arxiv","version":1}},"canonical_sha256":"4ac6637aff052e7ba888a86218d26dac0726247c0038e4b5d0146d660b86e37d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ac6637aff052e7ba888a86218d26dac0726247c0038e4b5d0146d660b86e37d","first_computed_at":"2026-05-17T23:41:16.460302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:16.460302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vZK0qeQP2ea7GkVPOfnp98Mf2A67n/Dnkv347yqByY0EzH6n/XxKILO6lxSrtv4+XzwsC+6nTDGX1kPt3e2xAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:16.460963Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.03356","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:297741150a3e05b7cdec2eeab804b31e12cef20a28bcb7d6cba264a97b893c30","sha256:3da2e1e9162ba03b0f34ac754b662ad28767344ad95ff1a721c694ef7a7b00c0"],"state_sha256":"d5f57a2fc982964d5d2a9f8b2b2436bf85074b1b2bf1382638eeb8376a7792af"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j1sWF5n2JdfC2Szx+cNSHfUlIrpG6bcT+nL3W6XQ0IsRHKE1ZQ16cj7wcRxUw3/wIhROPGjTTLPs/vyiIA95DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T12:54:33.579090Z","bundle_sha256":"92421ee6343459601089e7c79ab3ea5ae8f577e12f506739a83a6db103fe36e9"}}