From 785f9ab8102b3de10a36e41cfcd6bb78c8f240b3 Mon Sep 17 00:00:00 2001 From: Will Binns Date: Thu, 15 Oct 2026 11:00:19 +0000 Subject: [PATCH 1/2] OPS-SAT: the experiment is registered (exp4051); describe the package and both launchers --- src/data/nav.ts | 2 +- src/pages/concepts/architecture.astro | 5 +++-- src/pages/core/quorum-cli.astro | 10 +++++++--- src/pages/index.astro | 4 ++-- 4 files changed, 13 insertions(+), 8 deletions(-) diff --git a/src/data/nav.ts b/src/data/nav.ts index 3abb441..0e8afff 100644 --- a/src/data/nav.ts +++ b/src/data/nav.ts @@ -73,7 +73,7 @@ export const NAV: NavGroup[] = [ title: 'Integrations', items: [ { id: 'fprime', label: 'F´ components', href: '/core/fprime/' }, - { id: 'opssat', label: 'OPS-SAT launcher', href: '/core/quorum-cli/#opssat' }, + { id: 'opssat', label: 'OPS-SAT package', href: '/core/quorum-cli/#opssat' }, ], }, { title: 'Lab', items: [{ id: '2049', label: 'Mru 2049', href: '/lab/2049/' }] }, diff --git a/src/pages/concepts/architecture.astro b/src/pages/concepts/architecture.astro index a2108c7..f624285 100644 --- a/src/pages/concepts/architecture.astro +++ b/src/pages/concepts/architecture.astro @@ -263,8 +263,9 @@ const crumbs = [
  • Mru Flight is Layer 1 for spacecraft. The F´ components RedundancyManager,{' '} HealthRegistry and ReplicaHost are built and tested: 37 unit tests, and a system test - against the demo's counts on the bench schedules. They have not run on flight hardware. A launcher for a{' '} - proposed experiment on ESA's OPS-SAT is in the repository. + against the demo's counts on the bench schedules. They have not run on flight hardware. The package for the{' '} + experiment registered with ESA's OPS-SAT Space Lab (OPS-SAT PRETTY, + exp4051) is in the repository.
  • Mru Field is the same Layer 1 core for systems on Earth that are hard to reach. See{' '} diff --git a/src/pages/core/quorum-cli.astro b/src/pages/core/quorum-cli.astro index 91815b2..4fd45c6 100644 --- a/src/pages/core/quorum-cli.astro +++ b/src/pages/core/quorum-cli.astro @@ -242,9 +242,13 @@ limits: memory=128MB/process cpu_time=none cpu_share=none max_run=none reply_tim

    On OPS-SAT

    - For a proposed experiment on ESA's OPS-SAT. The experiment has not been accepted. opssat/run.sh{' '} - starts, checks and stops a run with all limits set. Tagged releases ship each static Linux binary (three ARM, one - x86_64) with the launcher, a sample fault schedule and the operations note. + For the experiment registered with ESA's OPS-SAT Space Lab for OPS-SAT PRETTY (exp4051, October 2026). + Nothing has run on the satellite yet. opssat/run is the entry point the OPS-SAT runner executes: the + shrinking quorum and fixed TMR one after the other, same seed and fault schedule, all output in a folder for + downlink, finished inside a five-minute window. opssat/package.sh builds the package from a + checksum-verified release binary. opssat/run.sh starts, checks and stops a long run on any Linux + system. Tagged releases ship each static Linux binary (three ARM, one x86_64) with both launchers, the fault + schedules and the operations note.

    diff --git a/src/pages/index.astro b/src/pages/index.astro index baa209f..3d0b3b4 100644 --- a/src/pages/index.astro +++ b/src/pages/index.astro @@ -41,8 +41,8 @@ import DocsLayout from '../layouts/DocsLayout.astro';

    Integrations

    F´ and OPS-SAT

    - F´ components around the Rust core, a C interface for other frameworks, and the operations note for a - proposed OPS-SAT experiment. + F´ components around the Rust core, a C interface for other frameworks, and the operations note and + package for the registered OPS-SAT PRETTY experiment.

    From d98b60219ad30a576b124bb8a8754c362e0f0c6b Mon Sep 17 00:00:00 2001 From: Will Binns Date: Thu, 15 Oct 2026 11:03:08 +0000 Subject: [PATCH 2/2] Prettier; sync shared tokens from the website --- src/pages/core/quorum-cli.astro | 4 ++-- src/styles/shared/mru.css | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/pages/core/quorum-cli.astro b/src/pages/core/quorum-cli.astro index 4fd45c6..5789212 100644 --- a/src/pages/core/quorum-cli.astro +++ b/src/pages/core/quorum-cli.astro @@ -242,8 +242,8 @@ limits: memory=128MB/process cpu_time=none cpu_share=none max_run=none reply_tim

    On OPS-SAT

    - For the experiment registered with ESA's OPS-SAT Space Lab for OPS-SAT PRETTY (exp4051, October 2026). - Nothing has run on the satellite yet. opssat/run is the entry point the OPS-SAT runner executes: the + For the experiment registered with ESA's OPS-SAT Space Lab for OPS-SAT PRETTY (exp4051, October 2026). Nothing + has run on the satellite yet. opssat/run is the entry point the OPS-SAT runner executes: the shrinking quorum and fixed TMR one after the other, same seed and fault schedule, all output in a folder for downlink, finished inside a five-minute window. opssat/package.sh builds the package from a checksum-verified release binary. opssat/run.sh starts, checks and stops a long run on any Linux diff --git a/src/styles/shared/mru.css b/src/styles/shared/mru.css index 19370da..8bc3da8 100644 --- a/src/styles/shared/mru.css +++ b/src/styles/shared/mru.css @@ -557,7 +557,7 @@ display: grid; grid-template-columns: 21fr 34fr; gap: 64px; - align-items: end; + align-items: start; } /* The descent line */