Skip to content

feat: gate agent pull requests on the public API delta - #37

Merged
jcant0n merged 1 commit into
mainfrom
feat/api-gate
Aug 2, 2026
Merged

feat: gate agent pull requests on the public API delta#37
jcant0n merged 1 commit into
mainfrom
feat/api-gate

Conversation

@jcant0n

@jcant0n jcant0n commented Aug 2, 2026

Copy link
Copy Markdown
Member

Wires up binding-api-gate from toolbox v1.8.0.

Measures every pull request; merges only the updater's, and only when the API is strictly additive.

🤖 Generated with Claude Code

@github-actions

github-actions Bot commented Aug 2, 2026

Copy link
Copy Markdown
Contributor

API gate: additive

Every symbol that existed still exists, unchanged. Nothing that compiled before stops compiling.

Target framework Added Removed
net10.0 +0 -0

Enum and constant values are part of the measured surface: a renumbering keeps compiling and sends the wrong number to the driver, so it counts as a removal.

@jcant0n
jcant0n merged commit ed0779b into main Aug 2, 2026
3 checks passed
@jcant0n
jcant0n deleted the feat/api-gate branch August 9, 2026 18:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant