From 9d406b6f029e8305171eb08ed0b776ce0c76aaff Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 23:08:26 +0100 Subject: [PATCH] Answer A-80: what the indexer keeps as heard has a state of its own Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md | 4 ++++ 1 file changed, 4 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 e06812b7..c68f227c 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 @@ -307,3 +307,7 @@ names the principle that settles it, and is cited as "design 47 G A-n". existing `grants_first_views`; while the catalog half is unread the part keeps what the bus loaded and only adds, which is §684's way past the cycle, so no registered branch holds nothing. The part's remaining reads of the indexer's `manifests`, `modules` and `verdicts` go too (§196): the catalog half answers them. +- **A-80** (A-66, A-68, A-69, §375, §73; principles 7 and 8) What the indexer keeps as heard (`steps-since`, `toolchain`, + `delivered`, `pending`, `acted`) lives in one state of its own, `heard`, not in `own-build`, which keeps its one key; + every key part is escaped as a name (§73), so a dotted module name parses; a kind-3 edge compares its artifact's + language with `toolchain.`.