User blog:Alemagno12/I made a Pi w-reflection OCF, how horribly wrong am I?

Let Πmn be the least Πmn-indescribable and x+ be the least regular larger than x. The definition of A-Π1m-indescribables (and also theorems important for understanding how the OCF works) can be found in section 2.1 of Stegert's PhD. I'll probably write a more detailed explanation of how the OCF works tomorrow.
 * C0(α,β) = β ∪ {0,Π20} ∪ {Π1n|n∈ω}
 * Cn+1(α,β) = Cn(α,β) ∪ {x+y,ωx,x+,MPm,Ak(z),ΨPm,Ak(z)|x,y,k,z,A∈Cn(α,β)∧z<α∧m∈ω}
 * C(α,β) = ∪n∈ωCn(α,β)
 * MP0,Ak(z) = {n|sup(C(z,n)∩k)=n∧n∈A}
 * MPm+1,Ak(z) = {n|sup(C(z,n)∩k)=n∧n is A-Π1m-indescribable}
 * ΨPm,Ak(z) = min{x|x∈MPm,Ak(z)

If everything works correctly, then ΨP2,∅Π1 2 (k) should correspond to Ξ(1+k,0) in Deedlit's weakly compact OCF. Furthermore, I conjecture that ΨP0,∅ω+(εΠ2 0+1 ) is the PTO of KP + Πω-reflection.

@PsiCubed2 Feel free to scream at me in the comments.