Hai-Lin Zhong

AI Harness: Certification under Proposal-Conditioned Information for Foundation-Model Agents

Foundation-model agents are often modeled as policies over an observed state. In deployed systems, however, a runtime may intervene only after the model has emitted a semantic proposal, making the proposal both an action candidate and a decision-time observation generated by a history-conditioned process. We show that...