{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:MKBRWNZIXBEG6JLHEZMHWI75RQ","short_pith_number":"pith:MKBRWNZI","canonical_record":{"source":{"id":"2406.06253","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-10T13:34:19Z","cross_cats_sorted":["cs.PL","cs.SY"],"title_canon_sha256":"5b220ad82efbe919532f7f021258dccd518943205bbdecf21b01ed291dffca10","abstract_canon_sha256":"663dcce0207dd4e0f223a7e98f7983e37e275d8d330a4d86f4222ca512bb2b42"},"schema_version":"1.0"},"canonical_sha256":"62831b3728b8486f256726587b23fd8c097223cf8b808c7a70ba5c69dc45a5b3","source":{"kind":"arxiv","id":"2406.06253","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.06253","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"arxiv_version","alias_value":"2406.06253v2","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.06253","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"pith_short_12","alias_value":"MKBRWNZIXBEG","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"pith_short_16","alias_value":"MKBRWNZIXBEG6JLH","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"pith_short_8","alias_value":"MKBRWNZI","created_at":"2026-07-05T08:36:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:MKBRWNZIXBEG6JLHEZMHWI75RQ","target":"record","payload":{"canonical_record":{"source":{"id":"2406.06253","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-10T13:34:19Z","cross_cats_sorted":["cs.PL","cs.SY"],"title_canon_sha256":"5b220ad82efbe919532f7f021258dccd518943205bbdecf21b01ed291dffca10","abstract_canon_sha256":"663dcce0207dd4e0f223a7e98f7983e37e275d8d330a4d86f4222ca512bb2b42"},"schema_version":"1.0"},"canonical_sha256":"62831b3728b8486f256726587b23fd8c097223cf8b808c7a70ba5c69dc45a5b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:36:27.983640Z","signature_b64":"XKYuTU29geB6sAgWaSm6wERpq5bPSEzw/xOwN7KxLH5wgVZjDth45fMXNFwc6M1LBR6xq70xOzBVotKhsDOXBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62831b3728b8486f256726587b23fd8c097223cf8b808c7a70ba5c69dc45a5b3","last_reissued_at":"2026-07-05T08:36:27.983215Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:36:27.983215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.06253","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-07-05T08:36:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZaDvD3tqnn+z8RyR8YfXdw29cQSNQI7wznlYvS+Vo91NYjPuOtqhGEpmrJMwMN49gOL2R5+F1MnYRxfrXwKKBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T11:44:43.836483Z"},"content_sha256":"17406a91b9c8232ce68c74ddcc30bf0be2bc45e44ead400c88f665101a82c430","schema_version":"1.0","event_id":"sha256:17406a91b9c8232ce68c74ddcc30bf0be2bc45e44ead400c88f665101a82c430"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:MKBRWNZIXBEG6JLHEZMHWI75RQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL","cs.SY"],"primary_cat":"eess.SY","authors_text":"Binqi Sun, Chadlia Jerad, Christian Menard, Edward Lee, Erling Jellum, Guangyu Feng, Jeronimo Castrillon, Marten Lohstroh, Mirco Theile, Ruomu Xu, Sanjit Seshia, Shaokai Lin, Tassilo Tanneberger","submitted_at":"2024-06-10T13:34:19Z","abstract_excerpt":"This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language. The subset consists of those programs that in principle should have statically verifiable and predictable timing behavior. The PretVM provides a schedule with well-defined worst-case timing bounds. The PretVM provides a clean separation between application logic and coordination logic, yielding more analyzable program executions. Experiments compare the PretVM"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.06253","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.06253/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T08:36:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YgjQ+7gfBHwT/X2TkXQBpxKYCqgCkYSUbzcK/IxAg8cV+7xEB37WNoNZlUxEhIbyYk+a7378qaKqUsVg4tanCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T11:44:43.836858Z"},"content_sha256":"358bbfaccaf7919be3fc3bb7c5a25ba4d1056b9182fd77016ed8418988d56548","schema_version":"1.0","event_id":"sha256:358bbfaccaf7919be3fc3bb7c5a25ba4d1056b9182fd77016ed8418988d56548"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MKBRWNZIXBEG6JLHEZMHWI75RQ/bundle.json","state_url":"https://pith.science/pith/MKBRWNZIXBEG6JLHEZMHWI75RQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MKBRWNZIXBEG6JLHEZMHWI75RQ/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-07-06T11:44:43Z","links":{"resolver":"https://pith.science/pith/MKBRWNZIXBEG6JLHEZMHWI75RQ","bundle":"https://pith.science/pith/MKBRWNZIXBEG6JLHEZMHWI75RQ/bundle.json","state":"https://pith.science/pith/MKBRWNZIXBEG6JLHEZMHWI75RQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MKBRWNZIXBEG6JLHEZMHWI75RQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:MKBRWNZIXBEG6JLHEZMHWI75RQ","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":"663dcce0207dd4e0f223a7e98f7983e37e275d8d330a4d86f4222ca512bb2b42","cross_cats_sorted":["cs.PL","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-10T13:34:19Z","title_canon_sha256":"5b220ad82efbe919532f7f021258dccd518943205bbdecf21b01ed291dffca10"},"schema_version":"1.0","source":{"id":"2406.06253","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.06253","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"arxiv_version","alias_value":"2406.06253v2","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.06253","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"pith_short_12","alias_value":"MKBRWNZIXBEG","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"pith_short_16","alias_value":"MKBRWNZIXBEG6JLH","created_at":"2026-07-05T08:36:27Z"},{"alias_kind":"pith_short_8","alias_value":"MKBRWNZI","created_at":"2026-07-05T08:36:27Z"}],"graph_snapshots":[{"event_id":"sha256:358bbfaccaf7919be3fc3bb7c5a25ba4d1056b9182fd77016ed8418988d56548","target":"graph","created_at":"2026-07-05T08:36:27Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2406.06253/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language. The subset consists of those programs that in principle should have statically verifiable and predictable timing behavior. The PretVM provides a schedule with well-defined worst-case timing bounds. The PretVM provides a clean separation between application logic and coordination logic, yielding more analyzable program executions. Experiments compare the PretVM","authors_text":"Binqi Sun, Chadlia Jerad, Christian Menard, Edward Lee, Erling Jellum, Guangyu Feng, Jeronimo Castrillon, Marten Lohstroh, Mirco Theile, Ruomu Xu, Sanjit Seshia, Shaokai Lin, Tassilo Tanneberger","cross_cats":["cs.PL","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-10T13:34:19Z","title":"PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.06253","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:17406a91b9c8232ce68c74ddcc30bf0be2bc45e44ead400c88f665101a82c430","target":"record","created_at":"2026-07-05T08:36:27Z","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":"663dcce0207dd4e0f223a7e98f7983e37e275d8d330a4d86f4222ca512bb2b42","cross_cats_sorted":["cs.PL","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-10T13:34:19Z","title_canon_sha256":"5b220ad82efbe919532f7f021258dccd518943205bbdecf21b01ed291dffca10"},"schema_version":"1.0","source":{"id":"2406.06253","kind":"arxiv","version":2}},"canonical_sha256":"62831b3728b8486f256726587b23fd8c097223cf8b808c7a70ba5c69dc45a5b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"62831b3728b8486f256726587b23fd8c097223cf8b808c7a70ba5c69dc45a5b3","first_computed_at":"2026-07-05T08:36:27.983215Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:36:27.983215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XKYuTU29geB6sAgWaSm6wERpq5bPSEzw/xOwN7KxLH5wgVZjDth45fMXNFwc6M1LBR6xq70xOzBVotKhsDOXBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:36:27.983640Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.06253","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:17406a91b9c8232ce68c74ddcc30bf0be2bc45e44ead400c88f665101a82c430","sha256:358bbfaccaf7919be3fc3bb7c5a25ba4d1056b9182fd77016ed8418988d56548"],"state_sha256":"94c823449eb77c27592e9c4aaff4e0eb5b709e4dc09b64aaf105a58b9ba509b6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CcBYVj/jdOwq+oKIB0aFIPqpvlWr0YZlDkd7+B3MdQJgT9KSB+K06jU/YC/d83xaIVeozBLeZ/PisPzYxjysAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T11:44:43.839104Z","bundle_sha256":"e6355e2dce0a0220e58fd5456974ba147a511c410ab218cccbbf7615909d56d4"}}