diff --git a/scripts/agent_gates.py b/scripts/agent_gates.py index 2734e6e..fb9d45d 100644 --- a/scripts/agent_gates.py +++ b/scripts/agent_gates.py @@ -43,6 +43,9 @@ ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) SHARED_REUSE = os.path.join(os.path.dirname(ROOT), "felhom.eu", "scripts", "reuse_refs_check.py") SHARED_INSTRUCTIONS = os.path.join( os.path.dirname(ROOT), "felhom.eu", "scripts", "instructions_gate.py") +# R-389 — shared, like the two above: it lives in felhom.eu/scripts/ and is never copied. +SHARED_OBSERVATIONS = os.path.join( + os.path.dirname(ROOT), "felhom.eu", "scripts", "observations_gate.py") # (label, absolute script path, args, fast) GATES = [ @@ -53,6 +56,8 @@ GATES = [ # missing TAG is what actually broke every install, and the pre-push hook is the earliest place # that can catch it. ("release-complete", os.path.join(ROOT, "scripts", "check-release-complete.py"), [], True), + # R-389 — a REPORT.md observation with no register row behind it. Fast: stdlib file reads. + ("observations", SHARED_OBSERVATIONS, [ROOT], True), ] VERDICT = {0: "OK", 1: "FAILED", 2: "INCONCLUSIVE"}