docs: record ADR 007 in the repo map and kb

Add ADR 007 (stable identities, accepted 2026-09-25 on PR #210) and the
missing ADR 004 to the repo map's context-docs list, noting that no ADR
005/006 file exists. Add decision(improvise-sboz, ...) for clause 12:
a formula edit's display names are mapped to ids when the editor opens.

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

context/repo-map.md

@@ -587,6 +587,13 @@ context/test-evidence/tooling.md    Evidence for the gates in scripts/ and for t
                                     hold CI's shape
 scripts/nix-seed-flake-inputs.sh    Seeds locked flake inputs over git so `nix develop` works in cloud sessions
 prolog-sessions/kb.pl               Executable knowledge base: invariants, doctrine, decisions (CI-checked)
+context/adr/007-stable-identities.md Stable identities: ids unique across the document are the
+                                    keys and names are display-only; gensym suffixes apply to
+                                    generated ids only, and hand-written ids are canonical.
+                                    Accepted 2026-09-25. (There is no ADR 005 or 006 file:
+                                    improvise-l2b8 and improvise-ilvl claim those numbers.)
+context/adr/004-faces-and-themes.md  Faces: appearance as UI-agnostic data a front end
+                                    applies, emacs-style. Accepted 2026-09-22.
 context/adr/003-live-backed-models.md A model may be backed by a live query source —
                                     improvise as a DB client. Accepted, NOT a priority.
 context/adr/002-naming-a-cell.md     How a client names a cell: an opaque surrogate on