Answer A-80: what the indexer keeps as heard has a state of its own

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-11 23:08:26 +01:00
parent 6cf7372ad4
commit 9d406b6f02
1 changed files with 4 additions and 0 deletions
@@ -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.<language>`.