diff --git a/modules/mesh-delivery-indexer/judge/busstate_test.go b/modules/mesh-delivery-indexer/judge/busstate_test.go index bf214994..1748e853 100644 --- a/modules/mesh-delivery-indexer/judge/busstate_test.go +++ b/modules/mesh-delivery-indexer/judge/busstate_test.go @@ -87,6 +87,12 @@ func TestBusStateIsJudgedOnce(t *testing.T) { {"a digest of a field that is no text", manifest(strings.Replace(ledger, `{"title":{"type":"text"}}`, `{"title":{"type":"text"},"n":{"type":"integer"},"sum":{"type":"text","digest-of":"n"}}`, 1)), []string{"\"records\"", "field \"sum\"", "digest of \"n\"", "no text field"}}, {"a digest of a text field", manifest(strings.Replace(ledger, `{"title":{"type":"text"}}`, `{"title":{"type":"text"},"sum":{"type":"text","digest-of":"title"}}`, 1)), nil}, + // W1.5 (design 47, *Its form is declared*): a form below 0 is refused where the reader reads it, in `requires` too. + {"a form below 0", manifest(`{"name":"x","storage":"key-value","template":"state","form":-1}`), []string{"its form is -1"}}, + // W1.6 (ADR 0619 ยง2): a foundation part keeps its new objects in the old section, with their cap and form (the + // same objects in the new form it is refused: DLV-J1 in the index's verdicts test). + {"a foundation part's objects in the old section", `{"module":"mesh-delivery-assigner","version":"1","tools":["assigner_graph_again"],` + + `"objects":[{"name":"revisions","max-mib":256,"form":1,"catch-up":"assigner_graph_again"}]}`, nil}, } { _, problems := Manifest([]byte(c.raw), nil) switch {