{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:46VOSIHBYZIQRM6GYZI2IYNY3R","short_pith_number":"pith:46VOSIHB","canonical_record":{"source":{"id":"2605.16660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-15T21:55:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"297cd725213da14afb28c99d9e674f676f5796a6632774b85b079e8db9bc9621","abstract_canon_sha256":"5b15021818ec0daf8987ab5f78b3ddf0690812d8b3a0f35c2cfd3158cc679336"},"schema_version":"1.0"},"canonical_sha256":"e7aae920e1c65108b3c6c651a461b8dc46b075fa99b08eb9ca184449646b18c4","source":{"kind":"arxiv","id":"2605.16660","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.16660","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"arxiv_version","alias_value":"2605.16660v1","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.16660","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"pith_short_12","alias_value":"46VOSIHBYZIQ","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"pith_short_16","alias_value":"46VOSIHBYZIQRM6G","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"pith_short_8","alias_value":"46VOSIHB","created_at":"2026-05-20T00:02:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:46VOSIHBYZIQRM6GYZI2IYNY3R","target":"record","payload":{"canonical_record":{"source":{"id":"2605.16660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-15T21:55:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"297cd725213da14afb28c99d9e674f676f5796a6632774b85b079e8db9bc9621","abstract_canon_sha256":"5b15021818ec0daf8987ab5f78b3ddf0690812d8b3a0f35c2cfd3158cc679336"},"schema_version":"1.0"},"canonical_sha256":"e7aae920e1c65108b3c6c651a461b8dc46b075fa99b08eb9ca184449646b18c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:34.949136Z","signature_b64":"pliWxlXLnqkSRQTf7ChJIR2g3UlVGsaxYL46vVy2QsUvidKY8BnXIjfYtkcUfThETIvZkOURhNC8VZWvC0LbCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7aae920e1c65108b3c6c651a461b8dc46b075fa99b08eb9ca184449646b18c4","last_reissued_at":"2026-05-20T00:02:34.948421Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:34.948421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.16660","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-20T00:02:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kk/g2fHn+nggl8t3JBeacHxAG0NuWUoQ5/gzNp7qZTBhd5AWAukt1ECEr1hDtka0eYe2XoxV2XyR7v+IS1TVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:03:10.809309Z"},"content_sha256":"13c1e0b04e6b043d223489f77c483461bea8c1e1accb5b2455a530a5a92609d9","schema_version":"1.0","event_id":"sha256:13c1e0b04e6b043d223489f77c483461bea8c1e1accb5b2455a530a5a92609d9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:46VOSIHBYZIQRM6GYZI2IYNY3R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Felipe Galarza-Jimenez, Majid Zamani, Saber Jafarpour","submitted_at":"2026-05-15T21:55:32Z","abstract_excerpt":"This paper presents a novel data-driven framework for the robust safety verification and safe control synthesis of unknown monotone discrete-time systems. While existing data-driven safety analysis approaches are often either heuristic in nature or require large amounts of data to provide rigorous guarantees, we leverage the structural property of monotonicity to significantly reduce data requirements while still ensuring formal safety guarantees. Our approach is built upon a new class of certificates called dominance functions, constructed directly from collected system trajectories, which th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.16660","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/2605.16660/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"claim_evidence","ran_at":"2026-05-19T19:01:56.398457Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T18:33:26.518295Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"024829faeb9f1401b3dfb6d4bb29200f950b5c083736fb37b19bcb715bb59582"},"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:02:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rMLyyLU7/LF3Vw9o8CllyNYMuwX1G37dMZ88+eOll90EYWE7ImRw5n1ubRCWAH5T/bWMQz5s6AbHQjWOssfsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:03:10.810051Z"},"content_sha256":"10814593e56b200a9fc8a245ec3cf67b273780f4beba8ed78c386800a3060fac","schema_version":"1.0","event_id":"sha256:10814593e56b200a9fc8a245ec3cf67b273780f4beba8ed78c386800a3060fac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/46VOSIHBYZIQRM6GYZI2IYNY3R/bundle.json","state_url":"https://pith.science/pith/46VOSIHBYZIQRM6GYZI2IYNY3R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/46VOSIHBYZIQRM6GYZI2IYNY3R/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-26T05:03:10Z","links":{"resolver":"https://pith.science/pith/46VOSIHBYZIQRM6GYZI2IYNY3R","bundle":"https://pith.science/pith/46VOSIHBYZIQRM6GYZI2IYNY3R/bundle.json","state":"https://pith.science/pith/46VOSIHBYZIQRM6GYZI2IYNY3R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/46VOSIHBYZIQRM6GYZI2IYNY3R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:46VOSIHBYZIQRM6GYZI2IYNY3R","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":"5b15021818ec0daf8987ab5f78b3ddf0690812d8b3a0f35c2cfd3158cc679336","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-15T21:55:32Z","title_canon_sha256":"297cd725213da14afb28c99d9e674f676f5796a6632774b85b079e8db9bc9621"},"schema_version":"1.0","source":{"id":"2605.16660","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.16660","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"arxiv_version","alias_value":"2605.16660v1","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.16660","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"pith_short_12","alias_value":"46VOSIHBYZIQ","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"pith_short_16","alias_value":"46VOSIHBYZIQRM6G","created_at":"2026-05-20T00:02:34Z"},{"alias_kind":"pith_short_8","alias_value":"46VOSIHB","created_at":"2026-05-20T00:02:34Z"}],"graph_snapshots":[{"event_id":"sha256:10814593e56b200a9fc8a245ec3cf67b273780f4beba8ed78c386800a3060fac","target":"graph","created_at":"2026-05-20T00:02:34Z","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":[{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T19:01:56.398457Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T18:33:26.518295Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.16660/integrity.json","findings":[],"snapshot_sha256":"024829faeb9f1401b3dfb6d4bb29200f950b5c083736fb37b19bcb715bb59582","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a novel data-driven framework for the robust safety verification and safe control synthesis of unknown monotone discrete-time systems. While existing data-driven safety analysis approaches are often either heuristic in nature or require large amounts of data to provide rigorous guarantees, we leverage the structural property of monotonicity to significantly reduce data requirements while still ensuring formal safety guarantees. Our approach is built upon a new class of certificates called dominance functions, constructed directly from collected system trajectories, which th","authors_text":"Felipe Galarza-Jimenez, Majid Zamani, Saber Jafarpour","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-15T21:55:32Z","title":"Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.16660","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:13c1e0b04e6b043d223489f77c483461bea8c1e1accb5b2455a530a5a92609d9","target":"record","created_at":"2026-05-20T00:02:34Z","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":"5b15021818ec0daf8987ab5f78b3ddf0690812d8b3a0f35c2cfd3158cc679336","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-15T21:55:32Z","title_canon_sha256":"297cd725213da14afb28c99d9e674f676f5796a6632774b85b079e8db9bc9621"},"schema_version":"1.0","source":{"id":"2605.16660","kind":"arxiv","version":1}},"canonical_sha256":"e7aae920e1c65108b3c6c651a461b8dc46b075fa99b08eb9ca184449646b18c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e7aae920e1c65108b3c6c651a461b8dc46b075fa99b08eb9ca184449646b18c4","first_computed_at":"2026-05-20T00:02:34.948421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:02:34.948421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pliWxlXLnqkSRQTf7ChJIR2g3UlVGsaxYL46vVy2QsUvidKY8BnXIjfYtkcUfThETIvZkOURhNC8VZWvC0LbCg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:02:34.949136Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.16660","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13c1e0b04e6b043d223489f77c483461bea8c1e1accb5b2455a530a5a92609d9","sha256:10814593e56b200a9fc8a245ec3cf67b273780f4beba8ed78c386800a3060fac"],"state_sha256":"018d52468eb7d2a1000e8f3de0790f4d449fffc6ff07fef70c888c39d3f3af23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B7JaVZvbwtUC6jXhSBFW4jl6npNxTiKFotjk+XtWQdNc/JkCw/RhKp45sMctbmiN01NZKpb404yDglObsSM4CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T05:03:10.812735Z","bundle_sha256":"823ba08a0e10aa23b685e358244e48c79f6fcb3190fee1aa1fb0249cbb2a57c8"}}