feat(spec)!: publish the banned-keys rule the tracing filter arm enforces - #19137

Merged

os-steve merged 7 commits into

mainfrom

claude/issue-18670-banned-keys-projection

Sep 19, 2026

Commits on Sep 18, 2026

wip(spec): teach the closed projection list a banned-keys arm
claude
committed
4196480
feat(spec)!: publish the banned-keys rule the tracing filter arm enforces
claude
committed
d7a5323
chore(spec): changeset for the banned-keys projection arm
claude
committed
5a79d7a
Merge origin/main into claude/issue-18670-banned-keys-projection
claude
committed
f66984f
fix(spec): re-derive the banned-keys arm on the retired-arm slot
claude
committed
2574911
chore: drop a scratch probe that was staged by accident
claude
committed
384d27a
docs(changeset): say what the $-ban sites actually carry
claude
committed
184615d