{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:K433I5DNVOYYGOZOV2WZUSCJCO","short_pith_number":"pith:K433I5DN","canonical_record":{"source":{"id":"2412.07960","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-10T22:53:03Z","cross_cats_sorted":[],"title_canon_sha256":"f67a4669a9ac5ae33254e55b0917bd4f6480abd1321038d254cdd2b07849d640","abstract_canon_sha256":"149aff1dfb810cddc8921280b7a658e807f9740f366b60c40f6bdd93d04ce70f"},"schema_version":"1.0"},"canonical_sha256":"5737b4746dabb1833b2eaead9a48491399cab970f411cefc068432e47be78f59","source":{"kind":"arxiv","id":"2412.07960","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.07960","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"arxiv_version","alias_value":"2412.07960v1","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.07960","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"pith_short_12","alias_value":"K433I5DNVOYY","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"pith_short_16","alias_value":"K433I5DNVOYYGOZO","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"pith_short_8","alias_value":"K433I5DN","created_at":"2026-07-05T10:50:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:K433I5DNVOYYGOZOV2WZUSCJCO","target":"record","payload":{"canonical_record":{"source":{"id":"2412.07960","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-10T22:53:03Z","cross_cats_sorted":[],"title_canon_sha256":"f67a4669a9ac5ae33254e55b0917bd4f6480abd1321038d254cdd2b07849d640","abstract_canon_sha256":"149aff1dfb810cddc8921280b7a658e807f9740f366b60c40f6bdd93d04ce70f"},"schema_version":"1.0"},"canonical_sha256":"5737b4746dabb1833b2eaead9a48491399cab970f411cefc068432e47be78f59","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:50:45.909192Z","signature_b64":"oBRZREwXMa0jvcsTtlIQGB+RtPZG1zcr3xzG6Cdmk/3qSODyWliC9ZEPGUtfDIMsLCylRbAfLVOEefd0r3XcAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5737b4746dabb1833b2eaead9a48491399cab970f411cefc068432e47be78f59","last_reissued_at":"2026-07-05T10:50:45.908681Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:50:45.908681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.07960","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-05T10:50:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vbTrorER5JwDc+y85ZmzRiKEgSarKqv6UsNtBHTGfAhjl0vvyelBJrufJ3DXpDor2pO/5mwzBitggVVrgw+4CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T12:24:33.423145Z"},"content_sha256":"cade3dd58b3a17b05f264972707f8d780c1337b989b2828258e02adc5ba58434","schema_version":"1.0","event_id":"sha256:cade3dd58b3a17b05f264972707f8d780c1337b989b2828258e02adc5ba58434"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:K433I5DNVOYYGOZOV2WZUSCJCO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Indirect Optimization of Multi-Phase Trajectories Involving Arbitrary Discrete Logic","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Harish Saranathan","submitted_at":"2024-12-10T22:53:03Z","abstract_excerpt":"Multi-phase trajectories of aerospace vehicle systems involve multiple flight segments whose transitions may be triggered by boolean logic in continuous state variables, control and time. When the boolean logic is represented using only states and/or time, such systems are termed autonomously switched hybrid systems. The relaxed autonomously switched hybrid system approach (RASHS) was previously introduced to simplify the trajectory optimization process of such systems in the indirect framework when the boolean logic is solely represented using AND operations. This investigation enables cases "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.07960","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/2412.07960/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-05T10:50:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bHP6BPL+49gI+GgtbzN4kOosFwzL3ky8LLGmqDcvzMn2tOm4F6TZz3uECRxnPtw70d3ut5p9B3f/LXhDCagXBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T12:24:33.423667Z"},"content_sha256":"3a38e7df3f316abea7e4085c8fcdd8939b7023e4de1306d271559696da14cdaa","schema_version":"1.0","event_id":"sha256:3a38e7df3f316abea7e4085c8fcdd8939b7023e4de1306d271559696da14cdaa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K433I5DNVOYYGOZOV2WZUSCJCO/bundle.json","state_url":"https://pith.science/pith/K433I5DNVOYYGOZOV2WZUSCJCO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K433I5DNVOYYGOZOV2WZUSCJCO/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-12T12:24:33Z","links":{"resolver":"https://pith.science/pith/K433I5DNVOYYGOZOV2WZUSCJCO","bundle":"https://pith.science/pith/K433I5DNVOYYGOZOV2WZUSCJCO/bundle.json","state":"https://pith.science/pith/K433I5DNVOYYGOZOV2WZUSCJCO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K433I5DNVOYYGOZOV2WZUSCJCO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:K433I5DNVOYYGOZOV2WZUSCJCO","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":"149aff1dfb810cddc8921280b7a658e807f9740f366b60c40f6bdd93d04ce70f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-10T22:53:03Z","title_canon_sha256":"f67a4669a9ac5ae33254e55b0917bd4f6480abd1321038d254cdd2b07849d640"},"schema_version":"1.0","source":{"id":"2412.07960","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.07960","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"arxiv_version","alias_value":"2412.07960v1","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.07960","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"pith_short_12","alias_value":"K433I5DNVOYY","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"pith_short_16","alias_value":"K433I5DNVOYYGOZO","created_at":"2026-07-05T10:50:45Z"},{"alias_kind":"pith_short_8","alias_value":"K433I5DN","created_at":"2026-07-05T10:50:45Z"}],"graph_snapshots":[{"event_id":"sha256:3a38e7df3f316abea7e4085c8fcdd8939b7023e4de1306d271559696da14cdaa","target":"graph","created_at":"2026-07-05T10:50:45Z","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/2412.07960/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Multi-phase trajectories of aerospace vehicle systems involve multiple flight segments whose transitions may be triggered by boolean logic in continuous state variables, control and time. When the boolean logic is represented using only states and/or time, such systems are termed autonomously switched hybrid systems. The relaxed autonomously switched hybrid system approach (RASHS) was previously introduced to simplify the trajectory optimization process of such systems in the indirect framework when the boolean logic is solely represented using AND operations. This investigation enables cases ","authors_text":"Harish Saranathan","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-10T22:53:03Z","title":"Indirect Optimization of Multi-Phase Trajectories Involving Arbitrary Discrete Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.07960","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:cade3dd58b3a17b05f264972707f8d780c1337b989b2828258e02adc5ba58434","target":"record","created_at":"2026-07-05T10:50:45Z","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":"149aff1dfb810cddc8921280b7a658e807f9740f366b60c40f6bdd93d04ce70f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-10T22:53:03Z","title_canon_sha256":"f67a4669a9ac5ae33254e55b0917bd4f6480abd1321038d254cdd2b07849d640"},"schema_version":"1.0","source":{"id":"2412.07960","kind":"arxiv","version":1}},"canonical_sha256":"5737b4746dabb1833b2eaead9a48491399cab970f411cefc068432e47be78f59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5737b4746dabb1833b2eaead9a48491399cab970f411cefc068432e47be78f59","first_computed_at":"2026-07-05T10:50:45.908681Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:50:45.908681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oBRZREwXMa0jvcsTtlIQGB+RtPZG1zcr3xzG6Cdmk/3qSODyWliC9ZEPGUtfDIMsLCylRbAfLVOEefd0r3XcAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:50:45.909192Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.07960","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cade3dd58b3a17b05f264972707f8d780c1337b989b2828258e02adc5ba58434","sha256:3a38e7df3f316abea7e4085c8fcdd8939b7023e4de1306d271559696da14cdaa"],"state_sha256":"bb31470396be523ea0bcefc1ccf7e5198de416ec40da7373ae973e442232d970"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hYlEI6YzK6BnRob6lhG9DW21DjIv/rXMX1gnrmQc1WQUtqOsN96/w8H4vQHBaQxvGglRfjilwfqrzc3mG0FwBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T12:24:33.427684Z","bundle_sha256":"a938267d20ddd507c94f5c00859cece9ae8f1917e76ca58615edaaf6755afc6e"}}