Skip to content

Share original C4 resolvers and certify name preparation across typed Cedar cases - #8

Merged
GTrunSec merged 89 commits into
mainfrom
refactor/lean-poo-pr13-alignment
Nov 2, 2026
Merged

GTrunSec merged 89 commits into
mainfrom
refactor/lean-poo-pr13-alignment

test: bind emitted proof claims to SDK observations

95e147a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
render (macos-latest)
succeeded Nov 2, 2026 in 2m 58s