From Prompts to Contracts

论文提出 harness engineering，用可执行监督层把企业 LLM 应用从 prompt 原型整理为生产系统。harness 负责模型 I/O、grounding、验证、工具调用和评估，文中用 contextual contracts、traceable inference steps、behavioral invariants 描述这些边界。它把“提示词写得更好”转成“应用行为可复现、可追踪、可约束”的工程问题。