docs: -lower and the degenerate byte-compare tests are retired

docs/STATUS.md

@@ -138,7 +138,10 @@ Still to do:
    `DeclStr`/`DeclUStr` string pool are value-ish; `CopyOp`/`IsImm`/
    `IntStr`/`Fold2`/`Norm*`/`Conv*` are the value layer and stay.
 6. Retire the `-lower` test flag and the now-degenerate byte-compare
-   tests in `run_tests.sh`.
+   tests.  **Done 2026-10-08:** `-lower`/`IsLowerParam`/`lowerTest` and
+   `EndSession`'s `testSuffix` are gone, and the 23 `lower_ok` cases
+   dropped (suite now **181**; the programs are still covered by the
+   `expect_run`/session cases).
 7. Remove the dead scaffolding.  Done 2026-10-08: `LowerSession`,
    `LowerUnit`, the whole `Can*` capability-walker family,
    `CanLower`/`CanExpr`/`CanDecls`/`CanProc`, the dead

docs/summary_lower_l7_flip.md

@@ -124,8 +124,10 @@ self-host grammar rejects** — the suite passed while the fixpoint
 failed.
 
 Then: retire the `-lower` test flag and the now-degenerate byte-compare
-tests, and delete `SaveSession`/`RestoreSession`/`SetNoEmit` (still used
-by the per-unit flow).
+tests (**done**: `-lower`/`IsLowerParam`/`lowerTest`/`EndSession`'s
+`testSuffix` removed, 23 `lower_ok` cases dropped, suite now 181), and
+delete `SaveSession`/`RestoreSession`/`SetNoEmit` (still used by the
+per-unit flow).
 
 ## Fixpoint sizes across the session