Repository navigation

Bind all non-cold k8 HPE wrapper events to Lean recipes - #2748

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

petalas:research/hpe-wrapper-event-binding

Oct 16, 2026

Merged

Bind all non-cold k8 HPE wrapper events to Lean recipes#2748
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/hpe-wrapper-event-binding

Commits on Oct 15, 2026
- feat(research): bind emitted HPE wrapper events to Lean recipes
  petalas
  committed
  2af9c0f