add M6-M9 specification tests (#3)

2026-08-16 19:08:48 +09:00
parent 9986da6f12
commit f2e17d265f
97 changed files with 940 additions and 0 deletions
@@ -0,0 +1,11 @@
+# M6 fixtures
+
+These fixtures pin the M6 ownership/borrow rules before implementation.
+
+- `ok*.fe` must compile with `--target=bits32 --emit-c`.
+- `bad*.fe` must fail compilation; the first line follows the `// ERROR:<line>:<substring>` convention from SPEC §12.
+- They are intentionally not wired into `TEST-DOS.BAT` while `master` is M5, so adding these fixtures does not make the current milestone red.
+- When M6 starts, wire this directory into the DOS/QEMU gate without changing the expected result of any fixture.
+- M6 also owns the general-global borrow restriction from R10 because AGENTS.md explicitly groups that change with the `own.c` state-machine work.
+
+Coverage: R4 storage restrictions, R5 scope, R6 shared/exclusive liveness and reborrows, R7 invalidation, R8 derived returns, defer lifetime extension, and global borrow restrictions.