Repository navigation

Let a PR beat earn CLEAN from a run the gateway signed for - #107

Merged

jacekradko merged 2 commits into

mainfrom

jacek/dreamy-goodall-wh12a3

Oct 22, 2026

Merged

Let a PR beat earn CLEAN from a run the gateway signed for#107
jacekradko merged 2 commits into
mainfrom
jacek/dreamy-goodall-wh12a3

Commits on Oct 22, 2026
- Let a PR beat earn CLEAN from a run the gateway signed for
  claude
  committed
  22b4bd0
- Merge main: keep the attested proof kinds beside the second-read verdicts
  claude
  committed
  9afeac9