test/cases/131_backlog_hygiene.sh

What it is

URI

majordomus://test/test/cases/131_backlog_hygiene.sh

Kind

test

Identity

test/cases/131_backlog_hygiene.sh

Path

test/cases/131_backlog_hygiene.sh

Provenance

declared

Media type

text/plain

As a capability

test.test/cases/131_backlog_hygiene.sh

Front matter

{}

Content

# majordomus-covers: none
# The two commands that keep this repository's self-accumulating quantities bounded, and the
# gate that keeps them honest (rule project.accumulation-is-measured).
#
# Five things here grow without anyone deciding they should — open pull requests, linked
# worktrees, local branches, running servers and the disk their build output holds — and the
# day the first four were counted there were sixteen, sixty-four, a hundred and eleven and
# fourteen of them. The commands that reduce them are the dangerous kind: one ends processes,
# one deletes directories, one merges and pushes. So what this case proves is not that they
# run, but that they refuse. The fifth quantity's own behaviour is case 276.
#
# The reaper must never end a server a live session is attached to — sessions here are each
# other's instruments, and a name match would take them all out. The gate must actually fail
# when its subject is broken, because a gate that passes over a missing driver, a missing
# case or a document advertising a merge button that cannot work is how the backlog above was
# allowed to accumulate in silence.
. "$ROOT/test/lib.sh"

REAPER="$ROOT/scripts/reap-orphans"
GATE="$ROOT/scripts/ci/backlog-check"

# ---------------------------------------------------------------- the commands exist
expect_file "$REAPER"
expect_file "$GATE"
[ -x "$REAPER" ] || { echo "    scripts/reap-orphans is not executable"; exit 1; }
[ -x "$GATE" ]   || { echo "    scripts/ci/backlog-check is not executable"; exit 1; }
expect_file "$ROOT/.ai/repo/rules/project/accumulation-is-measured.v2.md"

# ---------------------------------------------------------------- the reaper spares the living
# A process whose parent is alive is not garbage however old it looks. The reaper's whole
# safety rests on that predicate, so the case starts one and insists it survives a dry run.
#
# `--servers`: the same reaper has a second subject since ADR 0055, and this case is about
# the first. What it does to build directories is test/cases/276_disk_is_bounded.sh, which
# builds a fixture repository for it rather than classifying this machine's real worktrees.
sleep 600 &
LIVE=$!
trap 'kill "$LIVE" 2>/dev/null || true' EXIT
out="$("$REAPER" --servers --min-age 0s 2>&1 || true)"
if grep -qE "^$LIVE " <<<"$out"; then
  echo "    the reaper listed pid $LIVE, whose parent is this test: it reaps by age, not by ownership"; exit 1
fi

# Dry run is the default and must change nothing: the process it was pointed at is still here.
"$REAPER" --servers --min-age 0s >/dev/null 2>&1 || true
ps -p "$LIVE" >/dev/null 2>&1 || { echo "    the default run ended a process; the reaper must be dry unless --kill"; exit 1; }

# It matches by predicate. A name match is the one implementation that is always wrong here.
grep -nE '^[^#]*\b(pkill|killall)\b' "$REAPER" >/dev/null 2>&1 && {
  echo "    scripts/reap-orphans matches processes by name; it would end the servers live peers use"; exit 1; }

# ---------------------------------------------------------------- the gate passes on the tree it guards
expect_exit 0 "$GATE"

# ---------------------------------------------------------------- and fails when its subject is broken
# A copy, so the findings are provoked without touching the repository. Only the paths the
# gate reads are needed; MJ_ROOT points it at them.
W="$(mktemp -d)"
trap 'kill "$LIVE" 2>/dev/null || true; rm -rf "$W"' EXIT
mkdir -p "$W/scripts/ci" "$W/test/cases" "$W/.ai/repo/rules/project" "$W/docs" "$W/.just" "$W/lib" "$W/bin"
cp "$ROOT/.gitattributes" "$W/.gitattributes"
cp "$ROOT/scripts/merge-derived" "$W/scripts/merge-derived"
cp "$REAPER" "$W/scripts/reap-orphans"
cp "$GATE" "$W/scripts/ci/backlog-check"
cp "$ROOT/.ai/repo/rules/project/accumulation-is-measured.v2.md" "$W/.ai/repo/rules/project/"
cp "$ROOT/test/cases/131_backlog_hygiene.sh" "$W/test/cases/"
cp "$ROOT/test/cases/276_disk_is_bounded.sh" "$W/test/cases/"
# the fifth quantity's half: the floor lives in the library, and the paths that start a
# build ask it. The gate reads all four, so the fixture carries all four.
cp "$ROOT/lib/rust_bin.sh" "$W/lib/rust_bin.sh"
cp "$ROOT/bin/majordomus-cli" "$W/bin/majordomus-cli"
cp "$ROOT/scripts/derive" "$W/scripts/derive"
cp "$ROOT/.just/build.just" "$W/.just/build.just"
cp "$ROOT/.just/site.just" "$W/.just/site.just" 2>/dev/null || true
touch "$W/justfile"
chmod +x "$W/scripts/merge-derived" "$W/scripts/reap-orphans" "$W/scripts/ci/backlog-check"

