Status
Computed from the repository's feature list when this site is built. Product labels are literal.
Product labels
| Product | State |
|---|---|
| MythosCode | Release candidate in private build |
| MythosReview | Launching first |
| MythosGuard | Pilot by request |
| MythosHunt | Early access |
| Installers | Print the status and exit with code 1 until a release binary exists. |
Engine proofs
127 of 130 passing. Last verified: .
| M | Proofs passing | Skipped |
|---|---|---|
| M0 | 22 of 23 | 1 |
| M1 | 61 of 61 | 0 |
| M2 | 23 of 23 | 0 |
| M3 | 2 of 2 | 0 |
| M4 | 4 of 4 | 0 |
| M5 | 15 of 17 | 2 |
Skipped proofs
They need a live key or hardware not available here. Skipped is never counted as passing.
M0-WIN-01Windows: install.ps1 -> mythoscode login -> multi-file task (recorded)DOD-01Fresh Windows/macOS/Linux: install -> login -> TUI multi-file task + mythoscode commitDOD-03Telegram group -> ack <= 100 words -> laptop daemon Worker -> PR -> review comment changes plan -> merged -> one result message