remove src recomp

docs/WORKFLOW.md

@@ -169,19 +169,15 @@ In `decomp/<X>/`:
 - Mark every name as inferred.
 - Record the original bugs you notice (leaks, races).
 
-## 7. Port to Linux
+## 7. Porting spec
 
-`src/<name>/` builds the lifted code with Meson (see `src/README.md`). Keep a
-`platform.{hpp,cpp}` layer that maps each Win32 call to its nearest POSIX
-equivalent.
-
-The per-binary `README.md` must contain:
-- a substitution table: original address → Win32 API → Linux replacement →
-  behaviour difference;
-- what is stubbed or not ported, and why.
-
-Build with `ninja -C build` and smoke-test it. A passing test proves only that
-the port works, not how the original behaves.
+There is no source tree in this repo. The earlier `src/` reconstructions were
+removed on 2026-10-15. Instead, record the facts a re-implementation needs in
+`decomp/<X>/porting.md`:
+- the behaviour to reproduce, with decomp addresses;
+- a substitution table: original address → Win32 API → nearest Linux
+  equivalent → behaviour difference;
+- the original bugs, and what is unknown or unrecovered.
 
 ## 8. Close
 
@@ -199,5 +195,5 @@ the Evidence bundle, because session annotations are temporary.
       `third-party/README.md`**
 - [ ] Key functions decompiled; `full/` export done
 - [ ] `evidence.md`, `INVENTORY.md`, `docs/ARCHITECTURE.md` updated
-- [ ] Lift and Linux port updated, if in scope
+- [ ] `cpp/` lift and `porting.md` updated, if in scope
 - [ ] Evidence bundle exported; REA session closed