Repository navigation
Flight v0.3.1: OPS-SAT ground tests passed, v0.3.1 outputs and labels, qualification rows - #28
Merged
Merged
Conversation
…, qualification rows - OPS-SAT: the overview card and the CLI page say that ESA's software environment test (15 Oct 2026) and TU Graz's FlatSat test on the flight processor (16 Oct 2026) passed, with the measured tick rate at the 5% share (about 45 per second) and a link to the operations note. The run in orbit is next. Source: flight docs/opssat.md and the finance record. - Quickstart and CLI outputs: from a real run of v0.3.1 on an Apple M4. The summary line ends with kat_tests (174 for shrink, 0 for TMR) and the footprint line prints three decimals, as v0.3.0 changed them. The counts are unchanged. - Qualification: as of 17 Oct 2026, flight v0.3.1. The bench row names the known-answer coverage campaign; a row for the F´ requirements and design notes (drafts); hardware-in-the-loop and radiation testing listed as not started, as in the flight repo's qualification note. - Labels: the crate example's output is checked against v0.3.1 (compiled and run, same output); the proof links and their caption point at v0.3.1; the CLI notes name v0.3.0 for the corrupt-fault fix and the stuckbit fault.
…ation plan It read "Rust toolchain qualification plan: TODO" on the public page. The row above it, tool qualification (compiler, Kani, test tools), covers the compiler.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Brings the docs in step with flight v0.3.1 and the OPS-SAT status in the flight repo.
docs/opssat.mdand the finance record.kat_tests(174 for shrink, 0 for TMR) and the footprint line prints three decimals, as v0.3.0 changed them. The counts are unchanged.npm run checkpasses.