# Changelog (/reference/changelog)



`In progress`

| Date       | Change                                                     |
| ---------- | ---------------------------------------------------------- |
| 2026-05-02 | PolicyVault composer and all five policies completed.      |
| 2026-05-02 | Five Kani invariants proved green in CI.                   |
| 2026-05-02 | TrustGate Anchor program and Express x402 service shipped. |
| 2026-05-02 | `@agenttrust-sdk/trustgate@0.1.0` published.               |

Source: [`execution.md`](https://github.com/agenttrust-labs/agenttrust/blob/main/execution.md)