todo: tick the markdown cleanup and onboarding check

1 files changed, 2 insertions, 2 deletions

diff --git a/TODO.md b/TODO.md
index b4e79e2..7e5c382 100644
--- a/TODO.md
+++ b/TODO.md
@@ -147,8 +147,8 @@ every item still to do, including the ones added after the list above. sorted
 by how hard each is to implement, so the large language features come last.
 the final full suite stays at the very end whatever its size.
 
-- [ ] remove temporary markdown files: decide on `TASKLIST.md` (a record of an earlier session's requests), `docs/BOOTSTRAP-OWNERSHIP.md` (its problem is resolved) and `docs/design/handoff.md`, keeping anything still referenced from `README.md` or `ONBOARD.md`.
-- [ ] verify every command in `ONBOARD.md` from a clean checkout and fix the ones that drifted.
+- [x] remove temporary markdown files: decide on `TASKLIST.md` (a record of an earlier session's requests), `docs/BOOTSTRAP-OWNERSHIP.md` (its problem is resolved) and `docs/design/handoff.md`, keeping anything still referenced from `README.md` or `ONBOARD.md`.
+- [x] verify every command in `ONBOARD.md` from a clean checkout and fix the ones that drifted. (`make check` is left to the final suite run below.)
 - [ ] add `string` as a built-in alias of `char*`, in types, hovers and completions.
 - [ ] untyped constants inside structs: `struct Text { const MAX = 24; }`, reached as `std.Text.MAX`, with the same rules as a local or top-level `const k = 5;`.
 - [ ] typo suggestions for field and method names: `p.lenght` and `std.Text.itao` suggest the closest member, with the language server's change-to quick fix.