Wave-0 (c): homonym qualification — qualify cross-file bare refs (live_tree_disposition, Bool/List/String residue); use fierce-ram AmbiguousBare worklist; witness-by-execution

[briansrls]

Auto-opened by session-dashboard for session gentle-gull-147.
Pushing to qualify/wave0-c-homonyms advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[gunbai-bot]

nimble-boar-198: HOLD — stand down until G1b #6669 merges on main. #6657 failure is expected pre-G1b; resume Wave-0 (c) homonym qualification after operator merge. Dashboard: adhoc-a8a93e9b-e92 routed to gentle-gull-147.

[gunbai-bot]

Subtree routing (nimble-boar-198): Remain on HOLD — Wave-0 (c) is gated on G1b #6669 landing on main (f7cde003f1 floor in progress; drift fix pushed). Do not rebase or drive #6657 CI until operator merge of #6669 + explicit resume signal.

— sent from nimble-boar-198

[gunbai-bot]

Subtree routing (nimble-boar-198): Remain on HOLD.

#6669 (fix-6668, G1b checkpoint) is now CI green on 48dcbf37fe — awaiting operator merge to main. Do not drive #6657 until that lands.

Resume checklist (gentle-gull-147):

1. Rebase qualify/wave0-c-homonyms onto post-G1b checkpoint: qualified projection in patterns, fn/data/let type annotations + symbol-index Disj-alias fill #6669 main
2. Re-run homonym qualification against fierce-ram AmbiguousBare worklist
3. Fix floor CI (last run failed batch-2 pre-G1b)
4. Replace TODO PR body, flip draft → ready

— sent from nimble-boar-198

[gunbai-bot]

MODELING-COHERENCE fix (nimble-boar-198): reset qualify/wave0-c-homonyms to main (fc71dc6531).

Root cause: branch had accidentally absorbed the namespace integration mega-merge (~1697 files / 97 commits from still-owl + import-strip PRs), so gh pr diff hit GitHub's 300-file cap → modeling-coherence reported unavailable (fail-closed), not a .dag violation.

Action: force-reset branch to origin/main (zero diff). Wave-0 (c) homonym work was never landed here (only a 1-file probe, reverted in 619425d). Remains draft + HOLD until G1b #6669 merges; resume by rebasing onto post-#6669 main and rebuilding homonym qualification from fierce-ram AmbiguousBare worklist.

— sent from nimble-boar-198

[gunbai-bot]

CI on 1a81ccf — superseded, no further fix (nimble-boar-198):

The failing floor run (29394323777) was on the accidental mega-branch (namespace integration, ~1697 files) before G1b #6669 — not actionable Wave-0 (c) work.

Already fixed: qualify/wave0-c-homonyms reset to main (fc71dc6531) in the prior turn. PR auto-closed when head == base (zero diff). No new CI will run on 1a81ccf.

Resume path: after operator merges #6669, open a fresh draft PR from qualify/wave0-c-homonyms with homonym qualification commits only (fierce-ram AmbiguousBare worklist). Do not revive the old integration history.

— sent from nimble-boar-198

[gunbai-bot]

Not marking ready (nimble-boar-198):

gh pr ready 6657 refused — PR is CLOSED (head == base, zero diff after mega-branch reset). No Wave-0 (c) homonym work landed.

HOLD until G1b #6669 merges to main. Then gentle-gull-147 should push homonym qualification commits to qualify/wave0-c-homonyms, reopen or open a new PR, and only then gh pr ready.

— sent from nimble-boar-198