739b3c3b58
Mechanism only. No box changes behaviour until a backup_targets entry is added to its config (Slice D); an untouched config resolves to exactly one tier and behaves byte-identically to v0.96.0. - config: BackupTargetConfig + ExtraTargets + BackupTiers(); each tier carries its OWN cadence and retention (keep-last=3 is three days on a daily tier and three weeks on a weekly one). A missing cadence is REJECTED, not defaulted — a weekly DR tier silently running daily would fill the 37.2 GB datastore. main.go logs every rejection at ERROR. - /backup/due?target= judges a tier against its OWN newest successful backup. Without that filter a fresh local backup satisfies the weekly PBS cadence and the DR tier never runs — today's bug, re-created in code. - GET /backup/tiers advertises the tiers; a 404 is the controller's pre-R-82 capability probe (Slice B). - Jobs keyed by (vmid,target): single-flight is per tier, which is what lets the weekly night run both backups in ONE quiesce window. Job ids are unique per tier by construction, not by clock luck. - One runner per tier: the runner holds target+retention as immutable state, so parameterising one runner would risk pairing tier A's target with tier B's retention. COMPATIBILITY (frozen): untargeted /backup/due, POST /backup and /backup/status keep the primary tier and the pre-R-82 response BYTES — Target is omitempty and stays empty. The primary's job-id format is unchanged. NOT changed: the local tier; PBS is still never pruned by the per-run flag (keep_last defaults to 0 = never prune — enabling DR pruning is irreversible and needs an operator ruling). Tests 748->768. Red-proof #1 observed and restored. Phase 0: felhom.eu/documentation/audits/SPIKE-r82-phase0-2026-07-26.md
151 lines
5.8 KiB
Go
151 lines
5.8 KiB
Go
package config
|
|
|
|
import (
|
|
"encoding/json"
|
|
"strings"
|
|
"testing"
|
|
"time"
|
|
)
|
|
|
|
// R-82 Slice A.1 — per-target cadence + retention resolution.
|
|
//
|
|
// The load-bearing property is ADDITIVITY: every config that exists on a live box today must
|
|
// resolve to exactly one tier that behaves as it does now. The second property is that a
|
|
// mis-configured tier is REJECTED LOUDLY rather than defaulted — a weekly DR tier silently running
|
|
// daily would fill the datastore, and a silently dropped tier is the "applied and empty" fault
|
|
// R-82 exists to fix.
|
|
|
|
func TestBackupTiers_LegacyConfigIsUnchanged(t *testing.T) {
|
|
// Exactly the shape live on demo-felhom today.
|
|
var b BackupConfig
|
|
raw := `{"local_backup_target":"local","local_backup_retention":3,"backup_cadence_seconds":0}`
|
|
if err := json.Unmarshal([]byte(raw), &b); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
tiers, warnings := b.BackupTiers()
|
|
if len(warnings) != 0 {
|
|
t.Fatalf("a legacy config must produce NO warnings; got %v", warnings)
|
|
}
|
|
if len(tiers) != 1 {
|
|
t.Fatalf("a config with no backup_targets must resolve to exactly ONE tier; got %+v", tiers)
|
|
}
|
|
got := tiers[0]
|
|
if got.TargetID != "local" || got.Cadence != 24*time.Hour || got.KeepLast != 3 || !got.Primary {
|
|
t.Fatalf("legacy tier changed: %+v", got)
|
|
}
|
|
}
|
|
|
|
// An empty BackupConfig still resolves — to the felhom-pbs default target, 24h, keep-last 3.
|
|
// (Unchanged pre-R-82 behaviour; pinned so the default target can't drift unnoticed.)
|
|
func TestBackupTiers_ZeroConfigKeepsDefaults(t *testing.T) {
|
|
tiers, warnings := BackupConfig{}.BackupTiers()
|
|
if len(warnings) != 0 || len(tiers) != 1 {
|
|
t.Fatalf("zero config: tiers=%+v warnings=%v", tiers, warnings)
|
|
}
|
|
if tiers[0].TargetID != defaultBackupTarget || tiers[0].Cadence != 24*time.Hour || tiers[0].KeepLast != 3 {
|
|
t.Fatalf("zero-config defaults changed: %+v", tiers[0])
|
|
}
|
|
}
|
|
|
|
// The whole point: local daily + PBS weekly, each with its OWN retention.
|
|
func TestBackupTiers_LocalDailyPlusPBSWeekly(t *testing.T) {
|
|
var b BackupConfig
|
|
raw := `{
|
|
"local_backup_target":"local",
|
|
"local_backup_retention":3,
|
|
"backup_cadence_seconds":86400,
|
|
"backup_targets":[{"target_id":"felhom-pbs","cadence_seconds":604800,"keep_last":2}]
|
|
}`
|
|
if err := json.Unmarshal([]byte(raw), &b); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
tiers, warnings := b.BackupTiers()
|
|
if len(warnings) != 0 {
|
|
t.Fatalf("unexpected warnings: %v", warnings)
|
|
}
|
|
if len(tiers) != 2 {
|
|
t.Fatalf("want 2 tiers, got %+v", tiers)
|
|
}
|
|
if !tiers[0].Primary || tiers[0].TargetID != "local" || tiers[0].Cadence != 24*time.Hour || tiers[0].KeepLast != 3 {
|
|
t.Fatalf("primary tier wrong: %+v", tiers[0])
|
|
}
|
|
if tiers[1].Primary || tiers[1].TargetID != "felhom-pbs" || tiers[1].Cadence != 7*24*time.Hour || tiers[1].KeepLast != 2 {
|
|
t.Fatalf("PBS tier wrong: %+v", tiers[1])
|
|
}
|
|
// THE knob-sharing check: the two retentions are independent values, not one shared number.
|
|
if tiers[0].KeepLast == tiers[1].KeepLast {
|
|
t.Fatalf("this fixture sets 3 and 2 deliberately — equal values mean the knob is shared: %+v", tiers)
|
|
}
|
|
}
|
|
|
|
// A tier with no cadence is REJECTED, not defaulted. Defaulting would turn a weekly DR tier into a
|
|
// daily one and fill the 37.2 GB datastore (R-82 Phase 0, P0.3).
|
|
func TestBackupTiers_MissingCadenceIsRejectedLoudly(t *testing.T) {
|
|
b := BackupConfig{
|
|
LocalBackupTarget: "local",
|
|
ExtraTargets: []BackupTargetConfig{{TargetID: "felhom-pbs", KeepLast: 2}},
|
|
}
|
|
tiers, warnings := b.BackupTiers()
|
|
if len(tiers) != 1 {
|
|
t.Fatalf("a cadence-less tier must NOT be armed; got %+v", tiers)
|
|
}
|
|
if len(warnings) != 1 || !strings.Contains(warnings[0], "cadence_seconds must be > 0") {
|
|
t.Fatalf("rejection must be reported so the caller can log it loudly; got %v", warnings)
|
|
}
|
|
if !strings.Contains(warnings[0], "felhom-pbs") {
|
|
t.Fatalf("the warning must name the tier it dropped; got %q", warnings[0])
|
|
}
|
|
}
|
|
|
|
func TestBackupTiers_RejectsEmptyAndDuplicateTargets(t *testing.T) {
|
|
b := BackupConfig{
|
|
LocalBackupTarget: "local",
|
|
ExtraTargets: []BackupTargetConfig{
|
|
{TargetID: "", CadenceSeconds: 3600},
|
|
{TargetID: "local", CadenceSeconds: 3600}, // repeats the primary
|
|
{TargetID: "felhom-pbs", CadenceSeconds: 604800}, // good
|
|
{TargetID: "felhom-pbs", CadenceSeconds: 99}, // duplicate
|
|
},
|
|
}
|
|
tiers, warnings := b.BackupTiers()
|
|
if len(tiers) != 2 || tiers[1].TargetID != "felhom-pbs" || tiers[1].Cadence != 7*24*time.Hour {
|
|
t.Fatalf("want primary + one PBS tier at the FIRST definition; got %+v", tiers)
|
|
}
|
|
if len(warnings) != 3 {
|
|
t.Fatalf("want 3 rejections (empty, duplicate-of-primary, duplicate); got %v", warnings)
|
|
}
|
|
}
|
|
|
|
// keep_last unset means DO NOT PRUNE. That is the fail-safe: a DR tier must never start pruning
|
|
// itself because someone forgot a field.
|
|
func TestBackupTiers_UnsetKeepLastMeansNoPrune(t *testing.T) {
|
|
b := BackupConfig{
|
|
LocalBackupTarget: "local",
|
|
ExtraTargets: []BackupTargetConfig{{TargetID: "felhom-pbs", CadenceSeconds: 604800}},
|
|
}
|
|
tiers, _ := b.BackupTiers()
|
|
if len(tiers) != 2 {
|
|
t.Fatalf("got %+v", tiers)
|
|
}
|
|
if tiers[1].KeepLast != 0 {
|
|
t.Fatalf("an unset keep_last must resolve to 0 = never prune; got %d", tiers[1].KeepLast)
|
|
}
|
|
// And a negative is clamped to the same fail-safe rather than becoming a prune spec.
|
|
b.ExtraTargets[0].KeepLast = -5
|
|
tiers, _ = b.BackupTiers()
|
|
if tiers[1].KeepLast != 0 {
|
|
t.Fatalf("a negative keep_last must clamp to 0 (never prune); got %d", tiers[1].KeepLast)
|
|
}
|
|
}
|
|
|
|
// The primary's retention still comes from the legacy knob with its legacy clamp — untouched.
|
|
func TestBackupTiers_PrimaryRetentionClampUnchanged(t *testing.T) {
|
|
for _, tc := range []struct{ in, want int }{{0, 3}, {-1, 3}, {1, 1}, {7, 7}} {
|
|
b := BackupConfig{LocalBackupTarget: "local", LocalBackupRetention: tc.in}
|
|
tiers, _ := b.BackupTiers()
|
|
if tiers[0].KeepLast != tc.want {
|
|
t.Fatalf("LocalBackupRetention=%d → KeepLast=%d, want %d", tc.in, tiers[0].KeepLast, tc.want)
|
|
}
|
|
}
|
|
}
|