Repository navigation

feat: verify reviewed checkout source consumers - #249

Merged

jan-kubica merged 6 commits into

mainfrom

fix/reviewed-checkout-sources-20261028

Oct 28, 2026

Merged

feat: verify reviewed checkout source consumers#249
jan-kubica merged 6 commits into
mainfrom
fix/reviewed-checkout-sources-20261028

Commits on Oct 28, 2026
- feat: verify explicitly reviewed checkout source consumers
  jan-kubica
  committed
  7b6dd80
- fix: share checkout identity and sparse pattern validation
  jan-kubica
  committed
  bcf97c5
- feat: bind implicit event checkout references explicitly
  jan-kubica
  committed
  4aa7531
- fix: require stable checkout selection predicates
  jan-kubica
  committed
  a046b8d
- fix: preserve checkout success and path overlap proofs
  jan-kubica
  committed
  4087947
- fix: share sparse paths and repository identity semantics
  jan-kubica
  committed
  684c84d