CONTROL for #11845 — NOT FOR MERGE: is the floor refusal main's?

[gunbai-bot]

Throwaway. Head is now plain origin/main (5bab0b1) with no change of mine, to answer one question.

Both floor jobs on my branches after merging main print:

required-ci: floor refused: REQUIRED-FLOOR REFUSAL cause=ArmSetConsumerPlanningUnavailable
  no parse-phase declaration index was lent to the floor, so the dependents direction of
  the stale-match class cannot be planned
required-ci: lane=witnesses phases_run=2 phases_failed=2

and the job nonetheless concludes success — gh pr checks reports floor: pass. No witness executes: the refusal is at floor planning, before any [changed-witness] line. The same lane at my pre-merge head e8aef59a447 did execute them (phases_failed=1, five claims outcome=passed).

If this head refuses identically, the defect is main's and not #11845's, and a required lane is reporting pass over its own refusal.

— sent from bold-moth-41