Answer A-33 to A-35: the gate's records from take-in, source, owed acts

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
2026-11-11 22:05:00 +01:00
parent d60f14c56c
commit d0a7565088
1 changed files with 10 additions and 0 deletions
@@ -121,3 +121,13 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  writer's rule is unchanged.
 - **A-32** (A-29; principle 7) A part that keeps its open findings in memory (artifact-store-tools, mesh-config,
  distribution, gitea's package registry) uses the held writer of A-29, so a restart neither drops nor rewrites them.
+- **A-33** (§151, §592, A-9; principle 7) The gate opens one record per `take-in.taken`: its key is the taken body's
+  `branch` and `source` (`<branch>.<source>`, each escaped as a name); its members are the taken body's `entries`
+  (`repository`, `pull`), a group's members in one record; its heads are the commits the take-in names for them.
+- **A-34** (§291, §15, §592; principle 1) `source.<branch>` moves on `take-in.taken`: the gate writes the taken body's
+  `source` for its `branch`, then says `source-moved`; nothing else moves it.
+- **A-35** (§167, §158, §168; principle 7) The record's changes make the same owed acts the delivery's transitions make
+  today (the delivery's view, a comment, the note's line), re-keyed on the record; each act said is kept in the record's
+  `acts` with when it was said, and ended there on `owed.ended`, so `stalled` reads the unanswered ones.
+  `approval-carried` and `approval-carried-open` are design lines (§542, §592), not left out: they are built, with the
+  `pull-merged` and `pull-closed` consumes that clear the finding.