满足投票条件的 Fibonacci 带状表：任意字母表大小的完整枚举与固定秩渐近

Tenn proved the three-letter case and left the enumeration of ballot-admissible Fibonacci ribbon tableaux for alphabet sizes n >= 4 open. This work resolves that problem uniformly for every alphabet size n >= 2. Encoding ribbon columns as an alternating dominant type-A walk and contracting the unique ballot-neutral forbidden adjacency yields an exact finite formula and a highest-weight refinement in explicit Schur coefficients.

Exact Weyl integral representations and Regev's strip asymptotics give the fixed-rank leading asymptotic, including an explicit positive constant, for every fixed n >= 3. In the stable range n >= k, the count is the number of involutions with no adjacent transposition; a Poisson limit proves the 1/e limiting-proportion conjecture recorded in OEIS A170941. On each fixed-distance line n = k-r, the defect is eventually polynomial in k.

The accompanying Lean 4 development provides premise-free publication endpoints for all 47 numbered mathematical labels. The complete publication root is checked with --trust=0. Public source and release assets are available at https://github.com/crabsatellite/fibonacci-ribbon-ballot-enumeration.