diff options
| author | Craig Jennings <c@cjennings.net> | 2026-06-18 20:35:55 -0500 |
|---|---|---|
| committer | Craig Jennings <c@cjennings.net> | 2026-06-18 20:35:55 -0500 |
| commit | 61d68eae4a6184cfd241f4c25f55598843604183 (patch) | |
| tree | 24c787d7f27fe97fb7b55d2a4aa8f4b3904450c1 | |
| parent | 8f56aced97f128b6b4d4dcf19fe5c1ba43447e6b (diff) | |
| download | dotemacs-61d68eae4a6184cfd241f4c25f55598843604183.tar.gz dotemacs-61d68eae4a6184cfd241f4c25f55598843604183.zip | |
chore(todo): close face-coverage generator task
| -rw-r--r-- | todo.org | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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: |