Hugh KaznowskiandClaude Sonnet 5 2908cccd76 Add ticket 051: allow deleting a declared metric ...

There is no DELETE route, no persisted-removal path, and no UI affordance
for removing a metric once declared — the engine's RemoveMetricDeclaration
message only ever fires as part of whole-profile deletion today.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XFUNZwCvz3kcod3352ZR2o

2026-09-06 09:11:31 +01:00

..

050-structured-header-extraction-and-bounded-logfmt-overfit.md

Merge ticket 049 (inline profiles into settings.json) with auto-derived-param promotion

2026-09-06 02:03:22 +01:00

051-delete-metrics.md

Add ticket 051: allow deleting a declared metric

2026-09-06 09:11:31 +01:00