{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:A43ZNTI2BY5XGVOQDCJR7XEPDC","short_pith_number":"pith:A43ZNTI2","canonical_record":{"source":{"id":"2606.23975","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T22:04:54Z","cross_cats_sorted":[],"title_canon_sha256":"7140c9389b052ec4ada8ba1292c0773cbff4da41b19ad273e27b6629c4091bf6","abstract_canon_sha256":"b236dac9ec423ee700d51e6c2ed7d7837b991ddaf3133ecbc21e8ee986511926"},"schema_version":"1.0"},"canonical_sha256":"073796cd1a0e3b7355d018931fdc8f188f8783db0562eabd8888b0ddd218e726","source":{"kind":"arxiv","id":"2606.23975","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23975","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23975v1","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23975","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"pith_short_12","alias_value":"A43ZNTI2BY5X","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"pith_short_16","alias_value":"A43ZNTI2BY5XGVOQ","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"pith_short_8","alias_value":"A43ZNTI2","created_at":"2026-06-24T00:14:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:A43ZNTI2BY5XGVOQDCJR7XEPDC","target":"record","payload":{"canonical_record":{"source":{"id":"2606.23975","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T22:04:54Z","cross_cats_sorted":[],"title_canon_sha256":"7140c9389b052ec4ada8ba1292c0773cbff4da41b19ad273e27b6629c4091bf6","abstract_canon_sha256":"b236dac9ec423ee700d51e6c2ed7d7837b991ddaf3133ecbc21e8ee986511926"},"schema_version":"1.0"},"canonical_sha256":"073796cd1a0e3b7355d018931fdc8f188f8783db0562eabd8888b0ddd218e726","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T00:14:32.071987Z","signature_b64":"Y2JofAVqc62B/Qjz/ysY+tiOz+YvoO9i/9i1C5yZcnWfhjWNPzrwSdpudfuhilAetwqwd6PMiQnJ34lRBDm4AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"073796cd1a0e3b7355d018931fdc8f188f8783db0562eabd8888b0ddd218e726","last_reissued_at":"2026-06-24T00:14:32.071576Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T00:14:32.071576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.23975","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-06-24T00:14:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xI84cyW0IR2cpxmmGt0jxyhTzttWIdZX+T0UfZgsVAmNQriAKfxRpr/JWfQISIxCAHDaz/tIDbD6rx9P8FhNDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T18:21:42.419568Z"},"content_sha256":"9d0dcff9d9da77c5f2d76dfbbcb6b7461fa17d416b204cebf5d9abc14e96a75a","schema_version":"1.0","event_id":"sha256:9d0dcff9d9da77c5f2d76dfbbcb6b7461fa17d416b204cebf5d9abc14e96a75a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:A43ZNTI2BY5XGVOQDCJR7XEPDC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Topological Framework for Finite Behavioural Observations and Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Antonis Achilleos, Vasiliki Kyriakou","submitted_at":"2026-06-22T22:04:54Z","abstract_excerpt":"Formal verification and monitorability are based on finite observations, which allow properties to be verified from finite information about system behaviour. We study such observations through the topologies they generate on spaces of processes. We first consider trace-based topologies and show that finite trace observations on $\\Sigma^\\omega$ induce the Cantor topology, while the topology corresponding to full trace inclusion is the discrete one. We then move to arbitrary process spaces, where finite trace observations define the topology $\\tau_O$, and show that simulation observations gener"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23975","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/2606.23975/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-06-24T00:14:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"py20JyqCSPjN4KH+TshyTAM5BV6xDtivkK/r+Fp8YygvWTgtPdDNd+S5VFd+qH4sn+UmL/+yezIOb1iWU+dhCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T18:21:42.419930Z"},"content_sha256":"56bd889478c50af8ad6978865d9623210b1dcbca718d7b9f61301862f8e83c44","schema_version":"1.0","event_id":"sha256:56bd889478c50af8ad6978865d9623210b1dcbca718d7b9f61301862f8e83c44"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A43ZNTI2BY5XGVOQDCJR7XEPDC/bundle.json","state_url":"https://pith.science/pith/A43ZNTI2BY5XGVOQDCJR7XEPDC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A43ZNTI2BY5XGVOQDCJR7XEPDC/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-06-29T18:21:42Z","links":{"resolver":"https://pith.science/pith/A43ZNTI2BY5XGVOQDCJR7XEPDC","bundle":"https://pith.science/pith/A43ZNTI2BY5XGVOQDCJR7XEPDC/bundle.json","state":"https://pith.science/pith/A43ZNTI2BY5XGVOQDCJR7XEPDC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A43ZNTI2BY5XGVOQDCJR7XEPDC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:A43ZNTI2BY5XGVOQDCJR7XEPDC","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":"b236dac9ec423ee700d51e6c2ed7d7837b991ddaf3133ecbc21e8ee986511926","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T22:04:54Z","title_canon_sha256":"7140c9389b052ec4ada8ba1292c0773cbff4da41b19ad273e27b6629c4091bf6"},"schema_version":"1.0","source":{"id":"2606.23975","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23975","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23975v1","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23975","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"pith_short_12","alias_value":"A43ZNTI2BY5X","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"pith_short_16","alias_value":"A43ZNTI2BY5XGVOQ","created_at":"2026-06-24T00:14:32Z"},{"alias_kind":"pith_short_8","alias_value":"A43ZNTI2","created_at":"2026-06-24T00:14:32Z"}],"graph_snapshots":[{"event_id":"sha256:56bd889478c50af8ad6978865d9623210b1dcbca718d7b9f61301862f8e83c44","target":"graph","created_at":"2026-06-24T00:14:32Z","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/2606.23975/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Formal verification and monitorability are based on finite observations, which allow properties to be verified from finite information about system behaviour. We study such observations through the topologies they generate on spaces of processes. We first consider trace-based topologies and show that finite trace observations on $\\Sigma^\\omega$ induce the Cantor topology, while the topology corresponding to full trace inclusion is the discrete one. We then move to arbitrary process spaces, where finite trace observations define the topology $\\tau_O$, and show that simulation observations gener","authors_text":"Antonis Achilleos, Vasiliki Kyriakou","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T22:04:54Z","title":"A Topological Framework for Finite Behavioural Observations and Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23975","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:9d0dcff9d9da77c5f2d76dfbbcb6b7461fa17d416b204cebf5d9abc14e96a75a","target":"record","created_at":"2026-06-24T00:14:32Z","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":"b236dac9ec423ee700d51e6c2ed7d7837b991ddaf3133ecbc21e8ee986511926","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T22:04:54Z","title_canon_sha256":"7140c9389b052ec4ada8ba1292c0773cbff4da41b19ad273e27b6629c4091bf6"},"schema_version":"1.0","source":{"id":"2606.23975","kind":"arxiv","version":1}},"canonical_sha256":"073796cd1a0e3b7355d018931fdc8f188f8783db0562eabd8888b0ddd218e726","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"073796cd1a0e3b7355d018931fdc8f188f8783db0562eabd8888b0ddd218e726","first_computed_at":"2026-06-24T00:14:32.071576Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-24T00:14:32.071576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y2JofAVqc62B/Qjz/ysY+tiOz+YvoO9i/9i1C5yZcnWfhjWNPzrwSdpudfuhilAetwqwd6PMiQnJ34lRBDm4AA==","signature_status":"signed_v1","signed_at":"2026-06-24T00:14:32.071987Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23975","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d0dcff9d9da77c5f2d76dfbbcb6b7461fa17d416b204cebf5d9abc14e96a75a","sha256:56bd889478c50af8ad6978865d9623210b1dcbca718d7b9f61301862f8e83c44"],"state_sha256":"cad568b3ec874a5a7e01c95b4a44f198a9f97b655110eec8c0035e10878c155d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZvXLfda4PdJz1g3QXje5VajxYoO0TWqTU39wpELlgnVDTfR0c2n2+jqOuXi9Zkmvq9H79t76TYxsIwYdioa+Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T18:21:42.421838Z","bundle_sha256":"b0f562461be46e6e8b38c0c36460ed1db12d110c00a53810b3f5f5f327a84f7d"}}