Drop a holds test that passes without its change; the propose description names the limit's setting
mesh/check being carried to 55a88cdba4e5 on 79c2fc7fe1d5 | from 7fe569ef4067
mesh/delivery merged: source.main moved to novox/mesh-catalog@79c2fc7fe1d5
mesh/check being carried to 55a88cdba4e5 on 79c2fc7fe1d5 | from 7fe569ef4067
mesh/delivery merged: source.main moved to novox/mesh-catalog@79c2fc7fe1d5
Round 2 of issue 1970's review: a research effort has no clauses, so holds never serves one; Served on an idea is tested in TestAnIdeaIsListedAndNeverServedAsTruth. Claude-Session: https://claude.ai/code/session_01JG73KG7AfSdh6FP8VrBqCn
This commit is contained in:
@@ -69,16 +69,6 @@ func TestAtMostThreeResearchEffortsAreActive(t *testing.T) {
|
||||
}
|
||||
}
|
||||
|
||||
// ADR 0629 §2: holds answers nothing from an idea.
|
||||
func TestHoldsAnswersNothingFromAnIdea(t *testing.T) {
|
||||
w := imported(t, newMemStore())
|
||||
k := Key{KindResearch, w.effort(t, StatusIdea)}
|
||||
h, err := w.k.Holds("", &k, 0)
|
||||
if err != nil || len(h.Clauses) != 0 {
|
||||
t.Fatalf("holds from an idea: %+v, %v", h, err)
|
||||
}
|
||||
}
|
||||
|
||||
// ADR 0629 §1, §2: list at idea is the roadmap; ask, holds and get never answer an idea as a record in force.
|
||||
func TestAnIdeaIsListedAndNeverServedAsTruth(t *testing.T) {
|
||||
w := imported(t, newMemStore())
|
||||
|
||||
@@ -974,7 +974,7 @@ func Tools(k *KB, caller func(map[string]any) string) []stdio.Tool {
|
||||
"links (supersedes, changes \"0276 §4\", extends, became, cites), and whether it needs the operator, with the brief its ask shows. Refused, naming " +
|
||||
"every reason at once and writing nothing, when it breaks one of the 30 rules that judge one record or its prose — a " +
|
||||
"link to nothing, a clause without a bold lead, a superseded record cited alone, an unknown topic, a retired word. A " +
|
||||
"proposal is revised by proposing it again; an accepted record (an active research effort or an idea excepted, which take new versions; at most three research efforts are active) changes only by a progressive insight (insight: what " +
|
||||
"proposal is revised by proposing it again; an accepted record (an active research effort or an idea excepted, which take new versions; at most as many research efforts are active as the setting research-active-at-most allows, three by default) changes only by a progressive insight (insight: what " +
|
||||
"stood before). The knowledge base then reviews each version itself, in a judgement that sees only the record, the " +
|
||||
"records it links and the rules. A decision that names no home and that no accepted record links is not judged: " +
|
||||
"its review asks changes for the whole-set rule cited, which its acceptance would break. On approve it is accepted (a record that needs the operator waits for the operator's " +
|
||||
|
||||
Reference in New Issue
Block a user