{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:56LKTCHGN2UWXUT2IAZFJ6ATYO","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":"7a71e237a4532856eacf63dcb160571604f4d3348036159e5ded45ec689757b3","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-08T03:14:19Z","title_canon_sha256":"aa9abced8584e3237f943d96b4036bb4addfa1ef90aabde0f47debb8ce42d81f"},"schema_version":"1.0","source":{"id":"2607.06945","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06945","created_at":"2026-07-09T00:19:40Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06945v1","created_at":"2026-07-09T00:19:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06945","created_at":"2026-07-09T00:19:40Z"},{"alias_kind":"pith_short_12","alias_value":"56LKTCHGN2UW","created_at":"2026-07-09T00:19:40Z"},{"alias_kind":"pith_short_16","alias_value":"56LKTCHGN2UWXUT2","created_at":"2026-07-09T00:19:40Z"},{"alias_kind":"pith_short_8","alias_value":"56LKTCHG","created_at":"2026-07-09T00:19:40Z"}],"graph_snapshots":[{"event_id":"sha256:798ae9c9b39540af058d19009f657155bdabc439ad7b8709ba8a08c881e44d56","target":"graph","created_at":"2026-07-09T00:19:40Z","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/2607.06945/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Model Predictive Path Integral (MPPI) control is directly implementable on nonlinear systems because its online update requires only forward rollouts of the dynamics, not gradients, linearizations, or convex optimization. However, this algorithmic flexibility does not by itself provide a closed-loop stability certificate. This paper establishes such a certificate through a stability-inheritance argument. We assume that there exists a deterministic nonlinear MPC policy whose disturbance-free closed loop is certified by a Control Lyapunov Function terminal cost and a contraction metric, and we s","authors_text":"Hunmin Kim, Hyung-Jin Yoon","cross_cats":["cs.SY","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-08T03:14:19Z","title":"Stochastic Stability of Nonlinear MPPI via Contraction Theory and Control Lyapunov Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06945","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:233415e5d1c7b2359a80ec620d48885ac9fb3ee174518bf4de71473ba47b2515","target":"record","created_at":"2026-07-09T00:19:40Z","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":"7a71e237a4532856eacf63dcb160571604f4d3348036159e5ded45ec689757b3","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-08T03:14:19Z","title_canon_sha256":"aa9abced8584e3237f943d96b4036bb4addfa1ef90aabde0f47debb8ce42d81f"},"schema_version":"1.0","source":{"id":"2607.06945","kind":"arxiv","version":1}},"canonical_sha256":"ef96a988e66ea96bd27a403254f813c39b8aec0cf82ce024a01cb5438d5d23ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ef96a988e66ea96bd27a403254f813c39b8aec0cf82ce024a01cb5438d5d23ac","first_computed_at":"2026-07-09T00:19:40.828203Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-09T00:19:40.828203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Byv8AAv1UZXUbyVpk+podcp+Xh+ln6f0FdS1nH7Xxnj3RovYHiWKhDNBa+UxB298fHcxT9ErBZTJMe90tiJSCw==","signature_status":"signed_v1","signed_at":"2026-07-09T00:19:40.828581Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.06945","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:233415e5d1c7b2359a80ec620d48885ac9fb3ee174518bf4de71473ba47b2515","sha256:798ae9c9b39540af058d19009f657155bdabc439ad7b8709ba8a08c881e44d56"],"state_sha256":"b5567ff3a6d2c2ede34437382cd850fa5fa6aa73f38f2bd02dcca4205787a5d1"}