{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NVSIHU2FWV3OTET2OXGSLBS4KW","short_pith_number":"pith:NVSIHU2F","canonical_record":{"source":{"id":"2510.14699","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-10-16T14:04:17Z","cross_cats_sorted":[],"title_canon_sha256":"848bda722fca9396c5c1871f8df64bd8ddb9f935beade987f8d4b8efab9b25ce","abstract_canon_sha256":"181fdb5501b81986252de3b4bf9997d0b66b9429fcc386568392a165a839a10a"},"schema_version":"1.0"},"canonical_sha256":"6d6483d345b576e9927a75cd25865c55b4971b3b26cc8a19b24d65c31bdae1f9","source":{"kind":"arxiv","id":"2510.14699","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.14699","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"arxiv_version","alias_value":"2510.14699v2","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.14699","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"pith_short_12","alias_value":"NVSIHU2FWV3O","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"pith_short_16","alias_value":"NVSIHU2FWV3OTET2","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"pith_short_8","alias_value":"NVSIHU2F","created_at":"2026-05-20T00:05:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NVSIHU2FWV3OTET2OXGSLBS4KW","target":"record","payload":{"canonical_record":{"source":{"id":"2510.14699","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-10-16T14:04:17Z","cross_cats_sorted":[],"title_canon_sha256":"848bda722fca9396c5c1871f8df64bd8ddb9f935beade987f8d4b8efab9b25ce","abstract_canon_sha256":"181fdb5501b81986252de3b4bf9997d0b66b9429fcc386568392a165a839a10a"},"schema_version":"1.0"},"canonical_sha256":"6d6483d345b576e9927a75cd25865c55b4971b3b26cc8a19b24d65c31bdae1f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:35.097016Z","signature_b64":"1tWQRMNZOt0MfrRNtNPbo0lcoVkxBj62UTqcx/jI8Y3OnYcVaa2mA1dnm6RBCAKhOGvHGvgOqWvsMV28hcndBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6d6483d345b576e9927a75cd25865c55b4971b3b26cc8a19b24d65c31bdae1f9","last_reissued_at":"2026-05-20T00:05:35.096145Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:35.096145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.14699","source_version":2,"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-20T00:05:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"orgZzoQXPdD2BnjvDcgQFAYE2Hjlh+a6PjNGx980Ti4PMY9fwtJruI9ZH3J4l2GZKjKvjXV7CAOUd/iMvZ7EAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T04:14:07.906742Z"},"content_sha256":"e6a247a6746f56a69c95f0f05c98bd6cca89989329b51df2ee6a1b0f2feba95a","schema_version":"1.0","event_id":"sha256:e6a247a6746f56a69c95f0f05c98bd6cca89989329b51df2ee6a1b0f2feba95a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NVSIHU2FWV3OTET2OXGSLBS4KW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"B. Srivathsan, Paul Gastin, Prerak Contractor, R. Govind, S. Akshay","submitted_at":"2025-10-16T14:04:17Z","abstract_excerpt":"Model checking for real-timed systems is a rich and diverse topic. Among the different logics considered, Metric Interval Temporal Logic (MITL) is a powerful and commonly used logic, which can succinctly encode many interesting timed properties especially when past and future modalities are used together. In this work, we develop a new approach for MITL model checking in the pointwise semantics, where our focus is on integrating past and maximizing determinism in the translated automata.\n  Towards this goal, we define synchronous networks of timed automata with shared variables and show that t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.14699","kind":"arxiv","version":2},"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/2510.14699/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-20T00:05:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZSlRl3M73hJeZ9h2uGQRQDRZZlULycshWmt9u+YvwkMKTtEW9AwyovNaiuNa0HxZGQJtTjZvoF7GNVw6UK4aDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T04:14:07.907116Z"},"content_sha256":"6ce9bb7087449eea6ccab6cd704ac178a2bc6abbfe6effcfbc3be9cbe93d4561","schema_version":"1.0","event_id":"sha256:6ce9bb7087449eea6ccab6cd704ac178a2bc6abbfe6effcfbc3be9cbe93d4561"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NVSIHU2FWV3OTET2OXGSLBS4KW/bundle.json","state_url":"https://pith.science/pith/NVSIHU2FWV3OTET2OXGSLBS4KW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NVSIHU2FWV3OTET2OXGSLBS4KW/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-30T04:14:07Z","links":{"resolver":"https://pith.science/pith/NVSIHU2FWV3OTET2OXGSLBS4KW","bundle":"https://pith.science/pith/NVSIHU2FWV3OTET2OXGSLBS4KW/bundle.json","state":"https://pith.science/pith/NVSIHU2FWV3OTET2OXGSLBS4KW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NVSIHU2FWV3OTET2OXGSLBS4KW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NVSIHU2FWV3OTET2OXGSLBS4KW","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":"181fdb5501b81986252de3b4bf9997d0b66b9429fcc386568392a165a839a10a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-10-16T14:04:17Z","title_canon_sha256":"848bda722fca9396c5c1871f8df64bd8ddb9f935beade987f8d4b8efab9b25ce"},"schema_version":"1.0","source":{"id":"2510.14699","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.14699","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"arxiv_version","alias_value":"2510.14699v2","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.14699","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"pith_short_12","alias_value":"NVSIHU2FWV3O","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"pith_short_16","alias_value":"NVSIHU2FWV3OTET2","created_at":"2026-05-20T00:05:35Z"},{"alias_kind":"pith_short_8","alias_value":"NVSIHU2F","created_at":"2026-05-20T00:05:35Z"}],"graph_snapshots":[{"event_id":"sha256:6ce9bb7087449eea6ccab6cd704ac178a2bc6abbfe6effcfbc3be9cbe93d4561","target":"graph","created_at":"2026-05-20T00:05:35Z","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/2510.14699/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Model checking for real-timed systems is a rich and diverse topic. Among the different logics considered, Metric Interval Temporal Logic (MITL) is a powerful and commonly used logic, which can succinctly encode many interesting timed properties especially when past and future modalities are used together. In this work, we develop a new approach for MITL model checking in the pointwise semantics, where our focus is on integrating past and maximizing determinism in the translated automata.\n  Towards this goal, we define synchronous networks of timed automata with shared variables and show that t","authors_text":"B. Srivathsan, Paul Gastin, Prerak Contractor, R. Govind, S. Akshay","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-10-16T14:04:17Z","title":"TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.14699","kind":"arxiv","version":2},"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:e6a247a6746f56a69c95f0f05c98bd6cca89989329b51df2ee6a1b0f2feba95a","target":"record","created_at":"2026-05-20T00:05:35Z","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":"181fdb5501b81986252de3b4bf9997d0b66b9429fcc386568392a165a839a10a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-10-16T14:04:17Z","title_canon_sha256":"848bda722fca9396c5c1871f8df64bd8ddb9f935beade987f8d4b8efab9b25ce"},"schema_version":"1.0","source":{"id":"2510.14699","kind":"arxiv","version":2}},"canonical_sha256":"6d6483d345b576e9927a75cd25865c55b4971b3b26cc8a19b24d65c31bdae1f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6d6483d345b576e9927a75cd25865c55b4971b3b26cc8a19b24d65c31bdae1f9","first_computed_at":"2026-05-20T00:05:35.096145Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:35.096145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1tWQRMNZOt0MfrRNtNPbo0lcoVkxBj62UTqcx/jI8Y3OnYcVaa2mA1dnm6RBCAKhOGvHGvgOqWvsMV28hcndBQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:35.097016Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.14699","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e6a247a6746f56a69c95f0f05c98bd6cca89989329b51df2ee6a1b0f2feba95a","sha256:6ce9bb7087449eea6ccab6cd704ac178a2bc6abbfe6effcfbc3be9cbe93d4561"],"state_sha256":"c4dabde1632d0b000706f9b2dea6b511d9df4fa9df4b06eb2f1cddbc46f1b083"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A6NdqVf0qt9+G331IF+IDHyZjYgYNOlYp/+D21c9KxePhCMh1rIwHe4ic0I10yaik7v3RGkpB/zBFAZ7hJpgBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T04:14:07.909127Z","bundle_sha256":"fd3b00ee23115b9f7cca7377a7fc56b773ec9ba618a5920b97f0e48b86fd6225"}}