Language research
Garnet
Making an agent’s authority inspectable.
About & evidence
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.
Public language, status ledger, and source. Not production-complete.
Inspect the evidence