K13 (stated kinds): a findings statement names the kinds it states

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
This commit is contained in:
2026-11-11 15:55:58 +01:00
parent 24d58f0786
commit b3526b762c
@@ -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": {