Merge superseded sleepy-carson history (ours): repaired WokeLang.v + CI gate

The two prior commits on this branch (8e66f14 Coq repair + CI gate,
83a3069 machine-readable state) are fully superseded by origin/main, which
already carries both CI gates (coq-proofs.yml, lean-proofs.yml), the
repaired WokeLang.v, and 334 further lines of Coq binop parity on top.

The 'ours' strategy folds those commits into history (nothing is rewritten
or lost) while keeping the tree at origin/main plus the Lean array-typing
work, so the branch is a clean superset of main.

Author: claude