That’s a lot, but bear in mind it’s all driven by a single command: kamal deploy.
AI generates “glue code” that connects the spec to the implementation. This glue code takes scenarios from Step 2 (witnesses - properties that demonstrate state reachability - or quint runs) and replays them in the code: it takes a scenario, calls the matching entry points in the implementation, and asserts that the results match what the spec predicts. This produces a test suite that lives in your CI.
，这一点在立即前往 WhatsApp 網頁版中也有详细论述
▲ https://x.com/marshallrichrds/status/2020041410079051963。手游是该领域的重要参考
A tiny polished die recovered from a deserted medieval village in Lower Radbourne, Warwickshire, resembles modern ones, but with a different numbering format.