Repository navigation

Adopt two orphaned PRs whose sessions are gone: #8938 (inference endpoint binding, mergeable, never ran checks) and #9051 (reach fold endpoint projection, CONFLICTING, operator-paused) - #9204

Closed

gunbai-bot[bot] wants to merge 4 commits into

mainfrom

receipt/9196-planted

Closed

Adopt two orphaned PRs whose sessions are gone: #8938 (inference endpoint binding, mergeable, never ran checks) and #9051 (reach fold endpoint projection, CONFLICTING, operator-paused)#9204
gunbai-bot[bot] wants to merge 4 commits into
mainfrom
receipt/9196-planted

Commits on Aug 25, 2026
- Set authored_import_names at the six synthetic TypeEnv sites in infer_semantics_witness
  gunbc-ci-auto-heal
  committed
  8748a4d
- Add the all-binary-targets standing after the floor
  gunbc-ci-auto-heal
  committed
  b2bd3c0
- Regenerate witnesses.yml for the all-binary-targets standing
  gunbc-ci-auto-heal
  committed
  4db9261
- PLANTED MUTATION, DO NOT MERGE: drop authored_import_names at one site to prove the new all-binary-targets step fails while the floor still publishes its ledger
  gunbc-ci-auto-heal
  committed
  fd8bb6d