{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SCWTWMCGOFZRJGY5L3KOHVZHJZ","short_pith_number":"pith:SCWTWMCG","canonical_record":{"source":{"id":"1407.5879","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-22T14:22:41Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"70002d323adb32dadf5b1336a17a27fb5a7078b94ecd6b7233d345070612f6ca","abstract_canon_sha256":"5d4b7faa476cf46d207631492a9fa1cb196b7f84d7a8710446c8a903749e2e98"},"schema_version":"1.0"},"canonical_sha256":"90ad3b30467173149b1d5ed4e3d7274e77f001bf005a5dbcf985f480abba15d5","source":{"kind":"arxiv","id":"1407.5879","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5879","created_at":"2026-05-18T01:55:59Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5879v3","created_at":"2026-05-18T01:55:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5879","created_at":"2026-05-18T01:55:59Z"},{"alias_kind":"pith_short_12","alias_value":"SCWTWMCGOFZR","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SCWTWMCGOFZRJGY5","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SCWTWMCG","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SCWTWMCGOFZRJGY5L3KOHVZHJZ","target":"record","payload":{"canonical_record":{"source":{"id":"1407.5879","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-22T14:22:41Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"70002d323adb32dadf5b1336a17a27fb5a7078b94ecd6b7233d345070612f6ca","abstract_canon_sha256":"5d4b7faa476cf46d207631492a9fa1cb196b7f84d7a8710446c8a903749e2e98"},"schema_version":"1.0"},"canonical_sha256":"90ad3b30467173149b1d5ed4e3d7274e77f001bf005a5dbcf985f480abba15d5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:55:59.980827Z","signature_b64":"9QWmhVKaX8YdtMi8CKwQNnJQsntw/tquKfWcLlOhoj1P2l4omU92DuPvy0rwBtl7OvwDigIm8lUZO4RH3zGaBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90ad3b30467173149b1d5ed4e3d7274e77f001bf005a5dbcf985f480abba15d5","last_reissued_at":"2026-05-18T01:55:59.979963Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:55:59.979963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.5879","source_version":3,"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-18T01:55:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5mBrW7V2LOHSYae6YKn3X+M8WrCGt9mDLZGS9gzXPlRLGfVP1PupW/FqSBIKAp0iHvIUo2JBvREw3ounLatFAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:39:05.552185Z"},"content_sha256":"fe9c2acf09692e8876911305dc0e5306c302663dcc70f05ebb0379118d0b1afe","schema_version":"1.0","event_id":"sha256:fe9c2acf09692e8876911305dc0e5306c302663dcc70f05ebb0379118d0b1afe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SCWTWMCGOFZRJGY5L3KOHVZHJZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uniform and Bernoulli measures on the boundary of trace monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.PR"],"primary_cat":"math.CO","authors_text":"Jean Mairesse, Samy Abbes","submitted_at":"2014-07-22T14:22:41Z","abstract_excerpt":"Trace monoids and heaps of pieces appear in various contexts in combinatorics. They also constitute a model used in computer science to describe the executions of asynchronous systems. The design of a natural probabilistic layer on top of the model has been a long standing challenge. The difficulty comes from the presence of commuting pieces and from the absence of a global clock. In this paper, we introduce and study the class of Bernoulli probability measures that we claim to be the simplest adequate probability measures on infinite traces. For this, we strongly rely on the theory of trace c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5879","kind":"arxiv","version":3},"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-18T01:55:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GIEmXjbJKYsSMCinru5accBYlTt2/hpST1pLcTN2fFhgI9DTUGxnsxYt+zv5De9fA7mgezbg69uqIK8wHkjpCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:39:05.552555Z"},"content_sha256":"465b563023cce074530708defbb30d70678b74fe6bf7c534bef8cea3c1835b49","schema_version":"1.0","event_id":"sha256:465b563023cce074530708defbb30d70678b74fe6bf7c534bef8cea3c1835b49"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SCWTWMCGOFZRJGY5L3KOHVZHJZ/bundle.json","state_url":"https://pith.science/pith/SCWTWMCGOFZRJGY5L3KOHVZHJZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SCWTWMCGOFZRJGY5L3KOHVZHJZ/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-02T17:39:05Z","links":{"resolver":"https://pith.science/pith/SCWTWMCGOFZRJGY5L3KOHVZHJZ","bundle":"https://pith.science/pith/SCWTWMCGOFZRJGY5L3KOHVZHJZ/bundle.json","state":"https://pith.science/pith/SCWTWMCGOFZRJGY5L3KOHVZHJZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SCWTWMCGOFZRJGY5L3KOHVZHJZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SCWTWMCGOFZRJGY5L3KOHVZHJZ","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":"5d4b7faa476cf46d207631492a9fa1cb196b7f84d7a8710446c8a903749e2e98","cross_cats_sorted":["math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-22T14:22:41Z","title_canon_sha256":"70002d323adb32dadf5b1336a17a27fb5a7078b94ecd6b7233d345070612f6ca"},"schema_version":"1.0","source":{"id":"1407.5879","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5879","created_at":"2026-05-18T01:55:59Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5879v3","created_at":"2026-05-18T01:55:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5879","created_at":"2026-05-18T01:55:59Z"},{"alias_kind":"pith_short_12","alias_value":"SCWTWMCGOFZR","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SCWTWMCGOFZRJGY5","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SCWTWMCG","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:465b563023cce074530708defbb30d70678b74fe6bf7c534bef8cea3c1835b49","target":"graph","created_at":"2026-05-18T01:55:59Z","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":"Trace monoids and heaps of pieces appear in various contexts in combinatorics. They also constitute a model used in computer science to describe the executions of asynchronous systems. The design of a natural probabilistic layer on top of the model has been a long standing challenge. The difficulty comes from the presence of commuting pieces and from the absence of a global clock. In this paper, we introduce and study the class of Bernoulli probability measures that we claim to be the simplest adequate probability measures on infinite traces. For this, we strongly rely on the theory of trace c","authors_text":"Jean Mairesse, Samy Abbes","cross_cats":["math.PR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-22T14:22:41Z","title":"Uniform and Bernoulli measures on the boundary of trace monoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5879","kind":"arxiv","version":3},"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:fe9c2acf09692e8876911305dc0e5306c302663dcc70f05ebb0379118d0b1afe","target":"record","created_at":"2026-05-18T01:55:59Z","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":"5d4b7faa476cf46d207631492a9fa1cb196b7f84d7a8710446c8a903749e2e98","cross_cats_sorted":["math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-22T14:22:41Z","title_canon_sha256":"70002d323adb32dadf5b1336a17a27fb5a7078b94ecd6b7233d345070612f6ca"},"schema_version":"1.0","source":{"id":"1407.5879","kind":"arxiv","version":3}},"canonical_sha256":"90ad3b30467173149b1d5ed4e3d7274e77f001bf005a5dbcf985f480abba15d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90ad3b30467173149b1d5ed4e3d7274e77f001bf005a5dbcf985f480abba15d5","first_computed_at":"2026-05-18T01:55:59.979963Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:55:59.979963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9QWmhVKaX8YdtMi8CKwQNnJQsntw/tquKfWcLlOhoj1P2l4omU92DuPvy0rwBtl7OvwDigIm8lUZO4RH3zGaBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:55:59.980827Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.5879","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe9c2acf09692e8876911305dc0e5306c302663dcc70f05ebb0379118d0b1afe","sha256:465b563023cce074530708defbb30d70678b74fe6bf7c534bef8cea3c1835b49"],"state_sha256":"a7dcb0c33ab1b4dd97589749f835881175f43a206585c4a1af727c6f5883810d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dvkwSscRlgqieHJ/0GqXGU8x4w1mq3mt7L35DrDqtLDBNQ/76pXcze+XFFePo1ltbNoqF9as6hOAwPdiMktjDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T17:39:05.554511Z","bundle_sha256":"b44fbc0ca49b5c3c10099df1f11c91a920442ce9146b5b15a667fb6627436dd8"}}