Skip to content

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

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

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

Conversation

@jcant0n

@jcant0n jcant0n commented Aug 3, 2026

Copy link
Copy Markdown
Member

Extends the API gate to this repository, with auto-merge on an additive verdict — matching Vulkan.NET.

Only pull requests authored by the agent and carrying agent:binding-update are eligible, and needs-human-review on the pull request vetoes it. The agent can hold its own merge, never grant it.

This package ships no native libraries, so there is no header-to-binary coherence to check: the managed surface is the whole contract.

🤖 Generated with Claude Code

@github-actions

github-actions Bot commented Aug 3, 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 bceb864 into main Aug 3, 2026
4 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