{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RLWVROX34BBGMBSJ6C2CAEHTW6","short_pith_number":"pith:RLWVROX3","canonical_record":{"source":{"id":"2605.14666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T10:23:11Z","cross_cats_sorted":[],"title_canon_sha256":"1dc173eb0f2c8264794e16ab60efe579c7785570cae297b188408e2f20e755e8","abstract_canon_sha256":"6f782771ce974705a307bfc99543818f36cfd9609af98c3ccf7226e494c037bf"},"schema_version":"1.0"},"canonical_sha256":"8aed58bafbe042660649f0b42010f3b79b838973ca62f9d2fac10f929d1b7e73","source":{"kind":"arxiv","id":"2605.14666","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14666","created_at":"2026-05-17T23:39:02Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14666v1","created_at":"2026-05-17T23:39:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14666","created_at":"2026-05-17T23:39:02Z"},{"alias_kind":"pith_short_12","alias_value":"RLWVROX34BBG","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"RLWVROX34BBGMBSJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"RLWVROX3","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RLWVROX34BBGMBSJ6C2CAEHTW6","target":"record","payload":{"canonical_record":{"source":{"id":"2605.14666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T10:23:11Z","cross_cats_sorted":[],"title_canon_sha256":"1dc173eb0f2c8264794e16ab60efe579c7785570cae297b188408e2f20e755e8","abstract_canon_sha256":"6f782771ce974705a307bfc99543818f36cfd9609af98c3ccf7226e494c037bf"},"schema_version":"1.0"},"canonical_sha256":"8aed58bafbe042660649f0b42010f3b79b838973ca62f9d2fac10f929d1b7e73","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:02.144603Z","signature_b64":"7kBSMAcmFxoA50lINnXZZo8p4VZCmvAtQJICL6FGgb+xzuQJmf6hXN5KM50Qv02u01aNVHqtgGDwSfc41mWsCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8aed58bafbe042660649f0b42010f3b79b838973ca62f9d2fac10f929d1b7e73","last_reissued_at":"2026-05-17T23:39:02.143953Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:02.143953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.14666","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-17T23:39:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WRn7zBUNk6xw8MPTiaCLh2BSPmEMn6ik7Iikmk1tdprCvMiGsbiUoNz4bT4MkdnV8v7pJ8AMm5lZ9wemd/SbDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:29:28.886962Z"},"content_sha256":"bd9dcc1fc80e6c83fdedc2684b0c599ad145e3a07c387793a9fe7b87d25cc5f3","schema_version":"1.0","event_id":"sha256:bd9dcc1fc80e6c83fdedc2684b0c599ad145e3a07c387793a9fe7b87d25cc5f3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RLWVROX34BBGMBSJ6C2CAEHTW6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Monitoring Data-aware Temporal Properties (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandro Gianola, Marco Montali, Sarah Winkler","submitted_at":"2026-05-14T10:23:11Z","abstract_excerpt":"Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable. Monitoring is in such cases an attractive alternative, as it evaluates desirable properties along traces generated by an unknown dynamic system. In this work, we consider anticipatory monitoring of linear-time properties enriched with an arbitrary SMT theory over finite traces (LTLfMT). Anticipatory monitoring in this setting is highly challenging, as the monitoring state depends on both the trace prefix seen so fa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.14666","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":""},"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-17T23:39:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4ba9EWeV24cGskfXBJM70Fqh3GDLMXdSXCjCL3Le3z6+fsoRM46hsM6yx906XbcjTvLNtl4ZiIaQnQZcNfkJCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:29:28.887626Z"},"content_sha256":"b5fc288cd482defe0a1199a84164cb5243a11d0362392004d5a5476cebd470c8","schema_version":"1.0","event_id":"sha256:b5fc288cd482defe0a1199a84164cb5243a11d0362392004d5a5476cebd470c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/bundle.json","state_url":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/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-29T17:29:28Z","links":{"resolver":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6","bundle":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/bundle.json","state":"https://pith.science/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RLWVROX34BBGMBSJ6C2CAEHTW6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RLWVROX34BBGMBSJ6C2CAEHTW6","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":"6f782771ce974705a307bfc99543818f36cfd9609af98c3ccf7226e494c037bf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T10:23:11Z","title_canon_sha256":"1dc173eb0f2c8264794e16ab60efe579c7785570cae297b188408e2f20e755e8"},"schema_version":"1.0","source":{"id":"2605.14666","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14666","created_at":"2026-05-17T23:39:02Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14666v1","created_at":"2026-05-17T23:39:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14666","created_at":"2026-05-17T23:39:02Z"},{"alias_kind":"pith_short_12","alias_value":"RLWVROX34BBG","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"RLWVROX34BBGMBSJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"RLWVROX3","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:b5fc288cd482defe0a1199a84164cb5243a11d0362392004d5a5476cebd470c8","target":"graph","created_at":"2026-05-17T23:39:02Z","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"},"paper":{"abstract_excerpt":"Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable. Monitoring is in such cases an attractive alternative, as it evaluates desirable properties along traces generated by an unknown dynamic system. In this work, we consider anticipatory monitoring of linear-time properties enriched with an arbitrary SMT theory over finite traces (LTLfMT). Anticipatory monitoring in this setting is highly challenging, as the monitoring state depends on both the trace prefix seen so fa","authors_text":"Alessandro Gianola, Marco Montali, Sarah Winkler","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T10:23:11Z","title":"Monitoring Data-aware Temporal Properties (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.14666","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:bd9dcc1fc80e6c83fdedc2684b0c599ad145e3a07c387793a9fe7b87d25cc5f3","target":"record","created_at":"2026-05-17T23:39:02Z","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":"6f782771ce974705a307bfc99543818f36cfd9609af98c3ccf7226e494c037bf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T10:23:11Z","title_canon_sha256":"1dc173eb0f2c8264794e16ab60efe579c7785570cae297b188408e2f20e755e8"},"schema_version":"1.0","source":{"id":"2605.14666","kind":"arxiv","version":1}},"canonical_sha256":"8aed58bafbe042660649f0b42010f3b79b838973ca62f9d2fac10f929d1b7e73","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8aed58bafbe042660649f0b42010f3b79b838973ca62f9d2fac10f929d1b7e73","first_computed_at":"2026-05-17T23:39:02.143953Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:02.143953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7kBSMAcmFxoA50lINnXZZo8p4VZCmvAtQJICL6FGgb+xzuQJmf6hXN5KM50Qv02u01aNVHqtgGDwSfc41mWsCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:02.144603Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14666","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd9dcc1fc80e6c83fdedc2684b0c599ad145e3a07c387793a9fe7b87d25cc5f3","sha256:b5fc288cd482defe0a1199a84164cb5243a11d0362392004d5a5476cebd470c8"],"state_sha256":"e410c6ee13cb2ce30e6a5db0a58580bc60cf484ab16ec6c406b62f5f892cc779"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1UA6z2JGMN0Q58FUK1ICUtmORV+4DPgA2TWD3JyRwzV6xxpnW/6FAoO+0xKTjCCK1lx+O+bZFHn5cMoTLqmcBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T17:29:28.890844Z","bundle_sha256":"55d975d4a22e4733b559f3cf158ad7d209651e2336d03d4d3a70bbf395b9e104"}}