Finiteness and Dimension of Stated Skein Modules over Frobenius | Synapse