{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DEIVN5PITHWIWCZDYVJLUYQHEF","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":"dcd7abf7e4585a0b59d7e8f606a2a781918c643198f5e2402b9d1f6bf137b1b4","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-17T04:52:05Z","title_canon_sha256":"9667d319fe3787498475ee579f446ae9f08a3cd8f6999b5c104019406721f706"},"schema_version":"1.0","source":{"id":"2606.18685","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.18685","created_at":"2026-06-19T16:11:44Z"},{"alias_kind":"arxiv_version","alias_value":"2606.18685v1","created_at":"2026-06-19T16:11:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.18685","created_at":"2026-06-19T16:11:44Z"},{"alias_kind":"pith_short_12","alias_value":"DEIVN5PITHWI","created_at":"2026-06-19T16:11:44Z"},{"alias_kind":"pith_short_16","alias_value":"DEIVN5PITHWIWCZD","created_at":"2026-06-19T16:11:44Z"},{"alias_kind":"pith_short_8","alias_value":"DEIVN5PI","created_at":"2026-06-19T16:11:44Z"}],"graph_snapshots":[{"event_id":"sha256:3ec1f09ca5e0c83a1b27f8fd636951644d41cdf6936725eae01c5f305db2e805","target":"graph","created_at":"2026-06-19T16:11:44Z","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/2606.18685/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This article establishes the completeness of an axiomatization for the robust safety of dynamical systems with polynomial differential equations on bounded time horizons. Safety properties of robust systems are uniformly reduced to a sound axiomatization of polynomial invariants, resulting in reliable logical proofs of correctness. Approximate decidability results are also established: there is a computable algorithm such that, given any perturbation parameter $\\delta$, it either produces a symbolic proof of robust safety (hence correctly decides the dynamical system to be robustly safe), or c","authors_text":"Andr\\'e Platzer, Long Qian","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-17T04:52:05Z","title":"Differential Equation Inductive Robustness Axiomatization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.18685","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:5755f44d5aa2fa4feae406d26171a3b437ec0218a7de49bb7a9b2520faf1fa38","target":"record","created_at":"2026-06-19T16:11:44Z","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":"dcd7abf7e4585a0b59d7e8f606a2a781918c643198f5e2402b9d1f6bf137b1b4","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-17T04:52:05Z","title_canon_sha256":"9667d319fe3787498475ee579f446ae9f08a3cd8f6999b5c104019406721f706"},"schema_version":"1.0","source":{"id":"2606.18685","kind":"arxiv","version":1}},"canonical_sha256":"191156f5e899ec8b0b23c552ba62072148a6fd9bd0ab3df449938bb924fdbb1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"191156f5e899ec8b0b23c552ba62072148a6fd9bd0ab3df449938bb924fdbb1a","first_computed_at":"2026-06-19T16:11:44.518254Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:11:44.518254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/VooBYkxIh+CwvU+fi7in/aShM6dqwV8AboZaQz36AQwGsC2N+QJnnz5YRC7NkXmtcSGzoYB7YPYQK7LNOE4Bw==","signature_status":"signed_v1","signed_at":"2026-06-19T16:11:44.518608Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.18685","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5755f44d5aa2fa4feae406d26171a3b437ec0218a7de49bb7a9b2520faf1fa38","sha256:3ec1f09ca5e0c83a1b27f8fd636951644d41cdf6936725eae01c5f305db2e805"],"state_sha256":"5e856aba931a42b1a9f0d742dee58c87ff4d73a367dab7a95537b062ccd91c25"}