Files
jschoubben fea509d3f5 BKP6: the put-off wait for a restore is a bound key of restic's state put-off; its expiry raises backup-waits and ends the wait
The record backed-up reads is the key `<module>.<item>` of the module's own state put-off (key-ttl), bounded by the setting
put-off-bound (minutes, default 60); the bus removing it is heard as the expiry, which writes the finding backup-waits through
the held writer over the module's findings and ends the wait, so the night never holds its lock without a bound. The file
put-off.json and its writes are gone. The manifest requires put-off, findings and finding-events and hears findings-asked.

Builds: design 47 G §561, §563, §557, §302, A-155, A-77

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 05:18:38 +01:00

121 lines
3.8 KiB
Go

package main
import (
"encoding/json"
"os"
"path/filepath"
"strings"
"testing"
)
// The module's directory, where its manifest and its files/ are.
const moduleDir = "../.."
// templateText is the text a file resource places on the machine: its template's, in the module's files/
// (novox/hq ADR 0349 §2). A resource that names no template, or a template that is not there, fails the test.
func templateText(t *testing.T, r map[string]any) string {
t.Helper()
name, _ := r["template"].(string)
if name == "" {
t.Fatalf("resource %v names no template", r["id"])
}
raw, err := os.ReadFile(filepath.Join(moduleDir, filepath.FromSlash(name)))
if err != nil {
t.Fatalf("resource %v names %s: %v", r["id"], name, err)
}
return string(raw)
}
// No file resource carries its text inline: each names its template in files/, and the build packs files/
// into the one archive the controller reads the templates back from (novox/hq ADR 0349 §2).
func TestEveryFileTakesItsTextFromATemplate(t *testing.T) {
raw, err := os.ReadFile(filepath.Join(moduleDir, "module.json"))
if err != nil {
t.Fatal(err)
}
var m struct {
Resources []map[string]any `json:"resources"`
Build struct {
Artifacts []map[string]any `json:"artifacts"`
} `json:"build"`
}
if err := json.Unmarshal(raw, &m); err != nil {
t.Fatal(err)
}
for _, r := range m.Resources {
if _, inline := r["content"]; inline {
t.Errorf("resource %v keeps its text inline: keep it in files/ and name it as the template", r["id"])
}
if r["type"] == "file" {
templateText(t, r)
}
}
packs := 0
for _, a := range m.Build.Artifacts {
if a["kind"] == "archive" && a["from"] == "files" {
packs++
if a["name"] != "files" {
t.Errorf("the templates archive is named %v, not files", a["name"])
}
}
}
if packs != 1 {
t.Errorf("the build packs files/ into %d archives, not one", packs)
}
}
// Design 47 G §561, A-155: the put-off wait is a bound key of a state of the module's own with a key-ttl, the finding backup-waits
// goes through the findings template and its events, the setting put-off-bound is a file the night reads, and the module hears
// the findings asked.
func TestThePutOffBoundAndItsStatesAreInTheManifest(t *testing.T) {
raw, err := os.ReadFile(filepath.Join(moduleDir, "module.json"))
if err != nil {
t.Fatal(err)
}
var m struct {
Consumes []string `json:"consumes"`
Requires []struct {
Name, Template string
Options map[string]any
} `json:"requires"`
Config map[string]map[string]any `json:"config"`
Resources []map[string]any `json:"resources"`
}
if err := json.Unmarshal(raw, &m); err != nil {
t.Fatal(err)
}
got := map[string]bool{}
for _, r := range m.Requires {
got[r.Name+"/"+r.Template] = true
if r.Name == "put-off" && r.Options["key-ttl"] != true {
t.Errorf("the state put-off has no key-ttl: %v", r.Options)
}
}
for _, want := range []string{"put-off/state", "findings/state", "finding-events/events"} {
if !got[want] {
t.Errorf("the manifest requires no %s: %v", want, got)
}
}
if m.Config["put-off-bound"]["default"] != float64(60) {
t.Errorf("the setting put-off-bound is %v", m.Config["put-off-bound"])
}
heard := false
for _, c := range m.Consumes {
heard = heard || c == "mesh-conditions.findings-asked"
}
if !heard {
t.Error("the module does not hear mesh-conditions.findings-asked")
}
for _, r := range m.Resources {
if r["id"] == "night" {
env, _ := r["env"].(map[string]any)
if env[PutOffBoundEnv] != "${dir:state}/put-off-bound" {
t.Errorf("the night is not given the file of put-off-bound: %v", env)
}
}
if r["id"] == "put-off-bound" && strings.TrimSpace(templateText(t, r)) != "${config:put-off-bound}" {
t.Errorf("the file of put-off-bound does not hold its setting")
}
}
}