Batch 231-A ACCEPTED -- FLM Theorem 8.10.2 delivered as a theorem (three registered `sorry`s); HANDOVER rewritten; documentation roles fixed (README = index, ROADMAP = plan, NOTES = work log, HANDOVER = handover)

Definitions/MMFLM810Theorem8102Stated.lean (MM.FLM810T8102S): theorem8102_evenCocycle concludes
FLM810.Theorem8102 form ((Fintype.card k : N) : Q) with the six boundary inputs hnd hs C h2 S hpd hW
hfin as parameters, composing the landed MM.FLM86WSA.theorem8102_of_matching_and_commutatorHalf from
three new holes -- negativeResidual_evenCocycle (residual #2), fockStep_evenCocycle (#3),
secondSlot_evenCocycle (#4) -- and the batch-229 hole (residual #1, consumed through
MM.FLM86DP.displayAllStates_iff_commutatorInsertion8625, NOT duplicated).  Corollaries:
corollary851AllStatesExists_evenCocycle and evenCocycleResidualsCorrectedNormal_evenCocycle.  Ten
public declarations, all guarded; the guards print [propext, sorryAx, Classical.choice, Quot.sound]
(measured first; two messages wrap and the guard text is the wrapped form).

HANDOVER.md REWRITTEN as the handover manual: the delivery table (three statement-only files, five
holes), the exact gap list (the four holes with their Lean statements, what each proof needs and the
ledger pointers, plus the six boundary inputs as the one non-mathematical gap), what is NOT part of
the gap, the proved inventory by book formula, the blacklist, the module map, the build discipline
(this machine: tools/build.ps1; guard whitespace is not normalised -- measure), the next steps in
priority order (FockStep -> the l >= 1 slot -> NegativeResidual -> the display -> the boundary
inputs) and the history pointers.

Documentation roles (batch 230, same commit): the ROADMAP batch pile (batches 151--229, ~470 KB)
moved verbatim into NOTES.md Appendix A; ROADMAP.md = front matter (Index + Project status + How to
read + Working agreement) then "Part II -- the branches" (Streams S/T/M/A, the long campaign, the
FLM campaign) with one entry per task and compressed closed/open tables; README.md gained the
Documentation map; NOTES.md gained the role statement plus section 127 (per-batch `sorry` policy),
section 128 (the restructure) and section 129 (this batch); the per-batch `sorry` policy is written
into AGENTS.md, README.md, ROADMAP.md, HANDOVER.md and FinalCheck.lean's header; the three auxiliary
docs moved to refs/ (FLM-CH8-MAP, FLT-ASSETS, FLT-L1-VERIFY) with the living pointers updated.

Acceptance: FinalCheck.lean GREEN (imports added); Probe/forbidden_tokens.py reads sorry=1 / 1 / 3
for the three statement-only files and all zeros elsewhere.
