{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5RQARH6WOSJA3LKVTEKDUJ7M4P","short_pith_number":"pith:5RQARH6W","canonical_record":{"source":{"id":"1912.07084","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-12-15T18:34:41Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"a96dc4c8ac21e821130c1e34b5347b425565220ecc34d17c0384f8543250ad73","abstract_canon_sha256":"04c118e6b34576edd1b981aeca8d73da1ace1ddf5921e49327eeaa1082db1a5e"},"schema_version":"1.0"},"canonical_sha256":"ec60089fd674920dad5599143a27ece3c9997d8d11af92b5443cb5922057256c","source":{"kind":"arxiv","id":"1912.07084","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.07084","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"arxiv_version","alias_value":"1912.07084v2","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.07084","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"pith_short_12","alias_value":"5RQARH6WOSJA","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"pith_short_16","alias_value":"5RQARH6WOSJA3LKV","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"pith_short_8","alias_value":"5RQARH6W","created_at":"2026-07-05T01:00:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5RQARH6WOSJA3LKVTEKDUJ7M4P","target":"record","payload":{"canonical_record":{"source":{"id":"1912.07084","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-12-15T18:34:41Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"a96dc4c8ac21e821130c1e34b5347b425565220ecc34d17c0384f8543250ad73","abstract_canon_sha256":"04c118e6b34576edd1b981aeca8d73da1ace1ddf5921e49327eeaa1082db1a5e"},"schema_version":"1.0"},"canonical_sha256":"ec60089fd674920dad5599143a27ece3c9997d8d11af92b5443cb5922057256c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:00:48.971967Z","signature_b64":"PGK1Xn3h9BIq6hdwwdZEbkrvdETyoDlIAitJJPxt+MhXBTk+lFfU0yB2g4tFaA8XcAY3Dyqg9Ufzgzky5yltBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec60089fd674920dad5599143a27ece3c9997d8d11af92b5443cb5922057256c","last_reissued_at":"2026-07-05T01:00:48.971365Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:00:48.971365Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1912.07084","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-07-05T01:00:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HSmO43tcJ0aiZxHfHjyQkkjKzWxZXyN9/lLM15ICsxoZQN9gZ8Z3E1/cXfvFS9cyss5iQNZthX+atQ70ah/CDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:13:50.716025Z"},"content_sha256":"447d1021e9a18b329c8faa748667d47af4a82aef09659b5addb403b12702cfa7","schema_version":"1.0","event_id":"sha256:447d1021e9a18b329c8faa748667d47af4a82aef09659b5addb403b12702cfa7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5RQARH6WOSJA3LKVTEKDUJ7M4P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Kyle D. Julian, Mykel J. Kochenderfer","submitted_at":"2019-12-15T18:34:41Z","abstract_excerpt":"The decision logic for the ACAS X family of aircraft collision avoidance systems is represented as a large numeric table. Due to storage constraints of certified avionics hardware, neural networks have been suggested as a way to significantly compress the data while still preserving performance in terms of safety. However, neural networks are complex continuous functions with outputs that are difficult to predict. Because simulations evaluate only a finite number of encounters, simulations are not sufficient to guarantee that the neural network will perform correctly in all possible situations"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.07084","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/1912.07084/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:00:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O4fvHBz47Up8mMZFVNEqEjN1+/w2ylVw4VF4uf29vzRjppD/6caiDGGYsJFgZOFzVbrjQ8sk/xOXnyJ2wbC4CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:13:50.716591Z"},"content_sha256":"892070d9f7abe47076be07c47585723868a29c1bc92f15b7a88e41ee921030f2","schema_version":"1.0","event_id":"sha256:892070d9f7abe47076be07c47585723868a29c1bc92f15b7a88e41ee921030f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5RQARH6WOSJA3LKVTEKDUJ7M4P/bundle.json","state_url":"https://pith.science/pith/5RQARH6WOSJA3LKVTEKDUJ7M4P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5RQARH6WOSJA3LKVTEKDUJ7M4P/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-09T06:13:50Z","links":{"resolver":"https://pith.science/pith/5RQARH6WOSJA3LKVTEKDUJ7M4P","bundle":"https://pith.science/pith/5RQARH6WOSJA3LKVTEKDUJ7M4P/bundle.json","state":"https://pith.science/pith/5RQARH6WOSJA3LKVTEKDUJ7M4P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5RQARH6WOSJA3LKVTEKDUJ7M4P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5RQARH6WOSJA3LKVTEKDUJ7M4P","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":"04c118e6b34576edd1b981aeca8d73da1ace1ddf5921e49327eeaa1082db1a5e","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-12-15T18:34:41Z","title_canon_sha256":"a96dc4c8ac21e821130c1e34b5347b425565220ecc34d17c0384f8543250ad73"},"schema_version":"1.0","source":{"id":"1912.07084","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.07084","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"arxiv_version","alias_value":"1912.07084v2","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.07084","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"pith_short_12","alias_value":"5RQARH6WOSJA","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"pith_short_16","alias_value":"5RQARH6WOSJA3LKV","created_at":"2026-07-05T01:00:48Z"},{"alias_kind":"pith_short_8","alias_value":"5RQARH6W","created_at":"2026-07-05T01:00:48Z"}],"graph_snapshots":[{"event_id":"sha256:892070d9f7abe47076be07c47585723868a29c1bc92f15b7a88e41ee921030f2","target":"graph","created_at":"2026-07-05T01:00:48Z","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/1912.07084/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The decision logic for the ACAS X family of aircraft collision avoidance systems is represented as a large numeric table. Due to storage constraints of certified avionics hardware, neural networks have been suggested as a way to significantly compress the data while still preserving performance in terms of safety. However, neural networks are complex continuous functions with outputs that are difficult to predict. Because simulations evaluate only a finite number of encounters, simulations are not sufficient to guarantee that the neural network will perform correctly in all possible situations","authors_text":"Kyle D. Julian, Mykel J. Kochenderfer","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-12-15T18:34:41Z","title":"Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.07084","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:447d1021e9a18b329c8faa748667d47af4a82aef09659b5addb403b12702cfa7","target":"record","created_at":"2026-07-05T01:00:48Z","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":"04c118e6b34576edd1b981aeca8d73da1ace1ddf5921e49327eeaa1082db1a5e","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-12-15T18:34:41Z","title_canon_sha256":"a96dc4c8ac21e821130c1e34b5347b425565220ecc34d17c0384f8543250ad73"},"schema_version":"1.0","source":{"id":"1912.07084","kind":"arxiv","version":2}},"canonical_sha256":"ec60089fd674920dad5599143a27ece3c9997d8d11af92b5443cb5922057256c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec60089fd674920dad5599143a27ece3c9997d8d11af92b5443cb5922057256c","first_computed_at":"2026-07-05T01:00:48.971365Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:00:48.971365Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PGK1Xn3h9BIq6hdwwdZEbkrvdETyoDlIAitJJPxt+MhXBTk+lFfU0yB2g4tFaA8XcAY3Dyqg9Ufzgzky5yltBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:00:48.971967Z","signed_message":"canonical_sha256_bytes"},"source_id":"1912.07084","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:447d1021e9a18b329c8faa748667d47af4a82aef09659b5addb403b12702cfa7","sha256:892070d9f7abe47076be07c47585723868a29c1bc92f15b7a88e41ee921030f2"],"state_sha256":"d404f063933845c196018475bb3b87e449c3c273d758a781a0f4fcff95427788"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r15hyIAPZmk/3c078RCRJfzkn5U1Qfwv6FMdlyW7FTAsNTgp8sg9UftXmFfZMJGBQjuBZLV6qaQpuEuZPgtKCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T06:13:50.720402Z","bundle_sha256":"31e5d408a59acbc5f41197d9c63a0c90d37e4e1dfa3ffa10bef75cc6f80cd6e8"}}