Both extension marginals equal H: True (symbolic)
PPT block = (1-t^2)ff^T + gg^T: True (symbolic)
Input marginal = diag(3s,3s,s+2): True (symbolic)
All five range-criterion kernel identities: True (symbolic)
At t=1/2: rank(H)=7; rank(H^Gamma)=6; 7 != 6: True
At t=1/2: s = 3/4 > 0: True
At t=1/2: extension z weight = 1/5 > 0: True
At t=1/2: minimum input marginal = 9/4 > 0: True
