{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:DE2JNIBNHQN7CN2PHU4EH6TWP2","short_pith_number":"pith:DE2JNIBN","canonical_record":{"source":{"id":"1612.00666","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2016-12-02T12:56:10Z","cross_cats_sorted":[],"title_canon_sha256":"6bd3e681e3a7165a9ce226b69b06433a8f795ad6e68f4db7b07a77cb485639f6","abstract_canon_sha256":"2c61956456dcc4f87985e52dcc38098ddd2b17dbe8ce5c08508fd4ef2a07deb1"},"schema_version":"1.0"},"canonical_sha256":"193496a02d3c1bf1374f3d3843fa767e9c744bea5b7e72a2bc58b3af42629075","source":{"kind":"arxiv","id":"1612.00666","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00666","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00666v2","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00666","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"pith_short_12","alias_value":"DE2JNIBNHQN7","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DE2JNIBNHQN7CN2P","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DE2JNIBN","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:DE2JNIBNHQN7CN2PHU4EH6TWP2","target":"record","payload":{"canonical_record":{"source":{"id":"1612.00666","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2016-12-02T12:56:10Z","cross_cats_sorted":[],"title_canon_sha256":"6bd3e681e3a7165a9ce226b69b06433a8f795ad6e68f4db7b07a77cb485639f6","abstract_canon_sha256":"2c61956456dcc4f87985e52dcc38098ddd2b17dbe8ce5c08508fd4ef2a07deb1"},"schema_version":"1.0"},"canonical_sha256":"193496a02d3c1bf1374f3d3843fa767e9c744bea5b7e72a2bc58b3af42629075","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:14.735910Z","signature_b64":"EDwZ9smU0Vl08FsJvySPL9pgoHqHWgUUZWxaHdx6yYCbK/znAq+AtA7eLTuFnMC7kOB0xLCn/xUgX2lc350SAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"193496a02d3c1bf1374f3d3843fa767e9c744bea5b7e72a2bc58b3af42629075","last_reissued_at":"2026-05-18T00:10:14.735169Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:14.735169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.00666","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-05-18T00:10:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G4x2fAyBFbxBRa4M2Uad2WAeix3Huiohlfr5Sk44EHalw0xWcUGkrWYH7ROq4k4kucCaec5Ngf0BkjlfwoipBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:57:21.640860Z"},"content_sha256":"ccdd7924b7690b68bf105d2ba6f3aed0991bce5c6355991a9778583317f59e9e","schema_version":"1.0","event_id":"sha256:ccdd7924b7690b68bf105d2ba6f3aed0991bce5c6355991a9778583317f59e9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:DE2JNIBNHQN7CN2PHU4EH6TWP2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic Structural Operational Semantics","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Christian Johansen, Olaf Owe","submitted_at":"2016-12-02T12:56:10Z","abstract_excerpt":"We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization. The idea of Dynamic SOS is to bring out the essential differences between dynamic upgrade constructs and program execution constructs. The important feature of Modular SOS (MSOS) that we exploit in DSOS is the sharp separation of the program execution code from the additional (data) structures needed at ru"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00666","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":""},"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-18T00:10:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XCtV1bqTftyT+/AuT3ShbfyKU2h+GdynPiPUp65sUMrZ1hRP0PhL5sWpE2dxkTNGUOiV3/3nJfNAe8NgNZ7wBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:57:21.641212Z"},"content_sha256":"fb8d7b90b65d03fd8d871dd0e418fa8acd385fb975d5f89400bdb25376d635ea","schema_version":"1.0","event_id":"sha256:fb8d7b90b65d03fd8d871dd0e418fa8acd385fb975d5f89400bdb25376d635ea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DE2JNIBNHQN7CN2PHU4EH6TWP2/bundle.json","state_url":"https://pith.science/pith/DE2JNIBNHQN7CN2PHU4EH6TWP2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DE2JNIBNHQN7CN2PHU4EH6TWP2/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-02T19:57:21Z","links":{"resolver":"https://pith.science/pith/DE2JNIBNHQN7CN2PHU4EH6TWP2","bundle":"https://pith.science/pith/DE2JNIBNHQN7CN2PHU4EH6TWP2/bundle.json","state":"https://pith.science/pith/DE2JNIBNHQN7CN2PHU4EH6TWP2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DE2JNIBNHQN7CN2PHU4EH6TWP2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:DE2JNIBNHQN7CN2PHU4EH6TWP2","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":"2c61956456dcc4f87985e52dcc38098ddd2b17dbe8ce5c08508fd4ef2a07deb1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2016-12-02T12:56:10Z","title_canon_sha256":"6bd3e681e3a7165a9ce226b69b06433a8f795ad6e68f4db7b07a77cb485639f6"},"schema_version":"1.0","source":{"id":"1612.00666","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00666","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00666v2","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00666","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"pith_short_12","alias_value":"DE2JNIBNHQN7","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DE2JNIBNHQN7CN2P","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DE2JNIBN","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:fb8d7b90b65d03fd8d871dd0e418fa8acd385fb975d5f89400bdb25376d635ea","target":"graph","created_at":"2026-05-18T00:10:14Z","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":"We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization. The idea of Dynamic SOS is to bring out the essential differences between dynamic upgrade constructs and program execution constructs. The important feature of Modular SOS (MSOS) that we exploit in DSOS is the sharp separation of the program execution code from the additional (data) structures needed at ru","authors_text":"Christian Johansen, Olaf Owe","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2016-12-02T12:56:10Z","title":"Dynamic Structural Operational Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00666","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:ccdd7924b7690b68bf105d2ba6f3aed0991bce5c6355991a9778583317f59e9e","target":"record","created_at":"2026-05-18T00:10:14Z","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":"2c61956456dcc4f87985e52dcc38098ddd2b17dbe8ce5c08508fd4ef2a07deb1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2016-12-02T12:56:10Z","title_canon_sha256":"6bd3e681e3a7165a9ce226b69b06433a8f795ad6e68f4db7b07a77cb485639f6"},"schema_version":"1.0","source":{"id":"1612.00666","kind":"arxiv","version":2}},"canonical_sha256":"193496a02d3c1bf1374f3d3843fa767e9c744bea5b7e72a2bc58b3af42629075","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"193496a02d3c1bf1374f3d3843fa767e9c744bea5b7e72a2bc58b3af42629075","first_computed_at":"2026-05-18T00:10:14.735169Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:14.735169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EDwZ9smU0Vl08FsJvySPL9pgoHqHWgUUZWxaHdx6yYCbK/znAq+AtA7eLTuFnMC7kOB0xLCn/xUgX2lc350SAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:14.735910Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.00666","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ccdd7924b7690b68bf105d2ba6f3aed0991bce5c6355991a9778583317f59e9e","sha256:fb8d7b90b65d03fd8d871dd0e418fa8acd385fb975d5f89400bdb25376d635ea"],"state_sha256":"4df68d30b0cd445209f361cfbfebd14a3089b04c8910ce4ec9502a1e1378cf23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rnqrkakSxy8TOqE1EY45RDBaEPaHo79wCl6TWCW7aHX4bQMsn6KYGA4amvkGouI8PpUHiX1yJxC0hcJZYxH7CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T19:57:21.643259Z","bundle_sha256":"285dbcbf140e66b273c4633b4b855ae6ac6458e4e7550dc25734fb8ce5f81d05"}}