Compare commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
1328dcd8f3 | ||
|
|
6cc224f151 | ||
|
|
8359d61e33 | ||
|
|
400d2b9b6b |
@@ -1,7 +1,7 @@
|
|||||||
{
|
{
|
||||||
"name": "skills",
|
"name": "skills",
|
||||||
"description": "Mathias's engineering skills library, plus the hooks and MCP servers that make it enforceable: TDD, clean code, debugging, specs, discovery, CI, and secret hygiene.",
|
"description": "Mathias's engineering skills library, plus the hooks and MCP servers that make it enforceable: TDD, clean code, debugging, specs, discovery, CI, and secret hygiene.",
|
||||||
"version": "0.19.2",
|
"version": "0.19.4",
|
||||||
"author": {
|
"author": {
|
||||||
"name": "Mathias",
|
"name": "Mathias",
|
||||||
"url": "https://git.d-ma.be/mathias"
|
"url": "https://git.d-ma.be/mathias"
|
||||||
|
|||||||
+38
@@ -327,6 +327,44 @@ if [ "$ONLINE" -eq 1 ]; then
|
|||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# --- toolchain: golangci-lint must be built with Go >= GOROOT ---------------
|
||||||
|
# infra#375, second recurrence. golangci-lint embeds the go/types export-data
|
||||||
|
# reader from the Go it was BUILT with. When GOROOT is newer, that reader
|
||||||
|
# cannot decode the stdlib and the linter dies:
|
||||||
|
#
|
||||||
|
# panic: file requires newer Go version go1.27 (application built with go1.26)
|
||||||
|
#
|
||||||
|
# An earlier form printed a typecheck error naming the user's own file, which
|
||||||
|
# sends people to debug code that is fine. It cost time in two repos before
|
||||||
|
# anyone recognised it as a host fault rather than a repo fault.
|
||||||
|
#
|
||||||
|
# It is invisible to CI -- the runner image has matching versions -- so it
|
||||||
|
# breaks exactly the local `task check` that AGENT.md requires before a push,
|
||||||
|
# and nothing else. That is why it belongs in doctor: the signal was missing,
|
||||||
|
# not the fix.
|
||||||
|
#
|
||||||
|
# Fails open on anything unparseable. A host with no Go toolchain is a normal
|
||||||
|
# host, not a broken one, and doctor runs in a SessionStart hook everywhere.
|
||||||
|
ver_lt() {
|
||||||
|
# 0 when $1 < $2 on major.minor. Deliberately not sort -V: this is POSIX sh
|
||||||
|
# that also runs on macOS, and the export-data format is minor-versioned, so
|
||||||
|
# patch level does not enter into it.
|
||||||
|
_a=${1%%.*}; _ar=${1#*.}; _am=${_ar%%.*}
|
||||||
|
_b=${2%%.*}; _br=${2#*.}; _bm=${_br%%.*}
|
||||||
|
case "$_a$_am$_b$_bm" in *[!0-9]*) return 1 ;; esac
|
||||||
|
[ "$_a" -lt "$_b" ] && return 0
|
||||||
|
[ "$_a" -gt "$_b" ] && return 1
|
||||||
|
[ "$_am" -lt "$_bm" ]
|
||||||
|
}
|
||||||
|
|
||||||
|
if command -v golangci-lint >/dev/null 2>&1 && command -v go >/dev/null 2>&1; then
|
||||||
|
lint_go=$(golangci-lint --version 2>/dev/null | sed -n 's/.*built with go\([0-9][0-9.]*\).*/\1/p' | head -1)
|
||||||
|
root_go=$(go version 2>/dev/null | sed -n 's/.*go version go\([0-9][0-9.]*\).*/\1/p' | head -1)
|
||||||
|
if [ -n "$lint_go" ] && [ -n "$root_go" ] && ver_lt "$lint_go" "$root_go"; then
|
||||||
|
add FAIL toolchain "golangci-lint built with go$lint_go but GOROOT is go$root_go — lint panics on every Go repo; reinstall it under the current toolchain (infra#375)"
|
||||||
|
fi
|
||||||
|
fi
|
||||||
|
|
||||||
# --- output -----------------------------------------------------------------
|
# --- output -----------------------------------------------------------------
|
||||||
if [ "$JSON" -eq 1 ]; then
|
if [ "$JSON" -eq 1 ]; then
|
||||||
printf '{"checkout":"%s","expected":%s,"plugin":{"installed":"%s","available":"%s"},"findings":[%s]}\n' \
|
printf '{"checkout":"%s","expected":%s,"plugin":{"installed":"%s","available":"%s"},"findings":[%s]}\n' \
|
||||||
|
|||||||
@@ -24,6 +24,18 @@ if [ ! -f "$DOCTOR" ]; then
|
|||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# The toolchain check (golangci-lint build-Go vs GOROOT) reads the real host
|
||||||
|
# unless we say otherwise, which made every unrelated fixture fail on a machine
|
||||||
|
# whose golangci-lint is genuinely stale. Give the whole suite a matching fake
|
||||||
|
# pair so only the cases that OPT IN exercise that check.
|
||||||
|
STUB_BIN="$WORK/_stub_bin"
|
||||||
|
mkdir -p "$STUB_BIN"
|
||||||
|
printf '#!/bin/sh\nprintf "golangci-lint has version 2.0.0 built with go1.27.0 from abc\\n"\n' > "$STUB_BIN/golangci-lint"
|
||||||
|
printf '#!/bin/sh\ncase "$1" in version) printf "go version go1.27.0 linux/amd64\\n";; *) printf "\\n";; esac\n' > "$STUB_BIN/go"
|
||||||
|
chmod +x "$STUB_BIN/golangci-lint" "$STUB_BIN/go"
|
||||||
|
PATH="$STUB_BIN:$PATH"
|
||||||
|
export PATH
|
||||||
|
|
||||||
cleanup() { rm -rf "$WORK"; }
|
cleanup() { rm -rf "$WORK"; }
|
||||||
trap cleanup EXIT INT TERM
|
trap cleanup EXIT INT TERM
|
||||||
|
|
||||||
@@ -291,5 +303,75 @@ else
|
|||||||
fail=$((fail + 1)); printf ' FAIL --online reports an unreachable remote as its own fault\n rc=%s got: %s\n' "$_rc" "$_out"
|
fail=$((fail + 1)); printf ' FAIL --online reports an unreachable remote as its own fault\n rc=%s got: %s\n' "$_rc" "$_out"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# --- toolchain: golangci-lint must be built with Go >= GOROOT ---------------
|
||||||
|
# Measured on koala 2026-09-08 (infra#375, second recurrence): golangci-lint
|
||||||
|
# 2.11.4 built with go1.26.1 against a go1.27.0 GOROOT PANICS on any Go repo --
|
||||||
|
#
|
||||||
|
# panic: file requires newer Go version go1.27 (application built with go1.26)
|
||||||
|
#
|
||||||
|
# and the earlier form of the same fault printed a typecheck error naming YOUR
|
||||||
|
# file, so the natural response is to debug code that is fine. It cost time in
|
||||||
|
# two repos. CI never sees it (the runner image matches), so it breaks only the
|
||||||
|
# local `task check` that AGENT.md requires before every push.
|
||||||
|
#
|
||||||
|
# The fixtures inject fake `go` and `golangci-lint` on PATH; nothing here reads
|
||||||
|
# the real host toolchain, so the suite still passes on a machine without Go.
|
||||||
|
mk_toolchain() { # $1=fixture $2=lint-build-go $3=goroot-go ("" = absent)
|
||||||
|
_b="$1/bin"; mkdir -p "$_b"
|
||||||
|
if [ -n "$2" ]; then
|
||||||
|
printf '#!/bin/sh\nprintf "golangci-lint has version 2.11.4 built with %s from abc on 2026-01-01\\n"\n' "$2" > "$_b/golangci-lint"
|
||||||
|
chmod +x "$_b/golangci-lint"
|
||||||
|
fi
|
||||||
|
if [ -n "$3" ]; then
|
||||||
|
printf '#!/bin/sh\ncase "$1" in version) printf "go version %s linux/amd64\\n";; *) printf "\\n";; esac\n' "$3" > "$_b/go"
|
||||||
|
chmod +x "$_b/go"
|
||||||
|
fi
|
||||||
|
printf '%s' "$_b"
|
||||||
|
}
|
||||||
|
|
||||||
|
f=$(new_fixture golangci_old); wire_clean "$f"
|
||||||
|
b=$(mk_toolchain "$f" go1.26.1 go1.27.0)
|
||||||
|
_out=$(PATH="$b:$PATH" HOME="$f/home" DOCTOR_CHECKOUT="$f/ck" "$DOCTOR" 2>&1); _rc=$?
|
||||||
|
if [ "$_rc" -ne 0 ] && printf '%s' "$_out" | grep -qi 'golangci'; then
|
||||||
|
pass=$((pass + 1)); printf ' ok golangci-lint older than GOROOT is reported\n'
|
||||||
|
else
|
||||||
|
fail=$((fail + 1)); printf ' FAIL golangci-lint older than GOROOT is reported\n rc=%s got: %s\n' "$_rc" "$_out"
|
||||||
|
fi
|
||||||
|
|
||||||
|
# Matching versions are the normal case and must stay silent.
|
||||||
|
f=$(new_fixture golangci_ok); wire_clean "$f"
|
||||||
|
b=$(mk_toolchain "$f" go1.27.0 go1.27.0)
|
||||||
|
_out=$(PATH="$b:$PATH" HOME="$f/home" DOCTOR_CHECKOUT="$f/ck" "$DOCTOR" 2>&1); _rc=$?
|
||||||
|
if [ "$_rc" -eq 0 ]; then
|
||||||
|
pass=$((pass + 1)); printf ' ok golangci-lint matching GOROOT is silent\n'
|
||||||
|
else
|
||||||
|
fail=$((fail + 1)); printf ' FAIL golangci-lint matching GOROOT is silent\n rc=%s got: %s\n' "$_rc" "$_out"
|
||||||
|
fi
|
||||||
|
|
||||||
|
# A NEWER lint than GOROOT is fine -- the constraint is one-directional.
|
||||||
|
f=$(new_fixture golangci_newer); wire_clean "$f"
|
||||||
|
b=$(mk_toolchain "$f" go1.28.0 go1.27.0)
|
||||||
|
_out=$(PATH="$b:$PATH" HOME="$f/home" DOCTOR_CHECKOUT="$f/ck" "$DOCTOR" 2>&1); _rc=$?
|
||||||
|
if [ "$_rc" -eq 0 ]; then
|
||||||
|
pass=$((pass + 1)); printf ' ok golangci-lint newer than GOROOT is not a fault\n'
|
||||||
|
else
|
||||||
|
fail=$((fail + 1)); printf ' FAIL golangci-lint newer than GOROOT is not a fault\n rc=%s got: %s\n' "$_rc" "$_out"
|
||||||
|
fi
|
||||||
|
|
||||||
|
# Fail OPEN on anything unparseable. doctor runs in a SessionStart hook on every
|
||||||
|
# machine; a toolchain it cannot read is not a fault it may assert. (A host with
|
||||||
|
# no Go at all takes the same path -- command -v simply misses.)
|
||||||
|
f=$(new_fixture golangci_garbled); wire_clean "$f"
|
||||||
|
_b="$f/bin"; mkdir -p "$_b"
|
||||||
|
printf '#!/bin/sh\nprintf "golangci-lint dev build\\n"\n' > "$_b/golangci-lint"
|
||||||
|
printf '#!/bin/sh\nprintf "go version devel\\n"\n' > "$_b/go"
|
||||||
|
chmod +x "$_b/golangci-lint" "$_b/go"
|
||||||
|
_out=$(PATH="$_b:$PATH" HOME="$f/home" DOCTOR_CHECKOUT="$f/ck" "$DOCTOR" 2>&1); _rc=$?
|
||||||
|
if [ "$_rc" -eq 0 ]; then
|
||||||
|
pass=$((pass + 1)); printf ' ok an unreadable toolchain version is not asserted as a fault\n'
|
||||||
|
else
|
||||||
|
fail=$((fail + 1)); printf ' FAIL an unreadable toolchain version is not asserted as a fault\n rc=%s got: %s\n' "$_rc" "$_out"
|
||||||
|
fi
|
||||||
|
|
||||||
printf '\ndoctor: %d passed, %d failed\n' "$pass" "$fail"
|
printf '\ndoctor: %d passed, %d failed\n' "$pass" "$fail"
|
||||||
[ "$fail" -eq 0 ]
|
[ "$fail" -eq 0 ]
|
||||||
|
|||||||
@@ -0,0 +1,103 @@
|
|||||||
|
#!/bin/sh
|
||||||
|
# Tests for hooks/pre-task-ritual.sh — the UserPromptSubmit hook that surfaces
|
||||||
|
# rule 0 on every prompt (#44).
|
||||||
|
#
|
||||||
|
# WHY THIS EXISTS, AND WHAT IT DELIBERATELY DOES NOT CLAIM
|
||||||
|
# This hook is three lines and echoes a string. It has no bash-isms, so it
|
||||||
|
# cannot fail the way secret-guard appeared to; that risk was overstated when
|
||||||
|
# this test was requested. What it CAN do is stop working silently, and its
|
||||||
|
# whole job is to be visible -- if the text stops appearing, rule 0 stops being
|
||||||
|
# surfaced on every prompt and nothing announces that.
|
||||||
|
#
|
||||||
|
# THE ASSERTION THAT MATTERS IS REGISTRATION.
|
||||||
|
# A hook file that exists but is not in hooks.json does absolutely nothing, and
|
||||||
|
# looks identical on disk to one that works. So this derives the command from
|
||||||
|
# hooks.json rather than assuming one: the registration is the source of truth
|
||||||
|
# for how the hook is invoked, and a test that invokes it its own way is
|
||||||
|
# testing something the harness never runs.
|
||||||
|
#
|
||||||
|
# That distinction is not hypothetical. secret_guard_test.sh piped its hook into
|
||||||
|
# `sh` while hooks.json runs it with `bash`; on Debian /bin/sh is dash, which
|
||||||
|
# has no `set -o pipefail`, and the suite failed 20/20 in CI against a hook that
|
||||||
|
# was fine in production. The test was wrong, not the hook. Deriving the
|
||||||
|
# invocation removes the opportunity for that class of mistake entirely.
|
||||||
|
|
||||||
|
set -u
|
||||||
|
|
||||||
|
ROOT=$(CDPATH= cd -- "$(dirname -- "$0")/.." && pwd)
|
||||||
|
HOOK="$ROOT/hooks/pre-task-ritual.sh"
|
||||||
|
REG="$ROOT/hooks/hooks.json"
|
||||||
|
|
||||||
|
pass=0
|
||||||
|
fail=0
|
||||||
|
ok() { pass=$((pass + 1)); printf ' ok %s\n' "$1"; }
|
||||||
|
no() { fail=$((fail + 1)); printf ' FAIL %s\n' "$1"; }
|
||||||
|
|
||||||
|
if ! command -v jq >/dev/null 2>&1; then
|
||||||
|
printf ' SKIP: jq not installed -- cannot read the hook registration\n'
|
||||||
|
exit 0
|
||||||
|
fi
|
||||||
|
|
||||||
|
[ -f "$HOOK" ] || { printf ' FAIL %s does not exist\n' "$HOOK"; exit 1; }
|
||||||
|
ok 'hook file exists'
|
||||||
|
|
||||||
|
[ -f "$REG" ] || { printf ' FAIL %s does not exist\n' "$REG"; exit 1; }
|
||||||
|
|
||||||
|
# 1. Registered, and on the right event. UserPromptSubmit is what makes it fire
|
||||||
|
# on every prompt; registered under any other event it would still "exist"
|
||||||
|
# and still do nothing useful.
|
||||||
|
CMD=$(jq -r '
|
||||||
|
.hooks.UserPromptSubmit[]?.hooks[]?
|
||||||
|
| select(.command | test("pre-task-ritual"))
|
||||||
|
| .command
|
||||||
|
' "$REG" 2>/dev/null | head -1)
|
||||||
|
|
||||||
|
if [ -n "$CMD" ]; then
|
||||||
|
ok 'registered on UserPromptSubmit in hooks.json'
|
||||||
|
else
|
||||||
|
no 'not registered on UserPromptSubmit -- the file would exist and never run'
|
||||||
|
printf ' %d passed, %d failed\n' "$pass" "$fail"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
|
# 2. Run it EXACTLY as registered, with the harness variable substituted the way
|
||||||
|
# the harness substitutes it.
|
||||||
|
OUT=$(CLAUDE_PLUGIN_ROOT="$ROOT" sh -c "$CMD" 2>&1)
|
||||||
|
rc=$?
|
||||||
|
|
||||||
|
[ "$rc" -eq 0 ] && ok 'exits 0 as registered' \
|
||||||
|
|| no "exited $rc -- a non-zero UserPromptSubmit hook can block the prompt"
|
||||||
|
|
||||||
|
# 3. The content is the point. A hook that runs and says nothing is the same as
|
||||||
|
# no hook, and that is the failure this pins.
|
||||||
|
if [ -n "$OUT" ]; then
|
||||||
|
ok 'produces output'
|
||||||
|
else
|
||||||
|
no 'produced no output -- rule 0 would silently stop being surfaced'
|
||||||
|
fi
|
||||||
|
|
||||||
|
case "$OUT" in
|
||||||
|
*"Rule 0"*) ok 'names rule 0' ;;
|
||||||
|
*) no "does not name rule 0: '$OUT'" ;;
|
||||||
|
esac
|
||||||
|
|
||||||
|
# Each of the four steps, individually. Naming rule 0 while having quietly lost
|
||||||
|
# a step is the plausible drift, not losing the whole line.
|
||||||
|
for step in brain_query skill 'failing test' 'success criterion'; do
|
||||||
|
case "$OUT" in
|
||||||
|
*"$step"*) ok "states the '$step' step" ;;
|
||||||
|
*) no "lost the '$step' step from the ritual" ;;
|
||||||
|
esac
|
||||||
|
done
|
||||||
|
|
||||||
|
# 4. The interpreter named in the registration must actually exist, or the hook
|
||||||
|
# fails on that host with a message nobody reads.
|
||||||
|
INTERP=${CMD%% *}
|
||||||
|
if command -v "$INTERP" >/dev/null 2>&1; then
|
||||||
|
ok "registered interpreter '$INTERP' is available"
|
||||||
|
else
|
||||||
|
no "registered interpreter '$INTERP' not found on this host"
|
||||||
|
fi
|
||||||
|
|
||||||
|
printf ' %d passed, %d failed\n' "$pass" "$fail"
|
||||||
|
[ "$fail" -eq 0 ]
|
||||||
Reference in New Issue
Block a user