{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:RDTMWVYXBIWJ3LNQC5URQ754L3","short_pith_number":"pith:RDTMWVYX","canonical_record":{"source":{"id":"2507.10979","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-07-15T04:45:42Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"8d72e560349f8e722c794e1d12503da3bd041521fd6cfc6bcfaeedfcc8e62a33","abstract_canon_sha256":"b4ce6a9d346a93080f39e2314e23b6b0980a2ea8cbf9a4811519b477f457c02a"},"schema_version":"1.0"},"canonical_sha256":"88e6cb57170a2c9dadb01769187fbc5ef8abe9c8304f911588d1004207e2bff6","source":{"kind":"arxiv","id":"2507.10979","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.10979","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"arxiv_version","alias_value":"2507.10979v2","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10979","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"pith_short_12","alias_value":"RDTMWVYXBIWJ","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"pith_short_16","alias_value":"RDTMWVYXBIWJ3LNQ","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"pith_short_8","alias_value":"RDTMWVYX","created_at":"2026-05-20T00:04:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:RDTMWVYXBIWJ3LNQC5URQ754L3","target":"record","payload":{"canonical_record":{"source":{"id":"2507.10979","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-07-15T04:45:42Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"8d72e560349f8e722c794e1d12503da3bd041521fd6cfc6bcfaeedfcc8e62a33","abstract_canon_sha256":"b4ce6a9d346a93080f39e2314e23b6b0980a2ea8cbf9a4811519b477f457c02a"},"schema_version":"1.0"},"canonical_sha256":"88e6cb57170a2c9dadb01769187fbc5ef8abe9c8304f911588d1004207e2bff6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:04:11.898972Z","signature_b64":"RYG11kArn+fSOryrlsw3IGuWXnxLDGtRxYmehRoJL8fBrL0oNHetKOfC57+hg1omQGMgDoQsf63T6ORt6LYrDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"88e6cb57170a2c9dadb01769187fbc5ef8abe9c8304f911588d1004207e2bff6","last_reissued_at":"2026-05-20T00:04:11.897833Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:04:11.897833Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.10979","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:04:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+T7FLCWG3JDlALXsyl//Ej12GuLJxeynvG2TYE4qHWEvjtF+w2catNUj/QKAFLHPU0VuT793KmAGLa4UB7avBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:23:14.360033Z"},"content_sha256":"4a8d81760abcc898636e1de9858905ae0ff07c656a51a7c97a53d08a46a0dec5","schema_version":"1.0","event_id":"sha256:4a8d81760abcc898636e1de9858905ae0ff07c656a51a7c97a53d08a46a0dec5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:RDTMWVYXBIWJ3LNQC5URQ754L3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Abolfazl Lavaei, Amy Nejati, Mahdieh Zaker","submitted_at":"2025-07-15T04:45:42Z","abstract_excerpt":"Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, for which no fixed upper bound on the number of participating subsystems is specified a priori since it may vary over time as agents join or leave (e.g., vehicles in traffic). In such scenarios, the presence of infinitely many subsystems within the network renders the existing analysis frameworks tailored for finite networks inapplicable to infinite ones. This paper is concerned with offering a data-driven approach, within a compositional framework, for the safety certification of infinit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10979","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/2507.10979/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:04:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gRC4gyrWcRN1VCN/SzMPlq+gdQ8ftYWlWM3loj1lIWTHONRGeKlbHj8D9DvSlDJk+8Y6TXeSzOs+9dZYhdbOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:23:14.360813Z"},"content_sha256":"32e19704e88119508d423c5f4822322957a436e14aac844b7e345cce5b294ea7","schema_version":"1.0","event_id":"sha256:32e19704e88119508d423c5f4822322957a436e14aac844b7e345cce5b294ea7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RDTMWVYXBIWJ3LNQC5URQ754L3/bundle.json","state_url":"https://pith.science/pith/RDTMWVYXBIWJ3LNQC5URQ754L3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RDTMWVYXBIWJ3LNQC5URQ754L3/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-09T03:23:14Z","links":{"resolver":"https://pith.science/pith/RDTMWVYXBIWJ3LNQC5URQ754L3","bundle":"https://pith.science/pith/RDTMWVYXBIWJ3LNQC5URQ754L3/bundle.json","state":"https://pith.science/pith/RDTMWVYXBIWJ3LNQC5URQ754L3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RDTMWVYXBIWJ3LNQC5URQ754L3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RDTMWVYXBIWJ3LNQC5URQ754L3","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":"b4ce6a9d346a93080f39e2314e23b6b0980a2ea8cbf9a4811519b477f457c02a","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-07-15T04:45:42Z","title_canon_sha256":"8d72e560349f8e722c794e1d12503da3bd041521fd6cfc6bcfaeedfcc8e62a33"},"schema_version":"1.0","source":{"id":"2507.10979","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.10979","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"arxiv_version","alias_value":"2507.10979v2","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10979","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"pith_short_12","alias_value":"RDTMWVYXBIWJ","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"pith_short_16","alias_value":"RDTMWVYXBIWJ3LNQ","created_at":"2026-05-20T00:04:11Z"},{"alias_kind":"pith_short_8","alias_value":"RDTMWVYX","created_at":"2026-05-20T00:04:11Z"}],"graph_snapshots":[{"event_id":"sha256:32e19704e88119508d423c5f4822322957a436e14aac844b7e345cce5b294ea7","target":"graph","created_at":"2026-05-20T00:04:11Z","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/2507.10979/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, for which no fixed upper bound on the number of participating subsystems is specified a priori since it may vary over time as agents join or leave (e.g., vehicles in traffic). In such scenarios, the presence of infinitely many subsystems within the network renders the existing analysis frameworks tailored for finite networks inapplicable to infinite ones. This paper is concerned with offering a data-driven approach, within a compositional framework, for the safety certification of infinit","authors_text":"Abolfazl Lavaei, Amy Nejati, Mahdieh Zaker","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-07-15T04:45:42Z","title":"Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10979","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:4a8d81760abcc898636e1de9858905ae0ff07c656a51a7c97a53d08a46a0dec5","target":"record","created_at":"2026-05-20T00:04:11Z","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":"b4ce6a9d346a93080f39e2314e23b6b0980a2ea8cbf9a4811519b477f457c02a","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-07-15T04:45:42Z","title_canon_sha256":"8d72e560349f8e722c794e1d12503da3bd041521fd6cfc6bcfaeedfcc8e62a33"},"schema_version":"1.0","source":{"id":"2507.10979","kind":"arxiv","version":2}},"canonical_sha256":"88e6cb57170a2c9dadb01769187fbc5ef8abe9c8304f911588d1004207e2bff6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"88e6cb57170a2c9dadb01769187fbc5ef8abe9c8304f911588d1004207e2bff6","first_computed_at":"2026-05-20T00:04:11.897833Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:04:11.897833Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RYG11kArn+fSOryrlsw3IGuWXnxLDGtRxYmehRoJL8fBrL0oNHetKOfC57+hg1omQGMgDoQsf63T6ORt6LYrDg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:04:11.898972Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.10979","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a8d81760abcc898636e1de9858905ae0ff07c656a51a7c97a53d08a46a0dec5","sha256:32e19704e88119508d423c5f4822322957a436e14aac844b7e345cce5b294ea7"],"state_sha256":"1f28f595c7f7c40a6f40648ef23ab3b0bc32aabee1b613dc1e58c20cc16d2b8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"phxShhxjs5ekeeG2TtN/CciQExXs4EdMXJNzV60uhl9SBfC6+vq+U0JpN7xrCmZP8V5OSuTmhyiKFaTT/mx7Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T03:23:14.365239Z","bundle_sha256":"51bc98e38611adb0b0d499913f335ef59ef61f766a2d73681e2631718452dcda"}}