{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:UJ7JKFAFLG2PSFQG3WZGQBHBCI","short_pith_number":"pith:UJ7JKFAF","canonical_record":{"source":{"id":"1310.5538","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-21T13:33:21Z","cross_cats_sorted":[],"title_canon_sha256":"e3efcc86ab8ccf33388984add8ee7a3f841cdd304fe03f4ff28ed6e226342e0a","abstract_canon_sha256":"984e612dea3133d550645be159fc7d5541f2114737f58d5d91cd3c6e43292e66"},"schema_version":"1.0"},"canonical_sha256":"a27e95140559b4f91606ddb26804e11201d41a76831f3fb9b558d875261fa5db","source":{"kind":"arxiv","id":"1310.5538","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.5538","created_at":"2026-05-18T03:09:35Z"},{"alias_kind":"arxiv_version","alias_value":"1310.5538v1","created_at":"2026-05-18T03:09:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5538","created_at":"2026-05-18T03:09:35Z"},{"alias_kind":"pith_short_12","alias_value":"UJ7JKFAFLG2P","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UJ7JKFAFLG2PSFQG","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UJ7JKFAF","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:UJ7JKFAFLG2PSFQG3WZGQBHBCI","target":"record","payload":{"canonical_record":{"source":{"id":"1310.5538","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-21T13:33:21Z","cross_cats_sorted":[],"title_canon_sha256":"e3efcc86ab8ccf33388984add8ee7a3f841cdd304fe03f4ff28ed6e226342e0a","abstract_canon_sha256":"984e612dea3133d550645be159fc7d5541f2114737f58d5d91cd3c6e43292e66"},"schema_version":"1.0"},"canonical_sha256":"a27e95140559b4f91606ddb26804e11201d41a76831f3fb9b558d875261fa5db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:35.112649Z","signature_b64":"dgTRveG4QIgOkvjpCqY6LBvwmip/sUpYv6tZdD8rFI9Mo4js+IQMmUhRLDoTHO5dRVp1FALJv8FMzozEmLCgCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a27e95140559b4f91606ddb26804e11201d41a76831f3fb9b558d875261fa5db","last_reissued_at":"2026-05-18T03:09:35.111897Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:35.111897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.5538","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-18T03:09:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dzjIy13HV6QjGBThZsKGdDG0qwHL4NDhsW+FM8k98OcP974e8TwITpjmsQSJtV4A7gX4UOU12ZdiAVzXYmuNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T03:22:23.122904Z"},"content_sha256":"ed213356893cc35302418a8440cae431a5a2ae1f25152594a87df296a22d2e8e","schema_version":"1.0","event_id":"sha256:ed213356893cc35302418a8440cae431a5a2ae1f25152594a87df296a22d2e8e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:UJ7JKFAFLG2PSFQG3WZGQBHBCI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TCC, with History","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Radha Jagadeesan, Vijay Saraswat, Vineet Gupta","submitted_at":"2013-10-21T13:33:21Z","abstract_excerpt":"Modern computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-processing rules. Such rules should be able to correlate different event streams, detect absence of events (negative information), permit aggregations over sliding windows, specify dependent sliding windows etc. For instance it should be possible to precisely state a rule such as \"Every seventh trading session that DowJones has risen consecutively, and IBM's stock is off 3% over its average in this period, evaluate IBM"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.5538","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-18T03:09:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"11MtLPoK5xmkiif6EdAK6QVn9Q6THOWjlgRihWQ4SMowlGwbk0wB3IuLppIYTX4sGQU/VasBESV5x2PaT6wdDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T03:22:23.123604Z"},"content_sha256":"1309631e24ec990d4ef9b5e3d845d33eb04480d9b526756b26714b1357257b85","schema_version":"1.0","event_id":"sha256:1309631e24ec990d4ef9b5e3d845d33eb04480d9b526756b26714b1357257b85"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/bundle.json","state_url":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/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-25T03:22:23Z","links":{"resolver":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI","bundle":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/bundle.json","state":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:UJ7JKFAFLG2PSFQG3WZGQBHBCI","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":"984e612dea3133d550645be159fc7d5541f2114737f58d5d91cd3c6e43292e66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-21T13:33:21Z","title_canon_sha256":"e3efcc86ab8ccf33388984add8ee7a3f841cdd304fe03f4ff28ed6e226342e0a"},"schema_version":"1.0","source":{"id":"1310.5538","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.5538","created_at":"2026-05-18T03:09:35Z"},{"alias_kind":"arxiv_version","alias_value":"1310.5538v1","created_at":"2026-05-18T03:09:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5538","created_at":"2026-05-18T03:09:35Z"},{"alias_kind":"pith_short_12","alias_value":"UJ7JKFAFLG2P","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UJ7JKFAFLG2PSFQG","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UJ7JKFAF","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:1309631e24ec990d4ef9b5e3d845d33eb04480d9b526756b26714b1357257b85","target":"graph","created_at":"2026-05-18T03:09:35Z","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 computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-processing rules. Such rules should be able to correlate different event streams, detect absence of events (negative information), permit aggregations over sliding windows, specify dependent sliding windows etc. For instance it should be possible to precisely state a rule such as \"Every seventh trading session that DowJones has risen consecutively, and IBM's stock is off 3% over its average in this period, evaluate IBM","authors_text":"Radha Jagadeesan, Vijay Saraswat, Vineet Gupta","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-21T13:33:21Z","title":"TCC, with History"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.5538","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:ed213356893cc35302418a8440cae431a5a2ae1f25152594a87df296a22d2e8e","target":"record","created_at":"2026-05-18T03:09:35Z","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":"984e612dea3133d550645be159fc7d5541f2114737f58d5d91cd3c6e43292e66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-21T13:33:21Z","title_canon_sha256":"e3efcc86ab8ccf33388984add8ee7a3f841cdd304fe03f4ff28ed6e226342e0a"},"schema_version":"1.0","source":{"id":"1310.5538","kind":"arxiv","version":1}},"canonical_sha256":"a27e95140559b4f91606ddb26804e11201d41a76831f3fb9b558d875261fa5db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a27e95140559b4f91606ddb26804e11201d41a76831f3fb9b558d875261fa5db","first_computed_at":"2026-05-18T03:09:35.111897Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:35.111897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dgTRveG4QIgOkvjpCqY6LBvwmip/sUpYv6tZdD8rFI9Mo4js+IQMmUhRLDoTHO5dRVp1FALJv8FMzozEmLCgCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:35.112649Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.5538","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ed213356893cc35302418a8440cae431a5a2ae1f25152594a87df296a22d2e8e","sha256:1309631e24ec990d4ef9b5e3d845d33eb04480d9b526756b26714b1357257b85"],"state_sha256":"ee9172ff925b81eac2c432b526da7bccb2d43d69c80076730531c6ba55f99145"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uNcj3OCiKcZWzWGO0SKlF9a2H1hKVFjeqGGxwA3xwl7WCwOaX71nLA+1+RX1CryqBd8tpWdm/IDgQ9cfaT6eAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T03:22:23.126300Z","bundle_sha256":"845a9970c360610358a64dedcb30bb9a1869a320bba084fedadb1a5d6067975f"}}