### FLM-CH8-MAP
   README.md:149: | `FLM-CH8-MAP.md` | the book map: every numbered item of FLM Chapter 8 with its page, dependencies and landed status |
   NOTES.md:5379: (`Definitions/MMFLM810BridgeProduct.lean:37`--`:50`).  **`FLM-CH8-MAP.md`'s §8.10 rows (`:373`, `:434`,
   FinalCheck.lean:4152: inventing a state field.  The citation index for the chapter is `FLM-CH8-MAP.md` at the repository
   FinalCheck.lean:4486: `z_0^{<a,b>}` in (8.4.35), outside the normal-ordered product -- and `FLM-CH8-MAP.md`'s row for (8.5.13)
### FLT-ASSETS
   ROADMAP.md:1653: > **FLT ASSETS SURVEYED (see `FLT-ASSETS.md`, 604 lines, at the repository root).**  A read-only
### FLT-L1-VERIFY
   ROADMAP.md:1660: > **BUT A VERIFICATION PASS (`FLT-L1-VERIFY.md`, 415 lines) THEN CORRECTED THAT ROUTE, and this is the
