diff --git a/fec/tests/m7/README.md b/fec/tests/m7/README.md
index 3679b4b..abfce9f 100644
--- a/fec/tests/m7/README.md
+++ b/fec/tests/m7/README.md
@@ -3,6 +3,6 @@
 M7 adds optionals and error unions on top of the M6 ownership model.
 
 `ok*.fe` must compile. `bad*.fe` must fail according to the first-line error marker.
-The files are not wired into `TEST-DOS.BAT` until M7 work begins.
+The branch-level `m7-smoke` workflow builds the compiler as C89 and checks every M7 pass/fail fixture. Formal regression remains the FreeDOS/Open Watcom path.
 
 Coverage: contextual `null`, `?T`, `.?`, `Some`/`None` pattern-only non-destructive views, `mem.replace` extraction, lazy `orelse`/`catch`, nominal error unions, `try`, block/short `catch`, and error code/name uniqueness, plus R4/R7 interactions with optional references/owners.