{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:5BWBZBYDFJAQJDMLKK6BW5DEWH","short_pith_number":"pith:5BWBZBYD","canonical_record":{"source":{"id":"2207.04391","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2022-07-10T06:22:20Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"70d3b981a0b1457b64f2b591a6ac2e008fa5b7993461274707f1837f7b6266c6","abstract_canon_sha256":"c395cf3a2011460c52a3b27c9a8fd09e7b5380ce74f54581da7d9776fdae1d61"},"schema_version":"1.0"},"canonical_sha256":"e86c1c87032a41048d8b52bc1b7464b1c4a8929a0ac4c979de18379b90f58b14","source":{"kind":"arxiv","id":"2207.04391","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.04391","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"arxiv_version","alias_value":"2207.04391v1","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.04391","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"pith_short_12","alias_value":"5BWBZBYDFJAQ","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"pith_short_16","alias_value":"5BWBZBYDFJAQJDML","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"pith_short_8","alias_value":"5BWBZBYD","created_at":"2026-07-05T04:38:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:5BWBZBYDFJAQJDMLKK6BW5DEWH","target":"record","payload":{"canonical_record":{"source":{"id":"2207.04391","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2022-07-10T06:22:20Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"70d3b981a0b1457b64f2b591a6ac2e008fa5b7993461274707f1837f7b6266c6","abstract_canon_sha256":"c395cf3a2011460c52a3b27c9a8fd09e7b5380ce74f54581da7d9776fdae1d61"},"schema_version":"1.0"},"canonical_sha256":"e86c1c87032a41048d8b52bc1b7464b1c4a8929a0ac4c979de18379b90f58b14","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:38:59.020964Z","signature_b64":"JUi5U0Bm/Le2An60yZbmWMZw95HEdf8fSmtSiYpYuKIN8c15xHREY734qBtmUfc2JtqyYw4FUdOpl9wbsgXlAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e86c1c87032a41048d8b52bc1b7464b1c4a8929a0ac4c979de18379b90f58b14","last_reissued_at":"2026-07-05T04:38:59.020492Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:38:59.020492Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2207.04391","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-07-05T04:38:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"THvG4JU4ey6MQtyhXT7bnB9LqIUSWLUomKWqkE3tdWwDJFi0O8dHRGa27H88kgjA/oKPP4QV/U2KvGJy6EGGCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:52:20.190295Z"},"content_sha256":"ab9214c14fc8476b64af0cee0b37ce9dcae506b73b5c00d69a940a79e7efe090","schema_version":"1.0","event_id":"sha256:ab9214c14fc8476b64af0cee0b37ce9dcae506b73b5c00d69a940a79e7efe090"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:5BWBZBYDFJAQJDMLKK6BW5DEWH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SC","authors_text":"Anne Remke (University of M\\\"unster, Dung Hoang Tran (University of Nebraska Lincoln, Germany), USA)","submitted_at":"2022-07-10T06:22:20Z","abstract_excerpt":"The proceedings of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed contributions and three invited talks. \n  SNR focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis for these systems. The synergy between symbolic and numerical approaches is fruitful thanks to their complementarity."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.04391","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/2207.04391/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-05T04:38:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5g5S2UMfElQF4Oug24Pv0m6IIKPidhvlTgJSYubxjQIHXeYrEAMgqr45LW8JZesM2Gkr1J1kxfD6XaBZxFWABg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:52:20.190667Z"},"content_sha256":"7d4cfbfd8b193d03276885bb3de2e008c0006dcbea2f665a8f94d3cd5035b064","schema_version":"1.0","event_id":"sha256:7d4cfbfd8b193d03276885bb3de2e008c0006dcbea2f665a8f94d3cd5035b064"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5BWBZBYDFJAQJDMLKK6BW5DEWH/bundle.json","state_url":"https://pith.science/pith/5BWBZBYDFJAQJDMLKK6BW5DEWH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5BWBZBYDFJAQJDMLKK6BW5DEWH/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-11T21:52:20Z","links":{"resolver":"https://pith.science/pith/5BWBZBYDFJAQJDMLKK6BW5DEWH","bundle":"https://pith.science/pith/5BWBZBYDFJAQJDMLKK6BW5DEWH/bundle.json","state":"https://pith.science/pith/5BWBZBYDFJAQJDMLKK6BW5DEWH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5BWBZBYDFJAQJDMLKK6BW5DEWH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:5BWBZBYDFJAQJDMLKK6BW5DEWH","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":"c395cf3a2011460c52a3b27c9a8fd09e7b5380ce74f54581da7d9776fdae1d61","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2022-07-10T06:22:20Z","title_canon_sha256":"70d3b981a0b1457b64f2b591a6ac2e008fa5b7993461274707f1837f7b6266c6"},"schema_version":"1.0","source":{"id":"2207.04391","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.04391","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"arxiv_version","alias_value":"2207.04391v1","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.04391","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"pith_short_12","alias_value":"5BWBZBYDFJAQ","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"pith_short_16","alias_value":"5BWBZBYDFJAQJDML","created_at":"2026-07-05T04:38:59Z"},{"alias_kind":"pith_short_8","alias_value":"5BWBZBYD","created_at":"2026-07-05T04:38:59Z"}],"graph_snapshots":[{"event_id":"sha256:7d4cfbfd8b193d03276885bb3de2e008c0006dcbea2f665a8f94d3cd5035b064","target":"graph","created_at":"2026-07-05T04:38:59Z","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/2207.04391/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The proceedings of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed contributions and three invited talks. \n  SNR focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis for these systems. The synergy between symbolic and numerical approaches is fruitful thanks to their complementarity.","authors_text":"Anne Remke (University of M\\\"unster, Dung Hoang Tran (University of Nebraska Lincoln, Germany), USA)","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2022-07-10T06:22:20Z","title":"Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.04391","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:ab9214c14fc8476b64af0cee0b37ce9dcae506b73b5c00d69a940a79e7efe090","target":"record","created_at":"2026-07-05T04:38:59Z","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":"c395cf3a2011460c52a3b27c9a8fd09e7b5380ce74f54581da7d9776fdae1d61","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2022-07-10T06:22:20Z","title_canon_sha256":"70d3b981a0b1457b64f2b591a6ac2e008fa5b7993461274707f1837f7b6266c6"},"schema_version":"1.0","source":{"id":"2207.04391","kind":"arxiv","version":1}},"canonical_sha256":"e86c1c87032a41048d8b52bc1b7464b1c4a8929a0ac4c979de18379b90f58b14","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e86c1c87032a41048d8b52bc1b7464b1c4a8929a0ac4c979de18379b90f58b14","first_computed_at":"2026-07-05T04:38:59.020492Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:38:59.020492Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JUi5U0Bm/Le2An60yZbmWMZw95HEdf8fSmtSiYpYuKIN8c15xHREY734qBtmUfc2JtqyYw4FUdOpl9wbsgXlAw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:38:59.020964Z","signed_message":"canonical_sha256_bytes"},"source_id":"2207.04391","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab9214c14fc8476b64af0cee0b37ce9dcae506b73b5c00d69a940a79e7efe090","sha256:7d4cfbfd8b193d03276885bb3de2e008c0006dcbea2f665a8f94d3cd5035b064"],"state_sha256":"b71caea9a658b9eedb395a9e7f2b536c80e2f2df1fc4d8970fcd69831cf7a742"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Unz56frT/f3f94nOJXa1xLX4uekEnfXJuPeDklxEiaGAVh3+T86uWIbHGFVvSZ5cYvGBkknAPfteqvKrzm9Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T21:52:20.192923Z","bundle_sha256":"7ef41572bbd1f49c3cfbd90ae525397e5799518b0a60b7d4873e635b4b315911"}}