Answer A-159: resolved names the commit and the digest of what was laid

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent a6ffb0a7a1
commit 644a9484ab
1 changed files with 3 additions and 0 deletions
@@ -593,3 +593,6 @@ names the principle that settles it, and is cited as "design 47 G A-n".
 - **A-158** (design 46 approval mark §16, §677; principle 8) A marked call's answer is `{answer, approval}`: the tool's
  own answer and the line naming the approval, the form a process holder's `gated-ended` has, so a caller reads one
  form from both gates. A-157's bound key lives in the runner's state `bound` as `<node>.unanswered.<ask id>`.
+- **A-159** (§466, §472; principles 3 and 7) A build's `resolved{package, version, digest}` names what was used: its
+  `version` is the commit the ask names, and its `digest` the sha256 of what was laid (the Go module cache zip, the
+  npm tarball), or the member build's digest when it was laid from `builds`.