Coq kernel red on master since 2026-09-24: three trios-coq files joined a build, baseline not re-blessed #6005

Coq kernel has been red on master since 2026-09-24, on every run (six: #4755's merge 28fd522 through 558dab4), always at the step "No new Coq file falls outside every build":

FAIL: 3 file(s) joined a build -- good, but the list must move too.
  trios-coq/Physics/NullorReversible.v
  trios-coq/Physics/SparsityMask.v
  trios-coq/Physics/SpeculativeExit.v

Cause: #4754 (a044b76) added the three files to trios-coq/_CoqProject but did not re-bless tools/coq_outside_build_baseline.txt. .github/workflows/coq-kernel.yml runs on coq/** and proofs/** but not trios-coq/**, so #4754 started no run, and the red landed on the next PR that touched coq/ (#4755).

Fix:

1. python3 tools/check_coq_in_build.py --bless (18 -> 15).
2. Add trios-coq/** to both trigger path lists, so the next edit to that project runs the gate it can break.