{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FKLEIZXMC7MRGXMB7T6U3G4LZ7","short_pith_number":"pith:FKLEIZXM","canonical_record":{"source":{"id":"1703.10859","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-31T11:46:09Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"9ae6568c4b186c3487e0cad1eabb85f2d8766be359fe122b2925ae637071a58e","abstract_canon_sha256":"2756f2f2a961022d78fd70a337e07ceee187c1da613a8fa6962927b11eb4cfd1"},"schema_version":"1.0"},"canonical_sha256":"2a964466ec17d9135d81fcfd4d9b8bcfd57b882272e150437d2db4ce11a76ff8","source":{"kind":"arxiv","id":"1703.10859","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.10859","created_at":"2026-05-18T00:47:32Z"},{"alias_kind":"arxiv_version","alias_value":"1703.10859v1","created_at":"2026-05-18T00:47:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.10859","created_at":"2026-05-18T00:47:32Z"},{"alias_kind":"pith_short_12","alias_value":"FKLEIZXMC7MR","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FKLEIZXMC7MRGXMB","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FKLEIZXM","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FKLEIZXMC7MRGXMB7T6U3G4LZ7","target":"record","payload":{"canonical_record":{"source":{"id":"1703.10859","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-31T11:46:09Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"9ae6568c4b186c3487e0cad1eabb85f2d8766be359fe122b2925ae637071a58e","abstract_canon_sha256":"2756f2f2a961022d78fd70a337e07ceee187c1da613a8fa6962927b11eb4cfd1"},"schema_version":"1.0"},"canonical_sha256":"2a964466ec17d9135d81fcfd4d9b8bcfd57b882272e150437d2db4ce11a76ff8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:32.525449Z","signature_b64":"rFT/IDkyqaGHZIpAJ3lpnJxa75h2AMmqisQbtAbRnxs8YKr6OZ73xL1OosT6yRcrxhJ/JroN7Otb+9UAx3XuDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a964466ec17d9135d81fcfd4d9b8bcfd57b882272e150437d2db4ce11a76ff8","last_reissued_at":"2026-05-18T00:47:32.524670Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:32.524670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.10859","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-18T00:47:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"avoh0AcSbFRlqaPVkVFu27Dn33Hpt4Qf6fr7GbEJKELJKQz9sGWRHVjvMA8QGhDvsHHELqnHGZpUUxOCJegRAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T07:30:45.842490Z"},"content_sha256":"7be11a3f266aa2132ca0474948bc52013db6e1b1f087a286094e716dd1f3c255","schema_version":"1.0","event_id":"sha256:7be11a3f266aa2132ca0474948bc52013db6e1b1f087a286094e716dd1f3c255"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FKLEIZXMC7MRGXMB7T6U3G4LZ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Active Expressions: Basic Building Blocks for Reactive Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Germany), Robert Hirschfeld (Hasso Plattner Institute, Stefan Ramson (Hasso Plattner Institute","submitted_at":"2017-03-31T11:46:09Z","abstract_excerpt":"Modern software development without reactive programming is hard to imagine. Reactive programming favors a wide class of contemporary software systems that respond to user input, network messages, and other events. While reactive programming is an active field of research, the implementation of reactive concepts remains challenging. In particular, change detection represents a hard but inevitable necessity when implementing reactive concepts. Typically, change detection mechanisms are not intended for reuse but are tightly coupled to the particular change resolution mechanism. As a result, dev"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.10859","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-18T00:47:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ly9Tjk1WyJazglVzazo6uy/7NTZCizWm+q8LQ3OxhG8p5iSvKrrJSgt49GUP40Pd+u6idP7qqEu1nSosNm4LAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T07:30:45.842831Z"},"content_sha256":"54168b1f75e1ac7d67280ab2ebc0e9438a592b78be5961760a72467c3e426d13","schema_version":"1.0","event_id":"sha256:54168b1f75e1ac7d67280ab2ebc0e9438a592b78be5961760a72467c3e426d13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FKLEIZXMC7MRGXMB7T6U3G4LZ7/bundle.json","state_url":"https://pith.science/pith/FKLEIZXMC7MRGXMB7T6U3G4LZ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FKLEIZXMC7MRGXMB7T6U3G4LZ7/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-01T07:30:45Z","links":{"resolver":"https://pith.science/pith/FKLEIZXMC7MRGXMB7T6U3G4LZ7","bundle":"https://pith.science/pith/FKLEIZXMC7MRGXMB7T6U3G4LZ7/bundle.json","state":"https://pith.science/pith/FKLEIZXMC7MRGXMB7T6U3G4LZ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FKLEIZXMC7MRGXMB7T6U3G4LZ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FKLEIZXMC7MRGXMB7T6U3G4LZ7","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":"2756f2f2a961022d78fd70a337e07ceee187c1da613a8fa6962927b11eb4cfd1","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-31T11:46:09Z","title_canon_sha256":"9ae6568c4b186c3487e0cad1eabb85f2d8766be359fe122b2925ae637071a58e"},"schema_version":"1.0","source":{"id":"1703.10859","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.10859","created_at":"2026-05-18T00:47:32Z"},{"alias_kind":"arxiv_version","alias_value":"1703.10859v1","created_at":"2026-05-18T00:47:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.10859","created_at":"2026-05-18T00:47:32Z"},{"alias_kind":"pith_short_12","alias_value":"FKLEIZXMC7MR","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FKLEIZXMC7MRGXMB","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FKLEIZXM","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:54168b1f75e1ac7d67280ab2ebc0e9438a592b78be5961760a72467c3e426d13","target":"graph","created_at":"2026-05-18T00:47:32Z","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":"Modern software development without reactive programming is hard to imagine. Reactive programming favors a wide class of contemporary software systems that respond to user input, network messages, and other events. While reactive programming is an active field of research, the implementation of reactive concepts remains challenging. In particular, change detection represents a hard but inevitable necessity when implementing reactive concepts. Typically, change detection mechanisms are not intended for reuse but are tightly coupled to the particular change resolution mechanism. As a result, dev","authors_text":"Germany), Robert Hirschfeld (Hasso Plattner Institute, Stefan Ramson (Hasso Plattner Institute","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-31T11:46:09Z","title":"Active Expressions: Basic Building Blocks for Reactive Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.10859","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:7be11a3f266aa2132ca0474948bc52013db6e1b1f087a286094e716dd1f3c255","target":"record","created_at":"2026-05-18T00:47:32Z","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":"2756f2f2a961022d78fd70a337e07ceee187c1da613a8fa6962927b11eb4cfd1","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-31T11:46:09Z","title_canon_sha256":"9ae6568c4b186c3487e0cad1eabb85f2d8766be359fe122b2925ae637071a58e"},"schema_version":"1.0","source":{"id":"1703.10859","kind":"arxiv","version":1}},"canonical_sha256":"2a964466ec17d9135d81fcfd4d9b8bcfd57b882272e150437d2db4ce11a76ff8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a964466ec17d9135d81fcfd4d9b8bcfd57b882272e150437d2db4ce11a76ff8","first_computed_at":"2026-05-18T00:47:32.524670Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:32.524670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rFT/IDkyqaGHZIpAJ3lpnJxa75h2AMmqisQbtAbRnxs8YKr6OZ73xL1OosT6yRcrxhJ/JroN7Otb+9UAx3XuDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:32.525449Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.10859","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7be11a3f266aa2132ca0474948bc52013db6e1b1f087a286094e716dd1f3c255","sha256:54168b1f75e1ac7d67280ab2ebc0e9438a592b78be5961760a72467c3e426d13"],"state_sha256":"b6470324fb7df6d00d25110ad9770dec95b873091581fb11fc5fd2e0827902fa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"75VmV6QYZF0QzofUzF3jAwTPek+R16f3WvxvamPfqHmuvvXcVdgd9hBir6foAxbmt7PGI7377HXr/LykPvRpCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T07:30:45.844799Z","bundle_sha256":"7772892394f48f64f12d080ad47469933c64623ec9cd6de73fa713c58af5ca81"}}