{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:RCCCPGKLTOVLROTHVYZENPYGIM","short_pith_number":"pith:RCCCPGKL","schema_version":"1.0","canonical_sha256":"888427994b9baab8ba67ae3246bf06431e083640ba68cc349e93f649ce6427e9","source":{"kind":"arxiv","id":"2605.23770","version":1},"attestation_state":"computed","paper":{"title":"Reachability for Low-Thrust Trajectories via Maximum Initial Mass","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["astro-ph.EP","cs.SY","math.OC","physics.space-ph"],"primary_cat":"eess.SY","authors_text":"Dario Izzo, Giacomo Acciarini, Zhong Zhang","submitted_at":"2026-05-22T15:40:39Z","abstract_excerpt":"Reachability analysis plays a central role in low-thrust spacecraft trajectory optimization by identifying which target states can be achieved under constraints on time, thrust, and propellant. Classical approaches construct reachable sets by solving many optimal control problems over grids of terminal states, requiring extensive forward simulations with fixed initial conditions. While effective, this approach is computationally expensive and becomes impractical for high-dimensional systems or strongly nonlinear dynamics, such as those encountered in cislunar environments or solar sail mission"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.23770","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-05-22T15:40:39Z","cross_cats_sorted":["astro-ph.EP","cs.SY","math.OC","physics.space-ph"],"title_canon_sha256":"e48c99632e9cc8ef090431246868020432f48b1ce9ff913d9dca0df44f09fdaf","abstract_canon_sha256":"998725a9d783069b51c956a14f48909cf6032befea9c21e214a48a7c14dfdb6c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:02:31.696976Z","signature_b64":"N/Htwk2xXXABuLVfC3V1HCyTnrmIfvBaDMnwJjG08GhKvzOLWkd0vev7axJLCtPkWrutCZ+W+pu9WqBnv0J+AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"888427994b9baab8ba67ae3246bf06431e083640ba68cc349e93f649ce6427e9","last_reissued_at":"2026-05-25T02:02:31.696200Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:02:31.696200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reachability for Low-Thrust Trajectories via Maximum Initial Mass","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["astro-ph.EP","cs.SY","math.OC","physics.space-ph"],"primary_cat":"eess.SY","authors_text":"Dario Izzo, Giacomo Acciarini, Zhong Zhang","submitted_at":"2026-05-22T15:40:39Z","abstract_excerpt":"Reachability analysis plays a central role in low-thrust spacecraft trajectory optimization by identifying which target states can be achieved under constraints on time, thrust, and propellant. Classical approaches construct reachable sets by solving many optimal control problems over grids of terminal states, requiring extensive forward simulations with fixed initial conditions. While effective, this approach is computationally expensive and becomes impractical for high-dimensional systems or strongly nonlinear dynamics, such as those encountered in cislunar environments or solar sail mission"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.23770","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/2605.23770/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.23770","created_at":"2026-05-25T02:02:31.696331+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.23770v1","created_at":"2026-05-25T02:02:31.696331+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.23770","created_at":"2026-05-25T02:02:31.696331+00:00"},{"alias_kind":"pith_short_12","alias_value":"RCCCPGKLTOVL","created_at":"2026-05-25T02:02:31.696331+00:00"},{"alias_kind":"pith_short_16","alias_value":"RCCCPGKLTOVLROTH","created_at":"2026-05-25T02:02:31.696331+00:00"},{"alias_kind":"pith_short_8","alias_value":"RCCCPGKL","created_at":"2026-05-25T02:02:31.696331+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM","json":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM.json","graph_json":"https://pith.science/api/pith-number/RCCCPGKLTOVLROTHVYZENPYGIM/graph.json","events_json":"https://pith.science/api/pith-number/RCCCPGKLTOVLROTHVYZENPYGIM/events.json","paper":"https://pith.science/paper/RCCCPGKL"},"agent_actions":{"view_html":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM","download_json":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM.json","view_paper":"https://pith.science/paper/RCCCPGKL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.23770&json=true","fetch_graph":"https://pith.science/api/pith-number/RCCCPGKLTOVLROTHVYZENPYGIM/graph.json","fetch_events":"https://pith.science/api/pith-number/RCCCPGKLTOVLROTHVYZENPYGIM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM/action/storage_attestation","attest_author":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM/action/author_attestation","sign_citation":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM/action/citation_signature","submit_replication":"https://pith.science/pith/RCCCPGKLTOVLROTHVYZENPYGIM/action/replication_record"}},"created_at":"2026-05-25T02:02:31.696331+00:00","updated_at":"2026-05-25T02:02:31.696331+00:00"}