{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:IK52X34TKZ66K73ZSWFGBSHD2O","short_pith_number":"pith:IK52X34T","canonical_record":{"source":{"id":"1308.0391","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-08-02T01:55:46Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"7f60ab4560ed395f90d5ca7d90235edf989d8edd85850c3b8e407f1f9250d3ac","abstract_canon_sha256":"7b9f1bd5f969d3af57755c0d3bea365f8ade961764d43f9f0ee6ea2794186a72"},"schema_version":"1.0"},"canonical_sha256":"42bbabef93567de57f79958a60c8e3d3928d216da35453eba93bef810ba9d538","source":{"kind":"arxiv","id":"1308.0391","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0391","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0391v1","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0391","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"pith_short_12","alias_value":"IK52X34TKZ66","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"IK52X34TKZ66K73Z","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"IK52X34T","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:IK52X34TKZ66K73ZSWFGBSHD2O","target":"record","payload":{"canonical_record":{"source":{"id":"1308.0391","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-08-02T01:55:46Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"7f60ab4560ed395f90d5ca7d90235edf989d8edd85850c3b8e407f1f9250d3ac","abstract_canon_sha256":"7b9f1bd5f969d3af57755c0d3bea365f8ade961764d43f9f0ee6ea2794186a72"},"schema_version":"1.0"},"canonical_sha256":"42bbabef93567de57f79958a60c8e3d3928d216da35453eba93bef810ba9d538","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:50.593551Z","signature_b64":"olrZ8vq4ITn15fECG5uEETWY24oAtiomcCIOFRCRppOX0NZdCMHDhTdapcOd0pWdAtsAKhyVcg6yVZdpVZ/MBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42bbabef93567de57f79958a60c8e3d3928d216da35453eba93bef810ba9d538","last_reissued_at":"2026-05-18T03:16:50.592970Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:50.592970Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.0391","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:16:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rjZCe5X9gVB+02g9B1xjMeIdi1O1jg3Cr1yYY5zYZ9jBIjSewnq+DfrFiHd+/QLAAm9bTFwPA1EfosVvjjwPDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T03:58:42.642749Z"},"content_sha256":"1e7673212226e05981a0c1ac37f81f7f8fdb335d130f2f8a33c5639a0c4a2e69","schema_version":"1.0","event_id":"sha256:1e7673212226e05981a0c1ac37f81f7f8fdb335d130f2f8a33c5639a0c4a2e69"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:IK52X34TKZ66K73ZSWFGBSHD2O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proving Properties of Rich Internet Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.NI","authors_text":"James Smith","submitted_at":"2013-08-02T01:55:46Z","abstract_excerpt":"We introduce application layer specifications, which allow us to reason about the state and transactions of rich Internet applications. We define variants of the state/event based logic UCTL* along with two example applications to demonstrate this approach, and then look at a distributed, rich Internet application, proving properties about the information it stores and disseminates. Our approach enables us to justify proofs about abstract properties that are preserved in the face of concurrent, networked inputs by proofs about concrete properties in an Internet setting. We conclude that our ap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0391","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:16:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ORppmxeSY4K6Ts94kuAEF1x78/ZZScpJKrV5AXWetOqvUuoJU74IjdZFeh/Z9XJ5mCeXb3ybGLKTdQH3TXfaCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T03:58:42.643535Z"},"content_sha256":"84d9575697e87235cfaf8f9b7a761c1298c794f8142583096f536c28bd7003d7","schema_version":"1.0","event_id":"sha256:84d9575697e87235cfaf8f9b7a761c1298c794f8142583096f536c28bd7003d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IK52X34TKZ66K73ZSWFGBSHD2O/bundle.json","state_url":"https://pith.science/pith/IK52X34TKZ66K73ZSWFGBSHD2O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IK52X34TKZ66K73ZSWFGBSHD2O/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-10T03:58:42Z","links":{"resolver":"https://pith.science/pith/IK52X34TKZ66K73ZSWFGBSHD2O","bundle":"https://pith.science/pith/IK52X34TKZ66K73ZSWFGBSHD2O/bundle.json","state":"https://pith.science/pith/IK52X34TKZ66K73ZSWFGBSHD2O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IK52X34TKZ66K73ZSWFGBSHD2O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:IK52X34TKZ66K73ZSWFGBSHD2O","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":"7b9f1bd5f969d3af57755c0d3bea365f8ade961764d43f9f0ee6ea2794186a72","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-08-02T01:55:46Z","title_canon_sha256":"7f60ab4560ed395f90d5ca7d90235edf989d8edd85850c3b8e407f1f9250d3ac"},"schema_version":"1.0","source":{"id":"1308.0391","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0391","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0391v1","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0391","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"pith_short_12","alias_value":"IK52X34TKZ66","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"IK52X34TKZ66K73Z","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"IK52X34T","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:84d9575697e87235cfaf8f9b7a761c1298c794f8142583096f536c28bd7003d7","target":"graph","created_at":"2026-05-18T03:16:50Z","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 application layer specifications, which allow us to reason about the state and transactions of rich Internet applications. We define variants of the state/event based logic UCTL* along with two example applications to demonstrate this approach, and then look at a distributed, rich Internet application, proving properties about the information it stores and disseminates. Our approach enables us to justify proofs about abstract properties that are preserved in the face of concurrent, networked inputs by proofs about concrete properties in an Internet setting. We conclude that our ap","authors_text":"James Smith","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-08-02T01:55:46Z","title":"Proving Properties of Rich Internet Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0391","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:1e7673212226e05981a0c1ac37f81f7f8fdb335d130f2f8a33c5639a0c4a2e69","target":"record","created_at":"2026-05-18T03:16:50Z","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":"7b9f1bd5f969d3af57755c0d3bea365f8ade961764d43f9f0ee6ea2794186a72","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-08-02T01:55:46Z","title_canon_sha256":"7f60ab4560ed395f90d5ca7d90235edf989d8edd85850c3b8e407f1f9250d3ac"},"schema_version":"1.0","source":{"id":"1308.0391","kind":"arxiv","version":1}},"canonical_sha256":"42bbabef93567de57f79958a60c8e3d3928d216da35453eba93bef810ba9d538","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42bbabef93567de57f79958a60c8e3d3928d216da35453eba93bef810ba9d538","first_computed_at":"2026-05-18T03:16:50.592970Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:50.592970Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"olrZ8vq4ITn15fECG5uEETWY24oAtiomcCIOFRCRppOX0NZdCMHDhTdapcOd0pWdAtsAKhyVcg6yVZdpVZ/MBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:50.593551Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.0391","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e7673212226e05981a0c1ac37f81f7f8fdb335d130f2f8a33c5639a0c4a2e69","sha256:84d9575697e87235cfaf8f9b7a761c1298c794f8142583096f536c28bd7003d7"],"state_sha256":"92f74e95ea85a1194f262748355d905733082cc5fb4ec0592a974bc444df71c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pvgu91y0/eQvU4p++Gw/YJqsuHlQwQQrI8jzEjk+d/1jMaucKVPg3vZPyNNtiQ7a7VV+t5A8ZbdK+3CyEqf9DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T03:58:42.648560Z","bundle_sha256":"e41e7682f101a0c2201b555da189d5e34e16df5b2a1279c700f6acd7f55ff49e"}}