MJ_ROOT="$W" expect_exit 0 "$W/scripts/ci/backlog-check"

# the declaration without its driver — the one-way relation this gate exists to close
mv "$W/scripts/merge-derived" "$W/scripts/merge-derived.away"
MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
expect_grep 'declares merge=derived but scripts/merge-derived is missing'
mv "$W/scripts/merge-derived.away" "$W/scripts/merge-derived"

# the fifth quantity, both halves. A reaper that has stopped holding one of its three
# conditions, and a build path that starts a build without asking whether there is room.
sed 's/status --porcelain/status/' "$REAPER" > "$W/scripts/reap-orphans"
chmod +x "$W/scripts/reap-orphans"
MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
expect_grep 'no longer tests .status --porcelain.'
cp "$REAPER" "$W/scripts/reap-orphans"; chmod +x "$W/scripts/reap-orphans"

sed 's/mj_rust_space_check/mj_nothing_at_all/' "$ROOT/.just/build.just" > "$W/.just/build.just"
MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
expect_grep 'start a build without asking whether there is room'
cp "$ROOT/.just/build.just" "$W/.just/build.just"

mv "$W/lib/rust_bin.sh" "$W/lib/rust_bin.sh.away"
MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
expect_grep 'the free-space floor has no home'
mv "$W/lib/rust_bin.sh.away" "$W/lib/rust_bin.sh"

# a document that sends a reader to the merge button, which cannot work in this repository
printf 'To land this, click the Merge pull request button on GitHub.\n' > "$W/docs/HOWTO.md"
MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
expect_grep 'instructs a reader to merge on the forge'
rm "$W/docs/HOWTO.md"

# a route to master around the integrator. Each runs; each must be refused. A comment that
# names one, and a force push of a branch that is not the trunk, are not routes and pass.
mkdir -p "$W/.github/workflows"
for bypass in 'gh pr merge "$n" --merge' 'gh api -X PUT "repos/o/r/pulls/$n/merge"' \
              'gh pr merge --admin "$n"' 'git push --force origin master' \
              'git push origin +master'; do
  printf '#!/bin/sh\n%s\n' "$bypass" > "$W/scripts/land"
  MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
  expect_grep 'merges around the integrator'
done
printf '#!/bin/sh\n# never: gh pr merge --admin; land with majordomus prs drain\n' > "$W/scripts/land"
printf 'jobs:\n  r:\n    steps:\n      - run: git push -f origin "release/record-$v"\n' > "$W/.github/workflows/rel.yml"
MJ_ROOT="$W" expect_exit 0 "$W/scripts/ci/backlog-check"
rm -f "$W/scripts/land" "$W/.github/workflows/rel.yml"

# a case that backgrounds a server without bounding its life — the shape that actually
# leaked here: `serve`'s --idle defaults to 0, so an interrupted run abandons the server
mkdir -p "$W/test/cases"
printf '#!/bin/sh\n"$BIN" serve --port 0 > serve.log 2>&1 &\n' > "$W/test/cases/99_probe.sh"
MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
expect_grep 'backgrounds a server without --idle'
printf '#!/bin/sh\n"$BIN" serve --port 0 --idle 60 > serve.log 2>&1 &\n' > "$W/test/cases/99_probe.sh"
MJ_ROOT="$W" expect_exit 0 "$W/scripts/ci/backlog-check"
rm "$W/test/cases/99_probe.sh"

# the behavioural case itself going missing
rm "$W/test/cases/131_backlog_hygiene.sh"
MJ_ROOT="$W" expect_exit 10 "$W/scripts/ci/backlog-check"
expect_grep '131_backlog_hygiene.sh is missing'