Programming Language · Agent Governance
Garnet
Make changes in authority visible.
A capability-bounded programming language for agent-authored code. Its checker surfaces undeclared capability use, its diffs expose widened authority, and its release artifacts give reviewers evidence they can inspect.
Evidence & current limits
Public language, status ledger, and source. Not production-complete.
Language Design · Capability Checks · Evidence