{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:DJRTEOC3JXBYO5FNWVPQTO7UDJ","short_pith_number":"pith:DJRTEOC3","canonical_record":{"source":{"id":"cs/0405080","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-23T19:09:11Z","cross_cats_sorted":[],"title_canon_sha256":"513173f63af9962f5a01bf9ae89e3b654109e8000c099f71401b6c07d0aa7b3d","abstract_canon_sha256":"9a8deca5c134aa68234be44911d2b07b3e8cc40bd66c75ff4136557b6a0482dd"},"schema_version":"1.0"},"canonical_sha256":"1a6332385b4dc38774adb55f09bbf41a753d2c703febd6fa33b6b5d287b4c116","source":{"kind":"arxiv","id":"cs/0405080","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0405080","created_at":"2026-05-18T00:58:56Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0405080v1","created_at":"2026-05-18T00:58:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0405080","created_at":"2026-05-18T00:58:56Z"},{"alias_kind":"pith_short_12","alias_value":"DJRTEOC3JXBY","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"DJRTEOC3JXBYO5FN","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"DJRTEOC3","created_at":"2026-05-18T12:25:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:DJRTEOC3JXBYO5FNWVPQTO7UDJ","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0405080","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-23T19:09:11Z","cross_cats_sorted":[],"title_canon_sha256":"513173f63af9962f5a01bf9ae89e3b654109e8000c099f71401b6c07d0aa7b3d","abstract_canon_sha256":"9a8deca5c134aa68234be44911d2b07b3e8cc40bd66c75ff4136557b6a0482dd"},"schema_version":"1.0"},"canonical_sha256":"1a6332385b4dc38774adb55f09bbf41a753d2c703febd6fa33b6b5d287b4c116","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:56.369471Z","signature_b64":"JgglZ8qc6tbbt8ymPK/nySqT9vm0fPZvKCTZXTxK2jgwUB6Tw5WWaHRhjIXOcxmofcAlRm0TiFuC7KH87j0fDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a6332385b4dc38774adb55f09bbf41a753d2c703febd6fa33b6b5d287b4c116","last_reissued_at":"2026-05-18T00:58:56.368858Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:56.368858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0405080","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:58:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dBjl4VDnRBwd21OkVckx/xIaFAdxtFHbQCCJPvq3l/mxg7T1p98a8KfJrbl8ZMfXNTFtxVVEUkW8uGskEP96Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T23:42:11.812651Z"},"content_sha256":"9b4c192110ff28daf05cd118068e0d8008014b99aa631667eeb4cb97f6b8ec79","schema_version":"1.0","event_id":"sha256:9b4c192110ff28daf05cd118068e0d8008014b99aa631667eeb4cb97f6b8ec79"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:DJRTEOC3JXBYO5FNWVPQTO7UDJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reactive Programming in Standard ML","license":"","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Riccardo Pucella","submitted_at":"2004-05-23T19:09:11Z","abstract_excerpt":"Reactive systems are systems that maintain an ongoing interaction with their environment, activated by receiving input events from the environment and producing output events in response. Modern programming languages designed to program such systems use a paradigm based on the notions of instants and activations. We describe a library for Standard ML that provides basic primitives for programming reactive systems. The library is a low-level system upon which more sophisticated reactive behaviors can be built, which provides a convenient framework for prototyping extensions to existing reactive"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0405080","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:58:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xpo9QKtYW4UHe1vxDdtNY+f+iGxE2kEXfGCxNYWqUdY6QDIqlKRyIkxn5YiLNthRQcWcovYaufhZzSWH10ZgDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T23:42:11.813169Z"},"content_sha256":"60c78988bfb4eebda439282c77a2f54f53664d733215d4e304cb4b66486ebb40","schema_version":"1.0","event_id":"sha256:60c78988bfb4eebda439282c77a2f54f53664d733215d4e304cb4b66486ebb40"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DJRTEOC3JXBYO5FNWVPQTO7UDJ/bundle.json","state_url":"https://pith.science/pith/DJRTEOC3JXBYO5FNWVPQTO7UDJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DJRTEOC3JXBYO5FNWVPQTO7UDJ/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-23T23:42:11Z","links":{"resolver":"https://pith.science/pith/DJRTEOC3JXBYO5FNWVPQTO7UDJ","bundle":"https://pith.science/pith/DJRTEOC3JXBYO5FNWVPQTO7UDJ/bundle.json","state":"https://pith.science/pith/DJRTEOC3JXBYO5FNWVPQTO7UDJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DJRTEOC3JXBYO5FNWVPQTO7UDJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:DJRTEOC3JXBYO5FNWVPQTO7UDJ","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":"9a8deca5c134aa68234be44911d2b07b3e8cc40bd66c75ff4136557b6a0482dd","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-23T19:09:11Z","title_canon_sha256":"513173f63af9962f5a01bf9ae89e3b654109e8000c099f71401b6c07d0aa7b3d"},"schema_version":"1.0","source":{"id":"cs/0405080","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0405080","created_at":"2026-05-18T00:58:56Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0405080v1","created_at":"2026-05-18T00:58:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0405080","created_at":"2026-05-18T00:58:56Z"},{"alias_kind":"pith_short_12","alias_value":"DJRTEOC3JXBY","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"DJRTEOC3JXBYO5FN","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"DJRTEOC3","created_at":"2026-05-18T12:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:60c78988bfb4eebda439282c77a2f54f53664d733215d4e304cb4b66486ebb40","target":"graph","created_at":"2026-05-18T00:58:56Z","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":"Reactive systems are systems that maintain an ongoing interaction with their environment, activated by receiving input events from the environment and producing output events in response. Modern programming languages designed to program such systems use a paradigm based on the notions of instants and activations. We describe a library for Standard ML that provides basic primitives for programming reactive systems. The library is a low-level system upon which more sophisticated reactive behaviors can be built, which provides a convenient framework for prototyping extensions to existing reactive","authors_text":"Riccardo Pucella","cross_cats":[],"headline":"","license":"","primary_cat":"cs.PL","submitted_at":"2004-05-23T19:09:11Z","title":"Reactive Programming in Standard ML"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0405080","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:9b4c192110ff28daf05cd118068e0d8008014b99aa631667eeb4cb97f6b8ec79","target":"record","created_at":"2026-05-18T00:58:56Z","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":"9a8deca5c134aa68234be44911d2b07b3e8cc40bd66c75ff4136557b6a0482dd","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-23T19:09:11Z","title_canon_sha256":"513173f63af9962f5a01bf9ae89e3b654109e8000c099f71401b6c07d0aa7b3d"},"schema_version":"1.0","source":{"id":"cs/0405080","kind":"arxiv","version":1}},"canonical_sha256":"1a6332385b4dc38774adb55f09bbf41a753d2c703febd6fa33b6b5d287b4c116","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a6332385b4dc38774adb55f09bbf41a753d2c703febd6fa33b6b5d287b4c116","first_computed_at":"2026-05-18T00:58:56.368858Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:56.368858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JgglZ8qc6tbbt8ymPK/nySqT9vm0fPZvKCTZXTxK2jgwUB6Tw5WWaHRhjIXOcxmofcAlRm0TiFuC7KH87j0fDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:56.369471Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0405080","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b4c192110ff28daf05cd118068e0d8008014b99aa631667eeb4cb97f6b8ec79","sha256:60c78988bfb4eebda439282c77a2f54f53664d733215d4e304cb4b66486ebb40"],"state_sha256":"de3ea954c1a03859aff13023b5f1101f0c78063390951b17465b0236cdd9a9f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yAbGANiWy7gLE39IngGkJH4gXTr85qAewtluQCG4B5uSYjh9l+tJwZSPmgMp9QDkmiveJVC2BKJ4Pzd+QgrVBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T23:42:11.820092Z","bundle_sha256":"aa5cc1077a477840a28eef4ccbdfe6dc70b54058f47759df74b4a586bae39550"}}