Answer A-39: which record change makes which owed act
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -144,3 +144,8 @@ names the principle that settles it, and is cited as "design 47 G A-n".
|
||||
- **A-38** (A-29, A-32; principles 4 and 7) The held writer can be read: `HeldWriter.Held()` answers the findings it holds,
|
||||
so a part that diffs or looks up its open findings (artifact-store-tools, mesh-config) reads them there and keeps no
|
||||
set of its own.
|
||||
- **A-39** (§158, §161 to §167, A-35; principle 7) Which record change makes which act, as the transitions did: every
|
||||
change of a record (a step's outcome applied, the record ended) says a line on the head commit's note
|
||||
(`<at> record <key>: <what changed> (<why>)`, one line) and replaces each member pull request's delivery view with
|
||||
what `show` answers for the record; a comment is said only when the record ends failed or held, naming why. The gate's
|
||||
own findings (`approval-carried-open` first) go through one held writer over its own `findings` state (A-29, A-37).
|
||||
|
||||
Reference in New Issue
Block a user