From b6556a4bcfac4a44ac8ae5b6d8538715fee80158 Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 21:41:47 +0100 Subject: [PATCH] Answer A-15: the branch follower's not-found, as built Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ --- 03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md index e696eec4..d6d5f1fa 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md +++ b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md @@ -58,3 +58,6 @@ names the principle that settles it, and is cited as "design 47 G A-n". - **A-14** (§580; principles 7 and 8) A finding that told several findings of one kind on one id apart by a `ref` puts that part into its id (`.`, each escaped as §73 escapes a name); a kind stays a fixed word of its bundle's list. The key's scope and id and the subject's scope and id are set equal, as before. +- **A-15** (§614; principle 3) In the branch follower an `entry` the holder refuses is `not-found`; a transport error leaves + it `asked` and is asked again; each part writes `entry-not-found` from the follower's changes. As built in mesh-delivery + ab616fa6.