Amend A-286: a check step that errors after its fetch merged still answers its fetch
mesh/delivery merged: source.main moved to novox/hq@e81a8d62a591
mesh/check checking 41dd30fe436e on e81a8d62a591
mesh/delivery merged: source.main moved to novox/hq@e81a8d62a591
mesh/check checking 41dd30fe436e on e81a8d62a591
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -410,5 +410,7 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
holds them and a change to them is a changed package.
|
||||
- **A-286** (issue 1921; principle 3) The checker previews and judges every member whose fetch merged, whatever its
|
||||
later steps ended with; only a member whose head does not merge, or whose fetch did not answer, stays
|
||||
unpreviewed, and the check says which of the two. A failed test never hides the manifest validator or the
|
||||
composition.
|
||||
unpreviewed, and the check says which of the two. A check step that errors after its fetch merged (a level that
|
||||
does not compile or generate) ends failed with its answer all the same: its fetch and the levels so far, beside
|
||||
its error, so the checker previews from it. A failed test or a failed level never hides the manifest validator or
|
||||
the composition.
|
||||
|
||||
Reference in New Issue
Block a user