diff --git a/.forgeplan/problems/PROB-105-the-spec-validator-passes-empty-templates-and-blocks-real-behavioural-specs.md b/.forgeplan/problems/PROB-105-the-spec-validator-passes-empty-templates-and-blocks-real-behavioural-specs.md index 77e68a55..ed3ad13f 100644 --- a/.forgeplan/problems/PROB-105-the-spec-validator-passes-empty-templates-and-blocks-real-behavioural-specs.md +++ b/.forgeplan/problems/PROB-105-the-spec-validator-passes-empty-templates-and-blocks-real-behavioural-specs.md @@ -5,10 +5,11 @@ kind: problem links: - target: PRD-086 relation: informs -status: active +status: deprecated title: The SPEC validator passes empty templates and blocks real behavioural specs --- + --- assigned_number: 105 context: '{grouping tag}' @@ -108,6 +109,8 @@ Three changes, none of which teaches the kernel a methodology: GitHub: #450 (its premise is inverted — see above), #449 (separate). +## Deprecation - +Reason: Fixed and merged: 551ddb9 (PR #472). check_stub now scales the placeholder signal, spec-contracts accepts a behavioural contract, and spec-requirement-has-scenario covers the half-authored case. Verified by EVID-171 (before/after measurements, 3320 tests, 4 mutation checks). Kept as history rather than deleted. +Date: 2026-09-08