H4 engine-states: the node record states the new words and forms

The node record's reads come from mesh-sdk's ManifestReads, so building with S1
and S2 states word:resources.if-config, form:config-lines and form:config-json;
the record test now asserts them.

Builds: design 42 zfs-owns-zfs §4, answer A-13
This commit is contained in:
2026-11-13 00:22:48 +01:00
parent 61c42f9fbc
commit 61806a7a92
+6 -2
View File
@@ -318,8 +318,12 @@ func TestTheNodeKeyCarriesTheNodesFacts(t *testing.T) {
t.Errorf("record = %+v, want %+v", *got.Record, wantRecord)
}
// Among them, that it fills a seat's reach from the seat holder's listen (ADR 0632 §1).
if !slices.Contains(got.Record.ManifestReads, catalogue.ReadForm+catalogue.ReferenceFormSeatReach) {
t.Errorf("the engine does not state it reads a seat's reach from its holder: %v", got.Record.ManifestReads)
// And the words and forms it builds (design 42 zfs-owns-zfs §4, answer A-13).
for _, read := range []string{catalogue.ReadForm + catalogue.ReferenceFormSeatReach, "word:resources.if-config",
"form:config-lines", "form:config-json"} {
if !slices.Contains(got.Record.ManifestReads, read) {
t.Errorf("the engine does not state it reads %s: %v", read, got.Record.ManifestReads)
}
}
at := l.kv["n1.node"].rev
q.SayFacts(context.Background(), rep)