{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:ZEWCDYFCBTRBX4WCTBQQ6RZUMO","short_pith_number":"pith:ZEWCDYFC","canonical_record":{"source":{"id":"2605.23490","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-22T10:52:52Z","cross_cats_sorted":[],"title_canon_sha256":"fd5c83f78d8a7f95687a324a8d01de8af9287fb99e3334049420c8d2404b4acb","abstract_canon_sha256":"64df97fd85edbe20bea618a772151c5afb1af3d033173be3090c2290a8d4dbd8"},"schema_version":"1.0"},"canonical_sha256":"c92c21e0a20ce21bf2c298610f473463a87fbaf4f1dcec04d1d07873ad7f44de","source":{"kind":"arxiv","id":"2605.23490","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.23490","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.23490v1","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.23490","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"pith_short_12","alias_value":"ZEWCDYFCBTRB","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"pith_short_16","alias_value":"ZEWCDYFCBTRBX4WC","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"pith_short_8","alias_value":"ZEWCDYFC","created_at":"2026-05-25T02:01:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:ZEWCDYFCBTRBX4WCTBQQ6RZUMO","target":"record","payload":{"canonical_record":{"source":{"id":"2605.23490","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-22T10:52:52Z","cross_cats_sorted":[],"title_canon_sha256":"fd5c83f78d8a7f95687a324a8d01de8af9287fb99e3334049420c8d2404b4acb","abstract_canon_sha256":"64df97fd85edbe20bea618a772151c5afb1af3d033173be3090c2290a8d4dbd8"},"schema_version":"1.0"},"canonical_sha256":"c92c21e0a20ce21bf2c298610f473463a87fbaf4f1dcec04d1d07873ad7f44de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:01:57.492386Z","signature_b64":"E0Nyb5T+NDsYM4m1H7+6t7H9H4vOC07xySMSzBtDpoepKElgvIbr3irDaX8Ba3YJ0e9qvV+QAw9W+koU7z/mDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c92c21e0a20ce21bf2c298610f473463a87fbaf4f1dcec04d1d07873ad7f44de","last_reissued_at":"2026-05-25T02:01:57.491770Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:01:57.491770Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.23490","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-25T02:01:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8iXTrLnApdovGtoVo1iDYk7em90hvgK2l4Mj609/FQDu0o7QgTHpLQhjS4cgCRJyUhZ4IfLAUlSw3ntmjOp/CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:37:02.653778Z"},"content_sha256":"1fc193c6f5f7d8370fc81c2d54a534febfe4bad214a995afd7d859171a1a5f64","schema_version":"1.0","event_id":"sha256:1fc193c6f5f7d8370fc81c2d54a534febfe4bad214a995afd7d859171a1a5f64"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:ZEWCDYFCBTRBX4WCTBQQ6RZUMO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexandru Kampmann, Marius Molz, Niels Schneider, Stefan Kowalewski, Sven Lechner","submitted_at":"2026-05-22T10:52:52Z","abstract_excerpt":"The Rust programming language is increasingly being considered for safety-critical system development. However, established safety standards such as ISO 26262 require the use of coding guidelines that do not yet exist for Rust. This paper systematically examines each of the 179 MISRA C++ 2023 coding guidelines and classifies them into 6 categories based on their applicability to Rust. Our approach analyzes the rationale behind each MISRA rule to determine whether it remains valid in the Rust programming context. We find that 47.75% of the 111 as-is applicable MISRA rules are automatically enfo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.23490","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.23490/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-05-25T02:01:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kJp4y5R6toO7OvvLlf9c3733tatYl+KKpWyg9JTbYOvvh4/TIfPT0ZkkED+SrT7EknyJdjfas/f9JCe4yy7eAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:37:02.654448Z"},"content_sha256":"26c4430fd75ceb32c69a2d911df720016a3975461b29c8a2fb56ed25bddb50fb","schema_version":"1.0","event_id":"sha256:26c4430fd75ceb32c69a2d911df720016a3975461b29c8a2fb56ed25bddb50fb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZEWCDYFCBTRBX4WCTBQQ6RZUMO/bundle.json","state_url":"https://pith.science/pith/ZEWCDYFCBTRBX4WCTBQQ6RZUMO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZEWCDYFCBTRBX4WCTBQQ6RZUMO/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-05-31T06:37:02Z","links":{"resolver":"https://pith.science/pith/ZEWCDYFCBTRBX4WCTBQQ6RZUMO","bundle":"https://pith.science/pith/ZEWCDYFCBTRBX4WCTBQQ6RZUMO/bundle.json","state":"https://pith.science/pith/ZEWCDYFCBTRBX4WCTBQQ6RZUMO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZEWCDYFCBTRBX4WCTBQQ6RZUMO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZEWCDYFCBTRBX4WCTBQQ6RZUMO","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":"64df97fd85edbe20bea618a772151c5afb1af3d033173be3090c2290a8d4dbd8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-22T10:52:52Z","title_canon_sha256":"fd5c83f78d8a7f95687a324a8d01de8af9287fb99e3334049420c8d2404b4acb"},"schema_version":"1.0","source":{"id":"2605.23490","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.23490","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.23490v1","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.23490","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"pith_short_12","alias_value":"ZEWCDYFCBTRB","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"pith_short_16","alias_value":"ZEWCDYFCBTRBX4WC","created_at":"2026-05-25T02:01:57Z"},{"alias_kind":"pith_short_8","alias_value":"ZEWCDYFC","created_at":"2026-05-25T02:01:57Z"}],"graph_snapshots":[{"event_id":"sha256:26c4430fd75ceb32c69a2d911df720016a3975461b29c8a2fb56ed25bddb50fb","target":"graph","created_at":"2026-05-25T02:01:57Z","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/2605.23490/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Rust programming language is increasingly being considered for safety-critical system development. However, established safety standards such as ISO 26262 require the use of coding guidelines that do not yet exist for Rust. This paper systematically examines each of the 179 MISRA C++ 2023 coding guidelines and classifies them into 6 categories based on their applicability to Rust. Our approach analyzes the rationale behind each MISRA rule to determine whether it remains valid in the Rust programming context. We find that 47.75% of the 111 as-is applicable MISRA rules are automatically enfo","authors_text":"Alexandru Kampmann, Marius Molz, Niels Schneider, Stefan Kowalewski, Sven Lechner","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-22T10:52:52Z","title":"MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.23490","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:1fc193c6f5f7d8370fc81c2d54a534febfe4bad214a995afd7d859171a1a5f64","target":"record","created_at":"2026-05-25T02:01:57Z","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":"64df97fd85edbe20bea618a772151c5afb1af3d033173be3090c2290a8d4dbd8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-22T10:52:52Z","title_canon_sha256":"fd5c83f78d8a7f95687a324a8d01de8af9287fb99e3334049420c8d2404b4acb"},"schema_version":"1.0","source":{"id":"2605.23490","kind":"arxiv","version":1}},"canonical_sha256":"c92c21e0a20ce21bf2c298610f473463a87fbaf4f1dcec04d1d07873ad7f44de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c92c21e0a20ce21bf2c298610f473463a87fbaf4f1dcec04d1d07873ad7f44de","first_computed_at":"2026-05-25T02:01:57.491770Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:01:57.491770Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E0Nyb5T+NDsYM4m1H7+6t7H9H4vOC07xySMSzBtDpoepKElgvIbr3irDaX8Ba3YJ0e9qvV+QAw9W+koU7z/mDg==","signature_status":"signed_v1","signed_at":"2026-05-25T02:01:57.492386Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.23490","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1fc193c6f5f7d8370fc81c2d54a534febfe4bad214a995afd7d859171a1a5f64","sha256:26c4430fd75ceb32c69a2d911df720016a3975461b29c8a2fb56ed25bddb50fb"],"state_sha256":"12524fa7b0ec553d963b4924cd1e5649dbfcfd2480a60356d54439c5e6d30d75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6TnIuf++7SsQT6Mj6oX3CND3+vM72dv5Rsike0k6lcndiOgSU8TNTzzVKiG3DiJUglfju0GnfpzNmZIfrNUPDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T06:37:02.657545Z","bundle_sha256":"44e24c9a58bfa97d832c9382401dcf9b71d13eba7cf229986918f4e0b1004388"}}