From 61d68eae4a6184cfd241f4c25f55598843604183 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 18 Jun 2026 20:35:55 -0500 Subject: chore(todo): close face-coverage generator task --- todo.org | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/todo.org b/todo.org index d64246c0a..256207c53 100644 --- a/todo.org +++ b/todo.org @@ -60,7 +60,10 @@ From the 2026-06-15 lint-org sweep. Each needs a human read — these are judgme - obsolete-properties-drawer — incorrect PROPERTIES drawer contents (lines 8392, 4201, 4023, 65, 55). - misplaced-heading — possibly misplaced heading (line 8116). -** TODO [#C] Reproducible face-coverage generator + coverage diff :feature:solo: +** DONE [#C] Reproducible face-coverage generator + coverage diff :feature:solo: +CLOSED: [2026-06-18 Thu] +Built: =face-coverage-dump.el= + =face_coverage.py= + =make face-coverage= / =make face-coverage-diff=. Validated by regenerating and diffing against the hand-built worklist (headings identical; only an intro line and one sharper description differ). Compare mode reports newly-covered / newly-present / disappeared / per-tier deltas. + =scripts/theme-studio/face-coverage.org= is hand-regenerated by a throwaway /tmp script each time. Commit a self-contained generator so the worklist regenerates with one command, plus a diff that names what coverage changed between runs. Generator — two pieces plus a Makefile target: -- cgit v1.2.3