AI Harness: Certification under Proposal-Conditioned Information for Foundation-Model Agents
The contribution is not a new fixed-point calculus, but a characterization of when proposal--history correlation at the model--tool boundary is necessary for certification, separating indefinite operational viability from finite worst-case verified progress.
Hai-Lin Zhong, Sheng-Xin Zhu
· 0 citations