Skip to content

Development - #5

Merged
robertbetts merged 3 commits into
mainfrom
development
Aug 4, 2026
Merged

robertbetts merged 3 commits into
mainfrom
development

Conversation

@robertbetts

@robertbetts robertbetts commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Why

How to test

  • lake build (or relevant targets)
  • Minimum test binaries from CONTRIBUTING.md (if touching libraries)
  • h2spec / interop / securityTests as applicable

Docs

  • Updated docs/ (api-reference / protocol-mapping / conformance) if public API or wire behaviour changed
  • If a curated site page is affected, note that rileybetts.ai/oss/lean-grpc needs a sync

Checklist

  • No unrelated refactors
  • No secrets or generated certs committed
  • Security-sensitive changes follow CONTRIBUTING.md / SECURITY.md

robertbetts and others added 3 commits August 4, 2026 16:36
Expose verified client cert fields to handlers via registerWithContext so apps can stop trusting wire principal metadata; ship as additive v1.1.0.

Co-authored-by: Cursor <cursoragent@cursor.com>
Emit register*WithContext from protoc-gen-lean4-grpc and demo Bearer/metadata + optional mTLS peer identity on MirrorForge Stamp.

Co-authored-by: Cursor <cursoragent@cursor.com>
@robertbetts
robertbetts merged commit 0887548 into main Aug 4, 2026
12 checks passed
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