{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:MMFQKAZTDWTBUFTFOJI37ARDB4","short_pith_number":"pith:MMFQKAZT","canonical_record":{"source":{"id":"2109.11999","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-09-24T14:41:03Z","cross_cats_sorted":[],"title_canon_sha256":"12400e636e9f4d5a9ee24572b5fcf06acb339a3292b33973d4a1169e4dc3a419","abstract_canon_sha256":"97a83f32fc3e21823ee5348982e2e529c1a8be2dff4fdeb3d9aa4f6cd1799389"},"schema_version":"1.0"},"canonical_sha256":"630b0503331da61a16657251bf82230f07d2aa7df8ab7af787b9fd71a4526601","source":{"kind":"arxiv","id":"2109.11999","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.11999","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"arxiv_version","alias_value":"2109.11999v2","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.11999","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"pith_short_12","alias_value":"MMFQKAZTDWTB","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"pith_short_16","alias_value":"MMFQKAZTDWTBUFTF","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"pith_short_8","alias_value":"MMFQKAZT","created_at":"2026-07-05T03:27:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:MMFQKAZTDWTBUFTFOJI37ARDB4","target":"record","payload":{"canonical_record":{"source":{"id":"2109.11999","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-09-24T14:41:03Z","cross_cats_sorted":[],"title_canon_sha256":"12400e636e9f4d5a9ee24572b5fcf06acb339a3292b33973d4a1169e4dc3a419","abstract_canon_sha256":"97a83f32fc3e21823ee5348982e2e529c1a8be2dff4fdeb3d9aa4f6cd1799389"},"schema_version":"1.0"},"canonical_sha256":"630b0503331da61a16657251bf82230f07d2aa7df8ab7af787b9fd71a4526601","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:27:58.906851Z","signature_b64":"W/HsHsywmiqW4u7O9PxVd0PB5KF8ZLgR0e0HNI4EZyUu5Qvw1Yhmb1b21IVyxi9706D7rBSK8HI6/7ygFm7UCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"630b0503331da61a16657251bf82230f07d2aa7df8ab7af787b9fd71a4526601","last_reissued_at":"2026-07-05T03:27:58.906442Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:27:58.906442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.11999","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-05T03:27:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JygLBi4I+yz4/GOn6nEUIz+c7cai81pmF5vI+pyTyYTN8jevSthY4mEM9mmvJ07XhDG/NUyt1DkgPOdDx8POCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:03:50.688390Z"},"content_sha256":"15b9949be7dfda25a4e1850c74e841f7312c7fd2efe5f23ba1a0c4ddbb09ff01","schema_version":"1.0","event_id":"sha256:15b9949be7dfda25a4e1850c74e841f7312c7fd2efe5f23ba1a0c4ddbb09ff01"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:MMFQKAZTDWTBUFTFOJI37ARDB4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mining Shape Expressions with ShapeIt","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Cristinel Mateis, Dejan Nickovic, Eleonora Nesterini, Ezio Bartocci, Jyotirmoy Deshmukh, Xin Qin","submitted_at":"2021-09-24T14:41:03Z","abstract_excerpt":"We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape expressions, a declarative formal specification language suitable to express behavioral properties over real-valued signals. A linear shape expression is a regular expression composed of parameterized lines as atomic symbols with symbolic constraints on the line parameters. We present here the architecture of our tool along with the different steps of the specification mining algorithm. We also describe the usage of th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.11999","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/2109.11999/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-05T03:27:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y+pyq5dg4k6w2m3wmmIn2JTCoumge4lPrcVdjP8JTcrdU0eWpTiGXaeQmWvSiyCzTT89Wy4OXg+9YrscvC/qAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:03:50.688807Z"},"content_sha256":"24542b36c8830278b259a67e42233bec42f842ccf272859c66af600d7a38c9d0","schema_version":"1.0","event_id":"sha256:24542b36c8830278b259a67e42233bec42f842ccf272859c66af600d7a38c9d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MMFQKAZTDWTBUFTFOJI37ARDB4/bundle.json","state_url":"https://pith.science/pith/MMFQKAZTDWTBUFTFOJI37ARDB4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MMFQKAZTDWTBUFTFOJI37ARDB4/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-07T08:03:50Z","links":{"resolver":"https://pith.science/pith/MMFQKAZTDWTBUFTFOJI37ARDB4","bundle":"https://pith.science/pith/MMFQKAZTDWTBUFTFOJI37ARDB4/bundle.json","state":"https://pith.science/pith/MMFQKAZTDWTBUFTFOJI37ARDB4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MMFQKAZTDWTBUFTFOJI37ARDB4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:MMFQKAZTDWTBUFTFOJI37ARDB4","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":"97a83f32fc3e21823ee5348982e2e529c1a8be2dff4fdeb3d9aa4f6cd1799389","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-09-24T14:41:03Z","title_canon_sha256":"12400e636e9f4d5a9ee24572b5fcf06acb339a3292b33973d4a1169e4dc3a419"},"schema_version":"1.0","source":{"id":"2109.11999","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.11999","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"arxiv_version","alias_value":"2109.11999v2","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.11999","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"pith_short_12","alias_value":"MMFQKAZTDWTB","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"pith_short_16","alias_value":"MMFQKAZTDWTBUFTF","created_at":"2026-07-05T03:27:58Z"},{"alias_kind":"pith_short_8","alias_value":"MMFQKAZT","created_at":"2026-07-05T03:27:58Z"}],"graph_snapshots":[{"event_id":"sha256:24542b36c8830278b259a67e42233bec42f842ccf272859c66af600d7a38c9d0","target":"graph","created_at":"2026-07-05T03:27:58Z","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/2109.11999/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape expressions, a declarative formal specification language suitable to express behavioral properties over real-valued signals. A linear shape expression is a regular expression composed of parameterized lines as atomic symbols with symbolic constraints on the line parameters. We present here the architecture of our tool along with the different steps of the specification mining algorithm. We also describe the usage of th","authors_text":"Cristinel Mateis, Dejan Nickovic, Eleonora Nesterini, Ezio Bartocci, Jyotirmoy Deshmukh, Xin Qin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-09-24T14:41:03Z","title":"Mining Shape Expressions with ShapeIt"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.11999","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:15b9949be7dfda25a4e1850c74e841f7312c7fd2efe5f23ba1a0c4ddbb09ff01","target":"record","created_at":"2026-07-05T03:27:58Z","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":"97a83f32fc3e21823ee5348982e2e529c1a8be2dff4fdeb3d9aa4f6cd1799389","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-09-24T14:41:03Z","title_canon_sha256":"12400e636e9f4d5a9ee24572b5fcf06acb339a3292b33973d4a1169e4dc3a419"},"schema_version":"1.0","source":{"id":"2109.11999","kind":"arxiv","version":2}},"canonical_sha256":"630b0503331da61a16657251bf82230f07d2aa7df8ab7af787b9fd71a4526601","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"630b0503331da61a16657251bf82230f07d2aa7df8ab7af787b9fd71a4526601","first_computed_at":"2026-07-05T03:27:58.906442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:27:58.906442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W/HsHsywmiqW4u7O9PxVd0PB5KF8ZLgR0e0HNI4EZyUu5Qvw1Yhmb1b21IVyxi9706D7rBSK8HI6/7ygFm7UCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:27:58.906851Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.11999","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:15b9949be7dfda25a4e1850c74e841f7312c7fd2efe5f23ba1a0c4ddbb09ff01","sha256:24542b36c8830278b259a67e42233bec42f842ccf272859c66af600d7a38c9d0"],"state_sha256":"f4ed1be0b4d19f1ce17c084406bdf24ae854d08fc3cd03d84f4848d1afe4c069"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AjaF+EopGxL7+M98haWZGEjB5womCrBfxamUbv7xl+pOQMJtNLvBmvmFFcyxmd2b1sN2rv/mvEcAOFr7Fq/mCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T08:03:50.690735Z","bundle_sha256":"b71e24459027e581edeac9fd760a4315bbe52c30a2ebe16642c00a637b3492f7"}}