diff --git a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md index e3ff9d1b..0d2bc6c3 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md +++ b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md @@ -619,7 +619,7 @@ the principle that settles it, cited as "design 47 G A-n". - **A-329** (A-324, §8; principles 3, 7) The module the seed leaves out raises the indexer's finding `seed-left-out`, scope `module`, id the module's name, naming the artifact and its language or kind, and is named in the seed's ask beside the unprotected branches (`Left`, §8). It clears only when a later seed finds a build seat for every artifact of - it, or the module leaves the catalogue; the seed being applied without it does not clear it. + it, or the module leaves the catalog; the seed being applied without it does not clear it. - **A-330** (sharpens A-323; §268; principles 3, 8) A want the assigner holds on a cycle it cannot break raises its finding `acting-cycle`, scope `module`, id `.` of the held want, naming the cycle with each edge's step; the next pass that finds the want held on no cycle clears it. "Held by nothing but its build" means held by no acting edge: the @@ -635,7 +635,7 @@ the principle that settles it, cited as "design 47 G A-n". (kind 1) alone: a real import cycle is refused by the language's own build, and one found only because imports are given to every artifact of a module is not a cycle of what is built. (2) No delivery edge (kinds 2, 4, 5, 6) ends at a package artifact: a package is delivered only inside what uses it, which a kind-1 edge carries, so such an edge is not - made and cannot close a cycle. How it is checked: the indexer's cycle rule accepts today's trunk catalogue and G's own + made and cannot close a cycle. How it is checked: the indexer's cycle rule accepts today's trunk catalog and G's own (the dry run's entries, kept as test data), and refuses a cycle with a build edge among delivered artifacts, naming them. - **A-334** (sharpens A-328; §29, §65, §268; principle 5) In a group take-in that changes the runner, the runner is the