{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:LI7WIPRXTVGVG3DLLCPZ2UPGVG","short_pith_number":"pith:LI7WIPRX","canonical_record":{"source":{"id":"2005.10554","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-21T10:27:24Z","cross_cats_sorted":[],"title_canon_sha256":"5053905f9a61fd90150131b32a65ac21117ee9edd70e9f62125dcfca5100b953","abstract_canon_sha256":"0c28f4efe5a9c934f20548478570b06d528263484e82959d96cf42af1204930c"},"schema_version":"1.0"},"canonical_sha256":"5a3f643e379d4d536c6b589f9d51e6a9b3ad7af645936bdf12d0d89aa38a4609","source":{"kind":"arxiv","id":"2005.10554","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.10554","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"arxiv_version","alias_value":"2005.10554v2","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.10554","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"pith_short_12","alias_value":"LI7WIPRXTVGV","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"pith_short_16","alias_value":"LI7WIPRXTVGVG3DL","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"pith_short_8","alias_value":"LI7WIPRX","created_at":"2026-07-05T01:05:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:LI7WIPRXTVGVG3DLLCPZ2UPGVG","target":"record","payload":{"canonical_record":{"source":{"id":"2005.10554","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-21T10:27:24Z","cross_cats_sorted":[],"title_canon_sha256":"5053905f9a61fd90150131b32a65ac21117ee9edd70e9f62125dcfca5100b953","abstract_canon_sha256":"0c28f4efe5a9c934f20548478570b06d528263484e82959d96cf42af1204930c"},"schema_version":"1.0"},"canonical_sha256":"5a3f643e379d4d536c6b589f9d51e6a9b3ad7af645936bdf12d0d89aa38a4609","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:05:02.864404Z","signature_b64":"Rg8aWP1lzzLgC27GrE4XyqNPj+QmeFtTrPWJTygtHNFR1HOJhZMyzQMfqy74awOjRWk2Mr/+URLsracaAaoXCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a3f643e379d4d536c6b589f9d51e6a9b3ad7af645936bdf12d0d89aa38a4609","last_reissued_at":"2026-07-05T01:05:02.863983Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:05:02.863983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.10554","source_version":2,"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-07-05T01:05:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lNY4fQUt5WXMy/aZm7DQMfhAktGn6zJdpWabSK8RQZDDa1YxBJy+tgMjPgCIN5SGhTkG5o0ehqX+GCcd0RAHBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T08:10:51.123030Z"},"content_sha256":"5e1d6102c21563ef16120df36fdcafef176db5372167df3e67737dd298ad32d4","schema_version":"1.0","event_id":"sha256:5e1d6102c21563ef16120df36fdcafef176db5372167df3e67737dd298ad32d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:LI7WIPRXTVGVG3DLLCPZ2UPGVG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Repairing and Mechanising the JavaScript Relaxed Memory Model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anton Podkopaev, Christopher Pulte, Conrad Watt, Guillaume Barbier, Jean Pichon-Pharabod, Shaked Flur, Shu-Yu Guo, Stephen Dolan","submitted_at":"2020-05-21T10:27:24Z","abstract_excerpt":"Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to describe their behaviour. While this model is heavily based on the C/C++11 model, it diverges in some key areas. JavaScript chooses to give a well-defined semantics to data-races, unlike the \"undefined behaviour\" of C/C++11. Moreover, the JavaScript model is mixed-size. This means that its accesses are not to discrete locations, but to (possibly over"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.10554","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2005.10554/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:05:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KSqlIBIhJUB2r0QYLUsmT2wDPPA3nzWoqlJqdHkmGW7tFOzQsiZ8e2Uc2j2ddQfUUXgfOZp02iyZZ/pQhqv9BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T08:10:51.123511Z"},"content_sha256":"7c47816cd6cf5bffb3247dd2a0452d0cac3d17b8b4034fa09b59b306301e5b30","schema_version":"1.0","event_id":"sha256:7c47816cd6cf5bffb3247dd2a0452d0cac3d17b8b4034fa09b59b306301e5b30"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LI7WIPRXTVGVG3DLLCPZ2UPGVG/bundle.json","state_url":"https://pith.science/pith/LI7WIPRXTVGVG3DLLCPZ2UPGVG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LI7WIPRXTVGVG3DLLCPZ2UPGVG/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-08-05T08:10:51Z","links":{"resolver":"https://pith.science/pith/LI7WIPRXTVGVG3DLLCPZ2UPGVG","bundle":"https://pith.science/pith/LI7WIPRXTVGVG3DLLCPZ2UPGVG/bundle.json","state":"https://pith.science/pith/LI7WIPRXTVGVG3DLLCPZ2UPGVG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LI7WIPRXTVGVG3DLLCPZ2UPGVG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:LI7WIPRXTVGVG3DLLCPZ2UPGVG","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":"0c28f4efe5a9c934f20548478570b06d528263484e82959d96cf42af1204930c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-21T10:27:24Z","title_canon_sha256":"5053905f9a61fd90150131b32a65ac21117ee9edd70e9f62125dcfca5100b953"},"schema_version":"1.0","source":{"id":"2005.10554","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.10554","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"arxiv_version","alias_value":"2005.10554v2","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.10554","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"pith_short_12","alias_value":"LI7WIPRXTVGV","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"pith_short_16","alias_value":"LI7WIPRXTVGVG3DL","created_at":"2026-07-05T01:05:02Z"},{"alias_kind":"pith_short_8","alias_value":"LI7WIPRX","created_at":"2026-07-05T01:05:02Z"}],"graph_snapshots":[{"event_id":"sha256:7c47816cd6cf5bffb3247dd2a0452d0cac3d17b8b4034fa09b59b306301e5b30","target":"graph","created_at":"2026-07-05T01:05:02Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.10554/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to describe their behaviour. While this model is heavily based on the C/C++11 model, it diverges in some key areas. JavaScript chooses to give a well-defined semantics to data-races, unlike the \"undefined behaviour\" of C/C++11. Moreover, the JavaScript model is mixed-size. This means that its accesses are not to discrete locations, but to (possibly over","authors_text":"Anton Podkopaev, Christopher Pulte, Conrad Watt, Guillaume Barbier, Jean Pichon-Pharabod, Shaked Flur, Shu-Yu Guo, Stephen Dolan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-21T10:27:24Z","title":"Repairing and Mechanising the JavaScript Relaxed Memory Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.10554","kind":"arxiv","version":2},"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:5e1d6102c21563ef16120df36fdcafef176db5372167df3e67737dd298ad32d4","target":"record","created_at":"2026-07-05T01:05:02Z","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":"0c28f4efe5a9c934f20548478570b06d528263484e82959d96cf42af1204930c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-05-21T10:27:24Z","title_canon_sha256":"5053905f9a61fd90150131b32a65ac21117ee9edd70e9f62125dcfca5100b953"},"schema_version":"1.0","source":{"id":"2005.10554","kind":"arxiv","version":2}},"canonical_sha256":"5a3f643e379d4d536c6b589f9d51e6a9b3ad7af645936bdf12d0d89aa38a4609","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a3f643e379d4d536c6b589f9d51e6a9b3ad7af645936bdf12d0d89aa38a4609","first_computed_at":"2026-07-05T01:05:02.863983Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:05:02.863983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Rg8aWP1lzzLgC27GrE4XyqNPj+QmeFtTrPWJTygtHNFR1HOJhZMyzQMfqy74awOjRWk2Mr/+URLsracaAaoXCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:05:02.864404Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.10554","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e1d6102c21563ef16120df36fdcafef176db5372167df3e67737dd298ad32d4","sha256:7c47816cd6cf5bffb3247dd2a0452d0cac3d17b8b4034fa09b59b306301e5b30"],"state_sha256":"68a9157cc827a2577a1d625ef502766c144bdbfacb3aeafbaa89a61a052cd000"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S/WKWAzEEqdadVAckKOGJNnwY5dpATlxJvyrQFW8Fm1UBQDFuFSYeqP8yGbvCIbpaKZ+Cy6r0oeopib0Do9TAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T08:10:51.127310Z","bundle_sha256":"41f4a82f0acf7e33b27e66a6750e3471387d4890a3b7c32d202a4f460bfc4239"}}