From fc4dab97fb295dfec5fcbaf136e3204d5bcba72b Mon Sep 17 00:00:00 2001 From: Marius Ciepluch <11855163+norandom@users.noreply.github.com> Date: Tue, 8 Sep 2026 11:47:29 +0200 Subject: [PATCH] docs(model-grounded-detection): attach Req 7.4 (verifier boundary) to task 1.1 The prior commit's edit did not match and 7.4 was left unclaimed. model/specs.py is read-only data -- no LLM and no optimiser writes it -- and task 1.1 now carries that criterion with a test asserting the module exposes no writer. All 49 criteria trace to a task. Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_01T7XD7x5KonMdmGRkp63EQG --- .kiro/specs/model-grounded-detection/tasks.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.kiro/specs/model-grounded-detection/tasks.md b/.kiro/specs/model-grounded-detection/tasks.md index c40b699..8719d3b 100644 --- a/.kiro/specs/model-grounded-detection/tasks.md +++ b/.kiro/specs/model-grounded-detection/tasks.md @@ -67,8 +67,8 @@ queries in group 4). The gates, `redaction.py`, `pairs.py` overlay/inventory pat not logic — the CPG queries that consume it come in groups 2 and 4. - Observable: `model/specs.py` imports nothing from `learning/`, `improve/`, `semantic/variants`, `semantic/mechanisms`; a test asserts every family in the taxonomy has a `TaintSpec` or a `DominanceSpec` - seed, and that the guard vocabulary is preserved verbatim. - - _Requirements: 1.2, 7.1, 7.2, 7.3_ + seed, and that the guard vocabulary is preserved verbatim. `model/specs.py` is read-only data — no LLM and no future optimiser writes it, and a test asserts the module exposes no writer (Req 7.4, the verifier boundary). + - _Requirements: 1.2, 7.1, 7.2, 7.3, 7.4_ - [ ] 1.2 Re-home the three retained modules - Move `learning/families.py` → `model/taxonomy.py`, `learning/candidates.py` → `model/candidates.py`,