{"domain":"mru.space","status":"valid","tier":"listed","authority":46,"verified":false,"title":"Mru docs","summary":"Reference for Mru's open core, for unattended missions with no repair path: the shrinking-quorum decision crate and its fault-injection demo (Rust, no_std, nine Kani proofs: four on the core, five on the C interface), the Dusk simulator and the Mru 2049 browser flight simulator. The quorum demo ran once in orbit on ESA's OPS-SAT PRETTY satellite (exp4051, 18 Oct 2026); the F´ components have not run on flight hardware. Code under Apache 2.0.","country":"US","country_source":"ip","publisher_country":null,"publisher_country_source":null,"hosting_country":"US","llms_txt":"https://docs.mru.space/llms.txt","llms_full_txt":"https://docs.mru.space/llms-full.txt","last_checked":"2026-10-24T13:15:42.100Z","agent_terms":null,"categories":["infrastructure"],"capabilities":[],"inferred_tags":["fault tolerance","shrinking quorum","rust nostd","kani proofs","spacecraft software","open core"],"audience":"developers","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Mru docs: reference for open-core Rust fault-tolerance code (shrinking-quorum crate, Dusk simulator, Mru 2049), Apache 2.0, for unattended remote and space syst","llms_txt_cached":"https://agentwebmap.com/v1/domain/mru.space/llms.txt","agentic":"documentation","section_keys":["company","concepts","core-runtime","docs","lab","mru-space","products","research","simulation","start","use-cases"],"section_partial":true,"section_indexed_at":"2026-10-24T14:17:15.539Z"}