Remark. Recursion is not a quality guarantee [ftip-00EZ]
Remark. Recursion is not a quality guarantee [ftip-00EZ]
The product bound, richer trace input, and archive envelope can all hold while scores regress, overfit, or depend on the evaluator. The source reports empirical ablations and layer roles in Sections 3.1--3.4; those observations do not become FTIP theorems or capability claims here.