Skip to content

fix: doctor mediator, the defect-ledger bypass it uncovered, and the suite's largest remaining case #837

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
wenzowski merged 13 commits into from
Sep 3, 2026
Merged

fix: doctor mediator, the defect-ledger bypass it uncovered, and the suite's largest remaining case #837

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
3e97039
feat(doctor): add `doctor mediator` — which engine the registrations …
wenzowski Sep 2, 2026
2324b67
test(doctor): pin `doctor mediator`, including the arm that refutes i…
wenzowski Sep 2, 2026
33d7953
chore(surface): regenerate the derived artifacts for `doctor mediator`
wenzowski Sep 2, 2026
e99be3f
feat(spec): admit `doctor mediator` to the read-only allowlist and th…
wenzowski Sep 2, 2026
d615df5
fix(doctor): state the blind spot `doctor mediator` has, and pin it
wenzowski Sep 2, 2026
628c2ba
test(pointer-only): classify `doctor mediator` as pointer-only
wenzowski Sep 2, 2026
9cd99ab
chore(snapshot): accept the golden schema for `doctor mediator`
wenzowski Sep 3, 2026
86b5eb6
test(stop-posture): isolate the one case that asserts silence
wenzowski Sep 3, 2026
3f01ea3
fix(cli)!: a narrowed `enforce` still answers for the defect ledger
wenzowski Sep 3, 2026
c22a8ca
perf(test): assert one rule with one rule — the third and largest of …
wenzowski Sep 3, 2026
0e6198e
test(stop-posture): isolate every case, not only the one asserting si…
wenzowski Sep 3, 2026
d023c98
chore(surface): regenerate completions after the doctor sub-verb coll…
wenzowski Sep 3, 2026
4a3106c
chore(snapshot): accept the golden schema carrying both new doctor su…
wenzowski Sep 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
73 changes: 70 additions & 3 deletions completions/batten.bash
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -292,6 +292,9 @@ _batten() {
batten__subcmd__doctor,hooks)
cmd="batten__subcmd__doctor__subcmd__hooks"
;;
batten__subcmd__doctor,mediator)
cmd="batten__subcmd__doctor__subcmd__mediator"
;;
batten__subcmd__doctor,session)
cmd="batten__subcmd__doctor__subcmd__session"
;;
Expand All @@ -301,6 +304,9 @@ _batten() {
batten__subcmd__doctor__subcmd__help,hooks)
cmd="batten__subcmd__doctor__subcmd__help__subcmd__hooks"
;;
batten__subcmd__doctor__subcmd__help,mediator)
cmd="batten__subcmd__doctor__subcmd__help__subcmd__mediator"
;;
batten__subcmd__doctor__subcmd__help,session)
cmd="batten__subcmd__doctor__subcmd__help__subcmd__session"
;;
Expand Down Expand Up @@ -511,6 +517,9 @@ _batten() {
batten__subcmd__help__subcmd__doctor,hooks)
cmd="batten__subcmd__help__subcmd__doctor__subcmd__hooks"
;;
batten__subcmd__help__subcmd__doctor,mediator)
cmd="batten__subcmd__help__subcmd__doctor__subcmd__mediator"
;;
batten__subcmd__help__subcmd__doctor,session)
cmd="batten__subcmd__help__subcmd__doctor__subcmd__session"
;;
Expand Down Expand Up @@ -2553,7 +2562,7 @@ _batten() {
return 0
;;
batten__subcmd__doctor)
opts="-J -q -v -y -h --json --strictness --fail-on-warning --config-from --config-in --silent --quiet --verbose --debug --trace --log-level --no-color --no-input --yes --help hooks session help"
opts="-J -q -v -y -h --json --strictness --fail-on-warning --config-from --config-in --silent --quiet --verbose --debug --trace --log-level --no-color --no-input --yes --help mediator hooks session help"
if [[ ${cur} == -* || ${COMP_CWORD} -eq 2 ]] ; then
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
Expand Down Expand Up @@ -2583,7 +2592,7 @@ _batten() {
return 0
;;
batten__subcmd__doctor__subcmd__help)
opts="hooks session help"
opts="mediator hooks session help"
if [[ ${cur} == -* || ${COMP_CWORD} -eq 3 ]] ; then
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
Expand Down Expand Up @@ -2624,6 +2633,20 @@ _batten() {
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
;;
batten__subcmd__doctor__subcmd__help__subcmd__mediator)
opts=""
if [[ ${cur} == -* || ${COMP_CWORD} -eq 4 ]] ; then
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
fi
case "${prev}" in
*)
COMPREPLY=()
;;
esac
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
;;
batten__subcmd__doctor__subcmd__help__subcmd__session)
opts=""
if [[ ${cur} == -* || ${COMP_CWORD} -eq 4 ]] ; then
Expand Down Expand Up @@ -2668,6 +2691,36 @@ _batten() {
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
;;
batten__subcmd__doctor__subcmd__mediator)
opts="-J -q -v -y -h --json --strictness --fail-on-warning --config-from --config-in --silent --quiet --verbose --debug --trace --log-level --no-color --no-input --yes --help"
if [[ ${cur} == -* || ${COMP_CWORD} -eq 3 ]] ; then
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
fi
case "${prev}" in
--strictness)
COMPREPLY=($(compgen -W "permissive standard strict" -- "${cur}"))
return 0
;;
--config-from)
COMPREPLY=($(compgen -f "${cur}"))
return 0
;;
--config-in)
COMPREPLY=($(compgen -f "${cur}"))
return 0
;;
--log-level)
COMPREPLY=($(compgen -W "silent quiet normal verbose debug trace" -- "${cur}"))
return 0
;;
*)
COMPREPLY=()
;;
esac
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
;;
batten__subcmd__doctor__subcmd__session)
opts="-J -q -v -y -h --json --strictness --fail-on-warning --config-from --config-in --silent --quiet --verbose --debug --trace --log-level --no-color --no-input --yes --help"
if [[ ${cur} == -* || ${COMP_CWORD} -eq 3 ]] ; then
Expand Down Expand Up @@ -3471,7 +3524,7 @@ _batten() {
return 0
;;
batten__subcmd__help__subcmd__doctor)
opts="hooks session"
opts="mediator hooks session"
if [[ ${cur} == -* || ${COMP_CWORD} -eq 3 ]] ; then
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
Expand All @@ -3498,6 +3551,20 @@ _batten() {
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
;;
batten__subcmd__help__subcmd__doctor__subcmd__mediator)
opts=""
if [[ ${cur} == -* || ${COMP_CWORD} -eq 4 ]] ; then
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
fi
case "${prev}" in
*)
COMPREPLY=()
;;
esac
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
;;
batten__subcmd__help__subcmd__doctor__subcmd__session)
opts=""
if [[ ${cur} == -* || ${COMP_CWORD} -eq 4 ]] ; then
Expand Down
Loading
Loading