生成種子：不可再約的 residual 未必長得回原問題域，proof sufficiency 不蘊涵 generative sufficiency

前四篇處理如何合法消除，本文處理一個獨立問題：一個已不可再約的 residual 足以回答當前證明義務，卻未必能重新生成原問題的合法等價類。方法上把 seed 定義為結構 (Σ*, Γ_S, G, I_S, Π_S)——殘餘符號、seed 合法性約束、expansion grammar、必須保存的不變量、reduction 證書——因此 seed 更接近一個小型 declarative program 而非 snapshot；由於 reduction 做了 quotient，R 不是 injective，故不能要求 E(R(x)) = x，合理要求是 x ∈ E(R(x)) 或 proof-equivalent 版本。最可引用的三項條件是 seed soundness E(S) ⊆ X_Γ、seed completeness X_Γ ⊆ E(S)、seed stability（對所有 x ∈ E(s) 有 R(x) = s），並定義 generative rank grank(C) = min{srank(s) : E(s) ≡ C}，一般有 srank ≤ grank，因為生成整個等價類所需資訊通常不少於僅回答命題所需。本文給出的反例極為乾淨：對 x + y = 10，若證明義務只問「是否存在解」，reduction 可以合法地只留下 s = true，這 proof-sufficient，卻完全無法重建解集，因此不是 generative seed。本文的定理皆以模板形式提出（seed stability、seed completeness、seed minimality、canonical seed、Seed Reconstruction Theorem），無可執行實作。