A-329, A-333: the glossary's word catalog
mesh/delivery closed: a newer head of the same pull request
mesh/check being carried to 4a466efcac84 on bba961f9fd86 | from a5eae7aa0a68
mesh/delivery closed: a newer head of the same pull request
mesh/check being carried to 4a466efcac84 on bba961f9fd86 | from a5eae7aa0a68
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -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 `<node>.<module>` 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
|
||||
|
||||
Reference in New Issue
Block a user