{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:5T4OLCA5W4KWQ5WYTKYDIRTRBM","short_pith_number":"pith:5T4OLCA5","canonical_record":{"source":{"id":"1312.3184","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-11T14:24:53Z","cross_cats_sorted":[],"title_canon_sha256":"b55ca36727cdf19ab28988c9e77994130d9792889f97fd20b02e836b8bfc5856","abstract_canon_sha256":"39a84906bf4b9026d1722e9cbc7e6b03ca14c0f6e895b312cf18123ee547b2eb"},"schema_version":"1.0"},"canonical_sha256":"ecf8e5881db7156876d89ab03446710b1bcfa93f7ed258ba4b77155e18d35bed","source":{"kind":"arxiv","id":"1312.3184","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.3184","created_at":"2026-05-18T03:05:00Z"},{"alias_kind":"arxiv_version","alias_value":"1312.3184v1","created_at":"2026-05-18T03:05:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.3184","created_at":"2026-05-18T03:05:00Z"},{"alias_kind":"pith_short_12","alias_value":"5T4OLCA5W4KW","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5T4OLCA5W4KWQ5WY","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5T4OLCA5","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:5T4OLCA5W4KWQ5WYTKYDIRTRBM","target":"record","payload":{"canonical_record":{"source":{"id":"1312.3184","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-11T14:24:53Z","cross_cats_sorted":[],"title_canon_sha256":"b55ca36727cdf19ab28988c9e77994130d9792889f97fd20b02e836b8bfc5856","abstract_canon_sha256":"39a84906bf4b9026d1722e9cbc7e6b03ca14c0f6e895b312cf18123ee547b2eb"},"schema_version":"1.0"},"canonical_sha256":"ecf8e5881db7156876d89ab03446710b1bcfa93f7ed258ba4b77155e18d35bed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:05:00.262760Z","signature_b64":"DIUEdw4TZ6rn/OBGFyzz2Bp8Q+HtKZJQlOufuZWFh0kK9D/cpp+4vB1+nutgsxUHbeEapm3KXjjwgzqbIn1xDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ecf8e5881db7156876d89ab03446710b1bcfa93f7ed258ba4b77155e18d35bed","last_reissued_at":"2026-05-18T03:05:00.262173Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:05:00.262173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.3184","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:05:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D79fkirFv6+FcMI0AEFHw+D+G8lJ/DFgZ7E7deF9IeSmFc0kgTG0NwL27HJCVS95DyxWdVzPzMBk2HWW/VhXDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:38:36.411779Z"},"content_sha256":"5468c1a61eefb0627eb400cbc10057d550d6f6df95772854b93290099d4c8095","schema_version":"1.0","event_id":"sha256:5468c1a61eefb0627eb400cbc10057d550d6f6df95772854b93290099d4c8095"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:5T4OLCA5W4KWQ5WYTKYDIRTRBM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Dynamic Access Analysis Using JavaScript Proxies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Matthias Keil, Peter Thiemann","submitted_at":"2013-12-11T14:24:53Z","abstract_excerpt":"JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation.\n  To overcome the limitations of the JSConTest implementation, we redesigned and reimplemented effect monitoring by taking advantange of JavaScript proxies. Our new design avoids all drawbacks of the prior implementation. It guarantees full interposition; it is not restricted to a subset of JavaScript; it is self-maintaining; and its scalabilit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.3184","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:05:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DFqlc6CIEp7JcTlG95Y0WuCK3wybsNKyqvgZ1EYyuMIg0I5v4JBayZeYoMXy56XKySLsO3+95y83sqUdJxJYAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:38:36.412125Z"},"content_sha256":"6c9f439bb8cea471f197d93fcdb225244c4217d75b146ee6be95d556b3c80974","schema_version":"1.0","event_id":"sha256:6c9f439bb8cea471f197d93fcdb225244c4217d75b146ee6be95d556b3c80974"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5T4OLCA5W4KWQ5WYTKYDIRTRBM/bundle.json","state_url":"https://pith.science/pith/5T4OLCA5W4KWQ5WYTKYDIRTRBM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5T4OLCA5W4KWQ5WYTKYDIRTRBM/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-02T14:38:36Z","links":{"resolver":"https://pith.science/pith/5T4OLCA5W4KWQ5WYTKYDIRTRBM","bundle":"https://pith.science/pith/5T4OLCA5W4KWQ5WYTKYDIRTRBM/bundle.json","state":"https://pith.science/pith/5T4OLCA5W4KWQ5WYTKYDIRTRBM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5T4OLCA5W4KWQ5WYTKYDIRTRBM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:5T4OLCA5W4KWQ5WYTKYDIRTRBM","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":"39a84906bf4b9026d1722e9cbc7e6b03ca14c0f6e895b312cf18123ee547b2eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-11T14:24:53Z","title_canon_sha256":"b55ca36727cdf19ab28988c9e77994130d9792889f97fd20b02e836b8bfc5856"},"schema_version":"1.0","source":{"id":"1312.3184","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.3184","created_at":"2026-05-18T03:05:00Z"},{"alias_kind":"arxiv_version","alias_value":"1312.3184v1","created_at":"2026-05-18T03:05:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.3184","created_at":"2026-05-18T03:05:00Z"},{"alias_kind":"pith_short_12","alias_value":"5T4OLCA5W4KW","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5T4OLCA5W4KWQ5WY","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5T4OLCA5","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:6c9f439bb8cea471f197d93fcdb225244c4217d75b146ee6be95d556b3c80974","target":"graph","created_at":"2026-05-18T03:05:00Z","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":"JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation.\n  To overcome the limitations of the JSConTest implementation, we redesigned and reimplemented effect monitoring by taking advantange of JavaScript proxies. Our new design avoids all drawbacks of the prior implementation. It guarantees full interposition; it is not restricted to a subset of JavaScript; it is self-maintaining; and its scalabilit","authors_text":"Matthias Keil, Peter Thiemann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-11T14:24:53Z","title":"Efficient Dynamic Access Analysis Using JavaScript Proxies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.3184","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:5468c1a61eefb0627eb400cbc10057d550d6f6df95772854b93290099d4c8095","target":"record","created_at":"2026-05-18T03:05:00Z","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":"39a84906bf4b9026d1722e9cbc7e6b03ca14c0f6e895b312cf18123ee547b2eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-12-11T14:24:53Z","title_canon_sha256":"b55ca36727cdf19ab28988c9e77994130d9792889f97fd20b02e836b8bfc5856"},"schema_version":"1.0","source":{"id":"1312.3184","kind":"arxiv","version":1}},"canonical_sha256":"ecf8e5881db7156876d89ab03446710b1bcfa93f7ed258ba4b77155e18d35bed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ecf8e5881db7156876d89ab03446710b1bcfa93f7ed258ba4b77155e18d35bed","first_computed_at":"2026-05-18T03:05:00.262173Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:05:00.262173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DIUEdw4TZ6rn/OBGFyzz2Bp8Q+HtKZJQlOufuZWFh0kK9D/cpp+4vB1+nutgsxUHbeEapm3KXjjwgzqbIn1xDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:05:00.262760Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.3184","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5468c1a61eefb0627eb400cbc10057d550d6f6df95772854b93290099d4c8095","sha256:6c9f439bb8cea471f197d93fcdb225244c4217d75b146ee6be95d556b3c80974"],"state_sha256":"7bd3acea4fc43c3ec1185504154c3b8fc14608ed4243f7d2344e1e8eae864459"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cpO6UTLVZLZeNNiaFttqZ0s9/NcA2+5MdYkDVonTGzQ4xCb+5chOPLYl7/wDi+LwFWC+FsnhGFn28eMb1+tyAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T14:38:36.414050Z","bundle_sha256":"fedd7f15d408f92d885f6dbdd260b27b40f13d80365210d549888cf4f3334d27"}}