{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:373OXXNO4JBPLONYHSBVTG5VWY","short_pith_number":"pith:373OXXNO","canonical_record":{"source":{"id":"1902.01084","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-02-04T08:51:50Z","cross_cats_sorted":[],"title_canon_sha256":"91378077993a42b3837178c19295c794d065d41aa817064efc0eaa0d01bb442a","abstract_canon_sha256":"92ec071071ce2a90a1d47ebf424c9f75e57cd95aea5faa1c7cd3987762f910d3"},"schema_version":"1.0"},"canonical_sha256":"dff6ebddaee242f5b9b83c83599bb5b630ffaa1e8f1e4217b6d9d6a2db6091a8","source":{"kind":"arxiv","id":"1902.01084","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.01084","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"arxiv_version","alias_value":"1902.01084v2","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.01084","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"pith_short_12","alias_value":"373OXXNO4JBP","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"pith_short_16","alias_value":"373OXXNO4JBPLONY","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"pith_short_8","alias_value":"373OXXNO","created_at":"2026-07-05T02:07:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:373OXXNO4JBPLONYHSBVTG5VWY","target":"record","payload":{"canonical_record":{"source":{"id":"1902.01084","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-02-04T08:51:50Z","cross_cats_sorted":[],"title_canon_sha256":"91378077993a42b3837178c19295c794d065d41aa817064efc0eaa0d01bb442a","abstract_canon_sha256":"92ec071071ce2a90a1d47ebf424c9f75e57cd95aea5faa1c7cd3987762f910d3"},"schema_version":"1.0"},"canonical_sha256":"dff6ebddaee242f5b9b83c83599bb5b630ffaa1e8f1e4217b6d9d6a2db6091a8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:07:12.743260Z","signature_b64":"PXMLa92yQJXKHWkGXiMq5Y/j5j1Loj+8P6ReOlwBdf91V/4Zv50Q26/T0HDY5kN6Q3kf4FBxPH3Xv1ki0usOCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dff6ebddaee242f5b9b83c83599bb5b630ffaa1e8f1e4217b6d9d6a2db6091a8","last_reissued_at":"2026-07-05T02:07:12.742531Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:07:12.742531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.01084","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-05T02:07:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZD+B1g1A5jV7zc8hLM+H6wLmcqt9KcmoWipQX7YnREAGxRtZ5KAyGDh5zJPejxzE/frTnvQIaOfbOOXsNzhtCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:28:07.049423Z"},"content_sha256":"ecd85ceba9a730337c906c0b8cb4f54eb00dc403b54cdf731a907d6d1eab66d7","schema_version":"1.0","event_id":"sha256:ecd85ceba9a730337c906c0b8cb4f54eb00dc403b54cdf731a907d6d1eab66d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:373OXXNO4JBPLONYHSBVTG5VWY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Paracosm: A Language and Tool for Testing Autonomous Driving Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aman Mathur, Damien Zufferey, Laura Stegner, Marcus Pirron, Rupak Majumdar","submitted_at":"2019-02-04T08:51:50Z","abstract_excerpt":"Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem. We present Paracosm, a reactive language for writing test scenarios for autonomous driving systems. Paracosm allows users to programmatically describe complex driving situations with specific visual features, e.g., road layout in an urban environment, as well as reactive temporal behaviors of cars and pedestrians. Paracosm programs are executed on top of a game engine that provides realistic physics simulation and visual rendering. The infrastructure allows systematic explo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.01084","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/1902.01084/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-05T02:07:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dxbaEtX2zAlyjuWjC0JPhXJQXdiMJGdiFhZ/NJLDSW3NQNQXAxV22RyQ4X3fsq+pJ0LnxG7ybQr2OH253rcyBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:28:07.050238Z"},"content_sha256":"565d8fc8d9456e557c0932e9e01182719c7f384ec1627f48bf2890446f5e8a30","schema_version":"1.0","event_id":"sha256:565d8fc8d9456e557c0932e9e01182719c7f384ec1627f48bf2890446f5e8a30"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/bundle.json","state_url":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/373OXXNO4JBPLONYHSBVTG5VWY/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-07-05T10:28:07Z","links":{"resolver":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY","bundle":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/bundle.json","state":"https://pith.science/pith/373OXXNO4JBPLONYHSBVTG5VWY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/373OXXNO4JBPLONYHSBVTG5VWY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:373OXXNO4JBPLONYHSBVTG5VWY","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":"92ec071071ce2a90a1d47ebf424c9f75e57cd95aea5faa1c7cd3987762f910d3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-02-04T08:51:50Z","title_canon_sha256":"91378077993a42b3837178c19295c794d065d41aa817064efc0eaa0d01bb442a"},"schema_version":"1.0","source":{"id":"1902.01084","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.01084","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"arxiv_version","alias_value":"1902.01084v2","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.01084","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"pith_short_12","alias_value":"373OXXNO4JBP","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"pith_short_16","alias_value":"373OXXNO4JBPLONY","created_at":"2026-07-05T02:07:12Z"},{"alias_kind":"pith_short_8","alias_value":"373OXXNO","created_at":"2026-07-05T02:07:12Z"}],"graph_snapshots":[{"event_id":"sha256:565d8fc8d9456e557c0932e9e01182719c7f384ec1627f48bf2890446f5e8a30","target":"graph","created_at":"2026-07-05T02:07:12Z","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/1902.01084/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem. We present Paracosm, a reactive language for writing test scenarios for autonomous driving systems. Paracosm allows users to programmatically describe complex driving situations with specific visual features, e.g., road layout in an urban environment, as well as reactive temporal behaviors of cars and pedestrians. Paracosm programs are executed on top of a game engine that provides realistic physics simulation and visual rendering. The infrastructure allows systematic explo","authors_text":"Aman Mathur, Damien Zufferey, Laura Stegner, Marcus Pirron, Rupak Majumdar","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-02-04T08:51:50Z","title":"Paracosm: A Language and Tool for Testing Autonomous Driving Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.01084","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:ecd85ceba9a730337c906c0b8cb4f54eb00dc403b54cdf731a907d6d1eab66d7","target":"record","created_at":"2026-07-05T02:07:12Z","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":"92ec071071ce2a90a1d47ebf424c9f75e57cd95aea5faa1c7cd3987762f910d3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-02-04T08:51:50Z","title_canon_sha256":"91378077993a42b3837178c19295c794d065d41aa817064efc0eaa0d01bb442a"},"schema_version":"1.0","source":{"id":"1902.01084","kind":"arxiv","version":2}},"canonical_sha256":"dff6ebddaee242f5b9b83c83599bb5b630ffaa1e8f1e4217b6d9d6a2db6091a8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dff6ebddaee242f5b9b83c83599bb5b630ffaa1e8f1e4217b6d9d6a2db6091a8","first_computed_at":"2026-07-05T02:07:12.742531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:07:12.742531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PXMLa92yQJXKHWkGXiMq5Y/j5j1Loj+8P6ReOlwBdf91V/4Zv50Q26/T0HDY5kN6Q3kf4FBxPH3Xv1ki0usOCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:07:12.743260Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.01084","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ecd85ceba9a730337c906c0b8cb4f54eb00dc403b54cdf731a907d6d1eab66d7","sha256:565d8fc8d9456e557c0932e9e01182719c7f384ec1627f48bf2890446f5e8a30"],"state_sha256":"01b28b5762c6bbb7550be025de682a00559dbfbb21723d26c3e981da3f10de3b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zhtrIk+Dro7F+j3dhgSYSLt6n2RcDo7LSnV3ZHALGWXjDwF8boAd15osXrW61y4aLYopih4dxTRwa30dSjRvDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T10:28:07.054492Z","bundle_sha256":"79c753514af6c17520b87e468ab2b4ad220c9cf8c5d992a85b1dac2a33d08180"}}