Answer A-264: a marked verb's additions are made where every definition is resolved
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -321,3 +321,7 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
no bound key and no new key form.
|
||||
- **A-263** (§712, §676; principles 7 and 8) §676 writes `package` (the Go module its `go.mod` names) for every Go
|
||||
artifact, a `bundle` too, since a bundle is built from that Go module; §712 reads it there.
|
||||
- **A-264** (§677, §697, A-186; principle 7) The event `gated-ended`, the verb `approvals` and the by-caller form of
|
||||
a marked verb are added in mesh-sdk's `seatdef.Resolve`, which the seat generator and every reader of a definition
|
||||
(the seat list, the grants part, the validator, `AnswerSeat`) go through: one place, one definition for all; the
|
||||
seat files stay as written.
|
||||
|
||||
Reference in New Issue
Block a user