{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:C3T3ZAGLRPY4BVBCRKXYTW7XSP","short_pith_number":"pith:C3T3ZAGL","canonical_record":{"source":{"id":"1902.00549","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-01T20:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"e3f510c186ef29f5044ed1260284fb43f57d0af6e6de6ed0fdad39ef94607e3e","abstract_canon_sha256":"01afb82e03992a14f9c0fff0d6d17be0cdfe7f3e816839f14a33ed5f6311dc9e"},"schema_version":"1.0"},"canonical_sha256":"16e7bc80cb8bf1c0d4228aaf89dbf793ea630d151ece27f6d4c5272c2f6755e4","source":{"kind":"arxiv","id":"1902.00549","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00549","created_at":"2026-05-17T23:54:52Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00549v1","created_at":"2026-05-17T23:54:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00549","created_at":"2026-05-17T23:54:52Z"},{"alias_kind":"pith_short_12","alias_value":"C3T3ZAGLRPY4","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"C3T3ZAGLRPY4BVBC","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"C3T3ZAGL","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:C3T3ZAGLRPY4BVBCRKXYTW7XSP","target":"record","payload":{"canonical_record":{"source":{"id":"1902.00549","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-01T20:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"e3f510c186ef29f5044ed1260284fb43f57d0af6e6de6ed0fdad39ef94607e3e","abstract_canon_sha256":"01afb82e03992a14f9c0fff0d6d17be0cdfe7f3e816839f14a33ed5f6311dc9e"},"schema_version":"1.0"},"canonical_sha256":"16e7bc80cb8bf1c0d4228aaf89dbf793ea630d151ece27f6d4c5272c2f6755e4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:52.859911Z","signature_b64":"LGTxUkgpSTm8FuSLqF13ZmrwTKEoAuQMXiMildxABDLH7fJYSevHKZepMGIPtu32DxSM5VCmgElJYpDa0sGMBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"16e7bc80cb8bf1c0d4228aaf89dbf793ea630d151ece27f6d4c5272c2f6755e4","last_reissued_at":"2026-05-17T23:54:52.859408Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:52.859408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.00549","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:54:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tb3MWSTepI0ufu/1NsvE8NFnVVfk67i0yqZbX2n649mVai8u01kEWEf7Cye8uQW5g7AawjUoxiiQEAjnSUIkCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:21:11.742393Z"},"content_sha256":"7c083d6b480aeeef40ab3894ef2d750f4182adc11460b5f880e5bf8fbe5d2704","schema_version":"1.0","event_id":"sha256:7c083d6b480aeeef40ab3894ef2d750f4182adc11460b5f880e5bf8fbe5d2704"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:C3T3ZAGLRPY4BVBCRKXYTW7XSP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Babylonian-style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"David Rauch (Hasso Plattner Institute, Germany), Jens Lincke (Hasso Plattner Institute, Patrick Rein (Hasso Plattner Institute, Robert Hirschfeld (Hasso-Plattner-Institut (HPI), Stefan Ramson (Hasso Plattner Institute, University of Potsdam","submitted_at":"2019-02-01T20:17:07Z","abstract_excerpt":"When working on a program, developers traditionally have to simulate the behavior of the abstract code in their heads until they can execute the application. Live programming aims to support the development and comprehension of programs by providing more immediate feedback on program behavior, but the divide between code and behavior often remains. The goal of example-based live programming is to remove this gap by allowing programmers to explore the actual behavior of their code during development. This is achieved by defining live examples for parts of the application. The idea of live examp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00549","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:54:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"brJam5wtvmjccLS1JXwIos3XpoD5lpt03AojX8ATmkxnu4TXKemAJLq2pHuU41gmtQBXjOSD57yclQpwemtuBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:21:11.742979Z"},"content_sha256":"397d174b2a1d153c8ce8c9f6ca8dd5e915641b08d7a3d0f2a10030a917c1f5e6","schema_version":"1.0","event_id":"sha256:397d174b2a1d153c8ce8c9f6ca8dd5e915641b08d7a3d0f2a10030a917c1f5e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C3T3ZAGLRPY4BVBCRKXYTW7XSP/bundle.json","state_url":"https://pith.science/pith/C3T3ZAGLRPY4BVBCRKXYTW7XSP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C3T3ZAGLRPY4BVBCRKXYTW7XSP/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-05-25T21:21:11Z","links":{"resolver":"https://pith.science/pith/C3T3ZAGLRPY4BVBCRKXYTW7XSP","bundle":"https://pith.science/pith/C3T3ZAGLRPY4BVBCRKXYTW7XSP/bundle.json","state":"https://pith.science/pith/C3T3ZAGLRPY4BVBCRKXYTW7XSP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C3T3ZAGLRPY4BVBCRKXYTW7XSP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:C3T3ZAGLRPY4BVBCRKXYTW7XSP","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":"01afb82e03992a14f9c0fff0d6d17be0cdfe7f3e816839f14a33ed5f6311dc9e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-01T20:17:07Z","title_canon_sha256":"e3f510c186ef29f5044ed1260284fb43f57d0af6e6de6ed0fdad39ef94607e3e"},"schema_version":"1.0","source":{"id":"1902.00549","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00549","created_at":"2026-05-17T23:54:52Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00549v1","created_at":"2026-05-17T23:54:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00549","created_at":"2026-05-17T23:54:52Z"},{"alias_kind":"pith_short_12","alias_value":"C3T3ZAGLRPY4","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"C3T3ZAGLRPY4BVBC","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"C3T3ZAGL","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:397d174b2a1d153c8ce8c9f6ca8dd5e915641b08d7a3d0f2a10030a917c1f5e6","target":"graph","created_at":"2026-05-17T23:54:52Z","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":"When working on a program, developers traditionally have to simulate the behavior of the abstract code in their heads until they can execute the application. Live programming aims to support the development and comprehension of programs by providing more immediate feedback on program behavior, but the divide between code and behavior often remains. The goal of example-based live programming is to remove this gap by allowing programmers to explore the actual behavior of their code during development. This is achieved by defining live examples for parts of the application. The idea of live examp","authors_text":"David Rauch (Hasso Plattner Institute, Germany), Jens Lincke (Hasso Plattner Institute, Patrick Rein (Hasso Plattner Institute, Robert Hirschfeld (Hasso-Plattner-Institut (HPI), Stefan Ramson (Hasso Plattner Institute, University of Potsdam","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-01T20:17:07Z","title":"Babylonian-style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00549","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:7c083d6b480aeeef40ab3894ef2d750f4182adc11460b5f880e5bf8fbe5d2704","target":"record","created_at":"2026-05-17T23:54:52Z","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":"01afb82e03992a14f9c0fff0d6d17be0cdfe7f3e816839f14a33ed5f6311dc9e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-01T20:17:07Z","title_canon_sha256":"e3f510c186ef29f5044ed1260284fb43f57d0af6e6de6ed0fdad39ef94607e3e"},"schema_version":"1.0","source":{"id":"1902.00549","kind":"arxiv","version":1}},"canonical_sha256":"16e7bc80cb8bf1c0d4228aaf89dbf793ea630d151ece27f6d4c5272c2f6755e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"16e7bc80cb8bf1c0d4228aaf89dbf793ea630d151ece27f6d4c5272c2f6755e4","first_computed_at":"2026-05-17T23:54:52.859408Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:52.859408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LGTxUkgpSTm8FuSLqF13ZmrwTKEoAuQMXiMildxABDLH7fJYSevHKZepMGIPtu32DxSM5VCmgElJYpDa0sGMBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:52.859911Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.00549","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c083d6b480aeeef40ab3894ef2d750f4182adc11460b5f880e5bf8fbe5d2704","sha256:397d174b2a1d153c8ce8c9f6ca8dd5e915641b08d7a3d0f2a10030a917c1f5e6"],"state_sha256":"8bcba26818ea7033bd09a6ca137ec13a63878764acbacaff0b8900c840d4ad1f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rFr4cL50FbQhR0w08WyTDaubp4IQDZsiYae79h+sp1hSSs7SS4CYRQt0sgSqW1McTijxbhZbfMSoo/ndieXgAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:21:11.746299Z","bundle_sha256":"1186f11ea65fcc3a0583449f29648bab3f890c39a8d28d51a6446c0e4ecaced2"}}