C-D16-MODULAR-RANK

Relation rank is over F_p: dim ker = 13 - rank_Fp >= 1 (u is a kernel witness)

In plain language

Because relations hold modulo p, structural dimension must be counted modulo p, a load-bearing correction that withdrew the earlier rational-rank inference.

Exact statement

Relation rank is over F_p: dim ker = 13 - rank_Fp >= 1 (u is a kernel witness)