{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3LQKXLE7GF7ZNLEREFPZ5GY6MC","short_pith_number":"pith:3LQKXLE7","canonical_record":{"source":{"id":"1908.09323","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"773e9733816278cf92b92f12a35ac6698a29bd4809206090d2baf084ac4fb9c8","abstract_canon_sha256":"d99fcfeac907c619dda2021992535dd1eb547390f378c1dc01e0e088f2e081b8"},"schema_version":"1.0"},"canonical_sha256":"dae0abac9f317f96ac91215f9e9b1e60804b0f472bda24734979b2040f5b22cb","source":{"kind":"arxiv","id":"1908.09323","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.09323","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"arxiv_version","alias_value":"1908.09323v3","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.09323","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_12","alias_value":"3LQKXLE7GF7Z","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_16","alias_value":"3LQKXLE7GF7ZNLER","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_8","alias_value":"3LQKXLE7","created_at":"2026-07-05T01:05:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3LQKXLE7GF7ZNLEREFPZ5GY6MC","target":"record","payload":{"canonical_record":{"source":{"id":"1908.09323","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"773e9733816278cf92b92f12a35ac6698a29bd4809206090d2baf084ac4fb9c8","abstract_canon_sha256":"d99fcfeac907c619dda2021992535dd1eb547390f378c1dc01e0e088f2e081b8"},"schema_version":"1.0"},"canonical_sha256":"dae0abac9f317f96ac91215f9e9b1e60804b0f472bda24734979b2040f5b22cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:05:23.938396Z","signature_b64":"mZl3nloCVFiWZyFUlYjMNfw3iWVJmDGy5vfFigh+Nzcpg+KeHdPoikQNqsGtun7ZOJkMwE0M3gfIQCGlkV0WCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dae0abac9f317f96ac91215f9e9b1e60804b0f472bda24734979b2040f5b22cb","last_reissued_at":"2026-07-05T01:05:23.937873Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:05:23.937873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.09323","source_version":3,"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-07-05T01:05:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5sphIhMHua3usChRFiy4I51xH5F/8Od1qBFxTFirMIWypJVKoIjq8bhUj4m7zYUl/fk8IqrfPExq+mKKriBdDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T18:02:43.820100Z"},"content_sha256":"40f0520b46941b1dc0c893f729c7a21c364efc00f70702bebeb22dda260e1401","schema_version":"1.0","event_id":"sha256:40f0520b46941b1dc0c893f729c7a21c364efc00f70702bebeb22dda260e1401"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3LQKXLE7GF7ZNLEREFPZ5GY6MC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Rohit Konda, Samuel Coogan","submitted_at":"2019-08-25T13:23:45Z","abstract_excerpt":"Verifying set invariance has classical solutions stemming from the seminal work by Nagumo, and defining sets via a smooth barrier function constraint inequality results in computable flow conditions for guaranteeing set invariance. While a majority of these historic results on set invariance consider flow conditions on the boundary, recent results on control barrier functions extended these conditions to the entire set, although they required regularity conditions on the barrier function. This paper fully characterizes set invariance through \\emph{minimal barrier functions} by directly appeali"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.09323","kind":"arxiv","version":3},"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/1908.09323/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-07-05T01:05:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DspPg7TFtlTY3BUFUOmzFVGD6G10uoDbgiVxFDDUIlGNchx7ap/FQzmfh8ZEkMRO8eLKfOiMhhnT455Nxh8YCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T18:02:43.820657Z"},"content_sha256":"538959b2f944380e0dd2cd8c7f18a0a74d17500c799e4e825abefa0286e7aa80","schema_version":"1.0","event_id":"sha256:538959b2f944380e0dd2cd8c7f18a0a74d17500c799e4e825abefa0286e7aa80"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3LQKXLE7GF7ZNLEREFPZ5GY6MC/bundle.json","state_url":"https://pith.science/pith/3LQKXLE7GF7ZNLEREFPZ5GY6MC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3LQKXLE7GF7ZNLEREFPZ5GY6MC/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-08-16T18:02:43Z","links":{"resolver":"https://pith.science/pith/3LQKXLE7GF7ZNLEREFPZ5GY6MC","bundle":"https://pith.science/pith/3LQKXLE7GF7ZNLEREFPZ5GY6MC/bundle.json","state":"https://pith.science/pith/3LQKXLE7GF7ZNLEREFPZ5GY6MC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3LQKXLE7GF7ZNLEREFPZ5GY6MC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3LQKXLE7GF7ZNLEREFPZ5GY6MC","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":"d99fcfeac907c619dda2021992535dd1eb547390f378c1dc01e0e088f2e081b8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","title_canon_sha256":"773e9733816278cf92b92f12a35ac6698a29bd4809206090d2baf084ac4fb9c8"},"schema_version":"1.0","source":{"id":"1908.09323","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.09323","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"arxiv_version","alias_value":"1908.09323v3","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.09323","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_12","alias_value":"3LQKXLE7GF7Z","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_16","alias_value":"3LQKXLE7GF7ZNLER","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_8","alias_value":"3LQKXLE7","created_at":"2026-07-05T01:05:23Z"}],"graph_snapshots":[{"event_id":"sha256:538959b2f944380e0dd2cd8c7f18a0a74d17500c799e4e825abefa0286e7aa80","target":"graph","created_at":"2026-07-05T01:05:23Z","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/1908.09323/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verifying set invariance has classical solutions stemming from the seminal work by Nagumo, and defining sets via a smooth barrier function constraint inequality results in computable flow conditions for guaranteeing set invariance. While a majority of these historic results on set invariance consider flow conditions on the boundary, recent results on control barrier functions extended these conditions to the entire set, although they required regularity conditions on the barrier function. This paper fully characterizes set invariance through \\emph{minimal barrier functions} by directly appeali","authors_text":"Aaron D. Ames, Rohit Konda, Samuel Coogan","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.09323","kind":"arxiv","version":3},"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:40f0520b46941b1dc0c893f729c7a21c364efc00f70702bebeb22dda260e1401","target":"record","created_at":"2026-07-05T01:05:23Z","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":"d99fcfeac907c619dda2021992535dd1eb547390f378c1dc01e0e088f2e081b8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","title_canon_sha256":"773e9733816278cf92b92f12a35ac6698a29bd4809206090d2baf084ac4fb9c8"},"schema_version":"1.0","source":{"id":"1908.09323","kind":"arxiv","version":3}},"canonical_sha256":"dae0abac9f317f96ac91215f9e9b1e60804b0f472bda24734979b2040f5b22cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dae0abac9f317f96ac91215f9e9b1e60804b0f472bda24734979b2040f5b22cb","first_computed_at":"2026-07-05T01:05:23.937873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:05:23.937873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mZl3nloCVFiWZyFUlYjMNfw3iWVJmDGy5vfFigh+Nzcpg+KeHdPoikQNqsGtun7ZOJkMwE0M3gfIQCGlkV0WCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:05:23.938396Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.09323","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40f0520b46941b1dc0c893f729c7a21c364efc00f70702bebeb22dda260e1401","sha256:538959b2f944380e0dd2cd8c7f18a0a74d17500c799e4e825abefa0286e7aa80"],"state_sha256":"6bc6fabd8f12eda45884fb5d24fc0a8ffaca0aacc542ece2c0e79519671e3d40"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5gA74cZ1OC4Ipq7BptbTysQosTxlewtERmHj2lP67O+Ccl0cV/o7HgmYunOPz7Z5AIL5yHlD2wMmk20cVsVbDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T18:02:43.845240Z","bundle_sha256":"27ccbcf6e722bbf68454894536afc273bbf2e6c48c234317c10755331d8c440d"}}