{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UHTQDHPWDX4UWYZEI6EWIMSZ62","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":"c4317e0974474fd3f9a66630c5c9b793aecd63a59f037d89ce63392ecb7f9e6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-12-05T16:05:48Z","title_canon_sha256":"4201306c44ce778673abc3411724261c2101b19c7f7a7c86d1b70c84d9aefb6d"},"schema_version":"1.0","source":{"id":"1212.1074","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.1074","created_at":"2026-05-18T03:39:05Z"},{"alias_kind":"arxiv_version","alias_value":"1212.1074v1","created_at":"2026-05-18T03:39:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.1074","created_at":"2026-05-18T03:39:05Z"},{"alias_kind":"pith_short_12","alias_value":"UHTQDHPWDX4U","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"UHTQDHPWDX4UWYZE","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"UHTQDHPW","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:883e2061334709c69ca1182e69673b3bcea63b67bce83e217f03b363c3ea466b","target":"graph","created_at":"2026-05-18T03:39:05Z","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":"Directed topology is a refinement of standard topology, where spaces may have non-reversible paths. It has been put forward as a candidate approach to the analysis of concurrent processes. Recently, a wealth of different frameworks for, i.e., categories of, directed spaces have been proposed. In the present work, starting from Grandis's notion of directed space, we propose an additional condition of saturation for distinguished sets of paths and show how it allows to rule out exotic examples without any serious collateral damage. Our saturation condition is local in a natural sense, and is sat","authors_text":"Andr\\'e Hirschowitz (JAD), CEA LIST), Michel Hirschowitz (LIX, Tom Hirschowitz (LAMA)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-12-05T16:05:48Z","title":"Saturating directed spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.1074","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:d3580ac98c95a73a5be1b324a9c51018e099d6f81210224b35a1d7e449d4e923","target":"record","created_at":"2026-05-18T03:39:05Z","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":"c4317e0974474fd3f9a66630c5c9b793aecd63a59f037d89ce63392ecb7f9e6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-12-05T16:05:48Z","title_canon_sha256":"4201306c44ce778673abc3411724261c2101b19c7f7a7c86d1b70c84d9aefb6d"},"schema_version":"1.0","source":{"id":"1212.1074","kind":"arxiv","version":1}},"canonical_sha256":"a1e7019df61df94b63244789643259f6a23b9b83c41a2f120067d6811ce34f89","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1e7019df61df94b63244789643259f6a23b9b83c41a2f120067d6811ce34f89","first_computed_at":"2026-05-18T03:39:05.918043Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:39:05.918043Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sJfr+oCU/z4n55ji5YZbcKBlHymhFDG70bHR+FpmoOHB0Xau4TYDWNouIsOAVahGI5/ZJ9iR51o96TFv3LqqDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:39:05.918485Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.1074","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3580ac98c95a73a5be1b324a9c51018e099d6f81210224b35a1d7e449d4e923","sha256:883e2061334709c69ca1182e69673b3bcea63b67bce83e217f03b363c3ea466b"],"state_sha256":"e960a4029dbd3920eb3237a93e726bb9a975ae7cec37475063e280c6b251a919"}