{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:U5JADA2JYCT6SB23IISP3JHZWK","short_pith_number":"pith:U5JADA2J","canonical_record":{"source":{"id":"2605.21676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-20T19:35:16Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"bc9758cb47c50265e20a445df6f5530dfbe2f1133d478ff5edd68ef0350eae28","abstract_canon_sha256":"bbcb5d299f5b783d5ee771026f1a24373a0579ddaaf5c227b09913ef202a4127"},"schema_version":"1.0"},"canonical_sha256":"a752018349c0a7e9075b4224fda4f9b29d53859de7210a908458f845de0f6ca0","source":{"kind":"arxiv","id":"2605.21676","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21676","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21676v1","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21676","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_12","alias_value":"U5JADA2JYCT6","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_16","alias_value":"U5JADA2JYCT6SB23","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_8","alias_value":"U5JADA2J","created_at":"2026-05-22T01:03:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:U5JADA2JYCT6SB23IISP3JHZWK","target":"record","payload":{"canonical_record":{"source":{"id":"2605.21676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-20T19:35:16Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"bc9758cb47c50265e20a445df6f5530dfbe2f1133d478ff5edd68ef0350eae28","abstract_canon_sha256":"bbcb5d299f5b783d5ee771026f1a24373a0579ddaaf5c227b09913ef202a4127"},"schema_version":"1.0"},"canonical_sha256":"a752018349c0a7e9075b4224fda4f9b29d53859de7210a908458f845de0f6ca0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:03:27.673043Z","signature_b64":"iPkSUZjtZWc5eVOtzBXzqaJEMyj1itoYGhxWUwQd3+ZoOGqzXPddfl+p0TStx1RJCxbh/dBwXMIsLRSVr8NZCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a752018349c0a7e9075b4224fda4f9b29d53859de7210a908458f845de0f6ca0","last_reissued_at":"2026-05-22T01:03:27.672421Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:03:27.672421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.21676","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-22T01:03:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/ePokZ4PwdnZjxe9ug2apOr6Zpe6Agf6o88OjYpi7F3pxeLOK+6fPvBIyCm2QQPv93qnCy+12XS8eGV7SRAEBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:15:56.466945Z"},"content_sha256":"268286ddf74106b4fca50d646599a4aba2d6390b7e262f431b0b76da1c15953f","schema_version":"1.0","event_id":"sha256:268286ddf74106b4fca50d646599a4aba2d6390b7e262f431b0b76da1c15953f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:U5JADA2JYCT6SB23IISP3JHZWK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Ernest Bonnah, Paapa Kwesi Quansah","submitted_at":"2026-05-20T19:35:16Z","abstract_excerpt":"Stochastic cyber-physical systems (CPS) permeate critical infrastructure, from autonomous vehicles to medical devices. Yet, tools for runtime verification of such systems capturing the probabilistic dynamics in stochastic systems remain generally absent despite theoretical foundations established nearly a decade ago. In this paper, we present SENTIL, a novel runtime verification tool with provable statistical guarantees for the runtime monitoring of requirements expressed as Probabilistic Signal Temporal Logic (PrSTL). SENTIL combines an efficient Rust core with universal ecosystem integration"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21676","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.21676/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-22T01:03:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E3veIfuXop2AUA8NvXmffMbIl7yuFL9DKUrYyiAx5PTU/U65bRxJSXXX8cz67UQYV+SdTeseNGOZ8OBsiC/vBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:15:56.467354Z"},"content_sha256":"23371be2d4be53233fd1656bcd3305da47c255c3ceb2c29357840cafcc17922a","schema_version":"1.0","event_id":"sha256:23371be2d4be53233fd1656bcd3305da47c255c3ceb2c29357840cafcc17922a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U5JADA2JYCT6SB23IISP3JHZWK/bundle.json","state_url":"https://pith.science/pith/U5JADA2JYCT6SB23IISP3JHZWK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U5JADA2JYCT6SB23IISP3JHZWK/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-26T03:15:56Z","links":{"resolver":"https://pith.science/pith/U5JADA2JYCT6SB23IISP3JHZWK","bundle":"https://pith.science/pith/U5JADA2JYCT6SB23IISP3JHZWK/bundle.json","state":"https://pith.science/pith/U5JADA2JYCT6SB23IISP3JHZWK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U5JADA2JYCT6SB23IISP3JHZWK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:U5JADA2JYCT6SB23IISP3JHZWK","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":"bbcb5d299f5b783d5ee771026f1a24373a0579ddaaf5c227b09913ef202a4127","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-20T19:35:16Z","title_canon_sha256":"bc9758cb47c50265e20a445df6f5530dfbe2f1133d478ff5edd68ef0350eae28"},"schema_version":"1.0","source":{"id":"2605.21676","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21676","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21676v1","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21676","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_12","alias_value":"U5JADA2JYCT6","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_16","alias_value":"U5JADA2JYCT6SB23","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_8","alias_value":"U5JADA2J","created_at":"2026-05-22T01:03:27Z"}],"graph_snapshots":[{"event_id":"sha256:23371be2d4be53233fd1656bcd3305da47c255c3ceb2c29357840cafcc17922a","target":"graph","created_at":"2026-05-22T01:03:27Z","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.21676/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Stochastic cyber-physical systems (CPS) permeate critical infrastructure, from autonomous vehicles to medical devices. Yet, tools for runtime verification of such systems capturing the probabilistic dynamics in stochastic systems remain generally absent despite theoretical foundations established nearly a decade ago. In this paper, we present SENTIL, a novel runtime verification tool with provable statistical guarantees for the runtime monitoring of requirements expressed as Probabilistic Signal Temporal Logic (PrSTL). SENTIL combines an efficient Rust core with universal ecosystem integration","authors_text":"Ernest Bonnah, Paapa Kwesi Quansah","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-20T19:35:16Z","title":"SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21676","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:268286ddf74106b4fca50d646599a4aba2d6390b7e262f431b0b76da1c15953f","target":"record","created_at":"2026-05-22T01:03:27Z","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":"bbcb5d299f5b783d5ee771026f1a24373a0579ddaaf5c227b09913ef202a4127","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-20T19:35:16Z","title_canon_sha256":"bc9758cb47c50265e20a445df6f5530dfbe2f1133d478ff5edd68ef0350eae28"},"schema_version":"1.0","source":{"id":"2605.21676","kind":"arxiv","version":1}},"canonical_sha256":"a752018349c0a7e9075b4224fda4f9b29d53859de7210a908458f845de0f6ca0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a752018349c0a7e9075b4224fda4f9b29d53859de7210a908458f845de0f6ca0","first_computed_at":"2026-05-22T01:03:27.672421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:03:27.672421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iPkSUZjtZWc5eVOtzBXzqaJEMyj1itoYGhxWUwQd3+ZoOGqzXPddfl+p0TStx1RJCxbh/dBwXMIsLRSVr8NZCA==","signature_status":"signed_v1","signed_at":"2026-05-22T01:03:27.673043Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.21676","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:268286ddf74106b4fca50d646599a4aba2d6390b7e262f431b0b76da1c15953f","sha256:23371be2d4be53233fd1656bcd3305da47c255c3ceb2c29357840cafcc17922a"],"state_sha256":"3fe8824f39f1a11b53a838753d64fe0f7039083a19b24a294369610ef98b403f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s0ptM9y5awAaV7eychw5LtvHW5QxfyWkTYe73djJ0WvB/OFdFb+/DvVA4ARKggkDsnb1o773cjTQmnVv0hddAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:15:56.470807Z","bundle_sha256":"aa1e940f0bef9fa5fcae432334551470cb77ccfa17b12778bfdf8670aaa690a0"}}