Typed, compiler-checked, replayable dialogues between Scala programs and coding agents.