Semantics

一次把方法边界搞清楚，OPTIONS、HEAD 与幂等写入就不再是意外。