docs: P13 phase close + phase-close convention (P13f-3)

[blokzdev]

P13f-3 — P13 phase close + the phase-close convention (docs-only)

The final P13 subphase: close out the v1 AI pillar and write down the phase-close convention this session surfaced. No feature code.

The convention (the net-new piece)

Earlier phases left it ambiguous when a [x] ("done & verified on-device") is earned, and P12 flipped its subphases to [x] while the on-device pass was still owed. This PR encodes the tighter, honest rule in CLAUDE.md §7:

• Marker legend (now canonical in CLAUDE.md): [ ] not started · [~] in progress · [x] done & verified on-device.
• A (sub)phase earns [x] only when CI is green + exit criteria met + its per-PR APK/on-device spot-check is done. A pure-Dart/UI/docs subphase is CI-dischargeable.
• Batched on-device checks (CLAUDE.md §6) keep a subphase at [~] — CI-complete but not yet verified — never [x] on the promise of a later check.
• A top-level phase is closed by one consolidated cross-feature on-device pass in VERIFICATION.md (the holistic gate). Running it discharges the batched per-subphase checks and flips them — and the phase — to [x].

Applying it to P13 (maintainer decisions this session)

• Nothing reads "done" until that pass runs. P13's APK checks were batched, so the affected subphases stay [~] rather than being flipped to [x].
• CI-dischargeable exceptions → [x]: P13f-3 (this PR) and P13d-1 (pure-Dart retrieval engine, "CI-covered; no APK check").
• Honesty fix: the over-claimed P13d parent [x]→[~] (its children d-2a/d-2b/d-3 are still APK-owed).

Changes

• docs/VERIFICATION.md — replace the rough "P13 (later subphases)" placeholder with a proper "P13 — consolidated cross-feature on-device pass": the single owed gate, exercising the features together (generation stack on one model · LLM+HNSW RAM co-residency · ML Kit OCR/translate · graph analytics · gating interplay on low-tier · opt-ins persist / offline). The per-subphase rows (a–f) stay as the granular reference.
• docs/design/P13-PLAN.md — the marker flips above; a P13f-3 Status note; and the ✅ P13 complete placeholder replaced with an honest "code-complete; on-device verification pending" summary.
• docs/ROADMAP.md — one honest P13 Status line (no premature "done"); date bump.
• docs/BACKLOG.md — the one missing P13f-2 deferral (unify the translation language name/code sources). All other P13 deferrals were already logged per-subphase.

CI / verification

• Docs-only; dart format · flutter analyze · flutter test (940) all green locally (confirms no stray Dart change).
• The single remaining owed item for all of P13 is the maintainer running the consolidated on-device pass, which then flips every P13 marker to [x] and closes the phase (→ P14).

https://claude.ai/code/session_013JoYmLCosYt5tQ8qwdbL1T

---

Generated by Claude Code