Repository navigation

Land the supplied-candidate namespace binding kernel - #7508

Merged

briansrls merged 18 commits into

mainfrom

session/eager-ram-208

Aug 1, 2026

Merged

Land the supplied-candidate namespace binding kernel#7508
briansrls merged 18 commits into
mainfrom
session/eager-ram-208

Commits on Jul 31, 2026
- WIP: P1 cardinality kernel
  gunbc-ci-auto-heal
  committed
  54bba9a
- Regenerate stage0 for occurrence binding kernel
  gunbc-ci-auto-heal
  committed
  8247905
- WIP: P1 cardinality kernel
  gunbc-ci-auto-heal
  committed
  fe12dae
- Repoint consumers of moved floor naming helpers
  gunbc-ci-auto-heal
  committed
  b781c69
- Correct hand Rust census after fallback split
  gunbc-ci-auto-heal
  committed
  c6b6bdc
- Narrow occurrence binding to supplied candidates
  gunbc-ci-auto-heal
  committed
  ba4d1f2
- Merge remote-tracking branch 'origin/main' into session/eager-ram-208
  gunbc-ci-auto-heal
  committed
  79a4f3b
- Keep floor and binding PRs disjoint
  gunbc-ci-auto-heal
  committed
  1429d91
- Regenerate supplied-candidate binding kernel
  gunbc-ci-auto-heal
  committed
  d92a029
- Merge remote-tracking branch 'origin/main' into session/eager-ram-208
  gunbc-ci-auto-heal
  committed
  2932a34
- Merge remote-tracking branch 'origin/main' into session/eager-ram-208
  gunbc-ci-auto-heal
  committed
  41f3147
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  934de74
- Merge remote-tracking branch 'origin/main' into session/eager-ram-208
  gunbc-ci-auto-heal
  committed
  6756091
- WIP: P1 cardinality kernel
  gunbc-ci-auto-heal
  committed
  787ff0e
- Merge remote-tracking branch 'origin/main' into session/eager-ram-208
  gunbc-ci-auto-heal
  committed
  a9c664f
Commits on Aug 1, 2026
- Merge remote-tracking branch 'origin/main' into session/eager-ram-208
  gunbc-ci-auto-heal
  committed
  bbb91a6
- WIP: P1 cardinality kernel
  gunbc-ci-auto-heal
  committed
  f827516
- Refuse malformed occurrence candidate roles
  gunbc-ci-auto-heal
  committed
  7e71978

Commits

Commits on Jul 31, 2026

Commits on Aug 1, 2026