cad-verify: delete the dead templates/UAT.md eager include (-5,792 B) #100

New issue

Closed

opened 2026-08-10 14:49:00 +00:00 by john · 1 comment

john commented

2026-08-10 14:49:00 +00:00

Owner

Highest byte-per-effort item in the repo: one deleted line, 5,792 B off /cad-verify's eager set.

Evidence it is dead

grep -rn "templates/UAT" over live surfaces returns only the budget row, a code comment at lib/planning-files.mjs:947, a comment at planning.mjs:893, and the include itself at skills/cad-verify/SKILL.md:29. verify.md never names it, never Reads it, never cites a rule from it.
The model could not use the format anyway. verify.md:352 (guardrail): "UAT.md is written ONLY through the uat seam." Field order is owned by UAT_FIELDS (lib/planning-files.mjs:958), frontmatter by UAT_FM_FIELDS, enums by UAT_SOURCES/UAT_ORIGINS, and renderUat filters against the whitelist on every write. The template is a renderer spec, not an instruction for a model that never renders.
Everything in it the model does act on already rides in verify.md in the same context: severity table (verify.md:226-235), lifecycle (:34-111, :293-343), criterion/origin (:71-83), fields_version (:84-89), source enum (:189-191), why_human (:155-167).
No hidden dependency: --sources is optional in the seam (planning.mjs:635), and origin: verifier is written by uat merge, handled in verify-deep.md:30-54, never by the walk.
CHANGELOG.md:471-474 justifies keeping it as "consulted on every path, for the same reason" as cad-help's COMMANDS.md. Falsifiable and false: cad-help's workflow IS COMMANDS.md, whereas verify.md never names UAT.md once.

Change

Delete skills/cad-verify/SKILL.md:29. Keep the file on disk — it is the seam's spec and a templates/ surface self-verify walks.

Budget

skills/cad-verify/SKILL.md: 1,102 -> 1,050
cadence-core/templates/UAT.md: 5,792, unchanged (still a measured surface)

Do not

Add a deferred-reads.mjs register row for this. There is no consult site to anchor — the register's scope is a reference a skill consults but no longer @-includes, and this one is consulted zero times. Note the coverage gap in the commit message; #2 is the check that actually covers this class.

Result

/cad-verify eager: 24,533 -> 18,741.

Highest byte-per-effort item in the repo: one deleted line, 5,792 B off `/cad-verify`'s eager set. ## Evidence it is dead - `grep -rn "templates/UAT"` over live surfaces returns only the budget row, a code comment at `lib/planning-files.mjs:947`, a comment at `planning.mjs:893`, and the include itself at `skills/cad-verify/SKILL.md:29`. `verify.md` never names it, never Reads it, never cites a rule from it. - The model could not use the format anyway. `verify.md:352` (guardrail): "UAT.md is written ONLY through the uat seam." Field order is owned by `UAT_FIELDS` (`lib/planning-files.mjs:958`), frontmatter by `UAT_FM_FIELDS`, enums by `UAT_SOURCES`/`UAT_ORIGINS`, and `renderUat` filters against the whitelist on every write. The template is a renderer spec, not an instruction for a model that never renders. - Everything in it the model does act on already rides in `verify.md` in the same context: severity table (`verify.md:226-235`), lifecycle (`:34-111`, `:293-343`), criterion/origin (`:71-83`), fields_version (`:84-89`), source enum (`:189-191`), why_human (`:155-167`). - No hidden dependency: `--sources` is optional in the seam (`planning.mjs:635`), and `origin: verifier` is written by `uat merge`, handled in `verify-deep.md:30-54`, never by the walk. - `CHANGELOG.md:471-474` justifies keeping it as "consulted on every path, for the same reason" as `cad-help`'s `COMMANDS.md`. Falsifiable and false: `cad-help`'s workflow IS `COMMANDS.md`, whereas `verify.md` never names UAT.md once. ## Change Delete `skills/cad-verify/SKILL.md:29`. Keep the file on disk — it is the seam's spec and a `templates/` surface self-verify walks. ## Budget - `skills/cad-verify/SKILL.md`: 1,102 -> 1,050 - `cadence-core/templates/UAT.md`: 5,792, **unchanged** (still a measured surface) ## Do not Add a `deferred-reads.mjs` register row for this. There is no consult site to anchor — the register's scope is a reference a skill consults but no longer `@`-includes, and this one is consulted zero times. Note the coverage gap in the commit message; #2 is the check that actually covers this class. ## Result `/cad-verify` eager: 24,533 -> 18,741.

john added this to the v2.6.2 milestone

2026-08-10 14:49:00 +00:00

john commented

2026-08-12 15:10:40 +00:00

Author

Owner

Shipped: the templates/UAT.md eager include is gone from skills/cad-verify/SKILL.md; the template stays on disk as the seam's spec. Covered going forward by the include-consumers check (#99).

john closed this issue

2026-08-12 15:10:40 +00:00