Answer A-238: a run ask may name no head

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent 04955c3112
commit 88c44c095e
1 changed files with 3 additions and 0 deletions
@@ -228,3 +228,6 @@ the principle that settles it, cited as "design 47 G A-n".
  `inputs` with the state's `-objects` store holding a large value (mesh-sdk's `stateobjects`), and serves it through
  its `input` verb answered in chunks (`buscalls.SeatChunks`, a verb marked `chunks`); `RunInputBound` goes, and the
  holder takes the input by that verb.
+- **A-238** (§712; principle 7) A run ask may name no head: `RunJob.check` takes an empty `Heads` when the program
+  is named, and the holder lays an empty `MESH_RUN_HEADS`; the validation's program is built from the indexer's
+  entry alone.