medlab / family
Change
Cases in the observatory's Change family.
cases6
-
2026-10-10
A required tool is assumed to be installed on whichever machine runs the job
now fails loudly the step that checks for a required tool installs it when it is absent, instead of only adding its presumed directory to the search path
-
2026-09-13
Moving a repo layout's root is one mechanical change
now fails loudly A test that silently skips because a path does not exist is a failed test; environment checks that mask defaults are recorded as overrides, and the defaults themselves are tested without them.
ChangeBehavioralIntegration TestsPre-Promotion Invariant Gates
-
2026-09-12
Renaming a repo and updating its topology entry is one operation
now fails loudly The deploy gate refuses when the topology file and the filesystem disagree about which repos exist; a worker with a schedule attached is not a worker — it is skipped by collect and never rendered as down.
ChangeInvariantsPre-Promotion Invariant GatesStatically Checked Invariants
-
2026-09-12
An AI reviewer that reports an approval has posted one
now fails loudly A review counts only when the forge API shows it submitted with a verdict; until the tool submits, the merge record is the evidence and the reviewer's own result is not.
ChangeHuman ComprehensionIndependent ReviewSecond-Agent Review
-
2026-09-06
Looking up a DNS name before creating it is harmless
now fails loudly Absence is probed only against the authoritative nameserver; the user's own resolver is queried last, and only to read what it already believes.
-
2026-09-06
Validating a web server's config only reads it
now fails loudly Config validation runs as the service user, and a smoke request against the new host is what declares the deploy done — not the validator's exit code.