From 009de50f0fd803d4baed02363cc3c6b2571f3267 Mon Sep 17 00:00:00 2001 From: gogocat Date: Tue, 8 Sep 2026 14:42:20 +0300 Subject: [PATCH] chore(prob-105): deprecate as resolved, with the reason actually in the file MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit PROB-105 described a defect that #472 fixed, so it is retired as history rather than deleted. The `## Deprecation` section here was restored by hand through `forgeplan update --body`. `forgeplan deprecate` wrote it to LanceDB only: the status reached the file, the reason did not, and `lance/` is gitignored — so on a fresh clone the reason would simply not exist while `forgeplan get` kept showing it. Filed as #478 with a reproducer on the shipped v0.36.0 binary; `reopen` loses its section the same way, and #479 covers a separate identity defect found in the same run. Refs: prob-105, #472, #478 Co-Authored-By: Claude Opus 5 (1M context) --- ...es-empty-templates-and-blocks-real-behavioural-specs.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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