Repository navigation

Owned-query shear adapters and portable split-port search (no new κ) - #4489

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

Dugongue:research/owned-query-ports-20261021

Oct 22, 2026

Merged

Owned-query shear adapters and portable split-port search (no new κ)#4489
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
Dugongue:research/owned-query-ports-20261021

Commits on Oct 22, 2026
- Add owned-query adapter proofs and portable split-port tools (no new kappa)
  Dugongue
  committed
  f241b76
- Authenticate executed source bytes and compare gzip payloads
  Dugongue
  committed
  67d1ded