docs: quote the derived label-reload assertion; place the sk32 note (improvise-felo.1)

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze

context/code/core.md

@@ -636,7 +636,7 @@ where 24 is worse than 12. Most were already reachable at 12.
   24.
 
 The records-mode build's quadratic (improvise-sk32) is not category coupling;
-it is listed above because this measurement found it.
+it is named in the measurement paragraph above because this measurement found it.
 
 The browser adapts where the TUI does not. `#tiles` and `#categories` scroll,
 and `web/shell.js` charges each column level to the extent.

context/test-evidence/formula-and-io.md

@@ -1364,7 +1364,7 @@ refused, and `parse_md` returned
 `Err("Maximum of 12 categories reached")`: **the document was permanently
 unloadable.** Reproduced at `d46ec59` with exactly that error.
 
-The second assertion (`regular_category_names().len() == 12`) is what keeps the
+The second assertion (`regular_category_names().len() == crate::model::MAX_CATEGORIES`) is what keeps the
 first honest. A "fix" that simply raised or removed the limit would let the
 document load while putting a high-cardinality label into the pivot count, and
 this assertion fails on it.