chore(submodules): advance wokelang pointer — λ_consent safety proofs mechanised

Progress, Preservation, Non-Evasion proved in Idris2 (%default total, no
believe_me). T-Consent gap fixed (Σ non-empty enforced). Paper updated to
cite src/abi/WokeLang/Safety.idr instead of proof sketches.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath