Manuscript XII-D@1 · XII-D.tex · input · 308a2080

Input statement: XII-A-v2, XI-B, and XI-G

Release criteria and copied inputs · lines 337–352

XII-A supplies the polynomial domain, shell quotient, product, ordering maps, and regular embedding:

E_{H} = F^{sol}_{mc, pol} [[ℏ, κ]], F^{sol}_{mc, pol} = F_{mc, pol} / N_{sol} .

Its detected original unramped classes remain excluded. XI-B supplies

G_{gr}^{R} = - P E_{0}^{R}, A + 2 D^{*} D = - □ P, P D^{*} = - R, K = 2 R .

XI-G's source-ramping remark is not an admission theorem for (eq:source-input) XIIA,XIB,XIG.

Displayed formulas in this passage

unlabeled · line 340
$E_{H} = F^{sol}_{mc, pol} [[ℏ, κ]], F^{sol}_{mc, pol} = F_{mc, pol} / N_{sol} .$
unlabeled · line 346
$G_{gr}^{R} = - P E_{0}^{R}, A + 2 D^{*} D = - □ P, P D^{*} = - R, K = 2 R .$