feat(core): narrow Plugin.type to the closed PluginType set the spec declares (#13925) - #14608

Merged

os-musk merged 5 commits into

mainfrom

claude/issue-13925-plugin-type-closed-set

Sep 2, 2026

Commits on Sep 2, 2026

feat(core): narrow Plugin.type to the closed PluginType set the spec declares
claude
committed
dc4a933
fix(census): pin the plugin-class `type` initializers to their literal so they satisfy PluginType
claude
committed
706c158
fix(census): pin the remaining plugin-class `type` initializers named by the build and test-typecheck programs
claude
committed
d1422d0
fix(census): spell the objectql integration mocks' plugin type as the member they are
claude
committed
6a98b21
Merge remote-tracking branch 'origin/main' into claude/issue-13925-plugin-type-closed-set
claude
committed
9629140