From b3526b762c640ce5ba7c7aa9cdf90208be079506 Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 15:55:58 +0100 Subject: [PATCH] K13 (stated kinds): a findings statement names the kinds it states MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit FindingsStated gains kinds, the finding kinds the stating bundle owns; a statement deletes only keys of those kinds and one with none covers every kind, as before. A body of bodies yields its type alone, so no fixture reads it here: mesh-sdk's writer is what reads and tests it. Generated code waits for K21. Builds: design 47 G ยง580 Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ --- health-and-repair/seats/mesh-conditions/seat.json | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/health-and-repair/seats/mesh-conditions/seat.json b/health-and-repair/seats/mesh-conditions/seat.json index e5fa435..0591b4a 100644 --- a/health-and-repair/seats/mesh-conditions/seat.json +++ b/health-and-repair/seats/mesh-conditions/seat.json @@ -904,6 +904,13 @@ "type": "string", "description": "the ask it answers; none at a start" }, + "kinds": { + "type": "array", + "items": { + "type": "string" + }, + "description": "the finding kinds the stating bundle owns and states, the only kinds whose keys the statement deletes and whose conditions the keeper clears when it names none of them; none covers every kind, as a part with one bundle states (design 47 G 580)" + }, "findings": { "type": "array", "items": {