{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:I7G5YX247BSO7XCSY5IVK6WQMN","short_pith_number":"pith:I7G5YX24","canonical_record":{"source":{"id":"2508.00500","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-01T10:24:47Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"454654a232c045bf25e7d80df69e3fdb0c554d569c5abedab51e3d0215e3b462","abstract_canon_sha256":"8ce97c36099b9490aa5a81dc782662bb774007cf6e32bd72a25aa4273e98f604"},"schema_version":"1.0"},"canonical_sha256":"47cddc5f5cf864efdc52c751557ad0634070faebf830f1304facc23c62840c02","source":{"kind":"arxiv","id":"2508.00500","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.00500","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"arxiv_version","alias_value":"2508.00500v4","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.00500","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"pith_short_12","alias_value":"I7G5YX247BSO","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"pith_short_16","alias_value":"I7G5YX247BSO7XCS","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"pith_short_8","alias_value":"I7G5YX24","created_at":"2026-08-04T01:57:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:I7G5YX247BSO7XCSY5IVK6WQMN","target":"record","payload":{"canonical_record":{"source":{"id":"2508.00500","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-01T10:24:47Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"454654a232c045bf25e7d80df69e3fdb0c554d569c5abedab51e3d0215e3b462","abstract_canon_sha256":"8ce97c36099b9490aa5a81dc782662bb774007cf6e32bd72a25aa4273e98f604"},"schema_version":"1.0"},"canonical_sha256":"47cddc5f5cf864efdc52c751557ad0634070faebf830f1304facc23c62840c02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:57:50.809441Z","signature_b64":"Ih9lOoPsFiBkNtBNiA9DPlH32ADhlPDt/Qhqh6h+lssaHhKyc3DLOrBZ7KQ4niRmssZRO14hF5D4SUKj6AyIBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47cddc5f5cf864efdc52c751557ad0634070faebf830f1304facc23c62840c02","last_reissued_at":"2026-08-04T01:57:50.807867Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:57:50.807867Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.00500","source_version":4,"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-08-04T01:57:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H6v/jxrQIJyOyQlBeInabxDe7F0EQnzoOEV8LZkZyQsBXK+v2kaT+eMJCpmEc3qDt6gY6KbahMnN7nga+DHQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:07:59.445842Z"},"content_sha256":"39689e98286b3319b9d559989539e3f2fe5d7490c8dba4f28d5cbc4ae96b9c82","schema_version":"1.0","event_id":"sha256:39689e98286b3319b9d559989539e3f2fe5d7490c8dba4f28d5cbc4ae96b9c82"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:I7G5YX247BSO7XCSY5IVK6WQMN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.AI","authors_text":"Christopher M. Poskitt, Haoyu Wang, Jiali Wei, Jun Sun","submitted_at":"2025-08-01T10:24:47Z","abstract_excerpt":"Large Language Model (LLM) agents increasingly operate across domains such as robotics, virtual assistants, and web automation. However, their stochastic decision-making introduces safety risks that are difficult to anticipate during execution. Existing runtime monitoring frameworks, such as AgentSpec, primarily rely on reactive safety rules that detect violations only when unsafe behavior is imminent or has already occurred, limiting their ability to handle long-horizon dependencies. We present ProbGuard, a proactive runtime monitoring framework for LLM agents that anticipates safety violatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.00500","kind":"arxiv","version":4},"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/2508.00500/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-08-04T01:57:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m8WxUXmlyTtfizeoW0+tx5g3AVI34ybtMaGP5f6h+SWmhJEKjmkwBVFokoEhGW7m1SO/4jFcOX8WlAFUHdWPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:07:59.446814Z"},"content_sha256":"9ec66602be966cd154251201eaa23ef82e2c029d1d9dc5e5ff5841af48dc4094","schema_version":"1.0","event_id":"sha256:9ec66602be966cd154251201eaa23ef82e2c029d1d9dc5e5ff5841af48dc4094"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I7G5YX247BSO7XCSY5IVK6WQMN/bundle.json","state_url":"https://pith.science/pith/I7G5YX247BSO7XCSY5IVK6WQMN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I7G5YX247BSO7XCSY5IVK6WQMN/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-04T17:07:59Z","links":{"resolver":"https://pith.science/pith/I7G5YX247BSO7XCSY5IVK6WQMN","bundle":"https://pith.science/pith/I7G5YX247BSO7XCSY5IVK6WQMN/bundle.json","state":"https://pith.science/pith/I7G5YX247BSO7XCSY5IVK6WQMN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I7G5YX247BSO7XCSY5IVK6WQMN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:I7G5YX247BSO7XCSY5IVK6WQMN","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":"8ce97c36099b9490aa5a81dc782662bb774007cf6e32bd72a25aa4273e98f604","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-01T10:24:47Z","title_canon_sha256":"454654a232c045bf25e7d80df69e3fdb0c554d569c5abedab51e3d0215e3b462"},"schema_version":"1.0","source":{"id":"2508.00500","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.00500","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"arxiv_version","alias_value":"2508.00500v4","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.00500","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"pith_short_12","alias_value":"I7G5YX247BSO","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"pith_short_16","alias_value":"I7G5YX247BSO7XCS","created_at":"2026-08-04T01:57:50Z"},{"alias_kind":"pith_short_8","alias_value":"I7G5YX24","created_at":"2026-08-04T01:57:50Z"}],"graph_snapshots":[{"event_id":"sha256:9ec66602be966cd154251201eaa23ef82e2c029d1d9dc5e5ff5841af48dc4094","target":"graph","created_at":"2026-08-04T01:57:50Z","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/2508.00500/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Model (LLM) agents increasingly operate across domains such as robotics, virtual assistants, and web automation. However, their stochastic decision-making introduces safety risks that are difficult to anticipate during execution. Existing runtime monitoring frameworks, such as AgentSpec, primarily rely on reactive safety rules that detect violations only when unsafe behavior is imminent or has already occurred, limiting their ability to handle long-horizon dependencies. We present ProbGuard, a proactive runtime monitoring framework for LLM agents that anticipates safety violatio","authors_text":"Christopher M. Poskitt, Haoyu Wang, Jiali Wei, Jun Sun","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-01T10:24:47Z","title":"ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.00500","kind":"arxiv","version":4},"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:39689e98286b3319b9d559989539e3f2fe5d7490c8dba4f28d5cbc4ae96b9c82","target":"record","created_at":"2026-08-04T01:57:50Z","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":"8ce97c36099b9490aa5a81dc782662bb774007cf6e32bd72a25aa4273e98f604","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-01T10:24:47Z","title_canon_sha256":"454654a232c045bf25e7d80df69e3fdb0c554d569c5abedab51e3d0215e3b462"},"schema_version":"1.0","source":{"id":"2508.00500","kind":"arxiv","version":4}},"canonical_sha256":"47cddc5f5cf864efdc52c751557ad0634070faebf830f1304facc23c62840c02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"47cddc5f5cf864efdc52c751557ad0634070faebf830f1304facc23c62840c02","first_computed_at":"2026-08-04T01:57:50.807867Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T01:57:50.807867Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ih9lOoPsFiBkNtBNiA9DPlH32ADhlPDt/Qhqh6h+lssaHhKyc3DLOrBZ7KQ4niRmssZRO14hF5D4SUKj6AyIBw==","signature_status":"signed_v1","signed_at":"2026-08-04T01:57:50.809441Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.00500","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39689e98286b3319b9d559989539e3f2fe5d7490c8dba4f28d5cbc4ae96b9c82","sha256:9ec66602be966cd154251201eaa23ef82e2c029d1d9dc5e5ff5841af48dc4094"],"state_sha256":"7acd330d07685832d5248ee8845c50bf1471d48d459b98a356fd47d68d879c87"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x/65CO6pWrPXfe0kS+wZ81xw+UF2/+7uNCiHVacqSm9Re3Uxlvvklz3xhQviN8nPqI9wZ1Algy4bfnmp1RQiCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T17:07:59.453052Z","bundle_sha256":"d70568593092552049a742f21353ad137ecb120c12580b002c9ddd7bd7aee4cb"}}