feat(spec)!: promote `userFilters.allowAddTab`,随后收紧 UserFiltersSchema (#5073) - #5237

Merged

xuyushun441-sys merged 5 commits into

mainfrom

claude/issue-5073-userfilters-allowaddtab

Aug 4, 2026

Commits on Aug 4, 2026

feat(spec)!: promote `userFilters.allowAddTab`, then close UserFiltersSchema (#5073)
claude
committed
3bdab88
Merge remote-tracking branch 'origin/main' into claude/issue-5073-userfilters-allowaddtab
claude
committed
69a7411
Merge remote-tracking branch 'origin/main' into claude/issue-5073-userfilters-allowaddtab
claude
committed
1583ca7
build(spec): regenerate strictness counts from the merged tree (#5073 + #5221)
claude
committed
6bd9549
docs(spec): name the renderer-gap issue (#5236) in the JSDoc and ledger row
claude
committed
7f92b1f