q is a positive multiple of 28, N=q², n=N/28: n>=q, 14*n=N/2 and N=28*n. Dimensions are exact integers.
Method: native-order. Induction: none. Risk: routine.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.
Unproved contract · No Alpha or Stable authority
q is a positive multiple of 28, N=q², n=N/28: n>=q, 14*n=N/2 and N=28*n. Dimensions are exact integers.
Method: native-order. Induction: none. Risk: routine.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.