{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:UCSSPT7GIWYIYUJ64HSULLL6ER","short_pith_number":"pith:UCSSPT7G","schema_version":"1.0","canonical_sha256":"a0a527cfe645b08c513ee1e545ad7e24450d5bd910786a5cc458b5745257ac3b","source":{"kind":"arxiv","id":"2507.07689","version":1},"attestation_state":"computed","paper":{"title":"From Domain Documents to Requirements: Retrieval-Augmented Generation in the Space Industry","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aldeida Aleti, Chakkrit Tantithamthavorn, Chetan Arora, Fanyu Wang, Shaun Kenyon","submitted_at":"2025-07-10T12:11:01Z","abstract_excerpt":"Requirements engineering (RE) in the space industry is inherently complex, demanding high precision, alignment with rigorous standards, and adaptability to mission-specific constraints. Smaller space organisations and new entrants often struggle to derive actionable requirements from extensive, unstructured documents such as mission briefs, interface specifications, and regulatory standards. In this innovation opportunity paper, we explore the potential of Retrieval-Augmented Generation (RAG) models to support and (semi-)automate requirements generation in the space domain. We present a modula"},"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":"2507.07689","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-10T12:11:01Z","cross_cats_sorted":[],"title_canon_sha256":"04199fe81a984907c2f7938b49c5745ecb2c67702b03cedd1a0a48168256ab22","abstract_canon_sha256":"4115f0b2d37760723fafd498c044596b94aaf4dd92fbfb56fb6684e97caf4014"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:35:03.470996Z","signature_b64":"SRy8Fw6Jaic4IO7Rbq4ftcbKZZRCS24ui1azDzLA2/LB9f5ZZdVLZSRBQ3PAN/EMOQj+6MPFQzpITxWPfmG3Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a0a527cfe645b08c513ee1e545ad7e24450d5bd910786a5cc458b5745257ac3b","last_reissued_at":"2026-07-05T11:35:03.470477Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:35:03.470477Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Domain Documents to Requirements: Retrieval-Augmented Generation in the Space Industry","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aldeida Aleti, Chakkrit Tantithamthavorn, Chetan Arora, Fanyu Wang, Shaun Kenyon","submitted_at":"2025-07-10T12:11:01Z","abstract_excerpt":"Requirements engineering (RE) in the space industry is inherently complex, demanding high precision, alignment with rigorous standards, and adaptability to mission-specific constraints. Smaller space organisations and new entrants often struggle to derive actionable requirements from extensive, unstructured documents such as mission briefs, interface specifications, and regulatory standards. In this innovation opportunity paper, we explore the potential of Retrieval-Augmented Generation (RAG) models to support and (semi-)automate requirements generation in the space domain. We present a modula"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.07689","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/2507.07689/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":"2507.07689","created_at":"2026-07-05T11:35:03.470540+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.07689v1","created_at":"2026-07-05T11:35:03.470540+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.07689","created_at":"2026-07-05T11:35:03.470540+00:00"},{"alias_kind":"pith_short_12","alias_value":"UCSSPT7GIWYI","created_at":"2026-07-05T11:35:03.470540+00:00"},{"alias_kind":"pith_short_16","alias_value":"UCSSPT7GIWYIYUJ6","created_at":"2026-07-05T11:35:03.470540+00:00"},{"alias_kind":"pith_short_8","alias_value":"UCSSPT7G","created_at":"2026-07-05T11:35:03.470540+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/UCSSPT7GIWYIYUJ64HSULLL6ER","json":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER.json","graph_json":"https://pith.science/api/pith-number/UCSSPT7GIWYIYUJ64HSULLL6ER/graph.json","events_json":"https://pith.science/api/pith-number/UCSSPT7GIWYIYUJ64HSULLL6ER/events.json","paper":"https://pith.science/paper/UCSSPT7G"},"agent_actions":{"view_html":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER","download_json":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER.json","view_paper":"https://pith.science/paper/UCSSPT7G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.07689&json=true","fetch_graph":"https://pith.science/api/pith-number/UCSSPT7GIWYIYUJ64HSULLL6ER/graph.json","fetch_events":"https://pith.science/api/pith-number/UCSSPT7GIWYIYUJ64HSULLL6ER/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER/action/storage_attestation","attest_author":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER/action/author_attestation","sign_citation":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER/action/citation_signature","submit_replication":"https://pith.science/pith/UCSSPT7GIWYIYUJ64HSULLL6ER/action/replication_record"}},"created_at":"2026-07-05T11:35:03.470540+00:00","updated_at":"2026-07-05T11:35:03.470540+00:00"}