[wbnns]

What changed

One addition, in README.md inside "Checked against the real code", mirrored on the page in docs/index.html after the "What this does not claim" list:

• The same quorum program (v0.3.1) ran in orbit on ESA's OPS-SAT PRETTY on 18 October 2026, three software replicas on one payload processor with faults from a schedule (results). That checks the program on a flight processor, not this model. The 1.34x comes from the 10,000 simulated missions here, not from that run, and with no real upset in its 227 s window the run calibrates nothing in this model.
• "Those need radiation test or flight data." is now "Those need radiation test data or a much longer flight record; the 227 s OPS-SAT run of 18 October 2026 saw no real upset."

No data-k strings and no data.json changes.

Checks

• cargo fmt --check: pass
• cargo clippy --all-targets -- -D warnings: pass
• cargo test --release: 30 passed, 0 failed
• ./scripts/check-readme.sh --run: ok (36 display strings checked)