Contract-first orchestration for long-running coding agents: scoped work records, local …