{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:BGQEV22RHANKJGDK2SXY7PDDJY","short_pith_number":"pith:BGQEV22R","canonical_record":{"source":{"id":"1910.12272","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-27T14:45:17Z","cross_cats_sorted":[],"title_canon_sha256":"ce76336282d3dc485bcaa7ebf8e6d8503b4cf609f48054c66f00e017c5876051","abstract_canon_sha256":"0c128dca1dc0a5c7ea2095d0715a384dcc9ba81ee61c5aa46b284780859181b9"},"schema_version":"1.0"},"canonical_sha256":"09a04aeb51381aa4986ad4af8fbc634e28ec9c9eb6781b3ca4cb097c3e692a55","source":{"kind":"arxiv","id":"1910.12272","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.12272","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"arxiv_version","alias_value":"1910.12272v1","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.12272","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"pith_short_12","alias_value":"BGQEV22RHANK","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"pith_short_16","alias_value":"BGQEV22RHANKJGDK","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"pith_short_8","alias_value":"BGQEV22R","created_at":"2026-07-05T00:15:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:BGQEV22RHANKJGDK2SXY7PDDJY","target":"record","payload":{"canonical_record":{"source":{"id":"1910.12272","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-27T14:45:17Z","cross_cats_sorted":[],"title_canon_sha256":"ce76336282d3dc485bcaa7ebf8e6d8503b4cf609f48054c66f00e017c5876051","abstract_canon_sha256":"0c128dca1dc0a5c7ea2095d0715a384dcc9ba81ee61c5aa46b284780859181b9"},"schema_version":"1.0"},"canonical_sha256":"09a04aeb51381aa4986ad4af8fbc634e28ec9c9eb6781b3ca4cb097c3e692a55","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:15:15.106388Z","signature_b64":"qJREIvXtTdJvjHQa8Gw5XoioxipkbYVKCiu4GZ4akKdgZm2vISWy7K5mh+TnyXsYOlQLDOyeuGEOmm8fCECpAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"09a04aeb51381aa4986ad4af8fbc634e28ec9c9eb6781b3ca4cb097c3e692a55","last_reissued_at":"2026-07-05T00:15:15.105862Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:15:15.105862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1910.12272","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-05T00:15:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BgvkU+ZoZjhDeYJn64JsD9RPuMEd4C/PdDoH4IZCYVokXnP6pu1enhm3TKXlNXQvQ/dtJx8SsQB+jiPV6e4QBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T03:18:44.676634Z"},"content_sha256":"6f38122cbd62fce7fb6987213b9d36d3a6d1f3ddd084abf4d862502336d39f89","schema_version":"1.0","event_id":"sha256:6f38122cbd62fce7fb6987213b9d36d3a6d1f3ddd084abf4d862502336d39f89"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:BGQEV22RHANKJGDK2SXY7PDDJY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Declarative Semantics of the Hybrid Constraint Language HydLa","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Daisuke Ishii, Hiroshi Hosobe, Kazunori Ueda","submitted_at":"2019-10-27T14:45:17Z","abstract_excerpt":"Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertainties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.12272","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/1910.12272/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-05T00:15:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qi2OvFJFSjrP+XeVF6Bq1YF6bcWEAEfWKfgmnLHgZGcfJ5Pm6REv6gW4+iACTSQ/2d1rc1oyZNVI55mhDi44CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T03:18:44.677148Z"},"content_sha256":"ae987d32adfacadad3c689968492d568c37b53451ddfd985d9f5cae450cf4fdc","schema_version":"1.0","event_id":"sha256:ae987d32adfacadad3c689968492d568c37b53451ddfd985d9f5cae450cf4fdc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BGQEV22RHANKJGDK2SXY7PDDJY/bundle.json","state_url":"https://pith.science/pith/BGQEV22RHANKJGDK2SXY7PDDJY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BGQEV22RHANKJGDK2SXY7PDDJY/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-17T03:18:44Z","links":{"resolver":"https://pith.science/pith/BGQEV22RHANKJGDK2SXY7PDDJY","bundle":"https://pith.science/pith/BGQEV22RHANKJGDK2SXY7PDDJY/bundle.json","state":"https://pith.science/pith/BGQEV22RHANKJGDK2SXY7PDDJY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BGQEV22RHANKJGDK2SXY7PDDJY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:BGQEV22RHANKJGDK2SXY7PDDJY","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":"0c128dca1dc0a5c7ea2095d0715a384dcc9ba81ee61c5aa46b284780859181b9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-27T14:45:17Z","title_canon_sha256":"ce76336282d3dc485bcaa7ebf8e6d8503b4cf609f48054c66f00e017c5876051"},"schema_version":"1.0","source":{"id":"1910.12272","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.12272","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"arxiv_version","alias_value":"1910.12272v1","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.12272","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"pith_short_12","alias_value":"BGQEV22RHANK","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"pith_short_16","alias_value":"BGQEV22RHANKJGDK","created_at":"2026-07-05T00:15:15Z"},{"alias_kind":"pith_short_8","alias_value":"BGQEV22R","created_at":"2026-07-05T00:15:15Z"}],"graph_snapshots":[{"event_id":"sha256:ae987d32adfacadad3c689968492d568c37b53451ddfd985d9f5cae450cf4fdc","target":"graph","created_at":"2026-07-05T00:15:15Z","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/1910.12272/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertainties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa","authors_text":"Daisuke Ishii, Hiroshi Hosobe, Kazunori Ueda","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-27T14:45:17Z","title":"Declarative Semantics of the Hybrid Constraint Language HydLa"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.12272","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:6f38122cbd62fce7fb6987213b9d36d3a6d1f3ddd084abf4d862502336d39f89","target":"record","created_at":"2026-07-05T00:15:15Z","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":"0c128dca1dc0a5c7ea2095d0715a384dcc9ba81ee61c5aa46b284780859181b9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-27T14:45:17Z","title_canon_sha256":"ce76336282d3dc485bcaa7ebf8e6d8503b4cf609f48054c66f00e017c5876051"},"schema_version":"1.0","source":{"id":"1910.12272","kind":"arxiv","version":1}},"canonical_sha256":"09a04aeb51381aa4986ad4af8fbc634e28ec9c9eb6781b3ca4cb097c3e692a55","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09a04aeb51381aa4986ad4af8fbc634e28ec9c9eb6781b3ca4cb097c3e692a55","first_computed_at":"2026-07-05T00:15:15.105862Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:15:15.105862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qJREIvXtTdJvjHQa8Gw5XoioxipkbYVKCiu4GZ4akKdgZm2vISWy7K5mh+TnyXsYOlQLDOyeuGEOmm8fCECpAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:15:15.106388Z","signed_message":"canonical_sha256_bytes"},"source_id":"1910.12272","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6f38122cbd62fce7fb6987213b9d36d3a6d1f3ddd084abf4d862502336d39f89","sha256:ae987d32adfacadad3c689968492d568c37b53451ddfd985d9f5cae450cf4fdc"],"state_sha256":"d249e63ce32eafbe6238b33531cebc2b4d2f69561835b2090f3dd495d0b2dc98"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YpnhODPMSesYgupnr+sqQwsrrEbzzIoWhX7haHxQBe59oGCxhAUWQc52AUw3a0EYZbs1KKVpDOdensOn9M8FBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T03:18:44.681218Z","bundle_sha256":"fe665292ad4231ec08581c997f4be8e6dd4f896ded37056e409d155f06e561cf"}}