{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FIMHVAGNQXIZLC2AVTMX3NXBKZ","short_pith_number":"pith:FIMHVAGN","canonical_record":{"source":{"id":"2501.07472","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-13T16:40:34Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"fecb83226f174da587c9129ded8da8b1de109c942d16f444779d08346b487356","abstract_canon_sha256":"ade80acfcaeca9b6a1962984814d93255710d01cfcbe1bc1c7ede23249fa37fc"},"schema_version":"1.0"},"canonical_sha256":"2a187a80cd85d1958b40acd97db6e156576fef2e4f4fc28a0bd2a9280b5d6e80","source":{"kind":"arxiv","id":"2501.07472","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.07472","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"arxiv_version","alias_value":"2501.07472v2","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.07472","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"pith_short_12","alias_value":"FIMHVAGNQXIZ","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"pith_short_16","alias_value":"FIMHVAGNQXIZLC2A","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"pith_short_8","alias_value":"FIMHVAGN","created_at":"2026-07-05T10:52:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FIMHVAGNQXIZLC2AVTMX3NXBKZ","target":"record","payload":{"canonical_record":{"source":{"id":"2501.07472","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-13T16:40:34Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"fecb83226f174da587c9129ded8da8b1de109c942d16f444779d08346b487356","abstract_canon_sha256":"ade80acfcaeca9b6a1962984814d93255710d01cfcbe1bc1c7ede23249fa37fc"},"schema_version":"1.0"},"canonical_sha256":"2a187a80cd85d1958b40acd97db6e156576fef2e4f4fc28a0bd2a9280b5d6e80","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:18.234242Z","signature_b64":"CNuPWDu9+J0lpm6d09j9/jrshZe0m1qqVD26wWx5VFNaLZkCVwqj30PJl/xfrskypGquApMGwZid37JkE6gCAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a187a80cd85d1958b40acd97db6e156576fef2e4f4fc28a0bd2a9280b5d6e80","last_reissued_at":"2026-07-05T10:52:18.233766Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:18.233766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.07472","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-05T10:52:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vHDwE8iUUunsJYLgyU/iso0oiFAfIwTDdIGCtgksQg3bu7SR56e4+fwl6rW886FHmpE84cW1vvC3OypHH+WxCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T14:01:59.402906Z"},"content_sha256":"c5b4253e3931806f2db7558d5d8ea04f887d0ae62ef21617e4dc64bb521337cd","schema_version":"1.0","event_id":"sha256:c5b4253e3931806f2db7558d5d8ea04f887d0ae62ef21617e4dc64bb521337cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FIMHVAGNQXIZLC2AVTMX3NXBKZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LitmusKt: Concurrency Stress Testing for Kotlin","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Anton Podkopaev, Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev","submitted_at":"2025-01-13T16:40:34Z","abstract_excerpt":"We present LitmusKt - the first tool for litmus testing concurrent programs in Kotlin. The tool's novelty also lies in the fact that Kotlin is a multiplatform language, i.e., it compiles into multiple platforms, which means that the concurrency has to be tested on several of them. Our tool allows writing litmus tests in a single custom DSL, and these tests are then run in Kotlin/Native and Kotlin/JVM, two main platforms for concurrent programming in Kotlin. Using LitmusKt, we discovered novel bugs in the Kotlin compiler, which we then fixed and they are no longer present. Moreover, LitmusKt wa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.07472","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/2501.07472/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-05T10:52:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"puce2/frOvJcy/YryNZkq/wg6EUoEc4CxGlnsVQphuRf1/uXGnsWR4wbhNA8YhEqHz4wjtC4zksJOqLqBrqNDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T14:01:59.403557Z"},"content_sha256":"66863d89bb806c157599d4946ce338e51d076d034e0b25b693145ed649a43db7","schema_version":"1.0","event_id":"sha256:66863d89bb806c157599d4946ce338e51d076d034e0b25b693145ed649a43db7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/bundle.json","state_url":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/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-07-08T14:01:59Z","links":{"resolver":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ","bundle":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/bundle.json","state":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FIMHVAGNQXIZLC2AVTMX3NXBKZ","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":"ade80acfcaeca9b6a1962984814d93255710d01cfcbe1bc1c7ede23249fa37fc","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-13T16:40:34Z","title_canon_sha256":"fecb83226f174da587c9129ded8da8b1de109c942d16f444779d08346b487356"},"schema_version":"1.0","source":{"id":"2501.07472","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.07472","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"arxiv_version","alias_value":"2501.07472v2","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.07472","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"pith_short_12","alias_value":"FIMHVAGNQXIZ","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"pith_short_16","alias_value":"FIMHVAGNQXIZLC2A","created_at":"2026-07-05T10:52:18Z"},{"alias_kind":"pith_short_8","alias_value":"FIMHVAGN","created_at":"2026-07-05T10:52:18Z"}],"graph_snapshots":[{"event_id":"sha256:66863d89bb806c157599d4946ce338e51d076d034e0b25b693145ed649a43db7","target":"graph","created_at":"2026-07-05T10:52:18Z","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/2501.07472/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present LitmusKt - the first tool for litmus testing concurrent programs in Kotlin. The tool's novelty also lies in the fact that Kotlin is a multiplatform language, i.e., it compiles into multiple platforms, which means that the concurrency has to be tested on several of them. Our tool allows writing litmus tests in a single custom DSL, and these tests are then run in Kotlin/Native and Kotlin/JVM, two main platforms for concurrent programming in Kotlin. Using LitmusKt, we discovered novel bugs in the Kotlin compiler, which we then fixed and they are no longer present. Moreover, LitmusKt wa","authors_text":"Anton Podkopaev, Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-13T16:40:34Z","title":"LitmusKt: Concurrency Stress Testing for Kotlin"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.07472","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:c5b4253e3931806f2db7558d5d8ea04f887d0ae62ef21617e4dc64bb521337cd","target":"record","created_at":"2026-07-05T10:52:18Z","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":"ade80acfcaeca9b6a1962984814d93255710d01cfcbe1bc1c7ede23249fa37fc","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-13T16:40:34Z","title_canon_sha256":"fecb83226f174da587c9129ded8da8b1de109c942d16f444779d08346b487356"},"schema_version":"1.0","source":{"id":"2501.07472","kind":"arxiv","version":2}},"canonical_sha256":"2a187a80cd85d1958b40acd97db6e156576fef2e4f4fc28a0bd2a9280b5d6e80","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a187a80cd85d1958b40acd97db6e156576fef2e4f4fc28a0bd2a9280b5d6e80","first_computed_at":"2026-07-05T10:52:18.233766Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:52:18.233766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CNuPWDu9+J0lpm6d09j9/jrshZe0m1qqVD26wWx5VFNaLZkCVwqj30PJl/xfrskypGquApMGwZid37JkE6gCAg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:52:18.234242Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.07472","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5b4253e3931806f2db7558d5d8ea04f887d0ae62ef21617e4dc64bb521337cd","sha256:66863d89bb806c157599d4946ce338e51d076d034e0b25b693145ed649a43db7"],"state_sha256":"2c381900abf975bd7c8244accc7385bfe00b047be8195981d1d760805fdd5ba4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Rx7ewxGNh3G5n/WY/6BKOryp5AFHyw1Hx/ysCLTHSBvkWc57Gl03eDkUPgpEDkLpNlcnx68HvOX9cedrWrPdDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T14:01:59.408095Z","bundle_sha256":"75f92e2168e2c8e2e959b378f044239c79b3f6c4d1044111edb0e5b614742730"}}