Sdlc

今天关注两个很具体的 AI-native 工程方向：Anthropic 如何把整个 SDLC 改造成由版本化 artifact 和自动 gate 驱动的循环，以及 SemaPLC 如何用 specification、compile 和 live-runtime verification 把 coding agent 的完成条件从‘模型觉得好了’变成‘外部证据确认可运行’。