{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:MBIEA3INVUR3JN33JRKTAVC547","short_pith_number":"pith:MBIEA3IN","canonical_record":{"source":{"id":"2308.02572","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2023-08-03T11:44:23Z","cross_cats_sorted":["cs.CE","cs.SY"],"title_canon_sha256":"9e631c66a4458660a7fe61bcb0f71277816a703e4eea77a920798c2b42ab11b6","abstract_canon_sha256":"0dfc1f59911df1077facc57da7e62c8db52267a7fa2e30240e947e4498c863a9"},"schema_version":"1.0"},"canonical_sha256":"6050406d0dad23b4b77b4c5530545de7e40ebf142d6a9c955dcbbb30414494ac","source":{"kind":"arxiv","id":"2308.02572","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.02572","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"arxiv_version","alias_value":"2308.02572v5","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.02572","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"pith_short_12","alias_value":"MBIEA3INVUR3","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"pith_short_16","alias_value":"MBIEA3INVUR3JN33","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"pith_short_8","alias_value":"MBIEA3IN","created_at":"2026-07-05T11:30:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:MBIEA3INVUR3JN33JRKTAVC547","target":"record","payload":{"canonical_record":{"source":{"id":"2308.02572","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2023-08-03T11:44:23Z","cross_cats_sorted":["cs.CE","cs.SY"],"title_canon_sha256":"9e631c66a4458660a7fe61bcb0f71277816a703e4eea77a920798c2b42ab11b6","abstract_canon_sha256":"0dfc1f59911df1077facc57da7e62c8db52267a7fa2e30240e947e4498c863a9"},"schema_version":"1.0"},"canonical_sha256":"6050406d0dad23b4b77b4c5530545de7e40ebf142d6a9c955dcbbb30414494ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:30:34.619688Z","signature_b64":"12YUqIcVTmjzuFHjEPRYYRb43OVaMuCxHgQpldx/aBN1U0V8ygr5eK3w3BCSag1tgm4HXOvF7zUKd9XTJjzDDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6050406d0dad23b4b77b4c5530545de7e40ebf142d6a9c955dcbbb30414494ac","last_reissued_at":"2026-07-05T11:30:34.619109Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:30:34.619109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.02572","source_version":5,"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-05T11:30:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7n7qIwWpNXpPqie80MzfaOGYhVI7RTRshFIcZH6nTnQjMFhOoCNewwfNaKgZQ/4xf++ECBsHcuykjLUgoMmRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T12:44:16.253219Z"},"content_sha256":"5b8096d9dfcf690aef72784492265c035996efcccc398c08d1c06ebf34aa3505","schema_version":"1.0","event_id":"sha256:5b8096d9dfcf690aef72784492265c035996efcccc398c08d1c06ebf34aa3505"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:MBIEA3INVUR3JN33JRKTAVC547","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Design Tasks and Their Complexity for the European Train Control System with Hybrid Train Detection","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CE","cs.SY"],"primary_cat":"eess.SY","authors_text":"Judith Przigoda, Nils Przigoda, Robert Wille, Stefan Engels, Tom Peham","submitted_at":"2023-08-03T11:44:23Z","abstract_excerpt":"Railway networks have become increasingly important in recent times, especially in moving freight and public transportation from road traffic and planes to more environmentally friendly trains. Since expanding the global railway network is time- and resource-consuming, maximizing the rail capacity of the existing infrastructure is desirable. However, simply running more trains is infeasible as certain constraints enforced by the train control system must be satisfied. The capacity of a network depends (amongst others) on the distance between trains allowed by this safety system. While most sig"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.02572","kind":"arxiv","version":5},"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/2308.02572/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-05T11:30:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+hdjYPnUM8quDMfF2NE7zD6ehg1b8bILpSj2Umg1wsLJCWGN1vRZiat4WqlDMGxwcFXxN1fPRjacjsCJOeslCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T12:44:16.253614Z"},"content_sha256":"fda3823afef3a64305694251019413417efdc93bb5baf9096f23282934837394","schema_version":"1.0","event_id":"sha256:fda3823afef3a64305694251019413417efdc93bb5baf9096f23282934837394"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MBIEA3INVUR3JN33JRKTAVC547/bundle.json","state_url":"https://pith.science/pith/MBIEA3INVUR3JN33JRKTAVC547/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MBIEA3INVUR3JN33JRKTAVC547/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-01T12:44:16Z","links":{"resolver":"https://pith.science/pith/MBIEA3INVUR3JN33JRKTAVC547","bundle":"https://pith.science/pith/MBIEA3INVUR3JN33JRKTAVC547/bundle.json","state":"https://pith.science/pith/MBIEA3INVUR3JN33JRKTAVC547/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MBIEA3INVUR3JN33JRKTAVC547/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MBIEA3INVUR3JN33JRKTAVC547","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":"0dfc1f59911df1077facc57da7e62c8db52267a7fa2e30240e947e4498c863a9","cross_cats_sorted":["cs.CE","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2023-08-03T11:44:23Z","title_canon_sha256":"9e631c66a4458660a7fe61bcb0f71277816a703e4eea77a920798c2b42ab11b6"},"schema_version":"1.0","source":{"id":"2308.02572","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.02572","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"arxiv_version","alias_value":"2308.02572v5","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.02572","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"pith_short_12","alias_value":"MBIEA3INVUR3","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"pith_short_16","alias_value":"MBIEA3INVUR3JN33","created_at":"2026-07-05T11:30:34Z"},{"alias_kind":"pith_short_8","alias_value":"MBIEA3IN","created_at":"2026-07-05T11:30:34Z"}],"graph_snapshots":[{"event_id":"sha256:fda3823afef3a64305694251019413417efdc93bb5baf9096f23282934837394","target":"graph","created_at":"2026-07-05T11:30:34Z","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/2308.02572/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Railway networks have become increasingly important in recent times, especially in moving freight and public transportation from road traffic and planes to more environmentally friendly trains. Since expanding the global railway network is time- and resource-consuming, maximizing the rail capacity of the existing infrastructure is desirable. However, simply running more trains is infeasible as certain constraints enforced by the train control system must be satisfied. The capacity of a network depends (amongst others) on the distance between trains allowed by this safety system. While most sig","authors_text":"Judith Przigoda, Nils Przigoda, Robert Wille, Stefan Engels, Tom Peham","cross_cats":["cs.CE","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2023-08-03T11:44:23Z","title":"Design Tasks and Their Complexity for the European Train Control System with Hybrid Train Detection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.02572","kind":"arxiv","version":5},"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:5b8096d9dfcf690aef72784492265c035996efcccc398c08d1c06ebf34aa3505","target":"record","created_at":"2026-07-05T11:30:34Z","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":"0dfc1f59911df1077facc57da7e62c8db52267a7fa2e30240e947e4498c863a9","cross_cats_sorted":["cs.CE","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2023-08-03T11:44:23Z","title_canon_sha256":"9e631c66a4458660a7fe61bcb0f71277816a703e4eea77a920798c2b42ab11b6"},"schema_version":"1.0","source":{"id":"2308.02572","kind":"arxiv","version":5}},"canonical_sha256":"6050406d0dad23b4b77b4c5530545de7e40ebf142d6a9c955dcbbb30414494ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6050406d0dad23b4b77b4c5530545de7e40ebf142d6a9c955dcbbb30414494ac","first_computed_at":"2026-07-05T11:30:34.619109Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:30:34.619109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"12YUqIcVTmjzuFHjEPRYYRb43OVaMuCxHgQpldx/aBN1U0V8ygr5eK3w3BCSag1tgm4HXOvF7zUKd9XTJjzDDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:30:34.619688Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.02572","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b8096d9dfcf690aef72784492265c035996efcccc398c08d1c06ebf34aa3505","sha256:fda3823afef3a64305694251019413417efdc93bb5baf9096f23282934837394"],"state_sha256":"d73a2f3500b0d759b1172c86357634b1a09cc54bfb0ab3083b5b1b4426013d28"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1oyUVx/2jPLPd/jcOJPIi+BAvB0on35O67CKR4OCaYVWA2VP3+z6rJ0hvzB0hu8l5FBtnCqzTTVmUUZsAOHCDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T12:44:16.256943Z","bundle_sha256":"cd96eb1cbcb7480c9b0849041280bc64050b8e1390347d52adf639dd4ca82808"}}