Repository navigation

proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI - #195

Merged

hyperpolymath merged 11 commits into

mainfrom

claude/clever-heisenberg-q9qp32

Nov 10, 2026

Merged

proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI#195
hyperpolymath merged 11 commits into
mainfrom
claude/clever-heisenberg-q9qp32

Commits on Nov 4, 2026
- fix(api)!: authenticate and authorize the GraphQL API; bind loopback by default
  claude
  committed
  0bf5959
- fix(deps): bump four crates past RustSec advisories in Cargo.lock
  claude
  committed
  e40f537
Commits on Nov 5, 2026
- fix(api): apply env config without a file, bound the limiter, trim credentials
  claude
  committed
  63cc6de
Commits on Nov 9, 2026