{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:T53RTPMMXAI7EFR3VO4KNTGQZL","short_pith_number":"pith:T53RTPMM","canonical_record":{"source":{"id":"2511.05355","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-11-07T15:46:44Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"d4ebe1770c80318212fea35baabde5d86fd2a7e133ad7bd503a93df8b72fa252","abstract_canon_sha256":"b709e9138ddf3f25ecd69def404e8f0b71da89c1f6598177251832c29da744ab"},"schema_version":"1.0"},"canonical_sha256":"9f7719bd8cb811f2163babb8a6ccd0caee47c73c61988be47b86ae1865c5d014","source":{"kind":"arxiv","id":"2511.05355","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.05355","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"arxiv_version","alias_value":"2511.05355v3","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.05355","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"pith_short_12","alias_value":"T53RTPMMXAI7","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"pith_short_16","alias_value":"T53RTPMMXAI7EFR3","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"pith_short_8","alias_value":"T53RTPMM","created_at":"2026-06-09T02:07:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:T53RTPMMXAI7EFR3VO4KNTGQZL","target":"record","payload":{"canonical_record":{"source":{"id":"2511.05355","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-11-07T15:46:44Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"d4ebe1770c80318212fea35baabde5d86fd2a7e133ad7bd503a93df8b72fa252","abstract_canon_sha256":"b709e9138ddf3f25ecd69def404e8f0b71da89c1f6598177251832c29da744ab"},"schema_version":"1.0"},"canonical_sha256":"9f7719bd8cb811f2163babb8a6ccd0caee47c73c61988be47b86ae1865c5d014","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T02:07:12.434776Z","signature_b64":"iXVgcCjhJ5tuk6VHO0stCv3lfgZHmwdzHSyQv+PaZFkoxWX9wJClFXlTrBr2Y1gfhXAlMvyxMOyoYdvTEMwdDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f7719bd8cb811f2163babb8a6ccd0caee47c73c61988be47b86ae1865c5d014","last_reissued_at":"2026-06-09T02:07:12.433812Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T02:07:12.433812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2511.05355","source_version":3,"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-06-09T02:07:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6AMcwUdzoAAA9sfAaCbqLEwYOBj+2a6s9omC3UsfSL45xYL72BxavK1ayTpHAgOTPAfzjDn4oijDrEScdhJEAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T08:07:17.026413Z"},"content_sha256":"1c831547abce30b49edf6025b6c765f8f22a2a02ffd51d9194e7faceeec30550","schema_version":"1.0","event_id":"sha256:1c831547abce30b49edf6025b6c765f8f22a2a02ffd51d9194e7faceeec30550"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:T53RTPMMXAI7EFR3VO4KNTGQZL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SAD-Flower: Flow Matching for Safe, Admissible, and Dynamically Consistent Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Armin Lederer, Dai-Jie Wu, Hsiu-Chin Lin, Sandra Hirche, Shao-Hua Sun, Sihua Zhang, Stefan Sosnowski, Tzu-Yuan Huang, Xiaobing Dai","submitted_at":"2025-11-07T15:46:44Z","abstract_excerpt":"Flow matching (FM) has shown promising results in data-driven planning. However, it inherently lacks formal guarantees for ensuring state and action constraints, whose satisfaction is a fundamental and crucial requirement for the safety and admissibility of planned trajectories on various systems. Moreover, existing FM planners do not ensure the dynamical consistency, which potentially renders trajectories inexecutable. We address these shortcomings by proposing SAD-Flower, a novel framework for generating Safe, Admissible, and Dynamically consistent trajectories. Our approach relies on an aug"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.05355","kind":"arxiv","version":3},"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/2511.05355/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-06-09T02:07:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2XpvH83QoeM6MkuKitefFZ3m8tgDatQrh67LIUukuFq0P4iR6vs9s19dRleS2V9CFlL3dybv0S7v1q26o/cKBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T08:07:17.027141Z"},"content_sha256":"87f3c3285adbc99bc1a61c35e4645e04cc71cf34e29c82944db3904f02af7f95","schema_version":"1.0","event_id":"sha256:87f3c3285adbc99bc1a61c35e4645e04cc71cf34e29c82944db3904f02af7f95"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T53RTPMMXAI7EFR3VO4KNTGQZL/bundle.json","state_url":"https://pith.science/pith/T53RTPMMXAI7EFR3VO4KNTGQZL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T53RTPMMXAI7EFR3VO4KNTGQZL/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-06-10T08:07:17Z","links":{"resolver":"https://pith.science/pith/T53RTPMMXAI7EFR3VO4KNTGQZL","bundle":"https://pith.science/pith/T53RTPMMXAI7EFR3VO4KNTGQZL/bundle.json","state":"https://pith.science/pith/T53RTPMMXAI7EFR3VO4KNTGQZL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T53RTPMMXAI7EFR3VO4KNTGQZL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:T53RTPMMXAI7EFR3VO4KNTGQZL","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":"b709e9138ddf3f25ecd69def404e8f0b71da89c1f6598177251832c29da744ab","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-11-07T15:46:44Z","title_canon_sha256":"d4ebe1770c80318212fea35baabde5d86fd2a7e133ad7bd503a93df8b72fa252"},"schema_version":"1.0","source":{"id":"2511.05355","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.05355","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"arxiv_version","alias_value":"2511.05355v3","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.05355","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"pith_short_12","alias_value":"T53RTPMMXAI7","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"pith_short_16","alias_value":"T53RTPMMXAI7EFR3","created_at":"2026-06-09T02:07:12Z"},{"alias_kind":"pith_short_8","alias_value":"T53RTPMM","created_at":"2026-06-09T02:07:12Z"}],"graph_snapshots":[{"event_id":"sha256:87f3c3285adbc99bc1a61c35e4645e04cc71cf34e29c82944db3904f02af7f95","target":"graph","created_at":"2026-06-09T02:07:12Z","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/2511.05355/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Flow matching (FM) has shown promising results in data-driven planning. However, it inherently lacks formal guarantees for ensuring state and action constraints, whose satisfaction is a fundamental and crucial requirement for the safety and admissibility of planned trajectories on various systems. Moreover, existing FM planners do not ensure the dynamical consistency, which potentially renders trajectories inexecutable. We address these shortcomings by proposing SAD-Flower, a novel framework for generating Safe, Admissible, and Dynamically consistent trajectories. Our approach relies on an aug","authors_text":"Armin Lederer, Dai-Jie Wu, Hsiu-Chin Lin, Sandra Hirche, Shao-Hua Sun, Sihua Zhang, Stefan Sosnowski, Tzu-Yuan Huang, Xiaobing Dai","cross_cats":["cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-11-07T15:46:44Z","title":"SAD-Flower: Flow Matching for Safe, Admissible, and Dynamically Consistent Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.05355","kind":"arxiv","version":3},"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:1c831547abce30b49edf6025b6c765f8f22a2a02ffd51d9194e7faceeec30550","target":"record","created_at":"2026-06-09T02:07:12Z","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":"b709e9138ddf3f25ecd69def404e8f0b71da89c1f6598177251832c29da744ab","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-11-07T15:46:44Z","title_canon_sha256":"d4ebe1770c80318212fea35baabde5d86fd2a7e133ad7bd503a93df8b72fa252"},"schema_version":"1.0","source":{"id":"2511.05355","kind":"arxiv","version":3}},"canonical_sha256":"9f7719bd8cb811f2163babb8a6ccd0caee47c73c61988be47b86ae1865c5d014","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f7719bd8cb811f2163babb8a6ccd0caee47c73c61988be47b86ae1865c5d014","first_computed_at":"2026-06-09T02:07:12.433812Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T02:07:12.433812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iXVgcCjhJ5tuk6VHO0stCv3lfgZHmwdzHSyQv+PaZFkoxWX9wJClFXlTrBr2Y1gfhXAlMvyxMOyoYdvTEMwdDw==","signature_status":"signed_v1","signed_at":"2026-06-09T02:07:12.434776Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.05355","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c831547abce30b49edf6025b6c765f8f22a2a02ffd51d9194e7faceeec30550","sha256:87f3c3285adbc99bc1a61c35e4645e04cc71cf34e29c82944db3904f02af7f95"],"state_sha256":"c9301a22412b64fae7f67c13a35b389c1bdeb28e310ff68690e141747cee8b72"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M/isywmxERAmPd7rqIqHKS1b7F695VZzDmnkACtrU52Aj8UnTzUuLGy9x+31SlYBNeb/PO+pRxX68tK5cMB9Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T08:07:17.031544Z","bundle_sha256":"a71fecfa5a1dc24340969509dddc63827339dde1b0f10861d3371b7b226ea624"}}